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-18)	SAT	37.6889	13.62

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280719-1503149713.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4280719-1503149713.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
27.17/12.22	c solve instance...
37.06/13.58	s SATISFIABLE
37.06/13.58	v <instantiation>
37.06/13.58	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>
37.06/13.58	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>
37.06/13.58	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 (13008 MiB free)
  memory of node 1: 16384 MiB (12573 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280719-1503149713/watcher-4280719-1503149713 -o /tmp/evaluation-result-4280719-1503149713/solver-4280719-1503149713 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503148812-10443 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1351290623 HOME/instance-4280719-1503149713.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=11320, runsolver pid=11317

[startup+0.100155 s]*
/proc/loadavg: 6.66 7.81 8.10 2/199 11341
/proc/meminfo: memFree=26179312/32770624 swapFree=67108860/67108860
[pid=11320] ppid=11317 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11320/stat : 11320 (xcsp3-exec) S 11317 11320 10416 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148058924 9740288 346 33554432000 4194304 5098028 140723201820976 140723201819080 140505253069436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23298048 140723201827940 140723201828151 140723201828151 140723201830891 0
/proc/11320/statm: 2378 346 289 221 0 87 0
[pid=11322] ppid=11320 vsize=25999808 memory=26840 CPUtime=0.11 cores=0-7
/proc/11322/stat : 11322 (java) S 11320 11320 10416 0 -1 1077944320 5635 0 0 0 11 0 0 0 20 0 20 0 148058924 26623803392 6710 33554432000 4194304 4196468 140724412136144 140724412118688 139745971035895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
/proc/11322/statm: 6499952 6710 2841 1 0 6488269 0
[pid=11322/tid=11323] ppid=11320 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11322/task/11323/stat : 11323 (java) R 11320 11320 10416 0 -1 4202560 3651 0 0 0 8 0 0 0 20 0 20 0 148058924 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745975256704 139745569094632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11324] ppid=11320 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11322/task/11324/stat : 11324 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745893616528 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11325] ppid=11320 vsize=25999808 memory=139783497172608 CPUtime=0 cores=0-7
/proc/11322/task/11325/stat : 11325 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745892563728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11326] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11326/stat : 11326 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745891511440 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11327] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11327/stat : 11327 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745890458640 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11328] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11328/stat : 11328 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745889405328 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11329] ppid=11320 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11322/task/11329/stat : 11329 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745523947792 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11330] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11330/stat : 11330 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745522895504 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11331] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11331/stat : 11331 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148058925 26623803392 6710 33554432000 4194304 4196468 140724412136144 139745521842704 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11332] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11332/stat : 11332 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058927 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744288148080 139745971047042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11333] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11333/stat : 11333 (java) S 11320 11320 10416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148058927 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744287094048 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11334] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11334/stat : 11334 (java) S 11320 11320 10416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148058927 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744286041712 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11335] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11335/stat : 11335 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058930 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744284990032 139745971054491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11336] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11336/stat : 11336 (java) S 11320 11320 10416 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 148058930 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744283936880 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11337] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11337/stat : 11337 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148058930 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744282884080 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11338] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11338/stat : 11338 (java) S 11320 11320 10416 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 148058930 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744281831792 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11339] ppid=11320 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/11322/task/11339/stat : 11339 (java) R 11320 11320 10416 0 -1 4202560 247 0 0 0 1 0 0 0 20 0 20 0 148058930 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744280778992 139745971047830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11340] ppid=11320 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11340/stat : 11340 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148058930 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744279726944 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11341] ppid=11320 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/11322/task/11341/stat : 11341 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058930 26623803392 6710 33554432000 4194304 4196468 140724412136144 139744278674224 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28224 KiB

