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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT (TO)	711	255.2	240.12199

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255082-1501620882.xml"  -tl '264s' -p 1 -x 3
0.00/0.26	c [HOME/instance-4255082-1501620882.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.32	c simple solver
0.00/0.38	c parse instance...
0.00/1.02	c solve instance...
3.02/1.27	o 751 
127.00/115.05	o 711 
255.19/240.00	s SATISFIABLE
255.19/240.00	v <instantiation>
255.19/240.00	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[49][0] y[49][1] y[49][2] y[49][3] y[50][0] y[50][1] y[50][2] y[51][0] y[51][1] y[52][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] </list>
255.19/240.00	v 	<values>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 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 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 -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 -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 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 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 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 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 -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 -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 -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 -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 -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 -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 -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 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 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 -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 -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 -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 -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 -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 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 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 -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 -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 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 -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 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 -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 -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 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 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 -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 -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 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 -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 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 -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 -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 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 -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 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 3 2 -7 -10 -5 2 3 2 5 0 -7 0 -5 -2 -1 0 1 4 3 2 3 -4 -1 0 1 -6 -5 -8 1 2 -1 6 -5 -4 -1 -6 5 2 3 -4 3 2 1 2 1 -4 -1 0 3 0 1 0 -1 9 4 49 100 25 4 9 4 25 0 49 0 25 4 1 0 1 16 9 4 9 16 1 0 1 36 25 64 1 4 1 36 25 16 1 36 25 4 9 16 9 4 1 4 1 16 1 0 9 0 1 0 1 </values>
255.19/240.00	v </instantiation>
255.19/240.00	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255082-1501620882/watcher-4255082-1501620882 -o /tmp/evaluation-result-4255082-1501620882/solver-4255082-1501620882 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501617129-10653 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 544964753 HOME/instance-4255082-1501620882.xml 

pid=12990
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.25 2.01 1.89 5/201 12993
/proc/meminfo: memFree=31754684/32770624 swapFree=0/188692
[pid=12993] ppid=12990 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (runsolver) D 12990 12993 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9903526 24240128 108 18446744073709551615 4194304 4338465 140733174717664 140733174715304 140503861269207 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 8187904 140733174722653 140733174723142 140733174723142 140733174726602 0
/proc/12993/statm: 5918 108 54 36 0 2156 0

[startup+0.101216 s]
/proc/loadavg: 2.25 2.01 1.89 5/201 12993
/proc/meminfo: memFree=31754684/32770624 swapFree=0/188692
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200275 s]
/proc/loadavg: 2.25 2.01 1.89 5/201 12993
/proc/meminfo: memFree=31754684/32770624 swapFree=0/188692
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.304964 s]
/proc/loadavg: 2.25 2.01 1.89 5/201 12993
/proc/meminfo: memFree=31754684/32770624 swapFree=0/188692
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.706274 s]
/proc/loadavg: 2.25 2.01 1.89 5/201 12993
/proc/meminfo: memFree=31754684/32770624 swapFree=0/188692
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50065 s]
/proc/loadavg: 2.25 2.01 1.89 5/217 13009
/proc/meminfo: memFree=31570868/32770624 swapFree=0/188712
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
[pid=12995] ppid=12993 vsize=13980732 CPUtime=3.96 cores=1,3,5,7
/proc/12995/stat : 12995 (java) S 12993 12993 5228 0 -1 1077944320 25992 0 0 0 389 7 0 0 20 0 15 0 9903534 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 140730338426400 139985100783351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
/proc/12995/statm: 3495183 42037 3189 1 0 3483484 0
[pid=12995/tid=12996] ppid=12993 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/12995/task/12996/stat : 12996 (java) R 12993 12993 5228 0 -1 4202560 10907 0 0 0 131 4 0 0 20 0 15 0 9903534 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139985105022280 139984749910305 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12997] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/12997/stat : 12997 (java) S 12993 12993 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9903535 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984701307664 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12998] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/12998/stat : 12998 (java) S 12993 12993 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9903535 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984700255120 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12999] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/12999/stat : 12999 (java) S 12993 12993 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9903535 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984699202576 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13000] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13000/stat : 13000 (java) S 12993 12993 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9903535 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984698150032 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13001] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13001/stat : 13001 (java) S 12993 12993 5228 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 9903536 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984579266544 139985100794498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13002] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13002/stat : 13002 (java) S 12993 12993 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9903537 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984578212768 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13003] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13003/stat : 13003 (java) S 12993 12993 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9903537 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984577160176 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13004] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13004/stat : 13004 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903539 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984576108752 139985100801947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13005] ppid=12993 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/12995/task/13005/stat : 13005 (java) R 12993 12993 5228 0 -1 4202560 4613 0 0 0 97 0 0 0 20 0 15 0 9903540 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984575037384 139985085183065 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13006] ppid=12993 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/12995/task/13006/stat : 13006 (java) R 12993 12993 5228 0 -1 4202560 5058 0 0 0 94 0 0 0 20 0 15 0 9903540 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984573988376 139985085175576 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13007] ppid=12993 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/12995/task/13007/stat : 13007 (java) S 12993 12993 5228 0 -1 1077944384 4078 0 0 0 66 0 0 0 20 0 15 0 9903540 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984572951280 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13008] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13008/stat : 13008 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903540 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984571898976 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13009] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13009/stat : 13009 (java) S 12993 12993 5228 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 9903544 14316269568 42037 18446744073709551615 4194304 4196468 140730338443856 139984570845488 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 13990244

