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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-07-26)	SAT (TO)	33	1028.01	252.11501

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254463-1502647465.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4254463-1502647465.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
853.60/180.13	c solve instance...
934.16/192.54	o 34 
954.43/195.86	o 33 
1027.89/252.01	s SATISFIABLE
1027.89/252.01	v <instantiation>
1027.89/252.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list>
1027.89/252.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 1 2 3 4 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 0 1 2 3 4 5 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 0 1 2 3 4 5 6 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 0 1 2 3 4 5 6 7 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 0 1 2 3 4 5 6 7 8 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 1 2 3 4 5 6 7 8 9 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 11 0 1 2 3 4 5 6 7 8 9 10 11 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 0 1 2 3 4 5 6 7 8 9 10 11 12 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 13 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 14 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 15 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 17 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 19 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 21 21 21 21 21 21 21 21 21 21 21 21 21 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 22 22 22 22 22 22 22 22 22 22 22 22 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 23 23 23 23 23 23 23 23 23 23 23 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 24 24 24 24 24 24 24 24 24 24 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 25 25 25 25 25 25 25 25 25 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 26 26 26 26 26 26 26 26 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 27 27 27 27 27 27 27 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 28 28 28 28 28 28 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 29 29 29 29 29 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 30 30 30 30 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 31 31 31 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 32 32 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 33 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 33 32 33 </values>
1027.89/252.01	v </instantiation>
1027.89/252.01	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15311 MiB free)
  memory of node 1: 16384 MiB (15443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254463-1502647465/watcher-4254463-1502647465 -o /tmp/evaluation-result-4254463-1502647465/solver-4254463-1502647465 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node102-1502634636-10762 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 2110974112 HOME/instance-4254463-1502647465.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6293, runsolver pid=6290
Current StackSize limit: 8192 KiB


[startup+0.100113 s]*
/proc/loadavg: 2.21 4.40 5.66 2/200 6314
/proc/meminfo: memFree=31476372/32770624 swapFree=67108860/67108860
[pid=6293] ppid=6290 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 10735 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97834820 9740288 345 33554432000 4194304 5098028 140727114529936 140727114528040 139631849788028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28332032 140727114531946 140727114532156 140727114532156 140727114534891 0
/proc/6293/statm: 2378 345 289 221 0 87 0
[pid=6295] ppid=6293 vsize=25999808 memory=26460 CPUtime=0.11 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 10735 0 -1 1077944320 5469 0 0 0 10 1 0 0 20 0 20 0 97834820 26623803392 6615 33554432000 4194304 4196468 140731274737728 140731274720272 140337522265847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
/proc/6295/statm: 6499952 6615 2860 1 0 6488269 0
[pid=6295/tid=6296] ppid=6293 vsize=25999808 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) R 6293 6293 10735 0 -1 4202560 3475 0 0 0 8 0 0 0 20 0 20 0 97834820 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337526492448 140337506346334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6297] ppid=6293 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337474885904 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6298] ppid=6293 vsize=25999808 memory=140660263499392 CPUtime=0 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337473833360 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6299] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337472780816 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6300] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337471728272 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6301] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337470675728 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6302] ppid=6293 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337469623184 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6303] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337468570640 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6304] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26623803392 6615 33554432000 4194304 4196468 140731274737728 140337467518096 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6305] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834823 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336264411120 140337522276994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6306] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97834823 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336263357344 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6307] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97834823 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336262304752 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6308] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336261253328 140337522284443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6309] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 10735 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 97834826 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336260200944 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6310] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336259148400 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6311] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336258095856 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6312] ppid=6293 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) S 6293 6293 10735 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 97834826 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336257043312 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6313] ppid=6293 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97834826 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336255989984 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6314] ppid=6293 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26623803392 6615 33554432000 4194304 4196468 140731274737728 140336254937520 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27840 KiB