[startup+0.209704 s]*
/proc/loadavg: 6.66 7.81 8.10 2/199 11341
/proc/meminfo: memFree=26168520/32770624 swapFree=67108860/67108860
[pid=11320] ppid=11317 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11320/stat : 11320 (xcsp3-exec) S 11317 11320 10416 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148058924 9740288 346 33554432000 4194304 5098028 140723201820976 140723201819080 140505253069436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23298048 140723201827940 140723201828151 140723201828151 140723201830891 0
/proc/11320/statm: 2378 346 289 221 0 87 0
[pid=11322] ppid=11320 vsize=26004064 memory=39004 CPUtime=0.33 cores=0-7
/proc/11322/stat : 11322 (java) S 11320 11320 10416 0 -1 1077944320 8332 0 0 0 32 1 0 0 20 0 20 0 148058924 26628161536 9751 33554432000 4194304 4196468 140724412136144 140724412118688 139745971035895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
/proc/11322/statm: 6501016 9751 3040 1 0 6488269 0
[pid=11322/tid=11323] ppid=11320 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/11322/task/11323/stat : 11323 (java) R 11320 11320 10416 0 -1 4202560 5436 0 0 0 19 1 0 0 20 0 20 0 148058924 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745975256720 139745963713909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11324] ppid=11320 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/11322/task/11324/stat : 11324 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745893616528 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11325] ppid=11320 vsize=26004064 memory=139783497196965 CPUtime=0 cores=0-7
/proc/11322/task/11325/stat : 11325 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745892563728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11326] ppid=11320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11322/task/11326/stat : 11326 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745891511440 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11327] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11327/stat : 11327 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745890458640 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11328] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11328/stat : 11328 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745889405328 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11329] ppid=11320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11322/task/11329/stat : 11329 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745523947792 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11330] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11330/stat : 11330 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745522895504 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11331] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11331/stat : 11331 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 9751 33554432000 4194304 4196468 140724412136144 139745521842704 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11332] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11332/stat : 11332 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058927 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744288148080 139745971047042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11333] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11333/stat : 11333 (java) S 11320 11320 10416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148058927 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744287094048 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11334] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11334/stat : 11334 (java) S 11320 11320 10416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148058927 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744286041712 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11335] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11335/stat : 11335 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058930 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744284990032 139745971054491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11336] ppid=11320 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/11322/task/11336/stat : 11336 (java) R 11320 11320 10416 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 148058930 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744283936880 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11337] ppid=11320 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/11322/task/11337/stat : 11337 (java) S 11320 11320 10416 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 148058930 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744282884080 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11338] ppid=11320 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/11322/task/11338/stat : 11338 (java) S 11320 11320 10416 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 20 0 148058930 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744281831792 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11339] ppid=11320 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/11322/task/11339/stat : 11339 (java) R 11320 11320 10416 0 -1 4202560 692 0 0 0 7 0 0 0 20 0 20 0 148058930 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744280778992 139745950012496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11340] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11340/stat : 11340 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148058930 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744279726944 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11341] ppid=11320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11322/task/11341/stat : 11341 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058930 26628161536 9751 33554432000 4194304 4196468 140724412136144 139744278674224 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40388 KiB

