2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT	8.06246	3.4806

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306962-1534104062.xml"  -tl '2520s' -p 1
0.11/0.17	c Choco e747e1e
0.11/0.18	c [HOME/instance-4306962-1534104062.xml, -tl, 2520s, -p, 1]
0.11/0.21	c simple solver
0.33/0.28	c parse instance...
1.82/0.78	c solve instance...
7.97/3.46	s SATISFIABLE
7.97/3.46	v <instantiation>
7.97/3.46	v 	<list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[0][5] vr[0][6] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[1][5] vr[1][6] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[2][5] vr[2][6] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[3][5] vr[3][6] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[4][5] vr[4][6] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[5][5] vr[5][6] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[6][5] vr[6][6] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[7][5] vr[7][6] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[8][5] vr[8][6] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[9][5] vr[9][6] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[10][5] vr[10][6] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[11][5] vr[11][6] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[12][5] vr[12][6] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[13][5] vr[13][6] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[14][5] vr[14][6] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[15][5] vr[15][6] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[16][5] vr[16][6] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[17][5] vr[17][6] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[18][5] vr[18][6] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[19][5] vr[19][6] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[20][5] vr[20][6] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[21][5] vr[21][6] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[22][5] vr[22][6] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[23][5] vr[23][6] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[24][5] vr[24][6] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[25][5] vr[25][6] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[26][5] vr[26][6] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[27][5] vr[27][6] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[28][5] vr[28][6] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[29][5] vr[29][6] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[30][5] vr[30][6] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[31][5] vr[31][6] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[32][5] vr[32][6] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[33][5] vr[33][6] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[34][5] vr[34][6] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[35][5] vr[35][6] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[36][5] vr[36][6] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[37][5] vr[37][6] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[38][5] vr[38][6] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[39][5] vr[39][6] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[40][5] vr[40][6] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[41][5] vr[41][6] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[0][5] ve[0][6] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[1][5] ve[1][6] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[2][5] ve[2][6] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[3][5] ve[3][6] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[4][5] ve[4][6] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[5][5] ve[5][6] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[6][5] ve[6][6] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[7][5] ve[7][6] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[8][5] ve[8][6] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[9][5] ve[9][6] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[10][5] ve[10][6] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[11][5] ve[11][6] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[12][5] ve[12][6] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[13][5] ve[13][6] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[14][5] ve[14][6] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[15][5] ve[15][6] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[16][5] ve[16][6] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[17][5] ve[17][6] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[18][5] ve[18][6] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[19][5] ve[19][6] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[20][5] ve[20][6] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[21][5] ve[21][6] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[22][5] ve[22][6] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[23][5] ve[23][6] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[24][5] ve[24][6] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[25][5] ve[25][6] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[26][5] ve[26][6] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[27][5] ve[27][6] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[28][5] ve[28][6] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[29][5] ve[29][6] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[30][5] ve[30][6] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[31][5] ve[31][6] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[32][5] ve[32][6] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[33][5] ve[33][6] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[34][5] ve[34][6] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[35][5] ve[35][6] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[36][5] ve[36][6] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[37][5] ve[37][6] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[38][5] ve[38][6] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[39][5] ve[39][6] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[40][5] ve[40][6] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[41][5] ve[41][6] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[0][5] gvr[0][6] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[1][5] gvr[1][6] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[2][5] gvr[2][6] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[3][5] gvr[3][6] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[4][5] gvr[4][6] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[5][5] gvr[5][6] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[6][5] gvr[6][6] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[7][5] gvr[7][6] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[8][5] gvr[8][6] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[9][5] gvr[9][6] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[10][5] gvr[10][6] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[11][5] gvr[11][6] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[12][5] gvr[12][6] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[13][5] gvr[13][6] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[14][5] gvr[14][6] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[15][5] gvr[15][6] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[16][5] gvr[16][6] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[17][5] gvr[17][6] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[18][5] gvr[18][6] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[19][5] gvr[19][6] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[20][5] gvr[20][6] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[21][5] gvr[21][6] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[22][5] gvr[22][6] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[23][5] gvr[23][6] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[24][5] gvr[24][6] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[25][5] gvr[25][6] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[26][5] gvr[26][6] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[27][5] gvr[27][6] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[28][5] gvr[28][6] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[29][5] gvr[29][6] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[30][5] gvr[30][6] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[31][5] gvr[31][6] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[32][5] gvr[32][6] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[33][5] gvr[33][6] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[34][5] gvr[34][6] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[35][5] gvr[35][6] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[36][5] gvr[36][6] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[37][5] gvr[37][6] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[38][5] gvr[38][6] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[39][5] gvr[39][6] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[40][5] gvr[40][6] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[41][5] gvr[41][6] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[0][5] gve[0][6] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[1][5] gve[1][6] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[2][5] gve[2][6] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[3][5] gve[3][6] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[4][5] gve[4][6] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[5][5] gve[5][6] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[6][5] gve[6][6] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[7][5] gve[7][6] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[8][5] gve[8][6] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[9][5] gve[9][6] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[10][5] gve[10][6] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[11][5] gve[11][6] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[12][5] gve[12][6] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[13][5] gve[13][6] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[14][5] gve[14][6] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[15][5] gve[15][6] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[16][5] gve[16][6] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[17][5] gve[17][6] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[18][5] gve[18][6] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[19][5] gve[19][6] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[20][5] gve[20][6] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[21][5] gve[21][6] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[22][5] gve[22][6] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[23][5] gve[23][6] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[24][5] gve[24][6] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[25][5] gve[25][6] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[26][5] gve[26][6] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[27][5] gve[27][6] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[28][5] gve[28][6] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[29][5] gve[29][6] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[30][5] gve[30][6] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[31][5] gve[31][6] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[32][5] gve[32][6] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[33][5] gve[33][6] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[34][5] gve[34][6] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[35][5] gve[35][6] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[36][5] gve[36][6] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[37][5] gve[37][6] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[38][5] gve[38][6] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[39][5] gve[39][6] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[40][5] gve[40][6] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[41][5] gve[41][6] </list>
7.97/3.46	v 	<values>0 6 12 18 24 30 36 1 17 29 34 9 23 41 2 13 38 32 11 28 21 3 16 22 25 35 8 37 4 14 40 33 10 27 19 5 26 21 40 34 17 11 6 36 14 22 33 29 3 7 27 23 35 0 15 39 8 24 31 41 16 20 4 9 5 16 29 41 35 22 10 15 30 24 36 18 0 11 23 4 17 40 34 28 12 21 3 27 39 33 8 13 20 2 26 38 32 7 14 19 37 6 25 31 1 15 37 6 30 23 4 26 16 22 1 10 32 41 25 17 38 34 20 5 7 29 18 35 0 8 12 36 24 19 28 39 9 31 13 2 20 40 33 3 7 14 27 21 41 32 28 1 16 9 22 29 5 31 37 10 13 23 39 11 4 15 26 35 24 30 36 2 8 19 12 25 34 18 0 17 6 38 26 33 19 39 2 9 14 27 18 35 38 3 12 10 28 31 17 36 6 21 5 29 32 20 37 4 11 15 30 1 7 23 13 25 40 31 4 15 11 26 37 20 32 2 10 19 28 40 17 33 12 9 5 27 38 23 34 3 8 21 29 39 16 35 25 41 1 14 22 6 36 0 13 7 30 24 18 37 7 24 12 18 0 30 38 8 25 13 19 1 31 39 9 26 14 20 2 32 40 10 27 15 21 3 33 41 11 28 16 22 5 34 0 36 18 25 7 37 10 1 30 16 35 21 38 14 2 32 13 24 26 39 19 3 34 12 20 27 40 6 4 31 11 23 29 15 8 5 9 22 33 17 41 28 6 0 15 14 28 25 35 7 37 30 36 20 17 13 8 38 34 18 24 3 12 9 39 33 19 1 26 21 10 40 32 16 4 22 27 11 41 23 31 2 29 5 12 33 0 37 18 27 24 13 2 36 38 30 19 22 14 4 6 39 35 20 26 15 10 31 40 23 7 29 16 3 9 41 8 21 34 17 1 28 11 25 5 32 18 27 25 0 37 10 36 19 14 26 32 38 24 4 20 13 29 17 39 8 31 21 12 5 34 40 28 2 22 16 3 6 41 35 9 23 11 7 30 15 1 33 24 8 37 10 0 36 18 25 35 38 3 14 30 16 26 5 39 13 31 23 15 27 7 40 12 33 4 20 28 19 41 21 32 2 11 29 22 1 9 34 6 17 30 24 10 15 36 0 37 31 28 8 22 19 14 38 32 29 21 2 16 13 39 33 26 20 4 6 12 40 34 25 17 1 5 11 41 35 18 27 7 3 9 23 36 6 24 28 10 18 0 37 15 14 29 22 31 3 38 17 2 27 13 33 25 39 23 19 26 12 34 7 40 20 4 5 11 32 30 41 21 35 8 9 16 1 0 1 2 3 4 5 6 0 2 4 5 1 3 6 0 2 6 5 1 4 3 0 2 3 4 5 1 6 0 2 6 5 1 4 3 0 4 3 6 5 2 1 1 6 2 3 5 4 0 1 4 3 5 0 2 6 1 4 5 6 2 3 0 1 0 2 4 6 5 3 1 2 5 4 6 3 0 1 3 0 2 6 5 4 2 3 0 4 6 5 1 2 3 0 4 6 5 1 2 3 6 1 4 5 0 2 6 1 5 3 0 4 2 3 0 1 5 6 4 2 6 5 3 0 1 4 3 5 0 1 2 6 4 3 4 6 1 5 2 0 3 6 5 0 1 2 4 3 6 5 4 0 2 1 3 4 0 5 6 1 2 3 6 1 0 2 4 5 4 5 6 0 1 3 2 4 5 3 0 2 1 6 4 5 3 6 0 1 2 4 3 5 6 0 2 1 4 5 2 6 1 3 0 4 5 3 6 0 1 2 5 0 1 3 2 4 6 5 0 2 1 4 6 3 5 0 1 3 4 6 2 5 2 1 0 4 6 3 5 0 1 3 4 6 2 5 4 6 0 2 3 1 6 0 2 1 5 4 3 6 1 4 2 3 0 5 6 1 4 2 3 0 5 6 1 4 2 3 0 5 6 1 4 2 3 0 5 6 1 4 2 3 0 5 0 6 3 4 1 7 2 0 5 3 6 4 7 2 0 6 2 4 5 7 3 0 6 2 4 5 7 1 0 6 2 4 5 3 1 1 2 4 6 3 7 5 1 0 3 2 5 4 6 1 7 5 6 4 3 2 1 7 6 3 4 0 2 2 7 6 3 0 5 4 2 7 6 3 0 4 5 2 7 4 6 0 5 1 2 6 0 7 3 5 4 2 0 6 7 5 3 4 2 0 1 7 6 4 5 3 2 6 7 4 1 5 3 0 2 7 1 4 6 3 0 5 2 4 1 6 3 5 4 0 7 2 6 3 2 5 6 7 4 0 4 2 5 3 7 1 6 4 2 1 6 7 5 0 4 3 0 1 7 6 2 4 2 1 5 3 0 6 4 1 7 2 0 6 3 4 6 7 0 2 5 3 5 1 7 2 6 4 3 5 1 7 2 6 0 4 5 3 7 4 6 0 2 5 4 0 2 6 1 3 5 4 2 3 6 0 7 6 5 1 4 3 2 7 6 5 4 0 3 2 7 6 5 4 0 1 2 7 6 4 3 0 1 2 7 6 3 5 1 0 2 4 6 1 4 5 2 3 0 7 3 2 5 4 6 0 7 3 0 5 2 6 4 7 4 3 5 2 6 1 7 4 0 1 2 6 5 7 4 6 1 2 3 0 </values>
7.97/3.46	v </instantiation>

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 (5575 MiB free)
  memory of node 1: 16384 MiB (7008 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306962-1534104062/watcher-4306962-1534104062 -o /tmp/evaluation-result-4306962-1534104062/solver-4306962-1534104062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534096142-24483 --watchdog 2580 HOME/xcsp3-exec -seed 985710404 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306962-1534104062.xml 

running on 4 cores: 1,3,5,7

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

solver pid=26081, runsolver pid=26078

[startup+0.100092 s]*
/proc/loadavg: 1.65 1.52 1.50 3/219 26097
/proc/meminfo: memFree=12869508/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0
[pid=26083] ppid=26081 vsize=14082940 memory=28756 CPUtime=0.11 cores=1,3,5,7
/proc/26083/stat : 26083 (java) S 26081 26081 24451 0 -1 1077944320 5498 0 0 0 11 0 0 0 20 0 15 0 227969371 14420930560 7189 33554432000 4194304 4196468 140726861737904 140726861720448 139789396307703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
/proc/26083/statm: 3520735 7189 3044 1 0 3483012 0
[pid=26083/tid=26084] ppid=26081 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26083/task/26084/stat : 26084 (java) R 26081 26081 24451 0 -1 4202560 3503 0 0 0 9 0 0 0 20 0 15 0 227969372 14420930560 7189 33554432000 4194304 4196468 140726861737904 139789400540976 139789396319638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26085] ppid=26081 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 7189 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14082940 memory=139847455970944 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 7189 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 7189 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14082940 memory=139847455970944 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969374 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) S 26081 26081 24451 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 227969377 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788866238960 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788865186416 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14082940 memory=139847455970944 CPUtime=0.01 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) R 26081 26081 24451 0 -1 4202560 275 0 0 0 1 0 0 0 20 0 15 0 227969377 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788864133872 139789377528080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14082940 memory=139847455970944 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969377 14420930560 7189 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30208 KiB

