2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT	10.2949	4.89745

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292673-1532358680.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292673-1532358680.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
2.16/0.82	c solve instance...
10.16/4.88	s SATISFIABLE
10.16/4.88	v <instantiation>
10.16/4.88	v 	<list>vr[0][0] vr[0][1] vr[0][2] vr[0][3] vr[0][4] vr[1][0] vr[1][1] vr[1][2] vr[1][3] vr[1][4] vr[2][0] vr[2][1] vr[2][2] vr[2][3] vr[2][4] vr[3][0] vr[3][1] vr[3][2] vr[3][3] vr[3][4] vr[4][0] vr[4][1] vr[4][2] vr[4][3] vr[4][4] vr[5][0] vr[5][1] vr[5][2] vr[5][3] vr[5][4] vr[6][0] vr[6][1] vr[6][2] vr[6][3] vr[6][4] vr[7][0] vr[7][1] vr[7][2] vr[7][3] vr[7][4] vr[8][0] vr[8][1] vr[8][2] vr[8][3] vr[8][4] vr[9][0] vr[9][1] vr[9][2] vr[9][3] vr[9][4] vr[10][0] vr[10][1] vr[10][2] vr[10][3] vr[10][4] vr[11][0] vr[11][1] vr[11][2] vr[11][3] vr[11][4] vr[12][0] vr[12][1] vr[12][2] vr[12][3] vr[12][4] vr[13][0] vr[13][1] vr[13][2] vr[13][3] vr[13][4] vr[14][0] vr[14][1] vr[14][2] vr[14][3] vr[14][4] vr[15][0] vr[15][1] vr[15][2] vr[15][3] vr[15][4] vr[16][0] vr[16][1] vr[16][2] vr[16][3] vr[16][4] vr[17][0] vr[17][1] vr[17][2] vr[17][3] vr[17][4] vr[18][0] vr[18][1] vr[18][2] vr[18][3] vr[18][4] vr[19][0] vr[19][1] vr[19][2] vr[19][3] vr[19][4] vr[20][0] vr[20][1] vr[20][2] vr[20][3] vr[20][4] vr[21][0] vr[21][1] vr[21][2] vr[21][3] vr[21][4] vr[22][0] vr[22][1] vr[22][2] vr[22][3] vr[22][4] vr[23][0] vr[23][1] vr[23][2] vr[23][3] vr[23][4] vr[24][0] vr[24][1] vr[24][2] vr[24][3] vr[24][4] vr[25][0] vr[25][1] vr[25][2] vr[25][3] vr[25][4] vr[26][0] vr[26][1] vr[26][2] vr[26][3] vr[26][4] vr[27][0] vr[27][1] vr[27][2] vr[27][3] vr[27][4] vr[28][0] vr[28][1] vr[28][2] vr[28][3] vr[28][4] vr[29][0] vr[29][1] vr[29][2] vr[29][3] vr[29][4] vr[30][0] vr[30][1] vr[30][2] vr[30][3] vr[30][4] vr[31][0] vr[31][1] vr[31][2] vr[31][3] vr[31][4] vr[32][0] vr[32][1] vr[32][2] vr[32][3] vr[32][4] vr[33][0] vr[33][1] vr[33][2] vr[33][3] vr[33][4] vr[34][0] vr[34][1] vr[34][2] vr[34][3] vr[34][4] vr[35][0] vr[35][1] vr[35][2] vr[35][3] vr[35][4] vr[36][0] vr[36][1] vr[36][2] vr[36][3] vr[36][4] vr[37][0] vr[37][1] vr[37][2] vr[37][3] vr[37][4] vr[38][0] vr[38][1] vr[38][2] vr[38][3] vr[38][4] vr[39][0] vr[39][1] vr[39][2] vr[39][3] vr[39][4] vr[40][0] vr[40][1] vr[40][2] vr[40][3] vr[40][4] vr[41][0] vr[41][1] vr[41][2] vr[41][3] vr[41][4] vr[42][0] vr[42][1] vr[42][2] vr[42][3] vr[42][4] vr[43][0] vr[43][1] vr[43][2] vr[43][3] vr[43][4] vr[44][0] vr[44][1] vr[44][2] vr[44][3] vr[44][4] vr[45][0] vr[45][1] vr[45][2] vr[45][3] vr[45][4] vr[46][0] vr[46][1] vr[46][2] vr[46][3] vr[46][4] vr[47][0] vr[47][1] vr[47][2] vr[47][3] vr[47][4] vr[48][0] vr[48][1] vr[48][2] vr[48][3] vr[48][4] vr[49][0] vr[49][1] vr[49][2] vr[49][3] vr[49][4] vr[50][0] vr[50][1] vr[50][2] vr[50][3] vr[50][4] vr[51][0] vr[51][1] vr[51][2] vr[51][3] vr[51][4] vr[52][0] vr[52][1] vr[52][2] vr[52][3] vr[52][4] vr[53][0] vr[53][1] vr[53][2] vr[53][3] vr[53][4] vr[54][0] vr[54][1] vr[54][2] vr[54][3] vr[54][4] vr[55][0] vr[55][1] vr[55][2] vr[55][3] vr[55][4] vr[56][0] vr[56][1] vr[56][2] vr[56][3] vr[56][4] vr[57][0] vr[57][1] vr[57][2] vr[57][3] vr[57][4] vr[58][0] vr[58][1] vr[58][2] vr[58][3] vr[58][4] vr[59][0] vr[59][1] vr[59][2] vr[59][3] vr[59][4] ve[0][0] ve[0][1] ve[0][2] ve[0][3] ve[0][4] ve[1][0] ve[1][1] ve[1][2] ve[1][3] ve[1][4] ve[2][0] ve[2][1] ve[2][2] ve[2][3] ve[2][4] ve[3][0] ve[3][1] ve[3][2] ve[3][3] ve[3][4] ve[4][0] ve[4][1] ve[4][2] ve[4][3] ve[4][4] ve[5][0] ve[5][1] ve[5][2] ve[5][3] ve[5][4] ve[6][0] ve[6][1] ve[6][2] ve[6][3] ve[6][4] ve[7][0] ve[7][1] ve[7][2] ve[7][3] ve[7][4] ve[8][0] ve[8][1] ve[8][2] ve[8][3] ve[8][4] ve[9][0] ve[9][1] ve[9][2] ve[9][3] ve[9][4] ve[10][0] ve[10][1] ve[10][2] ve[10][3] ve[10][4] ve[11][0] ve[11][1] ve[11][2] ve[11][3] ve[11][4] ve[12][0] ve[12][1] ve[12][2] ve[12][3] ve[12][4] ve[13][0] ve[13][1] ve[13][2] ve[13][3] ve[13][4] ve[14][0] ve[14][1] ve[14][2] ve[14][3] ve[14][4] ve[15][0] ve[15][1] ve[15][2] ve[15][3] ve[15][4] ve[16][0] ve[16][1] ve[16][2] ve[16][3] ve[16][4] ve[17][0] ve[17][1] ve[17][2] ve[17][3] ve[17][4] ve[18][0] ve[18][1] ve[18][2] ve[18][3] ve[18][4] ve[19][0] ve[19][1] ve[19][2] ve[19][3] ve[19][4] ve[20][0] ve[20][1] ve[20][2] ve[20][3] ve[20][4] ve[21][0] ve[21][1] ve[21][2] ve[21][3] ve[21][4] ve[22][0] ve[22][1] ve[22][2] ve[22][3] ve[22][4] ve[23][0] ve[23][1] ve[23][2] ve[23][3] ve[23][4] ve[24][0] ve[24][1] ve[24][2] ve[24][3] ve[24][4] ve[25][0] ve[25][1] ve[25][2] ve[25][3] ve[25][4] ve[26][0] ve[26][1] ve[26][2] ve[26][3] ve[26][4] ve[27][0] ve[27][1] ve[27][2] ve[27][3] ve[27][4] ve[28][0] ve[28][1] ve[28][2] ve[28][3] ve[28][4] ve[29][0] ve[29][1] ve[29][2] ve[29][3] ve[29][4] ve[30][0] ve[30][1] ve[30][2] ve[30][3] ve[30][4] ve[31][0] ve[31][1] ve[31][2] ve[31][3] ve[31][4] ve[32][0] ve[32][1] ve[32][2] ve[32][3] ve[32][4] ve[33][0] ve[33][1] ve[33][2] ve[33][3] ve[33][4] ve[34][0] ve[34][1] ve[34][2] ve[34][3] ve[34][4] ve[35][0] ve[35][1] ve[35][2] ve[35][3] ve[35][4] ve[36][0] ve[36][1] ve[36][2] ve[36][3] ve[36][4] ve[37][0] ve[37][1] ve[37][2] ve[37][3] ve[37][4] ve[38][0] ve[38][1] ve[38][2] ve[38][3] ve[38][4] ve[39][0] ve[39][1] ve[39][2] ve[39][3] ve[39][4] ve[40][0] ve[40][1] ve[40][2] ve[40][3] ve[40][4] ve[41][0] ve[41][1] ve[41][2] ve[41][3] ve[41][4] ve[42][0] ve[42][1] ve[42][2] ve[42][3] ve[42][4] ve[43][0] ve[43][1] ve[43][2] ve[43][3] ve[43][4] ve[44][0] ve[44][1] ve[44][2] ve[44][3] ve[44][4] ve[45][0] ve[45][1] ve[45][2] ve[45][3] ve[45][4] ve[46][0] ve[46][1] ve[46][2] ve[46][3] ve[46][4] ve[47][0] ve[47][1] ve[47][2] ve[47][3] ve[47][4] ve[48][0] ve[48][1] ve[48][2] ve[48][3] ve[48][4] ve[49][0] ve[49][1] ve[49][2] ve[49][3] ve[49][4] ve[50][0] ve[50][1] ve[50][2] ve[50][3] ve[50][4] ve[51][0] ve[51][1] ve[51][2] ve[51][3] ve[51][4] ve[52][0] ve[52][1] ve[52][2] ve[52][3] ve[52][4] ve[53][0] ve[53][1] ve[53][2] ve[53][3] ve[53][4] ve[54][0] ve[54][1] ve[54][2] ve[54][3] ve[54][4] ve[55][0] ve[55][1] ve[55][2] ve[55][3] ve[55][4] ve[56][0] ve[56][1] ve[56][2] ve[56][3] ve[56][4] ve[57][0] ve[57][1] ve[57][2] ve[57][3] ve[57][4] ve[58][0] ve[58][1] ve[58][2] ve[58][3] ve[58][4] ve[59][0] ve[59][1] ve[59][2] ve[59][3] ve[59][4] gvr[0][0] gvr[0][1] gvr[0][2] gvr[0][3] gvr[0][4] gvr[1][0] gvr[1][1] gvr[1][2] gvr[1][3] gvr[1][4] gvr[2][0] gvr[2][1] gvr[2][2] gvr[2][3] gvr[2][4] gvr[3][0] gvr[3][1] gvr[3][2] gvr[3][3] gvr[3][4] gvr[4][0] gvr[4][1] gvr[4][2] gvr[4][3] gvr[4][4] gvr[5][0] gvr[5][1] gvr[5][2] gvr[5][3] gvr[5][4] gvr[6][0] gvr[6][1] gvr[6][2] gvr[6][3] gvr[6][4] gvr[7][0] gvr[7][1] gvr[7][2] gvr[7][3] gvr[7][4] gvr[8][0] gvr[8][1] gvr[8][2] gvr[8][3] gvr[8][4] gvr[9][0] gvr[9][1] gvr[9][2] gvr[9][3] gvr[9][4] gvr[10][0] gvr[10][1] gvr[10][2] gvr[10][3] gvr[10][4] gvr[11][0] gvr[11][1] gvr[11][2] gvr[11][3] gvr[11][4] gvr[12][0] gvr[12][1] gvr[12][2] gvr[12][3] gvr[12][4] gvr[13][0] gvr[13][1] gvr[13][2] gvr[13][3] gvr[13][4] gvr[14][0] gvr[14][1] gvr[14][2] gvr[14][3] gvr[14][4] gvr[15][0] gvr[15][1] gvr[15][2] gvr[15][3] gvr[15][4] gvr[16][0] gvr[16][1] gvr[16][2] gvr[16][3] gvr[16][4] gvr[17][0] gvr[17][1] gvr[17][2] gvr[17][3] gvr[17][4] gvr[18][0] gvr[18][1] gvr[18][2] gvr[18][3] gvr[18][4] gvr[19][0] gvr[19][1] gvr[19][2] gvr[19][3] gvr[19][4] gvr[20][0] gvr[20][1] gvr[20][2] gvr[20][3] gvr[20][4] gvr[21][0] gvr[21][1] gvr[21][2] gvr[21][3] gvr[21][4] gvr[22][0] gvr[22][1] gvr[22][2] gvr[22][3] gvr[22][4] gvr[23][0] gvr[23][1] gvr[23][2] gvr[23][3] gvr[23][4] gvr[24][0] gvr[24][1] gvr[24][2] gvr[24][3] gvr[24][4] gvr[25][0] gvr[25][1] gvr[25][2] gvr[25][3] gvr[25][4] gvr[26][0] gvr[26][1] gvr[26][2] gvr[26][3] gvr[26][4] gvr[27][0] gvr[27][1] gvr[27][2] gvr[27][3] gvr[27][4] gvr[28][0] gvr[28][1] gvr[28][2] gvr[28][3] gvr[28][4] gvr[29][0] gvr[29][1] gvr[29][2] gvr[29][3] gvr[29][4] gvr[30][0] gvr[30][1] gvr[30][2] gvr[30][3] gvr[30][4] gvr[31][0] gvr[31][1] gvr[31][2] gvr[31][3] gvr[31][4] gvr[32][0] gvr[32][1] gvr[32][2] gvr[32][3] gvr[32][4] gvr[33][0] gvr[33][1] gvr[33][2] gvr[33][3] gvr[33][4] gvr[34][0] gvr[34][1] gvr[34][2] gvr[34][3] gvr[34][4] gvr[35][0] gvr[35][1] gvr[35][2] gvr[35][3] gvr[35][4] gvr[36][0] gvr[36][1] gvr[36][2] gvr[36][3] gvr[36][4] gvr[37][0] gvr[37][1] gvr[37][2] gvr[37][3] gvr[37][4] gvr[38][0] gvr[38][1] gvr[38][2] gvr[38][3] gvr[38][4] gvr[39][0] gvr[39][1] gvr[39][2] gvr[39][3] gvr[39][4] gvr[40][0] gvr[40][1] gvr[40][2] gvr[40][3] gvr[40][4] gvr[41][0] gvr[41][1] gvr[41][2] gvr[41][3] gvr[41][4] gvr[42][0] gvr[42][1] gvr[42][2] gvr[42][3] gvr[42][4] gvr[43][0] gvr[43][1] gvr[43][2] gvr[43][3] gvr[43][4] gvr[44][0] gvr[44][1] gvr[44][2] gvr[44][3] gvr[44][4] gvr[45][0] gvr[45][1] gvr[45][2] gvr[45][3] gvr[45][4] gvr[46][0] gvr[46][1] gvr[46][2] gvr[46][3] gvr[46][4] gvr[47][0] gvr[47][1] gvr[47][2] gvr[47][3] gvr[47][4] gvr[48][0] gvr[48][1] gvr[48][2] gvr[48][3] gvr[48][4] gvr[49][0] gvr[49][1] gvr[49][2] gvr[49][3] gvr[49][4] gvr[50][0] gvr[50][1] gvr[50][2] gvr[50][3] gvr[50][4] gvr[51][0] gvr[51][1] gvr[51][2] gvr[51][3] gvr[51][4] gvr[52][0] gvr[52][1] gvr[52][2] gvr[52][3] gvr[52][4] gvr[53][0] gvr[53][1] gvr[53][2] gvr[53][3] gvr[53][4] gvr[54][0] gvr[54][1] gvr[54][2] gvr[54][3] gvr[54][4] gvr[55][0] gvr[55][1] gvr[55][2] gvr[55][3] gvr[55][4] gvr[56][0] gvr[56][1] gvr[56][2] gvr[56][3] gvr[56][4] gvr[57][0] gvr[57][1] gvr[57][2] gvr[57][3] gvr[57][4] gvr[58][0] gvr[58][1] gvr[58][2] gvr[58][3] gvr[58][4] gvr[59][0] gvr[59][1] gvr[59][2] gvr[59][3] gvr[59][4] gve[0][0] gve[0][1] gve[0][2] gve[0][3] gve[0][4] gve[1][0] gve[1][1] gve[1][2] gve[1][3] gve[1][4] gve[2][0] gve[2][1] gve[2][2] gve[2][3] gve[2][4] gve[3][0] gve[3][1] gve[3][2] gve[3][3] gve[3][4] gve[4][0] gve[4][1] gve[4][2] gve[4][3] gve[4][4] gve[5][0] gve[5][1] gve[5][2] gve[5][3] gve[5][4] gve[6][0] gve[6][1] gve[6][2] gve[6][3] gve[6][4] gve[7][0] gve[7][1] gve[7][2] gve[7][3] gve[7][4] gve[8][0] gve[8][1] gve[8][2] gve[8][3] gve[8][4] gve[9][0] gve[9][1] gve[9][2] gve[9][3] gve[9][4] gve[10][0] gve[10][1] gve[10][2] gve[10][3] gve[10][4] gve[11][0] gve[11][1] gve[11][2] gve[11][3] gve[11][4] gve[12][0] gve[12][1] gve[12][2] gve[12][3] gve[12][4] gve[13][0] gve[13][1] gve[13][2] gve[13][3] gve[13][4] gve[14][0] gve[14][1] gve[14][2] gve[14][3] gve[14][4] gve[15][0] gve[15][1] gve[15][2] gve[15][3] gve[15][4] gve[16][0] gve[16][1] gve[16][2] gve[16][3] gve[16][4] gve[17][0] gve[17][1] gve[17][2] gve[17][3] gve[17][4] gve[18][0] gve[18][1] gve[18][2] gve[18][3] gve[18][4] gve[19][0] gve[19][1] gve[19][2] gve[19][3] gve[19][4] gve[20][0] gve[20][1] gve[20][2] gve[20][3] gve[20][4] gve[21][0] gve[21][1] gve[21][2] gve[21][3] gve[21][4] gve[22][0] gve[22][1] gve[22][2] gve[22][3] gve[22][4] gve[23][0] gve[23][1] gve[23][2] gve[23][3] gve[23][4] gve[24][0] gve[24][1] gve[24][2] gve[24][3] gve[24][4] gve[25][0] gve[25][1] gve[25][2] gve[25][3] gve[25][4] gve[26][0] gve[26][1] gve[26][2] gve[26][3] gve[26][4] gve[27][0] gve[27][1] gve[27][2] gve[27][3] gve[27][4] gve[28][0] gve[28][1] gve[28][2] gve[28][3] gve[28][4] gve[29][0] gve[29][1] gve[29][2] gve[29][3] gve[29][4] gve[30][0] gve[30][1] gve[30][2] gve[30][3] gve[30][4] gve[31][0] gve[31][1] gve[31][2] gve[31][3] gve[31][4] gve[32][0] gve[32][1] gve[32][2] gve[32][3] gve[32][4] gve[33][0] gve[33][1] gve[33][2] gve[33][3] gve[33][4] gve[34][0] gve[34][1] gve[34][2] gve[34][3] gve[34][4] gve[35][0] gve[35][1] gve[35][2] gve[35][3] gve[35][4] gve[36][0] gve[36][1] gve[36][2] gve[36][3] gve[36][4] gve[37][0] gve[37][1] gve[37][2] gve[37][3] gve[37][4] gve[38][0] gve[38][1] gve[38][2] gve[38][3] gve[38][4] gve[39][0] gve[39][1] gve[39][2] gve[39][3] gve[39][4] gve[40][0] gve[40][1] gve[40][2] gve[40][3] gve[40][4] gve[41][0] gve[41][1] gve[41][2] gve[41][3] gve[41][4] gve[42][0] gve[42][1] gve[42][2] gve[42][3] gve[42][4] gve[43][0] gve[43][1] gve[43][2] gve[43][3] gve[43][4] gve[44][0] gve[44][1] gve[44][2] gve[44][3] gve[44][4] gve[45][0] gve[45][1] gve[45][2] gve[45][3] gve[45][4] gve[46][0] gve[46][1] gve[46][2] gve[46][3] gve[46][4] gve[47][0] gve[47][1] gve[47][2] gve[47][3] gve[47][4] gve[48][0] gve[48][1] gve[48][2] gve[48][3] gve[48][4] gve[49][0] gve[49][1] gve[49][2] gve[49][3] gve[49][4] gve[50][0] gve[50][1] gve[50][2] gve[50][3] gve[50][4] gve[51][0] gve[51][1] gve[51][2] gve[51][3] gve[51][4] gve[52][0] gve[52][1] gve[52][2] gve[52][3] gve[52][4] gve[53][0] gve[53][1] gve[53][2] gve[53][3] gve[53][4] gve[54][0] gve[54][1] gve[54][2] gve[54][3] gve[54][4] gve[55][0] gve[55][1] gve[55][2] gve[55][3] gve[55][4] gve[56][0] gve[56][1] gve[56][2] gve[56][3] gve[56][4] gve[57][0] gve[57][1] gve[57][2] gve[57][3] gve[57][4] gve[58][0] gve[58][1] gve[58][2] gve[58][3] gve[58][4] gve[59][0] gve[59][1] gve[59][2] gve[59][3] gve[59][4] </list>
10.16/4.88	v 	<values>0 23 24 40 51 1 19 48 32 38 2 20 37 29 57 3 34 36 12 58 4 33 53 16 42 5 30 46 13 59 6 35 43 22 56 7 41 17 25 49 8 52 21 26 39 9 54 15 27 44 10 47 18 28 50 11 51 23 34 40 12 38 52 6 35 13 42 5 33 55 14 53 39 0 30 15 24 10 50 36 16 49 8 41 26 17 37 25 48 7 18 46 54 1 32 19 59 27 3 43 20 56 29 2 45 21 58 47 4 28 22 57 44 9 31 23 44 58 5 34 24 55 45 10 20 25 43 7 21 54 26 50 19 38 8 27 40 12 49 11 28 48 16 42 6 29 4 13 37 53 30 9 22 59 41 31 36 3 51 18 32 39 14 52 1 33 5 50 19 46 34 45 51 7 23 35 14 49 11 47 36 8 30 20 48 37 22 6 53 27 38 25 59 17 10 39 32 9 56 13 40 31 0 58 16 41 26 1 55 12 42 29 57 18 4 43 21 2 24 52 44 15 28 54 3 45 13 55 8 33 46 7 56 23 24 47 10 20 57 25 48 6 40 30 19 49 16 11 39 29 50 17 41 31 5 51 18 42 35 9 52 27 38 15 2 53 12 26 36 0 54 28 4 14 37 55 0 31 43 14 56 1 32 44 15 57 2 33 45 17 58 3 34 46 21 59 11 35 47 22 0 55 40 14 53 1 56 41 18 32 2 57 43 20 52 3 58 31 19 44 4 29 54 21 42 5 33 13 23 50 6 48 37 12 28 7 46 25 34 17 8 36 16 45 26 9 30 39 22 51 10 47 15 24 38 11 59 49 35 27 12 53 27 3 41 13 45 29 5 39 14 35 32 54 55 15 44 9 52 56 16 49 28 4 40 17 50 7 38 57 18 51 10 42 31 19 1 26 33 48 20 2 47 36 24 21 43 8 25 58 22 37 30 6 59 23 0 11 46 34 24 15 0 43 46 25 38 17 7 47 26 41 53 8 16 27 52 19 9 37 28 54 44 10 21 29 42 20 2 49 30 5 36 48 14 31 40 55 50 22 32 39 56 1 18 33 4 57 13 45 34 3 58 11 23 35 6 59 51 12 36 31 3 53 15 37 17 2 29 54 38 12 52 26 1 39 32 14 49 8 40 27 48 0 11 41 7 50 16 30 42 13 51 28 4 43 25 6 55 19 44 23 22 56 9 45 34 24 57 20 46 18 5 58 33 47 10 21 59 35 48 28 1 17 36 49 16 35 27 7 50 26 33 15 10 51 11 34 31 0 52 8 12 32 43 53 14 4 37 29 54 9 18 44 25 55 24 45 41 13 56 20 46 39 6 57 22 42 47 2 58 21 23 40 3 59 19 38 30 5 0 1 2 3 4 0 1 4 2 3 0 1 3 2 4 0 2 3 1 4 0 2 4 1 3 0 2 3 1 4 0 2 3 1 4 0 3 1 2 4 0 4 1 2 3 0 4 1 2 3 0 3 1 2 4 0 4 1 2 3 1 3 4 0 2 1 3 0 2 4 1 4 3 0 2 1 2 0 4 3 1 4 0 3 2 1 3 2 4 0 1 3 4 0 2 1 4 2 0 3 1 4 2 0 3 1 4 3 0 2 1 4 3 0 2 1 3 4 0 2 2 4 3 0 1 2 3 0 1 4 2 4 1 3 0 2 3 1 4 0 2 4 1 3 0 2 0 1 3 4 2 0 1 4 3 2 3 0 4 1 2 3 1 4 0 2 0 4 1 3 2 3 4 0 1 2 1 4 0 3 3 0 2 1 4 3 1 0 4 2 3 2 4 1 0 3 2 0 4 1 3 2 0 4 1 3 2 0 4 1 3 2 4 1 0 3 1 0 2 4 3 1 2 4 0 3 1 4 0 2 3 0 4 1 2 3 0 1 4 2 4 0 3 2 1 4 1 0 3 2 4 1 3 2 0 4 1 3 2 0 4 2 3 1 0 4 1 2 3 0 4 2 0 1 3 4 0 2 3 1 4 0 2 3 1 4 0 2 3 1 4 0 2 3 1 4 0 2 3 1 0 5 3 1 4 0 5 3 1 2 0 5 3 1 4 0 5 2 1 3 0 2 4 1 3 0 3 1 2 4 0 4 3 1 2 0 4 2 3 1 0 3 1 4 2 0 2 3 1 4 0 4 1 2 3 1 5 4 3 2 1 4 2 0 3 1 4 2 0 3 1 3 2 4 5 1 3 0 4 5 1 4 2 0 3 1 4 0 3 5 1 4 0 3 2 1 0 2 3 4 1 0 4 3 2 1 3 0 2 5 1 3 2 0 5 2 0 1 4 3 2 1 0 3 4 2 3 1 0 4 2 3 4 0 1 2 4 1 0 3 2 4 3 0 1 2 3 1 0 4 2 0 3 4 1 2 3 5 4 1 2 3 5 0 1 3 0 5 1 4 3 0 5 1 2 3 0 5 4 1 3 2 0 4 1 3 1 0 2 4 3 1 4 2 0 3 2 1 4 0 3 2 4 0 1 3 0 4 1 2 3 1 4 2 0 3 2 0 5 1 3 2 1 5 0 4 3 2 5 1 4 1 0 5 3 4 0 1 5 3 4 2 0 1 3 4 1 3 2 0 4 2 3 1 0 4 1 3 2 0 4 0 1 2 3 4 1 0 3 2 4 0 1 3 2 5 2 4 3 1 5 1 4 3 0 5 1 3 4 0 5 1 2 3 0 5 1 3 2 0 </values>
10.16/4.88	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 (10418 MiB free)
  memory of node 1: 16384 MiB (11775 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292673-1532358680/watcher-4292673-1532358680 -o /tmp/evaluation-result-4292673-1532358680/solver-4292673-1532358680 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532328173-11339 --watchdog 2560 HOME/xcsp3-exec -seed 1766177788 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292673-1532358680.xml 

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

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


[startup+0.100143 s]*
/proc/loadavg: 2.27 2.08 2.06 3/218 16684
/proc/meminfo: memFree=22709076/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14082840 memory=29248 CPUtime=0.12 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 5663 0 0 0 11 1 0 0 20 0 15 0 53431217 14420828160 7312 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3520710 7312 2999 1 0 3483008 0
[pid=16670/tid=16671] ppid=16668 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 3681 0 0 0 8 1 0 0 20 0 15 0 53431217 14420828160 7312 33554432000 4194304 4196468 140728845586624 140393093662512 140393089441174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14082840 memory=3472468122791146704 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14082840 memory=139993895995008 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431219 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) S 16668 16668 11307 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 53431222 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392626538608 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431222 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392625485808 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14082840 memory=139993895995008 CPUtime=0.01 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) R 16668 16668 11307 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 15 0 53431222 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392624433520 140393070666800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14082840 memory=139993895995008 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431223 14420828160 7312 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30704 KiB

