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 5a (2017-07-26)	SAT	10.0702	4.9685302

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272379-1502802463.xml"  -tl '2520s' -p 1 -x 3
0.11/0.14	c [HOME/instance-4272379-1502802463.xml, -tl, 2520s, -p, 1, -x, 3]
0.11/0.20	c simple solver
0.33/0.26	c parse instance...
6.23/2.58	c solve instance...
9.98/4.72	s SATISFIABLE
9.98/4.72	v <instantiation>
9.98/4.72	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] s </list>
9.98/4.72	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 120 </values>
9.98/4.72	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 (13935 MiB free)
  memory of node 1: 16384 MiB (15375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272379-1502802463/watcher-4272379-1502802463 -o /tmp/evaluation-result-4272379-1502802463/solver-4272379-1502802463 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30227 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 523917561 HOME/instance-4272379-1502802463.xml 

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

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


[startup+0.100142 s]*
/proc/loadavg: 2.09 1.77 1.65 3/218 2308
/proc/meminfo: memFree=29998216/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13978596 memory=28388 CPUtime=0.11 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 5450 0 0 0 10 1 0 0 20 0 15 0 113334595 14314082304 7097 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3494649 7097 2867 1 0 3482966 0
[pid=2294/tid=2295] ppid=2292 vsize=13978596 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) R 2292 2292 30195 0 -1 4202560 3467 0 0 0 8 1 0 0 20 0 15 0 113334596 14314082304 7097 33554432000 4194304 4196468 140733838572016 140622941106672 140622936886678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13978596 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14314082304 7097 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13978596 memory=139732377683584 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14314082304 7097 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14314082304 7097 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334597 14314082304 7097 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2300] ppid=2292 vsize=13978596 memory=139732377683584 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2300/stat : 2300 (java) S 2292 2292 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334598 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621849250416 140622936885890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334598 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621848196384 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334599 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621847144048 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2303] ppid=2292 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2303/stat : 2303 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621846092368 140622936893339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) S 2292 2292 30195 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 113334601 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621845039216 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) R 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334601 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621843986416 140622936885890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13978596 memory=139732377683584 CPUtime=0.01 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) R 2292 2292 30195 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 113334601 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621842934128 140622928830483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2308] ppid=2292 vsize=13978596 memory=139732377683584 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334601 14314082304 7097 33554432000 4194304 4196468 140733838572016 140621840829360 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29772 KiB

[startup+0.210682 s]*
/proc/loadavg: 2.09 1.77 1.65 3/218 2308
/proc/meminfo: memFree=29986556/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13982852 memory=39976 CPUtime=0.33 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 8084 0 0 0 30 3 0 0 20 0 15 0 113334595 14318440448 9994 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3495713 9994 3021 1 0 3482966 0
[pid=2294/tid=2295] ppid=2292 vsize=13982852 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) D 2292 2292 30195 0 -1 1077944384 5326 0 0 0 18 2 0 0 20 0 15 0 113334596 14318440448 10014 33554432000 4194304 4196468 140733838572016 140622941076432 140622929553965 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13982852 memory=4294976255 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 10014 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13982852 memory=139732378166304 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 10014 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 10014 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 10014 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2300] ppid=2292 vsize=13982884 memory=139732377683584 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2300/stat : 2300 (java) S 2292 2292 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334598 14318473216 10014 33554432000 4194304 4196468 140733838572016 140621849250416 140622936885890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334598 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621848196384 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334599 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621847144048 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2303] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2303/stat : 2303 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621846092368 140622936893339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) S 2292 2292 30195 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 113334601 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621845039216 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) S 2292 2292 30195 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 15 0 113334601 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621843986416 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13982852 memory=139732377683584 CPUtime=0.07 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) S 2292 2292 30195 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 15 0 113334601 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621842934128 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2308] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334601 14318440448 10014 33554432000 4194304 4196468 140733838572016 140621840829360 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41360 KiB