[startup+0.210377 s]*
/proc/loadavg: 2.21 4.40 5.66 3/200 6314
/proc/meminfo: memFree=31465084/32770624 swapFree=67108860/67108860
[pid=6293] ppid=6290 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 10735 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97834820 9740288 345 33554432000 4194304 5098028 140727114529936 140727114528040 139631849788028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28332032 140727114531946 140727114532156 140727114532156 140727114534891 0
/proc/6293/statm: 2378 345 289 221 0 87 0
[pid=6295] ppid=6293 vsize=26004064 memory=39024 CPUtime=0.33 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 10735 0 -1 1077944320 8315 0 0 0 30 3 0 0 20 0 20 0 97834820 26628161536 9756 33554432000 4194304 4196468 140731274737728 140731274720272 140337522265847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
/proc/6295/statm: 6501016 9756 3044 1 0 6488269 0
[pid=6295/tid=6296] ppid=6293 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) R 6293 6293 10735 0 -1 1077944384 5383 0 0 0 18 2 0 0 20 0 20 0 97834820 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337526488048 140337522276053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6297] ppid=6293 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337474885904 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6298] ppid=6293 vsize=26004064 memory=140660263510384 CPUtime=0 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337473833360 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6299] ppid=6293 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337472780816 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6300] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337471728272 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6301] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337470675728 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6302] ppid=6293 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337469623184 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6303] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337468570640 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6304] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 9756 33554432000 4194304 4196468 140731274737728 140337467518096 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6305] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834823 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336264411120 140337522276994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6306] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97834823 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336263357344 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6307] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97834823 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336262304752 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6308] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336261253328 140337522284443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6309] ppid=6293 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) R 6293 6293 10735 0 -1 4202560 493 0 0 0 1 0 0 0 20 0 20 0 97834826 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336260200944 140337522287194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6310] ppid=6293 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 10735 0 -1 1077944384 231 0 0 0 1 0 0 0 20 0 20 0 97834826 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336259148400 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6311] ppid=6293 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 10735 0 -1 1077944384 144 0 0 0 1 0 0 0 20 0 20 0 97834826 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336258095856 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6312] ppid=6293 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) R 6293 6293 10735 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 20 0 97834826 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336257043312 140337522287194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6313] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97834826 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336255989984 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6314] ppid=6293 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26628161536 9756 33554432000 4194304 4196468 140731274737728 140336254937520 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40404 KiB

[startup+0.310386 s]*
/proc/loadavg: 2.21 4.40 5.66 3/200 6314
/proc/meminfo: memFree=31460680/32770624 swapFree=67108860/67108860
[pid=6293] ppid=6290 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 10735 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97834820 9740288 345 33554432000 4194304 5098028 140727114529936 140727114528040 139631849788028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28332032 140727114531946 140727114532156 140727114532156 140727114534891 0
/proc/6293/statm: 2378 345 289 221 0 87 0
[pid=6295] ppid=6293 vsize=26004064 memory=45732 CPUtime=0.5 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 10735 0 -1 1077944320 9155 0 0 0 46 4 0 0 20 0 20 0 97834820 26628161536 11433 33554432000 4194304 4196468 140731274737728 140731274720272 140337522265847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
/proc/6295/statm: 6501016 11433 3063 1 0 6488269 0
[pid=6295/tid=6296] ppid=6293 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) R 6293 6293 10735 0 -1 4202560 6058 0 0 0 27 2 0 0 20 0 20 0 97834820 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337526504992 140337522287773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6297] ppid=6293 vsize=26004064 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337474885904 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6298] ppid=6293 vsize=26004064 memory=16496 CPUtime=0 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337473833360 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6299] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337472780816 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6300] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337471728272 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6301] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337470675728 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6302] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337469623184 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6303] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337468570640 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6304] ppid=6293 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834821 26628161536 11433 33554432000 4194304 4196468 140731274737728 140337467518096 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6305] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 10735 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97834823 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336264411120 140337522276994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6306] ppid=6293 vsize=26004064 memory=140660111930319 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 10735 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97834823 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336263357344 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6307] ppid=6293 vsize=26004064 memory=281320223862928 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 10735 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97834823 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336262304752 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6308] ppid=6293 vsize=26004064 memory=281320223879056 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336261253328 140337522284443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6309] ppid=6293 vsize=26004064 memory=281320223876752 CPUtime=0.01 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 10735 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 20 0 97834826 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336260200944 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6310] ppid=6293 vsize=26004064 memory=281320223883664 CPUtime=0.01 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 10735 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 20 0 97834826 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336259148400 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6311] ppid=6293 vsize=26004064 memory=281320223824944 CPUtime=0.03 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) R 6293 6293 10735 0 -1 4202560 196 0 0 0 3 0 0 0 20 0 20 0 97834826 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336258095856 140337514502974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6312] ppid=6293 vsize=26004064 memory=281320223897488 CPUtime=0.12 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) R 6293 6293 10735 0 -1 4202560 891 0 0 0 12 0 0 0 20 0 20 0 97834826 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336257038304 140337501698870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6313] ppid=6293 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97834826 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336255989984 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6314] ppid=6293 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97834826 26628161536 11433 33554432000 4194304 4196468 140731274737728 140336254937520 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47112 KiB