[startup+0.210785 s]*
/proc/loadavg: 1.65 1.52 1.50 3/219 26097
/proc/meminfo: memFree=12857352/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0
[pid=26083] ppid=26081 vsize=14082940 memory=41300 CPUtime=0.33 cores=1,3,5,7
/proc/26083/stat : 26083 (java) S 26081 26081 24451 0 -1 1077944320 8310 0 0 0 31 2 0 0 20 0 15 0 227969371 14420930560 10325 33554432000 4194304 4196468 140726861737904 140726861720448 139789396307703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
/proc/26083/statm: 3520735 10325 3203 1 0 3483012 0
[pid=26083/tid=26084] ppid=26081 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/26083/task/26084/stat : 26084 (java) R 26081 26081 24451 0 -1 4202560 5413 0 0 0 18 1 0 0 20 0 15 0 227969372 14420930560 10325 33554432000 4194304 4196468 140726861737904 139789400542240 139789388985717 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26085] ppid=26081 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 10325 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14082940 memory=139847457191647 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 10325 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 10325 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14420930560 10325 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14082940 memory=139847455970944 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227969374 14420930560 10325 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14082972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14420963328 10325 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14420963328 10325 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14082972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14420963328 10327 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14082940 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) S 26081 26081 24451 0 -1 1077944384 655 0 0 0 3 0 0 0 20 0 15 0 227969377 14420930560 10327 33554432000 4194304 4196468 140726861737904 139788866238960 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) S 26081 26081 24451 0 -1 1077944384 137 0 0 0 2 0 0 0 20 0 15 0 227969377 14420930560 10327 33554432000 4194304 4196468 140726861737904 139788865186416 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14082940 memory=139847455970944 CPUtime=0.07 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) S 26081 26081 24451 0 -1 1077944384 796 0 0 0 7 0 0 0 20 0 15 0 227969377 14420930560 10327 33554432000 4194304 4196468 140726861737904 139788864133872 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14420930560 10327 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969377 14423097344 10327 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42752 KiB

