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 5a (2017-08-18)	SAT (TO)	692	253.646	240.026

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284548-1503210767.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284548-1503210767.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
3.09/1.41	c solve instance...
92.53/85.72	o 675 
112.07/101.93	o 682 
112.98/102.88	o 683 
130.42/119.80	o 687 
130.52/119.90	o 688 
130.63/120.00	o 689 
131.14/120.40	o 692 
253.61/240.01	s SATISFIABLE
253.61/240.01	v <instantiation>
253.61/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] z </list>
253.61/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 2 2 2 1 0 0 0 2 1 1 2 1 1 0 0 0 1 1 2 2 2 2 2 2 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 1 2 2 2 1 1 0 2 0 0 1 1 1 0 0 0 0 0 2 2 2 1 2 2 1 2 0 0 0 1 0 0 0 1 2 0 0 1 1 0 0 0 0 0 0 1 2 2 2 2 1 2 0 0 0 0 0 1 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 0 1 1 2 2 2 2 1 1 2 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 1 2 2 2 1 1 2 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 2 2 2 1 1 2 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 0 0 0 0 1 2 2 2 1 0 1 0 1 0 1 2 0 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 1 0 0 0 1 0 1 1 2 2 1 1 0 1 0 0 1 1 2 1 1 1 0 0 2 1 1 2 1 1 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 1 0 0 1 2 1 2 1 1 1 1 2 1 1 0 1 1 1 1 0 0 0 1 1 2 2 2 2 1 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 0 1 2 2 0 1 0 1 1 0 0 0 0 0 1 0 2 1 1 2 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 2 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 2 0 0 1 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 2 0 0 0 0 0 1 0 0 0 1 2 2 1 1 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 2 1 0 1 1 2 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 2 1 1 0 0 0 1 0 0 0 1 0 1 2 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 2 2 2 0 0 1 0 0 0 0 1 0 2 0 2 1 1 0 1 1 1 2 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 1 2 2 2 1 0 0 0 0 0 0 0 1 2 0 2 0 1 0 0 0 2 2 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 1 1 1 2 1 1 1 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 2 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 2 1 1 0 0 1 0 0 0 0 2 1 0 0 0 0 0 1 0 1 1 2 1 1 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 2 2 1 1 0 1 0 2 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 0 0 0 0 1 1 1 1 2 2 1 0 0 0 1 2 1 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 2 2 2 2 0 0 0 0 1 0 0 1 0 1 0 0 0 0 2 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 2 0 2 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 2 2 0 2 0 2 1 2 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 2 2 2 2 2 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 2 2 2 1 1 2 0 0 0 1 0 1 0 1 2 0 1 0 0 0 0 0 0 0 1 0 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 1 1 0 0 0 1 2 2 2 1 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 1 0 2 1 1 2 1 1 2 2 2 2 2 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 1 1 2 2 1 1 0 0 0 1 0 1 0 0 0 0 1 1 2 2 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 2 2 2 2 1 1 2 2 1 0 1 1 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 2 2 2 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 2 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 2 0 2 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 1 1 0 0 1 2 1 0 0 0 0 0 0 1 0 2 0 1 0 0 0 1 1 2 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 1 1 1 2 2 1 0 0 0 1 2 2 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 1 1 1 0 1 2 0 0 0 1 0 0 0 2 1 0 1 1 2 1 1 2 0 1 0 2 0 1 0 2 2 0 0 0 1 0 0 1 1 2 1 0 2 0 0 2 1 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 2 0 0 1 0 1 1 0 2 2 1 0 0 0 2 2 2 1 1 2 0 0 1 1 0 1 0 1 2 2 0 1 0 0 0 1 1 0 1 1 0 1 1 0 2 1 1 0 1 2 1 1 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 1 1 0 1 2 2 2 2 1 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 0 26 64 98 126 148 173 197 223 255 287 308 324 340 354 372 396 413 425 438 456 480 508 533 554 571 594 617 635 658 680 700 716 738 770 807 838 862 877 892 918 951 984 1017 1070 1102 692 </values>
253.61/240.01	v </instantiation>
253.61/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 (12407 MiB free)
  memory of node 1: 16384 MiB (13949 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284548-1503210767/watcher-4284548-1503210767 -o /tmp/evaluation-result-4284548-1503210767/solver-4284548-1503210767 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node106-1503208459-25962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1777409218 HOME/instance-4284548-1503210767.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=27009, runsolver pid=27006
Current StackSize limit: 8192 KiB


[startup+0.100124 s]*
/proc/loadavg: 1.47 1.72 1.41 4/217 27025
/proc/meminfo: memFree=26970920/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0
[pid=27011] ppid=27009 vsize=13978596 memory=28316 CPUtime=0.12 cores=1,3,5,7
/proc/27011/stat : 27011 (java) S 27009 27009 25930 0 -1 1077944320 5443 0 0 0 11 1 0 0 20 0 15 0 154164349 14314082304 7079 33554432000 4194304 4196468 140725966541184 140725966523728 140509036048119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
/proc/27011/statm: 3494649 7079 2892 1 0 3482966 0
[pid=27011/tid=27012] ppid=27009 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/27011/task/27012/stat : 27012 (java) R 27009 27009 25930 0 -1 4202560 3388 0 0 0 8 0 0 0 20 0 15 0 154164350 14314082304 7145 33554432000 4194304 4196468 140725966541184 140509040279424 140509036060054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27013] ppid=27009 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27013/stat : 27013 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508988668688 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27014] ppid=27009 vsize=13978596 memory=139637217412736 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27014/stat : 27014 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508987616144 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27015] ppid=27009 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27015/stat : 27015 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508986563600 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27016] ppid=27009 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27016/stat : 27016 (java) S 27009 27009 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164350 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508985511056 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27017] ppid=27009 vsize=13978596 memory=139637217412736 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27017/stat : 27017 (java) S 27009 27009 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164352 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508015081456 140509036059266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27018] ppid=27009 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27018/stat : 27018 (java) S 27009 27009 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164352 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508014027680 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27019] ppid=27009 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164352 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508012975088 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) S 27009 27009 25930 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 154164355 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508010871280 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508009818736 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13978596 memory=139637217412736 CPUtime=0.01 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) S 27009 27009 25930 0 -1 1077944384 334 0 0 0 1 0 0 0 20 0 15 0 154164355 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508008766192 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13978596 memory=139637217412736 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164355 14314082304 7145 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29700 KiB

