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 4.0.5 seq (2017-07-26)	SAT (TO)	571	245.06	240.00999

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254089-1501614813.xml"  -tl '264s' -p 1 -x 0
0.00/0.26	c [HOME/instance-4254089-1501614813.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.31	c simple solver
0.00/0.38	c parse instance...
0.00/1.00	c solve instance...
2.79/1.17	o 1035 
3.09/1.25	o 971 
3.39/1.33	o 919 
5.04/2.35	o 915 
5.04/2.37	o 895 
5.22/2.40	o 859 
5.68/2.77	o 835 
5.68/2.79	o 783 
5.89/2.81	o 687 
8.29/4.49	o 659 
8.29/4.49	o 607 
103.42/98.76	o 571 
245.06/240.00	s SATISFIABLE
245.06/240.00	v <instantiation>
245.06/240.00	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>
245.06/240.00	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 0 3 -4 -5 0 5 -2 1 -2 -1 0 -3 0 1 4 1 0 3 8 -1 -2 -3 6 5 0 1 -12 -5 2 -1 -2 1 2 1 0 -1 0 -1 -2 3 2 3 -6 -1 -4 -3 2 5 2 -1 0 -1 0 -1 0 9 16 25 0 25 4 1 4 1 0 9 0 1 16 1 0 9 64 1 4 9 36 25 0 1 144 25 4 1 4 1 4 1 0 1 0 1 4 9 4 9 36 1 16 9 4 25 4 1 0 1 0 1 </values>
245.06/240.00	v </instantiation>
245.06/240.00	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-4254089-1501614813/watcher-4254089-1501614813 -o /tmp/evaluation-result-4254089-1501614813/solver-4254089-1501614813 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 269657902 HOME/instance-4254089-1501614813.xml 

pid=7936
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: 2.02 1.99 1.90 3/200 7939
/proc/meminfo: memFree=31807728/32770624 swapFree=0/182480
[pid=7939] ppid=7936 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (runsolver) D 7936 7939 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9296613 24240128 108 18446744073709551615 4194304 4338465 140734986359024 140734986356664 140373821022935 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 12230656 140734986362974 140734986363462 140734986363462 140734986366922 0
/proc/7939/statm: 5918 108 54 36 0 2156 0

[startup+0.100151 s]
/proc/loadavg: 2.02 1.99 1.90 3/200 7939
/proc/meminfo: memFree=31807728/32770624 swapFree=0/182480
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200285 s]
/proc/loadavg: 2.02 1.99 1.90 3/200 7939
/proc/meminfo: memFree=31807728/32770624 swapFree=0/182480
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30283 s]
/proc/loadavg: 2.02 1.99 1.90 3/200 7939
/proc/meminfo: memFree=31807728/32770624 swapFree=0/182480
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700182 s]
/proc/loadavg: 2.02 1.99 1.90 3/200 7939
/proc/meminfo: memFree=31807728/32770624 swapFree=0/182480
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50151 s]
/proc/loadavg: 2.02 1.99 1.90 5/216 7955
/proc/meminfo: memFree=31674980/32770624 swapFree=0/182508
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
[pid=7941] ppid=7939 vsize=13980732 CPUtime=3.98 cores=1,3,5,7
/proc/7941/stat : 7941 (java) S 7939 7939 5228 0 -1 1077944320 21599 0 0 0 390 8 0 0 20 0 15 0 9296620 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140733219786112 140585392668407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
/proc/7941/statm: 3495183 37318 3191 1 0 3483484 0
[pid=7941/tid=7942] ppid=7939 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/7941/task/7942/stat : 7942 (java) R 7939 7939 5228 0 -1 4202560 9847 0 0 0 131 5 0 0 20 0 15 0 9296620 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140585396906816 140585040491276 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7943] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7943/stat : 7943 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584992303632 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7944] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7944/stat : 7944 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584991251088 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7945] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7945/stat : 7945 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584990198032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7946] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7946/stat : 7946 (java) S 7939 7939 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584989145488 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7947] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7947/stat : 7947 (java) S 7939 7939 5228 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 9296622 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584871213808 140585392679554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7948] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7948/stat : 7948 (java) S 7939 7939 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584870160032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7949] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7949/stat : 7949 (java) S 7939 7939 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584869106928 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7950] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7950/stat : 7950 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584868055504 140585392687003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7951] ppid=7939 vsize=13980732 CPUtime=1.01 cores=1,3,5,7
/proc/7941/task/7951/stat : 7951 (java) S 7939 7939 5228 0 -1 1077944384 3776 0 0 0 101 0 0 0 20 0 15 0 9296625 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584867002608 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7952] ppid=7939 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/7941/task/7952/stat : 7952 (java) R 7939 7939 5228 0 -1 4202560 3419 0 0 0 96 1 0 0 20 0 15 0 9296625 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584865943256 140585371969536 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7953] ppid=7939 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/7941/task/7953/stat : 7953 (java) R 7939 7939 5228 0 -1 4202560 3225 0 0 0 60 1 0 0 20 0 15 0 9296625 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584864897008 140585392680342 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7954] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7954/stat : 7954 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584863844704 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7955] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7955/stat : 7955 (java) S 7939 7939 5228 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9296631 14316269568 37318 18446744073709551615 4194304 4196468 140733219803568 140584862792752 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 13990244

