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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	711	254.10699	240.02499

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284357-1503212785.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284357-1503212785.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.33/0.26	c parse instance...
2.17/0.89	c solve instance...
3.08/1.13	o 751 
129.96/119.36	o 711 
254.08/240.01	s SATISFIABLE
254.08/240.01	v <instantiation>
254.08/240.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] x[50] x[51] x[52] x[53] 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[0][49] y[0][50] y[0][51] y[0][52] 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[1][48] y[1][49] y[1][50] y[1][51] 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[2][47] y[2][48] y[2][49] y[2][50] 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[3][46] y[3][47] y[3][48] y[3][49] 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[4][45] y[4][46] y[4][47] y[4][48] 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[5][44] y[5][45] y[5][46] y[5][47] 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[6][43] y[6][44] y[6][45] y[6][46] 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[7][42] y[7][43] y[7][44] y[7][45] 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[8][41] y[8][42] y[8][43] y[8][44] 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[9][40] y[9][41] y[9][42] y[9][43] 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[10][39] y[10][40] y[10][41] y[10][42] 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[11][38] y[11][39] y[11][40] y[11][41] 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[12][37] y[12][38] y[12][39] y[12][40] 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[13][36] y[13][37] y[13][38] y[13][39] 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[14][35] y[14][36] y[14][37] y[14][38] 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[15][34] y[15][35] y[15][36] y[15][37] 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[16][33] y[16][34] y[16][35] y[16][36] 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[17][32] y[17][33] y[17][34] y[17][35] 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[18][31] y[18][32] y[18][33] y[18][34] 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[19][30] y[19][31] y[19][32] y[19][33] 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[20][29] y[20][30] y[20][31] y[20][32] 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[21][28] y[21][29] y[21][30] y[21][31] 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[22][27] y[22][28] y[22][29] y[22][30] 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[23][26] y[23][27] y[23][28] y[23][29] 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[24][25] y[24][26] y[24][27] y[24][28] 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[25][24] y[25][25] y[25][26] y[25][27] 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[26][23] y[26][24] y[26][25] y[26][26] 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[27][22] y[27][23] y[27][24] y[27][25] 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[28][21] y[28][22] y[28][23] y[28][24] 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[29][20] y[29][21] y[29][22] y[29][23] 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[30][19] y[30][20] y[30][21] y[30][22] 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[31][18] y[31][19] y[31][20] y[31][21] 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[32][17] y[32][18] y[32][19] y[32][20] 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[33][16] y[33][17] y[33][18] y[33][19] 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[34][15] y[34][16] y[34][17] y[34][18] 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[35][14] y[35][15] y[35][16] y[35][17] 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[36][13] y[36][14] y[36][15] y[36][16] 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[37][12] y[37][13] y[37][14] y[37][15] 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[38][11] y[38][12] y[38][13] y[38][14] 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[39][10] y[39][11] y[39][12] y[39][13] 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[40][9] y[40][10] y[40][11] y[40][12] 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[41][8] y[41][9] y[41][10] y[41][11] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[49][0] y[49][1] y[49][2] y[49][3] y[50][0] y[50][1] y[50][2] y[51][0] y[51][1] y[52][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] c[49] c[50] c[51] c[52] 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] s[49] s[50] s[51] s[52] </list>
254.08/240.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 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 3 2 -7 -10 -5 2 3 2 5 0 -7 0 -5 -2 -1 0 1 4 3 2 3 -4 -1 0 1 -6 -5 -8 1 2 -1 6 -5 -4 -1 -6 5 2 3 -4 3 2 1 2 1 -4 -1 0 3 0 1 0 -1 9 4 49 100 25 4 9 4 25 0 49 0 25 4 1 0 1 16 9 4 9 16 1 0 1 36 25 64 1 4 1 36 25 16 1 36 25 4 9 16 9 4 1 4 1 16 1 0 9 0 1 0 1 </values>
254.08/240.01	v </instantiation>
254.08/240.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 (11216 MiB free)
  memory of node 1: 16384 MiB (11940 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284357-1503212785/watcher-4284357-1503212785 -o /tmp/evaluation-result-4284357-1503212785/solver-4284357-1503212785 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2078194357 HOME/instance-4284357-1503212785.xml 

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

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


[startup+0.100125 s]*
/proc/loadavg: 2.33 2.25 1.91 3/217 15801
/proc/meminfo: memFree=23695280/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0
[pid=15787] ppid=15785 vsize=13978596 memory=27840 CPUtime=0.12 cores=1,3,5,7
/proc/15787/stat : 15787 (java) S 15785 15785 12810 0 -1 1077944320 5387 0 0 0 12 0 0 0 20 0 15 0 154359243 14314082304 6960 33554432000 4194304 4196468 140720976620272 140720976602816 140621039566583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
/proc/15787/statm: 3494649 6960 2846 1 0 3482966 0
[pid=15787/tid=15788] ppid=15785 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/15787/task/15788/stat : 15788 (java) R 15785 15785 12810 0 -1 4202560 3397 0 0 0 9 0 0 0 20 0 15 0 154359244 14314082304 6960 33554432000 4194304 4196468 140720976620272 140621043798912 140621022063470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15789] ppid=15785 vsize=13978596 memory=3472468408534222032 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15789/stat : 15789 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14314082304 6960 33554432000 4194304 4196468 140720976620272 140620992187152 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15790] ppid=15785 vsize=13978596 memory=140279639070336 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15790/stat : 15790 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14314082304 6960 33554432000 4194304 4196468 140720976620272 140620991134608 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15791] ppid=15785 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15791/stat : 15791 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14314082304 6960 33554432000 4194304 4196468 140720976620272 140620990082064 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15792] ppid=15785 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15792/stat : 15792 (java) S 15785 15785 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359245 14314082304 6960 33554432000 4194304 4196468 140720976620272 140620989029520 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15793] ppid=15785 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15793/stat : 15793 (java) S 15785 15785 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359246 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619951613936 140621039577730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15794] ppid=15785 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15794/stat : 15794 (java) S 15785 15785 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359246 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619950560160 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15795] ppid=15785 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359247 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619949507568 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) S 15785 15785 12810 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 154359249 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) S 15785 15785 12810 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154359249 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619946351216 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13978596 memory=140279639070336 CPUtime=0.01 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) R 15785 15785 12810 0 -1 4202560 261 0 0 0 1 0 0 0 20 0 15 0 154359249 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619945298672 140621031803710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13978596 memory=140279639070336 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359250 14314082304 6960 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29220 KiB

