2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	409	2400.08	2393.02

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292449-1532475570.xml"  -tl '2400s' -p 1 -x 0
0.12/0.17	c Choco 493a269
0.12/0.17	c [HOME/instance-4292449-1532475570.xml, -tl, 2400s, -p, 1, -x, 0]
0.12/0.21	c simple solver
0.34/0.27	c parse instance...
2.42/0.98	c solve instance...
3.33/1.29	o 785 
3.64/1.30	o 657 
9.82/4.56	o 561 
10.06/4.75	o 481 
158.79/152.75	o 433 
314.51/308.25	o 409 
2400.05/2393.01	s SATISFIABLE
2400.05/2393.01	v <instantiation>
2400.05/2393.01	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] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] 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[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] 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[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] 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[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] 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[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] 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[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] 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[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] 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[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] 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[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] 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[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] 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[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] 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[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] 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[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] 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[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] 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[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] 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[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] 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[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] 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[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] 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[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] 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[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] 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[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] 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[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] 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[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] 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[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] 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[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] 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[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] 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[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] 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[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] 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[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] 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[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] 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[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] 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[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] 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[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] 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[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] 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[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[45][0] y[45][1] y[45][2] y[45][3] y[46][0] y[46][1] y[46][2] y[47][0] y[47][1] y[48][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] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] 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] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] </list>
2400.05/2393.01	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 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -5 -2 -1 0 -5 0 1 0 -1 -2 1 -4 -3 0 9 -4 5 -4 1 -4 -5 0 5 2 -3 4 -3 2 3 -2 -3 -2 1 -2 1 2 -3 2 1 0 3 -2 1 -2 -1 -2 -1 0 -1 25 4 1 0 25 0 1 0 1 4 1 16 9 0 81 16 25 16 1 16 25 0 25 4 9 16 9 4 9 4 9 4 1 4 1 4 9 4 1 0 9 4 1 4 1 4 1 0 1 </values>
2400.05/2393.01	v </instantiation>
2400.05/2393.01	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 (6564 MiB free)
  memory of node 1: 16384 MiB (10603 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292449-1532475570/watcher-4292449-1532475570 -o /tmp/evaluation-result-4292449-1532475570/solver-4292449-1532475570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532470661-17281 --watchdog 2560 HOME/xcsp3-exec -seed 935309314 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292449-1532475570.xml 

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

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18040, runsolver pid=18037
Current StackSize limit: 8192 KiB


[startup+0.100321 s]*
/proc/loadavg: 1.39 1.43 1.62 3/217 18056
/proc/meminfo: memFree=17561484/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0
[pid=18042] ppid=18040 vsize=14082840 memory=29204 CPUtime=0.12 cores=1,3,5,7
/proc/18042/stat : 18042 (java) S 18040 18040 17249 0 -1 1077944320 5595 0 0 0 11 1 0 0 20 0 15 0 65120216 14420828160 7236 33554432000 4194304 4196468 140723123133856 140723123116400 140514563157751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
/proc/18042/statm: 3520710 7236 3007 1 0 3483008 0
[pid=18042/tid=18043] ppid=18040 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/18042/task/18043/stat : 18043 (java) R 18040 18040 17249 0 -1 4202560 3606 0 0 0 9 0 0 0 20 0 15 0 65120216 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514567391024 140514548856833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18044] ppid=18040 vsize=14082840 memory=3472467853245842640 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18044/stat : 18044 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514493246352 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18045] ppid=18040 vsize=14082840 memory=139724350690944 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18045/stat : 18045 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514492193552 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18046] ppid=18040 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18046/stat : 18046 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514491141264 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18047] ppid=18040 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18047/stat : 18047 (java) S 18040 18040 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65120217 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514490088464 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18048] ppid=18040 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18048/stat : 18048 (java) S 18040 18040 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65120218 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514037287024 140514563168898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18049] ppid=18040 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18049/stat : 18049 (java) S 18040 18040 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65120219 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514036232992 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18050] ppid=18040 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65120219 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) S 18040 18040 17249 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 65120222 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514033076848 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14082840 memory=139724350690944 CPUtime=0.01 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) R 18040 18040 17249 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 65120222 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514030971760 140514542128725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14082840 memory=139724350690944 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120222 14420828160 7301 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30656 KiB

