2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	532	2520.0901	2510.71

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282086-1503104193.xml"  -tl '2520s' -p 1 -x 0
0.07/0.28	c [HOME/instance-4282086-1503104193.xml, -tl, 2520s, -p, 1, -x, 0]
0.25/0.34	c simple solver
0.25/0.41	c parse instance...
2.65/1.35	c solve instance...
120.16/115.62	o 532 
2520.07/2510.70	s SATISFIABLE
2520.07/2510.70	v <instantiation>
2520.07/2510.70	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2520.07/2510.70	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 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 1 1 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 1 2 1 0 0 0 2 2 2 1 0 0 0 0 1 1 2 2 1 1 0 0 1 0 0 0 0 0 1 1 0 1 2 1 0 1 1 2 1 1 2 1 1 0 2 0 2 1 1 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 2 2 1 1 1 2 1 2 0 2 0 1 0 0 1 0 0 1 1 0 1 2 1 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 2 2 1 0 1 0 1 2 2 0 0 0 0 1 0 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 2 2 0 0 0 0 0 1 2 1 0 0 0 1 0 2 2 1 1 2 0 1 0 1 1 0 0 0 2 0 2 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 2 0 2 2 2 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 2 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 2 0 0 2 2 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 2 2 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 0 0 0 1 0 1 0 0 2 2 1 1 2 0 2 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 2 2 1 1 2 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 2 1 0 0 0 0 0 1 0 1 0 2 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 2 0 0 0 0 0 2 2 0 1 0 0 0 0 0 1 2 2 1 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 2 0 2 2 1 1 0 0 0 1 1 2 1 1 0 0 0 0 0 1 0 1 1 1 2 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 2 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 2 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 0 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 2 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 2 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 2 0 0 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 1 1 2 2 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 2 2 1 2 0 1 0 1 0 0 0 1 0 1 0 2 0 2 0 0 0 1 0 0 0 0 2 1 0 1 0 0 1 0 0 0 0 0 2 2 2 2 1 1 2 0 0 0 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 2 1 1 2 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 2 1 2 1 0 1 0 0 0 0 1 0 0 2 0 1 1 0 2 1 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 1 2 2 1 1 0 1 1 0 2 0 1 1 1 1 0 0 1 1 2 1 0 0 1 0 0 0 1 2 2 2 1 1 0 0 0 0 0 1 1 2 2 1 0 1 0 1 2 0 1 0 2 0 0 0 0 0 2 2 2 0 0 1 2 1 2 2 2 2 2 0 0 1 1 0 1 0 1 2 2 2 1 0 0 1 1 2 2 1 2 1 1 0 0 0 1 1 2 1 1 0 1 2 2 2 2 2 2 1 1 0 1 2 1 0 1 1 2 2 2 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 0 22 53 80 107 126 149 164 175 193 212 225 249 270 286 295 309 319 330 342 359 381 399 417 431 444 459 472 489 505 519 538 558 580 599 619 650 688 733 758 532 </values>
2520.07/2510.70	v </instantiation>
2520.07/2510.70	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 (15376 MiB free)
  memory of node 1: 16384 MiB (15586 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282086-1503104193/watcher-4282086-1503104193 -o /tmp/evaluation-result-4282086-1503104193/solver-4282086-1503104193 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503095815-16489 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1825955230 HOME/instance-4282086-1503104193.xml 

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

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


[startup+0.100156 s]*
/proc/loadavg: 1.83 1.80 1.73 2/197 17495
/proc/meminfo: memFree=31706192/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209622 s]*
/proc/loadavg: 1.83 1.80 1.73 3/212 17510
/proc/meminfo: memFree=31694384/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
[pid=17496] ppid=17494 vsize=13974352 memory=25240 CPUtime=0.07 cores=0,2,4,6
/proc/17496/stat : 17496 (java) S 17494 17494 16431 0 -1 1077944320 5209 0 0 0 6 1 0 0 20 0 15 0 8829045 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140730824175696 140423159557879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
/proc/17496/statm: 3493588 6310 2730 1 0 3482964 0
[pid=17496/tid=17497] ppid=17494 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=0,2,4,6
/proc/17496/task/17497/stat : 17497 (java) R 17494 17494 16431 0 -1 4202560 3375 0 0 0 5 1 0 0 20 0 15 0 8829045 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140423163783568 140423159579805 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17498] ppid=17494 vsize=13974352 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17498/stat : 17498 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140423093992592 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17499] ppid=17494 vsize=13974352 memory=3905096593835394720 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17499/stat : 17499 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140423092939792 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17500] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17500/stat : 17500 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140423091886992 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17501] ppid=17494 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17501/stat : 17501 (java) S 17494 17494 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140423090834192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17502] ppid=17494 vsize=13974352 memory=140133108123264 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17502/stat : 17502 (java) S 17494 17494 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829047 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422638172528 140423159569026 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17503] ppid=17494 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17503/stat : 17503 (java) S 17494 17494 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8829048 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422637118496 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17504] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829048 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) S 17494 17494 16431 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 8829050 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422633962352 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829051 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422632909552 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13974352 memory=140133108123264 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) S 17494 17494 16431 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 15 0 8829051 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422631856752 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13974352 memory=140133108123264 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829055 14309736448 6310 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26620 KiB

