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 par (2017-08-09)	SAT	35.5145	13.4137

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270909-1502752292.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270909-1502752292.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
26.77/12.23	c solve instance...
34.95/13.37	s SATISFIABLE
34.95/13.37	v <instantiation>
34.95/13.37	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>
34.95/13.37	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>
34.95/13.37	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 (15229 MiB free)
  memory of node 1: 16384 MiB (15640 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270909-1502752292/watcher-4270909-1502752292 -o /tmp/evaluation-result-4270909-1502752292/solver-4270909-1502752292 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502745739-7952 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 889228313 HOME/instance-4270909-1502752292.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=8795, runsolver pid=8792

[startup+0.100134 s]*
/proc/loadavg: 6.98 7.95 8.18 2/199 8816
/proc/meminfo: memFree=31594340/32770624 swapFree=67108860/67108860
[pid=8795] ppid=8792 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8795/stat : 8795 (xcsp3-exec) S 8792 8795 7925 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108317002 9740288 346 33554432000 4194304 5098028 140725095874560 140725095872664 140690421838460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34480128 140725095879781 140725095879991 140725095879991 140725095882731 0
/proc/8795/statm: 2378 346 289 221 0 87 0
[pid=8797] ppid=8795 vsize=25999808 memory=26264 CPUtime=0.12 cores=0-7
/proc/8797/stat : 8797 (java) S 8795 8795 7925 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 20 0 108317002 26623803392 6566 33554432000 4194304 4196468 140728709914160 140728709896704 139888471478007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
/proc/8797/statm: 6499952 6566 2851 1 0 6488269 0
[pid=8797/tid=8798] ppid=8795 vsize=25999808 memory=4787779895024579486 CPUtime=0.09 cores=0-7
/proc/8797/task/8798/stat : 8798 (java) R 8795 8795 7925 0 -1 4202560 3494 0 0 0 9 0 0 0 20 0 20 0 108317003 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888475709312 139888471489942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8799] ppid=8795 vsize=25999808 memory=732369790527536101 CPUtime=0 cores=0-7
/proc/8797/task/8799/stat : 8799 (java) S 8795 8795 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888029202960 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8800] ppid=8795 vsize=25999808 memory=139652190082688 CPUtime=0 cores=0-7
/proc/8797/task/8800/stat : 8800 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888028150416 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8801] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8801/stat : 8801 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888027097360 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8802] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8802/stat : 8802 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888026044816 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8803] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8803/stat : 8803 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888024992784 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8804] ppid=8795 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8797/task/8804/stat : 8804 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888023940240 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8805] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8805/stat : 8805 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888022887184 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8806] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8806/stat : 8806 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108317004 26623803392 6566 33554432000 4194304 4196468 140728709914160 139888021834640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8807] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8807/stat : 8807 (java) S 8795 8795 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108317005 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887012235504 139888471489154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8808] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8808/stat : 8808 (java) S 8795 8795 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108317006 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887011181728 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8809] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8809/stat : 8809 (java) S 8795 8795 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108317006 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887010128624 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8810] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8810/stat : 8810 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317008 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887009077200 139888471496603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8811] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8811/stat : 8811 (java) S 8795 8795 7925 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 108317008 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887008025328 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8812] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8812/stat : 8812 (java) S 8795 8795 7925 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 108317008 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887006972784 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8813] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8813/stat : 8813 (java) R 8795 8795 7925 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 108317008 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887005919728 139888471489942 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8814] ppid=8795 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8797/task/8814/stat : 8814 (java) R 8795 8795 7925 0 -1 4202560 260 0 0 0 1 0 0 0 20 0 20 0 108317008 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887004867184 139888471499354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8815] ppid=8795 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8815/stat : 8815 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108317008 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887003814368 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8816] ppid=8795 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8797/task/8816/stat : 8816 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317009 26623803392 6566 33554432000 4194304 4196468 140728709914160 139887002761904 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27648 KiB

