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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT	9.1537704	4.7609901

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269439-1502803145.xml"  -tl '2520s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4269439-1502803145.xml, -tl, 2520s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
6.43/2.62	c solve instance...
9.05/4.74	s SATISFIABLE
9.05/4.74	v <instantiation>
9.05/4.74	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>
9.05/4.74	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 120 </values>
9.05/4.74	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11456 MiB free)
  memory of node 1: 16384 MiB (14869 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269439-1502803145/watcher-4269439-1502803145 -o /tmp/evaluation-result-4269439-1502803145/solver-4269439-1502803145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502792191-10016 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1247428909 HOME/instance-4269439-1502803145.xml 

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

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

solver pid=12369, runsolver pid=12366

[startup+0.100117 s]*
/proc/loadavg: 1.90 1.75 1.74 3/219 12385
/proc/meminfo: memFree=26938056/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13978596 memory=30128 CPUtime=0.12 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 5455 0 0 0 11 1 0 0 20 0 15 0 113395659 14314082304 7532 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3494649 7532 2870 1 0 3482966 0
[pid=12371/tid=12372] ppid=12369 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) R 12369 12369 9984 0 -1 4202560 3392 0 0 0 9 0 0 0 20 0 15 0 113395659 14314082304 7532 33554432000 4194304 4196468 140734340982544 140344228243248 140344224021910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14314082304 7532 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13978596 memory=140015148557952 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14314082304 7532 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395660 14314082304 7532 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14314082304 7532 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13978596 memory=140015148557952 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395661 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343764321184 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343763268592 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) S 12369 12369 9984 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 113395664 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343333087728 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) S 12369 12369 9984 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 113395664 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343332035184 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13978596 memory=140015148557952 CPUtime=0.01 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) R 12369 12369 9984 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 113395664 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343330982640 140344202454735 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13978596 memory=140015148557952 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395665 14314082304 7532 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31512 KiB

[startup+0.210826 s]*
/proc/loadavg: 1.90 1.75 1.74 5/219 12385
/proc/meminfo: memFree=26927024/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13982852 memory=42692 CPUtime=0.33 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 8261 0 0 0 31 2 0 0 20 0 15 0 113395659 14318440448 10673 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3495713 10673 3063 1 0 3482966 0
[pid=12371/tid=12372] ppid=12369 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) R 12369 12369 9984 0 -1 4202560 5383 0 0 0 18 1 0 0 20 0 15 0 113395659 14318440448 10673 33554432000 4194304 4196468 140734340982544 140344228211776 140344208090462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13982852 memory=9010 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 10673 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13982852 memory=140015148569315 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 10673 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 10673 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 10673 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13982852 memory=140015148557952 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395661 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343764321184 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343763268592 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) R 12369 12369 9984 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 15 0 113395664 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343333087728 140344224021122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) S 12369 12369 9984 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 113395664 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343332035184 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13982852 memory=140015148557952 CPUtime=0.08 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) R 12369 12369 9984 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 113395664 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343330982640 140344202949244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395665 14318440448 10673 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 44076 KiB

[startup+0.313609 s]*
/proc/loadavg: 1.90 1.75 1.74 4/219 12385
/proc/meminfo: memFree=26920200/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13982852 memory=50104 CPUtime=0.53 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 9164 0 0 0 50 3 0 0 20 0 15 0 113395659 14318440448 12526 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3495713 12526 3108 1 0 3482966 0
[pid=12371/tid=12372] ppid=12369 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) S 12369 12369 9984 0 -1 1077944384 5921 0 0 0 28 1 0 0 20 0 15 0 113395659 14318440448 12526 33554432000 4194304 4196468 140734340982544 140344228247792 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 12526 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 12526 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 12526 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13982852 memory=7296493987848103314 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318440448 12526 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395661 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343764321184 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343763268592 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) S 12369 12369 9984 0 -1 1077944384 433 0 0 0 3 0 0 0 20 0 15 0 113395664 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343333087728 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) S 12369 12369 9984 0 -1 1077944384 577 0 0 0 4 0 0 0 20 0 15 0 113395664 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343332035280 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) R 12369 12369 9984 0 -1 4202560 928 0 0 0 13 0 0 0 20 0 15 0 113395664 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343330982640 140344224021910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395665 14318440448 12526 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 51488 KiB

