2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 5a (2017-07-05)	SAT	43.4696	14.422

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248122-1500691618.xml"  -tl '2400s' -p 8 -x 3
0.00/0.18	c [HOME/instance-4248122-1500691618.xml, -tl, 2400s, -p, 8, -x, 3]
0.00/0.23	c 8 solvers in parallel
0.00/0.30	c parse instance...
34.47/13.22	c solve instance...
42.91/14.39	s SATISFIABLE
42.91/14.39	v <instantiation>
42.91/14.39	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] s </list>
42.91/14.39	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 21 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 18 756 </values>
42.91/14.39	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248122-1500691618/watcher-4248122-1500691618 -o /tmp/evaluation-result-4248122-1500691618/solver-4248122-1500691618 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1880437257 HOME/instance-4248122-1500691618.xml 

pid=28924
running on 8 cores: 1,3,5,7,9,11,13,15

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.91 11.23 11.76 3/262 28927
/proc/meminfo: memFree=22264908/32770624 swapFree=5884/280836
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0

[startup+0.100152 s]
/proc/loadavg: 7.91 11.23 11.76 3/262 28927
/proc/meminfo: memFree=22264908/32770624 swapFree=5884/280836
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200413 s]
/proc/loadavg: 7.91 11.23 11.76 3/262 28927
/proc/meminfo: memFree=22264908/32770624 swapFree=5884/280836
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30029 s]
/proc/loadavg: 7.91 11.23 11.76 3/262 28927
/proc/meminfo: memFree=22264908/32770624 swapFree=5884/280836
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700174 s]
/proc/loadavg: 7.91 11.23 11.76 3/262 28927
/proc/meminfo: memFree=22264908/32770624 swapFree=5884/280836
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50084 s]
/proc/loadavg: 7.91 11.23 11.76 7/283 28948
/proc/meminfo: memFree=21992052/32770624 swapFree=5884/280940
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
[pid=28928] ppid=28927 vsize=13267208 CPUtime=4.86 cores=1,3,5,7,9,11,13,15
/proc/28928/stat : 28928 (java) S 28927 28927 8571 0 -1 1077944320 16780 0 0 0 421 65 0 0 20 0 20 0 4429614 13585620992 112645 33554432000 4194304 4196468 140734316169424 140734316151968 140107388448503 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
/proc/28928/statm: 3316802 112645 3230 1 0 3304035 0
[pid=28928/tid=28929] ppid=28927 vsize=13267208 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28929/stat : 28929 (java) R 28927 28927 8571 0 -1 4202560 6474 0 0 0 124 5 0 0 20 0 20 0 4429614 13585620992 112645 33554432000 4194304 4196468 140734316169424 140107392686080 140107021242228 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28931] ppid=28927 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28931/stat : 28931 (java) S 28927 28927 8571 0 -1 1077944384 73 0 0 0 7 4 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140107341069456 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28932] ppid=28927 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28932/stat : 28932 (java) S 28927 28927 8571 0 -1 1077944384 58 0 0 0 5 6 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140107340016656 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28933] ppid=28927 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28933/stat : 28933 (java) S 28927 28927 8571 0 -1 1077944384 87 0 0 0 8 8 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140107338963856 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28934] ppid=28927 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28934/stat : 28934 (java) S 28927 28927 8571 0 -1 1077944384 81 0 0 0 7 7 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140107337911056 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28935] ppid=28927 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28935/stat : 28935 (java) S 28927 28927 8571 0 -1 1077944384 71 0 0 0 6 7 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106983209616 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28936] ppid=28927 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28936/stat : 28936 (java) S 28927 28927 8571 0 -1 1077944384 76 0 0 0 7 5 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106982156816 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28937] ppid=28927 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28937/stat : 28937 (java) S 28927 28927 8571 0 -1 1077944384 63 0 0 0 6 6 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106981104016 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28938] ppid=28927 vsize=13267208 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28938/stat : 28938 (java) S 28927 28927 8571 0 -1 1077944384 76 0 0 0 7 8 0 0 20 0 20 0 4429615 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106980051216 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28939] ppid=28927 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28939/stat : 28939 (java) S 28927 28927 8571 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4429618 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106850564976 140107388459650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28940] ppid=28927 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28940/stat : 28940 (java) S 28927 28927 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4429618 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106849510944 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28941] ppid=28927 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28941/stat : 28941 (java) S 28927 28927 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4429619 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106848458096 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28942] ppid=28927 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28942/stat : 28942 (java) S 28927 28927 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4429622 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106847406416 140107388467099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28943] ppid=28927 vsize=13267208 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28943/stat : 28943 (java) S 28927 28927 8571 0 -1 1077944384 2442 0 0 0 73 0 0 0 20 0 20 0 4429622 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106846353776 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28944] ppid=28927 vsize=13267208 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28944/stat : 28944 (java) S 28927 28927 8571 0 -1 1077944384 2059 0 0 0 71 0 0 0 20 0 20 0 4429622 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106845300976 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28945] ppid=28927 vsize=13267208 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28945/stat : 28945 (java) S 28927 28927 8571 0 -1 1077944384 2160 0 0 0 63 1 0 0 20 0 20 0 4429622 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106844248176 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28946] ppid=28927 vsize=13267208 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28946/stat : 28946 (java) S 28927 28927 8571 0 -1 1077944384 1555 0 0 0 32 0 0 0 20 0 20 0 4429622 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106843195376 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28947] ppid=28927 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28947/stat : 28947 (java) S 28927 28927 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4429622 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106842143840 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28948] ppid=28927 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28948/stat : 28948 (java) S 28927 28927 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4429623 13585620992 112645 33554432000 4194304 4196468 140734316169424 140106841091120 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 13276720