[startup+0.210586 s]*
/proc/loadavg: 1.47 1.72 1.41 8/217 27025
/proc/meminfo: memFree=26950768/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0
[pid=27011] ppid=27009 vsize=13982852 memory=40368 CPUtime=0.33 cores=1,3,5,7
/proc/27011/stat : 27011 (java) S 27009 27009 25930 0 -1 1077944320 8266 0 0 0 31 2 0 0 20 0 15 0 154164349 14318440448 10092 33554432000 4194304 4196468 140725966541184 140725966523728 140509036048119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
/proc/27011/statm: 3495713 10092 3059 1 0 3482966 0
[pid=27011/tid=27012] ppid=27009 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/27011/task/27012/stat : 27012 (java) R 27009 27009 25930 0 -1 4202560 5380 0 0 0 18 1 0 0 20 0 15 0 154164350 14318440448 10092 33554432000 4194304 4196468 140725966541184 140509040259024 140509036070045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27013] ppid=27009 vsize=13982852 memory=13599 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27013/stat : 27013 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508988668688 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27014] ppid=27009 vsize=13982852 memory=3546224294453429920 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27014/stat : 27014 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508987616144 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27015] ppid=27009 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27015/stat : 27015 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508986563600 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27016] ppid=27009 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27016/stat : 27016 (java) S 27009 27009 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508985511056 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27017] ppid=27009 vsize=13982852 memory=139637217412736 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27017/stat : 27017 (java) S 27009 27009 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164352 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508015081456 140509036059266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27018] ppid=27009 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27018/stat : 27018 (java) S 27009 27009 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164352 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508014027680 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27019] ppid=27009 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164352 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508012975088 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) S 27009 27009 25930 0 -1 1077944384 716 0 0 0 2 0 0 0 20 0 15 0 154164355 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508010871280 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) S 27009 27009 25930 0 -1 1077944384 171 0 0 0 2 0 0 0 20 0 15 0 154164355 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508009818736 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13982852 memory=139637217412736 CPUtime=0.08 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) S 27009 27009 25930 0 -1 1077944384 719 0 0 0 8 0 0 0 20 0 15 0 154164355 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508008766192 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164355 14318440448 10092 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41752 KiB

