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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	237	2400.46	340.415

0.00/0.00	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4247397-1500689891.xml"  -tl '2400s' -p 8 -x 0
0.00/0.18	c [HOME/instance-4247397-1500689891.xml, -tl, 2400s, -p, 8, -x, 0]
0.00/0.23	c 8 solvers in parallel
0.00/0.30	c parse instance...
5.29/1.50	c solve instance...
5.95/1.68	o 23821 
6.70/1.71	o 20541 
6.70/1.72	o 20389 
6.70/1.73	o 17733 
6.70/1.74	o 17581 
6.70/1.74	o 17437 
6.70/1.75	o 15365 
6.70/1.79	o 15197 
7.24/1.81	o 15053 
7.24/1.81	o 14933 
7.24/1.86	o 13405 
7.24/1.86	o 13221 
7.24/1.87	o 13077 
8.23/2.07	o 12941 
8.23/2.07	o 12845 
8.23/2.08	o 11821 
8.23/2.08	o 11621 
8.65/2.11	o 11325 
8.65/2.12	o 11213 
8.65/2.13	o 11141 
8.65/2.13	o 10581 
8.65/2.15	o 1021 
9.70/2.44	o 957 
9.70/2.46	o 845 
9.70/2.48	o 629 
10.25/2.67	o 589 
11.71/2.92	o 573 
16.01/3.50	o 501 
18.98/3.97	o 477 
20.84/4.25	o 437 
38.87/6.56	o 405 
42.75/7.15	o 357 
91.81/13.41	o 349 
98.79/14.35	o 341 
102.23/14.82	o 325 
207.85/28.11	o 237 
2400.46/340.41	s SATISFIABLE
2400.46/340.41	v <instantiation>
2400.46/340.41	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>
2400.46/340.41	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 1 -4 3 -2 -3 4 1 -6 1 -2 -1 2 1 0 -1 2 -1 0 -1 0 -1 -2 3 2 3 -4 -1 2 5 0 -1 -4 1 0 1 2 1 4 3 2 1 1 16 9 4 9 16 1 36 1 4 1 4 1 0 1 4 1 0 1 0 1 4 9 4 9 16 1 4 25 0 1 16 1 0 1 4 1 16 9 4 1 </values>
2400.46/340.41	v </instantiation>
2400.46/340.41	c Unexpected resolution interruption!

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4247397-1500689891/watcher-4247397-1500689891 -o /tmp/evaluation-result-4247397-1500689891/solver-4247397-1500689891 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1560122883 HOME/instance-4247397-1500689891.xml 

pid=13607
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.28 8.51 9.18 3/273 13610
/proc/meminfo: memFree=28187148/32770624 swapFree=5900/260720
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0