[startup+0.210681 s]*
/proc/loadavg: 2.33 2.25 1.91 3/217 15801
/proc/meminfo: memFree=23683992/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0
[pid=15787] ppid=15785 vsize=13982852 memory=40124 CPUtime=0.33 cores=1,3,5,7
/proc/15787/stat : 15787 (java) S 15785 15785 12810 0 -1 1077944320 8085 0 0 0 31 2 0 0 20 0 15 0 154359243 14318440448 10031 33554432000 4194304 4196468 140720976620272 140720976602816 140621039566583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
/proc/15787/statm: 3495713 10031 3080 1 0 3482966 0
[pid=15787/tid=15788] ppid=15785 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=1,3,5,7
/proc/15787/task/15788/stat : 15788 (java) R 15785 15785 12810 0 -1 4202560 5317 0 0 0 18 1 0 0 20 0 15 0 154359244 14318440448 10031 33554432000 4194304 4196468 140720976620272 140621043777376 140621032245805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15789] ppid=15785 vsize=13982852 memory=3472468408534222032 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15789/stat : 15789 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 10031 33554432000 4194304 4196468 140720976620272 140620992187152 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15790] ppid=15785 vsize=13982852 memory=140279639070336 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15790/stat : 15790 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 10031 33554432000 4194304 4196468 140720976620272 140620991134608 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15791] ppid=15785 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15791/stat : 15791 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 10031 33554432000 4194304 4196468 140720976620272 140620990082064 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15792] ppid=15785 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15792/stat : 15792 (java) S 15785 15785 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 10031 33554432000 4194304 4196468 140720976620272 140620989029520 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15793] ppid=15785 vsize=13982884 memory=140279639070336 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15793/stat : 15793 (java) S 15785 15785 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359246 14318473216 10031 33554432000 4194304 4196468 140720976620272 140619951613936 140621039577730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15794] ppid=15785 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15794/stat : 15794 (java) S 15785 15785 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359246 14318473216 10031 33554432000 4194304 4196468 140720976620272 140619950560160 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15795] ppid=15785 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359247 14318440448 10031 33554432000 4194304 4196468 140720976620272 140619949507568 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14318440448 10031 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) S 15785 15785 12810 0 -1 1077944384 477 0 0 0 3 0 0 0 20 0 15 0 154359249 14318440448 10031 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) S 15785 15785 12810 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 15 0 154359249 14318440448 10031 33554432000 4194304 4196468 140720976620272 140619946351216 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13982852 memory=140279639070336 CPUtime=0.07 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) S 15785 15785 12810 0 -1 1077944384 706 0 0 0 7 0 0 0 20 0 15 0 154359249 14318440448 10031 33554432000 4194304 4196468 140720976620272 140619945298672 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14318440448 10031 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13982884 memory=140279639070336 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359250 14318473216 10031 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41504 KiB

