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 4.0.5 (2017-07-05)	SAT	43.8826	15.0113

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4248121-1500691336.xml"  -tl '2400s' -p 8 -x 0
0.00/0.19	c [HOME/instance-4248121-1500691336.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.24	c 8 solvers in parallel
0.00/0.31	c parse instance...
34.30/13.72	c solve instance...
43.28/14.98	s SATISFIABLE
43.28/14.98	v <instantiation>
43.28/14.98	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>
43.28/14.98	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>
43.28/14.98	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-4248121-1500691336/watcher-4248121-1500691336 -o /tmp/evaluation-result-4248121-1500691336/solver-4248121-1500691336 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2084561188 HOME/instance-4248121-1500691336.xml 

pid=6051
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: 8.89 11.28 12.78 10/263 6054
/proc/meminfo: memFree=22228324/32770624 swapFree=5800/278812
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0

[startup+0.100128 s]
/proc/loadavg: 8.89 11.28 12.78 10/263 6054
/proc/meminfo: memFree=22228324/32770624 swapFree=5800/278812
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200321 s]
/proc/loadavg: 8.89 11.28 12.78 10/263 6054
/proc/meminfo: memFree=22228324/32770624 swapFree=5800/278812
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300281 s]
/proc/loadavg: 8.89 11.28 12.78 10/263 6054
/proc/meminfo: memFree=22228324/32770624 swapFree=5800/278812
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700187 s]
/proc/loadavg: 8.89 11.28 12.78 10/263 6054
/proc/meminfo: memFree=22228324/32770624 swapFree=5800/278812
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50091 s]
/proc/loadavg: 8.58 11.18 12.74 2/284 6075
/proc/meminfo: memFree=21970184/32770624 swapFree=5800/278944
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
[pid=6055] ppid=6054 vsize=13267208 CPUtime=4.4 cores=1,3,5,7,9,11,13,15
/proc/6055/stat : 6055 (java) S 6054 6054 7621 0 -1 1077944320 17317 0 0 0 392 48 0 0 20 0 20 0 4401363 13585620992 92362 33554432000 4194304 4196468 140729962190656 140729962173200 139953444835063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
/proc/6055/statm: 3316802 92362 3220 1 0 3304035 0
[pid=6055/tid=6056] ppid=6054 vsize=13267208 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6056/stat : 6056 (java) R 6054 6054 7621 0 -1 4202560 6459 0 0 0 109 5 0 0 20 0 20 0 4401363 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953449070616 139953073315518 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6058] ppid=6054 vsize=13267208 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6058/stat : 6058 (java) S 6054 6054 7621 0 -1 1077944384 35 0 0 0 2 4 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953397455120 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6059] ppid=6054 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6059/stat : 6059 (java) S 6054 6054 7621 0 -1 1077944384 55 0 0 0 4 6 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953396402576 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6060] ppid=6054 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6060/stat : 6060 (java) S 6054 6054 7621 0 -1 1077944384 44 0 0 0 4 6 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953395350032 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6061] ppid=6054 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6061/stat : 6061 (java) S 6054 6054 7621 0 -1 1077944384 45 0 0 0 5 4 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953394297488 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6062] ppid=6054 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6062/stat : 6062 (java) S 6054 6054 7621 0 -1 1077944384 50 0 0 0 6 3 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953393244944 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6063] ppid=6054 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6063/stat : 6063 (java) S 6054 6054 7621 0 -1 1077944384 47 0 0 0 4 5 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953392192400 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6064] ppid=6054 vsize=13267208 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6064/stat : 6064 (java) S 6054 6054 7621 0 -1 1077944384 35 0 0 0 3 3 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953391139856 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6065] ppid=6054 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6065/stat : 6065 (java) S 6054 6054 7621 0 -1 1077944384 44 0 0 0 4 5 0 0 20 0 20 0 4401364 13585620992 92362 33554432000 4194304 4196468 140729962190656 139953390087312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6066] ppid=6054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6066/stat : 6066 (java) S 6054 6054 7621 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 4401366 13585620992 92362 33554432000 4194304 4196468 140729962190656 139952772823024 139953444846210 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6067] ppid=6054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6067/stat : 6067 (java) S 6054 6054 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4401366 13585620992 92362 33554432000 4194304 4196468 140729962190656 139952771769248 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6068] ppid=6054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6068/stat : 6068 (java) S 6054 6054 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4401367 13585620992 92362 33554432000 4194304 4196468 140729962190656 139952770716656 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6069] ppid=6054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6069/stat : 6069 (java) S 6054 6054 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4401370 13585620992 92362 33554432000 4194304 4196468 140729962190656 139952769665232 139953444853659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6070] ppid=6054 vsize=13267208 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6070/stat : 6070 (java) R 6054 6054 7621 0 -1 4202560 2657 0 0 0 75 0 0 0 20 0 20 0 4401370 13585620992 92362 33554432000 4194304 4196468 140729962190656 139952768594416 139953428331488 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6071] ppid=6054 vsize=13267208 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6071/stat : 6071 (java) R 6054 6054 7621 0 -1 4202560 2554 0 0 0 71 0 0 0 20 0 20 0 4401370 13585620992 92362 33554432000 4194304 4196468 140729962190656 139952767546768 139953426379713 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6072] ppid=6054 vsize=13267208 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6072/stat : 6072 (java) S 6054 6054 7621 0 -1 1077944384 2214 0 0 0 65 0 0 0 20 0 20 0 4401370 13585620992 92362 33554432000 4194304 4196468 140729962190656 139952766507760 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6073] ppid=6054 vsize=13267208 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6073/stat : 6073 (java) S 6054 6054 7621 0 -1 1077944384 1695 0 0 0 35 0 0 0 20 0 20 0 4401370 13585620992 92874 33554432000 4194304 4196468 140729962190656 139952765455216 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6074] ppid=6054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6074/stat : 6074 (java) S 6054 6054 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4401370 13585620992 92874 33554432000 4194304 4196468 140729962190656 139952764401888 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6075] ppid=6054 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6075/stat : 6075 (java) S 6054 6054 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4401370 13585620992 92874 33554432000 4194304 4196468 140729962190656 139952763349424 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 13276720