[startup+0.100138 s]
/proc/loadavg: 8.28 8.51 9.18 3/273 13610
/proc/meminfo: memFree=28187148/32770624 swapFree=5900/260720
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200338 s]
/proc/loadavg: 8.28 8.51 9.18 3/273 13610
/proc/meminfo: memFree=28187148/32770624 swapFree=5900/260720
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300321 s]
/proc/loadavg: 8.28 8.51 9.18 3/273 13610
/proc/meminfo: memFree=28187148/32770624 swapFree=5900/260720
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700166 s]
/proc/loadavg: 8.28 8.51 9.18 3/273 13610
/proc/meminfo: memFree=28187148/32770624 swapFree=5900/260720
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50116 s]
/proc/loadavg: 8.28 8.51 9.18 3/294 13631
/proc/meminfo: memFree=27991920/32770624 swapFree=5900/260792
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
[pid=13611] ppid=13610 vsize=13269256 CPUtime=5.29 cores=0,2,4,6,8,10,12,14
/proc/13611/stat : 13611 (java) S 13610 13610 16913 0 -1 1077944320 24149 0 0 0 500 29 0 0 20 0 20 0 4256045 13587718144 63676 33554432000 4194304 4196468 140734575629168 140734575611712 140300691582711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
/proc/13611/statm: 3317314 63676 3252 1 0 3304547 0
[pid=13611/tid=13612] ppid=13610 vsize=13269256 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13612/stat : 13612 (java) R 13610 13610 16913 0 -1 4202560 8178 0 0 0 134 5 0 0 20 0 20 0 4256045 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300695822152 140300290986888 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13614] ppid=13610 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13614/stat : 13614 (java) S 13610 13610 16913 0 -1 1077944384 104 0 0 0 3 3 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300290878224 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13615] ppid=13610 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13615/stat : 13615 (java) S 13610 13610 16913 0 -1 1077944384 70 0 0 0 3 2 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300289825680 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13616] ppid=13610 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13616/stat : 13616 (java) S 13610 13610 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300288773136 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13617] ppid=13610 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13617/stat : 13617 (java) S 13610 13610 16913 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300287720592 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13618] ppid=13610 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13618/stat : 13618 (java) S 13610 13610 16913 0 -1 1077944384 46 0 0 0 2 1 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300286667024 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13619] ppid=13610 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13619/stat : 13619 (java) S 13610 13610 16913 0 -1 1077944384 135 0 0 0 3 3 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300285614480 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13620] ppid=13610 vsize=13269256 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13620/stat : 13620 (java) S 13610 13610 16913 0 -1 1077944384 58 0 0 0 4 2 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300284561936 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13621] ppid=13610 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13621/stat : 13621 (java) S 13610 13610 16913 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 4256046 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300283509392 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13622] ppid=13610 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13622/stat : 13622 (java) S 13610 13610 16913 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 20 0 4256048 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300153776624 140300691593858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13623] ppid=13610 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13623/stat : 13623 (java) S 13610 13610 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4256048 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300152722912 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13624] ppid=13610 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13624/stat : 13624 (java) S 13610 13610 16913 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4256049 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300151670272 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13625] ppid=13610 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13625/stat : 13625 (java) S 13610 13610 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4256052 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300150618832 140300691601307 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13626] ppid=13610 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13626/stat : 13626 (java) R 13610 13610 16913 0 -1 4202560 3708 0 0 0 95 0 0 0 20 0 20 0 4256052 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300149551448 140300673106136 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13627] ppid=13610 vsize=13269256 CPUtime=0.87 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13627/stat : 13627 (java) R 13610 13610 16913 0 -1 4202560 2971 0 0 0 86 1 0 0 20 0 20 0 4256052 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300148505840 140300673126989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13628] ppid=13610 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13628/stat : 13628 (java) R 13610 13610 16913 0 -1 4202560 3359 0 0 0 90 1 0 0 20 0 20 0 4256052 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300147446360 140300673127376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13629] ppid=13610 vsize=13269256 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13629/stat : 13629 (java) S 13610 13610 16913 0 -1 1077944384 3970 0 0 0 70 1 0 0 20 0 20 0 4256052 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300146407792 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13630] ppid=13610 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13630/stat : 13630 (java) S 13610 13610 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4256053 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300145355488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13631] ppid=13610 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13631/stat : 13631 (java) S 13610 13610 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4256053 13587718144 63676 33554432000 4194304 4196468 140734575629168 140300144303024 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 13278768