[startup+0.310528 s]*
/proc/loadavg: 1.47 1.72 1.41 4/217 27025
/proc/meminfo: memFree=26933952/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0
[pid=27011] ppid=27009 vsize=13982852 memory=47252 CPUtime=0.52 cores=1,3,5,7
/proc/27011/stat : 27011 (java) S 27009 27009 25930 0 -1 1077944320 9015 0 0 0 49 3 0 0 20 0 15 0 154164349 14318440448 11813 33554432000 4194304 4196468 140725966541184 140725966523728 140509036048119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
/proc/27011/statm: 3495713 11813 3082 1 0 3482966 0
[pid=27011/tid=27012] ppid=27009 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/27011/task/27012/stat : 27012 (java) R 27009 27009 25930 0 -1 4202560 5925 0 0 0 27 2 0 0 20 0 15 0 154164350 14318440448 11813 33554432000 4194304 4196468 140725966541184 140509040287344 140508666111821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27013] ppid=27009 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27013/stat : 27013 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508988668688 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27014] ppid=27009 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27014/stat : 27014 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508987616144 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27015] ppid=27009 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27015/stat : 27015 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508986563600 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27016] ppid=27009 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27016/stat : 27016 (java) S 27009 27009 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164350 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508985511056 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27017] ppid=27009 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27017/stat : 27017 (java) S 27009 27009 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164352 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508015081456 140509036059266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27018] ppid=27009 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27018/stat : 27018 (java) S 27009 27009 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164352 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508014027680 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27019] ppid=27009 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164352 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508012975088 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) R 27009 27009 25930 0 -1 4202560 757 0 0 0 4 0 0 0 20 0 15 0 154164355 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508010871280 140509036069466 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) R 27009 27009 25930 0 -1 4202560 192 0 0 0 4 0 0 0 20 0 15 0 154164355 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508009818736 140509015380817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) R 27009 27009 25930 0 -1 1077944384 837 0 0 0 13 0 0 0 20 0 15 0 154164355 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508008762560 140509036058325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164355 14318440448 11813 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48636 KiB

[startup+0.700793 s]
/proc/loadavg: 1.47 1.72 1.41 6/217 27025
/proc/meminfo: memFree=26883880/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0
[pid=27011] ppid=27009 vsize=13984976 memory=93064 CPUtime=1.75 cores=1,3,5,7
/proc/27011/stat : 27011 (java) S 27009 27009 25930 0 -1 1077944320 12224 0 0 0 171 4 0 0 20 0 15 0 154164349 14320615424 23266 33554432000 4194304 4196468 140725966541184 140725966523728 140509036048119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
/proc/27011/statm: 3496244 23266 3199 1 0 3483478 0
[pid=27011/tid=27012] ppid=27009 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/27011/task/27012/stat : 27012 (java) R 27009 27009 25930 0 -1 4202560 6351 0 0 0 65 2 0 0 20 0 15 0 154164350 14320615424 23266 33554432000 4194304 4196468 140725966541184 140509040283904 140508992649956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27013] ppid=27009 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27013/stat : 27013 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508988668688 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27014] ppid=27009 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27014/stat : 27014 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508987616144 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27015] ppid=27009 vsize=13984976 memory=42804 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27015/stat : 27015 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164350 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508986563600 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27016] ppid=27009 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27016/stat : 27016 (java) S 27009 27009 25930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154164350 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508985511056 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27017] ppid=27009 vsize=13984976 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27017/stat : 27017 (java) S 27009 27009 25930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154164352 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508015081456 140509036059266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27018] ppid=27009 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27018/stat : 27018 (java) S 27009 27009 25930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154164352 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508014027680 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27019] ppid=27009 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154164352 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508012975088 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13984976 memory=1956 CPUtime=0.36 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) S 27009 27009 25930 0 -1 1077944384 1572 0 0 0 36 0 0 0 20 0 15 0 154164355 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508010871280 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13984976 memory=8608 CPUtime=0.36 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) S 27009 27009 25930 0 -1 1077944384 1188 0 0 0 36 0 0 0 20 0 15 0 154164355 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508009818736 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13984976 memory=1228 CPUtime=0.33 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) S 27009 27009 25930 0 -1 1077944384 1805 0 0 0 33 0 0 0 20 0 15 0 154164355 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508008766192 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154164355 14320615424 23266 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 94448 KiB

