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-09)	SAT (TO)	532	2520.1001	2510.6101

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269336-1502697208.xml"  -tl '2520s' -p 1 -x 0
0.10/0.26	c [HOME/instance-4269336-1502697208.xml, -tl, 2520s, -p, 1, -x, 0]
0.31/0.32	c simple solver
0.31/0.39	c parse instance...
2.71/1.32	c solve instance...
121.83/117.12	o 532 
2520.07/2510.60	s SATISFIABLE
2520.07/2510.60	v <instantiation>
2520.07/2510.60	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.60	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.60	v </instantiation>
2520.07/2510.60	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 (15293 MiB free)
  memory of node 1: 16384 MiB (13982 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269336-1502697208/watcher-4269336-1502697208 -o /tmp/evaluation-result-4269336-1502697208/solver-4269336-1502697208 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14689 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 162119475 HOME/instance-4269336-1502697208.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=17795, runsolver pid=17792
Current StackSize limit: 8192 KiB


[startup+0.107204 s]*
/proc/loadavg: 1.84 1.75 1.72 3/205 17805
/proc/meminfo: memFree=29968812/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13574484 memory=18764 CPUtime=0.04 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 4071 0 0 0 3 1 0 0 20 0 9 0 58061504 13900271616 4691 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3393621 4691 2105 1 0 3383118 0
[pid=17797/tid=17798] ppid=17795 vsize=13574484 memory=4206989191851631162 CPUtime=0.03 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 4202560 2779 0 0 0 3 0 0 0 20 0 9 0 58061504 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139826149797752 139826131244851 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13574484 memory=3461490611247855241 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 58061505 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13574484 memory=140006618171008 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 58061505 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58061505 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17802/stat : 17802 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 58061505 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139826084350352 139826145572565 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17803] ppid=17795 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17803/stat : 17803 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 58061506 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139825263606512 139826145573506 0 0 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17804] ppid=17795 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17804/stat : 17804 (java) S 17795 17795 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 58061506 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139825262552736 139826145572565 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17805] ppid=17795 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 58061507 13900271616 4756 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20144 KiB

[startup+0.212213 s]*
/proc/loadavg: 1.84 1.75 1.72 4/211 17811
/proc/meminfo: memFree=29962140/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13974352 memory=27396 CPUtime=0.1 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 5336 0 0 0 9 1 0 0 20 0 15 0 58061504 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3493588 6849 2824 1 0 3482964 0
[pid=17797/tid=17798] ppid=17795 vsize=13974352 memory=-6080815442928177506 CPUtime=0.08 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 4202560 3354 0 0 0 7 1 0 0 20 0 15 0 58061504 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139826149782480 139826128917979 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13974352 memory=3461490611247855241 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13974352 memory=140006618171008 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17802/stat : 17802 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139826084350352 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17803] ppid=17795 vsize=13974352 memory=140006618171008 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17803/stat : 17803 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061506 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825263606512 139826145573506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17804] ppid=17795 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17804/stat : 17804 (java) S 17795 17795 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58061506 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825262552736 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17805] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58061507 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17806] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17806/stat : 17806 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825260448208 139826145580955 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17807] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17807/stat : 17807 (java) S 17795 17795 11586 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 58061509 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825259395312 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17808] ppid=17795 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17808/stat : 17808 (java) S 17795 17795 11586 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 58061509 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825258342768 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17809] ppid=17795 vsize=13974352 memory=140006618171008 CPUtime=0.01 cores=0,2,4,6
/proc/17797/task/17809/stat : 17809 (java) S 17795 17795 11586 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 58061509 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825257289712 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17810] ppid=17795 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17810/stat : 17810 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825256237408 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17811] ppid=17795 vsize=13974352 memory=140006618171008 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17811/stat : 17811 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061514 14309736448 6849 18446744073709551615 4194304 4196468 140723511727840 139825255185456 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28776 KiB