[startup+3.10082 s]
/proc/loadavg: 7.91 11.23 11.76 6/283 28948
/proc/meminfo: memFree=21623228/32770624 swapFree=5884/280940
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
[pid=28928] ppid=28927 vsize=13269256 CPUtime=10.51 cores=1,3,5,7,9,11,13,15
/proc/28928/stat : 28928 (java) S 28927 28927 8571 0 -1 1077944320 20409 0 0 0 934 117 0 0 20 0 20 0 4429614 13587718144 197108 33554432000 4194304 4196468 140734316169424 140734316151968 140107388448503 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
/proc/28928/statm: 3317314 197108 3261 1 0 3304547 0
[pid=28928/tid=28929] ppid=28927 vsize=13269256 CPUtime=2.75 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28929/stat : 28929 (java) S 28927 28927 8571 0 -1 1077944384 7375 0 0 0 266 9 0 0 20 0 20 0 4429614 13587718144 197108 33554432000 4194304 4196468 140734316169424 140107392686192 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28931] ppid=28927 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28931/stat : 28931 (java) R 28927 28927 8571 0 -1 4202560 103 0 0 0 11 8 0 0 20 0 20 0 4429615 13587718144 197108 33554432000 4194304 4196468 140734316169424 140107341069344 140107370074528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28932] ppid=28927 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28932/stat : 28932 (java) R 28927 28927 8571 0 -1 4202560 134 0 0 0 10 11 0 0 20 0 20 0 4429615 13587718144 197141 33554432000 4194304 4196468 140734316169424 140107340016856 140107373476350 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28933] ppid=28927 vsize=13269256 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28933/stat : 28933 (java) R 28927 28927 8571 0 -1 4202560 230 0 0 0 16 14 0 0 20 0 20 0 4429615 13587718144 197141 33554432000 4194304 4196468 140734316169424 140107338964056 140107381548350 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28934] ppid=28927 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28934/stat : 28934 (java) R 28927 28927 8571 0 -1 4202560 137 0 0 0 13 14 0 0 20 0 20 0 4429615 13587718144 197174 33554432000 4194304 4196468 140734316169424 140107337911256 140107381545339 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28935] ppid=28927 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28935/stat : 28935 (java) R 28927 28927 8571 0 -1 4202560 197 0 0 0 13 14 0 0 20 0 20 0 4429615 13587718144 197174 33554432000 4194304 4196468 140734316169424 140106983209816 140107373476386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28936] ppid=28927 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28936/stat : 28936 (java) R 28927 28927 8571 0 -1 4202560 192 0 0 0 15 10 0 0 20 0 20 0 4429615 13587718144 197194 33554432000 4194304 4196468 140734316169424 140106982157016 140107381548350 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28937] ppid=28927 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28937/stat : 28937 (java) R 28927 28927 8571 0 -1 4202560 160 0 0 0 12 13 0 0 20 0 20 0 4429615 13587718144 197256 33554432000 4194304 4196468 140734316169424 140106981104216 140107373476350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28938] ppid=28927 vsize=13269256 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28938/stat : 28938 (java) R 28927 28927 8571 0 -1 4202560 228 0 0 0 14 15 0 0 20 0 20 0 4429615 13587718144 197256 33554432000 4194304 4196468 140734316169424 140106980051416 140107381548350 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28939] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28939/stat : 28939 (java) S 28927 28927 8571 0 -1 1077944384 512 0 0 0 0 0 0 0 20 0 20 0 4429618 13587718144 197256 33554432000 4194304 4196468 140734316169424 140106850563488 140107388458709 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28940] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28940/stat : 28940 (java) S 28927 28927 8571 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4429618 13587718144 197256 33554432000 4194304 4196468 140734316169424 140106849511008 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28941] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28941/stat : 28941 (java) S 28927 28927 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4429619 13587718144 197256 33554432000 4194304 4196468 140734316169424 140106848458112 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28942] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28942/stat : 28942 (java) S 28927 28927 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4429622 13587718144 197256 33554432000 4194304 4196468 140734316169424 140106847406416 140107388467099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28943] ppid=28927 vsize=13269256 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28943/stat : 28943 (java) S 28927 28927 8571 0 -1 1077944384 2951 0 0 0 164 0 0 0 20 0 20 0 4429622 13587718144 197256 33554432000 4194304 4196468 140734316169424 140106846353776 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28944] ppid=28927 vsize=13269256 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28944/stat : 28944 (java) S 28927 28927 8571 0 -1 1077944384 2251 0 0 0 160 0 0 0 20 0 20 0 4429622 13587718144 197768 33554432000 4194304 4196468 140734316169424 140106845300976 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28945] ppid=28927 vsize=13269256 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28945/stat : 28945 (java) R 28927 28927 8571 0 -1 4202560 2697 0 0 0 169 1 0 0 20 0 20 0 4429622 13587718144 197768 33554432000 4194304 4196468 140734316169424 140106844234056 140107369968182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28946] ppid=28927 vsize=13269256 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28946/stat : 28946 (java) S 28927 28927 8571 0 -1 1077944384 2116 0 0 0 65 0 0 0 20 0 20 0 4429622 13587718144 197768 33554432000 4194304 4196468 140734316169424 140106843195376 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28947] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28947/stat : 28947 (java) S 28927 28927 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4429622 13587718144 197768 33554432000 4194304 4196468 140734316169424 140106842143840 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28948] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28948/stat : 28948 (java) S 28927 28927 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4429623 13587718144 197768 33554432000 4194304 4196468 140734316169424 140106841091120 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
Current children cumulated CPU time (s) 10.51
Current children cumulated vsize (KiB) 13278768