[startup+0.310616 s]*
/proc/loadavg: 2.33 2.25 1.91 6/217 15801
/proc/meminfo: memFree=23676892/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0
[pid=15787] ppid=15785 vsize=13982852 memory=46996 CPUtime=0.5 cores=1,3,5,7
/proc/15787/stat : 15787 (java) S 15785 15785 12810 0 -1 1077944320 8951 0 0 0 48 2 0 0 20 0 15 0 154359243 14318440448 11749 33554432000 4194304 4196468 140720976620272 140720976602816 140621039566583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
/proc/15787/statm: 3495713 11749 3109 1 0 3482966 0
[pid=15787/tid=15788] ppid=15785 vsize=13982852 memory=8514701219880862117 CPUtime=0.3 cores=1,3,5,7
/proc/15787/task/15788/stat : 15788 (java) R 15785 15785 12810 0 -1 4202560 5921 0 0 0 28 2 0 0 20 0 15 0 154359244 14318440448 11749 33554432000 4194304 4196468 140720976620272 140621043802864 140620668750832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15789] ppid=15785 vsize=13982852 memory=3472468408534222032 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15789/stat : 15789 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 11749 33554432000 4194304 4196468 140720976620272 140620992187152 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15790] ppid=15785 vsize=13982852 memory=140279639070336 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15790/stat : 15790 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 11749 33554432000 4194304 4196468 140720976620272 140620991134608 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15791] ppid=15785 vsize=13982852 memory=2 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15791/stat : 15791 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 11749 33554432000 4194304 4196468 140720976620272 140620990082064 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15792] ppid=15785 vsize=13982852 memory=140279537608735 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15792/stat : 15792 (java) S 15785 15785 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359245 14318440448 11749 33554432000 4194304 4196468 140720976620272 140620989029520 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15793] ppid=15785 vsize=13982852 memory=280559075178240 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15793/stat : 15793 (java) S 15785 15785 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359246 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619951613936 140621039577730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15794] ppid=15785 vsize=13982852 memory=140279537585679 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15794/stat : 15794 (java) S 15785 15785 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359246 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619950560160 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15795] ppid=15785 vsize=13982852 memory=280559176665184 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359247 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619949507568 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13982852 memory=140279537590287 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) R 15785 15785 12810 0 -1 1077944384 584 0 0 0 4 0 0 0 20 0 15 0 154359249 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) R 15785 15785 12810 0 -1 4202560 301 0 0 0 2 0 0 0 20 0 15 0 154359249 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619946351216 140621024690622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) R 15785 15785 12810 0 -1 4202560 845 0 0 0 12 0 0 0 20 0 15 0 154359249 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619945296464 140621032666430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359250 14318440448 11749 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48376 KiB