[startup+3.10122 s]
/proc/loadavg: 8.28 8.51 9.18 6/302 13815
/proc/meminfo: memFree=27822800/32770624 swapFree=5900/260752
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
[pid=13611] ppid=13610 vsize=13871408 CPUtime=13.15 cores=0,2,4,6,8,10,12,14
/proc/13611/stat : 13611 (java) S 13610 13610 16913 0 -1 1077944320 33031 0 0 0 1266 49 0 0 20 0 28 0 4256045 14204321792 98901 33554432000 4194304 4196468 140734575629168 140734575611712 140300691582711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
/proc/13611/statm: 3467852 98901 3283 1 0 3455085 0
[pid=13611/tid=13612] ppid=13610 vsize=13871408 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13612/stat : 13612 (java) S 13610 13610 16913 0 -1 1077944384 8400 0 0 0 140 5 0 0 20 0 28 0 4256045 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300695823488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13614] ppid=13610 vsize=13871408 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13614/stat : 13614 (java) S 13610 13610 16913 0 -1 1077944384 122 0 0 0 5 5 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300290878224 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13615] ppid=13610 vsize=13871408 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13615/stat : 13615 (java) S 13610 13610 16913 0 -1 1077944384 86 0 0 0 5 4 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300289825680 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13616] ppid=13610 vsize=13871408 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13616/stat : 13616 (java) S 13610 13610 16913 0 -1 1077944384 34 0 0 0 3 3 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300288773136 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13617] ppid=13610 vsize=13871408 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13617/stat : 13617 (java) S 13610 13610 16913 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300287720592 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13618] ppid=13610 vsize=13871408 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13618/stat : 13618 (java) S 13610 13610 16913 0 -1 1077944384 54 0 0 0 2 3 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300286667024 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13619] ppid=13610 vsize=13871408 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13619/stat : 13619 (java) S 13610 13610 16913 0 -1 1077944384 147 0 0 0 5 4 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300285614480 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13620] ppid=13610 vsize=13871408 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13620/stat : 13620 (java) S 13610 13610 16913 0 -1 1077944384 71 0 0 0 5 4 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300284561936 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13621] ppid=13610 vsize=13871408 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13621/stat : 13621 (java) S 13610 13610 16913 0 -1 1077944384 31 0 0 0 2 3 0 0 20 0 28 0 4256046 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300283509392 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13622] ppid=13610 vsize=13871408 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13622/stat : 13622 (java) S 13610 13610 16913 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 28 0 4256048 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300153776624 140300691593858 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13623] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13623/stat : 13623 (java) S 13610 13610 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4256048 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300152722912 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13624] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13624/stat : 13624 (java) S 13610 13610 16913 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4256049 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300151670272 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13625] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13625/stat : 13625 (java) S 13610 13610 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4256052 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300150618832 140300691601307 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13626] ppid=13610 vsize=13871408 CPUtime=1.99 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13626/stat : 13626 (java) R 13610 13610 16913 0 -1 4202560 5113 0 0 0 199 0 0 0 20 0 28 0 4256052 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300149552240 140300673104102 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13627] ppid=13610 vsize=13871408 CPUtime=1.95 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13627/stat : 13627 (java) R 13610 13610 16913 0 -1 4202560 3957 0 0 0 194 1 0 0 20 0 28 0 4256052 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300148499552 140300670821184 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13628] ppid=13610 vsize=13871408 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13628/stat : 13628 (java) R 13610 13610 16913 0 -1 4202560 3755 0 0 0 190 1 0 0 20 0 28 0 4256052 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300147442224 140300669177488 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13629] ppid=13610 vsize=13871408 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13629/stat : 13629 (java) S 13610 13610 16913 0 -1 1077944384 4896 0 0 0 108 2 0 0 20 0 28 0 4256052 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300146407792 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13630] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13630/stat : 13630 (java) S 13610 13610 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4256053 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300145355488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13631] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13631/stat : 13631 (java) S 13610 13610 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4256053 14204321792 98901 33554432000 4194304 4196468 140734575629168 140300144303024 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
Current children cumulated CPU time (s) 13.15
Current children cumulated vsize (KiB) 13880920

