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-07-26)	SAT (TO)	751	254.46001	240.02499

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255083-1501620844.xml"  -tl '264s' -p 1 -x 3
0.00/0.29	c [HOME/instance-4255083-1501620844.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.35	c simple solver
0.00/0.41	c parse instance...
0.00/1.05	c solve instance...
2.99/1.24	o 1035 
8.46/3.02	o 971 
10.12/3.93	o 919 
19.15/11.27	o 875 
19.46/11.56	o 767 
220.33/207.44	o 751 
254.46/240.02	s SATISFIABLE
254.46/240.02	v <instantiation>
254.46/240.02	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] 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[0][53] 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[1][52] 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[2][51] 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[3][50] 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[4][49] 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[5][48] 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[6][47] 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[7][46] 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[8][45] 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[9][44] 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[10][43] 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[11][42] 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[12][41] 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[13][40] 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[14][39] 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[15][38] 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[16][37] 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[17][36] 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[18][35] 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[19][34] 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[20][33] 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[21][32] 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[22][31] 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[23][30] 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[24][29] 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[25][28] 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[26][27] 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[27][26] 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[28][25] 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[29][24] 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[30][23] 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[31][22] 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[32][21] 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[33][20] 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[34][19] 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[35][18] 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[36][17] 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[37][16] 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[38][15] 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[39][14] 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[40][13] 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[41][12] 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[42][11] 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[43][10] 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[44][9] 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[45][8] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[46][7] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[47][6] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[48][5] y[49][0] y[49][1] y[49][2] y[49][3] y[49][4] y[50][0] y[50][1] y[50][2] y[50][3] y[51][0] y[51][1] y[51][2] y[52][0] y[52][1] y[53][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] c[53] 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] s[53] </list>
254.46/240.02	v 	<values>-1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -4 3 -6 -9 0 -1 4 -5 0 -5 -6 7 0 3 6 3 0 -3 4 -3 -4 -5 -4 -1 -2 -3 0 11 2 1 -4 3 -4 7 -2 3 -2 -5 4 1 0 -1 0 1 0 -1 4 -1 0 -1 0 1 0 -1 16 9 36 81 0 1 16 25 0 25 36 49 0 9 36 9 0 9 16 9 16 25 16 1 4 9 0 121 4 1 16 9 16 49 4 9 4 25 16 1 0 1 0 1 0 1 16 1 0 1 0 1 0 1 </values>
254.46/240.02	v </instantiation>
254.46/240.02	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255083-1501620844/watcher-4255083-1501620844 -o /tmp/evaluation-result-4255083-1501620844/solver-4255083-1501620844 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9378 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1332783105 HOME/instance-4255083-1501620844.xml 

pid=14858
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.87 1.86 1.79 3/200 14861
/proc/meminfo: memFree=31729320/32770624 swapFree=0/169512
[pid=14861] ppid=14858 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (runsolver) D 14858 14861 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3994978 24240128 106 18446744073709551615 4194304 4338465 140735474572128 140735474569768 140653443519191 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 10276864 140735474577502 140735474577991 140735474577991 140735474581450 0
/proc/14861/statm: 5918 106 53 36 0 2156 0