[startup+0.31017 s]*
/proc/loadavg: 1.83 1.80 1.73 3/212 17510
/proc/meminfo: memFree=31679004/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
[pid=17496] ppid=17494 vsize=13974352 memory=36792 CPUtime=0.25 cores=0,2,4,6
/proc/17496/stat : 17496 (java) S 17494 17494 16431 0 -1 1077944320 8835 0 0 0 22 3 0 0 20 0 15 0 8829045 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140730824175696 140423159557879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
/proc/17496/statm: 3493588 9198 2978 1 0 3482964 0
[pid=17496/tid=17497] ppid=17494 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/17496/task/17497/stat : 17497 (java) R 17494 17494 16431 0 -1 4202560 6077 0 0 0 14 2 0 0 20 0 15 0 8829045 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140423163780256 140423159579805 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17498] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17498/stat : 17498 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140423093992592 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17499] ppid=17494 vsize=13974352 memory=140133108123264 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17499/stat : 17499 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140423092939792 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17500] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17500/stat : 17500 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140423091886992 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17501] ppid=17494 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17501/stat : 17501 (java) S 17494 17494 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829046 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140423090834192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17502] ppid=17494 vsize=13974352 memory=140133108123264 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17502/stat : 17502 (java) S 17494 17494 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829047 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422638172528 140423159569026 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17503] ppid=17494 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17503/stat : 17503 (java) S 17494 17494 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8829048 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422637118496 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17504] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829048 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) S 17494 17494 16431 0 -1 1077944384 620 0 0 0 1 0 0 0 20 0 15 0 8829050 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422633962352 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) R 17494 17494 16431 0 -1 4202560 130 0 0 0 1 0 0 0 20 0 15 0 8829051 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422632909552 140423139038055 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13974352 memory=140133108123264 CPUtime=0.05 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) S 17494 17494 16431 0 -1 1077944384 704 0 0 0 5 0 0 0 20 0 15 0 8829051 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422631856752 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13974352 memory=140133108123264 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829055 14309736448 9198 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38172 KiB