[startup+1.50079 s]
/proc/loadavg: 1.47 1.72 1.41 5/217 27025
/proc/meminfo: memFree=26826728/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0

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

/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154164352 14322712576 108134 33554432000 4194304 4196468 140725966541184 140508012975088 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13987024 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 108134 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13987024 memory=42812 CPUtime=4 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) S 27009 27009 25930 0 -1 1077944384 17227 0 0 0 398 2 0 0 20 0 15 0 154164355 14322712576 108134 33554432000 4194304 4196468 140725966541184 140508010871280 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13987024 memory=139637104713059 CPUtime=4.56 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) S 27009 27009 25930 0 -1 1077944384 19632 0 0 0 454 2 0 0 20 0 15 0 154164355 14322712576 108134 33554432000 4194304 4196468 140725966541184 140508009818736 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13987024 memory=288289965417451198 CPUtime=0.96 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) S 27009 27009 25930 0 -1 1077944384 9200 0 0 0 94 2 0 0 20 0 15 0 154164355 14322712576 108134 33554432000 4194304 4196468 140725966541184 140508008766192 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13987024 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 108134 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13987024 memory=956 CPUtime=0.02 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 313 0 0 0 1 1 0 0 20 0 15 0 154164355 14322712576 108134 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 112.48 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 433920 KiB

[startup+162.301 s]
/proc/loadavg: 1.96 1.80 1.49 3/217 27034
/proc/meminfo: memFree=25653056/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0
[pid=27011] ppid=27009 vsize=13987024 memory=546716 CPUtime=173.64 cores=1,3,5,7
/proc/27011/stat : 27011 (java) S 27009 27009 25930 0 -1 1077944320 76352 0 0 0 17310 54 0 0 20 0 15 0 154164349 14322712576 136679 33554432000 4194304 4196468 140725966541184 140725966523728 140509036048119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
/proc/27011/statm: 3496756 136679 3270 1 0 3483990 0
[pid=27011/tid=27012] ppid=27009 vsize=13987024 memory=543480 CPUtime=161.8 cores=1,3,5,7
/proc/27011/task/27012/stat : 27012 (java) R 27009 27009 25930 0 -1 4202560 15972 0 0 0 16175 5 0 0 20 0 15 0 154164350 14322712576 136679 33554432000 4194304 4196468 140725966541184 140509040287792 140508670967153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27013] ppid=27009 vsize=13987024 memory=543480 CPUtime=0.4 cores=1,3,5,7
/proc/27011/task/27013/stat : 27013 (java) S 27009 27009 25930 0 -1 1077944384 1519 0 0 0 31 9 0 0 20 0 15 0 154164350 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508988668688 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27014] ppid=27009 vsize=13987024 memory=546716 CPUtime=0.4 cores=1,3,5,7
/proc/27011/task/27014/stat : 27014 (java) S 27009 27009 25930 0 -1 1077944384 903 0 0 0 31 9 0 0 20 0 15 0 154164350 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508987616144 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27015] ppid=27009 vsize=13987024 memory=1384 CPUtime=0.42 cores=1,3,5,7
/proc/27011/task/27015/stat : 27015 (java) S 27009 27009 25930 0 -1 1077944384 3278 0 0 0 33 9 0 0 20 0 15 0 154164350 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508986563600 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27016] ppid=27009 vsize=13987024 memory=1384 CPUtime=0.41 cores=1,3,5,7
/proc/27011/task/27016/stat : 27016 (java) S 27009 27009 25930 0 -1 1077944384 1014 0 0 0 31 10 0 0 20 0 15 0 154164350 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508985511056 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27017] ppid=27009 vsize=13987024 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/27011/task/27017/stat : 27017 (java) S 27009 27009 25930 0 -1 1077944384 1308 0 0 0 2 0 0 0 20 0 15 0 154164352 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508015081456 140509036059266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27018] ppid=27009 vsize=13987024 memory=543480 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27018/stat : 27018 (java) S 27009 27009 25930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154164352 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508014027680 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27019] ppid=27009 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154164352 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508012975088 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13987024 memory=1384 CPUtime=4.21 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) S 27009 27009 25930 0 -1 1077944384 18479 0 0 0 419 2 0 0 20 0 15 0 154164355 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508010871280 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13987024 memory=1384 CPUtime=4.84 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) S 27009 27009 25930 0 -1 1077944384 22199 0 0 0 482 2 0 0 20 0 15 0 154164355 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508009818736 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13987024 memory=543480 CPUtime=0.99 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) S 27009 27009 25930 0 -1 1077944384 9847 0 0 0 97 2 0 0 20 0 15 0 154164355 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508008766192 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13987024 memory=42812 CPUtime=0.05 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 481 0 0 0 2 3 0 0 20 0 15 0 154164355 14322712576 136679 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 173.64 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 548100 KiB