[startup+3.10074 s]
/proc/loadavg: 2.02 1.99 1.90 3/216 7955
/proc/meminfo: memFree=31667784/32770624 swapFree=0/182492
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
[pid=7941] ppid=7939 vsize=13980732 CPUtime=6.77 cores=1,3,5,7
/proc/7941/stat : 7941 (java) S 7939 7939 5228 0 -1 1077944320 28127 0 0 0 667 10 0 0 20 0 15 0 9296620 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140733219786112 140585392668407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
/proc/7941/statm: 3495183 41174 3194 1 0 3483484 0
[pid=7941/tid=7942] ppid=7939 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/7941/task/7942/stat : 7942 (java) R 7939 7939 5228 0 -1 4202560 10343 0 0 0 291 5 0 0 20 0 15 0 9296620 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140585396906168 140585039813132 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7943] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7943/stat : 7943 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584992303632 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7944] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7944/stat : 7944 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584991251088 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7945] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7945/stat : 7945 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584990198032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7946] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7946/stat : 7946 (java) S 7939 7939 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584989145488 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7947] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7947/stat : 7947 (java) S 7939 7939 5228 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 9296622 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584871213808 140585392679554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7948] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7948/stat : 7948 (java) S 7939 7939 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584870160032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7949] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7949/stat : 7949 (java) S 7939 7939 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584869106928 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7950] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7950/stat : 7950 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584868055504 140585392687003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7951] ppid=7939 vsize=13980732 CPUtime=1.56 cores=1,3,5,7
/proc/7941/task/7951/stat : 7951 (java) R 7939 7939 5228 0 -1 4202560 5370 0 0 0 156 0 0 0 20 0 15 0 9296625 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584867002608 140585374189267 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7952] ppid=7939 vsize=13980732 CPUtime=1.53 cores=1,3,5,7
/proc/7941/task/7952/stat : 7952 (java) R 7939 7939 5228 0 -1 4202560 7451 0 0 0 152 1 0 0 20 0 15 0 9296625 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584865950064 140585384957789 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7953] ppid=7939 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/7941/task/7953/stat : 7953 (java) S 7939 7939 5228 0 -1 1077944384 3605 0 0 0 67 1 0 0 20 0 15 0 9296625 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584864897008 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7954] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7954/stat : 7954 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584863844704 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7955] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7955/stat : 7955 (java) S 7939 7939 5228 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9296631 14316269568 41174 18446744073709551615 4194304 4196468 140733219803568 140584862792752 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 13990244