[startup+0.707286 s]
/proc/loadavg: 1.83 1.80 1.73 5/212 17510
/proc/meminfo: memFree=31664196/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
[pid=17496] ppid=17494 vsize=13978684 memory=81580 CPUtime=1.36 cores=0,2,4,6
/proc/17496/stat : 17496 (java) S 17494 17494 16431 0 -1 1077944320 13023 0 0 0 130 6 0 0 20 0 15 0 8829045 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140730824175696 140423159557879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
/proc/17496/statm: 3494671 20395 3166 1 0 3482964 0
[pid=17496/tid=17497] ppid=17494 vsize=13978684 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/17496/task/17497/stat : 17497 (java) R 17494 17494 16431 0 -1 4202560 7954 0 0 0 51 4 0 0 20 0 15 0 8829045 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140423163794960 140423159579805 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17498] ppid=17494 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17498/stat : 17498 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140423093992592 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17499] ppid=17494 vsize=13978684 memory=7085682122640351827 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17499/stat : 17499 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140423092939792 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17500] ppid=17494 vsize=13978684 memory=5865465064658194540 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17500/stat : 17500 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140423091886992 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17501] ppid=17494 vsize=13978684 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17501/stat : 17501 (java) S 17494 17494 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829046 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140423090834192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17502] ppid=17494 vsize=13978684 memory=-8412660965365488243 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17502/stat : 17502 (java) S 17494 17494 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8829047 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422638172528 140423159569026 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17503] ppid=17494 vsize=13978684 memory=-7887927021948682183 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17503/stat : 17503 (java) S 17494 17494 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8829048 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422637118496 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17504] ppid=17494 vsize=13978684 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829048 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13978684 memory=-7384994774051102368 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13978684 memory=7077805514658193553 CPUtime=0.24 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) R 17494 17494 16431 0 -1 4202560 1300 0 0 0 24 0 0 0 20 0 15 0 8829050 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422633943368 140423143052057 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13978684 memory=57216 CPUtime=0.24 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) R 17494 17494 16431 0 -1 4202560 1008 0 0 0 24 0 0 0 20 0 15 0 8829051 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422632898112 140423144684217 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13978684 memory=-8774313645642428999 CPUtime=0.3 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) S 17494 17494 16431 0 -1 1077944384 1454 0 0 0 30 0 0 0 20 0 15 0 8829051 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422631856752 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829055 14314172416 20395 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 82960 KiB

[startup+1.502 s]
/proc/loadavg: 1.83 1.80 1.73 4/212 17510
/proc/meminfo: memFree=31621380/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
[pid=17496] ppid=17494 vsize=13980732 memory=123472 CPUtime=3.02 cores=0,2,4,6
/proc/17496/stat : 17496 (java) S 17494 17494 16431 0 -1 1077944320 19699 0 0 0 293 9 0 0 20 0 15 0 8829045 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140730824175696 140423159557879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
/proc/17496/statm: 3495183 30868 3191 1 0 3483476 0
[pid=17496/tid=17497] ppid=17494 vsize=13980732 memory=301741399228023100 CPUtime=1.33 cores=0,2,4,6
/proc/17496/task/17497/stat : 17497 (java) R 17494 17494 16431 0 -1 1077944384 11169 0 0 0 128 5 0 0 20 0 15 0 8829045 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140423163796688 140423159568085 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17498] ppid=17494 vsize=13980732 memory=14131151895791392 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17498/stat : 17498 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140423093992592 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17499] ppid=17494 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17499/stat : 17499 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140423092939792 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17500] ppid=17494 vsize=13980732 memory=7223879631928058176 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17500/stat : 17500 (java) S 17494 17494 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829046 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140423091886992 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17501] ppid=17494 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17501/stat : 17501 (java) S 17494 17494 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829046 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140423090834192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17502] ppid=17494 vsize=13980732 memory=3461502139933922767 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17502/stat : 17502 (java) S 17494 17494 16431 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 8829047 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422638172528 140423159569026 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17503] ppid=17494 vsize=13980732 memory=280265943945392 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17503/stat : 17503 (java) S 17494 17494 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422637118496 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17504] ppid=17494 vsize=13980732 memory=1399661390618268019 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13980732 memory=-7027409196973580341 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13980732 memory=6933690305039933585 CPUtime=0.57 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) R 17494 17494 16431 0 -1 4202560 2549 0 0 0 57 0 0 0 20 0 15 0 8829050 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422633962352 140423142771228 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13980732 memory=-8774313645642428999 CPUtime=0.56 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) R 17494 17494 16431 0 -1 4202560 1688 0 0 0 56 0 0 0 20 0 15 0 8829051 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422632898544 140423144463380 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13980732 memory=6656426216303648864 CPUtime=0.51 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) R 17494 17494 16431 0 -1 4202560 2930 0 0 0 50 1 0 0 20 0 15 0 8829051 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422631852704 140423140967887 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13980732 memory=8187704045996132563 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13980732 memory=-7966001967256141664 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829055 14316269568 30868 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0

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