[startup+3.10083 s]
/proc/loadavg: 8.58 11.18 12.74 5/284 6075
/proc/meminfo: memFree=21675472/32770624 swapFree=5800/278940
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
[pid=6055] ppid=6054 vsize=13269256 CPUtime=9.41 cores=1,3,5,7,9,11,13,15
/proc/6055/stat : 6055 (java) S 6054 6054 7621 0 -1 1077944320 20876 0 0 0 854 87 0 0 20 0 20 0 4401363 13587718144 176062 33554432000 4194304 4196468 140729962190656 140729962173200 139953444835063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
/proc/6055/statm: 3317314 176062 3261 1 0 3304547 0
[pid=6055/tid=6056] ppid=6054 vsize=13269256 CPUtime=2.62 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6056/stat : 6056 (java) R 6054 6054 7621 0 -1 4202560 7364 0 0 0 253 9 0 0 20 0 20 0 4401363 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953449072920 139953076615183 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6058] ppid=6054 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6058/stat : 6058 (java) S 6054 6054 7621 0 -1 1077944384 151 0 0 0 9 9 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953397455120 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6059] ppid=6054 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6059/stat : 6059 (java) S 6054 6054 7621 0 -1 1077944384 91 0 0 0 7 9 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953396402576 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6060] ppid=6054 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6060/stat : 6060 (java) S 6054 6054 7621 0 -1 1077944384 95 0 0 0 9 10 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953395350032 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6061] ppid=6054 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6061/stat : 6061 (java) S 6054 6054 7621 0 -1 1077944384 136 0 0 0 10 9 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953394297488 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6062] ppid=6054 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6062/stat : 6062 (java) S 6054 6054 7621 0 -1 1077944384 93 0 0 0 10 7 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953393244944 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6063] ppid=6054 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6063/stat : 6063 (java) S 6054 6054 7621 0 -1 1077944384 120 0 0 0 10 10 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953392192400 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6064] ppid=6054 vsize=13269256 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6064/stat : 6064 (java) S 6054 6054 7621 0 -1 1077944384 116 0 0 0 8 7 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953391139856 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6065] ppid=6054 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6065/stat : 6065 (java) S 6054 6054 7621 0 -1 1077944384 96 0 0 0 8 9 0 0 20 0 20 0 4401364 13587718144 176062 33554432000 4194304 4196468 140729962190656 139953390087312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6066] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6066/stat : 6066 (java) S 6054 6054 7621 0 -1 1077944384 513 0 0 0 0 0 0 0 20 0 20 0 4401366 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952772823024 139953444846210 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6067] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6067/stat : 6067 (java) S 6054 6054 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4401366 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952771769312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6068] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6068/stat : 6068 (java) S 6054 6054 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4401367 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952770716672 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6069] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6069/stat : 6069 (java) S 6054 6054 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4401370 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952769665232 139953444853659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6070] ppid=6054 vsize=13269256 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6070/stat : 6070 (java) R 6054 6054 7621 0 -1 4202560 3133 0 0 0 167 0 0 0 20 0 20 0 4401370 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952768612848 139953424491472 0 4 0 16800975 0 0 0 -1 9 0 0 21 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6071] ppid=6054 vsize=13269256 CPUtime=1.5 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6071/stat : 6071 (java) R 6054 6054 7621 0 -1 4202560 2998 0 0 0 149 1 0 0 20 0 20 0 4401370 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952767560224 139953426356772 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6072] ppid=6054 vsize=13269256 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6072/stat : 6072 (java) R 6054 6054 7621 0 -1 4202560 2357 0 0 0 139 0 0 0 20 0 20 0 4401370 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952766498160 139953429730967 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6073] ppid=6054 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6073/stat : 6073 (java) S 6054 6054 7621 0 -1 1077944384 2314 0 0 0 67 0 0 0 20 0 20 0 4401370 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952765455216 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6074] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6074/stat : 6074 (java) S 6054 6054 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4401370 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952764401888 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6075] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6075/stat : 6075 (java) S 6054 6054 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4401370 13587718144 176062 33554432000 4194304 4196468 140729962190656 139952763349424 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 13278768