[startup+0.309429 s]*
/proc/loadavg: 6.66 7.81 8.10 3/199 11341
/proc/meminfo: memFree=26164364/32770624 swapFree=67108860/67108860
[pid=11320] ppid=11317 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11320/stat : 11320 (xcsp3-exec) S 11317 11320 10416 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148058924 9740288 346 33554432000 4194304 5098028 140723201820976 140723201819080 140505253069436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23298048 140723201827940 140723201828151 140723201828151 140723201830891 0
/proc/11320/statm: 2378 346 289 221 0 87 0
[pid=11322] ppid=11320 vsize=26004064 memory=45724 CPUtime=0.5 cores=0-7
/proc/11322/stat : 11322 (java) S 11320 11320 10416 0 -1 1077944320 9158 0 0 0 48 2 0 0 20 0 20 0 148058924 26628161536 11431 33554432000 4194304 4196468 140724412136144 140724412118688 139745971035895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
/proc/11322/statm: 6501016 11431 3100 1 0 6488269 0
[pid=11322/tid=11323] ppid=11320 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11322/task/11323/stat : 11323 (java) R 11320 11320 10416 0 -1 4202560 6116 0 0 0 28 1 0 0 20 0 20 0 148058924 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745975273808 139745971047830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11324] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11324/stat : 11324 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745893616528 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11325] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11325/stat : 11325 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745892563728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11326] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11326/stat : 11326 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745891511440 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11327] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11327/stat : 11327 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745890458640 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11328] ppid=11320 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/11322/task/11328/stat : 11328 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745889405328 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11329] ppid=11320 vsize=26004064 memory=139783334622127 CPUtime=0 cores=0-7
/proc/11322/task/11329/stat : 11329 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745523947792 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11330] ppid=11320 vsize=26004064 memory=139783334624432 CPUtime=0 cores=0-7
/proc/11322/task/11330/stat : 11330 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745522895504 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11331] ppid=11320 vsize=26004064 memory=139783334626736 CPUtime=0 cores=0-7
/proc/11322/task/11331/stat : 11331 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148058925 26628161536 11431 33554432000 4194304 4196468 140724412136144 139745521842704 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11332] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11332/stat : 11332 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058927 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744288148080 139745971047042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11333] ppid=11320 vsize=26004064 memory=279566669260432 CPUtime=0 cores=0-7
/proc/11322/task/11333/stat : 11333 (java) S 11320 11320 10416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148058927 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744287094048 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11334] ppid=11320 vsize=26004064 memory=279566669267344 CPUtime=0 cores=0-7
/proc/11322/task/11334/stat : 11334 (java) S 11320 11320 10416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148058927 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744286041712 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11335] ppid=11320 vsize=26004064 memory=279566669208624 CPUtime=0 cores=0-7
/proc/11322/task/11335/stat : 11335 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058930 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744284990032 139745971054491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11336] ppid=11320 vsize=26004064 memory=279566669281168 CPUtime=0.03 cores=0-7
/proc/11322/task/11336/stat : 11336 (java) R 11320 11320 10416 0 -1 4202560 520 0 0 0 3 0 0 0 20 0 20 0 148058930 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744283936880 139745951736192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11337] ppid=11320 vsize=26004064 memory=279566669288080 CPUtime=0.02 cores=0-7
/proc/11322/task/11337/stat : 11337 (java) S 11320 11320 10416 0 -1 1077944384 38 0 0 0 2 0 0 0 20 0 20 0 148058930 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744282884080 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11338] ppid=11320 vsize=26004064 memory=279566669285776 CPUtime=0.02 cores=0-7
/proc/11322/task/11338/stat : 11338 (java) S 11320 11320 10416 0 -1 1077944384 420 0 0 0 2 0 0 0 20 0 20 0 148058930 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744281831792 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11339] ppid=11320 vsize=26004064 memory=279566669301936 CPUtime=0.12 cores=0-7
/proc/11322/task/11339/stat : 11339 (java) R 11320 11320 10416 0 -1 4202560 785 0 0 0 12 0 0 0 20 0 20 0 148058930 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744280774032 139745955116382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11340] ppid=11320 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11340/stat : 11340 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148058930 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744279726944 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11341] ppid=11320 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/11322/task/11341/stat : 11341 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058930 26628161536 11431 33554432000 4194304 4196468 140724412136144 139744278674224 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47108 KiB