[startup+0.313369 s]*
/proc/loadavg: 1.84 1.75 1.72 4/211 17811
/proc/meminfo: memFree=29951296/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13974352 memory=39416 CPUtime=0.31 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 8898 0 0 0 28 3 0 0 20 0 15 0 58061504 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3493588 9854 3036 1 0 3482964 0
[pid=17797/tid=17798] ppid=17795 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 4202560 6107 0 0 0 16 2 0 0 20 0 15 0 58061504 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139826149792096 139826145574294 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17802/stat : 17802 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061505 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139826084350352 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17803] ppid=17795 vsize=13974352 memory=140006618178001 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17803/stat : 17803 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061506 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825263606512 139826145573506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17804] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17804/stat : 17804 (java) S 17795 17795 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58061506 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825262552736 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17805] ppid=17795 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58061507 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17806] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17806/stat : 17806 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825260448208 139826145580955 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17807] ppid=17795 vsize=13974352 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17797/task/17807/stat : 17807 (java) S 17795 17795 11586 0 -1 1077944384 476 0 0 0 3 0 0 0 20 0 15 0 58061509 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825259395312 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17808] ppid=17795 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17797/task/17808/stat : 17808 (java) S 17795 17795 11586 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 58061509 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825258342768 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17809] ppid=17795 vsize=13974352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17797/task/17809/stat : 17809 (java) R 17795 17795 11586 0 -1 4202560 736 0 0 0 7 0 0 0 20 0 15 0 58061509 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825257289712 139826145574294 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17810] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17810/stat : 17810 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825256237408 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17811] ppid=17795 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17811/stat : 17811 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061514 14309736448 9854 18446744073709551615 4194304 4196468 140723511727840 139825255185456 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40796 KiB

[startup+0.701203 s]
/proc/loadavg: 1.84 1.75 1.72 4/211 17811
/proc/meminfo: memFree=29932604/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13978684 memory=82324 CPUtime=1.41 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 13206 0 0 0 135 6 0 0 20 0 15 0 58061504 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3494671 20581 3171 1 0 3482964 0
[pid=17797/tid=17798] ppid=17795 vsize=13978684 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 4202560 7916 0 0 0 52 4 0 0 20 0 15 0 58061504 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139826149800672 139825767917628 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13978684 memory=4428317442021151571 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13978684 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061505 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17802/stat : 17802 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061505 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139826084350352 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17803] ppid=17795 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17803/stat : 17803 (java) S 17795 17795 11586 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 58061506 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825263606512 139826145573506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17804] ppid=17795 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17804/stat : 17804 (java) S 17795 17795 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 58061506 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825262552736 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17805] ppid=17795 vsize=13978684 memory=2 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 58061507 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17806] ppid=17795 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17806/stat : 17806 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825260448208 139826145580955 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17807] ppid=17795 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/17797/task/17807/stat : 17807 (java) R 17795 17795 11586 0 -1 4202560 1342 0 0 0 27 0 0 0 20 0 15 0 58061509 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825259385168 139826127106983 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17808] ppid=17795 vsize=13978684 memory=13 CPUtime=0.23 cores=0,2,4,6
/proc/17797/task/17808/stat : 17808 (java) R 17795 17795 11586 0 -1 4202560 1117 0 0 0 23 0 0 0 20 0 15 0 58061509 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825258328792 139826127084836 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17809] ppid=17795 vsize=13978684 memory=3 CPUtime=0.31 cores=0,2,4,6
/proc/17797/task/17809/stat : 17809 (java) S 17795 17795 11586 0 -1 1077944384 1523 0 0 0 31 0 0 0 20 0 15 0 58061509 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825257289712 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17810] ppid=17795 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17810/stat : 17810 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825256237408 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17811] ppid=17795 vsize=13978684 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17811/stat : 17811 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061514 14314172416 20581 18446744073709551615 4194304 4196468 140723511727840 139825255185456 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 83704 KiB

[startup+1.50212 s]
/proc/loadavg: 1.84 1.75 1.72 3/211 17811
/proc/meminfo: memFree=29892092/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13980732 memory=125540 CPUtime=3.1 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 19623 0 0 0 302 8 0 0 20 0 15 0 58061504 14316269568 31385 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3495183 31385 3191 1 0 3483476 0
[pid=17797/tid=17798] ppid=17795 vsize=13980732 memory=33040 CPUtime=1.36 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 1077944384 11200 0 0 0 131 5 0 0 20 0 15 0 58061504 14316269568 31385 18446744073709551615 4194304 4196468 140723511727840 139826149794352 139826145572565 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14316269568 31385 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 58061505 14316269568 31385 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13980732 memory=91796 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 58061505 14316269568 31385 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13980732 memory=82324 CPUtime=0 cores=0,2,4,6

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