[startup+0.310526 s]*
/proc/loadavg: 1.65 1.52 1.50 4/219 26097
/proc/meminfo: memFree=12850652/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0
[pid=26083] ppid=26081 vsize=14087196 memory=48480 CPUtime=0.53 cores=1,3,5,7
/proc/26083/stat : 26083 (java) S 26081 26081 24451 0 -1 1077944320 9242 0 0 0 50 3 0 0 20 0 15 0 227969371 14425288704 12120 33554432000 4194304 4196468 140726861737904 140726861720448 139789396307703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
/proc/26083/statm: 3521799 12120 3266 1 0 3483012 0
[pid=26083/tid=26084] ppid=26081 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26083/task/26084/stat : 26084 (java) R 26081 26081 24451 0 -1 4202560 6127 0 0 0 28 2 0 0 20 0 15 0 227969372 14425288704 12120 33554432000 4194304 4196468 140726861737904 139789400544992 139789378176288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26085] ppid=26081 vsize=14087196 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14425288704 12120 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14425288704 12120 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14425288704 12120 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227969374 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14087196 memory=4426078206164241782 CPUtime=0.06 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) S 26081 26081 24451 0 -1 1077944384 759 0 0 0 6 0 0 0 20 0 15 0 227969377 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788866238960 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) S 26081 26081 24451 0 -1 1077944384 149 0 0 0 3 0 0 0 20 0 15 0 227969377 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788865186416 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) S 26081 26081 24451 0 -1 1077944384 899 0 0 0 12 0 0 0 20 0 15 0 227969377 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788864133872 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969377 14425288704 12120 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49932 KiB