[startup+0.700734 s]
/proc/loadavg: 2.33 2.25 1.91 5/217 15801
/proc/meminfo: memFree=23650092/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0
[pid=15787] ppid=15785 vsize=13984976 memory=93516 CPUtime=1.81 cores=1,3,5,7
/proc/15787/stat : 15787 (java) S 15785 15785 12810 0 -1 1077944320 13468 0 0 0 177 4 0 0 20 0 15 0 154359243 14320615424 23379 33554432000 4194304 4196468 140720976620272 140720976602816 140621039566583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
/proc/15787/statm: 3496244 23379 3212 1 0 3483478 0
[pid=15787/tid=15788] ppid=15785 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/15787/task/15788/stat : 15788 (java) R 15785 15785 12810 0 -1 4202560 6609 0 0 0 64 3 0 0 20 0 15 0 154359244 14320615424 23379 33554432000 4194304 4196468 140720976620272 140621043803296 140620672763456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15789] ppid=15785 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15789/stat : 15789 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14320615424 23379 33554432000 4194304 4196468 140720976620272 140620992187152 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15790] ppid=15785 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15790/stat : 15790 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14320615424 23379 33554432000 4194304 4196468 140720976620272 140620991134608 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15791] ppid=15785 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15791/stat : 15791 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359245 14320615424 23379 33554432000 4194304 4196468 140720976620272 140620990082064 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15792] ppid=15785 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15792/stat : 15792 (java) S 15785 15785 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154359245 14320615424 23379 33554432000 4194304 4196468 140720976620272 140620989029520 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15793] ppid=15785 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15793/stat : 15793 (java) S 15785 15785 12810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154359246 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619951613936 140621039577730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15794] ppid=15785 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15794/stat : 15794 (java) S 15785 15785 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154359246 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619950560160 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15795] ppid=15785 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154359247 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619949507568 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13984976 memory=42972 CPUtime=0.37 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) S 15785 15785 12810 0 -1 1077944384 1848 0 0 0 37 0 0 0 20 0 15 0 154359249 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13984976 memory=1292 CPUtime=0.34 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) S 15785 15785 12810 0 -1 1077944384 1448 0 0 0 34 0 0 0 20 0 15 0 154359249 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619946351216 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13984976 memory=2428 CPUtime=0.41 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) S 15785 15785 12810 0 -1 1077944384 2256 0 0 0 40 1 0 0 20 0 15 0 154359249 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619945298672 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154359250 14320615424 23379 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 94896 KiB

[startup+1.50104 s]
/proc/loadavg: 2.33 2.25 1.91 4/217 15801
/proc/meminfo: memFree=23576436/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0

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

/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154359247 14322712576 109312 33554432000 4194304 4196468 140720976620272 140619949507568 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13987024 memory=418628 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 109312 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13987024 memory=33 CPUtime=3.9 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) S 15785 15785 12810 0 -1 1077944384 14278 0 0 0 389 1 0 0 20 0 15 0 154359249 14322712576 109312 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13987024 memory=1380 CPUtime=4.02 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) S 15785 15785 12810 0 -1 1077944384 14371 0 0 0 400 2 0 0 20 0 15 0 154359249 14322712576 109312 33554432000 4194304 4196468 140720976620272 140619946351216 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13987024 memory=426820 CPUtime=0.97 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) S 15785 15785 12810 0 -1 1077944384 7939 0 0 0 95 2 0 0 20 0 15 0 154359249 14322712576 109312 33554432000 4194304 4196468 140720976620272 140619945298672 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13987024 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 109312 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13987024 memory=1728 CPUtime=0.02 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 386 0 0 0 1 1 0 0 20 0 15 0 154359250 14322712576 109312 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 112.4 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 438628 KiB