[startup+0.701754 s]
/proc/loadavg: 2.21 4.40 5.66 2/200 6314
/proc/meminfo: memFree=31386036/32770624 swapFree=67108860/67108860
[pid=6293] ppid=6290 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 10735 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97834820 9740288 345 33554432000 4194304 5098028 140727114529936 140727114528040 139631849788028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28332032 140727114531946 140727114532156 140727114532156 140727114534891 0
/proc/6293/statm: 2378 345 289 221 0 87 0
[pid=6295] ppid=6293 vsize=26004064 memory=278880 CPUtime=1.83 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 10735 0 -1 1077944320 11989 0 0 0 148 35 0 0 20 0 20 0 97834820 26628161536 69720 33554432000 4194304 4196468 140731274737728 140731274720272 140337522265847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
/proc/6295/statm: 6501016 69720 3154 1 0 6488269 0
[pid=6295/tid=6296] ppid=6293 vsize=26004064 memory=0 CPUtime=0.58 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) S 6293 6293 10735 0 -1 1077944384 6122 0 0 0 54 4 0 0 20 0 20 0 97834820 26628161536 69720 33554432000 4194304 4196468 140731274737728 140337526505024 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6297] ppid=6293 vsize=26004064 memory=140660112139120 CPUtime=0.08 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) R 6293 6293 10735 0 -1 4202560 59 0 0 0 5 3 0 0 20 0 20 0 97834821 26628161536 69720 33554432000 4194304 4196468 140731274737728 140337474885904 140337507293266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6298] ppid=6293 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) R 6293 6293 10735 0 -1 4202560 50 0 0 0 5 3 0 0 20 0 20 0 97834821 26628161536 69720 33554432000 4194304 4196468 140731274737728 140337473833560 140337507293266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6299] ppid=6293 vsize=26004064 memory=1932 CPUtime=0.08 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) R 6293 6293 10735 0 -1 4202560 47 0 0 0 5 3 0 0 20 0 20 0 97834821 26628161536 69720 33554432000 4194304 4196468 140731274737728 140337472780816 140337507289761 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0

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

[pid=6295/tid=6314] ppid=6293 vsize=26006188 memory=1380 CPUtime=0.07 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 10735 0 -1 1077944384 1654 0 0 0 3 4 0 0 20 0 20 0 97834826 26630336512 4799294 33554432000 4194304 4196468 140731274737728 140336254937520 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
Current children cumulated CPU time: 751.34 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 19198556 KiB

