2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	253	244.49001	240.026

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282886-1503212683.xml"  -tl '264s' -p 1 -x 0
0.13/0.14	c [HOME/instance-4282886-1503212683.xml, -tl, 264s, -p, 1, -x, 0]
0.13/0.20	c simple solver
0.34/0.26	c parse instance...
1.60/0.77	c solve instance...
2.20/0.91	o 629 
2.20/0.92	o 589 
2.20/0.99	o 573 
3.14/1.21	o 477 
3.14/1.22	o 469 
3.14/1.23	o 437 
3.14/1.23	o 413 
4.13/1.82	o 365 
4.92/2.15	o 349 
6.23/2.70	o 309 
15.51/11.56	o 285 
15.83/11.89	o 261 
55.00/50.83	o 253 
244.45/240.02	s SATISFIABLE
244.45/240.02	v <instantiation>
244.45/240.02	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] </list>
244.45/240.02	v 	<values>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 -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 -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 -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 -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 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 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 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 -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 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 -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 -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 -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 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 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 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 -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 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 -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 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 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 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 -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 -1 -1 1 1 -1 1 -7 -2 -5 -2 -3 -4 5 2 -1 -4 -1 2 -3 2 -1 2 1 -2 3 0 1 -2 -1 4 -3 0 -1 0 1 0 -1 -2 3 0 1 2 -3 0 -1 0 1 49 4 25 4 9 16 25 4 1 16 1 4 9 4 1 4 1 4 9 0 1 4 1 16 9 0 1 0 1 0 1 4 9 0 1 4 9 0 1 0 1 </values>
244.45/240.02	v </instantiation>
244.45/240.02	c Unexpected resolution interruption!

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 (12691 MiB free)
  memory of node 1: 16384 MiB (8667 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282886-1503212683/watcher-4282886-1503212683 -o /tmp/evaluation-result-4282886-1503212683/solver-4282886-1503212683 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17466 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1745902493 HOME/instance-4282886-1503212683.xml 

running on 4 cores: 0,2,4,6

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

solver pid=19911, runsolver pid=19908

[startup+0.104919 s]*
/proc/loadavg: 2.05 2.05 1.95 4/218 19927
/proc/meminfo: memFree=21853928/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0
[pid=19913] ppid=19911 vsize=13978596 memory=29100 CPUtime=0.13 cores=0,2,4,6
/proc/19913/stat : 19913 (java) S 19911 19911 17435 0 -1 1077944320 5143 0 0 0 12 1 0 0 20 0 15 0 154349148 14314082304 7275 33554432000 4194304 4196468 140732054083584 140732054066128 139772621450999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
/proc/19913/statm: 3494649 7275 2870 1 0 3482966 0
[pid=19913/tid=19914] ppid=19911 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/19913/task/19914/stat : 19914 (java) R 19911 19911 17435 0 -1 4202560 3083 0 0 0 9 1 0 0 20 0 15 0 154349149 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772625675408 139772621462934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19915] ppid=19911 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19915/stat : 19915 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772536519696 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19916] ppid=19911 vsize=13978596 memory=140318504527488 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19916/stat : 19916 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349149 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772535467152 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19917] ppid=19911 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19917/stat : 19917 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772534414096 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19918] ppid=19911 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19918/stat : 19918 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772533361552 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19919] ppid=19911 vsize=13978596 memory=140318504527488 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19919/stat : 19919 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349151 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772095338736 139772621462146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19920] ppid=19911 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19920/stat : 19920 (java) S 19911 19911 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154349151 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772094284960 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19921] ppid=19911 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154349151 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) S 19911 19911 17435 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 154349154 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772091128560 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) S 19911 19911 17435 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154349154 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772090076016 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13978596 memory=140318504527488 CPUtime=0.02 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) R 19911 19911 17435 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 154349154 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772089020496 139772600369584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13978596 memory=140318504527488 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349154 14314082304 7275 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30484 KiB

