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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	503	2520.04	2514.21

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281897-1503130317.xml"  -tl '2520s' -p 1 -x 0
0.08/0.28	c [HOME/instance-4281897-1503130317.xml, -tl, 2520s, -p, 1, -x, 0]
0.26/0.34	c simple solver
0.26/0.41	c parse instance...
2.34/1.02	c solve instance...
3.19/1.30	o 839 
3.19/1.39	o 751 
7.82/3.84	o 647 
7.82/3.86	o 615 
7.82/3.87	o 511 
279.92/274.89	o 503 
2520.02/2514.20	s SATISFIABLE
2520.02/2514.20	v <instantiation>
2520.02/2514.20	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>
2520.02/2514.20	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 -7 0 -7 2 1 4 -3 0 -1 -6 3 -6 1 4 -1 0 1 2 1 -2 1 4 -5 0 -5 -2 3 0 -1 2 3 2 1 0 1 -4 1 2 7 -6 -3 0 -1 4 3 -2 -3 2 1 0 1 -2 1 49 0 49 4 1 16 9 0 1 36 9 36 1 16 1 0 1 4 1 4 1 16 25 0 25 4 9 0 1 4 9 4 1 0 1 16 1 4 49 36 9 0 1 16 9 4 9 4 1 0 1 4 1 </values>
2520.02/2514.20	v </instantiation>
2520.02/2514.20	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 (15066 MiB free)
  memory of node 1: 16384 MiB (15336 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281897-1503130317/watcher-4281897-1503130317 -o /tmp/evaluation-result-4281897-1503130317/solver-4281897-1503130317 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 474810763 HOME/instance-4281897-1503130317.xml 

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

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

solver pid=14890, runsolver pid=14887

[startup+0.100156 s]*
/proc/loadavg: 2.00 1.97 1.95 3/196 14891
/proc/meminfo: memFree=31132868/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209474 s]*
/proc/loadavg: 2.00 1.97 1.95 3/211 14906
/proc/meminfo: memFree=31120908/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
[pid=14892] ppid=14890 vsize=13974352 memory=25040 CPUtime=0.08 cores=1,3,5,7
/proc/14892/stat : 14892 (java) S 14890 14890 8557 0 -1 1077944320 5166 0 0 0 7 1 0 0 20 0 15 0 115226789 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140730082888848 140516488183543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
/proc/14892/statm: 3493588 6260 2727 1 0 3482964 0
[pid=14892/tid=14893] ppid=14890 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14893/stat : 14893 (java) R 14890 14890 8557 0 -1 4202560 3318 0 0 0 5 1 0 0 20 0 15 0 115226790 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516492409232 140516488205469 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14894] ppid=14890 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14894/stat : 14894 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516445149840 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14895] ppid=14890 vsize=13974352 memory=139821861272988 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14895/stat : 14895 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516444097040 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14896] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14896/stat : 14896 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516443044240 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14897] ppid=14890 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14897/stat : 14897 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516441991440 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14898] ppid=14890 vsize=13974352 memory=139821861258880 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14898/stat : 14898 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226792 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516033829744 140516488194690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14899] ppid=14890 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14899/stat : 14899 (java) S 14890 14890 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115226792 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516032775712 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14900] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115226792 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) S 14890 14890 8557 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 115226795 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140515961989488 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140515960936688 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13974352 memory=139821861258880 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) S 14890 14890 8557 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 115226795 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13974352 memory=139821861258880 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226799 14309736448 6260 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26420 KiB