[startup+222.301 s]
/proc/loadavg: 4.53 4.76 5.53 2/208 6338
/proc/meminfo: memFree=11765748/32770624 swapFree=67108860/67108860
[pid=6293] ppid=6290 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 10735 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97834820 9740288 345 33554432000 4194304 5098028 140727114529936 140727114528040 139631849788028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28332032 140727114531946 140727114532156 140727114532156 140727114534891 0
/proc/6293/statm: 2378 345 289 221 0 87 0
[pid=6295] ppid=6293 vsize=26538700 memory=19701824 CPUtime=998.15 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 10735 0 -1 1077944320 617551 0 0 0 95810 4005 0 0 20 0 28 0 97834820 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140731274720272 140337522265847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
/proc/6295/statm: 6634675 4925456 3309 1 0 6621909 0
[pid=6295/tid=6296] ppid=6293 vsize=26538700 memory=19701824 CPUtime=72.34 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) S 6293 6293 10735 0 -1 1077944384 61816 0 0 0 7171 63 0 0 20 0 28 0 97834820 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337526506624 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6297] ppid=6293 vsize=26538700 memory=1380 CPUtime=97.34 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 10735 0 -1 1077944384 37377 0 0 0 9269 465 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337474885904 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6298] ppid=6293 vsize=26538700 memory=281320224628000 CPUtime=97.01 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 10735 0 -1 1077944384 38551 0 0 0 9238 463 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337473833360 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6299] ppid=6293 vsize=26538700 memory=28108 CPUtime=96.51 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 10735 0 -1 1077944384 50192 0 0 0 9169 482 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337472780816 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6300] ppid=6293 vsize=26538700 memory=1380 CPUtime=96.56 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 10735 0 -1 1077944384 43703 0 0 0 9170 486 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337471728272 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6301] ppid=6293 vsize=26538700 memory=1380 CPUtime=96.62 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 10735 0 -1 1077944384 37277 0 0 0 9200 462 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337470675728 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6302] ppid=6293 vsize=26538700 memory=4136 CPUtime=97.01 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 10735 0 -1 1077944384 43177 0 0 0 9260 441 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337469623184 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6303] ppid=6293 vsize=26538700 memory=8560 CPUtime=96.9 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 10735 0 -1 1077944384 54354 0 0 0 9231 459 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337468570640 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6304] ppid=6293 vsize=26538700 memory=1724 CPUtime=96.56 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 10735 0 -1 1077944384 42909 0 0 0 9198 458 0 0 20 0 28 0 97834821 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140337467518096 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6305] ppid=6293 vsize=26538700 memory=2344 CPUtime=12.9 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 10735 0 -1 1077944384 77719 0 0 0 1206 84 0 0 20 0 28 0 97834823 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336264411120 140337522276994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6306] ppid=6293 vsize=26538700 memory=928 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 10735 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 97834823 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336263357408 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6307] ppid=6293 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 10735 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 28 0 97834823 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336262304768 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6308] ppid=6293 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97834826 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336261253328 140337522284443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6309] ppid=6293 vsize=26538700 memory=19701820 CPUtime=3.55 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 10735 0 -1 1077944384 16586 0 0 0 352 3 0 0 20 0 28 0 97834826 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336260200944 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6310] ppid=6293 vsize=26538700 memory=1380 CPUtime=3.28 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 10735 0 -1 1077944384 13897 0 0 0 325 3 0 0 20 0 28 0 97834826 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336259148400 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6311] ppid=6293 vsize=26538700 memory=1232 CPUtime=3.59 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 10735 0 -1 1077944384 15342 0 0 0 357 2 0 0 20 0 28 0 97834826 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336258095856 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6312] ppid=6293 vsize=26538700 memory=648 CPUtime=1.01 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) S 6293 6293 10735 0 -1 1077944384 12413 0 0 0 99 2 0 0 20 0 28 0 97834826 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336257043312 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6313] ppid=6293 vsize=26538700 memory=19353636 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97834826 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336255989984 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6314] ppid=6293 vsize=26538700 memory=1296 CPUtime=0.1 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 10735 0 -1 1077944384 2118 0 0 0 5 5 0 0 20 0 28 0 97834826 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336254937520 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 33 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6331] ppid=6293 vsize=26538700 memory=1380 CPUtime=2.49 cores=0-7
/proc/6295/task/6331/stat : 6331 (java) S 6293 6293 10735 0 -1 1077944384 56 0 0 0 249 0 0 0 20 0 28 0 97854406 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140334964117104 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6332] ppid=6293 vsize=26538700 memory=19701824 CPUtime=1.47 cores=0-7
/proc/6295/task/6332/stat : 6332 (java) S 6293 6293 10735 0 -1 1077944384 30 0 0 0 147 0 0 0 20 0 28 0 97854406 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336245879888 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6333] ppid=6293 vsize=26538700 memory=19701824 CPUtime=2.51 cores=0-7
/proc/6295/task/6333/stat : 6333 (java) S 6293 6293 10735 0 -1 1077944384 798 0 0 0 251 0 0 0 20 0 28 0 97854406 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140334967276752 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6334] ppid=6293 vsize=26538700 memory=1380 CPUtime=2.79 cores=0-7
/proc/6295/task/6334/stat : 6334 (java) S 6293 6293 10735 0 -1 1077944384 36 0 0 0 279 0 0 0 20 0 28 0 97854406 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140336246932816 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6335] ppid=6293 vsize=26538700 memory=1200 CPUtime=2.52 cores=0-7
/proc/6295/task/6335/stat : 6335 (java) S 6293 6293 10735 0 -1 1077944384 63 0 0 0 252 0 0 0 20 0 28 0 97854406 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140334966224336 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6336] ppid=6293 vsize=26538700 memory=15876 CPUtime=3.03 cores=0-7
/proc/6295/task/6336/stat : 6336 (java) S 6293 6293 10735 0 -1 1077944384 54 0 0 0 303 0 0 0 20 0 28 0 97854406 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140334969382480 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6337] ppid=6293 vsize=26538700 memory=1380 CPUtime=26.32 cores=0-7
/proc/6295/task/6337/stat : 6337 (java) R 6293 6293 10735 0 -1 4202560 5733 0 0 0 2611 21 0 0 20 0 28 0 97854406 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140334965166696 140337136982278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6338] ppid=6293 vsize=26538700 memory=1296 CPUtime=2.17 cores=0-7
/proc/6295/task/6338/stat : 6338 (java) S 6293 6293 10735 0 -1 1077944384 1066 0 0 0 202 15 0 0 20 0 28 0 97854408 27175628800 4925456 33554432000 4194304 4196468 140731274737728 140334968329040 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
Current children cumulated CPU time: 998.15 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 19703204 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 3.14 4.40 5.39 2/208 6338
/proc/meminfo: memFree=11766252/32770624 swapFree=67108860/67108860
[pid=6293] ppid=6290 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/6293/stat : 6293 (xcsp3-exec) S 6290 6293 10735 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97834820 9740288 345 33554432000 4194304 5098028 140727114529936 140727114528040 139631849788028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28332032 140727114531946 140727114532156 140727114532156 140727114534891 0
/proc/6293/statm: 2378 345 289 221 0 87 0
[pid=6295] ppid=6293 vsize=26538700 memory=19701828 CPUtime=1027.89 cores=0-7
/proc/6295/stat : 6295 (java) S 6293 6293 10735 0 -1 1077944320 620901 0 0 0 98783 4006 0 0 20 0 28 0 97834820 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140731274720272 140337522265847 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
/proc/6295/statm: 6634675 4925457 3309 1 0 6621909 0
[pid=6295/tid=6296] ppid=6293 vsize=26538700 memory=6935054825532540783 CPUtime=72.34 cores=0-7
/proc/6295/task/6296/stat : 6296 (java) S 6293 6293 10735 0 -1 1077944384 61816 0 0 0 7171 63 0 0 20 0 28 0 97834820 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337526506624 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6297] ppid=6293 vsize=26538700 memory=4126316290023845779 CPUtime=97.34 cores=0-7
/proc/6295/task/6297/stat : 6297 (java) S 6293 6293 10735 0 -1 1077944384 37377 0 0 0 9269 465 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337474885904 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 33 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6298] ppid=6293 vsize=26538700 memory=4044 CPUtime=97.01 cores=0-7
/proc/6295/task/6298/stat : 6298 (java) S 6293 6293 10735 0 -1 1077944384 38551 0 0 0 9238 463 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337473833360 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 34 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6299] ppid=6293 vsize=26538700 memory=16496 CPUtime=96.51 cores=0-7
/proc/6295/task/6299/stat : 6299 (java) S 6293 6293 10735 0 -1 1077944384 50192 0 0 0 9169 482 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337472780816 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6300] ppid=6293 vsize=26538700 memory=1232 CPUtime=96.56 cores=0-7
/proc/6295/task/6300/stat : 6300 (java) S 6293 6293 10735 0 -1 1077944384 43703 0 0 0 9170 486 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337471728272 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6301] ppid=6293 vsize=26538700 memory=8112282956445269571 CPUtime=96.62 cores=0-7
/proc/6295/task/6301/stat : 6301 (java) S 6293 6293 10735 0 -1 1077944384 37277 0 0 0 9200 462 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337470675728 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6302] ppid=6293 vsize=26538700 memory=1724 CPUtime=97.01 cores=0-7
/proc/6295/task/6302/stat : 6302 (java) S 6293 6293 10735 0 -1 1077944384 43177 0 0 0 9260 441 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337469623184 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6303] ppid=6293 vsize=26538700 memory=11000 CPUtime=96.9 cores=0-7
/proc/6295/task/6303/stat : 6303 (java) S 6293 6293 10735 0 -1 1077944384 54354 0 0 0 9231 459 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337468570640 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6304] ppid=6293 vsize=26538700 memory=1380 CPUtime=96.56 cores=0-7
/proc/6295/task/6304/stat : 6304 (java) S 6293 6293 10735 0 -1 1077944384 42909 0 0 0 9198 458 0 0 20 0 28 0 97834821 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140337467518096 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6305] ppid=6293 vsize=26538700 memory=8112282956445269571 CPUtime=12.9 cores=0-7
/proc/6295/task/6305/stat : 6305 (java) S 6293 6293 10735 0 -1 1077944384 77803 0 0 0 1206 84 0 0 20 0 28 0 97834823 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336264411120 140337522276994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6306] ppid=6293 vsize=26538700 memory=19701828 CPUtime=0 cores=0-7
/proc/6295/task/6306/stat : 6306 (java) S 6293 6293 10735 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 28 0 97834823 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336263357408 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6307] ppid=6293 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/6295/task/6307/stat : 6307 (java) S 6293 6293 10735 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 28 0 97834823 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336262304768 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6308] ppid=6293 vsize=26538700 memory=16496 CPUtime=0 cores=0-7
/proc/6295/task/6308/stat : 6308 (java) S 6293 6293 10735 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97834826 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336261253328 140337522284443 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6309] ppid=6293 vsize=26538700 memory=1232 CPUtime=3.55 cores=0-7
/proc/6295/task/6309/stat : 6309 (java) S 6293 6293 10735 0 -1 1077944384 16592 0 0 0 352 3 0 0 20 0 28 0 97834826 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336260200944 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6310] ppid=6293 vsize=26538700 memory=8112282956445269571 CPUtime=3.29 cores=0-7
/proc/6295/task/6310/stat : 6310 (java) S 6293 6293 10735 0 -1 1077944384 13903 0 0 0 325 4 0 0 20 0 28 0 97834826 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336259148400 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6311] ppid=6293 vsize=26538700 memory=1232 CPUtime=3.59 cores=0-7
/proc/6295/task/6311/stat : 6311 (java) S 6293 6293 10735 0 -1 1077944384 15359 0 0 0 357 2 0 0 20 0 28 0 97834826 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336258095856 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6312] ppid=6293 vsize=26538700 memory=648 CPUtime=1.02 cores=0-7
/proc/6295/task/6312/stat : 6312 (java) S 6293 6293 10735 0 -1 1077944384 13156 0 0 0 100 2 0 0 20 0 28 0 97834826 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336257043312 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6313] ppid=6293 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/6295/task/6313/stat : 6313 (java) S 6293 6293 10735 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97834826 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336255989984 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6314] ppid=6293 vsize=26538700 memory=956 CPUtime=0.12 cores=0-7
/proc/6295/task/6314/stat : 6314 (java) S 6293 6293 10735 0 -1 1077944384 2232 0 0 0 6 6 0 0 20 0 28 0 97834826 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336254937520 140337522276994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 33 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6331] ppid=6293 vsize=26538700 memory=2344 CPUtime=2.49 cores=0-7
/proc/6295/task/6331/stat : 6331 (java) S 6293 6293 10735 0 -1 1077944384 56 0 0 0 249 0 0 0 20 0 28 0 97854406 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140334964117104 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6332] ppid=6293 vsize=26538700 memory=928 CPUtime=1.47 cores=0-7
/proc/6295/task/6332/stat : 6332 (java) S 6293 6293 10735 0 -1 1077944384 30 0 0 0 147 0 0 0 20 0 28 0 97854406 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336245879888 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6333] ppid=6293 vsize=26538700 memory=1576 CPUtime=2.51 cores=0-7
/proc/6295/task/6333/stat : 6333 (java) S 6293 6293 10735 0 -1 1077944384 798 0 0 0 251 0 0 0 20 0 28 0 97854406 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140334967276752 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6334] ppid=6293 vsize=26538700 memory=2236 CPUtime=2.79 cores=0-7
/proc/6295/task/6334/stat : 6334 (java) S 6293 6293 10735 0 -1 1077944384 36 0 0 0 279 0 0 0 20 0 28 0 97854406 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140336246932816 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6335] ppid=6293 vsize=26538700 memory=4100 CPUtime=2.52 cores=0-7
/proc/6295/task/6335/stat : 6335 (java) S 6293 6293 10735 0 -1 1077944384 63 0 0 0 252 0 0 0 20 0 28 0 97854406 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140334966224336 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6336] ppid=6293 vsize=26538700 memory=4316 CPUtime=3.03 cores=0-7
/proc/6295/task/6336/stat : 6336 (java) S 6293 6293 10735 0 -1 1077944384 54 0 0 0 303 0 0 0 20 0 28 0 97854406 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140334969382480 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6337] ppid=6293 vsize=26538700 memory=11000 CPUtime=56.03 cores=0-7
/proc/6295/task/6337/stat : 6337 (java) R 6293 6293 10735 0 -1 4202560 8113 0 0 0 5582 21 0 0 20 0 28 0 97854406 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140334965165344 140337136982278 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
[pid=6295/tid=6338] ppid=6293 vsize=26538700 memory=1224 CPUtime=2.17 cores=0-7
/proc/6295/task/6338/stat : 6338 (java) S 6293 6293 10735 0 -1 1077944384 1066 0 0 0 202 15 0 0 20 0 28 0 97854408 27175628800 4925457 33554432000 4194304 4196468 140731274737728 140334968329040 140337522276053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10903552 140731274744984 140731274745160 140731274745160 140731274747855 0
Current children cumulated CPU time: 1027.89 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 19703208 KiB

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

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

