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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	503	2520.0901	2515.51

0.00/0.24	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269147-1502793463.xml"  -tl '2520s' -p 1 -x 0
0.10/2.16	c [HOME/instance-4269147-1502793463.xml, -tl, 2520s, -p, 1, -x, 0]
0.27/2.22	c simple solver
0.27/2.28	c parse instance...
2.09/2.89	c solve instance...
2.96/3.18	o 839 
3.25/3.25	o 751 
8.02/5.69	o 647 
8.16/5.71	o 615 
8.16/5.73	o 511 
273.15/269.75	o 503 
2520.06/2515.50	s SATISFIABLE
2520.06/2515.50	v <instantiation>
2520.06/2515.50	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][50] y[0][51] y[0][52] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][50] y[1][51] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][50] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][40] y[9][41] y[9][42] y[9][43] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][40] y[10][41] y[10][42] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][40] y[11][41] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][40] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][30] y[19][31] y[19][32] y[19][33] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][30] y[20][31] y[20][32] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][30] y[21][31] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][30] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][20] y[29][21] y[29][22] y[29][23] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][20] y[30][21] y[30][22] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][20] y[31][21] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][20] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[37][0] y[37][1] y[37][2] y[37][3] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[38][0] y[38][1] y[38][2] y[38][3] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[39][0] y[39][1] y[39][2] y[39][3] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[39][10] y[39][11] y[39][12] y[39][13] y[40][0] y[40][1] y[40][2] y[40][3] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[40][10] y[40][11] y[40][12] y[41][0] y[41][1] y[41][2] y[41][3] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[41][10] y[41][11] y[42][0] y[42][1] y[42][2] y[42][3] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[42][10] y[43][0] y[43][1] y[43][2] y[43][3] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][1] y[44][2] y[44][3] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[45][0] y[45][1] y[45][2] y[45][3] y[45][4] y[45][5] y[45][6] y[45][7] y[46][0] y[46][1] y[46][2] y[46][3] y[46][4] y[46][5] y[46][6] y[47][0] y[47][1] y[47][2] y[47][3] y[47][4] y[47][5] y[48][0] y[48][1] y[48][2] y[48][3] y[48][4] y[49][0] y[49][1] y[49][2] y[49][3] y[50][0] y[50][1] y[50][2] y[51][0] y[51][1] y[52][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] </list>
2520.06/2515.50	v 	<values>1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -7 0 -7 2 1 4 -3 0 -1 -6 3 -6 1 4 -1 0 1 2 1 -2 1 4 -5 0 -5 -2 3 0 -1 2 3 2 1 0 1 -4 1 2 7 -6 -3 0 -1 4 3 -2 -3 2 1 0 1 -2 1 49 0 49 4 1 16 9 0 1 36 9 36 1 16 1 0 1 4 1 4 1 16 25 0 25 4 9 0 1 4 9 4 1 0 1 16 1 4 49 36 9 0 1 16 9 4 9 4 1 0 1 4 1 </values>
2520.06/2515.50	v </instantiation>
2520.06/2515.50	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15422 MiB free)
  memory of node 1: 16384 MiB (15375 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269147-1502793463/watcher-4269147-1502793463 -o /tmp/evaluation-result-4269147-1502793463/solver-4269147-1502793463 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24470 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1598284122 HOME/instance-4269147-1502793463.xml 

running on 4 cores: 0,2,4,6

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

solver pid=18606, runsolver pid=18603

[startup+0.100154 s]*
/proc/loadavg: 2.00 1.99 2.05 2/202 18607
/proc/meminfo: memFree=31536996/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (runsolver) D 18603 18606 4674 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 126852818 34791424 113 18446744073709551615 4194304 4346622 140732815907152 140732815903784 140069580825303 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 29294592 140732815913014 140732815913508 140732815913508 140732815917002 0
/proc/18606/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.209374 s]*
/proc/loadavg: 2.00 1.99 2.05 2/202 18607
/proc/meminfo: memFree=31536996/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=33976 memory=452 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (runsolver) D 18603 18606 4674 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 126852818 34791424 113 18446744073709551615 4194304 4346622 140732815907152 140732815903784 140069580825303 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6446216 6449568 29294592 140732815913014 140732815913508 140732815913508 140732815917002 0
/proc/18606/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB

[startup+0.309096 s]*
/proc/loadavg: 2.00 1.99 2.05 2/216 18621
/proc/meminfo: memFree=31524740/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (xcsp3-exec) S 18603 18606 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126852818 9740288 345 18446744073709551615 4194304 5098028 140721586954480 140721586952584 140147699933820 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 24 0 0 7196144 7232144 11632640 140721586958712 140721586958917 140721586958917 140721586962411 0
/proc/18606/statm: 2378 345 289 221 0 87 0
[pid=18608] ppid=18606 vsize=13907304 memory=22624 CPUtime=0.06 cores=0,2,4,6
/proc/18608/stat : 18608 (java) S 18606 18606 4674 0 -1 1077944320 5051 0 0 0 5 1 0 0 20 0 14 0 126852843 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140727370036896 140413180767991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
/proc/18608/statm: 3476826 5656 2564 1 0 3466323 0
[pid=18608/tid=18609] ppid=18606 vsize=13907304 memory=29678448712876256 CPUtime=0.04 cores=0,2,4,6
/proc/18608/task/18609/stat : 18609 (java) D 18606 18606 4674 0 -1 1077944384 3234 0 0 0 4 0 0 0 20 0 14 0 126852843 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140413185005376 140413180791869 0 4 1 16800974 18446744072101666340 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18610] ppid=18606 vsize=13907304 memory=4294967599 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18610/stat : 18610 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140413152611472 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18611] ppid=18606 vsize=13907304 memory=140069583792272 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18611/stat : 18611 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412780014608 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18612] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18612/stat : 18612 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412778961808 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18613] ppid=18606 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18613/stat : 18613 (java) S 18606 18606 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412777909008 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18614] ppid=18606 vsize=13907304 memory=140069583775360 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18614/stat : 18614 (java) S 18606 18606 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 126852845 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412097599856 140413180779138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18615] ppid=18606 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18615/stat : 18615 (java) S 18606 18606 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 126852846 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412096545824 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18616] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 126852846 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) S 18606 18606 4674 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412093389680 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412092336880 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13907304 memory=140069583775360 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18621] ppid=18606 vsize=13907304 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18621/stat : 18621 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852849 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412090231520 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 24004 KiB

[startup+0.700743 s]
/proc/loadavg: 2.00 1.99 2.05 2/216 18621
/proc/meminfo: memFree=31524368/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (xcsp3-exec) S 18603 18606 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126852818 9740288 345 18446744073709551615 4194304 5098028 140721586954480 140721586952584 140147699933820 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 24 0 0 7196144 7232144 11632640 140721586958712 140721586958917 140721586958917 140721586962411 0
/proc/18606/statm: 2378 345 289 221 0 87 0
[pid=18608] ppid=18606 vsize=13907304 memory=22624 CPUtime=0.06 cores=0,2,4,6
/proc/18608/stat : 18608 (java) S 18606 18606 4674 0 -1 1077944320 5053 0 0 0 5 1 0 0 20 0 14 0 126852843 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140727370036896 140413180767991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
/proc/18608/statm: 3476826 5656 2564 1 0 3466323 0
[pid=18608/tid=18609] ppid=18606 vsize=13907304 memory=61 CPUtime=0.04 cores=0,2,4,6
/proc/18608/task/18609/stat : 18609 (java) D 18606 18606 4674 0 -1 4202560 3236 0 0 0 4 0 0 0 20 0 14 0 126852843 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140413185005472 140413180790013 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18610] ppid=18606 vsize=13907304 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18610/stat : 18610 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140413152611472 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18611] ppid=18606 vsize=13907304 memory=5712 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18611/stat : 18611 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412780014608 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18612] ppid=18606 vsize=13907304 memory=796 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18612/stat : 18612 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412778961808 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18613] ppid=18606 vsize=13907304 memory=984 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18613/stat : 18613 (java) S 18606 18606 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412777909008 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18614] ppid=18606 vsize=13907304 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18614/stat : 18614 (java) S 18606 18606 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 126852845 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412097599856 140413180779138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18615] ppid=18606 vsize=13907304 memory=4572 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18615/stat : 18615 (java) S 18606 18606 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 126852846 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412096545824 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18616] ppid=18606 vsize=13907304 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 126852846 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13907304 memory=12304 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13907304 memory=1204 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) S 18606 18606 4674 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412093389680 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13907304 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412092336880 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13907304 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18621] ppid=18606 vsize=13907304 memory=36940 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18621/stat : 18621 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852849 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412090231520 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 24004 KiB