[startup+0.210964 s]*
/proc/loadavg: 1.39 1.43 1.62 3/217 18056
/proc/meminfo: memFree=17550808/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0
[pid=18042] ppid=18040 vsize=14087096 memory=40848 CPUtime=0.34 cores=1,3,5,7
/proc/18042/stat : 18042 (java) S 18040 18040 17249 0 -1 1077944320 8210 0 0 0 32 2 0 0 20 0 15 0 65120216 14425186304 10212 33554432000 4194304 4196468 140723123133856 140723123116400 140514563157751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
/proc/18042/statm: 3521774 10212 3195 1 0 3483008 0
[pid=18042/tid=18043] ppid=18040 vsize=14087096 memory=5854518564242424225 CPUtime=0.19 cores=1,3,5,7
/proc/18042/task/18043/stat : 18043 (java) R 18040 18040 17249 0 -1 4202560 5464 0 0 0 18 1 0 0 20 0 15 0 65120216 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514567378744 140514547238238 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18044] ppid=18040 vsize=14087096 memory=3472467853245842640 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18044/stat : 18044 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514493246352 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18045] ppid=18040 vsize=14087096 memory=139724350690944 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18045/stat : 18045 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514492193552 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18046] ppid=18040 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18046/stat : 18046 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514491141264 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18047] ppid=18040 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18047/stat : 18047 (java) S 18040 18040 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514490088464 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18048] ppid=18040 vsize=14087096 memory=139724350690944 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18048/stat : 18048 (java) S 18040 18040 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65120218 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514037287024 140514563168898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18049] ppid=18040 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18049/stat : 18049 (java) S 18040 18040 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65120219 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514036232992 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18050] ppid=18040 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65120219 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14087096 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) S 18040 18040 17249 0 -1 1077944384 606 0 0 0 3 0 0 0 20 0 15 0 65120222 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514033076848 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14087096 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 87 0 0 0 1 0 0 0 20 0 15 0 65120222 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14087096 memory=139724350690944 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) S 18040 18040 17249 0 -1 1077944384 748 0 0 0 8 0 0 0 20 0 15 0 65120222 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514030971760 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14087096 memory=139724350690944 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120222 14425186304 10212 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 42300 KiB

[startup+0.3105 s]*
/proc/loadavg: 1.39 1.43 1.62 3/217 18056
/proc/meminfo: memFree=17544108/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0
[pid=18042] ppid=18040 vsize=14087096 memory=47832 CPUtime=0.51 cores=1,3,5,7
/proc/18042/stat : 18042 (java) S 18040 18040 17249 0 -1 1077944320 9086 0 0 0 49 2 0 0 20 0 15 0 65120216 14425186304 11958 33554432000 4194304 4196468 140723123133856 140723123116400 140514563157751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
/proc/18042/statm: 3521774 11958 3227 1 0 3483008 0
[pid=18042/tid=18043] ppid=18040 vsize=14087096 memory=8514701219881125277 CPUtime=0.3 cores=1,3,5,7
/proc/18042/task/18043/stat : 18043 (java) R 18040 18040 17249 0 -1 4202560 6167 0 0 0 28 2 0 0 20 0 15 0 65120216 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514567391536 140514544564054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18044] ppid=18040 vsize=14087096 memory=3472467853245842640 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18044/stat : 18044 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514493246352 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18045] ppid=18040 vsize=14087096 memory=139724350690944 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18045/stat : 18045 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514492193552 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18046] ppid=18040 vsize=14087096 memory=3 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18046/stat : 18046 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514491141264 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18047] ppid=18040 vsize=14087096 memory=139724211759135 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18047/stat : 18047 (java) S 18040 18040 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65120217 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514490088464 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18048] ppid=18040 vsize=14087096 memory=279448423479040 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18048/stat : 18048 (java) S 18040 18040 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65120218 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514037287024 140514563168898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18049] ppid=18040 vsize=14087096 memory=139724211736079 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18049/stat : 18049 (java) S 18040 18040 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65120219 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514036232992 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18050] ppid=18040 vsize=14087096 memory=279448562436192 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65120219 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14087096 memory=139724211740687 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) S 18040 18040 17249 0 -1 1077944384 621 0 0 0 4 0 0 0 20 0 15 0 65120222 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514033076848 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14087096 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 90 0 0 0 3 0 0 0 20 0 15 0 65120222 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) R 18040 18040 17249 0 -1 4202560 902 0 0 0 12 0 0 0 20 0 15 0 65120222 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514030971760 140514563179098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14087096 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120222 14425186304 11958 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49284 KiB