[startup+0.210722 s]*
/proc/loadavg: 2.05 2.05 1.95 3/218 19927
/proc/meminfo: memFree=21843912/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0
[pid=19913] ppid=19911 vsize=13982852 memory=40316 CPUtime=0.34 cores=0,2,4,6
/proc/19913/stat : 19913 (java) S 19911 19911 17435 0 -1 1077944320 7581 0 0 0 31 3 0 0 20 0 15 0 154349148 14318440448 10079 33554432000 4194304 4196468 140732054083584 140732054066128 139772621450999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
/proc/19913/statm: 3495713 10079 3063 1 0 3482966 0
[pid=19913/tid=19914] ppid=19911 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19913/task/19914/stat : 19914 (java) D 19911 19911 17435 0 -1 1077944384 4842 0 0 0 18 2 0 0 20 0 15 0 154349149 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772625661792 139772614130221 0 4 0 16800975 18446744072101662244 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19915] ppid=19911 vsize=13982852 memory=13650 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19915/stat : 19915 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772536519696 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19916] ppid=19911 vsize=13982852 memory=140318505304735 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19916/stat : 19916 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349149 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772535467152 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19917] ppid=19911 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19917/stat : 19917 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14318473216 10079 33554432000 4194304 4196468 140732054083584 139772534414096 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19918] ppid=19911 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19918/stat : 19918 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14318473216 10079 33554432000 4194304 4196468 140732054083584 139772533361552 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19919] ppid=19911 vsize=13982852 memory=140318504527488 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19919/stat : 19919 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349151 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772095338736 139772621462146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19920] ppid=19911 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19920/stat : 19920 (java) S 19911 19911 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154349151 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772094284960 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19921] ppid=19911 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154349151 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) S 19911 19911 17435 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 154349154 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772091128560 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) S 19911 19911 17435 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 154349154 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772090076016 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13982852 memory=140318504527488 CPUtime=0.08 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) S 19911 19911 17435 0 -1 1077944384 665 0 0 0 8 0 0 0 20 0 15 0 154349154 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772089022960 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14318473216 10079 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349154 14318440448 10079 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41700 KiB

[startup+0.310607 s]*
/proc/loadavg: 2.05 2.05 1.95 4/218 19927
/proc/meminfo: memFree=21836204/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0
[pid=19913] ppid=19911 vsize=13982852 memory=47152 CPUtime=0.51 cores=0,2,4,6
/proc/19913/stat : 19913 (java) S 19911 19911 17435 0 -1 1077944320 8448 0 0 0 47 4 0 0 20 0 15 0 154349148 14318440448 11788 33554432000 4194304 4196468 140732054083584 140732054066128 139772621450999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
/proc/19913/statm: 3495713 11788 3114 1 0 3482966 0
[pid=19913/tid=19914] ppid=19911 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19913/task/19914/stat : 19914 (java) R 19911 19911 17435 0 -1 4202560 5453 0 0 0 27 2 0 0 20 0 15 0 154349149 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772625689568 139772621462934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19915] ppid=19911 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19915/stat : 19915 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772536519696 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19916] ppid=19911 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19916/stat : 19916 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349149 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772535467152 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19917] ppid=19911 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19917/stat : 19917 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772534414096 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19918] ppid=19911 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19918/stat : 19918 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772533361552 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19919] ppid=19911 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19919/stat : 19919 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349151 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772095338736 139772621462146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19920] ppid=19911 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19920/stat : 19920 (java) S 19911 19911 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154349151 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772094284960 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19921] ppid=19911 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154349151 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13982852 memory=7683298805979255643 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13982852 memory=8508281356422055839 CPUtime=0.03 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) S 19911 19911 17435 0 -1 1077944384 497 0 0 0 3 0 0 0 20 0 15 0 154349154 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772091118480 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) S 19911 19911 17435 0 -1 1077944384 412 0 0 0 3 0 0 0 20 0 15 0 154349154 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772090076112 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) R 19911 19911 17435 0 -1 4202560 786 0 0 0 12 0 0 0 20 0 15 0 154349154 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772089020624 139772621462934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349154 14318440448 11788 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48536 KiB