[startup+0.210471 s]*
/proc/loadavg: 6.98 7.95 8.18 2/199 8816
/proc/meminfo: memFree=31583052/32770624 swapFree=67108860/67108860
[pid=8795] ppid=8792 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8795/stat : 8795 (xcsp3-exec) S 8792 8795 7925 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108317002 9740288 346 33554432000 4194304 5098028 140725095874560 140725095872664 140690421838460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34480128 140725095879781 140725095879991 140725095879991 140725095882731 0
/proc/8795/statm: 2378 346 289 221 0 87 0
[pid=8797] ppid=8795 vsize=26004096 memory=38848 CPUtime=0.33 cores=0-7
/proc/8797/stat : 8797 (java) S 8795 8795 7925 0 -1 1077944320 8281 0 0 0 31 2 0 0 20 0 20 0 108317002 26628194304 9712 33554432000 4194304 4196468 140728709914160 140728709896704 139888471478007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
/proc/8797/statm: 6501016 9712 3051 1 0 6488269 0
[pid=8797/tid=8798] ppid=8795 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/8797/task/8798/stat : 8798 (java) D 8795 8795 7925 0 -1 1077944384 5460 0 0 0 19 1 0 0 20 0 20 0 108317003 26628161536 9712 33554432000 4194304 4196468 140728709914160 139888475679696 139888464157229 0 4 0 16800975 18446744072101625380 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8799] ppid=8795 vsize=26004064 memory=279304259671800 CPUtime=0 cores=0-7
/proc/8797/task/8799/stat : 8799 (java) S 8795 8795 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 9712 33554432000 4194304 4196468 140728709914160 139888029202960 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8800] ppid=8795 vsize=26004064 memory=139652190082688 CPUtime=0 cores=0-7
/proc/8797/task/8800/stat : 8800 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 9712 33554432000 4194304 4196468 140728709914160 139888028150416 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8801] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8801/stat : 8801 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 9712 33554432000 4194304 4196468 140728709914160 139888027097360 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8802] ppid=8795 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8802/stat : 8802 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628194304 9712 33554432000 4194304 4196468 140728709914160 139888026044816 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8803] ppid=8795 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8803/stat : 8803 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628194304 9712 33554432000 4194304 4196468 140728709914160 139888024992784 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8804] ppid=8795 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8797/task/8804/stat : 8804 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 9712 33554432000 4194304 4196468 140728709914160 139888023940240 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8805] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8805/stat : 8805 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 9712 33554432000 4194304 4196468 140728709914160 139888022887184 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8806] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8806/stat : 8806 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 9712 33554432000 4194304 4196468 140728709914160 139888021834640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8807] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8807/stat : 8807 (java) S 8795 8795 7925 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 108317005 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887012235504 139888471489154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8808] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8808/stat : 8808 (java) S 8795 8795 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108317006 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887011181728 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8809] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8809/stat : 8809 (java) S 8795 8795 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108317006 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887010128624 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8810] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8810/stat : 8810 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317008 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887009077200 139888471496603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8811] ppid=8795 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/8797/task/8811/stat : 8811 (java) S 8795 8795 7925 0 -1 1077944384 425 0 0 0 1 0 0 0 20 0 20 0 108317008 26628194304 9712 33554432000 4194304 4196468 140728709914160 139887008025328 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8812] ppid=8795 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/8797/task/8812/stat : 8812 (java) S 8795 8795 7925 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 20 0 108317008 26628194304 9712 33554432000 4194304 4196468 140728709914160 139887006972784 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8813] ppid=8795 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/8797/task/8813/stat : 8813 (java) S 8795 8795 7925 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 108317008 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887005919728 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8814] ppid=8795 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/8797/task/8814/stat : 8814 (java) S 8795 8795 7925 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 20 0 108317008 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887004867184 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8815] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8815/stat : 8815 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108317008 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887003814368 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8816] ppid=8795 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8797/task/8816/stat : 8816 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317009 26628161536 9712 33554432000 4194304 4196468 140728709914160 139887002761904 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40232 KiB