[startup+6.30067 s]
/proc/loadavg: 2.01 1.99 1.90 3/216 7955
/proc/meminfo: memFree=31652072/32770624 swapFree=0/182500
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
[pid=7941] ppid=7939 vsize=13980732 CPUtime=10.49 cores=1,3,5,7
/proc/7941/stat : 7941 (java) S 7939 7939 5228 0 -1 1077944320 35553 0 0 0 1038 11 0 0 20 0 15 0 9296620 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140733219786112 140585392668407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
/proc/7941/statm: 3495183 41562 3200 1 0 3483484 0
[pid=7941/tid=7942] ppid=7939 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/7941/task/7942/stat : 7942 (java) R 7939 7939 5228 0 -1 4202560 11138 0 0 0 611 5 0 0 20 0 15 0 9296620 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140585396905072 140585040542891 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7943] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7943/stat : 7943 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584992303632 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7944] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7944/stat : 7944 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584991251088 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7945] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7945/stat : 7945 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584990198032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7946] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7946/stat : 7946 (java) S 7939 7939 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584989145488 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7947] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7947/stat : 7947 (java) S 7939 7939 5228 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 9296622 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584871213808 140585392679554 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7948] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7948/stat : 7948 (java) S 7939 7939 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584870160032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7949] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7949/stat : 7949 (java) S 7939 7939 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584869106928 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7950] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7950/stat : 7950 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584868055504 140585392687003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7951] ppid=7939 vsize=13980732 CPUtime=1.86 cores=1,3,5,7
/proc/7941/task/7951/stat : 7951 (java) S 7939 7939 5228 0 -1 1077944384 9071 0 0 0 185 1 0 0 20 0 15 0 9296625 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584867002608 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7952] ppid=7939 vsize=13980732 CPUtime=1.73 cores=1,3,5,7
/proc/7941/task/7952/stat : 7952 (java) S 7939 7939 5228 0 -1 1077944384 9574 0 0 0 172 1 0 0 20 0 15 0 9296625 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584865950064 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7953] ppid=7939 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/7941/task/7953/stat : 7953 (java) S 7939 7939 5228 0 -1 1077944384 3852 0 0 0 68 1 0 0 20 0 15 0 9296625 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584864897008 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7954] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7954/stat : 7954 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584863844704 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7955] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7955/stat : 7955 (java) S 7939 7939 5228 0 -1 1077944384 329 0 0 0 0 0 0 0 20 0 15 0 9296631 14316269568 41562 18446744073709551615 4194304 4196468 140733219803568 140584862792752 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
Current children cumulated CPU time (s) 10.49
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 2.01 1.99 1.90 3/216 7955
/proc/meminfo: memFree=31643792/32770624 swapFree=0/182508
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
[pid=7941] ppid=7939 vsize=13980732 CPUtime=17.07 cores=1,3,5,7
/proc/7941/stat : 7941 (java) S 7939 7939 5228 0 -1 1077944320 39985 0 0 0 1696 11 0 0 20 0 15 0 9296620 14316269568 42665 18446744073709551615 4194304 4196468 140733219803568 140733219786112 140585392668407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
/proc/7941/statm: 3495183 42665 3201 1 0 3483484 0
[pid=7941/tid=7942] ppid=7939 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/7941/task/7942/stat : 7942 (java) R 7939 7939 5228 0 -1 4202560 11869 0 0 0 1250 5 0 0 20 0 15 0 9296620 14316269568 42665 18446744073709551615 4194304 4196468 140733219803568 140585396904680 140585040012358 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7943] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7943/stat : 7943 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 42665 18446744073709551615 4194304 4196468 140733219803568 140584992303632 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7944] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7944/stat : 7944 (java) S 7939 7939 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9296621 14316269568 42665 18446744073709551615 4194304 4196468 140733219803568 140584991251088 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0

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