[startup+6.3009 s]
/proc/loadavg: 7.43 11.08 11.71 6/283 28948
/proc/meminfo: memFree=20697296/32770624 swapFree=5884/280948
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
[pid=28928] ppid=28927 vsize=13269256 CPUtime=18 cores=1,3,5,7,9,11,13,15
/proc/28928/stat : 28928 (java) S 28927 28927 8571 0 -1 1077944320 35522 0 0 0 1497 303 0 0 20 0 20 0 4429614 13587718144 420595 33554432000 4194304 4196468 140734316169424 140734316151968 140107388448503 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
/proc/28928/statm: 3317314 421107 3261 1 0 3304547 0
[pid=28928/tid=28929] ppid=28927 vsize=13269256 CPUtime=5.51 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28929/stat : 28929 (java) R 28927 28927 8571 0 -1 4202560 9452 0 0 0 534 17 0 0 20 0 20 0 4429614 13587718144 421107 33554432000 4194304 4196468 140734316169424 140107392683344 140107024604190 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28931] ppid=28927 vsize=13269256 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28931/stat : 28931 (java) S 28927 28927 8571 0 -1 1077944384 370 0 0 0 28 30 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140107341069456 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28932] ppid=28927 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28932/stat : 28932 (java) S 28927 28927 8571 0 -1 1077944384 438 0 0 0 30 34 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140107340016656 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28933] ppid=28927 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28933/stat : 28933 (java) S 28927 28927 8571 0 -1 1077944384 461 0 0 0 33 34 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140107338963856 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28934] ppid=28927 vsize=13269256 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28934/stat : 28934 (java) S 28927 28927 8571 0 -1 1077944384 473 0 0 0 31 37 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140107337911056 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28935] ppid=28927 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28935/stat : 28935 (java) S 28927 28927 8571 0 -1 1077944384 444 0 0 0 31 38 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106983209616 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28936] ppid=28927 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28936/stat : 28936 (java) S 28927 28927 8571 0 -1 1077944384 376 0 0 0 32 30 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106982156816 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28937] ppid=28927 vsize=13269256 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28937/stat : 28937 (java) S 28927 28927 8571 0 -1 1077944384 992 0 0 0 32 36 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106981104016 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28938] ppid=28927 vsize=13269256 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28938/stat : 28938 (java) S 28927 28927 8571 0 -1 1077944384 548 0 0 0 34 37 0 0 20 0 20 0 4429615 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106980051216 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28939] ppid=28927 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28939/stat : 28939 (java) S 28927 28927 8571 0 -1 1077944384 1363 0 0 0 1 0 0 0 20 0 20 0 4429618 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106850564976 140107388459650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28940] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28940/stat : 28940 (java) S 28927 28927 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4429618 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106849511008 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28941] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28941/stat : 28941 (java) S 28927 28927 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4429619 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106848458112 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28942] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28942/stat : 28942 (java) S 28927 28927 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4429622 13587718144 421107 33554432000 4194304 4196468 140734316169424 140106847406416 140107388467099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0

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