[startup+6.30153 s]
/proc/loadavg: 8.58 8.56 9.19 10/302 13879
/proc/meminfo: memFree=27760748/32770624 swapFree=5900/260756
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
[pid=13611] ppid=13610 vsize=13871408 CPUtime=37.42 cores=0,2,4,6,8,10,12,14
/proc/13611/stat : 13611 (java) S 13610 13610 16913 0 -1 1077944320 38140 0 0 0 3683 59 0 0 20 0 28 0 4256045 14204321792 128632 33554432000 4194304 4196468 140734575629168 140734575611712 140300691582711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
/proc/13611/statm: 3467852 128632 3287 1 0 3455085 0
[pid=13611/tid=13612] ppid=13610 vsize=13871408 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13612/stat : 13612 (java) S 13610 13610 16913 0 -1 1077944384 8401 0 0 0 141 5 0 0 20 0 28 0 4256045 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300695823488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13614] ppid=13610 vsize=13871408 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13614/stat : 13614 (java) S 13610 13610 16913 0 -1 1077944384 143 0 0 0 6 6 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300290878224 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13615] ppid=13610 vsize=13871408 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13615/stat : 13615 (java) S 13610 13610 16913 0 -1 1077944384 101 0 0 0 6 4 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300289825680 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13616] ppid=13610 vsize=13871408 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13616/stat : 13616 (java) S 13610 13610 16913 0 -1 1077944384 118 0 0 0 5 4 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300288773136 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13617] ppid=13610 vsize=13871408 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13617/stat : 13617 (java) S 13610 13610 16913 0 -1 1077944384 114 0 0 0 4 4 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300287720592 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13618] ppid=13610 vsize=13871408 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13618/stat : 13618 (java) S 13610 13610 16913 0 -1 1077944384 72 0 0 0 4 4 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300286667024 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13619] ppid=13610 vsize=13871408 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13619/stat : 13619 (java) S 13610 13610 16913 0 -1 1077944384 169 0 0 0 7 5 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300285614480 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13620] ppid=13610 vsize=13871408 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13620/stat : 13620 (java) S 13610 13610 16913 0 -1 1077944384 82 0 0 0 7 4 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300284561936 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13621] ppid=13610 vsize=13871408 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13621/stat : 13621 (java) S 13610 13610 16913 0 -1 1077944384 44 0 0 0 4 4 0 0 20 0 28 0 4256046 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300283509392 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13622] ppid=13610 vsize=13871408 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13622/stat : 13622 (java) S 13610 13610 16913 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 28 0 4256048 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300153776624 140300691593858 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13623] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13623/stat : 13623 (java) S 13610 13610 16913 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 28 0 4256048 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300152722912 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13624] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13624/stat : 13624 (java) S 13610 13610 16913 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 4256049 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300151670272 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13625] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13625/stat : 13625 (java) S 13610 13610 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4256052 14204321792 128632 33554432000 4194304 4196468 140734575629168 140300150618832 140300691601307 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0

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

[pid=13611/tid=13926] ppid=13610 vsize=13871408 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13926/stat : 13926 (java) S 13610 13610 16913 0 -1 1077944384 563 0 0 0 875 0 0 0 20 0 28 0 4258856 14204321792 554370 33554432000 4194304 4196468 140734575629168 140300066379008 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13927] ppid=13610 vsize=13871408 CPUtime=193.79 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13927/stat : 13927 (java) R 13610 13610 16913 0 -1 4202560 1374 0 0 0 19379 0 0 0 20 0 28 0 4258856 14204321792 554370 33554432000 4194304 4196468 140734575629168 140300061114448 140300298308269 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
Current children cumulated CPU time (s) 1574.65
Current children cumulated vsize (KiB) 13880920