[startup+0.310475 s]*
/proc/loadavg: 6.98 7.95 8.18 5/199 8816
/proc/meminfo: memFree=31578152/32770624 swapFree=67108860/67108860
[pid=8795] ppid=8792 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8795/stat : 8795 (xcsp3-exec) S 8792 8795 7925 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108317002 9740288 346 33554432000 4194304 5098028 140725095874560 140725095872664 140690421838460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34480128 140725095879781 140725095879991 140725095879991 140725095882731 0
/proc/8795/statm: 2378 346 289 221 0 87 0
[pid=8797] ppid=8795 vsize=26004064 memory=46244 CPUtime=0.51 cores=0-7
/proc/8797/stat : 8797 (java) S 8795 8795 7925 0 -1 1077944320 9297 0 0 0 48 3 0 0 20 0 20 0 108317002 26628161536 11561 33554432000 4194304 4196468 140728709914160 140728709896704 139888471478007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
/proc/8797/statm: 6501016 11561 3075 1 0 6488269 0
[pid=8797/tid=8798] ppid=8795 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8797/task/8798/stat : 8798 (java) R 8795 8795 7925 0 -1 4202560 6119 0 0 0 28 1 0 0 20 0 20 0 108317003 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888475716880 139888108272900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8799] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8799/stat : 8799 (java) S 8795 8795 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888029202960 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8800] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8800/stat : 8800 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888028150416 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8801] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8801/stat : 8801 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888027097360 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8802] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8802/stat : 8802 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888026044816 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8803] ppid=8795 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/8797/task/8803/stat : 8803 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888024992784 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8804] ppid=8795 vsize=26004064 memory=139652069684143 CPUtime=0 cores=0-7
/proc/8797/task/8804/stat : 8804 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888023940240 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8805] ppid=8795 vsize=26004064 memory=139652069686448 CPUtime=0 cores=0-7
/proc/8797/task/8805/stat : 8805 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888022887184 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8806] ppid=8795 vsize=26004064 memory=139652069688752 CPUtime=0 cores=0-7
/proc/8797/task/8806/stat : 8806 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108317004 26628161536 11561 33554432000 4194304 4196468 140728709914160 139888021834640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8807] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8807/stat : 8807 (java) S 8795 8795 7925 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 108317005 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887012235504 139888471489154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8808] ppid=8795 vsize=26004064 memory=279304139384464 CPUtime=0 cores=0-7
/proc/8797/task/8808/stat : 8808 (java) S 8795 8795 7925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108317006 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887011181728 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8809] ppid=8795 vsize=26004064 memory=279304139391376 CPUtime=0 cores=0-7
/proc/8797/task/8809/stat : 8809 (java) S 8795 8795 7925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108317006 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887010128624 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8810] ppid=8795 vsize=26004064 memory=279304139332656 CPUtime=0 cores=0-7
/proc/8797/task/8810/stat : 8810 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317008 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887009077200 139888471496603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8811] ppid=8795 vsize=26004064 memory=279304139405200 CPUtime=0.02 cores=0-7
/proc/8797/task/8811/stat : 8811 (java) R 8795 8795 7925 0 -1 4202560 600 0 0 0 2 0 0 0 20 0 20 0 108317008 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887008015440 139888463715134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8812] ppid=8795 vsize=26004064 memory=279304139412112 CPUtime=0.01 cores=0-7
/proc/8797/task/8812/stat : 8812 (java) S 8795 8795 7925 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 108317008 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887006972784 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8813] ppid=8795 vsize=26004064 memory=279304139409808 CPUtime=0.02 cores=0-7
/proc/8797/task/8813/stat : 8813 (java) S 8795 8795 7925 0 -1 1077944384 165 0 0 0 2 0 0 0 20 0 20 0 108317008 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887005919728 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8814] ppid=8795 vsize=26004064 memory=279304139425968 CPUtime=0.12 cores=0-7
/proc/8797/task/8814/stat : 8814 (java) R 8795 8795 7925 0 -1 4202560 912 0 0 0 12 0 0 0 20 0 20 0 108317008 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887004863992 139888456606048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8815] ppid=8795 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8815/stat : 8815 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108317008 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887003814368 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8816] ppid=8795 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8797/task/8816/stat : 8816 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317009 26628161536 11561 33554432000 4194304 4196468 140728709914160 139887002761904 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47628 KiB