[startup+0.702705 s]
/proc/loadavg: 1.90 1.75 1.74 5/219 12385
/proc/meminfo: memFree=26871192/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13982928 memory=140544 CPUtime=1.58 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 11831 0 0 0 152 6 0 0 20 0 15 0 113395659 14318518272 35136 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3495732 35136 3178 1 0 3482966 0
[pid=12371/tid=12372] ppid=12369 vsize=13982928 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) R 12369 12369 9984 0 -1 4202560 6245 0 0 0 63 4 0 0 20 0 15 0 113395659 14318518272 35136 33554432000 4194304 4196468 140734340982544 140344228246432 140343844872930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13982928 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318518272 35136 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318518272 35136 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13982928 memory=32312 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395660 14318518272 35136 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13982928 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113395660 14318518272 35136 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13982928 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 113395661 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13982928 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343764321184 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13982928 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343763268592 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13982928 memory=11040 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13982928 memory=5700 CPUtime=0.29 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) R 12369 12369 9984 0 -1 4202560 1441 0 0 0 29 0 0 0 20 0 15 0 113395664 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343333074160 140344204645885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13982928 memory=4616 CPUtime=0.3 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) R 12369 12369 9984 0 -1 4202560 1339 0 0 0 30 0 0 0 20 0 15 0 113395664 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343332023296 140344203248433 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13982928 memory=792 CPUtime=0.28 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) S 12369 12369 9984 0 -1 1077944384 1495 0 0 0 28 0 0 0 20 0 15 0 113395664 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343330982640 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13982928 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13982928 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113395665 14318518272 35136 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 141928 KiB

[startup+1.50086 s]
/proc/loadavg: 1.90 1.75 1.74 5/219 12385
/proc/meminfo: memFree=26712448/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0

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

/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13984976 memory=700976 CPUtime=8.29 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 21800 0 0 0 795 34 0 0 20 0 15 0 113395659 14320615424 175244 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3496244 175244 3262 1 0 3483478 0
[pid=12371/tid=12372] ppid=12369 vsize=13984976 memory=6791534058613427641 CPUtime=3.67 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) R 12369 12369 9984 0 -1 4202560 7998 0 0 0 356 11 0 0 20 0 15 0 113395659 14320615424 175244 33554432000 4194304 4196468 140734340982544 140344228249136 140343851598431 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13984976 memory=4872558044660077418 CPUtime=0.15 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 509 0 0 0 10 5 0 0 20 0 15 0 113395660 14320615424 175244 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13984976 memory=6791534058613427641 CPUtime=0.12 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 179 0 0 0 8 4 0 0 20 0 15 0 113395660 14320615424 175244 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13984976 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 195 0 0 0 9 5 0 0 20 0 15 0 113395660 14320615424 175244 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13984976 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 215 0 0 0 10 4 0 0 20 0 15 0 113395660 14320615424 175244 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 518 0 0 0 0 0 0 0 20 0 15 0 113395661 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343764321248 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343763268608 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13984976 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) S 12369 12369 9984 0 -1 1077944384 4208 0 0 0 167 0 0 0 20 0 15 0 113395664 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343333087728 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13984976 memory=7590655979367786604 CPUtime=1.71 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) S 12369 12369 9984 0 -1 1077944384 4206 0 0 0 171 0 0 0 20 0 15 0 113395664 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343332035184 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13984976 memory=7741519780114355304 CPUtime=0.61 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) S 12369 12369 9984 0 -1 1077944384 2462 0 0 0 60 1 0 0 20 0 15 0 113395664 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343330982640 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13984976 memory=1399094042734925955 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13984976 memory=-6876588427028963228 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 113395665 14320615424 175244 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 702360 KiB