[startup+6.30121 s]
/proc/loadavg: 8.61 11.14 12.72 17/284 6075
/proc/meminfo: memFree=20675180/32770624 swapFree=5800/278948
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
[pid=6055] ppid=6054 vsize=13269256 CPUtime=17.51 cores=1,3,5,7,9,11,13,15
/proc/6055/stat : 6055 (java) S 6054 6054 7621 0 -1 1077944320 34912 0 0 0 1439 312 0 0 20 0 20 0 4401363 13587718144 395585 33554432000 4194304 4196468 140729962190656 140729962173200 139953444835063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
/proc/6055/statm: 3317314 395585 3261 1 0 3304547 0
[pid=6055/tid=6056] ppid=6054 vsize=13269256 CPUtime=5.31 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6056/stat : 6056 (java) R 6054 6054 7621 0 -1 4202560 9257 0 0 0 514 17 0 0 20 0 20 0 4401363 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953449072296 139953073525230 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6058] ppid=6054 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6058/stat : 6058 (java) S 6054 6054 7621 0 -1 1077944384 970 0 0 0 30 37 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953397455120 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6059] ppid=6054 vsize=13269256 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6059/stat : 6059 (java) S 6054 6054 7621 0 -1 1077944384 413 0 0 0 29 37 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953396402576 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6060] ppid=6054 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6060/stat : 6060 (java) S 6054 6054 7621 0 -1 1077944384 404 0 0 0 30 39 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953395350032 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6061] ppid=6054 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6061/stat : 6061 (java) S 6054 6054 7621 0 -1 1077944384 436 0 0 0 33 36 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953394297488 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6062] ppid=6054 vsize=13269256 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6062/stat : 6062 (java) S 6054 6054 7621 0 -1 1077944384 346 0 0 0 29 31 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953393244944 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6063] ppid=6054 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6063/stat : 6063 (java) S 6054 6054 7621 0 -1 1077944384 427 0 0 0 32 37 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953392192400 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6064] ppid=6054 vsize=13269256 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6064/stat : 6064 (java) S 6054 6054 7621 0 -1 1077944384 381 0 0 0 30 34 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953391139856 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6065] ppid=6054 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6065/stat : 6065 (java) S 6054 6054 7621 0 -1 1077944384 359 0 0 0 29 34 0 0 20 0 20 0 4401364 13587718144 395585 33554432000 4194304 4196468 140729962190656 139953390087312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6066] ppid=6054 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6066/stat : 6066 (java) S 6054 6054 7621 0 -1 1077944384 1408 0 0 0 1 0 0 0 20 0 20 0 4401366 13587718144 395585 33554432000 4194304 4196468 140729962190656 139952772823024 139953444846210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6067] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6067/stat : 6067 (java) S 6054 6054 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4401366 13587718144 395585 33554432000 4194304 4196468 140729962190656 139952771769312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6068] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6068/stat : 6068 (java) S 6054 6054 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4401367 13587718144 395585 33554432000 4194304 4196468 140729962190656 139952770716672 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6069] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6069/stat : 6069 (java) S 6054 6054 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4401370 13587718144 395585 33554432000 4194304 4196468 140729962190656 139952769665232 139953444853659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0

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