[pid=7941/tid=7948] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7948/stat : 7948 (java) S 7939 7939 5228 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584870160032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7949] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7949/stat : 7949 (java) S 7939 7939 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584869106928 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7950] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7950/stat : 7950 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584868055504 140585392687003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7951] ppid=7939 vsize=13980732 CPUtime=2.09 cores=1,3,5,7
/proc/7941/task/7951/stat : 7951 (java) S 7939 7939 5228 0 -1 1077944384 12169 0 0 0 208 1 0 0 20 0 15 0 9296625 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584867002608 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7952] ppid=7939 vsize=13980732 CPUtime=1.95 cores=1,3,5,7
/proc/7941/task/7952/stat : 7952 (java) S 7939 7939 5228 0 -1 1077944384 13783 0 0 0 193 2 0 0 20 0 15 0 9296625 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584865950064 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7953] ppid=7939 vsize=13980732 CPUtime=0.72 cores=1,3,5,7
/proc/7941/task/7953/stat : 7953 (java) S 7939 7939 5228 0 -1 1077944384 6798 0 0 0 71 1 0 0 20 0 15 0 9296625 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584864897008 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7954] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7954/stat : 7954 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584863844704 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7955] ppid=7939 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7941/task/7955/stat : 7955 (java) S 7939 7939 5228 0 -1 1077944384 548 0 0 0 1 1 0 0 20 0 15 0 9296631 14316269568 52540 18446744073709551615 4194304 4196468 140733219803568 140584862792752 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
Current children cumulated CPU time (s) 107.03
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.91 3/219 7995
/proc/meminfo: memFree=31520976/32770624 swapFree=0/182624
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
[pid=7941] ppid=7939 vsize=13980732 CPUtime=167.3 cores=1,3,5,7
/proc/7941/stat : 7941 (java) S 7939 7939 5228 0 -1 1077944320 57043 0 0 0 16712 18 0 0 20 0 15 0 9296620 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140733219786112 140585392668407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
/proc/7941/statm: 3495183 56196 3232 1 0 3483484 0
[pid=7941/tid=7942] ppid=7939 vsize=13980732 CPUtime=162.12 cores=1,3,5,7
/proc/7941/task/7942/stat : 7942 (java) R 7939 7939 5228 0 -1 4202560 14824 0 0 0 16206 6 0 0 20 0 15 0 9296620 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140585396907400 140585041463564 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7943] ppid=7939 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7941/task/7943/stat : 7943 (java) S 7939 7939 5228 0 -1 1077944384 878 0 0 0 1 0 0 0 20 0 15 0 9296621 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584992303632 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7944] ppid=7939 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7941/task/7944/stat : 7944 (java) S 7939 7939 5228 0 -1 1077944384 434 0 0 0 1 0 0 0 20 0 15 0 9296621 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584991251088 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7945] ppid=7939 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7941/task/7945/stat : 7945 (java) S 7939 7939 5228 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 15 0 9296621 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584990198032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7946] ppid=7939 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7941/task/7946/stat : 7946 (java) S 7939 7939 5228 0 -1 1077944384 1320 0 0 0 1 0 0 0 20 0 15 0 9296621 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584989145488 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7947] ppid=7939 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7941/task/7947/stat : 7947 (java) S 7939 7939 5228 0 -1 1077944384 884 0 0 0 1 0 0 0 20 0 15 0 9296622 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584871213808 140585392679554 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7948] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7948/stat : 7948 (java) S 7939 7939 5228 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584870160032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7949] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7949/stat : 7949 (java) S 7939 7939 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584869106928 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7950] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7950/stat : 7950 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584868055504 140585392687003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7951] ppid=7939 vsize=13980732 CPUtime=2.19 cores=1,3,5,7
/proc/7941/task/7951/stat : 7951 (java) S 7939 7939 5228 0 -1 1077944384 13439 0 0 0 217 2 0 0 20 0 15 0 9296625 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584867002608 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7952] ppid=7939 vsize=13980732 CPUtime=2.06 cores=1,3,5,7
/proc/7941/task/7952/stat : 7952 (java) S 7939 7939 5228 0 -1 1077944384 15701 0 0 0 204 2 0 0 20 0 15 0 9296625 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584865950064 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7953] ppid=7939 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/7941/task/7953/stat : 7953 (java) S 7939 7939 5228 0 -1 1077944384 7401 0 0 0 73 1 0 0 20 0 15 0 9296625 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584864897008 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7954] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7954/stat : 7954 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584863844704 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7955] ppid=7939 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7941/task/7955/stat : 7955 (java) S 7939 7939 5228 0 -1 1077944384 601 0 0 0 1 2 0 0 20 0 15 0 9296631 14316269568 56196 18446744073709551615 4194304 4196468 140733219803568 140584862792752 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
Current children cumulated CPU time (s) 167.3
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.95 1.97 1.91 3/217 8079
/proc/meminfo: memFree=31613776/32770624 swapFree=0/182712
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
[pid=7941] ppid=7939 vsize=13980732 CPUtime=227.35 cores=1,3,5,7
/proc/7941/stat : 7941 (java) S 7939 7939 5228 0 -1 1077944320 58719 0 0 0 22716 19 0 0 20 0 15 0 9296620 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140733219786112 140585392668407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
/proc/7941/statm: 3495183 56200 3232 1 0 3483484 0
[pid=7941/tid=7942] ppid=7939 vsize=13980732 CPUtime=222.11 cores=1,3,5,7
/proc/7941/task/7942/stat : 7942 (java) R 7939 7939 5228 0 -1 4202560 15532 0 0 0 22205 6 0 0 20 0 15 0 9296620 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140585396907624 140585040986794 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7943] ppid=7939 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7941/task/7943/stat : 7943 (java) S 7939 7939 5228 0 -1 1077944384 1157 0 0 0 2 0 0 0 20 0 15 0 9296621 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584992303632 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7944] ppid=7939 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7941/task/7944/stat : 7944 (java) S 7939 7939 5228 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 9296621 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584991251088 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7945] ppid=7939 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7941/task/7945/stat : 7945 (java) S 7939 7939 5228 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 9296621 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584990198032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7946] ppid=7939 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7941/task/7946/stat : 7946 (java) S 7939 7939 5228 0 -1 1077944384 1607 0 0 0 2 1 0 0 20 0 15 0 9296621 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584989145488 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7947] ppid=7939 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7941/task/7947/stat : 7947 (java) S 7939 7939 5228 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 15 0 9296622 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584871213808 140585392679554 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7948] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7948/stat : 7948 (java) S 7939 7939 5228 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584870160032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7949] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7949/stat : 7949 (java) S 7939 7939 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584869106928 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7950] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7950/stat : 7950 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584868055504 140585392687003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7951] ppid=7939 vsize=13980732 CPUtime=2.19 cores=1,3,5,7
/proc/7941/task/7951/stat : 7951 (java) S 7939 7939 5228 0 -1 1077944384 13447 0 0 0 217 2 0 0 20 0 15 0 9296625 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584867002608 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7952] ppid=7939 vsize=13980732 CPUtime=2.07 cores=1,3,5,7
/proc/7941/task/7952/stat : 7952 (java) S 7939 7939 5228 0 -1 1077944384 15707 0 0 0 205 2 0 0 20 0 15 0 9296625 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584865950064 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7953] ppid=7939 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/7941/task/7953/stat : 7953 (java) S 7939 7939 5228 0 -1 1077944384 7429 0 0 0 73 1 0 0 20 0 15 0 9296625 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584864897008 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7954] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7954/stat : 7954 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584863844704 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7955] ppid=7939 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7941/task/7955/stat : 7955 (java) S 7939 7939 5228 0 -1 1077944384 624 0 0 0 2 3 0 0 20 0 15 0 9296631 14316269568 56200 18446744073709551615 4194304 4196468 140733219803568 140584862792752 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
Current children cumulated CPU time (s) 227.35
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.96 1.97 1.92 3/217 8079
/proc/meminfo: memFree=31601504/32770624 swapFree=0/182720
[pid=7939] ppid=7936 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7939/stat : 7939 (xcsp3-exec) S 7936 7939 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9296613 9740288 345 18446744073709551615 4194304 5098028 140721127900896 140721127899000 139744881824380 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 14778368 140721127907740 140721127907943 140721127907943 140721127911403 0
/proc/7939/statm: 2378 345 289 221 0 87 0
[pid=7941] ppid=7939 vsize=13980732 CPUtime=245.06 cores=1,3,5,7
/proc/7941/stat : 7941 (java) S 7939 7939 5228 0 -1 1077944320 59929 0 0 0 24487 19 0 0 20 0 15 0 9296620 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140733219786112 140585392668407 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
/proc/7941/statm: 3495183 56202 3232 1 0 3483484 0
[pid=7941/tid=7942] ppid=7939 vsize=13980732 CPUtime=239.79 cores=1,3,5,7
/proc/7941/task/7942/stat : 7942 (java) R 7939 7939 5228 0 -1 4202560 15558 0 0 0 23973 6 0 0 20 0 15 0 9296620 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140585396907920 140585039873988 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7943] ppid=7939 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7941/task/7943/stat : 7943 (java) S 7939 7939 5228 0 -1 1077944384 2131 0 0 0 2 0 0 0 20 0 15 0 9296621 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584992303632 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7944] ppid=7939 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7941/task/7944/stat : 7944 (java) S 7939 7939 5228 0 -1 1077944384 531 0 0 0 2 0 0 0 20 0 15 0 9296621 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584991251088 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7945] ppid=7939 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7941/task/7945/stat : 7945 (java) S 7939 7939 5228 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 9296621 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584990198032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7946] ppid=7939 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7941/task/7946/stat : 7946 (java) S 7939 7939 5228 0 -1 1077944384 1620 0 0 0 2 1 0 0 20 0 15 0 9296621 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584989145488 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7947] ppid=7939 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/7941/task/7947/stat : 7947 (java) S 7939 7939 5228 0 -1 1077944384 1137 0 0 0 1 0 0 0 20 0 15 0 9296622 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584871213808 140585392679554 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7948] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7948/stat : 7948 (java) S 7939 7939 5228 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584870160032 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7949] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7949/stat : 7949 (java) S 7939 7939 5228 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9296623 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584869106928 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7950] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7950/stat : 7950 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584868055504 140585392687003 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7951] ppid=7939 vsize=13980732 CPUtime=2.19 cores=1,3,5,7
/proc/7941/task/7951/stat : 7951 (java) S 7939 7939 5228 0 -1 1077944384 13447 0 0 0 217 2 0 0 20 0 15 0 9296625 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584867002608 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7952] ppid=7939 vsize=13980732 CPUtime=2.07 cores=1,3,5,7
/proc/7941/task/7952/stat : 7952 (java) S 7939 7939 5228 0 -1 1077944384 15707 0 0 0 205 2 0 0 20 0 15 0 9296625 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584865950064 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7953] ppid=7939 vsize=13980732 CPUtime=0.74 cores=1,3,5,7
/proc/7941/task/7953/stat : 7953 (java) S 7939 7939 5228 0 -1 1077944384 7429 0 0 0 73 1 0 0 20 0 15 0 9296625 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584864897008 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7954] ppid=7939 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7941/task/7954/stat : 7954 (java) S 7939 7939 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9296625 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584863844704 140585392678613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
[pid=7941/tid=7955] ppid=7939 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/7941/task/7955/stat : 7955 (java) S 7939 7939 5228 0 -1 1077944384 624 0 0 0 2 3 0 0 20 0 15 0 9296631 14316269568 56202 18446744073709551615 4194304 4196468 140733219803568 140584862792752 140585392679554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16580608 140733219811796 140733219811971 140733219811971 140733219815375 0
Current children cumulated CPU time (s) 245.06
Current children cumulated vsize (KiB) 13990244

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 7941 sig 9
??? kill 7939 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 7939 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=965
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=965
# CPU time returned by wait4() is 0.00193
# while last known CPU time is 245.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 245.06
CPU user time (s): 244.87
CPU system time (s): 0.19
CPU usage (%): 102.104
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000965
system time used= 0.000965
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.03638 second user time and 1.43279 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 4254089

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