[startup+0.70082 s]
/proc/loadavg: 1.65 1.52 1.50 6/219 26097
/proc/meminfo: memFree=12823916/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0
[pid=26083] ppid=26081 vsize=14089320 memory=108580 CPUtime=1.82 cores=1,3,5,7
/proc/26083/stat : 26083 (java) S 26081 26081 24451 0 -1 1077944320 13640 0 0 0 177 5 0 0 20 0 15 0 227969371 14427463680 27145 33554432000 4194304 4196468 140726861737904 140726861720448 139789396307703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
/proc/26083/statm: 3522330 27145 3350 1 0 3483524 0
[pid=26083/tid=26084] ppid=26081 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26083/task/26084/stat : 26084 (java) R 26081 26081 24451 0 -1 4202560 6835 0 0 0 64 3 0 0 20 0 15 0 227969372 14427463680 27145 33554432000 4194304 4196468 140726861737904 139789400533520 139789396329629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26085] ppid=26081 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 27145 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 27145 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14089320 memory=61880 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 27145 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14089320 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14089320 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14089320 memory=5408 CPUtime=0.41 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) R 26081 26081 24451 0 -1 4202560 1720 0 0 0 41 0 0 0 20 0 15 0 227969377 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788866224880 139789396319638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14089320 memory=876 CPUtime=0.32 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) R 26081 26081 24451 0 -1 4202560 1374 0 0 0 32 0 0 0 20 0 15 0 227969377 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788865176208 139789379801814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14089320 memory=10096 CPUtime=0.39 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) S 26081 26081 24451 0 -1 1077944384 2402 0 0 0 38 1 0 0 20 0 15 0 227969377 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788864133872 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 27145 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 110032 KiB