[startup+0.700798 s]
/proc/loadavg: 1.39 1.43 1.62 6/217 18056
/proc/meminfo: memFree=17517060/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0
[pid=18042] ppid=18040 vsize=14089220 memory=90552 CPUtime=1.72 cores=1,3,5,7
/proc/18042/stat : 18042 (java) S 18040 18040 17249 0 -1 1077944320 12726 0 0 0 168 4 0 0 20 0 15 0 65120216 14427361280 22638 33554432000 4194304 4196468 140723123133856 140723123116400 140514563157751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
/proc/18042/statm: 3522305 22638 3348 1 0 3483520 0
[pid=18042/tid=18043] ppid=18040 vsize=14089220 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18042/task/18043/stat : 18043 (java) R 18040 18040 17249 0 -1 4202560 6990 0 0 0 64 2 0 0 20 0 15 0 65120216 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514567392752 140514548755841 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18044] ppid=18040 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18044/stat : 18044 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514493246352 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18045] ppid=18040 vsize=14089220 memory=7813587196152133429 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18045/stat : 18045 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514492193552 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18046] ppid=18040 vsize=14089220 memory=7084813482986788710 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18046/stat : 18046 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120217 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514491141264 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18047] ppid=18040 vsize=14089220 memory=7666631141572832339 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18047/stat : 18047 (java) S 18040 18040 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 65120217 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514490088464 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18048] ppid=18040 vsize=14089220 memory=734122130331934768 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18048/stat : 18048 (java) S 18040 18040 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 65120218 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514037287024 140514563168898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18049] ppid=18040 vsize=14089220 memory=1600 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18049/stat : 18049 (java) S 18040 18040 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 65120219 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514036232992 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18050] ppid=18040 vsize=14089220 memory=5024 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 65120219 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14089220 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14089220 memory=1284 CPUtime=0.31 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) R 18040 18040 17249 0 -1 4202560 1395 0 0 0 31 0 0 0 20 0 15 0 65120222 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514033062368 140514546658134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14089220 memory=1088 CPUtime=0.31 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 1074 0 0 0 31 0 0 0 20 0 15 0 65120222 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14089220 memory=1796 CPUtime=0.4 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) S 18040 18040 17249 0 -1 1077944384 1960 0 0 0 40 0 0 0 20 0 15 0 65120222 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514030971760 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14089220 memory=7012 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14089220 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 65120222 14427361280 22638 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 92004 KiB

[startup+1.5008 s]
/proc/loadavg: 1.39 1.43 1.62 5/217 18056
/proc/meminfo: memFree=17437460/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0

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

/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 65120219 14429458432 50265 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14091268 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 50265 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14091268 memory=832 CPUtime=2.77 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) S 18040 18040 17249 0 -1 1077944384 22506 0 0 0 275 2 0 0 20 0 15 0 65120222 14429458432 50265 33554432000 4194304 4196468 140723123133856 140514033076848 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14091268 memory=1452 CPUtime=2.8 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 20627 0 0 0 278 2 0 0 20 0 15 0 65120222 14429458432 50265 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14091268 memory=3708 CPUtime=0.85 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) S 18040 18040 17249 0 -1 1077944384 10577 0 0 0 83 2 0 0 20 0 15 0 65120222 14429458432 50265 33554432000 4194304 4196468 140723123133856 140514030971760 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14091268 memory=19712 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 50265 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14091268 memory=201060 CPUtime=0.51 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1149 0 0 0 22 29 0 0 20 0 15 0 65120222 14429458432 50265 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 2269.33 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 202512 KiB