/proc/6055/task/6066/stat : 6066 (java) S 6054 6054 7621 0 -1 1077944384 3251 0 0 0 10 0 0 0 20 0 20 0 4401366 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952772823024 139953444846210 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6067] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6067/stat : 6067 (java) S 6054 6054 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4401366 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952771769312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6068] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6068/stat : 6068 (java) S 6054 6054 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4401367 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952770716672 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6069] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6069/stat : 6069 (java) S 6054 6054 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4401370 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952769665232 139953444853659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6070] ppid=6054 vsize=13269256 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6070/stat : 6070 (java) S 6054 6054 7621 0 -1 1077944384 6269 0 0 0 241 1 0 0 20 0 20 0 4401370 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952768612848 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 21 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6071] ppid=6054 vsize=13269256 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6071/stat : 6071 (java) S 6054 6054 7621 0 -1 1077944384 5097 0 0 0 236 1 0 0 20 0 20 0 4401370 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952767560304 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6072] ppid=6054 vsize=13269256 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6072/stat : 6072 (java) S 6054 6054 7621 0 -1 1077944384 4960 0 0 0 201 1 0 0 20 0 20 0 4401370 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952766507760 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6073] ppid=6054 vsize=13269256 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6073/stat : 6073 (java) S 6054 6054 7621 0 -1 1077944384 3277 0 0 0 77 0 0 0 20 0 20 0 4401370 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952765455216 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6074] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6074/stat : 6074 (java) S 6054 6054 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4401370 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952764401888 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6075] ppid=6054 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6075/stat : 6075 (java) S 6054 6054 7621 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 20 0 4401370 13587718144 839976 33554432000 4194304 4196468 140729962190656 139952763349424 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
Current children cumulated CPU time (s) 33.4
Current children cumulated vsize (KiB) 13278768