/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 58061507 14316269568 56779 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17806] ppid=17795 vsize=13980732 memory=65 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17806/stat : 17806 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 56779 18446744073709551615 4194304 4196468 140723511727840 139825260448208 139826145580955 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17807] ppid=17795 vsize=13980732 memory=1380 CPUtime=2.44 cores=0,2,4,6
/proc/17797/task/17807/stat : 17807 (java) S 17795 17795 11586 0 -1 1077944384 20239 0 0 0 242 2 0 0 20 0 15 0 58061509 14316269568 56779 18446744073709551615 4194304 4196468 140723511727840 139825259395312 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17808] ppid=17795 vsize=13980732 memory=227628 CPUtime=2.66 cores=0,2,4,6
/proc/17797/task/17808/stat : 17808 (java) S 17795 17795 11586 0 -1 1077944384 19142 0 0 0 262 4 0 0 20 0 15 0 58061509 14316269568 56779 18446744073709551615 4194304 4196468 140723511727840 139825258342768 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17809] ppid=17795 vsize=13980732 memory=-8774313645642428999 CPUtime=0.76 cores=0,2,4,6
/proc/17797/task/17809/stat : 17809 (java) S 17795 17795 11586 0 -1 1077944384 11939 0 0 0 74 2 0 0 20 0 15 0 58061509 14316269568 56779 18446744073709551615 4194304 4196468 140723511727840 139825257289712 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17810] ppid=17795 vsize=13980732 memory=227628 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17810/stat : 17810 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 56779 18446744073709551615 4194304 4196468 140723511727840 139825256237408 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17811] ppid=17795 vsize=13980732 memory=1380 CPUtime=0.92 cores=0,2,4,6
/proc/17797/task/17811/stat : 17811 (java) S 17795 17795 11586 0 -1 1077944384 1770 0 0 0 44 48 0 0 20 0 15 0 58061514 14316269568 56779 18446744073709551615 4194304 4196468 140723511727840 139825255185456 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 2391.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 228496 KiB

[startup+2442.3 s]
/proc/loadavg: 1.63 1.52 1.59 3/211 18059
/proc/meminfo: memFree=31239960/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13980732 memory=223524 CPUtime=2451.71 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 97954 0 0 0 245083 88 0 0 20 0 15 0 58061504 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3495183 55881 3240 1 0 3483476 0
[pid=17797/tid=17798] ppid=17795 vsize=13980732 memory=223524 CPUtime=2440.11 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 4202560 25874 0 0 0 244000 11 0 0 20 0 15 0 58061504 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139826149802000 139825772383660 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13980732 memory=224040 CPUtime=1.03 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 3654 0 0 0 96 7 0 0 20 0 15 0 58061505 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13980732 memory=224040 CPUtime=1.02 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 3226 0 0 0 95 7 0 0 20 0 15 0 58061505 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13980732 memory=223524 CPUtime=1.02 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 2863 0 0 0 96 6 0 0 20 0 15 0 58061505 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13980732 memory=223524 CPUtime=1.02 cores=0,2,4,6
/proc/17797/task/17802/stat : 17802 (java) S 17795 17795 11586 0 -1 1077944384 3094 0 0 0 94 8 0 0 20 0 15 0 58061505 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139826084350352 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17803] ppid=17795 vsize=13980732 memory=223524 CPUtime=0.6 cores=0,2,4,6
/proc/17797/task/17803/stat : 17803 (java) S 17795 17795 11586 0 -1 1077944384 4788 0 0 0 54 6 0 0 20 0 15 0 58061506 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825263606512 139826145573506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17804] ppid=17795 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17804/stat : 17804 (java) S 17795 17795 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 58061506 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825262552800 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17805] ppid=17795 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 58061507 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17806] ppid=17795 vsize=13980732 memory=223524 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17806/stat : 17806 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825260448208 139826145580955 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17807] ppid=17795 vsize=13980732 memory=1380 CPUtime=2.44 cores=0,2,4,6
/proc/17797/task/17807/stat : 17807 (java) S 17795 17795 11586 0 -1 1077944384 20239 0 0 0 242 2 0 0 20 0 15 0 58061509 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825259395312 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17808] ppid=17795 vsize=13980732 memory=1380 CPUtime=2.66 cores=0,2,4,6
/proc/17797/task/17808/stat : 17808 (java) S 17795 17795 11586 0 -1 1077944384 19142 0 0 0 262 4 0 0 20 0 15 0 58061509 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825258342768 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17809] ppid=17795 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/17797/task/17809/stat : 17809 (java) S 17795 17795 11586 0 -1 1077944384 11939 0 0 0 74 2 0 0 20 0 15 0 58061509 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825257289712 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17810] ppid=17795 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17810/stat : 17810 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825256237408 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17811] ppid=17795 vsize=13980732 memory=223524 CPUtime=0.95 cores=0,2,4,6
/proc/17797/task/17811/stat : 17811 (java) S 17795 17795 11586 0 -1 1077944384 1774 0 0 0 46 49 0 0 20 0 15 0 58061514 14316269568 55881 18446744073709551615 4194304 4196468 140723511727840 139825255185456 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 2451.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 224904 KiB