[startup+0.310251 s]*
/proc/loadavg: 2.00 1.97 1.95 3/211 14906
/proc/meminfo: memFree=31105704/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
[pid=14892] ppid=14890 vsize=13974352 memory=37216 CPUtime=0.26 cores=1,3,5,7
/proc/14892/stat : 14892 (java) S 14890 14890 8557 0 -1 1077944320 8840 0 0 0 23 3 0 0 20 0 15 0 115226789 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140730082888848 140516488183543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
/proc/14892/statm: 3493588 9304 2984 1 0 3482964 0
[pid=14892/tid=14893] ppid=14890 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/14892/task/14893/stat : 14893 (java) R 14890 14890 8557 0 -1 4202560 6087 0 0 0 14 2 0 0 20 0 15 0 115226790 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516492390944 140516472264030 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14894] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14894/stat : 14894 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516445149840 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14895] ppid=14890 vsize=13974352 memory=139821861258880 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14895/stat : 14895 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516444097040 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14896] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14896/stat : 14896 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516443044240 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14897] ppid=14890 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14897/stat : 14897 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516441991440 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14898] ppid=14890 vsize=13974352 memory=139821861258880 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14898/stat : 14898 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226792 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516033829744 140516488194690 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14899] ppid=14890 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14899/stat : 14899 (java) S 14890 14890 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115226792 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516032775712 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14900] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115226792 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) S 14890 14890 8557 0 -1 1077944384 668 0 0 0 1 0 0 0 20 0 15 0 115226795 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140515961989488 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) R 14890 14890 8557 0 -1 4202560 83 0 0 0 1 0 0 0 20 0 15 0 115226795 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140515960936688 140516480472992 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13974352 memory=139821861258880 CPUtime=0.05 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) S 14890 14890 8557 0 -1 1077944384 708 0 0 0 5 0 0 0 20 0 15 0 115226795 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13974352 memory=139821861258880 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226799 14309736448 9304 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38596 KiB

[startup+0.704405 s]
/proc/loadavg: 2.00 1.97 1.95 5/211 14906
/proc/meminfo: memFree=31091640/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
[pid=14892] ppid=14890 vsize=13980732 memory=78020 CPUtime=1.31 cores=1,3,5,7
/proc/14892/stat : 14892 (java) S 14890 14890 8557 0 -1 1077944320 13191 0 0 0 126 5 0 0 20 0 15 0 115226789 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140730082888848 140516488183543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
/proc/14892/statm: 3495183 19505 3168 1 0 3483476 0
[pid=14892/tid=14893] ppid=14890 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/14892/task/14893/stat : 14893 (java) R 14890 14890 8557 0 -1 4202560 7993 0 0 0 51 3 0 0 20 0 15 0 115226790 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516492405648 140516480861557 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14894] ppid=14890 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14894/stat : 14894 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516445149840 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14895] ppid=14890 vsize=13980732 memory=7228669186183030359 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14895/stat : 14895 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516444097040 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14896] ppid=14890 vsize=13980732 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14896/stat : 14896 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516443044240 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14897] ppid=14890 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14897/stat : 14897 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516441991440 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14898] ppid=14890 vsize=13980732 memory=7100839870037596261 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14898/stat : 14898 (java) S 14890 14890 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516033829744 140516488194690 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14899] ppid=14890 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14899/stat : 14899 (java) S 14890 14890 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516032775712 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14900] ppid=14890 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13980732 memory=-7531822216215565666 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13980732 memory=7682475212697334586 CPUtime=0.23 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) R 14890 14890 8557 0 -1 4202560 1579 0 0 0 23 0 0 0 20 0 15 0 115226795 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140515961970480 140516471683856 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13980732 memory=55832 CPUtime=0.21 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) R 14890 14890 8557 0 -1 4202560 500 0 0 0 21 0 0 0 20 0 15 0 115226795 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140515960924048 140516474215425 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13980732 memory=-8774313645642428999 CPUtime=0.3 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) S 14890 14890 8557 0 -1 1077944384 1811 0 0 0 30 0 0 0 20 0 15 0 115226795 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226799 14316269568 19505 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 79400 KiB