[startup+1.50073 s]
/proc/loadavg: 2.00 1.99 2.05 2/216 18621
/proc/meminfo: memFree=31523948/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (xcsp3-exec) S 18603 18606 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126852818 9740288 345 18446744073709551615 4194304 5098028 140721586954480 140721586952584 140147699933820 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 24 0 0 7196144 7232144 11632640 140721586958712 140721586958917 140721586958917 140721586962411 0
/proc/18606/statm: 2378 345 289 221 0 87 0
[pid=18608] ppid=18606 vsize=13907304 memory=22624 CPUtime=0.06 cores=0,2,4,6
/proc/18608/stat : 18608 (java) S 18606 18606 4674 0 -1 1077944320 5053 0 0 0 5 1 0 0 20 0 14 0 126852843 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140727370036896 140413180767991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
/proc/18608/statm: 3476826 5656 2564 1 0 3466323 0
[pid=18608/tid=18609] ppid=18606 vsize=13907304 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/18608/task/18609/stat : 18609 (java) D 18606 18606 4674 0 -1 4202560 3236 0 0 0 4 0 0 0 20 0 14 0 126852843 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140413185005472 140413180790013 0 4 1 16800974 18446744071580418449 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18610] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18610/stat : 18610 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140413152611472 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18611] ppid=18606 vsize=13907304 memory=2276 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18611/stat : 18611 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412780014608 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18612] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18612/stat : 18612 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412778961808 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18613] ppid=18606 vsize=13907304 memory=4148 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18613/stat : 18613 (java) S 18606 18606 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 126852844 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412777909008 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18614] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18614/stat : 18614 (java) S 18606 18606 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 126852845 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412097599856 140413180779138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18615] ppid=18606 vsize=13907304 memory=3472468365714517664 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18615/stat : 18615 (java) S 18606 18606 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 126852846 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412096545824 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18616] ppid=18606 vsize=13907304 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 126852846 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13907304 memory=7234869448319722321 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13907304 memory=7522254278437463633 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) S 18606 18606 4674 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412093389680 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412092336880 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 14 0 126852848 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18621] ppid=18606 vsize=13907304 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18621/stat : 18621 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 126852849 14241079296 5656 18446744073709551615 4194304 4196468 140727370054352 140412090231520 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 24004 KiB

[startup+3.11081 s]
/proc/loadavg: 2.00 1.99 2.05 3/217 18622
/proc/meminfo: memFree=31409392/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (xcsp3-exec) S 18603 18606 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126852818 9740288 345 18446744073709551615 4194304 5098028 140721586954480 140721586952584 140147699933820 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 24 0 0 7196144 7232144 11632640 140721586958712 140721586958917 140721586958917 140721586962411 0
/proc/18606/statm: 2378 345 289 221 0 87 0
[pid=18608] ppid=18606 vsize=13980732 memory=144424 CPUtime=2.96 cores=0,2,4,6
/proc/18608/stat : 18608 (java) S 18606 18606 4674 0 -1 1077944320 17891 0 0 0 288 8 0 0 20 0 15 0 126852843 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140727370036896 140413180767991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
/proc/18608/statm: 3495183 36106 3198 1 0 3483476 0
[pid=18608/tid=18609] ppid=18606 vsize=13980732 memory=6737 CPUtime=1.07 cores=0,2,4,6
/proc/18608/task/18609/stat : 18609 (java) R 18606 18606 4674 0 -1 4202560 9137 0 0 0 101 6 0 0 20 0 15 0 126852843 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140413185007424 140412825285824 0 4 1 16800974 0 0 0 -1 2 0 0 171 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18610] ppid=18606 vsize=13980732 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18610/stat : 18610 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126852844 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140413152611472 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18611] ppid=18606 vsize=13980732 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18611/stat : 18611 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126852844 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412780014608 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18612] ppid=18606 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18612/stat : 18612 (java) S 18606 18606 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 126852844 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412778961808 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18613] ppid=18606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18613/stat : 18613 (java) S 18606 18606 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 126852844 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412777909008 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18614] ppid=18606 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18614/stat : 18614 (java) S 18606 18606 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 126852845 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412097599856 140413180779138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18615] ppid=18606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18615/stat : 18615 (java) S 18606 18606 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412096545824 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18616] ppid=18606 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13980732 memory=280138974065568 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852848 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13980732 memory=3977153101982859296 CPUtime=0.65 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) R 18606 18606 4674 0 -1 4202560 2657 0 0 0 65 0 0 0 20 0 15 0 126852848 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412093375648 140413165661861 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13980732 memory=4206468019014099040 CPUtime=0.65 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) R 18606 18606 4674 0 -1 4202560 2426 0 0 0 65 0 0 0 20 0 15 0 126852848 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412092323424 140413161468295 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13980732 memory=13846356993252542 CPUtime=0.55 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 2362 0 0 0 55 0 0 0 20 0 15 0 126852848 14316269568 36106 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0

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