[startup+2322.3 s]
/proc/loadavg: 1.89 1.82 1.84 3/217 18232
/proc/meminfo: memFree=17384556/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0
[pid=18042] ppid=18040 vsize=14091268 memory=196956 CPUtime=2329.34 cores=1,3,5,7
/proc/18042/stat : 18042 (java) S 18040 18040 17249 0 -1 1077944320 95764 0 0 0 232888 46 0 0 20 0 15 0 65120216 14429458432 49239 33554432000 4194304 4196468 140723123133856 140723123116400 140514563157751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
/proc/18042/statm: 3522817 49239 3400 1 0 3484032 0
[pid=18042/tid=18043] ppid=18040 vsize=14091268 memory=196956 CPUtime=2321.9 cores=1,3,5,7
/proc/18042/task/18043/stat : 18043 (java) R 18040 18040 17249 0 -1 4202560 21927 0 0 0 232184 6 0 0 20 0 15 0 65120216 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514567397200 140514174010714 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18044] ppid=18040 vsize=14091268 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18044/stat : 18044 (java) S 18040 18040 17249 0 -1 1077944384 2250 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514493246352 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18045] ppid=18040 vsize=14091268 memory=196956 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18045/stat : 18045 (java) S 18040 18040 17249 0 -1 1077944384 3688 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514492193552 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18046] ppid=18040 vsize=14091268 memory=196956 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18046/stat : 18046 (java) S 18040 18040 17249 0 -1 1077944384 5422 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514491141264 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18047] ppid=18040 vsize=14091268 memory=196956 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18047/stat : 18047 (java) S 18040 18040 17249 0 -1 1077944384 2598 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514490088464 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18048] ppid=18040 vsize=14091268 memory=196956 CPUtime=0.06 cores=1,3,5,7
/proc/18042/task/18048/stat : 18048 (java) S 18040 18040 17249 0 -1 1077944384 3641 0 0 0 4 2 0 0 20 0 15 0 65120218 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514037287024 140514563168898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18049] ppid=18040 vsize=14091268 memory=196956 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18049/stat : 18049 (java) S 18040 18040 17249 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 65120219 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514036232992 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18050] ppid=18040 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 65120219 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14091268 memory=196956 CPUtime=2.77 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) S 18040 18040 17249 0 -1 1077944384 22506 0 0 0 275 2 0 0 20 0 15 0 65120222 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514033076848 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14091268 memory=1452 CPUtime=2.8 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 20627 0 0 0 278 2 0 0 20 0 15 0 65120222 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14091268 memory=3708 CPUtime=0.85 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) S 18040 18040 17249 0 -1 1077944384 10577 0 0 0 83 2 0 0 20 0 15 0 65120222 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514030971760 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14091268 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14091268 memory=19712 CPUtime=0.53 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1153 0 0 0 23 30 0 0 20 0 15 0 65120222 14429458432 49239 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 2329.34 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 198408 KiB