??? kill 28927 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+12.8011 s]
/proc/loadavg: 7.72 11.08 11.70 17/291 28956
/proc/meminfo: memFree=18878556/32770624 swapFree=5884/280960
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
[pid=28928] ppid=28927 vsize=13269256 CPUtime=34.06 cores=1,3,5,7,9,11,13,15
/proc/28928/stat : 28928 (java) S 28927 28927 8571 0 -1 1077944320 41539 0 0 0 2798 608 0 0 20 0 20 0 4429614 13587718144 843725 33554432000 4194304 4196468 140734316169424 140734316151968 140107388448503 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
/proc/28928/statm: 3317314 843725 3277 1 0 3304547 0
[pid=28928/tid=28929] ppid=28927 vsize=13269256 CPUtime=10.68 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28929/stat : 28929 (java) R 28927 28927 8571 0 -1 4202560 10380 0 0 0 1035 33 0 0 20 0 20 0 4429614 13587718144 843725 33554432000 4194304 4196468 140734316169424 140107392686904 140107022132485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28931] ppid=28927 vsize=13269256 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28931/stat : 28931 (java) S 28927 28927 8571 0 -1 1077944384 671 0 0 0 110 70 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140107341069456 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28932] ppid=28927 vsize=13269256 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28932/stat : 28932 (java) S 28927 28927 8571 0 -1 1077944384 863 0 0 0 116 73 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140107340016656 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28933] ppid=28927 vsize=13269256 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28933/stat : 28933 (java) S 28927 28927 8571 0 -1 1077944384 811 0 0 0 125 68 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140107338963856 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28934] ppid=28927 vsize=13269256 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28934/stat : 28934 (java) S 28927 28927 8571 0 -1 1077944384 946 0 0 0 115 77 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140107337911056 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28935] ppid=28927 vsize=13269256 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28935/stat : 28935 (java) S 28927 28927 8571 0 -1 1077944384 881 0 0 0 118 74 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106983209616 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28936] ppid=28927 vsize=13269256 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28936/stat : 28936 (java) S 28927 28927 8571 0 -1 1077944384 986 0 0 0 120 67 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106982156816 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28937] ppid=28927 vsize=13269256 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28937/stat : 28937 (java) S 28927 28927 8571 0 -1 1077944384 1367 0 0 0 128 63 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106981104016 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28938] ppid=28927 vsize=13269256 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28938/stat : 28938 (java) S 28927 28927 8571 0 -1 1077944384 855 0 0 0 122 74 0 0 20 0 20 0 4429615 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106980051216 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28939] ppid=28927 vsize=13269256 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28939/stat : 28939 (java) S 28927 28927 8571 0 -1 1077944384 2955 0 0 0 9 0 0 0 20 0 20 0 4429618 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106850564976 140107388459650 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28940] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28940/stat : 28940 (java) S 28927 28927 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4429618 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106849511008 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28941] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28941/stat : 28941 (java) S 28927 28927 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 4429619 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106848458112 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28942] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28942/stat : 28942 (java) S 28927 28927 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4429622 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106847406416 140107388467099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28943] ppid=28927 vsize=13269256 CPUtime=2.24 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28943/stat : 28943 (java) S 28927 28927 8571 0 -1 1077944384 5549 0 0 0 224 0 0 0 20 0 20 0 4429622 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106846353776 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28944] ppid=28927 vsize=13269256 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28944/stat : 28944 (java) S 28927 28927 8571 0 -1 1077944384 4737 0 0 0 236 1 0 0 20 0 20 0 4429622 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106845300976 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28945] ppid=28927 vsize=13269256 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28945/stat : 28945 (java) S 28927 28927 8571 0 -1 1077944384 5694 0 0 0 257 1 0 0 20 0 20 0 4429622 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106844248176 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28946] ppid=28927 vsize=13269256 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28946/stat : 28946 (java) S 28927 28927 8571 0 -1 1077944384 3484 0 0 0 78 1 0 0 20 0 20 0 4429622 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106843195376 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28947] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28947/stat : 28947 (java) S 28927 28927 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4429622 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106842143840 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28948] ppid=28927 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28948/stat : 28948 (java) S 28927 28927 8571 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4429623 13587718144 843725 33554432000 4194304 4196468 140734316169424 140106841091120 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
Current children cumulated CPU time (s) 34.06
Current children cumulated vsize (KiB) 13278768