[startup+0.100042 s]
/proc/loadavg: 1.87 1.86 1.79 3/200 14861
/proc/meminfo: memFree=31729320/32770624 swapFree=0/169512
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200346 s]
/proc/loadavg: 1.87 1.86 1.79 3/200 14861
/proc/meminfo: memFree=31729320/32770624 swapFree=0/169512
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300311 s]
/proc/loadavg: 1.87 1.86 1.79 3/200 14861
/proc/meminfo: memFree=31729320/32770624 swapFree=0/169512
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.706894 s]
/proc/loadavg: 1.87 1.86 1.79 3/200 14861
/proc/meminfo: memFree=31729320/32770624 swapFree=0/169512
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50075 s]
/proc/loadavg: 1.87 1.86 1.79 4/216 14877
/proc/meminfo: memFree=31594816/32770624 swapFree=0/169516
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
[pid=14863] ppid=14861 vsize=13984304 CPUtime=3.94 cores=1,3,5,7
/proc/14863/stat : 14863 (java) S 14861 14861 3187 0 -1 1077944320 29383 0 0 0 385 9 0 0 20 0 15 0 3994988 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140721273617552 140315532287735 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
/proc/14863/statm: 3496076 45567 3187 1 0 3484377 0
[pid=14863/tid=14864] ppid=14861 vsize=13984304 CPUtime=1.33 cores=1,3,5,7
/proc/14863/task/14864/stat : 14864 (java) R 14861 14861 3187 0 -1 4202560 9852 0 0 0 127 6 0 0 20 0 15 0 3994988 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140315536526288 140315128590778 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14865] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14865/stat : 14865 (java) S 14861 14861 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3994989 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140315451701520 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14866] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14866/stat : 14866 (java) S 14861 14861 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3994989 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140315450648976 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14867] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14867/stat : 14867 (java) S 14861 14861 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3994989 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140315449596432 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14868] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14868/stat : 14868 (java) S 14861 14861 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3994989 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140315448543888 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14869] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14869/stat : 14869 (java) S 14861 14861 3187 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 3994990 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314717534704 140315532298882 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14870] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14870/stat : 14870 (java) S 14861 14861 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3994991 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314716480928 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14871] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14871/stat : 14871 (java) S 14861 14861 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3994991 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314715428336 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14872] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14872/stat : 14872 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314714376912 140315532306331 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14873] ppid=14861 vsize=13984304 CPUtime=0.98 cores=1,3,5,7
/proc/14863/task/14873/stat : 14873 (java) R 14861 14861 3187 0 -1 4202560 7254 0 0 0 97 1 0 0 20 0 15 0 3994993 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314713309504 140315513835142 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14874] ppid=14861 vsize=13984304 CPUtime=0.96 cores=1,3,5,7
/proc/14863/task/14874/stat : 14874 (java) R 14861 14861 3187 0 -1 4202560 6254 0 0 0 96 0 0 0 20 0 15 0 3994993 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314712256712 140315513805647 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14875] ppid=14861 vsize=13984304 CPUtime=0.65 cores=1,3,5,7
/proc/14863/task/14875/stat : 14875 (java) S 14861 14861 3187 0 -1 1077944384 4703 0 0 0 64 1 0 0 20 0 15 0 3994993 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314711218416 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14876] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14876/stat : 14876 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314710166112 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14877] ppid=14861 vsize=13984304 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14877/stat : 14877 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994999 14319927296 45567 18446744073709551615 4194304 4196468 140721273635008 140314709113648 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13993816

[startup+3.10071 s]
/proc/loadavg: 1.87 1.86 1.79 3/216 14877
/proc/meminfo: memFree=31535812/32770624 swapFree=0/169532
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
[pid=14863] ppid=14861 vsize=13980732 CPUtime=8.67 cores=1,3,5,7
/proc/14863/stat : 14863 (java) S 14861 14861 3187 0 -1 1077944320 36193 0 0 0 854 13 0 0 20 0 15 0 3994988 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140721273617552 140315532287735 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
/proc/14863/statm: 3495183 62057 3215 1 0 3483484 0
[pid=14863/tid=14864] ppid=14861 vsize=13980732 CPUtime=2.9 cores=1,3,5,7
/proc/14863/task/14864/stat : 14864 (java) R 14861 14861 3187 0 -1 4202560 10427 0 0 0 284 6 0 0 20 0 15 0 3994988 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140315536524728 140315131021328 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14865] ppid=14861 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14863/task/14865/stat : 14865 (java) S 14861 14861 3187 0 -1 1077944384 748 0 0 0 1 0 0 0 20 0 15 0 3994989 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140315451701520 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14866] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14866/stat : 14866 (java) S 14861 14861 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3994989 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140315450648976 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14867] ppid=14861 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14863/task/14867/stat : 14867 (java) S 14861 14861 3187 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 3994989 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140315449596432 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14868] ppid=14861 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14863/task/14868/stat : 14868 (java) S 14861 14861 3187 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 3994989 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140315448543888 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14869] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14869/stat : 14869 (java) S 14861 14861 3187 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 3994990 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314717534704 140315532298882 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14870] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14870/stat : 14870 (java) S 14861 14861 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3994991 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314716480928 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14871] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14871/stat : 14871 (java) S 14861 14861 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3994991 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314715428336 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14872] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14872/stat : 14872 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314714376912 140315532306331 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14873] ppid=14861 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/14863/task/14873/stat : 14873 (java) S 14861 14861 3187 0 -1 1077944384 9210 0 0 0 244 1 0 0 20 0 15 0 3994993 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314713323504 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14874] ppid=14861 vsize=13980732 CPUtime=2.39 cores=1,3,5,7
/proc/14863/task/14874/stat : 14874 (java) S 14861 14861 3187 0 -1 1077944384 7680 0 0 0 238 1 0 0 20 0 15 0 3994993 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314712270960 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14875] ppid=14861 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/14863/task/14875/stat : 14875 (java) S 14861 14861 3187 0 -1 1077944384 6257 0 0 0 80 1 0 0 20 0 15 0 3994993 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314711218416 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14876] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14876/stat : 14876 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314710166112 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14877] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14877/stat : 14877 (java) S 14861 14861 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3994999 14316269568 62057 18446744073709551615 4194304 4196468 140721273635008 140314709113648 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 13990244