[startup+0.700905 s]
/proc/loadavg: 6.66 7.81 8.10 2/199 11341
/proc/meminfo: memFree=26099656/32770624 swapFree=67108860/67108860
[pid=11320] ppid=11317 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11320/stat : 11320 (xcsp3-exec) S 11317 11320 10416 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148058924 9740288 346 33554432000 4194304 5098028 140723201820976 140723201819080 140505253069436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23298048 140723201827940 140723201828151 140723201828151 140723201830891 0
/proc/11320/statm: 2378 346 289 221 0 87 0
[pid=11322] ppid=11320 vsize=26004140 memory=146032 CPUtime=1.76 cores=0-7
/proc/11322/stat : 11322 (java) S 11320 11320 10416 0 -1 1077944320 12699 0 0 0 171 5 0 0 20 0 20 0 148058924 26628239360 36508 33554432000 4194304 4196468 140724412136144 140724412118688 139745971035895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
/proc/11322/statm: 6501035 36508 3187 1 0 6488269 0
[pid=11322/tid=11323] ppid=11320 vsize=26004140 memory=279566669659824 CPUtime=0.68 cores=0-7
/proc/11322/task/11323/stat : 11323 (java) R 11320 11320 10416 0 -1 4202560 6449 0 0 0 65 3 0 0 20 0 20 0 148058924 26628239360 36508 33554432000 4194304 4196468 140724412136144 139745975273104 139745572441321 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11324] ppid=11320 vsize=26004140 memory=139783334830960 CPUtime=0 cores=0-7
/proc/11322/task/11324/stat : 11324 (java) S 11320 11320 10416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148058925 26628239360 36508 33554432000 4194304 4196468 140724412136144 139745893616528 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11325] ppid=11320 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11325/stat : 11325 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628239360 36508 33554432000 4194304 4196468 140724412136144 139745892563728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11326] ppid=11320 vsize=26004140 memory=1004 CPUtime=0 cores=0-7
/proc/11322/task/11326/stat : 11326 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148058925 26628239360 36508 33554432000 4194304 4196468 140724412136144 139745891511440 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0

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

[pid=11322/tid=11332] ppid=11320 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7
/proc/11322/task/11332/stat : 11332 (java) S 11320 11320 10416 0 -1 1077944384 3771 0 0 0 10 0 0 0 20 0 28 0 148058927 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744288148080 139745971047042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11333] ppid=11320 vsize=26538700 memory=279566669577200 CPUtime=0 cores=0-7
/proc/11322/task/11333/stat : 11333 (java) S 11320 11320 10416 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 148058927 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744287094112 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11334] ppid=11320 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/11322/task/11334/stat : 11334 (java) S 11320 11320 10416 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 148058927 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744286041728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11335] ppid=11320 vsize=26538700 memory=734122169272185140 CPUtime=0 cores=0-7
/proc/11322/task/11335/stat : 11335 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744284990032 139745971054491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11336] ppid=11320 vsize=26538700 memory=7305772512215329129 CPUtime=2.02 cores=0-7
/proc/11322/task/11336/stat : 11336 (java) R 11320 11320 10416 0 -1 4202560 5169 0 0 0 201 1 0 0 20 0 28 0 148058930 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744283923088 139745971049777 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11337] ppid=11320 vsize=26538700 memory=279566669986832 CPUtime=2.19 cores=0-7
/proc/11322/task/11337/stat : 11337 (java) R 11320 11320 10416 0 -1 4202560 5167 0 0 0 218 1 0 0 20 0 28 0 148058930 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744282869040 139745971057242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11338] ppid=11320 vsize=26538700 memory=279566669365680 CPUtime=2.41 cores=0-7
/proc/11322/task/11338/stat : 11338 (java) R 11320 11320 10416 0 -1 4202560 5396 0 0 0 241 0 0 0 20 0 28 0 148058930 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744281817808 139745950274380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11339] ppid=11320 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7
/proc/11322/task/11339/stat : 11339 (java) S 11320 11320 10416 0 -1 1077944384 3492 0 0 0 72 1 0 0 20 0 28 0 148058930 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744280778992 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11340] ppid=11320 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11340/stat : 11340 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744279726944 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11341] ppid=11320 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11341/stat : 11341 (java) S 11320 11320 10416 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 832910 33554432000 4194304 4196468 140724412136144 139744278674224 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
Current children cumulated CPU time: 30.81 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3333024 KiB

[startup+13.6199 s]
# the end of solver process 11320 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=34.2925 s, system=3.39637 s

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