[startup+14.4299 s]
/proc/loadavg: 8.56 11.09 12.69 19/292 6083
/proc/meminfo: memFree=18871396/32770624 swapFree=5800/278964
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
[pid=6055] ppid=6054 vsize=13801768 CPUtime=39.58 cores=1,3,5,7,9,11,13,15
/proc/6055/stat : 6055 (java) S 6054 6054 7621 0 -1 1077944320 42597 0 0 0 3344 614 0 0 20 0 28 0 4401363 14133010432 840212 33554432000 4194304 4196468 140729962190656 140729962173200 139953444835063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
/proc/6055/statm: 3450442 840212 3281 1 0 3437675 0
[pid=6055/tid=6056] ppid=6054 vsize=13801768 CPUtime=11.43 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6056/stat : 6056 (java) S 6054 6054 7621 0 -1 1077944384 10525 0 0 0 1109 34 0 0 20 0 28 0 4401363 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953449075840 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6058] ppid=6054 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6058/stat : 6058 (java) S 6054 6054 7621 0 -1 1077944384 1364 0 0 0 117 72 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953397455120 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6059] ppid=6054 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6059/stat : 6059 (java) S 6054 6054 7621 0 -1 1077944384 942 0 0 0 115 75 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953396402576 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6060] ppid=6054 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6060/stat : 6060 (java) S 6054 6054 7621 0 -1 1077944384 720 0 0 0 116 76 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953395350032 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6061] ppid=6054 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6061/stat : 6061 (java) S 6054 6054 7621 0 -1 1077944384 818 0 0 0 122 70 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953394297488 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6062] ppid=6054 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6062/stat : 6062 (java) S 6054 6054 7621 0 -1 1077944384 757 0 0 0 118 63 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953393244944 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6063] ppid=6054 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6063/stat : 6063 (java) S 6054 6054 7621 0 -1 1077944384 757 0 0 0 117 74 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953392192400 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6064] ppid=6054 vsize=13801768 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6064/stat : 6064 (java) S 6054 6054 7621 0 -1 1077944384 815 0 0 0 120 68 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953391139856 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6065] ppid=6054 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6065/stat : 6065 (java) S 6054 6054 7621 0 -1 1077944384 853 0 0 0 118 69 0 0 20 0 28 0 4401364 14133010432 840212 33554432000 4194304 4196468 140729962190656 139953390087312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6066] ppid=6054 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6066/stat : 6066 (java) S 6054 6054 7621 0 -1 1077944384 3258 0 0 0 10 0 0 0 20 0 28 0 4401366 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952772823024 139953444846210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6067] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6067/stat : 6067 (java) S 6054 6054 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4401366 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952771769312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6068] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6068/stat : 6068 (java) S 6054 6054 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4401367 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952770716672 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6069] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6069/stat : 6069 (java) S 6054 6054 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4401370 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952769665232 139953444853659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6070] ppid=6054 vsize=13801768 CPUtime=2.86 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6070/stat : 6070 (java) R 6054 6054 7621 0 -1 4202560 6353 0 0 0 285 1 0 0 20 0 28 0 4401370 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952768597904 139953428246024 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6071] ppid=6054 vsize=13801768 CPUtime=2.83 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6071/stat : 6071 (java) R 6054 6054 7621 0 -1 4202560 5134 0 0 0 282 1 0 0 20 0 28 0 4401370 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952767545432 139953428366646 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6072] ppid=6054 vsize=13801768 CPUtime=2.46 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6072/stat : 6072 (java) R 6054 6054 7621 0 -1 4202560 5005 0 0 0 245 1 0 0 20 0 28 0 4401370 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952766507456 139953429945126 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6073] ppid=6054 vsize=13801768 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6073/stat : 6073 (java) S 6054 6054 7621 0 -1 1077944384 3504 0 0 0 97 1 0 0 20 0 28 0 4401370 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952765455216 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6074] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6074/stat : 6074 (java) S 6054 6054 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4401370 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952764401888 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6075] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6075/stat : 6075 (java) S 6054 6054 7621 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4401370 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952763349424 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6076] ppid=6054 vsize=13801768 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6076/stat : 6076 (java) R 6054 6054 7621 0 -1 4202560 63 0 0 0 44 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952755336184 139953071934145 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6077] ppid=6054 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6077/stat : 6077 (java) R 6054 6054 7621 0 -1 4202560 49 0 0 0 41 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952754282904 139953078511823 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6078] ppid=6054 vsize=13801768 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6078/stat : 6078 (java) R 6054 6054 7621 0 -1 4202560 40 0 0 0 41 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952753230520 139953071934356 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6079] ppid=6054 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6079/stat : 6079 (java) R 6054 6054 7621 0 -1 4202560 84 0 0 0 40 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952752177520 139953071933995 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6080] ppid=6054 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6080/stat : 6080 (java) R 6054 6054 7621 0 -1 4202560 52 0 0 0 60 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952751127912 139953069756667 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6081] ppid=6054 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6081/stat : 6081 (java) R 6054 6054 7621 0 -1 4202560 41 0 0 0 43 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952750073752 139953072653248 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6082] ppid=6054 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6082/stat : 6082 (java) R 6054 6054 7621 0 -1 4202560 31 0 0 0 39 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952749018536 139953078541881 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6083] ppid=6054 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6083/stat : 6083 (java) R 6054 6054 7621 0 -1 4202560 31 0 0 0 55 0 0 0 20 0 28 0 4402738 14133010432 840212 33554432000 4194304 4196468 140729962190656 139952747969400 139953069771805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
Current children cumulated CPU time (s) 39.58
Current children cumulated vsize (KiB) 13811280