[startup+3.10069 s]
/proc/loadavg: 2.25 2.01 1.89 5/217 13009
/proc/meminfo: memFree=31507856/32770624 swapFree=0/188712
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
[pid=12995] ppid=12993 vsize=13980732 CPUtime=8.9 cores=1,3,5,7
/proc/12995/stat : 12995 (java) S 12993 12993 5228 0 -1 1077944320 32910 0 0 0 880 10 0 0 20 0 15 0 9903534 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 140730338426400 139985100783351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
/proc/12995/statm: 3495183 58564 3215 1 0 3483484 0
[pid=12995/tid=12996] ppid=12993 vsize=13980732 CPUtime=2.92 cores=1,3,5,7
/proc/12995/task/12996/stat : 12996 (java) R 12993 12993 5228 0 -1 4202560 11057 0 0 0 288 4 0 0 20 0 15 0 9903534 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139985105019600 139984743134330 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12997] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/12997/stat : 12997 (java) S 12993 12993 5228 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 9903535 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984701307664 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12998] ppid=12993 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12995/task/12998/stat : 12998 (java) S 12993 12993 5228 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 9903535 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984700255120 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12999] ppid=12993 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12995/task/12999/stat : 12999 (java) S 12993 12993 5228 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 15 0 9903535 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984699202576 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13000] ppid=12993 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/12995/task/13000/stat : 13000 (java) S 12993 12993 5228 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 9903535 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984698150032 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13001] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13001/stat : 13001 (java) S 12993 12993 5228 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 9903536 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984579266544 139985100794498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13002] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13002/stat : 13002 (java) S 12993 12993 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9903537 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984578212768 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13003] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13003/stat : 13003 (java) S 12993 12993 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9903537 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984577160176 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13004] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13004/stat : 13004 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903539 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984576108752 139985100801947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13005] ppid=12993 vsize=13980732 CPUtime=2.54 cores=1,3,5,7
/proc/12995/task/13005/stat : 13005 (java) R 12993 12993 5228 0 -1 4202560 6871 0 0 0 253 1 0 0 20 0 15 0 9903540 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984575042432 139985100797224 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13006] ppid=12993 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/12995/task/13006/stat : 13006 (java) R 12993 12993 5228 0 -1 4202560 7522 0 0 0 251 1 0 0 20 0 15 0 9903540 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984573993056 139985085909362 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13007] ppid=12993 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/12995/task/13007/stat : 13007 (java) S 12993 12993 5228 0 -1 1077944384 5199 0 0 0 80 1 0 0 20 0 15 0 9903540 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984572951280 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13008] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13008/stat : 13008 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903540 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984571898976 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13009] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13009/stat : 13009 (java) S 12993 12993 5228 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 9903544 14316269568 58564 18446744073709551615 4194304 4196468 140730338443856 139984570845488 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
Current children cumulated CPU time (s) 8.9
Current children cumulated vsize (KiB) 13990244