[startup+6.30074 s]
/proc/loadavg: 1.96 1.88 1.80 3/216 14877
/proc/meminfo: memFree=31501340/32770624 swapFree=0/169540
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
[pid=14863] ppid=14861 vsize=13980732 CPUtime=13.23 cores=1,3,5,7
/proc/14863/stat : 14863 (java) S 14861 14861 3187 0 -1 1077944320 36912 0 0 0 1310 13 0 0 20 0 15 0 3994988 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140721273617552 140315532287735 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
/proc/14863/statm: 3495183 59813 3218 1 0 3483484 0
[pid=14863/tid=14864] ppid=14861 vsize=13980732 CPUtime=6.11 cores=1,3,5,7
/proc/14863/task/14864/stat : 14864 (java) R 14861 14861 3187 0 -1 4202560 10470 0 0 0 604 7 0 0 20 0 15 0 3994988 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140315536524128 140315130231904 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14865] ppid=14861 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14863/task/14865/stat : 14865 (java) S 14861 14861 3187 0 -1 1077944384 748 0 0 0 1 0 0 0 20 0 15 0 3994989 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140315451701520 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14866] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14866/stat : 14866 (java) S 14861 14861 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3994989 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140315450648976 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14867] ppid=14861 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14863/task/14867/stat : 14867 (java) S 14861 14861 3187 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 3994989 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140315449596432 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14868] ppid=14861 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/14863/task/14868/stat : 14868 (java) S 14861 14861 3187 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 3994989 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140315448543888 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14869] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14869/stat : 14869 (java) S 14861 14861 3187 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 3994990 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314717534704 140315532298882 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14870] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14870/stat : 14870 (java) S 14861 14861 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3994991 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314716480928 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14871] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14871/stat : 14871 (java) S 14861 14861 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3994991 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314715428336 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14872] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14872/stat : 14872 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314714376912 140315532306331 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14873] ppid=14861 vsize=13980732 CPUtime=3.05 cores=1,3,5,7
/proc/14863/task/14873/stat : 14873 (java) S 14861 14861 3187 0 -1 1077944384 9382 0 0 0 304 1 0 0 20 0 15 0 3994993 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314713323504 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14874] ppid=14861 vsize=13980732 CPUtime=3.08 cores=1,3,5,7
/proc/14863/task/14874/stat : 14874 (java) S 14861 14861 3187 0 -1 1077944384 7929 0 0 0 307 1 0 0 20 0 15 0 3994993 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314712270960 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14875] ppid=14861 vsize=13980732 CPUtime=0.88 cores=1,3,5,7
/proc/14863/task/14875/stat : 14875 (java) S 14861 14861 3187 0 -1 1077944384 6470 0 0 0 87 1 0 0 20 0 15 0 3994993 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314711218416 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14876] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14876/stat : 14876 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314710166112 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14877] ppid=14861 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14877/stat : 14877 (java) S 14861 14861 3187 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 3994999 14316269568 59813 18446744073709551615 4194304 4196468 140721273635008 140314709113648 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
Current children cumulated CPU time (s) 13.23
Current children cumulated vsize (KiB) 13990244