[startup+1.50145 s]
/proc/loadavg: 2.00 1.97 1.95 6/211 14906
/proc/meminfo: memFree=31006944/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
[pid=14892] ppid=14890 vsize=13980732 memory=150648 CPUtime=3.82 cores=1,3,5,7
/proc/14892/stat : 14892 (java) S 14890 14890 8557 0 -1 1077944320 24491 0 0 0 374 8 0 0 20 0 15 0 115226789 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140730082888848 140516488183543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
/proc/14892/statm: 3495183 37662 3198 1 0 3483476 0
[pid=14892/tid=14893] ppid=14890 vsize=13980732 memory=-8774313645642428999 CPUtime=1.33 cores=1,3,5,7
/proc/14892/task/14893/stat : 14893 (java) R 14890 14890 8557 0 -1 4202560 9738 0 0 0 128 5 0 0 20 0 15 0 115226790 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516492420528 140516488195478 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14894] ppid=14890 vsize=13980732 memory=3472468117140275844 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14894/stat : 14894 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516445149840 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14895] ppid=14890 vsize=13980732 memory=7162361906538482533 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14895/stat : 14895 (java) S 14890 14890 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516444097040 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14896] ppid=14890 vsize=13980732 memory=4207739335367464006 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14896/stat : 14896 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516443044240 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14897] ppid=14890 vsize=13980732 memory=3472468117140282663 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14897/stat : 14897 (java) S 14890 14890 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 115226790 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516441991440 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14898] ppid=14890 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14898/stat : 14898 (java) S 14890 14890 8557 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516033829744 140516488194690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14899] ppid=14890 vsize=13980732 memory=6945503147706432880 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14899/stat : 14899 (java) S 14890 14890 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516032775712 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14900] ppid=14890 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13980732 memory=-8412652169205224307 CPUtime=0.94 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) R 14890 14890 8557 0 -1 4202560 4861 0 0 0 93 1 0 0 20 0 15 0 115226795 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140515961969832 140516468639296 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13980732 memory=-6158907362674458769 CPUtime=0.91 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) R 14890 14890 8557 0 -1 4202560 4368 0 0 0 91 0 0 0 20 0 15 0 115226795 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140515960926288 140516471682273 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13980732 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) R 14890 14890 8557 0 -1 4202560 4197 0 0 0 59 1 0 0 20 0 15 0 115226795 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516467125080 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 115226799 14316269568 37662 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0

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

/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13980732 memory=211336 CPUtime=2.37 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) S 14890 14890 8557 0 -1 1077944384 17439 0 0 0 235 2 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515961989488 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13980732 memory=62688 CPUtime=2.07 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) S 14890 14890 8557 0 -1 1077944384 15294 0 0 0 206 1 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515960936688 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13980732 memory=1240 CPUtime=0.76 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) S 14890 14890 8557 0 -1 1077944384 12261 0 0 0 74 2 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13980732 memory=1380 CPUtime=0.62 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 1260 0 0 0 28 34 0 0 20 0 15 0 115226799 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
Current children cumulated CPU time: 2388.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212716 KiB

[startup+2442.3 s]
/proc/loadavg: 2.06 2.14 2.06 3/211 15227
/proc/meminfo: memFree=31055664/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
[pid=14892] ppid=14890 vsize=13980732 memory=211336 CPUtime=2448.1 cores=1,3,5,7
/proc/14892/stat : 14892 (java) S 14890 14890 8557 0 -1 1077944320 85706 0 0 0 244757 53 0 0 20 0 15 0 115226789 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140730082888848 140516488183543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
/proc/14892/statm: 3495183 52834 3242 1 0 3483476 0
[pid=14892/tid=14893] ppid=14890 vsize=13980732 memory=7336 CPUtime=2441.83 cores=1,3,5,7
/proc/14892/task/14893/stat : 14893 (java) R 14890 14890 8557 0 -1 4202560 23135 0 0 0 244175 8 0 0 20 0 15 0 115226790 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516492422752 140516120169880 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14894] ppid=14890 vsize=13980732 memory=211336 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14894/stat : 14894 (java) S 14890 14890 8557 0 -1 1077944384 3032 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516445149840 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14895] ppid=14890 vsize=13980732 memory=211336 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14895/stat : 14895 (java) S 14890 14890 8557 0 -1 1077944384 3810 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516444097040 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14896] ppid=14890 vsize=13980732 memory=211336 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14896/stat : 14896 (java) S 14890 14890 8557 0 -1 1077944384 3142 0 0 0 5 1 0 0 20 0 15 0 115226790 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516443044240 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14897] ppid=14890 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14897/stat : 14897 (java) S 14890 14890 8557 0 -1 1077944384 1330 0 0 0 5 1 0 0 20 0 15 0 115226790 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516441991440 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14898] ppid=14890 vsize=13980732 memory=211336 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14898/stat : 14898 (java) S 14890 14890 8557 0 -1 1077944384 3603 0 0 0 4 2 0 0 20 0 15 0 115226792 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516033829744 140516488194690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14899] ppid=14890 vsize=13980732 memory=211336 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14899/stat : 14899 (java) S 14890 14890 8557 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516032775712 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14900] ppid=14890 vsize=13980732 memory=211336 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13980732 memory=211336 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13980732 memory=1380 CPUtime=2.37 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) S 14890 14890 8557 0 -1 1077944384 17439 0 0 0 235 2 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515961989488 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13980732 memory=211336 CPUtime=2.07 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) S 14890 14890 8557 0 -1 1077944384 15294 0 0 0 206 1 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515960936688 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13980732 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) S 14890 14890 8557 0 -1 1077944384 12261 0 0 0 74 2 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13980732 memory=1380 CPUtime=0.64 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 1264 0 0 0 29 35 0 0 20 0 15 0 115226799 14316269568 52834 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
Current children cumulated CPU time: 2448.1 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212716 KiB