[startup+2382.3 s]
/proc/loadavg: 1.55 1.74 1.81 3/217 18233
/proc/meminfo: memFree=17389360/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0
[pid=18042] ppid=18040 vsize=14091268 memory=193876 CPUtime=2389.35 cores=1,3,5,7
/proc/18042/stat : 18042 (java) S 18040 18040 17249 0 -1 1077944320 96101 0 0 0 238888 47 0 0 20 0 15 0 65120216 14429458432 48469 33554432000 4194304 4196468 140723123133856 140723123116400 140514563157751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
/proc/18042/statm: 3522817 48469 3400 1 0 3484032 0
[pid=18042/tid=18043] ppid=18040 vsize=14091268 memory=193876 CPUtime=2381.89 cores=1,3,5,7
/proc/18042/task/18043/stat : 18043 (java) R 18040 18040 17249 0 -1 4202560 22224 0 0 0 238183 6 0 0 20 0 15 0 65120216 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514567397344 140514173679281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18044] ppid=18040 vsize=14091268 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18044/stat : 18044 (java) S 18040 18040 17249 0 -1 1077944384 2251 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514493246352 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18045] ppid=18040 vsize=14091268 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/18042/task/18045/stat : 18045 (java) S 18040 18040 17249 0 -1 1077944384 3688 0 0 0 8 1 0 0 20 0 15 0 65120217 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514492193552 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18046] ppid=18040 vsize=14091268 memory=193876 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18046/stat : 18046 (java) S 18040 18040 17249 0 -1 1077944384 5422 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514491141264 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18047] ppid=18040 vsize=14091268 memory=1452 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18047/stat : 18047 (java) S 18040 18040 17249 0 -1 1077944384 2599 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514490088464 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18048] ppid=18040 vsize=14091268 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/18042/task/18048/stat : 18048 (java) S 18040 18040 17249 0 -1 1077944384 3651 0 0 0 4 2 0 0 20 0 15 0 65120218 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514037287024 140514563168898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18049] ppid=18040 vsize=14091268 memory=3708 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18049/stat : 18049 (java) S 18040 18040 17249 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 65120219 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514036232992 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18050] ppid=18040 vsize=14091268 memory=19712 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 65120219 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14091268 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14091268 memory=1452 CPUtime=2.77 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) S 18040 18040 17249 0 -1 1077944384 22509 0 0 0 275 2 0 0 20 0 15 0 65120222 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514033076848 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14091268 memory=1452 CPUtime=2.8 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 20629 0 0 0 278 2 0 0 20 0 15 0 65120222 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14091268 memory=193876 CPUtime=0.86 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) S 18040 18040 17249 0 -1 1077944384 10579 0 0 0 84 2 0 0 20 0 15 0 65120222 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514030971760 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14091268 memory=6944656592455350634 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14091268 memory=-8990767739041718176 CPUtime=0.54 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1174 0 0 0 23 31 0 0 20 0 15 0 65120222 14429458432 48469 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 2389.35 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 195328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2393 s]*
/proc/loadavg: 1.62 1.75 1.81 3/217 18233
/proc/meminfo: memFree=17391440/32770624 swapFree=67108796/67108860
[pid=18040] ppid=18037 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18040/stat : 18040 (xcsp3-exec) S 18037 18040 17249 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 65120216 115843072 363 33554432000 4194304 5098028 140733617537728 140733617535832 140681783710332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 16814080 140733617546299 140733617546500 140733617546500 140733617549258 0
/proc/18040/statm: 28282 363 305 221 0 87 0
[pid=18042] ppid=18040 vsize=14091268 memory=192852 CPUtime=2400.05 cores=1,3,5,7
/proc/18042/stat : 18042 (java) S 18040 18040 17249 0 -1 1077944320 96783 0 0 0 239958 47 0 0 20 0 15 0 65120216 14429458432 48213 33554432000 4194304 4196468 140723123133856 140723123116400 140514563157751 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
/proc/18042/statm: 3522817 48213 3400 1 0 3484032 0
[pid=18042/tid=18043] ppid=18040 vsize=14091268 memory=6791534058613427641 CPUtime=2392.59 cores=1,3,5,7
/proc/18042/task/18043/stat : 18043 (java) R 18040 18040 17249 0 -1 4202560 22361 0 0 0 239253 6 0 0 20 0 15 0 65120216 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514567396448 140514174767619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18044] ppid=18040 vsize=14091268 memory=-7003737579269690708 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18044/stat : 18044 (java) S 18040 18040 17249 0 -1 1077944384 2573 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514493246352 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18045] ppid=18040 vsize=14091268 memory=-4695052241013923951 CPUtime=0.09 cores=1,3,5,7
/proc/18042/task/18045/stat : 18045 (java) S 18040 18040 17249 0 -1 1077944384 3698 0 0 0 8 1 0 0 20 0 15 0 65120217 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514492193552 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18046] ppid=18040 vsize=14091268 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18046/stat : 18046 (java) S 18040 18040 17249 0 -1 1077944384 5425 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514491141264 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18047] ppid=18040 vsize=14091268 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/18042/task/18047/stat : 18047 (java) S 18040 18040 17249 0 -1 1077944384 2643 0 0 0 7 1 0 0 20 0 15 0 65120217 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514490088464 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18048] ppid=18040 vsize=14091268 memory=609956774214200626 CPUtime=0.07 cores=1,3,5,7
/proc/18042/task/18048/stat : 18048 (java) S 18040 18040 17249 0 -1 1077944384 3817 0 0 0 4 3 0 0 20 0 15 0 65120218 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514037287024 140514563168898 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18049] ppid=18040 vsize=14091268 memory=288283389822501717 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18049/stat : 18049 (java) S 18040 18040 17249 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 65120219 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514036232992 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18050] ppid=18040 vsize=14091268 memory=381497 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18050/stat : 18050 (java) S 18040 18040 17249 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 65120219 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514035180656 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18051] ppid=18040 vsize=14091268 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18051/stat : 18051 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514034128976 140514563176347 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18052] ppid=18040 vsize=14091268 memory=-6520476117441828254 CPUtime=2.77 cores=1,3,5,7
/proc/18042/task/18052/stat : 18052 (java) S 18040 18040 17249 0 -1 1077944384 22509 0 0 0 275 2 0 0 20 0 15 0 65120222 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514033076848 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18053] ppid=18040 vsize=14091268 memory=0 CPUtime=2.8 cores=1,3,5,7
/proc/18042/task/18053/stat : 18053 (java) S 18040 18040 17249 0 -1 1077944384 20629 0 0 0 278 2 0 0 20 0 15 0 65120222 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514032024048 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18054] ppid=18040 vsize=14091268 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/18042/task/18054/stat : 18054 (java) S 18040 18040 17249 0 -1 1077944384 10579 0 0 0 84 2 0 0 20 0 15 0 65120222 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514030971760 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18055] ppid=18040 vsize=14091268 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18042/task/18055/stat : 18055 (java) S 18040 18040 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 65120222 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514029919200 140514563167957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
[pid=18042/tid=18056] ppid=18040 vsize=14091268 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/18042/task/18056/stat : 18056 (java) S 18040 18040 17249 0 -1 1077944384 1174 0 0 0 23 31 0 0 20 0 15 0 65120222 14429458432 48213 33554432000 4194304 4196468 140723123133856 140514028865968 140514563168898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15659008 140723123139713 140723123139889 140723123139889 140723123142607 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 194304 KiB

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