[startup+13.6012 s]
/proc/loadavg: 7.90 11.06 11.69 13/291 28956
/proc/meminfo: memFree=18816744/32770624 swapFree=5884/280960
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
[pid=28928] ppid=28927 vsize=13801768 CPUtime=37.3 cores=1,3,5,7,9,11,13,15
/proc/28928/stat : 28928 (java) S 28927 28927 8571 0 -1 1077944320 42199 0 0 0 3121 609 0 0 20 0 28 0 4429614 14133010432 843845 33554432000 4194304 4196468 140734316169424 140734316151968 140107388448503 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
/proc/28928/statm: 3450442 843845 3277 1 0 3437675 0
[pid=28928/tid=28929] ppid=28927 vsize=13801768 CPUtime=11.13 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28929/stat : 28929 (java) S 28927 28927 8571 0 -1 1077944384 10499 0 0 0 1080 33 0 0 20 0 28 0 4429614 14133010432 843845 33554432000 4194304 4196468 140734316169424 140107392689280 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28931] ppid=28927 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28931/stat : 28931 (java) S 28927 28927 8571 0 -1 1077944384 671 0 0 0 110 70 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140107341069456 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28932] ppid=28927 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28932/stat : 28932 (java) S 28927 28927 8571 0 -1 1077944384 863 0 0 0 116 73 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140107340016656 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28933] ppid=28927 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28933/stat : 28933 (java) S 28927 28927 8571 0 -1 1077944384 811 0 0 0 125 68 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140107338963856 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28934] ppid=28927 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28934/stat : 28934 (java) S 28927 28927 8571 0 -1 1077944384 946 0 0 0 115 77 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140107337911056 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28935] ppid=28927 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28935/stat : 28935 (java) S 28927 28927 8571 0 -1 1077944384 881 0 0 0 118 74 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106983209616 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28936] ppid=28927 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28936/stat : 28936 (java) S 28927 28927 8571 0 -1 1077944384 986 0 0 0 120 67 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106982156816 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28937] ppid=28927 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28937/stat : 28937 (java) S 28927 28927 8571 0 -1 1077944384 1367 0 0 0 128 63 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106981104016 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28938] ppid=28927 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28938/stat : 28938 (java) S 28927 28927 8571 0 -1 1077944384 855 0 0 0 122 74 0 0 20 0 28 0 4429615 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106980051216 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28939] ppid=28927 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28939/stat : 28939 (java) S 28927 28927 8571 0 -1 1077944384 2959 0 0 0 9 0 0 0 20 0 28 0 4429618 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106850564976 140107388459650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28940] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28940/stat : 28940 (java) S 28927 28927 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4429618 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106849511008 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28941] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28941/stat : 28941 (java) S 28927 28927 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4429619 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106848458112 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28942] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28942/stat : 28942 (java) S 28927 28927 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4429622 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106847406416 140107388467099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28943] ppid=28927 vsize=13801768 CPUtime=2.47 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28943/stat : 28943 (java) R 28927 28927 8571 0 -1 4202560 5562 0 0 0 246 1 0 0 20 0 28 0 4429622 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106846339744 140107369969697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28944] ppid=28927 vsize=13801768 CPUtime=2.66 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28944/stat : 28944 (java) S 28927 28927 8571 0 -1 1077944384 4767 0 0 0 265 1 0 0 20 0 28 0 4429622 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106845289216 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28945] ppid=28927 vsize=13801768 CPUtime=2.82 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28945/stat : 28945 (java) R 28927 28927 8571 0 -1 1077944384 5703 0 0 0 281 1 0 0 20 0 28 0 4429622 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106844239152 140107388458709 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28946] ppid=28927 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28946/stat : 28946 (java) R 28927 28927 8571 0 -1 4202560 3612 0 0 0 90 1 0 0 20 0 28 0 4429622 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106843195376 140107369858511 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28947] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28947/stat : 28947 (java) S 28927 28927 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4429622 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106842143840 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28948] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28948/stat : 28948 (java) S 28927 28927 8571 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4429623 14133010432 843845 33554432000 4194304 4196468 140734316169424 140106841091120 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
Current children cumulated CPU time (s) 37.3
Current children cumulated vsize (KiB) 13811280