[startup+282.302 s]
/proc/loadavg: 8.90 8.59 9.03 9/294 14134
/proc/meminfo: memFree=29387148/32770624 swapFree=5900/262248
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
[pid=13611] ppid=13610 vsize=13871408 CPUtime=1994.15 cores=0,2,4,6,8,10,12,14
/proc/13611/stat : 13611 (java) S 13610 13610 16913 0 -1 1077944320 113219 0 0 0 199269 146 0 0 20 0 28 0 4256045 14204321792 555906 33554432000 4194304 4196468 140734575629168 140734575611712 140300691582711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
/proc/13611/statm: 3467852 555906 3294 1 0 3455085 0
[pid=13611/tid=13612] ppid=13610 vsize=13871408 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13612/stat : 13612 (java) S 13610 13610 16913 0 -1 1077944384 8754 0 0 0 142 5 0 0 20 0 28 0 4256045 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300695823488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13614] ppid=13610 vsize=13871408 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13614/stat : 13614 (java) S 13610 13610 16913 0 -1 1077944384 259 0 0 0 12 9 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300290878224 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13615] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13615/stat : 13615 (java) S 13610 13610 16913 0 -1 1077944384 337 0 0 0 10 7 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300289825680 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13616] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13616/stat : 13616 (java) S 13610 13610 16913 0 -1 1077944384 384 0 0 0 11 6 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300288773136 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13617] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13617/stat : 13617 (java) S 13610 13610 16913 0 -1 1077944384 601 0 0 0 9 8 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300287720592 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13618] ppid=13610 vsize=13871408 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13618/stat : 13618 (java) S 13610 13610 16913 0 -1 1077944384 1960 0 0 0 10 8 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300286667024 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13619] ppid=13610 vsize=13871408 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13619/stat : 13619 (java) S 13610 13610 16913 0 -1 1077944384 1009 0 0 0 13 9 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300285614480 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13620] ppid=13610 vsize=13871408 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13620/stat : 13620 (java) S 13610 13610 16913 0 -1 1077944384 413 0 0 0 13 8 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300284561936 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13621] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13621/stat : 13621 (java) S 13610 13610 16913 0 -1 1077944384 426 0 0 0 9 8 0 0 20 0 28 0 4256046 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300283509392 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13622] ppid=13610 vsize=13871408 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13622/stat : 13622 (java) S 13610 13610 16913 0 -1 1077944384 3499 0 0 0 6 6 0 0 20 0 28 0 4256048 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300153776624 140300691593858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13623] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13623/stat : 13623 (java) S 13610 13610 16913 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4256048 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300152722912 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13624] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13624/stat : 13624 (java) S 13610 13610 16913 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4256049 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300151670272 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13625] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13625/stat : 13625 (java) S 13610 13610 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4256052 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300150618832 140300691601307 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13626] ppid=13610 vsize=13871408 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13626/stat : 13626 (java) S 13610 13610 16913 0 -1 1077944384 13678 0 0 0 378 2 0 0 20 0 28 0 4256052 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300149565424 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13627] ppid=13610 vsize=13871408 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13627/stat : 13627 (java) S 13610 13610 16913 0 -1 1077944384 15472 0 0 0 413 2 0 0 20 0 28 0 4256052 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300148512880 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13628] ppid=13610 vsize=13871408 CPUtime=3.92 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13628/stat : 13628 (java) S 13610 13610 16913 0 -1 1077944384 18518 0 0 0 390 2 0 0 20 0 28 0 4256052 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300147460336 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13629] ppid=13610 vsize=13871408 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13629/stat : 13629 (java) S 13610 13610 16913 0 -1 1077944384 16205 0 0 0 133 4 0 0 20 0 28 0 4256052 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300146407792 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13630] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13630/stat : 13630 (java) S 13610 13610 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4256053 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300145355488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13631] ppid=13610 vsize=13871408 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13631/stat : 13631 (java) S 13610 13610 16913 0 -1 1077944384 964 0 0 0 6 8 0 0 20 0 28 0 4256053 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300144303024 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13920] ppid=13610 vsize=13871408 CPUtime=253.76 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13920/stat : 13920 (java) R 13610 13610 16913 0 -1 4202560 1369 0 0 0 25375 1 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300065320344 140300298631261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13921] ppid=13610 vsize=13871408 CPUtime=253.74 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13921/stat : 13921 (java) R 13610 13610 16913 0 -1 4202560 1115 0 0 0 25373 1 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300063215784 140300294361624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13922] ppid=13610 vsize=13871408 CPUtime=253.48 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13922/stat : 13922 (java) R 13610 13610 16913 0 -1 4202560 3102 0 0 0 25343 5 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300064268240 140300301267605 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13923] ppid=13610 vsize=13871408 CPUtime=253.61 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13923/stat : 13923 (java) R 13610 13610 16913 0 -1 4202560 6872 0 0 0 25346 15 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300057959960 140300299119660 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13924] ppid=13610 vsize=13871408 CPUtime=253.78 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13924/stat : 13924 (java) R 13610 13610 16913 0 -1 4202560 972 0 0 0 25377 1 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300068478504 140300299968304 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13925] ppid=13610 vsize=13871408 CPUtime=253.79 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13925/stat : 13925 (java) R 13610 13610 16913 0 -1 4202560 528 0 0 0 25379 0 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300056907680 140300677526801 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13926] ppid=13610 vsize=13871408 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13926/stat : 13926 (java) S 13610 13610 16913 0 -1 1077944384 563 0 0 0 875 0 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300066379008 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13927] ppid=13610 vsize=13871408 CPUtime=253.73 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13927/stat : 13927 (java) R 13610 13610 16913 0 -1 4202560 1597 0 0 0 25373 0 0 0 20 0 28 0 4258856 14204321792 555906 33554432000 4194304 4196468 140734575629168 140300061110536 140300295819063 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
Current children cumulated CPU time (s) 1994.15
Current children cumulated vsize (KiB) 13880920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+340.402 s]
/proc/loadavg: 8.25 8.47 8.96 9/294 14134
/proc/meminfo: memFree=26787108/32770624 swapFree=5900/262292
[pid=13610] ppid=13607 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13610/stat : 13610 (xcsp3-exec) S 13607 13610 16913 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4256044 9740288 346 33554432000 4194304 5098028 140737242657840 140737242655944 139713820082812 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 34766848 140737242666126 140737242666336 140737242666336 140737242669035 0
/proc/13610/statm: 2378 346 289 221 0 87 0
[pid=13611] ppid=13610 vsize=13871408 CPUtime=2400.46 cores=0,2,4,6,8,10,12,14
/proc/13611/stat : 13611 (java) S 13610 13610 16913 0 -1 1077944320 116500 0 0 0 239888 158 0 0 20 0 28 0 4256045 14204321792 696708 33554432000 4194304 4196468 140734575629168 140734575611712 140300691582711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
/proc/13611/statm: 3467852 696708 3294 1 0 3455085 0
[pid=13611/tid=13612] ppid=13610 vsize=13871408 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13612/stat : 13612 (java) S 13610 13610 16913 0 -1 1077944384 8754 0 0 0 142 5 0 0 20 0 28 0 4256045 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300695823488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13614] ppid=13610 vsize=13871408 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13614/stat : 13614 (java) S 13610 13610 16913 0 -1 1077944384 259 0 0 0 12 9 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300290878224 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13615] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13615/stat : 13615 (java) S 13610 13610 16913 0 -1 1077944384 337 0 0 0 10 7 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300289825680 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13616] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13616/stat : 13616 (java) S 13610 13610 16913 0 -1 1077944384 384 0 0 0 11 6 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300288773136 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13617] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13617/stat : 13617 (java) S 13610 13610 16913 0 -1 1077944384 601 0 0 0 9 8 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300287720592 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13618] ppid=13610 vsize=13871408 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13618/stat : 13618 (java) S 13610 13610 16913 0 -1 1077944384 1960 0 0 0 10 8 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300286667024 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13619] ppid=13610 vsize=13871408 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13619/stat : 13619 (java) S 13610 13610 16913 0 -1 1077944384 1009 0 0 0 13 9 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300285614480 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13620] ppid=13610 vsize=13871408 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13620/stat : 13620 (java) S 13610 13610 16913 0 -1 1077944384 413 0 0 0 13 8 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300284561936 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13621] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13621/stat : 13621 (java) S 13610 13610 16913 0 -1 1077944384 426 0 0 0 9 8 0 0 20 0 28 0 4256046 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300283509392 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13622] ppid=13610 vsize=13871408 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13622/stat : 13622 (java) S 13610 13610 16913 0 -1 1077944384 3562 0 0 0 6 7 0 0 20 0 28 0 4256048 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300153776624 140300691593858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13623] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13623/stat : 13623 (java) S 13610 13610 16913 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 4256048 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300152722912 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13624] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13624/stat : 13624 (java) S 13610 13610 16913 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4256049 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300151670272 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13625] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13625/stat : 13625 (java) S 13610 13610 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4256052 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300150618832 140300691601307 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13626] ppid=13610 vsize=13871408 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13626/stat : 13626 (java) S 13610 13610 16913 0 -1 1077944384 14739 0 0 0 380 2 0 0 20 0 28 0 4256052 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300149565424 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13627] ppid=13610 vsize=13871408 CPUtime=4.15 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13627/stat : 13627 (java) S 13610 13610 16913 0 -1 1077944384 15472 0 0 0 413 2 0 0 20 0 28 0 4256052 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300148512880 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13628] ppid=13610 vsize=13871408 CPUtime=3.94 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13628/stat : 13628 (java) S 13610 13610 16913 0 -1 1077944384 18714 0 0 0 392 2 0 0 20 0 28 0 4256052 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300147460336 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13629] ppid=13610 vsize=13871408 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13629/stat : 13629 (java) S 13610 13610 16913 0 -1 1077944384 16300 0 0 0 133 4 0 0 20 0 28 0 4256052 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300146407792 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13630] ppid=13610 vsize=13871408 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13630/stat : 13630 (java) S 13610 13610 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4256053 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300145355488 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13631] ppid=13610 vsize=13871408 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13631/stat : 13631 (java) S 13610 13610 16913 0 -1 1077944384 975 0 0 0 7 10 0 0 20 0 28 0 4256053 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300144303024 140300691593858 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13920] ppid=13610 vsize=13871408 CPUtime=311.79 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13920/stat : 13920 (java) R 13610 13610 16913 0 -1 4202560 1426 0 0 0 31178 1 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300065320328 140300299118979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13921] ppid=13610 vsize=13871408 CPUtime=311.79 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13921/stat : 13921 (java) R 13610 13610 16913 0 -1 4202560 1159 0 0 0 31178 1 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300063216280 140300299118334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13922] ppid=13610 vsize=13871408 CPUtime=311.49 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13922/stat : 13922 (java) R 13610 13610 16913 0 -1 4202560 3558 0 0 0 31140 9 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300064267784 140300300191111 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13923] ppid=13610 vsize=13871408 CPUtime=311.65 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13923/stat : 13923 (java) R 13610 13610 16913 0 -1 4202560 7674 0 0 0 31146 19 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300057960152 140300298715034 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13924] ppid=13610 vsize=13871408 CPUtime=311.82 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13924/stat : 13924 (java) R 13610 13610 16913 0 -1 4202560 1188 0 0 0 31180 2 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300068478504 140300301124721 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13925] ppid=13610 vsize=13871408 CPUtime=311.8 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13925/stat : 13925 (java) R 13610 13610 16913 0 -1 4202560 559 0 0 0 31180 0 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300056907536 140300294995226 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13926] ppid=13610 vsize=13871408 CPUtime=8.75 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13926/stat : 13926 (java) S 13610 13610 16913 0 -1 1077944384 563 0 0 0 875 0 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300066379008 140300691592917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
[pid=13611/tid=13927] ppid=13610 vsize=13871408 CPUtime=311.78 cores=0,2,4,6,8,10,12,14
/proc/13611/task/13927/stat : 13927 (java) R 13610 13610 16913 0 -1 4202560 1846 0 0 0 31176 2 0 0 20 0 28 0 4258856 14204321792 696708 33554432000 4194304 4196468 140734575629168 140300061110184 140300299997509 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140734575633596 140734575633772 140734575633772 140734575636431 0
Current children cumulated CPU time (s) 2400.46
Current children cumulated vsize (KiB) 13880920

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13611 sig 9
??? kill 13610 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13610 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1270
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1270
# CPU time returned by wait4() is 0.00254
# while last known CPU time is 2400.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 340.415
CPU time (s): 2400.46
CPU user time (s): 2398.88
CPU system time (s): 1.58
CPU usage (%): 705.157
Max. virtual memory (cumulated for all children) (KiB): 13880920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00127
system time used= 0.00127
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.04813 second user time and 4.95945 second system time