[startup+162.301 s]
/proc/loadavg: 1.95 2.14 1.93 3/217 15803
/proc/meminfo: memFree=20767948/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0
[pid=15787] ppid=15785 vsize=13987024 memory=497588 CPUtime=174.54 cores=1,3,5,7
/proc/15787/stat : 15787 (java) S 15785 15785 12810 0 -1 1077944320 71534 0 0 0 17402 52 0 0 20 0 15 0 154359243 14322712576 124397 33554432000 4194304 4196468 140720976620272 140720976602816 140621039566583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
/proc/15787/statm: 3496756 124397 3270 1 0 3483990 0
[pid=15787/tid=15788] ppid=15785 vsize=13987024 memory=489804 CPUtime=161.61 cores=1,3,5,7
/proc/15787/task/15788/stat : 15788 (java) R 15785 15785 12810 0 -1 4202560 15287 0 0 0 16156 5 0 0 20 0 15 0 154359244 14322712576 124397 33554432000 4194304 4196468 140720976620272 140621043805952 140620676256842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15789] ppid=15785 vsize=13987024 memory=483156 CPUtime=0.6 cores=1,3,5,7
/proc/15787/task/15789/stat : 15789 (java) S 15785 15785 12810 0 -1 1077944384 1733 0 0 0 51 9 0 0 20 0 15 0 154359245 14322712576 124397 33554432000 4194304 4196468 140720976620272 140620992187152 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15790] ppid=15785 vsize=13987024 memory=483156 CPUtime=0.61 cores=1,3,5,7
/proc/15787/task/15790/stat : 15790 (java) S 15785 15785 12810 0 -1 1077944384 1431 0 0 0 52 9 0 0 20 0 15 0 154359245 14322712576 124397 33554432000 4194304 4196468 140720976620272 140620991134608 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15791] ppid=15785 vsize=13987024 memory=1380 CPUtime=0.6 cores=1,3,5,7
/proc/15787/task/15791/stat : 15791 (java) S 15785 15785 12810 0 -1 1077944384 1588 0 0 0 52 8 0 0 20 0 15 0 154359245 14322712576 124397 33554432000 4194304 4196468 140720976620272 140620990082064 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15792] ppid=15785 vsize=13987024 memory=1380 CPUtime=0.61 cores=1,3,5,7
/proc/15787/task/15792/stat : 15792 (java) S 15785 15785 12810 0 -1 1077944384 3847 0 0 0 52 9 0 0 20 0 15 0 154359245 14322712576 124397 33554432000 4194304 4196468 140720976620272 140620989029520 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15793] ppid=15785 vsize=13987024 memory=497588 CPUtime=0.03 cores=1,3,5,7
/proc/15787/task/15793/stat : 15793 (java) S 15785 15785 12810 0 -1 1077944384 1247 0 0 0 3 0 0 0 20 0 15 0 154359246 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619951613936 140621039577730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15794] ppid=15785 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15794/stat : 15794 (java) S 15785 15785 12810 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154359246 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619950560160 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15795] ppid=15785 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154359247 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619949507568 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13987024 memory=4144 CPUtime=4.39 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) S 15785 15785 12810 0 -1 1077944384 17100 0 0 0 437 2 0 0 20 0 15 0 154359249 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13987024 memory=497588 CPUtime=4.96 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) S 15785 15785 12810 0 -1 1077944384 18774 0 0 0 494 2 0 0 20 0 15 0 154359249 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619946351216 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13987024 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) S 15785 15785 12810 0 -1 1077944384 8740 0 0 0 97 2 0 0 20 0 15 0 154359249 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619945298672 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13987024 memory=497588 CPUtime=0.05 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 430 0 0 0 2 3 0 0 20 0 15 0 154359250 14322712576 124397 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 174.54 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 498968 KiB