[startup+0.210488 s]*
/proc/loadavg: 2.27 2.08 2.06 5/218 16684
/proc/meminfo: memFree=22698640/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14082872 memory=40828 CPUtime=0.34 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 8192 0 0 0 31 3 0 0 20 0 15 0 53431217 14420860928 10152 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3520710 10207 3185 1 0 3483008 0
[pid=16670/tid=16671] ppid=16668 vsize=14087096 memory=5854518564242424225 CPUtime=0.2 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 5453 0 0 0 18 2 0 0 20 0 15 0 53431217 14425186304 10207 33554432000 4194304 4196468 140728845586624 140393093650232 140393073509726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14087096 memory=3472468122791146704 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14087096 memory=139993895995008 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14087096 memory=139993895995008 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53431219 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14087096 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) S 16668 16668 11307 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 15 0 53431222 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392626538608 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14087096 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) S 16668 16668 11307 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 15 0 53431222 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392625485808 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14087096 memory=139993895995008 CPUtime=0.08 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) S 16668 16668 11307 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 15 0 53431222 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392624433520 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14087096 memory=139993895995008 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431223 14425186304 10207 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196000 KiB
Current children cumulated memory: 42284 KiB

[startup+0.310527 s]*
/proc/loadavg: 2.27 2.08 2.06 4/218 16684
/proc/meminfo: memFree=22691444/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14087096 memory=48164 CPUtime=0.53 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 9181 0 0 0 49 4 0 0 20 0 15 0 53431217 14425186304 12041 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3521774 12041 3247 1 0 3483008 0
[pid=16670/tid=16671] ppid=16668 vsize=14087096 memory=8514701219881125277 CPUtime=0.29 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 6155 0 0 0 27 2 0 0 20 0 15 0 53431217 14425186304 12041 33554432000 4194304 4196468 140728845586624 140393093668640 140393089441174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14087096 memory=3472468122791146704 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14087096 memory=139993895995008 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14087096 memory=20 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14087096 memory=139993788065823 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14087096 memory=279987576092416 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53431219 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14087096 memory=139993788042767 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14087096 memory=279987684046944 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14087096 memory=139993788047375 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) S 16668 16668 11307 0 -1 1077944384 542 0 0 0 3 0 0 0 20 0 15 0 53431222 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392626538608 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14087096 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) S 16668 16668 11307 0 -1 1077944384 253 0 0 0 5 0 0 0 20 0 15 0 53431222 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392625485808 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) R 16668 16668 11307 0 -1 4202560 926 0 0 0 12 0 0 0 20 0 15 0 53431222 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392624428784 140393089450586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14087096 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431223 14425186304 12041 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49620 KiB