/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13980732 memory=211364 CPUtime=2.3 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) S 18606 18606 4674 0 -1 1077944384 16559 0 0 0 228 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412093389680 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13980732 memory=1380 CPUtime=2.31 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) S 18606 18606 4674 0 -1 1077944384 14251 0 0 0 229 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412092336880 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13980732 memory=213928 CPUtime=0.76 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 9161 0 0 0 75 1 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18621] ppid=18606 vsize=13980732 memory=565 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18621/stat : 18621 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852849 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412090231520 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18622] ppid=18606 vsize=13980732 memory=1724 CPUtime=0.86 cores=0,2,4,6
/proc/18608/task/18622/stat : 18622 (java) S 18606 18606 4674 0 -1 1077944384 1639 0 0 0 37 49 0 0 20 0 15 0 126853026 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412089178800 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
Current children cumulated CPU time: 2446.83 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212744 KiB

[startup+2502.3 s]
/proc/loadavg: 1.75 1.71 1.77 3/216 18877
/proc/meminfo: memFree=26977600/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (xcsp3-exec) S 18603 18606 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126852818 9740288 345 18446744073709551615 4194304 5098028 140721586954480 140721586952584 140147699933820 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 24 0 0 7196144 7232144 11632640 140721586958712 140721586958917 140721586958917 140721586962411 0
/proc/18606/statm: 2378 345 289 221 0 87 0
[pid=18608] ppid=18606 vsize=13980732 memory=211364 CPUtime=2506.86 cores=0,2,4,6
/proc/18608/stat : 18608 (java) S 18606 18606 4674 0 -1 1077944320 77147 0 0 0 250620 66 0 0 20 0 15 0 126852843 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140727370036896 140413180767991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
/proc/18608/statm: 3495183 52841 3241 1 0 3483476 0
[pid=18608/tid=18609] ppid=18606 vsize=13980732 memory=211364 CPUtime=2500.15 cores=0,2,4,6
/proc/18608/task/18609/stat : 18609 (java) R 18606 18606 4674 0 -1 4202560 20629 0 0 0 250007 8 0 0 20 0 15 0 126852843 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140413185007168 140412828417973 0 4 1 16800974 0 0 0 -1 4 0 0 171 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18610] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18610/stat : 18610 (java) S 18606 18606 4674 0 -1 1077944384 1868 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140413152611472 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18611] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18611/stat : 18611 (java) S 18606 18606 4674 0 -1 1077944384 1859 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412780014608 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18612] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18612/stat : 18612 (java) S 18606 18606 4674 0 -1 1077944384 3978 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412778961808 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18613] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.08 cores=0,2,4,6
/proc/18608/task/18613/stat : 18613 (java) S 18606 18606 4674 0 -1 1077944384 2671 0 0 0 6 2 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412777909008 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18614] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18614/stat : 18614 (java) S 18606 18606 4674 0 -1 1077944384 3089 0 0 0 5 2 0 0 20 0 15 0 126852845 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412097599856 140413180779138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18615] ppid=18606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18615/stat : 18615 (java) S 18606 18606 4674 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412096545824 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18616] ppid=18606 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13980732 memory=211364 CPUtime=2.3 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) S 18606 18606 4674 0 -1 1077944384 16560 0 0 0 228 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412093389680 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13980732 memory=4148 CPUtime=2.31 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) S 18606 18606 4674 0 -1 1077944384 14251 0 0 0 229 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412092336880 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13980732 memory=-8774313645642428999 CPUtime=0.76 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 9161 0 0 0 75 1 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18621] ppid=18606 vsize=13980732 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18621/stat : 18621 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852849 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412090231520 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18622] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.88 cores=0,2,4,6
/proc/18608/task/18622/stat : 18622 (java) S 18606 18606 4674 0 -1 1077944384 1656 0 0 0 38 50 0 0 20 0 15 0 126853026 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412089178800 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
Current children cumulated CPU time: 2506.86 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.5 s]
/proc/loadavg: 1.79 1.72 1.77 3/216 18877
/proc/meminfo: memFree=26977972/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (xcsp3-exec) S 18603 18606 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126852818 9740288 345 18446744073709551615 4194304 5098028 140721586954480 140721586952584 140147699933820 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 24 0 0 7196144 7232144 11632640 140721586958712 140721586958917 140721586958917 140721586962411 0
/proc/18606/statm: 2378 345 289 221 0 87 0
[pid=18608] ppid=18606 vsize=13980732 memory=211364 CPUtime=2520.06 cores=0,2,4,6
/proc/18608/stat : 18608 (java) S 18606 18606 4674 0 -1 1077944320 77156 0 0 0 251940 66 0 0 20 0 15 0 126852843 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140727370036896 140413180767991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
/proc/18608/statm: 3495183 52841 3241 1 0 3483476 0
[pid=18608/tid=18609] ppid=18606 vsize=13980732 memory=211364 CPUtime=2513.35 cores=0,2,4,6
/proc/18608/task/18609/stat : 18609 (java) R 18606 18606 4674 0 -1 4202560 20636 0 0 0 251327 8 0 0 20 0 15 0 126852843 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140413185007168 140412827314797 0 4 1 16800974 0 0 0 -1 4 0 0 171 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18610] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18610/stat : 18610 (java) S 18606 18606 4674 0 -1 1077944384 1868 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140413152611472 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18611] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18611/stat : 18611 (java) S 18606 18606 4674 0 -1 1077944384 1859 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412780014608 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18612] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18612/stat : 18612 (java) S 18606 18606 4674 0 -1 1077944384 3978 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412778961808 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18613] ppid=18606 vsize=13980732 memory=298 CPUtime=0.08 cores=0,2,4,6
/proc/18608/task/18613/stat : 18613 (java) S 18606 18606 4674 0 -1 1077944384 2671 0 0 0 6 2 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412777909008 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18614] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18614/stat : 18614 (java) S 18606 18606 4674 0 -1 1077944384 3089 0 0 0 5 2 0 0 20 0 15 0 126852845 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412097599856 140413180779138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18615] ppid=18606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18615/stat : 18615 (java) S 18606 18606 4674 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412096545824 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18616] ppid=18606 vsize=13980732 memory=211364 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13980732 memory=1204 CPUtime=2.3 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) S 18606 18606 4674 0 -1 1077944384 16560 0 0 0 228 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412093389680 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13980732 memory=15880 CPUtime=2.31 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) S 18606 18606 4674 0 -1 1077944384 14251 0 0 0 229 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412092336880 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 9161 0 0 0 75 1 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18621] ppid=18606 vsize=13980732 memory=211364 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18621/stat : 18621 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852849 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412090231520 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18622] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.89 cores=0,2,4,6
/proc/18608/task/18622/stat : 18622 (java) S 18606 18606 4674 0 -1 1077944384 1658 0 0 0 38 51 0 0 20 0 15 0 126853026 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412089178800 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212744 KiB

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