[startup+4.40075 s]
/proc/loadavg: 1.90 1.75 1.74 3/219 12385
/proc/meminfo: memFree=26268452/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13984976 memory=701172 CPUtime=8.7 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 22159 0 0 0 836 34 0 0 20 0 15 0 113395659 14320615424 175293 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3496244 175293 3262 1 0 3483478 0
[pid=12371/tid=12372] ppid=12369 vsize=13984976 memory=2828 CPUtime=4.06 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) R 12369 12369 9984 0 -1 4202560 8060 0 0 0 395 11 0 0 20 0 15 0 113395659 14320615424 175293 33554432000 4194304 4196468 140734340982544 140344228246416 140343851598460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13984976 memory=1384 CPUtime=0.15 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 509 0 0 0 10 5 0 0 20 0 15 0 113395660 14320615424 175293 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13984976 memory=162052 CPUtime=0.12 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 179 0 0 0 8 4 0 0 20 0 15 0 113395660 14320615424 175293 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13984976 memory=1160 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 195 0 0 0 9 5 0 0 20 0 15 0 113395660 14320615424 175293 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13984976 memory=2424 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 215 0 0 0 10 4 0 0 20 0 15 0 113395660 14320615424 175293 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 762 0 0 0 0 0 0 0 20 0 15 0 113395661 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13984976 memory=580948 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343764321248 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343763268608 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13984976 memory=-2672971631320983069 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13984976 memory=-2331055268852096867 CPUtime=1.67 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) S 12369 12369 9984 0 -1 1077944384 4208 0 0 0 167 0 0 0 20 0 15 0 113395664 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343333087728 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13984976 memory=-7812193691855986592 CPUtime=1.73 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) S 12369 12369 9984 0 -1 1077944384 4216 0 0 0 172 1 0 0 20 0 15 0 113395664 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343332035184 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13984976 memory=-6454338467431146081 CPUtime=0.61 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) S 12369 12369 9984 0 -1 1077944384 2503 0 0 0 60 1 0 0 20 0 15 0 113395664 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343330982640 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13984976 memory=4945125699554088323 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13984976 memory=7681421203011431829 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 113395665 14320615424 175293 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 8.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 702556 KiB

[startup+4.60074 s]
/proc/loadavg: 1.90 1.75 1.74 3/219 12385
/proc/meminfo: memFree=26268452/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13984976 memory=701204 CPUtime=8.91 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 22221 0 0 0 857 34 0 0 20 0 15 0 113395659 14320615424 175301 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3496244 175301 3262 1 0 3483478 0
[pid=12371/tid=12372] ppid=12369 vsize=13984976 memory=0 CPUtime=4.26 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) R 12369 12369 9984 0 -1 4202560 8060 0 0 0 415 11 0 0 20 0 15 0 113395659 14320615424 175301 33554432000 4194304 4196468 140734340982544 140344228246416 140343851598549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13984976 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 509 0 0 0 10 5 0 0 20 0 15 0 113395660 14320615424 175301 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13984976 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 179 0 0 0 8 4 0 0 20 0 15 0 113395660 14320615424 175301 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13984976 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 195 0 0 0 9 5 0 0 20 0 15 0 113395660 14320615424 175301 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13984976 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 215 0 0 0 10 4 0 0 20 0 15 0 113395660 14320615424 175301 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 762 0 0 0 0 0 0 0 20 0 15 0 113395661 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343764321248 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13984976 memory=288230583149273872 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343763268608 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13984976 memory=15259268005759178 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13984976 memory=0 CPUtime=1.67 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) S 12369 12369 9984 0 -1 1077944384 4214 0 0 0 167 0 0 0 20 0 15 0 113395664 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343333087728 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13984976 memory=6943526294502006880 CPUtime=1.73 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) S 12369 12369 9984 0 -1 1077944384 4216 0 0 0 172 1 0 0 20 0 15 0 113395664 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343332035184 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13984976 memory=6944652177228980320 CPUtime=0.62 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) S 12369 12369 9984 0 -1 1077944384 2559 0 0 0 61 1 0 0 20 0 15 0 113395664 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343330982640 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 113395665 14320615424 175301 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 702588 KiB