[startup+0.700845 s]
/proc/loadavg: 2.05 2.05 1.95 4/218 19927
/proc/meminfo: memFree=21821996/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0
[pid=19913] ppid=19911 vsize=13984976 memory=83268 CPUtime=1.6 cores=0,2,4,6
/proc/19913/stat : 19913 (java) S 19911 19911 17435 0 -1 1077944320 11940 0 0 0 155 5 0 0 20 0 15 0 154349148 14320615424 20817 33554432000 4194304 4196468 140732054083584 140732054066128 139772621450999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
/proc/19913/statm: 3496244 20817 3211 1 0 3483478 0
[pid=19913/tid=19914] ppid=19911 vsize=13984976 memory=1728 CPUtime=0.66 cores=0,2,4,6
/proc/19913/task/19914/stat : 19914 (java) R 19911 19911 17435 0 -1 4202560 6193 0 0 0 63 3 0 0 20 0 15 0 154349149 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772625685488 139772621462934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19915] ppid=19911 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19915/stat : 19915 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772536519696 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19916] ppid=19911 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19916/stat : 19916 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772535467152 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19917] ppid=19911 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19917/stat : 19917 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772534414096 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19918] ppid=19911 vsize=13984976 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19918/stat : 19918 (java) S 19911 19911 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772533361552 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19919] ppid=19911 vsize=13984976 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19919/stat : 19919 (java) S 19911 19911 17435 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772095338736 139772621462146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19920] ppid=19911 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19920/stat : 19920 (java) S 19911 19911 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772094284960 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19921] ppid=19911 vsize=13984976 memory=8624 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13984976 memory=1204 CPUtime=0.24 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) R 19911 19911 17435 0 -1 4202560 1324 0 0 0 24 0 0 0 20 0 15 0 154349154 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772091118352 139772605458829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13984976 memory=1728 CPUtime=0.24 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) R 19911 19911 17435 0 -1 1077944384 1176 0 0 0 24 0 0 0 20 0 15 0 154349154 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772090076016 139772621462146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13984976 memory=1440 CPUtime=0.42 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) R 19911 19911 17435 0 -1 4202560 1939 0 0 0 42 0 0 0 20 0 15 0 154349154 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772089017344 139772614557535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13984976 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13984976 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 20817 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 84652 KiB

[startup+1.50081 s]
/proc/loadavg: 2.05 2.05 1.95 6/218 19927
/proc/meminfo: memFree=21776456/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0

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

/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 57142 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13984976 memory=228544 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 57142 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13984976 memory=43312 CPUtime=1.69 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) S 19911 19911 17435 0 -1 1077944384 11951 0 0 0 168 1 0 0 20 0 15 0 154349154 14320615424 57142 33554432000 4194304 4196468 140732054083584 139772091128560 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13984976 memory=2428 CPUtime=1.88 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) S 19911 19911 17435 0 -1 1077944384 14620 0 0 0 187 1 0 0 20 0 15 0 154349154 14320615424 57142 33554432000 4194304 4196468 140732054083584 139772090076016 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13984976 memory=1292 CPUtime=0.68 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) S 19911 19911 17435 0 -1 1077944384 6591 0 0 0 67 1 0 0 20 0 15 0 154349154 14320615424 57142 33554432000 4194304 4196468 140732054083584 139772089022960 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 57142 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13984976 memory=228568 CPUtime=0.02 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1167 0 0 0 1 1 0 0 20 0 15 0 154349154 14320615424 57142 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 106.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 229952 KiB

[startup+162.301 s]
/proc/loadavg: 2.03 2.07 1.97 3/218 20007
/proc/meminfo: memFree=24393016/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0
[pid=19913] ppid=19911 vsize=13984976 memory=246360 CPUtime=166.65 cores=0,2,4,6
/proc/19913/stat : 19913 (java) S 19911 19911 17435 0 -1 1077944320 51395 0 0 0 16651 14 0 0 20 0 15 0 154349148 14320615424 61590 33554432000 4194304 4196468 140732054083584 140732054066128 139772621450999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
/proc/19913/statm: 3496244 61590 3260 1 0 3483478 0
[pid=19913/tid=19914] ppid=19911 vsize=13984976 memory=246352 CPUtime=162.24 cores=0,2,4,6
/proc/19913/task/19914/stat : 19914 (java) R 19911 19911 17435 0 -1 4202560 11706 0 0 0 16219 5 0 0 20 0 15 0 154349149 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772625689944 139772212369900 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19915] ppid=19911 vsize=13984976 memory=246352 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19915/stat : 19915 (java) S 19911 19911 17435 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772536519696 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19916] ppid=19911 vsize=13984976 memory=246360 CPUtime=0.01 cores=0,2,4,6
/proc/19913/task/19916/stat : 19916 (java) S 19911 19911 17435 0 -1 1077944384 985 0 0 0 1 0 0 0 20 0 15 0 154349149 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772535467152 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19917] ppid=19911 vsize=13984976 memory=2308 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19917/stat : 19917 (java) S 19911 19911 17435 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772534414096 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19918] ppid=19911 vsize=13984976 memory=246352 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19918/stat : 19918 (java) S 19911 19911 17435 0 -1 1077944384 969 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772533361552 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19919] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19919/stat : 19919 (java) S 19911 19911 17435 0 -1 1077944384 840 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772095338736 139772621462146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19920] ppid=19911 vsize=13984976 memory=246352 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19920/stat : 19920 (java) S 19911 19911 17435 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772094284960 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19921] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13984976 memory=1384 CPUtime=1.69 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) S 19911 19911 17435 0 -1 1077944384 11954 0 0 0 168 1 0 0 20 0 15 0 154349154 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772091128560 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13984976 memory=8624 CPUtime=1.88 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) S 19911 19911 17435 0 -1 1077944384 14627 0 0 0 187 1 0 0 20 0 15 0 154349154 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772090076016 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13984976 memory=792 CPUtime=0.69 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) S 19911 19911 17435 0 -1 1077944384 6894 0 0 0 68 1 0 0 20 0 15 0 154349154 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772089022960 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13984976 memory=280636787355968 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13984976 memory=13984 CPUtime=0.03 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1196 0 0 0 1 2 0 0 20 0 15 0 154349154 14320615424 61590 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 166.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 247744 KiB