[startup+14.0012 s]
/proc/loadavg: 7.90 11.06 11.69 13/291 28956
/proc/meminfo: memFree=18816744/32770624 swapFree=5884/280960
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
[pid=28928] ppid=28927 vsize=13801768 CPUtime=40.43 cores=1,3,5,7,9,11,13,15
/proc/28928/stat : 28928 (java) S 28927 28927 8571 0 -1 1077944320 45267 0 0 0 3433 610 0 0 20 0 28 0 4429614 14133010432 846100 33554432000 4194304 4196468 140734316169424 140734316151968 140107388448503 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
/proc/28928/statm: 3450442 846100 3280 1 0 3437675 0
[pid=28928/tid=28929] ppid=28927 vsize=13801768 CPUtime=11.13 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28929/stat : 28929 (java) S 28927 28927 8571 0 -1 1077944384 10499 0 0 0 1080 33 0 0 20 0 28 0 4429614 14133010432 846100 33554432000 4194304 4196468 140734316169424 140107392689280 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28931] ppid=28927 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28931/stat : 28931 (java) S 28927 28927 8571 0 -1 1077944384 671 0 0 0 110 70 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140107341069456 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28932] ppid=28927 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28932/stat : 28932 (java) S 28927 28927 8571 0 -1 1077944384 863 0 0 0 116 73 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140107340016656 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28933] ppid=28927 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28933/stat : 28933 (java) S 28927 28927 8571 0 -1 1077944384 811 0 0 0 125 68 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140107338963856 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28934] ppid=28927 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28934/stat : 28934 (java) S 28927 28927 8571 0 -1 1077944384 946 0 0 0 115 77 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140107337911056 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28935] ppid=28927 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28935/stat : 28935 (java) S 28927 28927 8571 0 -1 1077944384 881 0 0 0 118 74 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106983209616 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28936] ppid=28927 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28936/stat : 28936 (java) S 28927 28927 8571 0 -1 1077944384 986 0 0 0 120 67 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106982156816 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28937] ppid=28927 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28937/stat : 28937 (java) S 28927 28927 8571 0 -1 1077944384 1367 0 0 0 128 63 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106981104016 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28938] ppid=28927 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28938/stat : 28938 (java) S 28927 28927 8571 0 -1 1077944384 855 0 0 0 122 74 0 0 20 0 28 0 4429615 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106980051216 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28939] ppid=28927 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28939/stat : 28939 (java) S 28927 28927 8571 0 -1 1077944384 2959 0 0 0 9 0 0 0 20 0 28 0 4429618 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106850564976 140107388459650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28940] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28940/stat : 28940 (java) S 28927 28927 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4429618 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106849511008 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28941] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28941/stat : 28941 (java) S 28927 28927 8571 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 4429619 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106848458112 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28942] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28942/stat : 28942 (java) S 28927 28927 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4429622 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106847406416 140107388467099 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28943] ppid=28927 vsize=13801768 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28943/stat : 28943 (java) R 28927 28927 8571 0 -1 4202560 6633 0 0 0 266 1 0 0 20 0 28 0 4429622 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106846339960 140107372354508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28944] ppid=28927 vsize=13801768 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28944/stat : 28944 (java) R 28927 28927 8571 0 -1 4202560 5136 0 0 0 291 1 0 0 20 0 28 0 4429622 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106845282736 140107369148800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28945] ppid=28927 vsize=13801768 CPUtime=3.11 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28945/stat : 28945 (java) D 28927 28927 8571 0 -1 4202560 6837 0 0 0 310 1 0 0 20 0 28 0 4429622 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106844234720 140107372842379 0 4 0 16800975 18446744071582151416 0 0 -1 11 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28946] ppid=28927 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28946/stat : 28946 (java) D 28927 28927 8571 0 -1 4202560 3936 0 0 0 97 1 0 0 20 0 28 0 4429622 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106843191864 140107367074367 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28947] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28947/stat : 28947 (java) S 28927 28927 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4429622 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106842143840 140107388458709 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
[pid=28928/tid=28948] ppid=28927 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28948/stat : 28948 (java) S 28927 28927 8571 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 4429623 14133010432 846100 33554432000 4194304 4196468 140734316169424 140106841091120 140107388459650 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20680704 140734316176572 140734316176748 140734316176748 140734316179407 0
Current children cumulated CPU time (s) 40.43
Current children cumulated vsize (KiB) 13811280