[startup+222.301 s]
/proc/loadavg: 1.90 1.82 1.52 3/217 27035
/proc/meminfo: memFree=25687688/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0
[pid=27011] ppid=27009 vsize=13987024 memory=526568 CPUtime=234.69 cores=1,3,5,7
/proc/27011/stat : 27011 (java) S 27009 27009 25930 0 -1 1077944320 79695 0 0 0 23402 67 0 0 20 0 15 0 154164349 14322712576 131642 33554432000 4194304 4196468 140725966541184 140725966523728 140509036048119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
/proc/27011/statm: 3496756 131642 3270 1 0 3483990 0
[pid=27011/tid=27012] ppid=27009 vsize=13987024 memory=526584 CPUtime=221.55 cores=1,3,5,7
/proc/27011/task/27012/stat : 27012 (java) R 27009 27009 25930 0 -1 4202560 16391 0 0 0 22150 5 0 0 20 0 15 0 154164350 14322712576 131642 33554432000 4194304 4196468 140725966541184 140509040287712 140508672407311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27013] ppid=27009 vsize=13987024 memory=527616 CPUtime=0.62 cores=1,3,5,7
/proc/27011/task/27013/stat : 27013 (java) S 27009 27009 25930 0 -1 1077944384 1642 0 0 0 51 11 0 0 20 0 15 0 154164350 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508988668688 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27014] ppid=27009 vsize=13987024 memory=527616 CPUtime=0.62 cores=1,3,5,7
/proc/27011/task/27014/stat : 27014 (java) S 27009 27009 25930 0 -1 1077944384 1302 0 0 0 50 12 0 0 20 0 15 0 154164350 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508987616144 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27015] ppid=27009 vsize=13987024 memory=527616 CPUtime=0.65 cores=1,3,5,7
/proc/27011/task/27015/stat : 27015 (java) S 27009 27009 25930 0 -1 1077944384 3517 0 0 0 53 12 0 0 20 0 15 0 154164350 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508986563600 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27016] ppid=27009 vsize=13987024 memory=1384 CPUtime=0.63 cores=1,3,5,7
/proc/27011/task/27016/stat : 27016 (java) S 27009 27009 25930 0 -1 1077944384 1162 0 0 0 51 12 0 0 20 0 15 0 154164350 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508985511056 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27017] ppid=27009 vsize=13987024 memory=526568 CPUtime=0.04 cores=1,3,5,7
/proc/27011/task/27017/stat : 27017 (java) S 27009 27009 25930 0 -1 1077944384 1348 0 0 0 3 1 0 0 20 0 15 0 154164352 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508015081456 140509036059266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27018] ppid=27009 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27018/stat : 27018 (java) S 27009 27009 25930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154164352 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508014027680 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27019] ppid=27009 vsize=13987024 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 154164352 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508012975088 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13987024 memory=526576 CPUtime=4.35 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) S 27009 27009 25930 0 -1 1077944384 19352 0 0 0 433 2 0 0 20 0 15 0 154164355 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508010871280 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13987024 memory=1384 CPUtime=5.06 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) S 27009 27009 25930 0 -1 1077944384 22897 0 0 0 504 2 0 0 20 0 15 0 154164355 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508009818736 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13987024 memory=4140 CPUtime=1 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) S 27009 27009 25930 0 -1 1077944384 10231 0 0 0 98 2 0 0 20 0 15 0 154164355 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508008766192 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13987024 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13987024 memory=42812 CPUtime=0.07 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 501 0 0 0 3 4 0 0 20 0 15 0 154164355 14322712576 131642 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 234.69 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 527952 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.17 1.88 1.54 5/215 27066
/proc/meminfo: memFree=26448260/32770624 swapFree=67108860/67108860
[pid=27009] ppid=27006 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/27009/stat : 27009 (xcsp3-exec) S 27006 27009 25930 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154164349 9740288 346 33554432000 4194304 5098028 140726841419392 140726841417496 140109275447932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29708288 140726841422964 140726841423168 140726841423168 140726841425899 0
/proc/27009/statm: 2378 346 289 221 0 87 0
[pid=27011] ppid=27009 vsize=13987024 memory=573312 CPUtime=253.61 cores=1,3,5,7
/proc/27011/stat : 27011 (java) S 27009 27009 25930 0 -1 1077944320 84277 0 0 0 25288 73 0 0 20 0 15 0 154164349 14322712576 143328 33554432000 4194304 4196468 140725966541184 140725966523728 140509036048119 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
/proc/27011/statm: 3496756 143328 3287 1 0 3483990 0
[pid=27011/tid=27012] ppid=27009 vsize=13987024 memory=956 CPUtime=238.8 cores=1,3,5,7
/proc/27011/task/27012/stat : 27012 (java) R 27009 27009 25930 0 -1 4202560 16812 0 0 0 23875 5 0 0 20 0 15 0 154164350 14322712576 143328 33554432000 4194304 4196468 140725966541184 140509040287712 140508673739106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27013] ppid=27009 vsize=13987024 memory=4872558044660077418 CPUtime=1.03 cores=1,3,5,7
/proc/27011/task/27013/stat : 27013 (java) S 27009 27009 25930 0 -1 1077944384 2023 0 0 0 90 13 0 0 20 0 15 0 154164350 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508988668688 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27014] ppid=27009 vsize=13987024 memory=4104 CPUtime=1.02 cores=1,3,5,7
/proc/27011/task/27014/stat : 27014 (java) S 27009 27009 25930 0 -1 1077944384 1430 0 0 0 89 13 0 0 20 0 15 0 154164350 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508987616144 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27015] ppid=27009 vsize=13987024 memory=1692 CPUtime=1.05 cores=1,3,5,7
/proc/27011/task/27015/stat : 27015 (java) S 27009 27009 25930 0 -1 1077944384 3649 0 0 0 92 13 0 0 20 0 15 0 154164350 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508986563600 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27016] ppid=27009 vsize=13987024 memory=916 CPUtime=1.03 cores=1,3,5,7
/proc/27011/task/27016/stat : 27016 (java) S 27009 27009 25930 0 -1 1077944384 1312 0 0 0 90 13 0 0 20 0 15 0 154164350 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508985511056 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27017] ppid=27009 vsize=13987024 memory=3832 CPUtime=0.08 cores=1,3,5,7
/proc/27011/task/27017/stat : 27017 (java) S 27009 27009 25930 0 -1 1077944384 4006 0 0 0 7 1 0 0 20 0 15 0 154164352 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508015081456 140509036059266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27018] ppid=27009 vsize=13987024 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27018/stat : 27018 (java) S 27009 27009 25930 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 154164352 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508014027744 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27019] ppid=27009 vsize=13987024 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27019/stat : 27019 (java) S 27009 27009 25930 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 154164352 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508012975104 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27020] ppid=27009 vsize=13987024 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27020/stat : 27020 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508011923664 140509036066715 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27021] ppid=27009 vsize=13987024 memory=796 CPUtime=4.35 cores=1,3,5,7
/proc/27011/task/27021/stat : 27021 (java) S 27009 27009 25930 0 -1 1077944384 19353 0 0 0 433 2 0 0 20 0 15 0 154164355 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508010871280 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27022] ppid=27009 vsize=13987024 memory=1716 CPUtime=5.06 cores=1,3,5,7
/proc/27011/task/27022/stat : 27022 (java) S 27009 27009 25930 0 -1 1077944384 23548 0 0 0 504 2 0 0 20 0 15 0 154164355 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508009818736 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27023] ppid=27009 vsize=13987024 memory=1956 CPUtime=1 cores=1,3,5,7
/proc/27011/task/27023/stat : 27023 (java) S 27009 27009 25930 0 -1 1077944384 10234 0 0 0 98 2 0 0 20 0 15 0 154164355 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508008766192 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27024] ppid=27009 vsize=13987024 memory=8608 CPUtime=0 cores=1,3,5,7
/proc/27011/task/27024/stat : 27024 (java) S 27009 27009 25930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154164355 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508007713888 140509036058325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
[pid=27011/tid=27025] ppid=27009 vsize=13987024 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/27011/task/27025/stat : 27025 (java) S 27009 27009 25930 0 -1 1077944384 530 0 0 0 3 5 0 0 20 0 15 0 154164355 14322712576 143328 33554432000 4194304 4196468 140725966541184 140508006660400 140509036059266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15867904 140725966550173 140725966550348 140725966550348 140725966553039 0
Current children cumulated CPU time: 253.61 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 574696 KiB

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

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