[startup+0.310381 s]*
/proc/loadavg: 2.09 1.77 1.65 4/218 2308
/proc/meminfo: memFree=29979856/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13982852 memory=47140 CPUtime=0.51 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 8929 0 0 0 47 4 0 0 20 0 15 0 113334595 14318440448 11785 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3495713 11785 3085 1 0 3482966 0
[pid=2294/tid=2295] ppid=2292 vsize=13982852 memory=288355116380323867 CPUtime=0.3 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) S 2292 2292 30195 0 -1 1077944384 5962 0 0 0 27 3 0 0 20 0 15 0 113334596 14318440448 11785 33554432000 4194304 4196468 140733838572016 140622941112560 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13982852 memory=288230617525789426 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 11785 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13982852 memory=14978892541193632 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 11785 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 11785 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334597 14318440448 11785 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2300] ppid=2292 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2300/stat : 2300 (java) S 2292 2292 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334598 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621849250416 140622936885890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334598 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621848196384 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334599 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621847144048 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2303] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2303/stat : 2303 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621846092368 140622936893339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) R 2292 2292 30195 0 -1 1077944384 528 0 0 0 3 0 0 0 20 0 15 0 113334601 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621845039216 140622936885890 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) R 2292 2292 30195 0 -1 4202560 281 0 0 0 4 0 0 0 20 0 15 0 113334601 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621843986416 140622922890432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) R 2292 2292 30195 0 -1 4202560 863 0 0 0 13 0 0 0 20 0 15 0 113334601 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621842930864 140622915843777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2308] ppid=2292 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334601 14318440448 11785 33554432000 4194304 4196468 140733838572016 140621840829360 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48524 KiB

[startup+0.702806 s]
/proc/loadavg: 2.09 1.77 1.65 5/218 2308
/proc/meminfo: memFree=29932212/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13982928 memory=137908 CPUtime=1.58 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 11658 0 0 0 150 8 0 0 20 0 15 0 113334595 14318518272 34477 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3495732 34477 3182 1 0 3482966 0
[pid=2294/tid=2295] ppid=2292 vsize=13982928 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) R 2292 2292 30195 0 -1 4202560 6283 0 0 0 61 5 0 0 20 0 15 0 113334596 14318518272 34477 33554432000 4194304 4196468 140733838572016 140622941108416 140622550979701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318518272 34477 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318518272 34477 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334597 14318518272 34477 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113334597 14318518272 34477 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2300] ppid=2292 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2300/stat : 2300 (java) S 2292 2292 30195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113334598 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621849250416 140622936885890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334598 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621848196384 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113334599 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621847144048 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2303] ppid=2292 vsize=13982928 memory=3200 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2303/stat : 2303 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621846092368 140622936893339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13982928 memory=1380 CPUtime=0.29 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) R 2292 2292 30195 0 -1 4202560 1290 0 0 0 29 0 0 0 20 0 15 0 113334601 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621845029600 140622916052248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13982928 memory=1366576 CPUtime=0.3 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) R 2292 2292 30195 0 -1 4202560 1256 0 0 0 30 0 0 0 20 0 15 0 113334601 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621843976048 140622920375169 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13982928 memory=928 CPUtime=0.28 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) S 2292 2292 30195 0 -1 1077944384 1522 0 0 0 28 0 0 0 20 0 15 0 113334601 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621842934128 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13982928 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2308] ppid=2292 vsize=13982928 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334601 14318518272 34477 33554432000 4194304 4196468 140733838572016 140621840829360 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 139292 KiB

[startup+1.50088 s]
/proc/loadavg: 2.25 1.81 1.66 5/218 2308
/proc/meminfo: memFree=29775700/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0

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

[pid=2294/tid=2307] ppid=2292 vsize=13984976 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 175467 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2308] ppid=2292 vsize=13984976 memory=6760 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (java) S 2292 2292 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 175467 33554432000 4194304 4196468 140733838572016 140621840829360 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 7.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 703252 KiB

[startup+4.0008 s]*
/proc/loadavg: 2.25 1.81 1.66 3/218 2308
/proc/meminfo: memFree=29322188/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13984976 memory=703992 CPUtime=8.93 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 22771 0 0 0 858 35 0 0 20 0 15 0 113334595 14320615424 175998 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3496244 175998 3262 1 0 3483478 0
[pid=2294/tid=2295] ppid=2292 vsize=13984976 memory=6935054825532540783 CPUtime=3.79 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) R 2292 2292 30195 0 -1 4202560 8448 0 0 0 368 11 0 0 20 0 15 0 113334596 14320615424 175998 33554432000 4194304 4196468 140733838572016 140622941111792 140622554810010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13984976 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 240 0 0 0 11 5 0 0 20 0 15 0 113334597 14320615424 175998 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13984976 memory=-1 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 179 0 0 0 10 4 0 0 20 0 15 0 113334597 14320615424 175998 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13984976 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 176 0 0 0 10 4 0 0 20 0 15 0 113334597 14320615424 175998 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13984976 memory=-1 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 239 0 0 0 10 4 0 0 20 0 15 0 113334597 14320615424 175998 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2300] ppid=2292 vsize=13984976 memory=139732377683584 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2300/stat : 2300 (java) S 2292 2292 30195 0 -1 1077944384 623 0 0 0 0 0 0 0 20 0 15 0 113334598 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621849250416 140622936885890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13984976 memory=7019467087990567473 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334598 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621848196448 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13984976 memory=8099279071866868845 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 113334599 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621847144064 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2303] ppid=2292 vsize=13984976 memory=7444843076533644388 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2303/stat : 2303 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621846092368 140622936893339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13984976 memory=0 CPUtime=1.87 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) S 2292 2292 30195 0 -1 1077944384 4204 0 0 0 186 1 0 0 20 0 15 0 113334601 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621845039216 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13984976 memory=3461362060234024808 CPUtime=1.94 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) S 2292 2292 30195 0 -1 1077944384 4659 0 0 0 193 1 0 0 20 0 15 0 113334601 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621843986416 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13984976 memory=4830866266210989744 CPUtime=0.68 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) S 2292 2292 30195 0 -1 1077944384 2694 0 0 0 67 1 0 0 20 0 15 0 113334601 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621842934128 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13984976 memory=2321103372506177567 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2308] ppid=2292 vsize=13984976 memory=7719362477332129440 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (java) S 2292 2292 30195 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 175998 33554432000 4194304 4196468 140733838572016 140621840829360 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 8.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 705376 KiB