[startup+0.701571 s]
/proc/loadavg: 2.27 2.08 2.06 7/218 16684
/proc/meminfo: memFree=22660364/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14089252 memory=122468 CPUtime=1.8 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 13509 0 0 0 174 6 0 0 20 0 15 0 53431217 14427394048 30617 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3522313 30617 3331 1 0 3483528 0
[pid=16670/tid=16671] ppid=16668 vsize=14089220 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 6722 0 0 0 64 3 0 0 20 0 15 0 53431217 14427361280 30617 33554432000 4194304 4196468 140728845586624 140393093646336 140393082146343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14089220 memory=8174711894690903605 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14089220 memory=7012755875661107289 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14089220 memory=7666364995466192728 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14089220 memory=2867664571609120 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 53431219 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14089220 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14089252 memory=11960 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14427394048 30617 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14089252 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14427394048 30617 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14089220 memory=792 CPUtime=0.36 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) R 16668 16668 11307 0 -1 4202560 1923 0 0 0 36 0 0 0 20 0 15 0 53431222 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392626525152 140393070973790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14089220 memory=1716 CPUtime=0.34 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) R 16668 16668 11307 0 -1 4202560 1493 0 0 0 34 0 0 0 20 0 15 0 53431222 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392625472352 140393069122302 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14089220 memory=1952 CPUtime=0.39 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) S 16668 16668 11307 0 -1 1077944384 2062 0 0 0 38 1 0 0 20 0 15 0 53431222 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392624433520 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14089220 memory=8392 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14089220 memory=15872 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 30617 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 14202380 KiB
Current children cumulated memory: 123924 KiB