[startup+222.301 s]
/proc/loadavg: 1.98 2.11 1.94 3/217 15805
/proc/meminfo: memFree=20377608/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0
[pid=15787] ppid=15785 vsize=13987024 memory=492208 CPUtime=236.26 cores=1,3,5,7
/proc/15787/stat : 15787 (java) S 15785 15785 12810 0 -1 1077944320 80731 0 0 0 23559 67 0 0 20 0 15 0 154359243 14322712576 123052 33554432000 4194304 4196468 140720976620272 140720976602816 140621039566583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
/proc/15787/statm: 3496756 123052 3284 1 0 3483990 0
[pid=15787/tid=15788] ppid=15785 vsize=13987024 memory=558700 CPUtime=221.07 cores=1,3,5,7
/proc/15787/task/15788/stat : 15788 (java) R 15785 15785 12810 0 -1 4202560 16145 0 0 0 22102 5 0 0 20 0 15 0 154359244 14322712576 123052 33554432000 4194304 4196468 140720976620272 140621043806096 140620676256842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15789] ppid=15785 vsize=13987024 memory=554608 CPUtime=1.12 cores=1,3,5,7
/proc/15787/task/15789/stat : 15789 (java) S 15785 15785 12810 0 -1 1077944384 1921 0 0 0 100 12 0 0 20 0 15 0 154359245 14322712576 123052 33554432000 4194304 4196468 140720976620272 140620992187152 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15790] ppid=15785 vsize=13987024 memory=554608 CPUtime=1.13 cores=1,3,5,7
/proc/15787/task/15790/stat : 15790 (java) S 15785 15785 12810 0 -1 1077944384 1725 0 0 0 101 12 0 0 20 0 15 0 154359245 14322712576 123052 33554432000 4194304 4196468 140720976620272 140620991134608 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15791] ppid=15785 vsize=13987024 memory=554608 CPUtime=1.12 cores=1,3,5,7
/proc/15787/task/15791/stat : 15791 (java) S 15785 15785 12810 0 -1 1077944384 1952 0 0 0 101 11 0 0 20 0 15 0 154359245 14322712576 123052 33554432000 4194304 4196468 140720976620272 140620990082064 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15792] ppid=15785 vsize=13987024 memory=558700 CPUtime=1.12 cores=1,3,5,7
/proc/15787/task/15792/stat : 15792 (java) S 15785 15785 12810 0 -1 1077944384 4037 0 0 0 100 12 0 0 20 0 15 0 154359245 14322712576 123052 33554432000 4194304 4196468 140720976620272 140620989029520 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15793] ppid=15785 vsize=13987024 memory=580816 CPUtime=0.05 cores=1,3,5,7
/proc/15787/task/15793/stat : 15793 (java) S 15785 15785 12810 0 -1 1077944384 4291 0 0 0 5 0 0 0 20 0 15 0 154359246 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619951613936 140621039577730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15794] ppid=15785 vsize=13987024 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15794/stat : 15794 (java) S 15785 15785 12810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154359246 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619950560224 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15795] ppid=15785 vsize=13987024 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154359247 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619949507584 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13987024 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13987024 memory=792 CPUtime=4.52 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) S 15785 15785 12810 0 -1 1077944384 19974 0 0 0 450 2 0 0 20 0 15 0 154359249 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13987024 memory=10096 CPUtime=4.97 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) S 15785 15785 12810 0 -1 1077944384 19178 0 0 0 495 2 0 0 20 0 15 0 154359249 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619946351216 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13987024 memory=42972 CPUtime=1 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) S 15785 15785 12810 0 -1 1077944384 9665 0 0 0 97 3 0 0 20 0 15 0 154359249 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619945298672 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13987024 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13987024 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 458 0 0 0 3 4 0 0 20 0 15 0 154359250 14322712576 123052 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 236.26 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 493588 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.77 2.28 2.00 3/217 15959
/proc/meminfo: memFree=23338276/32770624 swapFree=67108860/67108860
[pid=15785] ppid=15782 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15785/stat : 15785 (xcsp3-exec) S 15782 15785 12810 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154359243 9740288 345 33554432000 4194304 5098028 140735285218192 140735285216296 139855587426940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26443776 140735285220468 140735285220672 140735285220672 140735285223403 0
/proc/15785/statm: 2378 345 289 221 0 87 0
[pid=15787] ppid=15785 vsize=13987024 memory=482976 CPUtime=254.08 cores=1,3,5,7
/proc/15787/stat : 15787 (java) S 15785 15785 12810 0 -1 1077944320 80940 0 0 0 25341 67 0 0 20 0 15 0 154359243 14322712576 120744 33554432000 4194304 4196468 140720976620272 140720976602816 140621039566583 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
/proc/15787/statm: 3496756 120744 3284 1 0 3483990 0
[pid=15787/tid=15788] ppid=15785 vsize=13987024 memory=24804 CPUtime=238.73 cores=1,3,5,7
/proc/15787/task/15788/stat : 15788 (java) R 15785 15785 12810 0 -1 4202560 16267 0 0 0 23868 5 0 0 20 0 15 0 154359244 14322712576 120744 33554432000 4194304 4196468 140720976620272 140621043805888 140620676258079 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15789] ppid=15785 vsize=13987024 memory=18472 CPUtime=1.15 cores=1,3,5,7
/proc/15787/task/15789/stat : 15789 (java) S 15785 15785 12810 0 -1 1077944384 1922 0 0 0 103 12 0 0 20 0 15 0 154359245 14322712576 120744 33554432000 4194304 4196468 140720976620272 140620992187152 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15790] ppid=15785 vsize=13987024 memory=640 CPUtime=1.16 cores=1,3,5,7
/proc/15787/task/15790/stat : 15790 (java) S 15785 15785 12810 0 -1 1077944384 1726 0 0 0 104 12 0 0 20 0 15 0 154359245 14322712576 120744 33554432000 4194304 4196468 140720976620272 140620991134608 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15791] ppid=15785 vsize=13987024 memory=-7003737579269690708 CPUtime=1.15 cores=1,3,5,7
/proc/15787/task/15791/stat : 15791 (java) S 15785 15785 12810 0 -1 1077944384 1954 0 0 0 104 11 0 0 20 0 15 0 154359245 14322712576 120744 33554432000 4194304 4196468 140720976620272 140620990082064 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15792] ppid=15785 vsize=13987024 memory=482976 CPUtime=1.16 cores=1,3,5,7
/proc/15787/task/15792/stat : 15792 (java) S 15785 15785 12810 0 -1 1077944384 4074 0 0 0 104 12 0 0 20 0 15 0 154359245 14322712576 120744 33554432000 4194304 4196468 140720976620272 140620989029520 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15793] ppid=15785 vsize=13987024 memory=8600 CPUtime=0.06 cores=1,3,5,7
/proc/15787/task/15793/stat : 15793 (java) S 15785 15785 12810 0 -1 1077944384 4294 0 0 0 5 1 0 0 20 0 15 0 154359246 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619951613936 140621039577730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15794] ppid=15785 vsize=13987024 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15794/stat : 15794 (java) S 15785 15785 12810 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154359246 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619950560224 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15795] ppid=15785 vsize=13987024 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15795/stat : 15795 (java) S 15785 15785 12810 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 154359247 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619949507584 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15796] ppid=15785 vsize=13987024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15796/stat : 15796 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619948456144 140621039585179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15797] ppid=15785 vsize=13987024 memory=7306643243518094691 CPUtime=4.53 cores=1,3,5,7
/proc/15787/task/15797/stat : 15797 (java) S 15785 15785 12810 0 -1 1077944384 20013 0 0 0 451 2 0 0 20 0 15 0 154359249 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619947403760 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15798] ppid=15785 vsize=13987024 memory=7522531355114497901 CPUtime=4.97 cores=1,3,5,7
/proc/15787/task/15798/stat : 15798 (java) S 15785 15785 12810 0 -1 1077944384 19178 0 0 0 495 2 0 0 20 0 15 0 154359249 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619946351216 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15799] ppid=15785 vsize=13987024 memory=7452722262792890176 CPUtime=1 cores=1,3,5,7
/proc/15787/task/15799/stat : 15799 (java) S 15785 15785 12810 0 -1 1077944384 9665 0 0 0 97 3 0 0 20 0 15 0 154359249 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619945298672 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15800] ppid=15785 vsize=13987024 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/15787/task/15800/stat : 15800 (java) S 15785 15785 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154359249 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619944246368 140621039576789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
[pid=15787/tid=15801] ppid=15785 vsize=13987024 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/15787/task/15801/stat : 15801 (java) S 15785 15785 12810 0 -1 1077944384 462 0 0 0 3 4 0 0 20 0 15 0 154359250 14322712576 120744 33554432000 4194304 4196468 140720976620272 140619943192880 140621039577730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 18251776 140720976626845 140720976627020 140720976627020 140720976629711 0
Current children cumulated CPU time: 254.08 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 484356 KiB

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

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

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

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