/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 57573 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14316269568 57573 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13980732 memory=230804 CPUtime=2.9 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) S 17494 17494 16431 0 -1 1077944384 23648 0 0 0 286 4 0 0 20 0 15 0 8829050 14316269568 57573 18446744073709551615 4194304 4196468 140730824193152 140422633962352 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13980732 memory=233884 CPUtime=2.1 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) S 17494 17494 16431 0 -1 1077944384 12522 0 0 0 208 2 0 0 20 0 15 0 8829051 14316269568 57573 18446744073709551615 4194304 4196468 140730824193152 140422632909552 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13980732 memory=4004 CPUtime=0.75 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) S 17494 17494 16431 0 -1 1077944384 8736 0 0 0 73 2 0 0 20 0 15 0 8829051 14316269568 57573 18446744073709551615 4194304 4196468 140730824193152 140422631856752 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14316269568 57573 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13980732 memory=230292 CPUtime=1.01 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 1265 0 0 0 50 51 0 0 20 0 15 0 8829055 14316269568 57573 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
Current children cumulated CPU time: 2451.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 231672 KiB

[startup+2502.3 s]
/proc/loadavg: 1.52 1.48 1.55 3/212 17874
/proc/meminfo: memFree=31485620/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
[pid=17496] ppid=17494 vsize=13980732 memory=230800 CPUtime=2511.65 cores=0,2,4,6
/proc/17496/stat : 17496 (java) S 17494 17494 16431 0 -1 1077944320 90327 0 0 0 251082 83 0 0 20 0 15 0 8829045 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140730824175696 140423159557879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
/proc/17496/statm: 3495183 57700 3241 1 0 3483476 0
[pid=17496/tid=17497] ppid=17494 vsize=13980732 memory=230800 CPUtime=2500.08 cores=0,2,4,6
/proc/17496/task/17497/stat : 17497 (java) R 17494 17494 16431 0 -1 4202560 25024 0 0 0 249998 10 0 0 20 0 15 0 8829045 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423163797456 140422770408320 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17498] ppid=17494 vsize=13980732 memory=230800 CPUtime=1 cores=0,2,4,6
/proc/17496/task/17498/stat : 17498 (java) S 17494 17494 16431 0 -1 1077944384 3435 0 0 0 94 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423093992592 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17499] ppid=17494 vsize=13980732 memory=230800 CPUtime=1.03 cores=0,2,4,6
/proc/17496/task/17499/stat : 17499 (java) S 17494 17494 16431 0 -1 1077944384 3007 0 0 0 96 7 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423092939792 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17500] ppid=17494 vsize=13980732 memory=56 CPUtime=1.02 cores=0,2,4,6
/proc/17496/task/17500/stat : 17500 (java) S 17494 17494 16431 0 -1 1077944384 3290 0 0 0 96 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423091886992 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17501] ppid=17494 vsize=13980732 memory=1380 CPUtime=1.02 cores=0,2,4,6
/proc/17496/task/17501/stat : 17501 (java) S 17494 17494 16431 0 -1 1077944384 3387 0 0 0 96 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423090834192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17502] ppid=17494 vsize=13980732 memory=4004 CPUtime=0.62 cores=0,2,4,6
/proc/17496/task/17502/stat : 17502 (java) S 17494 17494 16431 0 -1 1077944384 4612 0 0 0 54 8 0 0 20 0 15 0 8829047 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422638172528 140423159569026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17503] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17503/stat : 17503 (java) S 17494 17494 16431 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422637118560 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17504] ppid=17494 vsize=13980732 memory=230800 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13980732 memory=10712 CPUtime=2.9 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) S 17494 17494 16431 0 -1 1077944384 23650 0 0 0 286 4 0 0 20 0 15 0 8829050 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422633962352 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13980732 memory=7450192303633097298 CPUtime=2.1 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) S 17494 17494 16431 0 -1 1077944384 12524 0 0 0 208 2 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422632909552 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13980732 memory=7440067974812100712 CPUtime=0.75 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) S 17494 17494 16431 0 -1 1077944384 8738 0 0 0 73 2 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422631856752 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13980732 memory=8680 CPUtime=1.03 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 1284 0 0 0 51 52 0 0 20 0 15 0 8829055 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
Current children cumulated CPU time: 2511.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 232180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.7 s]
/proc/loadavg: 1.59 1.50 1.56 3/212 17874
/proc/meminfo: memFree=31477916/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
[pid=17496] ppid=17494 vsize=13980732 memory=230800 CPUtime=2520.07 cores=0,2,4,6
/proc/17496/stat : 17496 (java) S 17494 17494 16431 0 -1 1077944320 90331 0 0 0 251923 84 0 0 20 0 15 0 8829045 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140730824175696 140423159557879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
/proc/17496/statm: 3495183 57700 3241 1 0 3483476 0
[pid=17496/tid=17497] ppid=17494 vsize=13980732 memory=230800 CPUtime=2508.48 cores=0,2,4,6
/proc/17496/task/17497/stat : 17497 (java) R 17494 17494 16431 0 -1 4202560 25028 0 0 0 250838 10 0 0 20 0 15 0 8829045 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423163797456 140422770757848 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17498] ppid=17494 vsize=13980732 memory=1380 CPUtime=1 cores=0,2,4,6
/proc/17496/task/17498/stat : 17498 (java) S 17494 17494 16431 0 -1 1077944384 3435 0 0 0 94 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423093992592 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17499] ppid=17494 vsize=13980732 memory=230800 CPUtime=1.03 cores=0,2,4,6
/proc/17496/task/17499/stat : 17499 (java) S 17494 17494 16431 0 -1 1077944384 3007 0 0 0 96 7 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423092939792 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17500] ppid=17494 vsize=13980732 memory=1380 CPUtime=1.02 cores=0,2,4,6
/proc/17496/task/17500/stat : 17500 (java) S 17494 17494 16431 0 -1 1077944384 3290 0 0 0 96 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423091886992 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17501] ppid=17494 vsize=13980732 memory=56 CPUtime=1.02 cores=0,2,4,6
/proc/17496/task/17501/stat : 17501 (java) S 17494 17494 16431 0 -1 1077944384 3387 0 0 0 96 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423090834192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17502] ppid=17494 vsize=13980732 memory=280265943507488 CPUtime=0.62 cores=0,2,4,6
/proc/17496/task/17502/stat : 17502 (java) S 17494 17494 16431 0 -1 1077944384 4612 0 0 0 54 8 0 0 20 0 15 0 8829047 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422638172528 140423159569026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17503] ppid=17494 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17503/stat : 17503 (java) S 17494 17494 16431 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422637118560 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17504] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13980732 memory=230800 CPUtime=2.9 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) S 17494 17494 16431 0 -1 1077944384 23650 0 0 0 286 4 0 0 20 0 15 0 8829050 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422633962352 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13980732 memory=2344 CPUtime=2.1 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) S 17494 17494 16431 0 -1 1077944384 12524 0 0 0 208 2 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422632909552 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13980732 memory=1728 CPUtime=0.75 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) S 17494 17494 16431 0 -1 1077944384 8738 0 0 0 73 2 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422631856752 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13980732 memory=228752 CPUtime=1.04 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 1284 0 0 0 51 53 0 0 20 0 15 0 8829055 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 232180 KiB

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

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

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

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