[startup+1.50088 s]
/proc/loadavg: 2.27 2.08 2.06 6/218 16684
/proc/meminfo: memFree=22593940/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0

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

/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14089220 memory=163640 CPUtime=8.05 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 23695 0 0 0 797 8 0 0 20 0 15 0 53431217 14427361280 40910 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3522305 40910 3361 1 0 3483520 0
[pid=16670/tid=16671] ppid=16668 vsize=14089220 memory=0 CPUtime=3.17 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 7899 0 0 0 313 4 0 0 20 0 15 0 53431217 14427361280 40910 33554432000 4194304 4196468 140728845586624 140393093665680 140392706913004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14089220 memory=161288 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14089220 memory=1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 53431219 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14089220 memory=279987576125024 CPUtime=2.12 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) R 16668 16668 11307 0 -1 4202560 6016 0 0 0 211 1 0 0 20 0 15 0 53431222 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392626538608 140393067176602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14089220 memory=279987576129536 CPUtime=2.01 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) S 16668 16668 11307 0 -1 1077944384 4542 0 0 0 201 0 0 0 20 0 15 0 53431222 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392625485808 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14089220 memory=6944656592455097440 CPUtime=0.7 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) S 16668 16668 11307 0 -1 1077944384 3872 0 0 0 69 1 0 0 20 0 15 0 53431222 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392624433520 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14089220 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14089220 memory=139993788061040 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 40910 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 8.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 165096 KiB