[startup+2515.51 s]
# the end of solver process 18606 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001784 s, system=0.000124 s

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

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

[startup+2515.5 s]
/proc/loadavg: 1.79 1.72 1.77 3/216 18877
/proc/meminfo: memFree=26977972/32770624 swapFree=67108764/67108860
[pid=18606] ppid=18603 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18606/stat : 18606 (xcsp3-exec) S 18603 18606 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 126852818 9740288 345 18446744073709551615 4194304 5098028 140721586954480 140721586952584 140147699933820 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 24 0 0 7196144 7232144 11632640 140721586958712 140721586958917 140721586958917 140721586962411 0
/proc/18606/statm: 2378 345 289 221 0 87 0
[pid=18608] ppid=18606 vsize=13980732 memory=211364 CPUtime=2520.06 cores=0,2,4,6
/proc/18608/stat : 18608 (java) S 18606 18606 4674 0 -1 1077944320 77156 0 0 0 251940 66 0 0 20 0 15 0 126852843 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140727370036896 140413180767991 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
/proc/18608/statm: 3495183 52841 3241 1 0 3483476 0
[pid=18608/tid=18609] ppid=18606 vsize=13980732 memory=211364 CPUtime=2513.35 cores=0,2,4,6
/proc/18608/task/18609/stat : 18609 (java) R 18606 18606 4674 0 -1 4202560 20636 0 0 0 251327 8 0 0 20 0 15 0 126852843 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140413185007168 140412827314797 0 4 1 16800974 0 0 0 -1 4 0 0 171 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18610] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18610/stat : 18610 (java) S 18606 18606 4674 0 -1 1077944384 1868 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140413152611472 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18611] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18611/stat : 18611 (java) S 18606 18606 4674 0 -1 1077944384 1859 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412780014608 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18612] ppid=18606 vsize=13980732 memory=211364 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18612/stat : 18612 (java) S 18606 18606 4674 0 -1 1077944384 3978 0 0 0 6 1 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412778961808 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18613] ppid=18606 vsize=13980732 memory=298 CPUtime=0.08 cores=0,2,4,6
/proc/18608/task/18613/stat : 18613 (java) S 18606 18606 4674 0 -1 1077944384 2671 0 0 0 6 2 0 0 20 0 15 0 126852844 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412777909008 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18614] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/18608/task/18614/stat : 18614 (java) S 18606 18606 4674 0 -1 1077944384 3089 0 0 0 5 2 0 0 20 0 15 0 126852845 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412097599856 140413180779138 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18615] ppid=18606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18615/stat : 18615 (java) S 18606 18606 4674 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412096545824 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18616] ppid=18606 vsize=13980732 memory=211364 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18616/stat : 18616 (java) S 18606 18606 4674 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 126852846 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412095492976 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18617] ppid=18606 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18617/stat : 18617 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412094441296 140413180786587 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18618] ppid=18606 vsize=13980732 memory=1204 CPUtime=2.3 cores=0,2,4,6
/proc/18608/task/18618/stat : 18618 (java) S 18606 18606 4674 0 -1 1077944384 16560 0 0 0 228 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412093389680 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18619] ppid=18606 vsize=13980732 memory=15880 CPUtime=2.31 cores=0,2,4,6
/proc/18608/task/18619/stat : 18619 (java) S 18606 18606 4674 0 -1 1077944384 14251 0 0 0 229 2 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412092336880 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18620] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.76 cores=0,2,4,6
/proc/18608/task/18620/stat : 18620 (java) S 18606 18606 4674 0 -1 1077944384 9161 0 0 0 75 1 0 0 20 0 15 0 126852848 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412091284080 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18621] ppid=18606 vsize=13980732 memory=211364 CPUtime=0 cores=0,2,4,6
/proc/18608/task/18621/stat : 18621 (java) S 18606 18606 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 126852849 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412090231520 140413180778197 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
[pid=18608/tid=18622] ppid=18606 vsize=13980732 memory=1380 CPUtime=0.89 cores=0,2,4,6
/proc/18608/task/18622/stat : 18622 (java) S 18606 18606 4674 0 -1 1077944384 1658 0 0 0 38 51 0 0 20 0 15 0 126853026 14316269568 52841 18446744073709551615 4194304 4196468 140727370054352 140412089178800 140413180779138 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 31051776 140727370060209 140727370060385 140727370060385 140727370063823 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 212744 KiB