[startup+0.701929 s]
/proc/loadavg: 6.98 7.95 8.18 2/199 8816
/proc/meminfo: memFree=31515912/32770624 swapFree=67108860/67108860
[pid=8795] ppid=8792 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8795/stat : 8795 (xcsp3-exec) S 8792 8795 7925 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108317002 9740288 346 33554432000 4194304 5098028 140725095874560 140725095872664 140690421838460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34480128 140725095879781 140725095879991 140725095879991 140725095882731 0
/proc/8795/statm: 2378 346 289 221 0 87 0
[pid=8797] ppid=8795 vsize=26004140 memory=144496 CPUtime=1.73 cores=0-7
/proc/8797/stat : 8797 (java) S 8795 8795 7925 0 -1 1077944320 12337 0 0 0 168 5 0 0 20 0 20 0 108317002 26628239360 36124 33554432000 4194304 4196468 140728709914160 140728709896704 139888471478007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
/proc/8797/statm: 6501035 36124 3177 1 0 6488269 0
[pid=8797/tid=8798] ppid=8795 vsize=26004140 memory=279304139720832 CPUtime=0.67 cores=0-7
/proc/8797/task/8798/stat : 8798 (java) R 8795 8795 7925 0 -1 4202560 6444 0 0 0 65 2 0 0 20 0 20 0 108317003 26628239360 36124 33554432000 4194304 4196468 140728709914160 139888475711856 139888471489942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8799] ppid=8795 vsize=26004140 memory=5788 CPUtime=0 cores=0-7
/proc/8797/task/8799/stat : 8799 (java) S 8795 8795 7925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108317004 26628239360 36124 33554432000 4194304 4196468 140728709914160 139888029202960 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8800] ppid=8795 vsize=26004140 memory=1228 CPUtime=0 cores=0-7
/proc/8797/task/8800/stat : 8800 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628239360 36124 33554432000 4194304 4196468 140728709914160 139888028150416 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8801] ppid=8795 vsize=26004140 memory=796 CPUtime=0 cores=0-7
/proc/8797/task/8801/stat : 8801 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108317004 26628239360 36124 33554432000 4194304 4196468 140728709914160 139888027097360 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0

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

[pid=8797/tid=8807] ppid=8795 vsize=26538700 memory=6656426216303648864 CPUtime=0.11 cores=0-7
/proc/8797/task/8807/stat : 8807 (java) S 8795 8795 7925 0 -1 1077944384 3838 0 0 0 9 2 0 0 20 0 28 0 108317005 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887012235504 139888471489154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8808] ppid=8795 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/8797/task/8808/stat : 8808 (java) S 8795 8795 7925 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 108317006 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887011181792 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8809] ppid=8795 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8809/stat : 8809 (java) S 8795 8795 7925 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 108317006 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887010128640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8810] ppid=8795 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8810/stat : 8810 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108317008 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887009077200 139888471496603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8811] ppid=8795 vsize=26538700 memory=0 CPUtime=2.04 cores=0-7
/proc/8797/task/8811/stat : 8811 (java) R 8795 8795 7925 0 -1 1077944384 4939 0 0 0 203 1 0 0 20 0 28 0 108317008 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887008025136 139888471488213 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8812] ppid=8795 vsize=26538700 memory=0 CPUtime=2.08 cores=0-7
/proc/8797/task/8812/stat : 8812 (java) R 8795 8795 7925 0 -1 4202560 5132 0 0 0 206 2 0 0 20 0 28 0 108317008 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887006954176 139888449494986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8813] ppid=8795 vsize=26538700 memory=0 CPUtime=2.15 cores=0-7
/proc/8797/task/8813/stat : 8813 (java) R 8795 8795 7925 0 -1 1077944384 5301 0 0 0 214 1 0 0 20 0 28 0 108317008 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887005918128 139888471488213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8814] ppid=8795 vsize=26538700 memory=0 CPUtime=0.71 cores=0-7
/proc/8797/task/8814/stat : 8814 (java) R 8795 8795 7925 0 -1 1077944384 3337 0 0 0 69 2 0 0 20 0 28 0 108317008 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887004867184 139888471489154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8815] ppid=8795 vsize=26538700 memory=7367994820054245709 CPUtime=0 cores=0-7
/proc/8797/task/8815/stat : 8815 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108317008 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887003814368 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8816] ppid=8795 vsize=26538700 memory=850740 CPUtime=0 cores=0-7
/proc/8797/task/8816/stat : 8816 (java) S 8795 8795 7925 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 108317009 27175628800 838178 33554432000 4194304 4196468 140728709914160 139887002761904 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
Current children cumulated CPU time: 30.24 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3354096 KiB