[startup+252.115 s]
# the end of solver process 6295 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=987.847 s, system=40.162 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): 252.115
CPU time (s): 1028.01
CPU user time (s): 987.847
CPU system time (s): 40.162
CPU usage (%): 407.754
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 19703208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 987.847
system time used= 40.162
maximum resident set size= 19702520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 621986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29443
involuntary context switches= 27266


# summary of solver processes directly reported to runsolver:
#   pid: 6293,6295
#   total CPU time (s): 1028.01
#   total CPU user time (s): 987.847
#   total CPU system time (s): 40.162

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.81093 second user time and 2.74177 second system time

The end

Name	ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml
MD5SUM	8013d5ca2692908d001f725061313983
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	34
Best CPU time to get the best result obtained on this benchmark	960.651
Satisfiable
(Un)Satisfiability was proved
Number of variables	1225
Number of constraints	354026
Number of domains	1
Minimum domain size	1225
Maximum domain size	1225
Distribution of domain sizes	[{"size":1225,"count":1225}]
Minimum variable degree	1158
Maximum variable degree	1158
Distribution of variable degrees	[{"degree":1158,"count":1225}]
Minimum constraint arity	4
Maximum constraint arity	1225
Distribution of constraint arities	[{"arity":4,"count":354025},{"arity":1225,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	354025
Distribution of constraint types	[{"type":"intension","count":354025},{"type":"lex","count":1}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4254463

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data