[startup+14.8016 s]
/proc/loadavg: 8.56 11.09 12.69 19/292 6083
/proc/meminfo: memFree=18871396/32770624 swapFree=5800/278964
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
[pid=6055] ppid=6054 vsize=13801768 CPUtime=42.49 cores=1,3,5,7,9,11,13,15
/proc/6055/stat : 6055 (java) S 6054 6054 7621 0 -1 1077944320 42709 0 0 0 3635 614 0 0 20 0 28 0 4401363 14133010432 840265 33554432000 4194304 4196468 140729962190656 140729962173200 139953444835063 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
/proc/6055/statm: 3450442 840265 3285 1 0 3437675 0
[pid=6055/tid=6056] ppid=6054 vsize=13801768 CPUtime=11.43 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6056/stat : 6056 (java) S 6054 6054 7621 0 -1 1077944384 10525 0 0 0 1109 34 0 0 20 0 28 0 4401363 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953449075840 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6058] ppid=6054 vsize=13801768 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6058/stat : 6058 (java) S 6054 6054 7621 0 -1 1077944384 1364 0 0 0 117 72 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953397455120 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6059] ppid=6054 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6059/stat : 6059 (java) S 6054 6054 7621 0 -1 1077944384 942 0 0 0 115 75 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953396402576 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6060] ppid=6054 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6060/stat : 6060 (java) S 6054 6054 7621 0 -1 1077944384 720 0 0 0 116 76 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953395350032 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6061] ppid=6054 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6061/stat : 6061 (java) S 6054 6054 7621 0 -1 1077944384 818 0 0 0 122 70 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953394297488 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6062] ppid=6054 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6062/stat : 6062 (java) S 6054 6054 7621 0 -1 1077944384 757 0 0 0 118 63 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953393244944 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6063] ppid=6054 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6063/stat : 6063 (java) S 6054 6054 7621 0 -1 1077944384 757 0 0 0 117 74 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953392192400 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6064] ppid=6054 vsize=13801768 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6064/stat : 6064 (java) S 6054 6054 7621 0 -1 1077944384 815 0 0 0 120 68 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953391139856 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6065] ppid=6054 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6065/stat : 6065 (java) S 6054 6054 7621 0 -1 1077944384 853 0 0 0 118 69 0 0 20 0 28 0 4401364 14133010432 840265 33554432000 4194304 4196468 140729962190656 139953390087312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6066] ppid=6054 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6066/stat : 6066 (java) S 6054 6054 7621 0 -1 1077944384 3259 0 0 0 10 0 0 0 20 0 28 0 4401366 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952772823024 139953444846210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6067] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6067/stat : 6067 (java) S 6054 6054 7621 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4401366 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952771769312 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6068] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6068/stat : 6068 (java) S 6054 6054 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4401367 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952770716672 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6069] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6069/stat : 6069 (java) S 6054 6054 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4401370 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952769665232 139953444853659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6070] ppid=6054 vsize=13801768 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6070/stat : 6070 (java) R 6054 6054 7621 0 -1 4202560 6412 0 0 0 313 1 0 0 20 0 28 0 4401370 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952768599392 139953426356245 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6071] ppid=6054 vsize=13801768 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6071/stat : 6071 (java) R 6054 6054 7621 0 -1 4202560 5139 0 0 0 303 1 0 0 20 0 28 0 4401370 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952767546512 139953426378355 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6072] ppid=6054 vsize=13801768 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6072/stat : 6072 (java) R 6054 6054 7621 0 -1 4202560 5026 0 0 0 263 1 0 0 20 0 28 0 4401370 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952766507760 139953444846998 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6073] ppid=6054 vsize=13801768 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6073/stat : 6073 (java) R 6054 6054 7621 0 -1 1077944384 3521 0 0 0 105 1 0 0 20 0 28 0 4401370 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952765455216 139953444846210 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6074] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6074/stat : 6074 (java) S 6054 6054 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4401370 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952764401888 139953444845269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6075] ppid=6054 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6075/stat : 6075 (java) S 6054 6054 7621 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 4401370 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952763349424 139953444846210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6076] ppid=6054 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6076/stat : 6076 (java) R 6054 6054 7621 0 -1 4202560 63 0 0 0 70 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952755334088 139953444846998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6077] ppid=6054 vsize=13801768 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6077/stat : 6077 (java) R 6054 6054 7621 0 -1 4202560 50 0 0 0 64 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952754282296 139953069653252 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6078] ppid=6054 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6078/stat : 6078 (java) R 6054 6054 7621 0 -1 4202560 43 0 0 0 75 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952753229624 139953078541946 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6079] ppid=6054 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6079/stat : 6079 (java) R 6054 6054 7621 0 -1 4202560 87 0 0 0 68 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952752177576 139953075372657 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6080] ppid=6054 vsize=13801768 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6080/stat : 6080 (java) R 6054 6054 7621 0 -1 4202560 52 0 0 0 95 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952751127960 139953069742891 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6081] ppid=6054 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6081/stat : 6081 (java) R 6054 6054 7621 0 -1 4202560 41 0 0 0 62 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952750072600 139953078541946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6082] ppid=6054 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6082/stat : 6082 (java) R 6054 6054 7621 0 -1 4202560 31 0 0 0 62 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952749017728 139953069911520 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
[pid=6055/tid=6083] ppid=6054 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6083/stat : 6083 (java) R 6054 6054 7621 0 -1 4202560 33 0 0 0 83 0 0 0 20 0 28 0 4402738 14133010432 840265 33554432000 4194304 4196468 140729962190656 139952747969128 139953072394275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26599424 140729962198204 140729962198380 140729962198380 140729962201039 0
Current children cumulated CPU time (s) 42.49
Current children cumulated vsize (KiB) 13811280