[startup+4.40081 s]
/proc/loadavg: 2.25 1.81 1.66 3/218 2308
/proc/meminfo: memFree=29322188/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13984976 memory=704028 CPUtime=9.41 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 23157 0 0 0 906 35 0 0 20 0 15 0 113334595 14320615424 176007 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3496244 176007 3262 1 0 3483478 0
[pid=2294/tid=2295] ppid=2292 vsize=13984976 memory=2428 CPUtime=4.18 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) R 2292 2292 30195 0 -1 4202560 8567 0 0 0 407 11 0 0 20 0 15 0 113334596 14320615424 176007 33554432000 4194304 4196468 140733838572016 140622941111184 140622554810010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13984976 memory=4104 CPUtime=0.16 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 240 0 0 0 11 5 0 0 20 0 15 0 113334597 14320615424 176007 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13984976 memory=1160 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 179 0 0 0 10 4 0 0 20 0 15 0 113334597 14320615424 176007 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13984976 memory=3200 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 176 0 0 0 10 4 0 0 20 0 15 0 113334597 14320615424 176007 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13984976 memory=1380 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 239 0 0 0 10 4 0 0 20 0 15 0 113334597 14320615424 176007 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2300] ppid=2292 vsize=13984976 memory=33 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2300/stat : 2300 (java) S 2292 2292 30195 0 -1 1077944384 771 0 0 0 0 0 0 0 20 0 15 0 113334598 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621849250416 140622936885890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113334598 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621848196448 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13984976 memory=701428 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 113334599 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621847144064 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2303] ppid=2292 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2303/stat : 2303 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621846092368 140622936893339 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13984976 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) S 2292 2292 30195 0 -1 1077944384 4230 0 0 0 190 1 0 0 20 0 15 0 113334601 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621845039216 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13984976 memory=0 CPUtime=1.97 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) S 2292 2292 30195 0 -1 1077944384 4689 0 0 0 196 1 0 0 20 0 15 0 113334601 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621843986416 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13984976 memory=1384 CPUtime=0.68 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) S 2292 2292 30195 0 -1 1077944384 2756 0 0 0 67 1 0 0 20 0 15 0 113334601 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621842934128 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2308] ppid=2292 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2308/stat : 2308 (java) S 2292 2292 30195 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 113334601 14320615424 176007 33554432000 4194304 4196468 140733838572016 140621840829360 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 9.41 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 705412 KiB

[startup+4.80081 s]
/proc/loadavg: 2.25 1.81 1.66 3/218 2308
/proc/meminfo: memFree=29322188/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13984976 memory=704432 CPUtime=10.05 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 24926 0 0 0 970 35 0 0 20 0 12 0 113334595 14320615424 176108 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3496244 176108 3264 1 0 3483478 0
[pid=2294/tid=2295] ppid=2292 vsize=13984976 memory=0 CPUtime=4.51 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) D 2292 2292 30195 0 -1 4202560 8807 0 0 0 440 11 0 0 20 0 12 0 113334596 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622941117752 140622929560375 0 0 0 16800975 18446744072100256901 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13984976 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 240 0 0 0 11 5 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13984976 memory=279464529800896 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 179 0 0 0 10 4 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13984976 memory=8257237230706253920 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 176 0 0 0 10 4 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13984976 memory=8257237230052613020 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 239 0 0 0 10 4 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13984976 memory=-7173504570862900581 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 12 0 113334598 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621848196448 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 12 0 113334599 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621847144064 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13984976 memory=4206468019014099040 CPUtime=2.04 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) S 2292 2292 30195 0 -1 1077944384 4276 0 0 0 203 1 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621845024272 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13984976 memory=8257237230706253920 CPUtime=2.12 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) S 2292 2292 30195 0 -1 1077944384 4783 0 0 0 211 1 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621843964832 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13984976 memory=-7173504570860347296 CPUtime=0.72 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) S 2292 2292 30195 0 -1 1077944384 4108 0 0 0 71 1 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621842934128 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13984976 memory=-7173504570860347296 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 705816 KiB