[startup+6.3013 s]
/proc/loadavg: 2.15 1.99 1.88 4/217 13009
/proc/meminfo: memFree=31474144/32770624 swapFree=0/188720
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
[pid=12995] ppid=12993 vsize=13980732 CPUtime=13.96 cores=1,3,5,7
/proc/12995/stat : 12995 (java) S 12993 12993 5228 0 -1 1077944320 33685 0 0 0 1381 15 0 0 20 0 15 0 9903534 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 140730338426400 139985100783351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
/proc/12995/statm: 3495183 69210 3222 1 0 3483484 0
[pid=12995/tid=12996] ppid=12993 vsize=13980732 CPUtime=6.09 cores=1,3,5,7
/proc/12995/task/12996/stat : 12996 (java) R 12993 12993 5228 0 -1 4202560 11083 0 0 0 604 5 0 0 20 0 15 0 9903534 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139985105022048 139984749909976 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12997] ppid=12993 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12995/task/12997/stat : 12997 (java) S 12993 12993 5228 0 -1 1077944384 86 0 0 0 3 1 0 0 20 0 15 0 9903535 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984701307664 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12998] ppid=12993 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12995/task/12998/stat : 12998 (java) S 12993 12993 5228 0 -1 1077944384 544 0 0 0 3 1 0 0 20 0 15 0 9903535 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984700255120 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12999] ppid=12993 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/12995/task/12999/stat : 12999 (java) S 12993 12993 5228 0 -1 1077944384 95 0 0 0 4 1 0 0 20 0 15 0 9903535 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984699202576 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13000] ppid=12993 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/12995/task/13000/stat : 13000 (java) S 12993 12993 5228 0 -1 1077944384 302 0 0 0 3 1 0 0 20 0 15 0 9903535 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984698150032 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13001] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13001/stat : 13001 (java) S 12993 12993 5228 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 9903536 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984579266544 139985100794498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13002] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13002/stat : 13002 (java) S 12993 12993 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9903537 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984578212768 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13003] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13003/stat : 13003 (java) S 12993 12993 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9903537 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984577160176 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13004] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13004/stat : 13004 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903539 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984576108752 139985100801947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13005] ppid=12993 vsize=13980732 CPUtime=3.22 cores=1,3,5,7
/proc/12995/task/13005/stat : 13005 (java) R 12993 12993 5228 0 -1 4202560 6992 0 0 0 321 1 0 0 20 0 15 0 9903540 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984575056664 139985082303036 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13006] ppid=12993 vsize=13980732 CPUtime=3.53 cores=1,3,5,7
/proc/12995/task/13006/stat : 13006 (java) S 12993 12993 5228 0 -1 1077944384 7730 0 0 0 352 1 0 0 20 0 15 0 9903540 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984574003824 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13007] ppid=12993 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/12995/task/13007/stat : 13007 (java) S 12993 12993 5228 0 -1 1077944384 5362 0 0 0 86 1 0 0 20 0 15 0 9903540 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984572951280 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13008] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13008/stat : 13008 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903540 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984571898976 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13009] ppid=12993 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13009/stat : 13009 (java) S 12993 12993 5228 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 9903544 14316269568 69210 18446744073709551615 4194304 4196468 140730338443856 139984570845488 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
Current children cumulated CPU time (s) 13.96
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 2.06 1.97 1.88 3/217 13009
/proc/meminfo: memFree=31241216/32770624 swapFree=0/188728
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
[pid=12995] ppid=12993 vsize=13982780 CPUtime=22.02 cores=1,3,5,7
/proc/12995/stat : 12995 (java) S 12993 12993 5228 0 -1 1077944320 44467 0 0 0 2184 18 0 0 20 0 15 0 9903534 14318366720 74211 18446744073709551615 4194304 4196468 140730338443856 140730338426400 139985100783351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
/proc/12995/statm: 3495695 74211 3230 1 0 3483996 0
[pid=12995/tid=12996] ppid=12993 vsize=13982780 CPUtime=12.46 cores=1,3,5,7
/proc/12995/task/12996/stat : 12996 (java) R 12993 12993 5228 0 -1 4202560 12719 0 0 0 1241 5 0 0 20 0 15 0 9903534 14318366720 74211 18446744073709551615 4194304 4196468 140730338443856 139985105022168 139984749910210 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12997] ppid=12993 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/12995/task/12997/stat : 12997 (java) S 12993 12993 5228 0 -1 1077944384 130 0 0 0 5 1 0 0 20 0 15 0 9903535 14318366720 74211 18446744073709551615 4194304 4196468 140730338443856 139984701307664 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12998] ppid=12993 vsize=13982780 CPUtime=0.07 cores=1,3,5,7
/proc/12995/task/12998/stat : 12998 (java) S 12993 12993 5228 0 -1 1077944384 641 0 0 0 6 1 0 0 20 0 15 0 9903535 14318366720 74211 18446744073709551615 4194304 4196468 140730338443856 139984700255120 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0

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