[startup+12.7008 s]
/proc/loadavg: 1.96 1.88 1.80 3/216 14877
/proc/meminfo: memFree=31430836/32770624 swapFree=0/169552
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
[pid=14863] ppid=14861 vsize=13982780 CPUtime=20.66 cores=1,3,5,7
/proc/14863/stat : 14863 (java) S 14861 14861 3187 0 -1 1077944320 46085 0 0 0 2046 20 0 0 20 0 15 0 3994988 14318366720 75056 18446744073709551615 4194304 4196468 140721273635008 140721273617552 140315532287735 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
/proc/14863/statm: 3495695 75056 3223 1 0 3483996 0
[pid=14863/tid=14864] ppid=14861 vsize=13982780 CPUtime=12.44 cores=1,3,5,7
/proc/14863/task/14864/stat : 14864 (java) R 14861 14861 3187 0 -1 4202560 12366 0 0 0 1237 7 0 0 20 0 15 0 3994988 14318366720 75056 18446744073709551615 4194304 4196468 140721273635008 140315536524176 140315126817829 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14865] ppid=14861 vsize=13982780 CPUtime=0.07 cores=1,3,5,7
/proc/14863/task/14865/stat : 14865 (java) S 14861 14861 3187 0 -1 1077944384 861 0 0 0 6 1 0 0 20 0 15 0 3994989 14318366720 75056 18446744073709551615 4194304 4196468 140721273635008 140315451701520 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14866] ppid=14861 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/14863/task/14866/stat : 14866 (java) S 14861 14861 3187 0 -1 1077944384 338 0 0 0 5 1 0 0 20 0 15 0 3994989 14318366720 75056 18446744073709551615 4194304 4196468 140721273635008 140315450648976 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0

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

[pid=14863/tid=14870] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14870/stat : 14870 (java) S 14861 14861 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314716480928 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14871] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14871/stat : 14871 (java) S 14861 14861 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314715428336 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14872] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14872/stat : 14872 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314714376912 140315532306331 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14873] ppid=14861 vsize=13982780 CPUtime=4.05 cores=1,3,5,7
/proc/14863/task/14873/stat : 14873 (java) S 14861 14861 3187 0 -1 1077944384 20455 0 0 0 403 2 0 0 20 0 15 0 3994993 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314713323504 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14874] ppid=14861 vsize=13982780 CPUtime=3.92 cores=1,3,5,7
/proc/14863/task/14874/stat : 14874 (java) S 14861 14861 3187 0 -1 1077944384 17172 0 0 0 390 2 0 0 20 0 15 0 3994993 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314712270960 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14875] ppid=14861 vsize=13982780 CPUtime=0.98 cores=1,3,5,7
/proc/14863/task/14875/stat : 14875 (java) S 14861 14861 3187 0 -1 1077944384 9267 0 0 0 96 2 0 0 20 0 15 0 3994993 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314711218416 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14876] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14876/stat : 14876 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314710166112 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14877] ppid=14861 vsize=13982780 CPUtime=0.03 cores=1,3,5,7
/proc/14863/task/14877/stat : 14877 (java) S 14861 14861 3187 0 -1 1077944384 374 0 0 0 1 2 0 0 20 0 15 0 3994999 14318366720 118198 18446744073709551615 4194304 4196468 140721273635008 140314709113648 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
Current children cumulated CPU time (s) 112.49
Current children cumulated vsize (KiB) 13992292