[startup+4.90076 s]
/proc/loadavg: 2.25 1.81 1.66 3/218 2308
/proc/meminfo: memFree=29322188/32770624 swapFree=67108860/67108860
[pid=2292] ppid=2289 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2292/stat : 2292 (xcsp3-exec) S 2289 2292 30195 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113334595 9740288 346 33554432000 4194304 5098028 140730324159664 140730324157768 140179774964348 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8437760 140730324165743 140730324165947 140730324165947 140730324168683 0
/proc/2292/statm: 2378 346 289 221 0 87 0
[pid=2294] ppid=2292 vsize=13984976 memory=704432 CPUtime=10.05 cores=1,3,5,7
/proc/2294/stat : 2294 (java) S 2292 2292 30195 0 -1 1077944320 24926 0 0 0 970 35 0 0 20 0 12 0 113334595 14320615424 176108 33554432000 4194304 4196468 140733838572016 140733838554560 140622936874743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
/proc/2294/statm: 3496244 176108 3264 1 0 3483478 0
[pid=2294/tid=2295] ppid=2292 vsize=13984976 memory=6011556057949234274 CPUtime=4.51 cores=1,3,5,7
/proc/2294/task/2295/stat : 2295 (java) D 2292 2292 30195 0 -1 4202560 8807 0 0 0 440 11 0 0 20 0 12 0 113334596 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622941117752 140622929560375 0 0 0 16800975 18446744072100256901 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2296] ppid=2292 vsize=13984976 memory=279464529536000 CPUtime=0.16 cores=1,3,5,7
/proc/2294/task/2296/stat : 2296 (java) S 2292 2292 30195 0 -1 1077944384 240 0 0 0 11 5 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622532622736 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2297] ppid=2292 vsize=13984976 memory=288230621803970871 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2297/stat : 2297 (java) S 2292 2292 30195 0 -1 1077944384 179 0 0 0 10 4 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622531569936 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2298] ppid=2292 vsize=13984976 memory=704100 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2298/stat : 2298 (java) S 2292 2292 30195 0 -1 1077944384 176 0 0 0 10 4 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622530517648 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2299] ppid=2292 vsize=13984976 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/2294/task/2299/stat : 2299 (java) S 2292 2292 30195 0 -1 1077944384 239 0 0 0 10 4 0 0 20 0 12 0 113334597 14320615424 176108 33554432000 4194304 4196468 140733838572016 140622529464848 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2301] ppid=2292 vsize=13984976 memory=279464529930880 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2301/stat : 2301 (java) S 2292 2292 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 12 0 113334598 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621848196448 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2302] ppid=2292 vsize=13984976 memory=279464529367552 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2302/stat : 2302 (java) S 2292 2292 30195 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 12 0 113334599 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621847144064 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2304] ppid=2292 vsize=13984976 memory=9179 CPUtime=2.04 cores=1,3,5,7
/proc/2294/task/2304/stat : 2304 (java) S 2292 2292 30195 0 -1 1077944384 4276 0 0 0 203 1 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621845024272 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2305] ppid=2292 vsize=13984976 memory=27087 CPUtime=2.12 cores=1,3,5,7
/proc/2294/task/2305/stat : 2305 (java) S 2292 2292 30195 0 -1 1077944384 4783 0 0 0 211 1 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621843964832 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2306] ppid=2292 vsize=13984976 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/2294/task/2306/stat : 2306 (java) S 2292 2292 30195 0 -1 1077944384 4108 0 0 0 71 1 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621842934128 140622936885890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
[pid=2294/tid=2307] ppid=2292 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2294/task/2307/stat : 2307 (java) S 2292 2292 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 113334601 14320615424 176108 33554432000 4194304 4196468 140733838572016 140621841881568 140622936884949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24358912 140733838574743 140733838574919 140733838574919 140733838577615 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 705816 KiB

Child status: 0
Real time (s): 4.96853
CPU time (s): 10.0702
CPU user time (s): 9.70638
CPU system time (s): 0.363801
CPU usage (%): 202.679
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 705816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.70638
system time used= 0.363801
maximum resident set size= 705268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2855
involuntary context switches= 45


# summary of solver processes directly reported to runsolver:
#   pid: 2292
#   total CPU time (s): 10.0702
#   total CPU user time (s): 9.70638
#   total CPU system time (s): 0.363801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058495 second user time and 0.084717 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 4272379

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data