[startup+4.70074 s]
/proc/loadavg: 1.90 1.75 1.74 3/219 12385
/proc/meminfo: memFree=26268452/32770624 swapFree=67108860/67108860
[pid=12369] ppid=12366 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/12369/stat : 12369 (xcsp3-exec) S 12366 12369 9984 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113395658 9740288 346 33554432000 4194304 5098028 140727163627648 140727163625752 140072723628668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10178560 140727163630702 140727163630907 140727163630907 140727163633643 0
/proc/12369/statm: 2378 346 289 221 0 87 0
[pid=12371] ppid=12369 vsize=13984976 memory=701248 CPUtime=9.05 cores=1,3,5,7
/proc/12371/stat : 12371 (java) S 12369 12369 9984 0 -1 1077944320 22320 0 0 0 871 34 0 0 20 0 15 0 113395659 14320615424 175312 33554432000 4194304 4196468 140734340982544 140734340965088 140344224009975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
/proc/12371/statm: 3496244 175312 3262 1 0 3483478 0
[pid=12371/tid=12372] ppid=12369 vsize=13984976 memory=-7595718148000617580 CPUtime=4.36 cores=1,3,5,7
/proc/12371/task/12372/stat : 12372 (java) R 12369 12369 9984 0 -1 4202560 8079 0 0 0 425 11 0 0 20 0 15 0 113395659 14320615424 175312 33554432000 4194304 4196468 140734340982544 140344228246416 140343851598549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12373] ppid=12369 vsize=13984976 memory=8259761640030508194 CPUtime=0.15 cores=1,3,5,7
/proc/12371/task/12373/stat : 12373 (java) S 12369 12369 9984 0 -1 1077944384 509 0 0 0 10 5 0 0 20 0 15 0 113395660 14320615424 175312 33554432000 4194304 4196468 140734340982544 140344176630544 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12374] ppid=12369 vsize=13984976 memory=698724 CPUtime=0.12 cores=1,3,5,7
/proc/12371/task/12374/stat : 12374 (java) S 12369 12369 9984 0 -1 1077944384 179 0 0 0 8 4 0 0 20 0 15 0 113395660 14320615424 175312 33554432000 4194304 4196468 140734340982544 140344175578000 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12375] ppid=12369 vsize=13984976 memory=6944938067432061290 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12375/stat : 12375 (java) S 12369 12369 9984 0 -1 1077944384 195 0 0 0 9 5 0 0 20 0 15 0 113395660 14320615424 175312 33554432000 4194304 4196468 140734340982544 140344174525456 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12376] ppid=12369 vsize=13984976 memory=280029988933856 CPUtime=0.14 cores=1,3,5,7
/proc/12371/task/12376/stat : 12376 (java) S 12369 12369 9984 0 -1 1077944384 215 0 0 0 10 4 0 0 20 0 15 0 113395660 14320615424 175312 33554432000 4194304 4196468 140734340982544 140344173472912 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12377] ppid=12369 vsize=13984976 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12377/stat : 12377 (java) S 12369 12369 9984 0 -1 1077944384 762 0 0 0 0 0 0 0 20 0 15 0 113395661 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343765374960 140344224021122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12378] ppid=12369 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12378/stat : 12378 (java) S 12369 12369 9984 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343764321248 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12379] ppid=12369 vsize=13984976 memory=4638798233163296360 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12379/stat : 12379 (java) S 12369 12369 9984 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113395662 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343763268608 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12380] ppid=12369 vsize=13984976 memory=6368747726001558889 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12380/stat : 12380 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343762217168 140344224028571 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12381] ppid=12369 vsize=13984976 memory=5788366128452760172 CPUtime=1.68 cores=1,3,5,7
/proc/12371/task/12381/stat : 12381 (java) S 12369 12369 9984 0 -1 1077944384 4225 0 0 0 168 0 0 0 20 0 15 0 113395664 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343333087728 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12382] ppid=12369 vsize=13984976 memory=5788366128452759149 CPUtime=1.75 cores=1,3,5,7
/proc/12371/task/12382/stat : 12382 (java) S 12369 12369 9984 0 -1 1077944384 4221 0 0 0 174 1 0 0 20 0 15 0 113395664 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343332035184 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12383] ppid=12369 vsize=13984976 memory=1384 CPUtime=0.63 cores=1,3,5,7
/proc/12371/task/12383/stat : 12383 (java) S 12369 12369 9984 0 -1 1077944384 2623 0 0 0 62 1 0 0 20 0 15 0 113395664 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343330982640 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12384] ppid=12369 vsize=13984976 memory=700932 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12384/stat : 12384 (java) S 12369 12369 9984 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113395664 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343329930336 140344224020181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
[pid=12371/tid=12385] ppid=12369 vsize=13984976 memory=280029988927136 CPUtime=0 cores=1,3,5,7
/proc/12371/task/12385/stat : 12385 (java) S 12369 12369 9984 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 113395665 14320615424 175312 33554432000 4194304 4196468 140734340982544 140343328876848 140344224021122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31883264 140734340990103 140734340990279 140734340990279 140734340992975 0
Current children cumulated CPU time: 9.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 702632 KiB

Child status: 0
Real time (s): 4.76099
CPU time (s): 9.15377
CPU user time (s): 8.79872
CPU system time (s): 0.355059
CPU usage (%): 192.266
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 702632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.79872
system time used= 0.355059
maximum resident set size= 702000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23532
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= 2704
involuntary context switches= 48


# summary of solver processes directly reported to runsolver:
#   pid: 12369
#   total CPU time (s): 9.15377
#   total CPU user time (s): 8.79872
#   total CPU system time (s): 0.355059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062302 second user time and 0.080273 second system time

The end

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 4269439

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data