[startup+2502.3 s]
/proc/loadavg: 2.02 2.11 2.06 3/211 15229
/proc/meminfo: memFree=31023024/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
[pid=14892] ppid=14890 vsize=13980732 memory=208768 CPUtime=2508.11 cores=1,3,5,7
/proc/14892/stat : 14892 (java) S 14890 14890 8557 0 -1 1077944320 85994 0 0 0 250757 54 0 0 20 0 15 0 115226789 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140730082888848 140516488183543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
/proc/14892/statm: 3495183 52192 3242 1 0 3483476 0
[pid=14892/tid=14893] ppid=14890 vsize=13980732 memory=208768 CPUtime=2501.83 cores=1,3,5,7
/proc/14892/task/14893/stat : 14893 (java) R 14890 14890 8557 0 -1 4202560 23386 0 0 0 250175 8 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516492422752 140516120169856 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14894] ppid=14890 vsize=13980732 memory=208768 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14894/stat : 14894 (java) S 14890 14890 8557 0 -1 1077944384 3033 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516445149840 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14895] ppid=14890 vsize=13980732 memory=208768 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14895/stat : 14895 (java) S 14890 14890 8557 0 -1 1077944384 3811 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516444097040 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14896] ppid=14890 vsize=13980732 memory=208768 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14896/stat : 14896 (java) S 14890 14890 8557 0 -1 1077944384 3142 0 0 0 5 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516443044240 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14897] ppid=14890 vsize=13980732 memory=208768 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14897/stat : 14897 (java) S 14890 14890 8557 0 -1 1077944384 1330 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516441991440 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14898] ppid=14890 vsize=13980732 memory=208768 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14898/stat : 14898 (java) S 14890 14890 8557 0 -1 1077944384 3610 0 0 0 4 2 0 0 20 0 15 0 115226792 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516033829744 140516488194690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14899] ppid=14890 vsize=13980732 memory=208768 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14899/stat : 14899 (java) S 14890 14890 8557 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516032775712 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14900] ppid=14890 vsize=13980732 memory=208768 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13980732 memory=208768 CPUtime=2.37 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) S 14890 14890 8557 0 -1 1077944384 17441 0 0 0 235 2 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515961989488 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13980732 memory=1380 CPUtime=2.07 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) S 14890 14890 8557 0 -1 1077944384 15297 0 0 0 206 1 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515960936688 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13980732 memory=1380 CPUtime=0.76 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) S 14890 14890 8557 0 -1 1077944384 12263 0 0 0 74 2 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13980732 memory=208768 CPUtime=0.65 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 1285 0 0 0 29 36 0 0 20 0 15 0 115226799 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
Current children cumulated CPU time: 2508.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.2 s]
/proc/loadavg: 2.02 2.11 2.06 3/211 15229
/proc/meminfo: memFree=31016756/32770624 swapFree=67105588/67108860
[pid=14890] ppid=14887 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/14890/stat : 14890 (xcsp3-exec) S 14887 14890 8557 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 115226779 9740288 345 18446744073709551615 4194304 5098028 140733857107280 140733857105384 139745351586428 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 9 0 0 7196144 7232144 12570624 140733857112441 140733857112645 140733857112645 140733857116139 0
/proc/14890/statm: 2378 345 289 221 0 87 0
[pid=14892] ppid=14890 vsize=13980732 memory=208768 CPUtime=2520.02 cores=1,3,5,7
/proc/14892/stat : 14892 (java) S 14890 14890 8557 0 -1 1077944320 86012 0 0 0 251947 55 0 0 20 0 15 0 115226789 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140730082888848 140516488183543 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
/proc/14892/statm: 3495183 52192 3242 1 0 3483476 0
[pid=14892/tid=14893] ppid=14890 vsize=13980732 memory=4144 CPUtime=2513.73 cores=1,3,5,7
/proc/14892/task/14893/stat : 14893 (java) R 14890 14890 8557 0 -1 4202560 23404 0 0 0 251365 8 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516492422752 140516119633252 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14894] ppid=14890 vsize=13980732 memory=62688 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14894/stat : 14894 (java) S 14890 14890 8557 0 -1 1077944384 3033 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516445149840 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14895] ppid=14890 vsize=13980732 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14895/stat : 14895 (java) S 14890 14890 8557 0 -1 1077944384 3811 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516444097040 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14896] ppid=14890 vsize=13980732 memory=2384 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14896/stat : 14896 (java) S 14890 14890 8557 0 -1 1077944384 3142 0 0 0 5 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516443044240 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14897] ppid=14890 vsize=13980732 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/14892/task/14897/stat : 14897 (java) S 14890 14890 8557 0 -1 1077944384 1330 0 0 0 6 1 0 0 20 0 15 0 115226790 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516441991440 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14898] ppid=14890 vsize=13980732 memory=4088 CPUtime=0.06 cores=1,3,5,7
/proc/14892/task/14898/stat : 14898 (java) S 14890 14890 8557 0 -1 1077944384 3610 0 0 0 4 2 0 0 20 0 15 0 115226792 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516033829744 140516488194690 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14899] ppid=14890 vsize=13980732 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14899/stat : 14899 (java) S 14890 14890 8557 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516032775712 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14900] ppid=14890 vsize=13980732 memory=920 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14900/stat : 14900 (java) S 14890 14890 8557 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 115226792 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516031722864 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14901] ppid=14890 vsize=13980732 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14901/stat : 14901 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140516030671184 140516488202139 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14902] ppid=14890 vsize=13980732 memory=832 CPUtime=2.37 cores=1,3,5,7
/proc/14892/task/14902/stat : 14902 (java) S 14890 14890 8557 0 -1 1077944384 17441 0 0 0 235 2 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515961989488 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14903] ppid=14890 vsize=13980732 memory=16436 CPUtime=2.07 cores=1,3,5,7
/proc/14892/task/14903/stat : 14903 (java) S 14890 14890 8557 0 -1 1077944384 15297 0 0 0 206 1 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515960936688 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14904] ppid=14890 vsize=13980732 memory=3904 CPUtime=0.76 cores=1,3,5,7
/proc/14892/task/14904/stat : 14904 (java) S 14890 14890 8557 0 -1 1077944384 12263 0 0 0 74 2 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515959883888 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14905] ppid=14890 vsize=13980732 memory=2952 CPUtime=0 cores=1,3,5,7
/proc/14892/task/14905/stat : 14905 (java) S 14890 14890 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 115226795 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515958831328 140516488193749 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
[pid=14892/tid=14906] ppid=14890 vsize=13980732 memory=2760 CPUtime=0.65 cores=1,3,5,7
/proc/14892/task/14906/stat : 14906 (java) S 14890 14890 8557 0 -1 1077944384 1285 0 0 0 29 36 0 0 20 0 15 0 115226799 14316269568 52192 18446744073709551615 4194304 4196468 140730082906304 140515957779632 140516488194690 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39510016 140730082910641 140730082910817 140730082910817 140730082914255 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210148 KiB

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

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

[startup+2514.21 s]
# the end of solver process 14892 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.49 s, system=0.554891 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): 2514.21
CPU time (s): 2520.04
CPU user time (s): 2519.49
CPU system time (s): 0.554891
CPU usage (%): 100.232
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 258368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 0.554891
maximum resident set size= 258016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86934
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57906
involuntary context switches= 1170


# summary of solver processes directly reported to runsolver:
#   pid: 14890,14892
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.49
#   total CPU system time (s): 0.554891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.707 second user time and 23.5019 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	351
Best CPU time to get the best result obtained on this benchmark	2400.01
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 4281897

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