[startup+2393.02 s]
# the end of solver process 18040 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001072 s, system=0.001072 s

[startup+2393.02 s]
# the end of solver process 18042 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.6 s, system=0.483071 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): 2393.02
CPU time (s): 2400.08
CPU user time (s): 2399.6
CPU system time (s): 0.483071
CPU usage (%): 100.295
Max. virtual memory (cumulated for all children) (KiB): 14206360
Max. memory (cumulated for all children) (KiB): 265024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.6
system time used= 0.483071
maximum resident set size= 263572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55613
involuntary context switches= 1953


# summary of solver processes directly reported to runsolver:
#   pid: 18040,18042
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2399.6
#   total CPU system time (s): 0.483071

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7545 second user time and 23.6053 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-050_c18.xml
MD5SUM	22f254a3908600e49eb95db263b253c5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	289
Best CPU time to get the best result obtained on this benchmark	2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables	2549
Number of constraints	1323
Number of domains	99
Minimum domain size	2
Maximum domain size	99
Distribution of domain sizes	[{"size":2,"count":1276},{"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":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}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}]
Minimum variable degree	0
Maximum variable degree	49
Distribution of variable degrees	[{"degree":0,"count":1176},{"degree":2,"count":1323},{"degree":49,"count":50}]
Minimum constraint arity	2
Maximum constraint arity	50
Distribution of constraint arities	[{"arity":2,"count":50},{"arity":3,"count":1226},{"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},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":1},{"arity":49,"count":1},{"arity":50,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1274
Distribution of constraint types	[{"type":"intension","count":1274},{"type":"sum","count":49}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4292449

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