[startup+13.4137 s]
# the end of solver process 8795 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=31.9722 s, system=3.5423 s

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

[startup+12.8019 s]
/proc/loadavg: 5.72 7.62 8.07 2/199 8816
/proc/meminfo: memFree=28267608/32770624 swapFree=67108860/67108860
[pid=8795] ppid=8792 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8795/stat : 8795 (xcsp3-exec) S 8792 8795 7925 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108317002 9740288 346 33554432000 4194304 5098028 140725095874560 140725095872664 140690421838460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34480128 140725095879781 140725095879991 140725095879991 140725095882731 0
/proc/8795/statm: 2378 346 289 221 0 87 0
[pid=8797] ppid=8795 vsize=26538700 memory=3352812 CPUtime=31.04 cores=0-7
/proc/8797/stat : 8797 (java) S 8795 8795 7925 0 -1 1077944320 45165 0 0 0 2757 347 0 0 20 0 28 0 108317002 27175628800 838203 33554432000 4194304 4196468 140728709914160 140728709896704 139888471478007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
/proc/8797/statm: 6634675 838203 3280 1 0 6621909 0
[pid=8797/tid=8798] ppid=8795 vsize=26538700 memory=706884 CPUtime=10.72 cores=0-7
/proc/8797/task/8798/stat : 8798 (java) S 8795 8795 7925 0 -1 1077944384 13099 0 0 0 1029 43 0 0 20 0 28 0 108317003 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888475718784 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8799] ppid=8795 vsize=26538700 memory=6655300316396806240 CPUtime=1.17 cores=0-7
/proc/8797/task/8799/stat : 8799 (java) S 8795 8795 7925 0 -1 1077944384 807 0 0 0 83 34 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888029202960 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8800] ppid=8795 vsize=26538700 memory=6944652177228980320 CPUtime=1.19 cores=0-7
/proc/8797/task/8800/stat : 8800 (java) S 8795 8795 7925 0 -1 1077944384 1052 0 0 0 83 36 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888028150416 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8801] ppid=8795 vsize=26538700 memory=6944656591801717405 CPUtime=1.18 cores=0-7
/proc/8797/task/8801/stat : 8801 (java) S 8795 8795 7925 0 -1 1077944384 1028 0 0 0 81 37 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888027097360 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8802] ppid=8795 vsize=26538700 memory=1728 CPUtime=1.19 cores=0-7
/proc/8797/task/8802/stat : 8802 (java) S 8795 8795 7925 0 -1 1077944384 784 0 0 0 84 35 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888026044816 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8803] ppid=8795 vsize=26538700 memory=5788 CPUtime=1.21 cores=0-7
/proc/8797/task/8803/stat : 8803 (java) S 8795 8795 7925 0 -1 1077944384 883 0 0 0 83 38 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888024992784 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8804] ppid=8795 vsize=26538700 memory=1228 CPUtime=1.17 cores=0-7
/proc/8797/task/8804/stat : 8804 (java) S 8795 8795 7925 0 -1 1077944384 1118 0 0 0 81 36 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888023940240 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8805] ppid=8795 vsize=26538700 memory=796 CPUtime=1.21 cores=0-7
/proc/8797/task/8805/stat : 8805 (java) S 8795 8795 7925 0 -1 1077944384 1027 0 0 0 84 37 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888022887184 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8806] ppid=8795 vsize=26538700 memory=0 CPUtime=1.18 cores=0-7
/proc/8797/task/8806/stat : 8806 (java) S 8795 8795 7925 0 -1 1077944384 789 0 0 0 83 35 0 0 20 0 28 0 108317004 27175628800 838203 33554432000 4194304 4196468 140728709914160 139888021834640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8807] ppid=8795 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7
/proc/8797/task/8807/stat : 8807 (java) S 8795 8795 7925 0 -1 1077944384 3838 0 0 0 9 2 0 0 20 0 28 0 108317005 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887012235504 139888471489154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8808] ppid=8795 vsize=26538700 memory=3762110127460762720 CPUtime=0 cores=0-7
/proc/8797/task/8808/stat : 8808 (java) S 8795 8795 7925 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 108317006 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887011181792 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8809] ppid=8795 vsize=26538700 memory=8100380778139637076 CPUtime=0 cores=0-7
/proc/8797/task/8809/stat : 8809 (java) S 8795 8795 7925 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 108317006 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887010128640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8810] ppid=8795 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8810/stat : 8810 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108317008 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887009077200 139888471496603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8811] ppid=8795 vsize=26538700 memory=2519 CPUtime=2.1 cores=0-7
/proc/8797/task/8811/stat : 8811 (java) R 8795 8795 7925 0 -1 4202560 4992 0 0 0 209 1 0 0 20 0 28 0 108317008 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887008011696 139888454974795 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8812] ppid=8795 vsize=26538700 memory=0 CPUtime=2.14 cores=0-7
/proc/8797/task/8812/stat : 8812 (java) R 8795 8795 7925 0 -1 4202560 5147 0 0 0 212 2 0 0 20 0 28 0 108317008 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887006958848 139888455383941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8813] ppid=8795 vsize=26538700 memory=477 CPUtime=2.22 cores=0-7
/proc/8797/task/8813/stat : 8813 (java) R 8795 8795 7925 0 -1 1077944384 5334 0 0 0 220 2 0 0 20 0 28 0 108317008 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887005908960 139888471488213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8814] ppid=8795 vsize=26538700 memory=268 CPUtime=0.73 cores=0-7
/proc/8797/task/8814/stat : 8814 (java) R 8795 8795 7925 0 -1 1077944384 3366 0 0 0 71 2 0 0 20 0 28 0 108317008 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887004867280 139888471488213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8815] ppid=8795 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/8797/task/8815/stat : 8815 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108317008 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887003814368 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8816] ppid=8795 vsize=26538700 memory=850740 CPUtime=0 cores=0-7
/proc/8797/task/8816/stat : 8816 (java) S 8795 8795 7925 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 108317009 27175628800 838203 33554432000 4194304 4196468 140728709914160 139887002761904 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
Current children cumulated CPU time: 31.04 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3354196 KiB