[startup+14.4156 s]
/proc/loadavg: 7.90 11.06 11.69 20/299 28964
/proc/meminfo: memFree=18799504/32770624 swapFree=5884/280964
[pid=28927] ppid=28924 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28927/stat : 28927 (xcsp3-exec) S 28924 28927 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4429614 9740288 345 33554432000 4194304 5098028 140722922462336 140722922460440 139697366774396 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 37707776 140722922464398 140722922464608 140722922464608 140722922467307 0
/proc/28927/statm: 2378 345 289 221 0 87 0
[pid=28928] ppid=28927 vsize=0 CPUtime=43.45 cores=1,3,5,7,9,11,13,15
/proc/28928/stat : 28928 (java) Z 28927 28927 8571 0 -1 4227084 47845 0 0 0 3733 612 0 0 20 0 2 0 4429614 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/28928/statm: 0 0 0 0 0 0 0
[pid=28928/tid=28947] ppid=28927 vsize=0 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28928/task/28947/stat : 28947 (java) R 28927 28927 8571 0 -1 4203588 3 0 0 0 0 0 0 0 20 0 2 0 4429622 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 43.45
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 14.422
CPU time (s): 43.4696
CPU user time (s): 37.3348
CPU system time (s): 6.13485
CPU usage (%): 301.413
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.3348
system time used= 6.13485
maximum resident set size= 3393756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48373
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= 5231
involuntary context switches= 3178

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.121096 second user time and 0.15992 second system time