[startup+1.50083 s]
/proc/loadavg: 1.65 1.52 1.50 5/219 26097
/proc/meminfo: memFree=12774780/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0

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

/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 33475 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 33475 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14089320 memory=279694712948976 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 33475 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14089320 memory=12813 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14089320 memory=24398 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14089320 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) R 26081 26081 24451 0 -1 4202560 5091 0 0 0 119 1 0 0 20 0 15 0 227969377 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788866227440 139789380694758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14089320 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) R 26081 26081 24451 0 -1 4202560 4318 0 0 0 110 1 0 0 20 0 15 0 227969377 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788865177248 139789377486577 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14089320 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) S 26081 26081 24451 0 -1 1077944384 3564 0 0 0 56 1 0 0 20 0 15 0 227969377 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788864133872 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14089320 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 33475 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 135352 KiB

[startup+3.11039 s]
/proc/loadavg: 1.68 1.53 1.51 4/219 26097
/proc/meminfo: memFree=12754660/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0
[pid=26083] ppid=26081 vsize=14089320 memory=144144 CPUtime=7.67 cores=1,3,5,7
/proc/26083/stat : 26083 (java) S 26081 26081 24451 0 -1 1077944320 23412 0 0 0 759 8 0 0 20 0 15 0 227969371 14427463680 36036 33554432000 4194304 4196468 140726861737904 140726861720448 139789396307703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
/proc/26083/statm: 3522330 36036 3380 1 0 3483524 0
[pid=26083/tid=26084] ppid=26081 vsize=14089320 memory=56 CPUtime=3.07 cores=1,3,5,7
/proc/26083/task/26084/stat : 26084 (java) R 26081 26081 24451 0 -1 4202560 8004 0 0 0 304 3 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789400545400 139788994475442 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26085] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14089320 memory=139916 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14089320 memory=7016714190785702558 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14089320 memory=66 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14089320 memory=279694712932672 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14089320 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14089320 memory=22724 CPUtime=1.99 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) S 26081 26081 24451 0 -1 1077944384 5307 0 0 0 198 1 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788866238960 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14089320 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) S 26081 26081 24451 0 -1 1077944384 4611 0 0 0 189 1 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788865186416 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14089320 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) S 26081 26081 24451 0 -1 1077944384 4141 0 0 0 66 1 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788864133872 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14089320 memory=3054156605651173440 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 7.67 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 145596 KiB