[startup+4.00074 s]*
/proc/loadavg: 2.27 2.08 2.06 3/218 16684
/proc/meminfo: memFree=22567916/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14089220 memory=170856 CPUtime=9.22 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 26812 0 0 0 914 8 0 0 20 0 15 0 53431217 14427361280 42714 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3522305 42714 3367 1 0 3483520 0
[pid=16670/tid=16671] ppid=16668 vsize=14089220 memory=27992919332356134 CPUtime=3.97 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 8315 0 0 0 393 4 0 0 20 0 15 0 53431217 14427361280 42714 33554432000 4194304 4196468 140728845586624 140393093665504 140392707293567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14089220 memory=317478098023036544 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14089220 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14089220 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14089220 memory=3471342390216832688 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 53431219 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14089220 memory=3472328296227418159 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14089220 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14089220 memory=4206186544037388384 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14089220 memory=0 CPUtime=2.41 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) S 16668 16668 11307 0 -1 1077944384 8516 0 0 0 240 1 0 0 20 0 15 0 53431222 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392626538608 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14089220 memory=-1 CPUtime=2.08 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) S 16668 16668 11307 0 -1 1077944384 4702 0 0 0 208 0 0 0 20 0 15 0 53431222 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392625485808 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14089220 memory=139993895995008 CPUtime=0.71 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) S 16668 16668 11307 0 -1 1077944384 3891 0 0 0 70 1 0 0 20 0 15 0 53431222 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392624433520 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14089220 memory=279987683952384 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 42714 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 172312 KiB