Child status: 143
Real time (s): 240.025
CPU time (s): 254.107
CPU user time (s): 253.42
CPU system time (s): 0.687177
CPU usage (%): 105.867
Max. virtual memory (cumulated for all children) (KiB): 13996812
Max. memory (cumulated for all children) (KiB): 582440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.42
system time used= 0.687177
maximum resident set size= 581060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9425
involuntary context switches= 601


# summary of solver processes directly reported to runsolver:
#   pid: 15785,15787
#   total CPU time (s): 254.107
#   total CPU user time (s): 253.42
#   total CPU system time (s): 0.687177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48575 second user time and 2.31612 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml
MD5SUM	d63f0cb62453ec1939b86e2392ab6ad9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	343
Best CPU time to get the best result obtained on this benchmark	1993.4
Satisfiable
(Un)Satisfiability was proved
Number of variables	2969
Number of constraints	1537
Number of domains	107
Minimum domain size	2
Maximum domain size	107
Distribution of domain sizes	[{"size":2,"count":1486},{"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":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}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}]
Minimum variable degree	0
Maximum variable degree	53
Distribution of variable degrees	[{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}]
Minimum constraint arity	2
Maximum constraint arity	54
Distribution of constraint arities	[{"arity":2,"count":54},{"arity":3,"count":1432},{"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":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}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1484
Distribution of constraint types	[{"type":"intension","count":1484},{"type":"sum","count":53}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4284357

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