[startup+3.48054 s]
# the end of solver process 26081 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.9722 s, system=0.090268 s

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

[startup+3.20082 s]
/proc/loadavg: 1.68 1.53 1.51 4/219 26097
/proc/meminfo: memFree=12754660/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0
[pid=26083] ppid=26081 vsize=14089320 memory=144144 CPUtime=7.76 cores=1,3,5,7
/proc/26083/stat : 26083 (java) S 26081 26081 24451 0 -1 1077944320 23412 0 0 0 768 8 0 0 20 0 15 0 227969371 14427463680 36036 33554432000 4194304 4196468 140726861737904 140726861720448 139789396307703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
/proc/26083/statm: 3522330 36036 3380 1 0 3483524 0
[pid=26083/tid=26084] ppid=26081 vsize=14089320 memory=8836 CPUtime=3.16 cores=1,3,5,7
/proc/26083/task/26084/stat : 26084 (java) R 26081 26081 24451 0 -1 4202560 8004 0 0 0 313 3 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789400545400 139788994840962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26085] ppid=26081 vsize=14089320 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14089320 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14089320 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14089320 memory=17668 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14089320 memory=19876 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14089320 memory=22084 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14089320 memory=24292 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14089320 memory=26500 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14089320 memory=28708 CPUtime=1.99 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) S 26081 26081 24451 0 -1 1077944384 5307 0 0 0 198 1 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788866238960 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14089320 memory=1452 CPUtime=1.9 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) S 26081 26081 24451 0 -1 1077944384 4611 0 0 0 189 1 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788865186416 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14089320 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) S 26081 26081 24451 0 -1 1077944384 4141 0 0 0 66 1 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788864133872 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14089320 memory=301741420686082359 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14089320 memory=13567093857585738 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36036 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 7.76 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 145596 KiB