[startup+4.40079 s]
/proc/loadavg: 2.27 2.08 2.06 3/218 16684
/proc/meminfo: memFree=22567916/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14089220 memory=179204 CPUtime=9.74 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 27732 0 0 0 965 9 0 0 20 0 15 0 53431217 14427361280 44801 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3522305 44801 3367 1 0 3483520 0
[pid=16670/tid=16671] ppid=16668 vsize=14089220 memory=7235147594880805952 CPUtime=4.37 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 8396 0 0 0 432 5 0 0 20 0 15 0 53431217 14427361280 44801 33554432000 4194304 4196468 140728845586624 140393093666000 140392706261255 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14089220 memory=8694653868945418721 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14089220 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14089220 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14089220 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14089220 memory=8548279111395942476 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 53431219 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14089220 memory=8475934422144280176 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14089220 memory=7523107478184158290 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14089220 memory=7380385388137112419 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14089220 memory=7230638415855315543 CPUtime=2.46 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) R 16668 16668 11307 0 -1 4202560 8655 0 0 0 245 1 0 0 20 0 15 0 53431222 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392626538608 140393073816288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14089220 memory=3543267691168346477 CPUtime=2.16 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) S 16668 16668 11307 0 -1 1077944384 5151 0 0 0 215 1 0 0 20 0 15 0 53431222 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392625485808 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14089220 memory=279987576238480 CPUtime=0.72 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) S 16668 16668 11307 0 -1 1077944384 3927 0 0 0 71 1 0 0 20 0 15 0 53431222 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392624433520 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14089220 memory=279987576352016 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 44801 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 9.74 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 180660 KiB