Child status: 143
Real time (s): 2515.51
CPU time (s): 2520.09
CPU user time (s): 2519.42
CPU system time (s): 0.667211
CPU usage (%): 100.182
Max. virtual memory (cumulated for all children) (KiB): 13992228
Max. memory (cumulated for all children) (KiB): 261976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.42
system time used= 0.667211
maximum resident set size= 261184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57975
involuntary context switches= 1589


# summary of solver processes directly reported to runsolver:
#   pid: 18606,18608
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.42
#   total CPU system time (s): 0.667211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6318 second user time and 23.4788 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml
MD5SUM	d63f0cb62453ec1939b86e2392ab6ad9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	351
Best CPU time to get the best result obtained on this benchmark	2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables	2969
Number of constraints	1537
Number of domains	107
Minimum domain size	2
Maximum domain size	107
Distribution of domain sizes	[{"size":2,"count":1486},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}]
Minimum variable degree	0
Maximum variable degree	53
Distribution of variable degrees	[{"degree":0,"count":1378},{"degree":2,"count":1537},{"degree":53,"count":54}]
Minimum constraint arity	2
Maximum constraint arity	54
Distribution of constraint arities	[{"arity":2,"count":54},{"arity":3,"count":1432},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":30,"count":1}, {"arity":31,"count":1}, {"arity":32,"count":1}, {"arity":33,"count":1}, {"arity":34,"count":1}, {"arity":35,"count":1}, {"arity":36,"count":1}, {"arity":37,"count":1}, {"arity":38,"count":1}, {"arity":39,"count":1}, {"arity":40,"count":1}, {"arity":41,"count":1}, {"arity":42,"count":1}, {"arity":43,"count":1}, {"arity":44,"count":1}, {"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1484
Distribution of constraint types	[{"type":"intension","count":1484},{"type":"sum","count":53}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4269147

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