[startup+2510.7 s]
/proc/loadavg: 1.59 1.50 1.56 3/212 17874
/proc/meminfo: memFree=31477916/32770624 swapFree=67108860/67108860
[pid=17494] ppid=17491 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (xcsp3-exec) S 17491 17494 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 8829035 9740288 345 18446744073709551615 4194304 5098028 140723578544288 140723578542392 140013610422908 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 26116096 140723578552697 140723578552902 140723578552902 140723578556395 0
/proc/17494/statm: 2378 345 289 221 0 87 0
[pid=17496] ppid=17494 vsize=13980732 memory=230800 CPUtime=2520.07 cores=0,2,4,6
/proc/17496/stat : 17496 (java) S 17494 17494 16431 0 -1 1077944320 90331 0 0 0 251923 84 0 0 20 0 15 0 8829045 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140730824175696 140423159557879 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
/proc/17496/statm: 3495183 57700 3241 1 0 3483476 0
[pid=17496/tid=17497] ppid=17494 vsize=13980732 memory=230800 CPUtime=2508.48 cores=0,2,4,6
/proc/17496/task/17497/stat : 17497 (java) R 17494 17494 16431 0 -1 4202560 25028 0 0 0 250838 10 0 0 20 0 15 0 8829045 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423163797456 140422770757848 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17498] ppid=17494 vsize=13980732 memory=1380 CPUtime=1 cores=0,2,4,6
/proc/17496/task/17498/stat : 17498 (java) S 17494 17494 16431 0 -1 1077944384 3435 0 0 0 94 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423093992592 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17499] ppid=17494 vsize=13980732 memory=230800 CPUtime=1.03 cores=0,2,4,6
/proc/17496/task/17499/stat : 17499 (java) S 17494 17494 16431 0 -1 1077944384 3007 0 0 0 96 7 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423092939792 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17500] ppid=17494 vsize=13980732 memory=1380 CPUtime=1.02 cores=0,2,4,6
/proc/17496/task/17500/stat : 17500 (java) S 17494 17494 16431 0 -1 1077944384 3290 0 0 0 96 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423091886992 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17501] ppid=17494 vsize=13980732 memory=56 CPUtime=1.02 cores=0,2,4,6
/proc/17496/task/17501/stat : 17501 (java) S 17494 17494 16431 0 -1 1077944384 3387 0 0 0 96 6 0 0 20 0 15 0 8829046 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140423090834192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17502] ppid=17494 vsize=13980732 memory=280265943507488 CPUtime=0.62 cores=0,2,4,6
/proc/17496/task/17502/stat : 17502 (java) S 17494 17494 16431 0 -1 1077944384 4612 0 0 0 54 8 0 0 20 0 15 0 8829047 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422638172528 140423159569026 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17503] ppid=17494 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17503/stat : 17503 (java) S 17494 17494 16431 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422637118560 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17504] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17504/stat : 17504 (java) S 17494 17494 16431 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 8829048 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422636065648 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17505] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17505/stat : 17505 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829050 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422635013968 140423159576475 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17506] ppid=17494 vsize=13980732 memory=230800 CPUtime=2.9 cores=0,2,4,6
/proc/17496/task/17506/stat : 17506 (java) S 17494 17494 16431 0 -1 1077944384 23650 0 0 0 286 4 0 0 20 0 15 0 8829050 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422633962352 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17507] ppid=17494 vsize=13980732 memory=2344 CPUtime=2.1 cores=0,2,4,6
/proc/17496/task/17507/stat : 17507 (java) S 17494 17494 16431 0 -1 1077944384 12524 0 0 0 208 2 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422632909552 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17508] ppid=17494 vsize=13980732 memory=1728 CPUtime=0.75 cores=0,2,4,6
/proc/17496/task/17508/stat : 17508 (java) S 17494 17494 16431 0 -1 1077944384 8738 0 0 0 73 2 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422631856752 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17509] ppid=17494 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17496/task/17509/stat : 17509 (java) S 17494 17494 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829051 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422630804192 140423159568085 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
[pid=17496/tid=17510] ppid=17494 vsize=13980732 memory=228752 CPUtime=1.04 cores=0,2,4,6
/proc/17496/task/17510/stat : 17510 (java) S 17494 17494 16431 0 -1 1077944384 1284 0 0 0 51 53 0 0 20 0 15 0 8829055 14316269568 57700 18446744073709551615 4194304 4196468 140730824193152 140422629751472 140423159569026 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 8359936 140730824200626 140730824200802 140730824200802 140730824204239 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 232180 KiB

Child status: 143
Real time (s): 2510.71
CPU time (s): 2520.09
CPU user time (s): 2519.24
CPU system time (s): 0.842328
CPU usage (%): 100.373
Max. virtual memory (cumulated for all children) (KiB): 13992268
Max. memory (cumulated for all children) (KiB): 279328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.24
system time used= 0.842328
maximum resident set size= 277992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91068
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72728
involuntary context switches= 2763


# summary of solver processes directly reported to runsolver:
#   pid: 17494,17496
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.24
#   total CPU system time (s): 0.842328

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.868 second user time and 21.0465 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml
MD5SUM	45cb885f577274590a53a0b26d80d877
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	686
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	3082
Number of constraints	1747
Number of domains	4
Minimum domain size	2
Maximum domain size	3043
Distribution of domain sizes	[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree	1
Maximum variable degree	40
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	41
Distribution of constraint arities	[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints	1517
Number of intensional constraints	186
Distribution of constraint types	[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4282086

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data