[startup+13.2019 s]
/proc/loadavg: 5.72 7.62 8.07 12/207 8824
/proc/meminfo: memFree=28265620/32770624 swapFree=67108860/67108860
[pid=8795] ppid=8792 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8795/stat : 8795 (xcsp3-exec) S 8792 8795 7925 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108317002 9740288 346 33554432000 4194304 5098028 140725095874560 140725095872664 140690421838460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34480128 140725095879781 140725095879991 140725095879991 140725095882731 0
/proc/8795/statm: 2378 346 289 221 0 87 0
[pid=8797] ppid=8795 vsize=26538700 memory=3353232 CPUtime=34.16 cores=0-7
/proc/8797/stat : 8797 (java) S 8795 8795 7925 0 -1 1077944320 45317 0 0 0 3068 348 0 0 20 0 28 0 108317002 27175628800 838308 33554432000 4194304 4196468 140728709914160 140728709896704 139888471478007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
/proc/8797/statm: 6634675 838308 3294 1 0 6621909 0
[pid=8797/tid=8798] ppid=8795 vsize=26538700 memory=8112282956445269571 CPUtime=10.72 cores=0-7
/proc/8797/task/8798/stat : 8798 (java) S 8795 8795 7925 0 -1 1077944384 13099 0 0 0 1029 43 0 0 20 0 28 0 108317003 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888475718784 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8799] ppid=8795 vsize=26538700 memory=288230574492221466 CPUtime=1.17 cores=0-7
/proc/8797/task/8799/stat : 8799 (java) S 8795 8795 7925 0 -1 1077944384 807 0 0 0 83 34 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888029202960 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8800] ppid=8795 vsize=26538700 memory=288230621803970871 CPUtime=1.19 cores=0-7
/proc/8797/task/8800/stat : 8800 (java) S 8795 8795 7925 0 -1 1077944384 1052 0 0 0 83 36 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888028150416 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8801] ppid=8795 vsize=26538700 memory=13852958290872725 CPUtime=1.18 cores=0-7
/proc/8797/task/8801/stat : 8801 (java) S 8795 8795 7925 0 -1 1077944384 1028 0 0 0 81 37 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888027097360 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8802] ppid=8795 vsize=26538700 memory=8836 CPUtime=1.19 cores=0-7
/proc/8797/task/8802/stat : 8802 (java) S 8795 8795 7925 0 -1 1077944384 784 0 0 0 84 35 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888026044816 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8803] ppid=8795 vsize=26538700 memory=11044 CPUtime=1.21 cores=0-7
/proc/8797/task/8803/stat : 8803 (java) S 8795 8795 7925 0 -1 1077944384 883 0 0 0 83 38 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888024992784 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8804] ppid=8795 vsize=26538700 memory=13252 CPUtime=1.17 cores=0-7
/proc/8797/task/8804/stat : 8804 (java) S 8795 8795 7925 0 -1 1077944384 1118 0 0 0 81 36 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888023940240 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8805] ppid=8795 vsize=26538700 memory=15460 CPUtime=1.21 cores=0-7
/proc/8797/task/8805/stat : 8805 (java) S 8795 8795 7925 0 -1 1077944384 1027 0 0 0 84 37 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888022887184 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8806] ppid=8795 vsize=26538700 memory=17668 CPUtime=1.18 cores=0-7
/proc/8797/task/8806/stat : 8806 (java) S 8795 8795 7925 0 -1 1077944384 789 0 0 0 83 35 0 0 20 0 28 0 108317004 27175628800 838308 33554432000 4194304 4196468 140728709914160 139888021834640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8807] ppid=8795 vsize=26538700 memory=19876 CPUtime=0.11 cores=0-7
/proc/8797/task/8807/stat : 8807 (java) S 8795 8795 7925 0 -1 1077944384 3838 0 0 0 9 2 0 0 20 0 28 0 108317005 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887012235504 139888471489154 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8808] ppid=8795 vsize=26538700 memory=22084 CPUtime=0 cores=0-7
/proc/8797/task/8808/stat : 8808 (java) S 8795 8795 7925 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 108317006 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887011181792 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8809] ppid=8795 vsize=26538700 memory=24292 CPUtime=0 cores=0-7
/proc/8797/task/8809/stat : 8809 (java) S 8795 8795 7925 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 108317006 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887010128640 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8810] ppid=8795 vsize=26538700 memory=26500 CPUtime=0 cores=0-7
/proc/8797/task/8810/stat : 8810 (java) S 8795 8795 7925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108317008 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887009077200 139888471496603 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8811] ppid=8795 vsize=26538700 memory=28708 CPUtime=2.33 cores=0-7
/proc/8797/task/8811/stat : 8811 (java) R 8795 8795 7925 0 -1 4202560 5081 0 0 0 232 1 0 0 20 0 28 0 108317008 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887008025624 139888452656528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8812] ppid=8795 vsize=26538700 memory=30916 CPUtime=2.3 cores=0-7
/proc/8797/task/8812/stat : 8812 (java) S 8795 8795 7925 0 -1 1077944384 5151 0 0 0 228 2 0 0 20 0 28 0 108317008 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887006972784 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8813] ppid=8795 vsize=26538700 memory=279304140066592 CPUtime=2.43 cores=0-7
/proc/8797/task/8813/stat : 8813 (java) R 8795 8795 7925 0 -1 4202560 5338 0 0 0 241 2 0 0 20 0 28 0 108317008 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887005919728 139888454864586 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8814] ppid=8795 vsize=26538700 memory=7089900910388142946 CPUtime=0.78 cores=0-7
/proc/8797/task/8814/stat : 8814 (java) R 8795 8795 7925 0 -1 1077944384 3373 0 0 0 76 2 0 0 20 0 28 0 108317008 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887004867184 139888471489154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8815] ppid=8795 vsize=26538700 memory=288288865905804076 CPUtime=0 cores=0-7
/proc/8797/task/8815/stat : 8815 (java) S 8795 8795 7925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108317008 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887003814368 139888471488213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8816] ppid=8795 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/8797/task/8816/stat : 8816 (java) S 8795 8795 7925 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 28 0 108317009 27175628800 838308 33554432000 4194304 4196468 140728709914160 139887002761904 139888471489154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8817] ppid=8795 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7
/proc/8797/task/8817/stat : 8817 (java) R 8795 8795 7925 0 -1 4202560 65 0 0 0 65 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886994749928 139888115443008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8818] ppid=8795 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7
/proc/8797/task/8818/stat : 8818 (java) R 8795 8795 7925 0 -1 4202560 45 0 0 0 67 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886993698832 139888109377288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8819] ppid=8795 vsize=26538700 memory=0 CPUtime=0.59 cores=0-7
/proc/8797/task/8819/stat : 8819 (java) R 8795 8795 7925 0 -1 1077944384 74 0 0 0 59 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886992627344 139888464157229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8820] ppid=8795 vsize=26538700 memory=0 CPUtime=0.88 cores=0-7
/proc/8797/task/8820/stat : 8820 (java) R 8795 8795 7925 0 -1 4202560 35 0 0 0 88 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886991592480 139888114283893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8821] ppid=8795 vsize=26538700 memory=139652190090529 CPUtime=0.65 cores=0-7
/proc/8797/task/8821/stat : 8821 (java) R 8795 8795 7925 0 -1 4202560 52 0 0 0 65 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886990541312 139888112112864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8822] ppid=8795 vsize=26538700 memory=0 CPUtime=0.79 cores=0-7
/proc/8797/task/8822/stat : 8822 (java) R 8795 8795 7925 0 -1 4202560 68 0 0 0 79 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886989490904 139888111862614 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8823] ppid=8795 vsize=26538700 memory=7449637037007597154 CPUtime=0.78 cores=0-7
/proc/8797/task/8823/stat : 8823 (java) R 8795 8795 7925 0 -1 4202560 32 0 0 0 78 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886988434056 139888114283858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
[pid=8797/tid=8824] ppid=8795 vsize=26538700 memory=7523107478184158290 CPUtime=0.8 cores=0-7
/proc/8797/task/8824/stat : 8824 (java) R 8795 8795 7925 0 -1 4202560 39 0 0 0 80 0 0 0 20 0 28 0 108318229 27175628800 838308 33554432000 4194304 4196468 140728709914160 139886987385072 139888114866084 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31817728 140728709919890 140728709920067 140728709920067 140728709922767 0
Current children cumulated CPU time: 34.16 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3354616 KiB

[startup+13.4012 s]
/proc/loadavg: 5.72 7.62 8.07 12/207 8824
/proc/meminfo: memFree=28265620/32770624 swapFree=67108860/67108860
[pid=8795] ppid=8792 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/8795/stat : 8795 (xcsp3-exec) S 8792 8795 7925 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108317002 9740288 346 33554432000 4194304 5098028 140725095874560 140725095872664 140690421838460 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34480128 140725095879781 140725095879991 140725095879991 140725095882731 0
/proc/8795/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB

Child status: 0
Real time (s): 13.4137
CPU time (s): 35.5145
CPU user time (s): 31.9722
CPU system time (s): 3.5423
CPU usage (%): 264.762
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3354636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.9722
system time used= 3.5423
maximum resident set size= 3354124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5103
involuntary context switches= 374


# summary of solver processes directly reported to runsolver:
#   pid: 8795
#   total CPU time (s): 35.5145
#   total CPU user time (s): 31.9722
#   total CPU system time (s): 3.5423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.14022 second user time and 0.154351 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 4270909

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data