The end

Launcher Data

Begin job on node133 at 2017-07-22 04:18:11
IDJOB=4247397
IDBENCH=126989
IDSOLVER=2625
FILE ID=node133/4247397-1500689891
RUNJOBID= node133-1500682387-16944
PBS_JOBID= 20623321
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247397-1500689891/watcher-4247397-1500689891 -o /tmp/evaluation-result-4247397-1500689891/solver-4247397-1500689891 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16944 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1560122883 HOME/instance-4247397-1500689891.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 406abf126875c7059afeaa5170034bef
RANDOM SEED=1560122883

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28186900 kB
MemAvailable:   28351464 kB
Buffers:          113236 kB
Cached:           331972 kB
SwapCached:            0 kB
Active:          3874524 kB
Inactive:         269476 kB
Active(anon):    3701124 kB
Inactive(anon):     8756 kB
Active(file):     173400 kB
Inactive(file):   260720 kB
Unevictable:        5900 kB
Mlocked:            5900 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7696 kB
Writeback:             0 kB
AnonPages:       3853332 kB
Mapped:            43224 kB
Shmem:              8872 kB
Slab:             126664 kB
SReclaimable:      92560 kB
SUnreclaim:        34104 kB
KernelStack:        5152 kB
PageTables:        12876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4969776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3713024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61996 MiB
End job on node133 at 2017-07-22 04:23:52

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	20003.6
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 4247397

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