[pid=12995/tid=13009] ppid=12993 vsize=13982780 CPUtime=0.02 cores=1,3,5,7
/proc/12995/task/13009/stat : 13009 (java) S 12993 12993 5228 0 -1 1077944384 531 0 0 0 1 1 0 0 20 0 15 0 9903544 14318366720 112222 18446744073709551615 4194304 4196468 140730338443856 139984570845488 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
Current children cumulated CPU time (s) 114.19
Current children cumulated vsize (KiB) 13992292

[startup+162.301 s]
/proc/loadavg: 1.81 1.93 1.87 6/217 13014
/proc/meminfo: memFree=29284952/32770624 swapFree=0/188808
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
[pid=12995] ppid=12993 vsize=13982780 CPUtime=175.69 cores=1,3,5,7
/proc/12995/stat : 12995 (java) S 12993 12993 5228 0 -1 1077944320 96478 0 0 0 17515 54 0 0 20 0 15 0 9903534 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 140730338426400 139985100783351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
/proc/12995/statm: 3495695 125985 3233 1 0 3483996 0
[pid=12995/tid=12996] ppid=12993 vsize=13982780 CPUtime=161.43 cores=1,3,5,7
/proc/12995/task/12996/stat : 12996 (java) R 12993 12993 5228 0 -1 4202560 18557 0 0 0 16137 6 0 0 20 0 15 0 9903534 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139985105021904 139984749910096 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12997] ppid=12993 vsize=13982780 CPUtime=0.64 cores=1,3,5,7
/proc/12995/task/12997/stat : 12997 (java) S 12993 12993 5228 0 -1 1077944384 2024 0 0 0 56 8 0 0 20 0 15 0 9903535 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984701307664 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12998] ppid=12993 vsize=13982780 CPUtime=0.66 cores=1,3,5,7
/proc/12995/task/12998/stat : 12998 (java) S 12993 12993 5228 0 -1 1077944384 3231 0 0 0 57 9 0 0 20 0 15 0 9903535 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984700255120 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12999] ppid=12993 vsize=13982780 CPUtime=0.66 cores=1,3,5,7
/proc/12995/task/12999/stat : 12999 (java) S 12993 12993 5228 0 -1 1077944384 4050 0 0 0 58 8 0 0 20 0 15 0 9903535 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984699202576 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13000] ppid=12993 vsize=13982780 CPUtime=0.67 cores=1,3,5,7
/proc/12995/task/13000/stat : 13000 (java) S 12993 12993 5228 0 -1 1077944384 1337 0 0 0 58 9 0 0 20 0 15 0 9903535 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984698150032 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13001] ppid=12993 vsize=13982780 CPUtime=0.03 cores=1,3,5,7
/proc/12995/task/13001/stat : 13001 (java) S 12993 12993 5228 0 -1 1077944384 1352 0 0 0 3 0 0 0 20 0 15 0 9903536 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984579266544 139985100794498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13002] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13002/stat : 13002 (java) S 12993 12993 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9903537 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984578212768 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13003] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13003/stat : 13003 (java) S 12993 12993 5228 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 9903537 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984577160176 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13004] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13004/stat : 13004 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903539 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984576108752 139985100801947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13005] ppid=12993 vsize=13982780 CPUtime=5.31 cores=1,3,5,7
/proc/12995/task/13005/stat : 13005 (java) S 12993 12993 5228 0 -1 1077944384 28946 0 0 0 528 3 0 0 20 0 15 0 9903540 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984575056368 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13006] ppid=12993 vsize=13982780 CPUtime=5.15 cores=1,3,5,7
/proc/12995/task/13006/stat : 13006 (java) S 12993 12993 5228 0 -1 1077944384 24418 0 0 0 512 3 0 0 20 0 15 0 9903540 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984574003824 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13007] ppid=12993 vsize=13982780 CPUtime=1.01 cores=1,3,5,7
/proc/12995/task/13007/stat : 13007 (java) S 12993 12993 5228 0 -1 1077944384 10667 0 0 0 99 2 0 0 20 0 15 0 9903540 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984572951280 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13008] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13008/stat : 13008 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903540 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984571898976 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13009] ppid=12993 vsize=13982780 CPUtime=0.05 cores=1,3,5,7
/proc/12995/task/13009/stat : 13009 (java) S 12993 12993 5228 0 -1 1077944384 554 0 0 0 2 3 0 0 20 0 15 0 9903544 14318366720 125985 18446744073709551615 4194304 4196468 140730338443856 139984570845488 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
Current children cumulated CPU time (s) 175.69
Current children cumulated vsize (KiB) 13992292