[startup+3.40066 s]
/proc/loadavg: 1.68 1.53 1.51 4/219 26097
/proc/meminfo: memFree=12754660/32770624 swapFree=67108860/67108860
[pid=26081] ppid=26078 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26081/stat : 26081 (xcsp3-exec) S 26078 26081 24451 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 227969371 115843072 363 33554432000 4194304 5098028 140728119803696 140728119801800 139999551767164 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17321984 140728119804987 140728119805188 140728119805188 140728119807946 0
/proc/26081/statm: 28282 363 306 221 0 87 0
[pid=26083] ppid=26081 vsize=14089320 memory=146192 CPUtime=7.97 cores=1,3,5,7
/proc/26083/stat : 26083 (java) S 26081 26081 24451 0 -1 1077944320 23421 0 0 0 789 8 0 0 20 0 15 0 227969371 14427463680 36548 33554432000 4194304 4196468 140726861737904 140726861720448 139789396307703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
/proc/26083/statm: 3522330 36548 3380 1 0 3483524 0
[pid=26083/tid=26084] ppid=26081 vsize=14089320 memory=-9001733975035308135 CPUtime=3.36 cores=1,3,5,7
/proc/26083/task/26084/stat : 26084 (java) R 26081 26081 24451 0 -1 4202560 8008 0 0 0 333 3 0 0 20 0 15 0 227969372 14427463680 36548 33554432000 4194304 4196468 140726861737904 139789400544680 139788994842216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26085] ppid=26081 vsize=14089320 memory=8329294824090543255 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26085/stat : 26085 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36548 33554432000 4194304 4196468 140726861737904 139789311376144 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26086] ppid=26081 vsize=14089320 memory=-7385037615208631145 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26086/stat : 26086 (java) S 26081 26081 24451 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36548 33554432000 4194304 4196468 140726861737904 139789310323600 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26087] ppid=26081 vsize=14089320 memory=-6586667735541663136 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26087/stat : 26087 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36548 33554432000 4194304 4196468 140726861737904 139789309271056 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26088] ppid=26081 vsize=14089320 memory=7016671349533276567 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26088/stat : 26088 (java) S 26081 26081 24451 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 227969372 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788988443792 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26089] ppid=26081 vsize=14089320 memory=4206468019030876256 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26089/stat : 26089 (java) S 26081 26081 24451 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788870449136 139789396318850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26090] ppid=26081 vsize=14089320 memory=-8990767739041652640 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26090/stat : 26090 (java) S 26081 26081 24451 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788869395360 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26091] ppid=26081 vsize=14089320 memory=-9001727377965607015 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26091/stat : 26091 (java) S 26081 26081 24451 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 227969374 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788868342768 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26092] ppid=26081 vsize=14089320 memory=-7019007797916124576 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26092/stat : 26092 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788867291344 139789396326299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26093] ppid=26081 vsize=14089320 memory=288230574492221466 CPUtime=1.99 cores=1,3,5,7
/proc/26083/task/26093/stat : 26093 (java) S 26081 26081 24451 0 -1 1077944384 5308 0 0 0 198 1 0 0 20 0 15 0 227969377 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788866238960 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26094] ppid=26081 vsize=14089320 memory=0 CPUtime=1.9 cores=1,3,5,7
/proc/26083/task/26094/stat : 26094 (java) S 26081 26081 24451 0 -1 1077944384 4611 0 0 0 189 1 0 0 20 0 15 0 227969377 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788865186416 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26095] ppid=26081 vsize=14089320 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26083/task/26095/stat : 26095 (java) S 26081 26081 24451 0 -1 1077944384 4145 0 0 0 66 1 0 0 20 0 15 0 227969377 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788864133872 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26096] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26096/stat : 26096 (java) S 26081 26081 24451 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788863081568 139789396317909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
[pid=26083/tid=26097] ppid=26081 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26083/task/26097/stat : 26097 (java) S 26081 26081 24451 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 227969377 14427463680 36548 33554432000 4194304 4196468 140726861737904 139788862028080 139789396318850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32768000 140726861739142 140726861739313 140726861739313 140726861742031 0
Current children cumulated CPU time: 7.97 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 147644 KiB

Child status: 0
Real time (s): 3.4806
CPU time (s): 8.06246
CPU user time (s): 7.9722
CPU system time (s): 0.090268
CPU usage (%): 231.64
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 147644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.9722
system time used= 0.090268
maximum resident set size= 146816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2258
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 26081
#   total CPU time (s): 8.06246
#   total CPU user time (s): 7.9722
#   total CPU system time (s): 0.090268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046506 second user time and 0.077238 second system time

The end

Name	MisteryShopper/ MisteryShopper-06d_c18.xml
MD5SUM	71f002b78114a95e8a0fa642f39b0e56
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	8.06246
Satisfiable
(Un)Satisfiability was proved
Number of variables	1176
Number of constraints	701
Number of domains	3
Minimum domain size	7
Maximum domain size	42
Distribution of domain sizes	[{"size":7,"count":294},{"size":8,"count":294},{"size":42,"count":588}]
Minimum variable degree	2
Maximum variable degree	5
Distribution of variable degrees	[{"degree":2,"count":588},{"degree":3,"count":294},{"degree":4,"count":259},{"degree":5,"count":35}]
Minimum constraint arity	2
Maximum constraint arity	294
Distribution of constraint arities	[{"arity":2,"count":588},{"arity":5,"count":7},{"arity":7,"count":84},{"arity":42,"count":14},{"arity":84,"count":7},{"arity":294,"count":1}]
Number of extensional constraints	588
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":588},{"type":"allDifferent","count":98},{"type":"ordered","count":7},{"type":"lex","count":1},{"type":"channel","count":7}]
Optimization problem	NO
Type of objective

Trace number 4306962

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data