[startup+222.301 s]
/proc/loadavg: 2.01 2.06 1.97 3/218 20008
/proc/meminfo: memFree=24388852/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0
[pid=19913] ppid=19911 vsize=13984976 memory=250492 CPUtime=226.71 cores=0,2,4,6
/proc/19913/stat : 19913 (java) S 19911 19911 17435 0 -1 1077944320 51678 0 0 0 22657 14 0 0 20 0 15 0 154349148 14320615424 62623 33554432000 4194304 4196468 140732054083584 140732054066128 139772621450999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
/proc/19913/statm: 3496244 62623 3260 1 0 3483478 0
[pid=19913/tid=19914] ppid=19911 vsize=13984976 memory=1384 CPUtime=222.24 cores=0,2,4,6
/proc/19913/task/19914/stat : 19914 (java) R 19911 19911 17435 0 -1 4202560 11785 0 0 0 22219 5 0 0 20 0 15 0 154349149 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772625689896 139772217129025 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19915] ppid=19911 vsize=13984976 memory=250492 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19915/stat : 19915 (java) S 19911 19911 17435 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772536519696 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19916] ppid=19911 vsize=13984976 memory=4096 CPUtime=0.01 cores=0,2,4,6
/proc/19913/task/19916/stat : 19916 (java) S 19911 19911 17435 0 -1 1077944384 985 0 0 0 1 0 0 0 20 0 15 0 154349149 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772535467152 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19917] ppid=19911 vsize=13984976 memory=43312 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19917/stat : 19917 (java) S 19911 19911 17435 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772534414096 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19918] ppid=19911 vsize=13984976 memory=250492 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19918/stat : 19918 (java) S 19911 19911 17435 0 -1 1077944384 969 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772533361552 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19919] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19919/stat : 19919 (java) S 19911 19911 17435 0 -1 1077944384 842 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772095338736 139772621462146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19920] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19920/stat : 19920 (java) S 19911 19911 17435 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772094284960 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19921] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13984976 memory=960 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13984976 memory=2240 CPUtime=1.69 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) S 19911 19911 17435 0 -1 1077944384 11954 0 0 0 168 1 0 0 20 0 15 0 154349154 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772091128560 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13984976 memory=1384 CPUtime=1.93 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) S 19911 19911 17435 0 -1 1077944384 14812 0 0 0 192 1 0 0 20 0 15 0 154349154 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772090076016 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13984976 memory=1384 CPUtime=0.69 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) S 19911 19911 17435 0 -1 1077944384 6903 0 0 0 68 1 0 0 20 0 15 0 154349154 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772089022960 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13984976 memory=250492 CPUtime=0.05 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1204 0 0 0 2 3 0 0 20 0 15 0 154349154 14320615424 62623 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 226.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 251876 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.01 2.05 1.97 3/218 20008
/proc/meminfo: memFree=24389104/32770624 swapFree=67108860/67108860
[pid=19911] ppid=19908 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (xcsp3-exec) S 19908 19911 17435 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154349148 9740288 346 33554432000 4194304 5098028 140721294893344 140721294891448 139975088722556 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10911744 140721294898292 140721294898496 140721294898496 140721294901227 0
/proc/19911/statm: 2378 346 289 221 0 87 0
[pid=19913] ppid=19911 vsize=13984976 memory=250556 CPUtime=244.45 cores=0,2,4,6
/proc/19913/stat : 19913 (java) S 19911 19911 17435 0 -1 1077944320 51887 0 0 0 24430 15 0 0 20 0 15 0 154349148 14320615424 62639 33554432000 4194304 4196468 140732054083584 140732054066128 139772621450999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
/proc/19913/statm: 3496244 62639 3264 1 0 3483478 0
[pid=19913/tid=19914] ppid=19911 vsize=13984976 memory=6791534058613427641 CPUtime=239.95 cores=0,2,4,6
/proc/19913/task/19914/stat : 19914 (java) R 19911 19911 17435 0 -1 4202560 11891 0 0 0 23990 5 0 0 20 0 15 0 154349149 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772625687976 139772217127753 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19915] ppid=19911 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19915/stat : 19915 (java) S 19911 19911 17435 0 -1 1077944384 473 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772536519696 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19916] ppid=19911 vsize=13984976 memory=840 CPUtime=0.01 cores=0,2,4,6
/proc/19913/task/19916/stat : 19916 (java) S 19911 19911 17435 0 -1 1077944384 985 0 0 0 1 0 0 0 20 0 15 0 154349149 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772535467152 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19917] ppid=19911 vsize=13984976 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19917/stat : 19917 (java) S 19911 19911 17435 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772534414096 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19918] ppid=19911 vsize=13984976 memory=916 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19918/stat : 19918 (java) S 19911 19911 17435 0 -1 1077944384 969 0 0 0 0 0 0 0 20 0 15 0 154349149 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772533361552 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19919] ppid=19911 vsize=13984976 memory=3828 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19919/stat : 19919 (java) S 19911 19911 17435 0 -1 1077944384 842 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772095338736 139772621462146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19920] ppid=19911 vsize=13984976 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19920/stat : 19920 (java) S 19911 19911 17435 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772094284960 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19921] ppid=19911 vsize=13984976 memory=916 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19921/stat : 19921 (java) S 19911 19911 17435 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154349151 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772093231856 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19922] ppid=19911 vsize=13984976 memory=3828 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19922/stat : 19922 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772092180432 139772621469595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19923] ppid=19911 vsize=13984976 memory=2724 CPUtime=1.69 cores=0,2,4,6
/proc/19913/task/19923/stat : 19923 (java) S 19911 19911 17435 0 -1 1077944384 11980 0 0 0 168 1 0 0 20 0 15 0 154349154 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772091128560 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19924] ppid=19911 vsize=13984976 memory=2548 CPUtime=1.95 cores=0,2,4,6
/proc/19913/task/19924/stat : 19924 (java) S 19911 19911 17435 0 -1 1077944384 14875 0 0 0 194 1 0 0 20 0 15 0 154349154 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772090076016 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19925] ppid=19911 vsize=13984976 memory=4104 CPUtime=0.69 cores=0,2,4,6
/proc/19913/task/19925/stat : 19925 (java) S 19911 19911 17435 0 -1 1077944384 6917 0 0 0 68 1 0 0 20 0 15 0 154349154 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772089022960 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19926] ppid=19911 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/19913/task/19926/stat : 19926 (java) S 19911 19911 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154349154 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772087970656 139772621461205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
[pid=19913/tid=19927] ppid=19911 vsize=13984976 memory=3100 CPUtime=0.06 cores=0,2,4,6
/proc/19913/task/19927/stat : 19927 (java) S 19911 19911 17435 0 -1 1077944384 1204 0 0 0 2 4 0 0 20 0 15 0 154349154 14320615424 62639 33554432000 4194304 4196468 140732054083584 139772086917680 139772621462146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 12283904 140732054090909 140732054091084 140732054091084 140732054093775 0
Current children cumulated CPU time: 244.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 251940 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.021 s]
# the end of solver process 19911 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001907 s, system=0 s