[startup+12.8017 s]
/proc/loadavg: 6.20 7.66 8.04 2/199 11341
/proc/meminfo: memFree=22873688/32770624 swapFree=67108860/67108860
[pid=11320] ppid=11317 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11320/stat : 11320 (xcsp3-exec) S 11317 11320 10416 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148058924 9740288 346 33554432000 4194304 5098028 140723201820976 140723201819080 140505253069436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23298048 140723201827940 140723201828151 140723201828151 140723201830891 0
/proc/11320/statm: 2378 346 289 221 0 87 0
[pid=11322] ppid=11320 vsize=26538700 memory=3333204 CPUtime=31.53 cores=0-7
/proc/11322/stat : 11322 (java) S 11320 11320 10416 0 -1 1077944320 46014 0 0 0 2818 335 0 0 20 0 28 0 148058924 27175628800 833301 33554432000 4194304 4196468 140724412136144 140724412118688 139745971035895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
/proc/11322/statm: 6634675 833301 3283 1 0 6621909 0
[pid=11322/tid=11323] ppid=11320 vsize=26538700 memory=1200 CPUtime=10.88 cores=0-7
/proc/11322/task/11323/stat : 11323 (java) S 11320 11320 10416 0 -1 1077944384 13003 0 0 0 1052 36 0 0 20 0 28 0 148058924 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745975276672 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11324] ppid=11320 vsize=26538700 memory=15876 CPUtime=1.19 cores=0-7
/proc/11322/task/11324/stat : 11324 (java) S 11320 11320 10416 0 -1 1077944384 836 0 0 0 81 38 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745893616528 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11325] ppid=11320 vsize=26538700 memory=4040 CPUtime=1.2 cores=0-7
/proc/11322/task/11325/stat : 11325 (java) S 11320 11320 10416 0 -1 1077944384 1202 0 0 0 84 36 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745892563728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11326] ppid=11320 vsize=26538700 memory=23576 CPUtime=1.2 cores=0-7
/proc/11322/task/11326/stat : 11326 (java) S 11320 11320 10416 0 -1 1077944384 933 0 0 0 84 36 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745891511440 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11327] ppid=11320 vsize=26538700 memory=18292 CPUtime=1.2 cores=0-7
/proc/11322/task/11327/stat : 11327 (java) S 11320 11320 10416 0 -1 1077944384 771 0 0 0 83 37 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745890458640 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11328] ppid=11320 vsize=26538700 memory=4132 CPUtime=1.18 cores=0-7
/proc/11322/task/11328/stat : 11328 (java) S 11320 11320 10416 0 -1 1077944384 918 0 0 0 84 34 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745889405328 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11329] ppid=11320 vsize=26538700 memory=2241 CPUtime=1.21 cores=0-7
/proc/11322/task/11329/stat : 11329 (java) S 11320 11320 10416 0 -1 1077944384 911 0 0 0 84 37 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745523947792 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11330] ppid=11320 vsize=26538700 memory=2244 CPUtime=1.19 cores=0-7
/proc/11322/task/11330/stat : 11330 (java) S 11320 11320 10416 0 -1 1077944384 812 0 0 0 85 34 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745522895504 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11331] ppid=11320 vsize=26538700 memory=0 CPUtime=1.19 cores=0-7
/proc/11322/task/11331/stat : 11331 (java) S 11320 11320 10416 0 -1 1077944384 994 0 0 0 84 35 0 0 20 0 28 0 148058925 27175628800 833301 33554432000 4194304 4196468 140724412136144 139745521842704 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11332] ppid=11320 vsize=26538700 memory=0 CPUtime=0.1 cores=0-7
/proc/11322/task/11332/stat : 11332 (java) S 11320 11320 10416 0 -1 1077944384 3771 0 0 0 10 0 0 0 20 0 28 0 148058927 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744288148080 139745971047042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11333] ppid=11320 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11333/stat : 11333 (java) S 11320 11320 10416 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 148058927 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744287094112 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11334] ppid=11320 vsize=26538700 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/11322/task/11334/stat : 11334 (java) S 11320 11320 10416 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 148058927 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744286041728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11335] ppid=11320 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/11322/task/11335/stat : 11335 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744284990032 139745971054491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11336] ppid=11320 vsize=26538700 memory=107 CPUtime=2.09 cores=0-7
/proc/11322/task/11336/stat : 11336 (java) R 11320 11320 10416 0 -1 4202560 5322 0 0 0 208 1 0 0 20 0 28 0 148058930 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744283922896 139745956151145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11337] ppid=11320 vsize=26538700 memory=4132 CPUtime=2.28 cores=0-7
/proc/11322/task/11337/stat : 11337 (java) R 11320 11320 10416 0 -1 4202560 5520 0 0 0 227 1 0 0 20 0 28 0 148058930 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744282869040 139745954532560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11338] ppid=11320 vsize=26538700 memory=41428 CPUtime=2.48 cores=0-7
/proc/11322/task/11338/stat : 11338 (java) R 11320 11320 10416 0 -1 4202560 5457 0 0 0 247 1 0 0 20 0 28 0 148058930 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744281815632 139745950254536 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11339] ppid=11320 vsize=26538700 memory=2332 CPUtime=0.74 cores=0-7
/proc/11322/task/11339/stat : 11339 (java) S 11320 11320 10416 0 -1 1077944384 3647 0 0 0 73 1 0 0 20 0 28 0 148058930 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744280778992 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11340] ppid=11320 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/11322/task/11340/stat : 11340 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744279726944 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11341] ppid=11320 vsize=26538700 memory=1728 CPUtime=0 cores=0-7
/proc/11322/task/11341/stat : 11341 (java) S 11320 11320 10416 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 833301 33554432000 4194304 4196468 140724412136144 139744278674224 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
Current children cumulated CPU time: 31.53 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3334588 KiB