[startup+4.80073 s]
/proc/loadavg: 2.27 2.08 2.06 3/218 16684
/proc/meminfo: memFree=22567916/32770624 swapFree=67108860/67108860
[pid=16668] ppid=16665 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16668/stat : 16668 (xcsp3-exec) S 16665 16668 11307 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 53431217 115843072 364 33554432000 4194304 5098028 140727166600480 140727166598584 140127538373244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23244800 140727166604346 140727166604548 140727166604548 140727166607306 0
/proc/16668/statm: 28282 364 306 221 0 87 0
[pid=16670] ppid=16668 vsize=14089220 memory=181252 CPUtime=10.16 cores=1,3,5,7
/proc/16670/stat : 16670 (java) S 16668 16668 11307 0 -1 1077944320 27749 0 0 0 1007 9 0 0 20 0 15 0 53431217 14427361280 45313 33554432000 4194304 4196468 140728845586624 140728845569168 140393089429239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
/proc/16670/statm: 3522305 45313 3367 1 0 3483520 0
[pid=16670/tid=16671] ppid=16668 vsize=14089220 memory=8392 CPUtime=4.77 cores=1,3,5,7
/proc/16670/task/16671/stat : 16671 (java) R 16668 16668 11307 0 -1 4202560 8403 0 0 0 472 5 0 0 20 0 15 0 53431217 14427361280 45313 33554432000 4194304 4196468 140728845586624 140393093668008 140392705910035 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16672] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16672/stat : 16672 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392684763536 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16673] ppid=16668 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16673/stat : 16673 (java) S 16668 16668 11307 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392683710736 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16674] ppid=16668 vsize=14089220 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16674/stat : 16674 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392682658448 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16675] ppid=16668 vsize=14089220 memory=15538535402837375 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16675/stat : 16675 (java) S 16668 16668 11307 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 53431218 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392681605648 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16676] ppid=16668 vsize=14089220 memory=-8917024364933963883 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16676/stat : 16676 (java) S 16668 16668 11307 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 53431219 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392630749808 140393089440386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16677] ppid=16668 vsize=14089220 memory=-8917024364933963883 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16677/stat : 16677 (java) S 16668 16668 11307 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392629695776 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16678] ppid=16668 vsize=14089220 memory=-8911979745305127543 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16678/stat : 16678 (java) S 16668 16668 11307 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 53431220 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392628643440 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16679] ppid=16668 vsize=14089220 memory=7665518342035235227 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16679/stat : 16679 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431222 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392627591760 140393089447835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16680] ppid=16668 vsize=14089220 memory=-6296406535807005026 CPUtime=2.47 cores=1,3,5,7
/proc/16670/task/16680/stat : 16680 (java) S 16668 16668 11307 0 -1 1077944384 8658 0 0 0 246 1 0 0 20 0 15 0 53431222 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392626538608 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16681] ppid=16668 vsize=14089220 memory=-7012783785031721786 CPUtime=2.17 cores=1,3,5,7
/proc/16670/task/16681/stat : 16681 (java) S 16668 16668 11307 0 -1 1077944384 5158 0 0 0 216 1 0 0 20 0 15 0 53431222 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392625485808 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16682] ppid=16668 vsize=14089220 memory=7662175753007050646 CPUtime=0.72 cores=1,3,5,7
/proc/16670/task/16682/stat : 16682 (java) S 16668 16668 11307 0 -1 1077944384 3927 0 0 0 71 1 0 0 20 0 15 0 53431222 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392624433520 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16683] ppid=16668 vsize=14089220 memory=7665518342035235483 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16683/stat : 16683 (java) S 16668 16668 11307 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392623380960 140393089439445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
[pid=16670/tid=16684] ppid=16668 vsize=14089220 memory=-6297249861225509218 CPUtime=0 cores=1,3,5,7
/proc/16670/task/16684/stat : 16684 (java) S 16668 16668 11307 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 53431223 14427361280 45313 33554432000 4194304 4196468 140728845586624 140392622328752 140393089440386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35889152 140728845595777 140728845595953 140728845595953 140728845598671 0
Current children cumulated CPU time: 10.16 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 182708 KiB