The end

Launcher Data

Begin job on node126 at 2017-07-22 04:46:58
IDJOB=4248122
IDBENCH=133121
IDSOLVER=2626
FILE ID=node126/4248122-1500691618
RUNJOBID= node126-1500683384-8603
PBS_JOBID= 20623339
Free space on /tmp= 61968 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-039.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248122-1500691618/watcher-4248122-1500691618 -o /tmp/evaluation-result-4248122-1500691618/solver-4248122-1500691618 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1880437257 HOME/instance-4248122-1500691618.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 3424e6604ecfe46c0dbee75043c16945
RANDOM SEED=1880437257

node126.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        22265364 kB
MemAvailable:   22429076 kB
Buffers:          112332 kB
Cached:           333748 kB
SwapCached:            0 kB
Active:          9771960 kB
Inactive:         289492 kB
Active(anon):    9617900 kB
Inactive(anon):     8656 kB
Active(file):     154060 kB
Inactive(file):   280836 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             13856 kB
Writeback:             0 kB
AnonPages:       9538288 kB
Mapped:            42568 kB
Shmem:              8840 kB
Slab:             123588 kB
SReclaimable:      89304 kB
SUnreclaim:        34284 kB
KernelStack:        4864 kB
PageTables:        24300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10277888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9304064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61960 MiB
End job on node126 at 2017-07-22 04:47:13

Name	DiamondFree/DiamondFree-m1-s1/ DiamondFree-039.xml
MD5SUM	3424e6604ecfe46c0dbee75043c16945
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	6.3214998
Satisfiable
(Un)Satisfiability was proved
Number of variables	1561
Number of constraints	83775
Number of domains	4
Minimum domain size	1
Maximum domain size	120
Distribution of domain sizes	[{"size":1,"count":39},{"size":2,"count":1482},{"size":12,"count":39},{"size":120,"count":1}]
Minimum variable degree	1
Maximum variable degree	670
Distribution of variable degrees	[{"degree":1,"count":1},{"degree":2,"count":39},{"degree":3,"count":39},{"degree":4,"count":741},{"degree":670,"count":741}]
Minimum constraint arity	2
Maximum constraint arity	1521
Distribution of constraint arities	[{"arity":2,"count":1482},{"arity":6,"count":82251},{"arity":39,"count":1},{"arity":40,"count":40},{"arity":1521,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1482
Distribution of constraint types	[{"type":"intension","count":1482},{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":82291}]
Optimization problem	NO
Type of objective

Trace number 4248122

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data