[startup+222.307 s]
/proc/loadavg: 1.88 1.92 1.87 3/217 13016
/proc/meminfo: memFree=28280368/32770624 swapFree=0/188832
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
[pid=12995] ppid=12993 vsize=13982780 CPUtime=237.29 cores=1,3,5,7
/proc/12995/stat : 12995 (java) S 12993 12993 5228 0 -1 1077944320 102915 0 0 0 23661 68 0 0 20 0 15 0 9903534 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 140730338426400 139985100783351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
/proc/12995/statm: 3495695 119669 3249 1 0 3483996 0
[pid=12995/tid=12996] ppid=12993 vsize=13982780 CPUtime=220.88 cores=1,3,5,7
/proc/12995/task/12996/stat : 12996 (java) R 12993 12993 5228 0 -1 4202560 18926 0 0 0 22082 6 0 0 20 0 15 0 9903534 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139985105022640 139984749910406 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12997] ppid=12993 vsize=13982780 CPUtime=1.15 cores=1,3,5,7
/proc/12995/task/12997/stat : 12997 (java) S 12993 12993 5228 0 -1 1077944384 2369 0 0 0 104 11 0 0 20 0 15 0 9903535 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984701307664 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12998] ppid=12993 vsize=13982780 CPUtime=1.17 cores=1,3,5,7
/proc/12995/task/12998/stat : 12998 (java) S 12993 12993 5228 0 -1 1077944384 3732 0 0 0 105 12 0 0 20 0 15 0 9903535 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984700255120 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12999] ppid=12993 vsize=13982780 CPUtime=1.17 cores=1,3,5,7
/proc/12995/task/12999/stat : 12999 (java) S 12993 12993 5228 0 -1 1077944384 4536 0 0 0 106 11 0 0 20 0 15 0 9903535 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984699202576 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13000] ppid=12993 vsize=13982780 CPUtime=1.18 cores=1,3,5,7
/proc/12995/task/13000/stat : 13000 (java) S 12993 12993 5228 0 -1 1077944384 1925 0 0 0 106 12 0 0 20 0 15 0 9903535 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984698150032 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13001] ppid=12993 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/12995/task/13001/stat : 13001 (java) S 12993 12993 5228 0 -1 1077944384 4308 0 0 0 5 1 0 0 20 0 15 0 9903536 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984579266544 139985100794498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13002] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13002/stat : 13002 (java) S 12993 12993 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9903537 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984578212832 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13003] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13003/stat : 13003 (java) S 12993 12993 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9903537 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984577160192 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13004] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13004/stat : 13004 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903539 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984576108752 139985100801947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13005] ppid=12993 vsize=13982780 CPUtime=5.34 cores=1,3,5,7
/proc/12995/task/13005/stat : 13005 (java) S 12993 12993 5228 0 -1 1077944384 29713 0 0 0 531 3 0 0 20 0 15 0 9903540 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984575056368 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13006] ppid=12993 vsize=13982780 CPUtime=5.18 cores=1,3,5,7
/proc/12995/task/13006/stat : 13006 (java) S 12993 12993 5228 0 -1 1077944384 24616 0 0 0 515 3 0 0 20 0 15 0 9903540 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984574003824 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13007] ppid=12993 vsize=13982780 CPUtime=1.01 cores=1,3,5,7
/proc/12995/task/13007/stat : 13007 (java) S 12993 12993 5228 0 -1 1077944384 10857 0 0 0 99 2 0 0 20 0 15 0 9903540 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984572951280 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13008] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13008/stat : 13008 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903540 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984571898976 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13009] ppid=12993 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/12995/task/13009/stat : 13009 (java) S 12993 12993 5228 0 -1 1077944384 562 0 0 0 2 4 0 0 20 0 15 0 9903544 14318366720 119669 18446744073709551615 4194304 4196468 140730338443856 139984570845488 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
Current children cumulated CPU time (s) 237.29
Current children cumulated vsize (KiB) 13992292



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.83 1.91 1.87 2/198 13053
/proc/meminfo: memFree=31498124/32770624 swapFree=0/188840
[pid=12993] ppid=12990 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) S 12990 12993 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9903526 9740288 345 18446744073709551615 4194304 5098028 140737298106848 140737298104952 140692495291004 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 10387456 140737298108828 140737298109031 140737298109031 140737298112491 0
/proc/12993/statm: 2378 345 289 221 0 87 0
[pid=12995] ppid=12993 vsize=13982780 CPUtime=255.19 cores=1,3,5,7
/proc/12995/stat : 12995 (java) S 12993 12993 5228 0 -1 1077944320 103234 0 0 0 25450 69 0 0 20 0 15 0 9903534 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 140730338426400 139985100783351 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
/proc/12995/statm: 3495695 116133 3249 1 0 3483996 0
[pid=12995/tid=12996] ppid=12993 vsize=13982780 CPUtime=238.51 cores=1,3,5,7
/proc/12995/task/12996/stat : 12996 (java) R 12993 12993 5228 0 -1 4202560 18932 0 0 0 23845 6 0 0 20 0 15 0 9903534 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139985105022976 139984749909856 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12997] ppid=12993 vsize=13982780 CPUtime=1.22 cores=1,3,5,7
/proc/12995/task/12997/stat : 12997 (java) S 12993 12993 5228 0 -1 1077944384 2419 0 0 0 110 12 0 0 20 0 15 0 9903535 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984701307664 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12998] ppid=12993 vsize=13982780 CPUtime=1.23 cores=1,3,5,7
/proc/12995/task/12998/stat : 12998 (java) S 12993 12993 5228 0 -1 1077944384 3753 0 0 0 111 12 0 0 20 0 15 0 9903535 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984700255120 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=12999] ppid=12993 vsize=13982780 CPUtime=1.24 cores=1,3,5,7
/proc/12995/task/12999/stat : 12999 (java) S 12993 12993 5228 0 -1 1077944384 4573 0 0 0 112 12 0 0 20 0 15 0 9903535 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984699202576 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13000] ppid=12993 vsize=13982780 CPUtime=1.24 cores=1,3,5,7
/proc/12995/task/13000/stat : 13000 (java) S 12993 12993 5228 0 -1 1077944384 1964 0 0 0 112 12 0 0 20 0 15 0 9903535 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984698150032 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13001] ppid=12993 vsize=13982780 CPUtime=0.07 cores=1,3,5,7
/proc/12995/task/13001/stat : 13001 (java) S 12993 12993 5228 0 -1 1077944384 4314 0 0 0 6 1 0 0 20 0 15 0 9903536 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984579266544 139985100794498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13002] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13002/stat : 13002 (java) S 12993 12993 5228 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 9903537 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984578212832 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13003] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13003/stat : 13003 (java) S 12993 12993 5228 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 9903537 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984577160192 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13004] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13004/stat : 13004 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903539 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984576108752 139985100801947 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13005] ppid=12993 vsize=13982780 CPUtime=5.34 cores=1,3,5,7
/proc/12995/task/13005/stat : 13005 (java) S 12993 12993 5228 0 -1 1077944384 29713 0 0 0 531 3 0 0 20 0 15 0 9903540 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984575056368 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13006] ppid=12993 vsize=13982780 CPUtime=5.18 cores=1,3,5,7
/proc/12995/task/13006/stat : 13006 (java) S 12993 12993 5228 0 -1 1077944384 24776 0 0 0 515 3 0 0 20 0 15 0 9903540 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984574003824 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13007] ppid=12993 vsize=13982780 CPUtime=1.01 cores=1,3,5,7
/proc/12995/task/13007/stat : 13007 (java) S 12993 12993 5228 0 -1 1077944384 10857 0 0 0 99 2 0 0 20 0 15 0 9903540 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984572951280 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13008] ppid=12993 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/12995/task/13008/stat : 13008 (java) S 12993 12993 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9903540 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984571898976 139985100793557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
[pid=12995/tid=13009] ppid=12993 vsize=13982780 CPUtime=0.07 cores=1,3,5,7
/proc/12995/task/13009/stat : 13009 (java) S 12993 12993 5228 0 -1 1077944384 562 0 0 0 3 4 0 0 20 0 15 0 9903544 14318366720 116133 18446744073709551615 4194304 4196468 140730338443856 139984570845488 139985100794498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9199616 140730338451924 140730338452099 140730338452099 140730338455503 0
Current children cumulated CPU time (s) 255.19
Current children cumulated vsize (KiB) 13992292

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12995 sig 9
??? kill 12993 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.11 s]
/proc/loadavg: 1.83 1.91 1.87 2/198 13053
/proc/meminfo: memFree=31498124/32770624 swapFree=0/188840
[pid=12993] ppid=12990 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/12993/stat : 12993 (xcsp3-exec) D 12990 12993 5228 0 -1 4203524 510 0 0 0 0 0 0 0 20 0 1 0 9903526 0 0 18446744073709551615 0 0 0 0 0 0 65536 5 65538 18446744073709551615 0 0 17 5 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/12993/statm: 0 0 0 0 0 0 0
[pid=12995] ppid=12993 vsize=0 CPUtime=255.2 cores=1,3,5,7
/proc/12995/stat : 12995 (java) Z 12993 12993 5228 0 -1 4228108 103403 0 0 0 25451 69 0 0 20 0 2 0 9903534 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/12995/statm: 0 0 0 0 0 0 0
[pid=12995/tid=13005] ppid=12993 vsize=0 CPUtime=5.35 cores=1,3,5,7
/proc/12995/task/13005/stat : 13005 (java) D 12993 12993 5228 0 -1 4203588 29734 0 0 0 531 4 0 0 20 0 2 0 9903540 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 255.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12993 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=974
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=974
# CPU time returned by wait4() is 0.001948
# while last known CPU time is 255.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.122
CPU time (s): 255.2
CPU user time (s): 254.51
CPU system time (s): 0.69
CPU usage (%): 106.279
Max. virtual memory (cumulated for all children) (KiB): 13992548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000974
system time used= 0.000974
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1095 second user time and 1.44802 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml
MD5SUM	d63f0cb62453ec1939b86e2392ab6ad9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	343
Best CPU time to get the best result obtained on this benchmark	1993.4
Satisfiable
(Un)Satisfiability was proved
Number of variables	2969
Number of constraints	1537
Number of domains	107
Minimum domain size	2
Maximum domain size	107
Distribution of domain sizes	[{"size":2,"count":1486},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}]
Minimum variable degree	0
Maximum variable degree	53
Distribution of variable degrees	[{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}]
Minimum constraint arity	2
Maximum constraint arity	54
Distribution of constraint arities	[{"arity":2,"count":54},{"arity":3,"count":1432},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1484
Distribution of constraint types	[{"type":"intension","count":1484},{"type":"sum","count":53}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4255082

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