[startup+162.301 s]
/proc/loadavg: 1.84 1.87 1.81 3/215 15036
/proc/meminfo: memFree=30943800/32770624 swapFree=0/169716
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
[pid=14863] ppid=14861 vsize=13982780 CPUtime=173.55 cores=1,3,5,7
/proc/14863/stat : 14863 (java) S 14861 14861 3187 0 -1 1077944320 85181 0 0 0 17301 54 0 0 20 0 15 0 3994988 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140721273617552 140315532287735 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
/proc/14863/statm: 3495695 129488 3230 1 0 3483996 0
[pid=14863/tid=14864] ppid=14861 vsize=13982780 CPUtime=161.44 cores=1,3,5,7
/proc/14863/task/14864/stat : 14864 (java) R 14861 14861 3187 0 -1 4202560 17254 0 0 0 16137 7 0 0 20 0 15 0 3994988 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140315536527120 140315130222879 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14865] ppid=14861 vsize=13982780 CPUtime=0.64 cores=1,3,5,7
/proc/14863/task/14865/stat : 14865 (java) S 14861 14861 3187 0 -1 1077944384 3611 0 0 0 56 8 0 0 20 0 15 0 3994989 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140315451701520 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14866] ppid=14861 vsize=13982780 CPUtime=0.63 cores=1,3,5,7
/proc/14863/task/14866/stat : 14866 (java) S 14861 14861 3187 0 -1 1077944384 1886 0 0 0 55 8 0 0 20 0 15 0 3994989 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140315450648976 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14867] ppid=14861 vsize=13982780 CPUtime=0.65 cores=1,3,5,7
/proc/14863/task/14867/stat : 14867 (java) S 14861 14861 3187 0 -1 1077944384 2464 0 0 0 56 9 0 0 20 0 15 0 3994989 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140315449596432 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14868] ppid=14861 vsize=13982780 CPUtime=0.65 cores=1,3,5,7
/proc/14863/task/14868/stat : 14868 (java) S 14861 14861 3187 0 -1 1077944384 2477 0 0 0 57 8 0 0 20 0 15 0 3994989 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140315448543888 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14869] ppid=14861 vsize=13982780 CPUtime=0.03 cores=1,3,5,7
/proc/14863/task/14869/stat : 14869 (java) S 14861 14861 3187 0 -1 1077944384 1242 0 0 0 3 0 0 0 20 0 15 0 3994990 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314717534704 140315532298882 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14870] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14870/stat : 14870 (java) S 14861 14861 3187 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314716480928 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14871] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14871/stat : 14871 (java) S 14861 14861 3187 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314715428336 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14872] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14872/stat : 14872 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314714376912 140315532306331 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14873] ppid=14861 vsize=13982780 CPUtime=4.13 cores=1,3,5,7
/proc/14863/task/14873/stat : 14873 (java) S 14861 14861 3187 0 -1 1077944384 22183 0 0 0 411 2 0 0 20 0 15 0 3994993 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314713323504 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14874] ppid=14861 vsize=13982780 CPUtime=4.25 cores=1,3,5,7
/proc/14863/task/14874/stat : 14874 (java) S 14861 14861 3187 0 -1 1077944384 22750 0 0 0 423 2 0 0 20 0 15 0 3994993 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314712270960 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14875] ppid=14861 vsize=13982780 CPUtime=0.98 cores=1,3,5,7
/proc/14863/task/14875/stat : 14875 (java) S 14861 14861 3187 0 -1 1077944384 9570 0 0 0 96 2 0 0 20 0 15 0 3994993 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314711218416 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14876] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14876/stat : 14876 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314710166112 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14877] ppid=14861 vsize=13982780 CPUtime=0.05 cores=1,3,5,7
/proc/14863/task/14877/stat : 14877 (java) S 14861 14861 3187 0 -1 1077944384 395 0 0 0 2 3 0 0 20 0 15 0 3994999 14318366720 129488 18446744073709551615 4194304 4196468 140721273635008 140314709113648 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
Current children cumulated CPU time (s) 173.55
Current children cumulated vsize (KiB) 13992292