[startup+2502.3 s]
/proc/loadavg: 1.55 1.52 1.59 3/215 18076
/proc/meminfo: memFree=31228536/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13980732 memory=225060 CPUtime=2511.77 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 98878 0 0 0 251087 90 0 0 20 0 15 0 58061504 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3495183 56265 3240 1 0 3483476 0
[pid=17797/tid=17798] ppid=17795 vsize=13980732 memory=1380 CPUtime=2500.09 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 4202560 26172 0 0 0 249998 11 0 0 20 0 15 0 58061504 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826149802320 139825772383638 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13980732 memory=225060 CPUtime=1.04 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 3665 0 0 0 97 7 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13980732 memory=4616 CPUtime=1.03 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 3249 0 0 0 96 7 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13980732 memory=1440 CPUtime=1.03 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 2985 0 0 0 97 6 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13980732 memory=1380 CPUtime=1.03 cores=0,2,4,6
/proc/17797/task/17802/stat : 17802 (java) S 17795 17795 11586 0 -1 1077944384 3365 0 0 0 95 8 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826084350352 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17803] ppid=17795 vsize=13980732 memory=225060 CPUtime=0.61 cores=0,2,4,6
/proc/17797/task/17803/stat : 17803 (java) S 17795 17795 11586 0 -1 1077944384 4959 0 0 0 55 6 0 0 20 0 15 0 58061506 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825263606512 139826145573506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17804] ppid=17795 vsize=13980732 memory=4120 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17804/stat : 17804 (java) S 17795 17795 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 58061506 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825262552800 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17805] ppid=17795 vsize=13980732 memory=33156 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 58061507 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17806] ppid=17795 vsize=13980732 memory=2384 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17806/stat : 17806 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825260448208 139826145580955 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17807] ppid=17795 vsize=13980732 memory=1296 CPUtime=2.44 cores=0,2,4,6
/proc/17797/task/17807/stat : 17807 (java) S 17795 17795 11586 0 -1 1077944384 20242 0 0 0 242 2 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825259395312 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17808] ppid=17795 vsize=13980732 memory=225060 CPUtime=2.66 cores=0,2,4,6
/proc/17797/task/17808/stat : 17808 (java) S 17795 17795 11586 0 -1 1077944384 19144 0 0 0 262 4 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825258342768 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17809] ppid=17795 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/17797/task/17809/stat : 17809 (java) S 17795 17795 11586 0 -1 1077944384 11941 0 0 0 74 2 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825257289712 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17810] ppid=17795 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17810/stat : 17810 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825256237408 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17811] ppid=17795 vsize=13980732 memory=5788 CPUtime=0.97 cores=0,2,4,6
/proc/17797/task/17811/stat : 17811 (java) S 17795 17795 11586 0 -1 1077944384 1795 0 0 0 47 50 0 0 20 0 15 0 58061514 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825255185456 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 2511.77 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226440 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.6 s]
/proc/loadavg: 1.58 1.52 1.59 3/215 18076
/proc/meminfo: memFree=31228536/32770624 swapFree=67108860/67108860
[pid=17795] ppid=17792 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/17795/stat : 17795 (xcsp3-exec) S 17792 17795 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 58061497 9740288 345 18446744073709551615 4194304 5098028 140735672327968 140735672326072 139719927571068 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 39976960 140735672332665 140735672332869 140735672332869 140735672336363 0
/proc/17795/statm: 2378 345 289 221 0 87 0
[pid=17797] ppid=17795 vsize=13980732 memory=225060 CPUtime=2520.07 cores=0,2,4,6
/proc/17797/stat : 17797 (java) S 17795 17795 11586 0 -1 1077944320 98879 0 0 0 251917 90 0 0 20 0 15 0 58061504 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 140723511710384 139826145562359 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
/proc/17797/statm: 3495183 56265 3240 1 0 3483476 0
[pid=17797/tid=17798] ppid=17795 vsize=13980732 memory=1380 CPUtime=2508.39 cores=0,2,4,6
/proc/17797/task/17798/stat : 17798 (java) R 17795 17795 11586 0 -1 4202560 26173 0 0 0 250828 11 0 0 20 0 15 0 58061504 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826149801888 139825772405004 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17799] ppid=17795 vsize=13980732 memory=225060 CPUtime=1.04 cores=0,2,4,6
/proc/17797/task/17799/stat : 17799 (java) S 17795 17795 11586 0 -1 1077944384 3665 0 0 0 97 7 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826087508496 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17800] ppid=17795 vsize=13980732 memory=1380 CPUtime=1.03 cores=0,2,4,6
/proc/17797/task/17800/stat : 17800 (java) S 17795 17795 11586 0 -1 1077944384 3249 0 0 0 96 7 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826086455952 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17801] ppid=17795 vsize=13980732 memory=225060 CPUtime=1.03 cores=0,2,4,6
/proc/17797/task/17801/stat : 17801 (java) S 17795 17795 11586 0 -1 1077944384 2985 0 0 0 97 6 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826085402896 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17802] ppid=17795 vsize=13980732 memory=1008 CPUtime=1.03 cores=0,2,4,6
/proc/17797/task/17802/stat : 17802 (java) S 17795 17795 11586 0 -1 1077944384 3365 0 0 0 95 8 0 0 20 0 15 0 58061505 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139826084350352 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17803] ppid=17795 vsize=13980732 memory=1232 CPUtime=0.61 cores=0,2,4,6
/proc/17797/task/17803/stat : 17803 (java) S 17795 17795 11586 0 -1 1077944384 4959 0 0 0 55 6 0 0 20 0 15 0 58061506 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825263606512 139826145573506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17804] ppid=17795 vsize=13980732 memory=8908 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17804/stat : 17804 (java) S 17795 17795 11586 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 58061506 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825262552800 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17805] ppid=17795 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17805/stat : 17805 (java) S 17795 17795 11586 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 58061507 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825261499632 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17806] ppid=17795 vsize=13980732 memory=225060 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17806/stat : 17806 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825260448208 139826145580955 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17807] ppid=17795 vsize=13980732 memory=-8774313645642428999 CPUtime=2.44 cores=0,2,4,6
/proc/17797/task/17807/stat : 17807 (java) S 17795 17795 11586 0 -1 1077944384 20242 0 0 0 242 2 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825259395312 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17808] ppid=17795 vsize=13980732 memory=1236 CPUtime=2.66 cores=0,2,4,6
/proc/17797/task/17808/stat : 17808 (java) S 17795 17795 11586 0 -1 1077944384 19144 0 0 0 262 4 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825258342768 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17809] ppid=17795 vsize=13980732 memory=2244 CPUtime=0.76 cores=0,2,4,6
/proc/17797/task/17809/stat : 17809 (java) S 17795 17795 11586 0 -1 1077944384 11941 0 0 0 74 2 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825257289712 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17810] ppid=17795 vsize=13980732 memory=4284 CPUtime=0 cores=0,2,4,6
/proc/17797/task/17810/stat : 17810 (java) S 17795 17795 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 58061509 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825256237408 139826145572565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
[pid=17797/tid=17811] ppid=17795 vsize=13980732 memory=928 CPUtime=0.97 cores=0,2,4,6
/proc/17797/task/17811/stat : 17811 (java) S 17795 17795 11586 0 -1 1077944384 1795 0 0 0 47 50 0 0 20 0 15 0 58061514 14316269568 56265 18446744073709551615 4194304 4196468 140723511727840 139825255185456 139826145573506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37752832 140723511730609 140723511730785 140723511730785 140723511734223 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 226440 KiB

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

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

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

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

Child status: 143
Real time (s): 2510.61
CPU time (s): 2520.1
CPU user time (s): 2519.19
CPU system time (s): 0.910263
CPU usage (%): 100.378
Max. virtual memory (cumulated for all children) (KiB): 13992260
Max. memory (cumulated for all children) (KiB): 271796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.19
system time used= 0.910263
maximum resident set size= 270420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99669
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72639
involuntary context switches= 3324


# summary of solver processes directly reported to runsolver:
#   pid: 17795,17797
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2519.19
#   total CPU system time (s): 0.910263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6157 second user time and 22.5629 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 4269336

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data