[startup+240.026 s]
# the end of solver process 27011 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=252.899 s, system=0.746304 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.026
CPU time (s): 253.646
CPU user time (s): 252.899
CPU system time (s): 0.746304
CPU usage (%): 105.674
Max. virtual memory (cumulated for all children) (KiB): 13996536
Max. memory (cumulated for all children) (KiB): 574696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.899
system time used= 0.746304
maximum resident set size= 574096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85486
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10101
involuntary context switches= 320


# summary of solver processes directly reported to runsolver:
#   pid: 27009,27011
#   total CPU time (s): 253.646
#   total CPU user time (s): 252.899
#   total CPU system time (s): 0.746304

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47646 second user time and 2.30755 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml
MD5SUM	2bbdfe474604d495dd31c09972612e7d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	847
Best CPU time to get the best result obtained on this benchmark	1888.7
Satisfiable
(Un)Satisfiability was proved
Number of variables	4096
Number of constraints	2287
Number of domains	4
Minimum domain size	2
Maximum domain size	4051
Distribution of domain sizes	[{"size":2,"count":2025},{"size":3,"count":2025},{"size":1850,"count":1},{"size":4051,"count":45}]
Minimum variable degree	1
Maximum variable degree	46
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":2022},{"degree":3,"count":48},{"degree":4,"count":172},{"degree":8,"count":168},{"degree":9,"count":1681},{"degree":46,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	47
Distribution of constraint arities	[{"arity":2,"count":217},{"arity":3,"count":172},{"arity":10,"count":1849},{"arity":45,"count":4},{"arity":46,"count":1},{"arity":47,"count":44}]
Number of extensional constraints	2021
Number of intensional constraints	216
Distribution of constraint types	[{"type":"extension","count":2021},{"type":"intension","count":216},{"type":"sum","count":46},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4284548

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