[startup+222.308 s]
/proc/loadavg: 1.79 1.86 1.81 3/215 15038
/proc/meminfo: memFree=30887980/32770624 swapFree=0/169756
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
[pid=14863] ppid=14861 vsize=13982780 CPUtime=235.6 cores=1,3,5,7
/proc/14863/stat : 14863 (java) S 14861 14861 3187 0 -1 1077944320 93110 0 0 0 23492 68 0 0 20 0 15 0 3994988 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140721273617552 140315532287735 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
/proc/14863/statm: 3495695 132000 3245 1 0 3483996 0
[pid=14863/tid=14864] ppid=14861 vsize=13982780 CPUtime=220.68 cores=1,3,5,7
/proc/14863/task/14864/stat : 14864 (java) S 14861 14861 3187 0 -1 1077944384 18044 0 0 0 22060 8 0 0 20 0 15 0 3994988 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140315536527376 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14865] ppid=14861 vsize=13982780 CPUtime=1.31 cores=1,3,5,7
/proc/14863/task/14865/stat : 14865 (java) R 14861 14861 3187 0 -1 4202560 4077 0 0 0 119 12 0 0 20 0 15 0 3994989 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140315451701520 140315513913680 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14866] ppid=14861 vsize=13982780 CPUtime=1.29 cores=1,3,5,7
/proc/14863/task/14866/stat : 14866 (java) R 14861 14861 3187 0 -1 4202560 2538 0 0 0 118 11 0 0 20 0 15 0 3994989 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140315450649176 140315525384334 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14867] ppid=14861 vsize=13982780 CPUtime=1.3 cores=1,3,5,7
/proc/14863/task/14867/stat : 14867 (java) R 14861 14861 3187 0 -1 4202560 2797 0 0 0 119 11 0 0 20 0 15 0 3994989 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140315449596432 140315513913654 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14868] ppid=14861 vsize=13982780 CPUtime=1.31 cores=1,3,5,7
/proc/14863/task/14868/stat : 14868 (java) R 14861 14861 3187 0 -1 4202560 2812 0 0 0 120 11 0 0 20 0 15 0 3994989 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140315448543888 140315511482880 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14869] ppid=14861 vsize=13982780 CPUtime=0.14 cores=1,3,5,7
/proc/14863/task/14869/stat : 14869 (java) S 14861 14861 3187 0 -1 1077944384 5247 0 0 0 13 1 0 0 20 0 15 0 3994990 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314717533216 140315532297941 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14870] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14870/stat : 14870 (java) S 14861 14861 3187 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314716480992 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14871] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14871/stat : 14871 (java) S 14861 14861 3187 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314715428352 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14872] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14872/stat : 14872 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314714376912 140315532306331 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14873] ppid=14861 vsize=13982780 CPUtime=4.15 cores=1,3,5,7
/proc/14863/task/14873/stat : 14873 (java) S 14861 14861 3187 0 -1 1077944384 22695 0 0 0 413 2 0 0 20 0 15 0 3994993 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314713323504 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14874] ppid=14861 vsize=13982780 CPUtime=4.29 cores=1,3,5,7
/proc/14863/task/14874/stat : 14874 (java) S 14861 14861 3187 0 -1 1077944384 23370 0 0 0 426 3 0 0 20 0 15 0 3994993 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314712270960 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14875] ppid=14861 vsize=13982780 CPUtime=0.98 cores=1,3,5,7
/proc/14863/task/14875/stat : 14875 (java) S 14861 14861 3187 0 -1 1077944384 9719 0 0 0 96 2 0 0 20 0 15 0 3994993 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314711218416 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14876] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14876/stat : 14876 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314710166112 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14877] ppid=14861 vsize=13982780 CPUtime=0.06 cores=1,3,5,7
/proc/14863/task/14877/stat : 14877 (java) S 14861 14861 3187 0 -1 1077944384 432 0 0 0 2 4 0 0 20 0 15 0 3994999 14318366720 132000 18446744073709551615 4194304 4196468 140721273635008 140314709113648 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
Current children cumulated CPU time (s) 235.6
Current children cumulated vsize (KiB) 13992292



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.85 1.87 1.81 3/215 15038
/proc/meminfo: memFree=30887024/32770624 swapFree=0/169764
[pid=14861] ppid=14858 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/14861/stat : 14861 (xcsp3-exec) S 14858 14861 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3994978 9740288 344 18446744073709551615 4194304 5098028 140735707848160 140735707846264 140093670400636 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 11182080 140735707849116 140735707849320 140735707849320 140735707852779 0
/proc/14861/statm: 2378 344 289 221 0 87 0
[pid=14863] ppid=14861 vsize=13982780 CPUtime=254.46 cores=1,3,5,7
/proc/14863/stat : 14863 (java) S 14861 14861 3187 0 -1 1077944320 93813 0 0 0 25377 69 0 0 20 0 15 0 3994988 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140721273617552 140315532287735 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
/proc/14863/statm: 3495695 131367 3246 1 0 3483996 0
[pid=14863/tid=14864] ppid=14861 vsize=13982780 CPUtime=237.92 cores=1,3,5,7
/proc/14863/task/14864/stat : 14864 (java) R 14861 14861 3187 0 -1 4202560 18170 0 0 0 23784 8 0 0 20 0 15 0 3994988 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140315536526976 140315129670514 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14865] ppid=14861 vsize=13982780 CPUtime=1.69 cores=1,3,5,7
/proc/14863/task/14865/stat : 14865 (java) S 14861 14861 3187 0 -1 1077944384 4097 0 0 0 157 12 0 0 20 0 15 0 3994989 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140315451701520 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14866] ppid=14861 vsize=13982780 CPUtime=1.68 cores=1,3,5,7
/proc/14863/task/14866/stat : 14866 (java) S 14861 14861 3187 0 -1 1077944384 2598 0 0 0 157 11 0 0 20 0 15 0 3994989 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140315450648976 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14867] ppid=14861 vsize=13982780 CPUtime=1.68 cores=1,3,5,7
/proc/14863/task/14867/stat : 14867 (java) S 14861 14861 3187 0 -1 1077944384 2815 0 0 0 156 12 0 0 20 0 15 0 3994989 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140315449596432 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14868] ppid=14861 vsize=13982780 CPUtime=1.69 cores=1,3,5,7
/proc/14863/task/14868/stat : 14868 (java) S 14861 14861 3187 0 -1 1077944384 2831 0 0 0 158 11 0 0 20 0 15 0 3994989 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140315448543888 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14869] ppid=14861 vsize=13982780 CPUtime=0.2 cores=1,3,5,7
/proc/14863/task/14869/stat : 14869 (java) S 14861 14861 3187 0 -1 1077944384 5334 0 0 0 19 1 0 0 20 0 15 0 3994990 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314717534704 140315532298882 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14870] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14870/stat : 14870 (java) S 14861 14861 3187 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314716480992 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14871] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14871/stat : 14871 (java) S 14861 14861 3187 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 3994991 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314715428352 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14872] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14872/stat : 14872 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314714376912 140315532306331 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14873] ppid=14861 vsize=13982780 CPUtime=4.15 cores=1,3,5,7
/proc/14863/task/14873/stat : 14873 (java) S 14861 14861 3187 0 -1 1077944384 22695 0 0 0 413 2 0 0 20 0 15 0 3994993 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314713323504 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14874] ppid=14861 vsize=13982780 CPUtime=4.32 cores=1,3,5,7
/proc/14863/task/14874/stat : 14874 (java) S 14861 14861 3187 0 -1 1077944384 23716 0 0 0 429 3 0 0 20 0 15 0 3994993 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314712270960 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14875] ppid=14861 vsize=13982780 CPUtime=0.99 cores=1,3,5,7
/proc/14863/task/14875/stat : 14875 (java) S 14861 14861 3187 0 -1 1077944384 9745 0 0 0 97 2 0 0 20 0 15 0 3994993 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314711218416 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14876] ppid=14861 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/14863/task/14876/stat : 14876 (java) S 14861 14861 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3994993 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314710166112 140315532297941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
[pid=14863/tid=14877] ppid=14861 vsize=13982780 CPUtime=0.07 cores=1,3,5,7
/proc/14863/task/14877/stat : 14877 (java) S 14861 14861 3187 0 -1 1077944384 433 0 0 0 3 4 0 0 20 0 15 0 3994999 14318366720 131367 18446744073709551615 4194304 4196468 140721273635008 140314709113648 140315532298882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22691840 140721273639381 140721273639556 140721273639556 140721273642959 0
Current children cumulated CPU time (s) 254.46
Current children cumulated vsize (KiB) 13992292

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 240.025
CPU time (s): 254.46
CPU user time (s): 253.77
CPU system time (s): 0.69
CPU usage (%): 106.014
Max. virtual memory (cumulated for all children) (KiB): 13993816

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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.08792 second user time and 1.47131 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml
MD5SUM	02db274482b93fdda962f2b7dd8f24e7
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	411
Best CPU time to get the best result obtained on this benchmark	251.90199
Satisfiable
(Un)Satisfiability was proved
Number of variables	3079
Number of constraints	1593
Number of domains	109
Minimum domain size	2
Maximum domain size	109
Distribution of domain sizes	[{"size":2,"count":1541},{"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":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}, {"size":109,"count":1}]
Minimum variable degree	0
Maximum variable degree	54
Distribution of variable degrees	[{"degree":0,"count":1431},{"degree":2,"count":1593},{"degree":54,"count":55}]
Minimum constraint arity	2
Maximum constraint arity	55
Distribution of constraint arities	[{"arity":2,"count":55},{"arity":3,"count":1486},{"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":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}, {"arity":55,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1539
Distribution of constraint types	[{"type":"intension","count":1539},{"type":"sum","count":54}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4255083

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