[startup+13.2017 s]
/proc/loadavg: 6.20 7.66 8.04 11/207 11349
/proc/meminfo: memFree=22865212/32770624 swapFree=67108860/67108860
[pid=11320] ppid=11317 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11320/stat : 11320 (xcsp3-exec) S 11317 11320 10416 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148058924 9740288 346 33554432000 4194304 5098028 140723201820976 140723201819080 140505253069436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23298048 140723201827940 140723201828151 140723201828151 140723201830891 0
/proc/11320/statm: 2378 346 289 221 0 87 0
[pid=11322] ppid=11320 vsize=26538700 memory=3341148 CPUtime=34.68 cores=0-7
/proc/11322/stat : 11322 (java) S 11320 11320 10416 0 -1 1077944320 49007 0 0 0 3132 336 0 0 20 0 28 0 148058924 27175628800 835287 33554432000 4194304 4196468 140724412136144 140724412118688 139745971035895 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
/proc/11322/statm: 6634675 835287 3283 1 0 6621909 0
[pid=11322/tid=11323] ppid=11320 vsize=26538700 memory=7377551916756131922 CPUtime=10.88 cores=0-7
/proc/11322/task/11323/stat : 11323 (java) S 11320 11320 10416 0 -1 1077944384 13003 0 0 0 1052 36 0 0 20 0 28 0 148058924 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745975276672 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11324] ppid=11320 vsize=26538700 memory=7377551916756131922 CPUtime=1.19 cores=0-7
/proc/11322/task/11324/stat : 11324 (java) S 11320 11320 10416 0 -1 1077944384 836 0 0 0 81 38 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745893616528 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11325] ppid=11320 vsize=26538700 memory=698976 CPUtime=1.2 cores=0-7
/proc/11322/task/11325/stat : 11325 (java) S 11320 11320 10416 0 -1 1077944384 1202 0 0 0 84 36 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745892563728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11326] ppid=11320 vsize=26538700 memory=3138 CPUtime=1.2 cores=0-7
/proc/11322/task/11326/stat : 11326 (java) S 11320 11320 10416 0 -1 1077944384 933 0 0 0 84 36 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745891511440 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11327] ppid=11320 vsize=26538700 memory=688108 CPUtime=1.2 cores=0-7
/proc/11322/task/11327/stat : 11327 (java) S 11320 11320 10416 0 -1 1077944384 771 0 0 0 83 37 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745890458640 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11328] ppid=11320 vsize=26538700 memory=0 CPUtime=1.18 cores=0-7
/proc/11322/task/11328/stat : 11328 (java) S 11320 11320 10416 0 -1 1077944384 918 0 0 0 84 34 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745889405328 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11329] ppid=11320 vsize=26538700 memory=0 CPUtime=1.21 cores=0-7
/proc/11322/task/11329/stat : 11329 (java) S 11320 11320 10416 0 -1 1077944384 911 0 0 0 84 37 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745523947792 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11330] ppid=11320 vsize=26538700 memory=0 CPUtime=1.19 cores=0-7
/proc/11322/task/11330/stat : 11330 (java) S 11320 11320 10416 0 -1 1077944384 812 0 0 0 85 34 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745522895504 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11331] ppid=11320 vsize=26538700 memory=0 CPUtime=1.19 cores=0-7
/proc/11322/task/11331/stat : 11331 (java) S 11320 11320 10416 0 -1 1077944384 994 0 0 0 84 35 0 0 20 0 28 0 148058925 27175628800 835287 33554432000 4194304 4196468 140724412136144 139745521842704 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11332] ppid=11320 vsize=26538700 memory=7649399379953135921 CPUtime=0.1 cores=0-7
/proc/11322/task/11332/stat : 11332 (java) S 11320 11320 10416 0 -1 1077944384 3771 0 0 0 10 0 0 0 20 0 28 0 148058927 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744288148080 139745971047042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11333] ppid=11320 vsize=26538700 memory=8242257093008504373 CPUtime=0 cores=0-7
/proc/11322/task/11333/stat : 11333 (java) S 11320 11320 10416 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 148058927 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744287094112 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11334] ppid=11320 vsize=26538700 memory=7301549219282048872 CPUtime=0 cores=0-7
/proc/11322/task/11334/stat : 11334 (java) S 11320 11320 10416 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 148058927 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744286041728 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11335] ppid=11320 vsize=26538700 memory=7666631141572832339 CPUtime=0 cores=0-7
/proc/11322/task/11335/stat : 11335 (java) S 11320 11320 10416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744284990032 139745971054491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11336] ppid=11320 vsize=26538700 memory=2317753195390062633 CPUtime=2.28 cores=0-7
/proc/11322/task/11336/stat : 11336 (java) R 11320 11320 10416 0 -1 1077944384 5663 0 0 0 227 1 0 0 20 0 28 0 148058930 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744283928208 139745971046101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11337] ppid=11320 vsize=26538700 memory=7595440001688102255 CPUtime=2.57 cores=0-7
/proc/11322/task/11337/stat : 11337 (java) R 11320 11320 10416 0 -1 4202560 6602 0 0 0 256 1 0 0 20 0 28 0 148058930 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744282872560 139745954536315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11338] ppid=11320 vsize=26538700 memory=8026370438146189416 CPUtime=2.69 cores=0-7
/proc/11322/task/11338/stat : 11338 (java) R 11320 11320 10416 0 -1 4202560 6843 0 0 0 268 1 0 0 20 0 28 0 148058930 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744281817672 139745950722559 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11339] ppid=11320 vsize=26538700 memory=6791534058613427641 CPUtime=0.76 cores=0-7
/proc/11322/task/11339/stat : 11339 (java) S 11320 11320 10416 0 -1 1077944384 3785 0 0 0 75 1 0 0 20 0 28 0 148058930 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744280778992 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11340] ppid=11320 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/11322/task/11340/stat : 11340 (java) S 11320 11320 10416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744279726944 139745971046101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11341] ppid=11320 vsize=26538700 memory=2795792 CPUtime=0 cores=0-7
/proc/11322/task/11341/stat : 11341 (java) S 11320 11320 10416 0 -1 1077944384 153 0 0 0 0 0 0 0 20 0 28 0 148058930 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744278674224 139745971047042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11342] ppid=11320 vsize=26538700 memory=4196 CPUtime=0.69 cores=0-7
/proc/11322/task/11342/stat : 11342 (java) R 11320 11320 10416 0 -1 4202560 70 0 0 0 69 0 0 0 20 0 28 0 148060149 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744203095496 139745577683204 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11343] ppid=11320 vsize=26538700 memory=7948967044371330388 CPUtime=0.78 cores=0-7
/proc/11322/task/11343/stat : 11343 (java) R 11320 11320 10416 0 -1 4202560 38 0 0 0 78 0 0 0 20 0 28 0 148060150 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744202042952 139745571423105 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11344] ppid=11320 vsize=26538700 memory=0 CPUtime=0.65 cores=0-7
/proc/11322/task/11344/stat : 11344 (java) R 11320 11320 10416 0 -1 4202560 57 0 0 0 65 0 0 0 20 0 28 0 148060150 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744200989664 139745571422824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11345] ppid=11320 vsize=26538700 memory=6655300316396806240 CPUtime=0.69 cores=0-7
/proc/11322/task/11345/stat : 11345 (java) R 11320 11320 10416 0 -1 4202560 51 0 0 0 69 0 0 0 20 0 28 0 148060150 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744199934032 139745571613199 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11346] ppid=11320 vsize=26538700 memory=-8311738553153378854 CPUtime=0.75 cores=0-7
/proc/11322/task/11346/stat : 11346 (java) R 11320 11320 10416 0 -1 1077944384 64 0 0 0 75 0 0 0 20 0 28 0 148060150 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744198887008 139745971046101 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11347] ppid=11320 vsize=26538700 memory=6656426216303648864 CPUtime=0.7 cores=0-7
/proc/11322/task/11347/stat : 11347 (java) R 11320 11320 10416 0 -1 4202560 90 0 0 0 70 0 0 0 20 0 28 0 148060150 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744197828944 139745571469293 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11348] ppid=11320 vsize=26538700 memory=6655300316396806240 CPUtime=0.71 cores=0-7
/proc/11322/task/11348/stat : 11348 (java) R 11320 11320 10416 0 -1 4202560 58 0 0 0 71 0 0 0 20 0 28 0 148060150 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744196779032 139745572786313 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
[pid=11322/tid=11349] ppid=11320 vsize=26538700 memory=6944656592455360604 CPUtime=0.67 cores=0-7
/proc/11322/task/11349/stat : 11349 (java) R 11320 11320 10416 0 -1 4202560 46 0 0 0 67 0 0 0 20 0 28 0 148060150 27175628800 835287 33554432000 4194304 4196468 140724412136144 139744195730584 139745571422835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14192640 140724412138642 140724412138819 140724412138819 140724412141519 0
Current children cumulated CPU time: 34.68 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3342532 KiB

[startup+13.6011 s]
/proc/loadavg: 6.20 7.66 8.04 11/207 11349
/proc/meminfo: memFree=22865212/32770624 swapFree=67108860/67108860
[pid=11320] ppid=11317 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/11320/stat : 11320 (xcsp3-exec) S 11317 11320 10416 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 148058924 9740288 346 33554432000 4194304 5098028 140723201820976 140723201819080 140505253069436 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 23298048 140723201827940 140723201828151 140723201828151 140723201830891 0
/proc/11320/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.62
CPU time (s): 37.6889
CPU user time (s): 34.2925
CPU system time (s): 3.39637
CPU usage (%): 276.718
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3342532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.2925
system time used= 3.39637
maximum resident set size= 3341676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49900
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= 5080
involuntary context switches= 496


# summary of solver processes directly reported to runsolver:
#   pid: 11320
#   total CPU time (s): 37.6889
#   total CPU user time (s): 34.2925
#   total CPU system time (s): 3.39637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093466 second user time and 0.193608 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 4280719

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data