[startup+240.026 s]
# the end of solver process 19913 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.333 s, system=0.157054 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 240.026
CPU time (s): 244.49
CPU user time (s): 244.333
CPU system time (s): 0.157054
CPU usage (%): 101.86
Max. virtual memory (cumulated for all children) (KiB): 13996516
Max. memory (cumulated for all children) (KiB): 251940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.333
system time used= 0.157054
maximum resident set size= 251028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52870
page faults= 0
swaps= 0
block input operations= 0
block output operations= 328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8362
involuntary context switches= 319


# summary of solver processes directly reported to runsolver:
#   pid: 19911,19913
#   total CPU time (s): 244.49
#   total CPU user time (s): 244.333
#   total CPU system time (s): 0.157054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45003 second user time and 2.16954 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml
MD5SUM	406abf126875c7059afeaa5170034bef
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	157
Best CPU time to get the best result obtained on this benchmark	1921.3
Satisfiable
(Un)Satisfiability was proved
Number of variables	1805
Number of constraints	943
Number of domains	83
Minimum domain size	2
Maximum domain size	83
Distribution of domain sizes	[{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}]
Minimum variable degree	0
Maximum variable degree	41
Distribution of variable degrees	[{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	42
Distribution of constraint arities	[{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	902
Distribution of constraint types	[{"type":"intension","count":902},{"type":"sum","count":41}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4282886

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data