Child status: 0
Real time (s): 4.89745
CPU time (s): 10.2949
CPU user time (s): 10.1971
CPU system time (s): 0.097773
CPU usage (%): 210.21
Max. virtual memory (cumulated for all children) (KiB): 14202380
Max. memory (cumulated for all children) (KiB): 182708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1971
system time used= 0.097773
maximum resident set size= 181676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28915
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= 2381
involuntary context switches= 42


# summary of solver processes directly reported to runsolver:
#   pid: 16668
#   total CPU time (s): 10.2949
#   total CPU user time (s): 10.1971
#   total CPU system time (s): 0.097773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05804 second user time and 0.083207 second system time

The end

Name	MisteryShopper/ MisteryShopper-12_c18.xml
MD5SUM	193461ec87a084283094d7342f0c20d4
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.63089
Satisfiable
(Un)Satisfiability was proved
Number of variables	1200
Number of constraints	741
Number of domains	3
Minimum domain size	5
Maximum domain size	60
Distribution of domain sizes	[{"size":5,"count":300},{"size":6,"count":300},{"size":60,"count":600}]
Minimum variable degree	2
Maximum variable degree	5
Distribution of variable degrees	[{"degree":2,"count":600},{"degree":3,"count":300},{"degree":4,"count":275},{"degree":5,"count":25}]
Minimum constraint arity	2
Maximum constraint arity	300
Distribution of constraint arities	[{"arity":2,"count":600},{"arity":5,"count":125},{"arity":60,"count":10},{"arity":120,"count":5},{"arity":300,"count":1}]
Number of extensional constraints	600
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":600},{"type":"allDifferent","count":130},{"type":"ordered","count":5},{"type":"lex","count":1},{"type":"channel","count":5}]
Optimization problem	NO
Type of objective

Trace number 4292673

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data