[startup+15.0077 s]
/proc/loadavg: 8.56 11.09 12.69 19/292 6083
/proc/meminfo: memFree=18871396/32770624 swapFree=5800/278964
[pid=6054] ppid=6051 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6054/stat : 6054 (xcsp3-exec) S 6051 6054 7621 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4401362 9740288 346 33554432000 4194304 5098028 140731469392208 140731469390312 140613105091196 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 31326208 140731469399182 140731469399392 140731469399392 140731469402091 0
/proc/6054/statm: 2378 346 289 221 0 87 0
[pid=6055] ppid=6054 vsize=0 CPUtime=43.86 cores=1,3,5,7,9,11,13,15
/proc/6055/stat : 6055 (java) Z 6054 6054 7621 0 -1 4227084 42808 0 0 0 3771 615 0 0 20 0 2 0 4401363 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6055/statm: 0 0 0 0 0 0 0
[pid=6055/tid=6068] ppid=6054 vsize=0 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6055/task/6068/stat : 6068 (java) R 6054 6054 7621 0 -1 4203588 47 0 0 0 0 0 0 0 20 0 2 0 4401367 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 43.86
Current children cumulated vsize (KiB) 9512

Child status: 0
Real time (s): 15.0113
CPU time (s): 43.8826
CPU user time (s): 37.7182
CPU system time (s): 6.1644
CPU usage (%): 292.33
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.7182
system time used= 6.16441
maximum resident set size= 3362076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43337
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= 5220
involuntary context switches= 3398

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.167178 second user time and 0.174102 second system time

The end

Launcher Data

Begin job on node124 at 2017-07-22 04:42:16
IDJOB=4248121
IDBENCH=133121
IDSOLVER=2625
FILE ID=node124/4248121-1500691336
RUNJOBID= node124-1500683887-7653
PBS_JOBID= 20623343
Free space on /tmp= 61996 MiB

SOLVER NAME= choco-solver 4.0.5
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-4248121-1500691336/watcher-4248121-1500691336 -o /tmp/evaluation-result-4248121-1500691336/solver-4248121-1500691336 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2084561188 HOME/instance-4248121-1500691336.xml

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

MD5SUM BENCH= 3424e6604ecfe46c0dbee75043c16945
RANDOM SEED=2084561188

node124.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 1600.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		: 2668.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.16
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		: 1867.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.16
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		: 1600.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.16
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		: 2000.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.16
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		: 2267.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.16
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		: 2267.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		: 2668.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.16
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:        22228340 kB
MemAvailable:   22388776 kB
Buffers:          112784 kB
Cached:           330584 kB
SwapCached:            0 kB
Active:          9808732 kB
Inactive:         287556 kB
Active(anon):    9655688 kB
Inactive(anon):     8744 kB
Active(file):     153044 kB
Inactive(file):   278812 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             14020 kB
Writeback:             0 kB
AnonPages:       9658428 kB
Mapped:            42496 kB
Shmem:              8840 kB
Slab:             122580 kB
SReclaimable:      88828 kB
SUnreclaim:        33752 kB
KernelStack:        4576 kB
PageTables:        25092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10199700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9369600 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61988 MiB
End job on node124 at 2017-07-22 04:42:31

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 4248121

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data