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 5a (2017-07-26)	SAT (TO)	535	2520.0801	2462.9199

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272087-1502792511.xml"  -tl '2520s' -p 1 -x 3
0.11/0.14	c [HOME/instance-4272087-1502792511.xml, -tl, 2520s, -p, 1, -x, 3]
0.11/0.20	c simple solver
0.32/0.26	c parse instance...
2.39/0.90	c solve instance...
3.00/1.14	o 751 
129.97/119.19	o 711 
399.18/380.93	o 663 
405.65/386.36	o 639 
435.39/415.47	o 623 
583.11/559.11	o 583 
589.92/565.83	o 535 
2520.05/2462.90	s SATISFIABLE
2520.05/2462.90	v <instantiation>
2520.05/2462.90	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.05/2462.90	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 -2 -5 -6 7 -2 -3 0 -3 2 5 4 -1 -4 3 -2 3 -4 -5 0 1 0 -5 0 -1 2 -7 -4 -1 2 3 2 1 2 -1 2 -1 0 -1 -10 3 2 5 0 1 2 1 0 -1 0 -1 0 -1 1 4 25 36 49 4 9 0 9 4 25 16 1 16 9 4 9 16 25 0 1 0 25 0 1 4 49 16 1 4 9 4 1 4 1 4 1 0 1 100 9 4 25 0 1 4 1 0 1 0 1 0 1 </values>
2520.05/2462.90	v </instantiation>
2520.05/2462.90	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 (15262 MiB free)
  memory of node 1: 16384 MiB (11149 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272087-1502792511/watcher-4272087-1502792511 -o /tmp/evaluation-result-4272087-1502792511/solver-4272087-1502792511 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1502786318-30226 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 181011054 HOME/instance-4272087-1502792511.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=394, runsolver pid=391

[startup+0.100059 s]*
/proc/loadavg: 1.84 1.87 1.94 3/217 410
/proc/meminfo: memFree=27029504/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0
[pid=396] ppid=394 vsize=13978596 memory=28816 CPUtime=0.11 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 394 30195 0 -1 1077944320 5533 0 0 0 10 1 0 0 20 0 15 0 112339411 14314082304 7204 33554432000 4194304 4196468 140724506912192 140724506894736 139954729844471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
/proc/396/statm: 3494649 7204 2877 1 0 3482966 0
[pid=396/tid=397] ppid=394 vsize=13978596 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 394 30195 0 -1 4202560 3576 0 0 0 8 1 0 0 20 0 15 0 112339412 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954734077744 139954729856406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=398] ppid=394 vsize=13978596 memory=543 CPUtime=0 cores=0,2,4,6
/proc/396/task/398/stat : 398 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954667444880 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=399] ppid=394 vsize=13978596 memory=140198299626781 CPUtime=0 cores=0,2,4,6
/proc/396/task/399/stat : 399 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954666392080 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=400] ppid=394 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/400/stat : 400 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339413 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954665339280 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=401] ppid=394 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/396/task/401/stat : 401 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954322151696 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=402] ppid=394 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339414 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954271243120 139954729855618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=403] ppid=394 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 394 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112339414 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954270189088 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=404] ppid=394 vsize=13978596 memory=140198299596416 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112339415 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954269136240 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 394 30195 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 112339417 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954267031920 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954265979120 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13978596 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) R 394 394 30195 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 112339417 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954264926320 139954729856406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339417 14314082304 7204 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30200 KiB

[startup+0.210675 s]*
/proc/loadavg: 1.84 1.87 1.94 3/217 410
/proc/meminfo: memFree=27018988/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0
[pid=396] ppid=394 vsize=13982852 memory=39712 CPUtime=0.32 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 394 30195 0 -1 1077944320 8012 0 0 0 30 2 0 0 20 0 15 0 112339411 14318440448 9928 33554432000 4194304 4196468 140724506912192 140724506894736 139954729844471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
/proc/396/statm: 3495713 9928 3042 1 0 3482966 0
[pid=396/tid=397] ppid=394 vsize=13982852 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) D 394 394 30195 0 -1 1077944384 5326 0 0 0 18 1 0 0 20 0 15 0 112339412 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954734046160 139954722523693 0 4 0 16800975 18446744072101568036 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=398] ppid=394 vsize=13982852 memory=543 CPUtime=0 cores=0,2,4,6
/proc/396/task/398/stat : 398 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954667444880 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=399] ppid=394 vsize=13982852 memory=140198299626781 CPUtime=0 cores=0,2,4,6
/proc/396/task/399/stat : 399 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954666392080 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=400] ppid=394 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/400/stat : 400 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339413 14318473216 9948 33554432000 4194304 4196468 140724506912192 139954665339280 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=401] ppid=394 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/396/task/401/stat : 401 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14318473216 9948 33554432000 4194304 4196468 140724506912192 139954322151696 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=402] ppid=394 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339414 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954271243120 139954729855618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=403] ppid=394 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 394 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112339414 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954270189088 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=404] ppid=394 vsize=13982852 memory=140198299596416 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112339415 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954269136240 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 394 30195 0 -1 1077944384 577 0 0 0 2 0 0 0 20 0 15 0 112339417 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954267031920 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 394 30195 0 -1 1077944384 197 0 0 0 2 0 0 0 20 0 15 0 112339417 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954265979120 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13982852 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 394 30195 0 -1 1077944384 651 0 0 0 7 0 0 0 20 0 15 0 112339417 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954264926320 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14318440448 9948 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339417 14318473216 9948 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41096 KiB

[startup+0.310465 s]*
/proc/loadavg: 1.84 1.87 1.94 4/217 410
/proc/meminfo: memFree=27012412/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0
[pid=396] ppid=394 vsize=13982852 memory=47152 CPUtime=0.49 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 394 30195 0 -1 1077944320 8922 0 0 0 46 3 0 0 20 0 15 0 112339411 14318440448 11788 33554432000 4194304 4196468 140724506912192 140724506894736 139954729844471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
/proc/396/statm: 3495713 11788 3112 1 0 3482966 0
[pid=396/tid=397] ppid=394 vsize=13982852 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 394 30195 0 -1 4202560 5964 0 0 0 27 2 0 0 20 0 15 0 112339412 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954734083648 139954713924958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=398] ppid=394 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/396/task/398/stat : 398 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954667444880 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=399] ppid=394 vsize=13982852 memory=8187704045996106359 CPUtime=0 cores=0,2,4,6
/proc/396/task/399/stat : 399 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954666392080 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=400] ppid=394 vsize=13982852 memory=6945782492362334265 CPUtime=0 cores=0,2,4,6
/proc/396/task/400/stat : 400 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339413 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954665339280 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=401] ppid=394 vsize=13982852 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/396/task/401/stat : 401 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954322151696 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=402] ppid=394 vsize=13982852 memory=8326441112149131687 CPUtime=0 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339414 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954271243120 139954729855618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=403] ppid=394 vsize=13982852 memory=-8609294073281748341 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 394 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112339414 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954270189088 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=404] ppid=394 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112339415 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954269136240 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 394 30195 0 -1 1077944384 701 0 0 0 3 0 0 0 20 0 15 0 112339417 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954267031920 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 394 30195 0 -1 1077944384 208 0 0 0 3 0 0 0 20 0 15 0 112339417 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954265979120 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) R 394 394 30195 0 -1 4202560 774 0 0 0 12 0 0 0 20 0 15 0 112339417 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954264922000 139954722941307 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13982852 memory=4640767346415259729 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13982852 memory=7518308032503440984 CPUtime=0 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339417 14318440448 11788 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48536 KiB

[startup+0.700884 s]
/proc/loadavg: 1.84 1.87 1.94 6/217 410
/proc/meminfo: memFree=26985912/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0
[pid=396] ppid=394 vsize=13984976 memory=93136 CPUtime=1.73 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 394 30195 0 -1 1077944320 12362 0 0 0 168 5 0 0 20 0 15 0 112339411 14320615424 23284 33554432000 4194304 4196468 140724506912192 140724506894736 139954729844471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
/proc/396/statm: 3496244 23284 3210 1 0 3483478 0
[pid=396/tid=397] ppid=394 vsize=13984976 memory=7381234215642296426 CPUtime=0.66 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 394 30195 0 -1 4202560 6644 0 0 0 63 3 0 0 20 0 15 0 112339412 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954734081152 139954344766592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=398] ppid=394 vsize=13984976 memory=7373911455418706026 CPUtime=0 cores=0,2,4,6
/proc/396/task/398/stat : 398 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954667444880 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=399] ppid=394 vsize=13984976 memory=7444563886464394860 CPUtime=0 cores=0,2,4,6
/proc/396/task/399/stat : 399 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954666392080 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=400] ppid=394 vsize=13984976 memory=12880606923214 CPUtime=0 cores=0,2,4,6
/proc/396/task/400/stat : 400 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339413 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954665339280 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=401] ppid=394 vsize=13984976 memory=288230604657656139 CPUtime=0 cores=0,2,4,6
/proc/396/task/401/stat : 401 (java) S 394 394 30195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 112339413 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954322151696 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=402] ppid=394 vsize=13984976 memory=13573703929702134 CPUtime=0 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 394 30195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 112339414 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954271243120 139954729855618 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=403] ppid=394 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 394 30195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 112339414 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954270189088 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=404] ppid=394 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 112339415 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954269136240 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13984976 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) R 394 394 30195 0 -1 4202560 1235 0 0 0 32 0 0 0 20 0 15 0 112339417 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954267015968 139954710589035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13984976 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) R 394 394 30195 0 -1 4202560 1326 0 0 0 32 0 0 0 20 0 15 0 112339417 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954265965216 139954707439329 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13984976 memory=0 CPUtime=0.4 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) R 394 394 30195 0 -1 4202560 1849 0 0 0 39 1 0 0 20 0 15 0 112339417 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954264920272 139954722941307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 112339417 14320615424 23284 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 94520 KiB

[startup+1.50079 s]
/proc/loadavg: 1.93 1.89 1.94 4/217 410
/proc/meminfo: memFree=26913556/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0

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

/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 112339415 14322712576 266023 33554432000 4194304 4196468 140724506912192 139954269136256 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 266023 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13987024 memory=4136 CPUtime=5.32 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 394 30195 0 -1 1077944384 24717 0 0 0 529 3 0 0 20 0 15 0 112339417 14322712576 266023 33554432000 4194304 4196468 140724506912192 139954267031920 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13987024 memory=1384 CPUtime=4.69 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 394 30195 0 -1 1077944384 20140 0 0 0 466 3 0 0 20 0 15 0 112339417 14322712576 266023 33554432000 4194304 4196468 140724506912192 139954265979120 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13987024 memory=1064092 CPUtime=1.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 394 30195 0 -1 1077944384 11455 0 0 0 103 2 0 0 20 0 15 0 112339417 14322712576 266023 33554432000 4194304 4196468 140724506912192 139954264926320 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 266023 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13987024 memory=1064092 CPUtime=0.95 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1272 0 0 0 44 51 0 0 20 0 15 0 112339417 14322712576 266023 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 2438.67 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 1065476 KiB

[startup+2442.3 s]
/proc/loadavg: 2.12 1.87 1.81 3/217 575
/proc/meminfo: memFree=29642252/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0
[pid=396] ppid=394 vsize=13987024 memory=1111276 CPUtime=2499.2 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 394 30195 0 -1 1077944320 263647 0 0 0 249637 283 0 0 20 0 15 0 112339411 14322712576 277819 33554432000 4194304 4196468 140724506912192 140724506894736 139954729844471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
/proc/396/statm: 3496756 277819 3286 1 0 3483990 0
[pid=396/tid=397] ppid=394 vsize=13987024 memory=1111276 CPUtime=2426.4 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 394 30195 0 -1 4202560 97309 0 0 0 242626 14 0 0 20 0 15 0 112339412 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954734083840 139954348477137 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=398] ppid=394 vsize=13987024 memory=1111276 CPUtime=15.03 cores=0,2,4,6
/proc/396/task/398/stat : 398 (java) S 394 394 30195 0 -1 1077944384 20054 0 0 0 1449 54 0 0 20 0 15 0 112339413 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954667444880 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=399] ppid=394 vsize=13987024 memory=1384 CPUtime=15.05 cores=0,2,4,6
/proc/396/task/399/stat : 399 (java) S 394 394 30195 0 -1 1077944384 20391 0 0 0 1451 54 0 0 20 0 15 0 112339413 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954666392080 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=400] ppid=394 vsize=13987024 memory=6947385649911455296 CPUtime=15.04 cores=0,2,4,6
/proc/396/task/400/stat : 400 (java) S 394 394 30195 0 -1 1077944384 24455 0 0 0 1450 54 0 0 20 0 15 0 112339413 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954665339280 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=401] ppid=394 vsize=13987024 memory=2404 CPUtime=15.03 cores=0,2,4,6
/proc/396/task/401/stat : 401 (java) S 394 394 30195 0 -1 1077944384 18248 0 0 0 1450 53 0 0 20 0 15 0 112339413 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954322151696 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=402] ppid=394 vsize=13987024 memory=1384 CPUtime=0.54 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 394 30195 0 -1 1077944384 24194 0 0 0 47 7 0 0 20 0 15 0 112339414 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954271243120 139954729855618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=403] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 394 30195 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112339414 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954270189152 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=404] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 112339415 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954269136256 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13987024 memory=1111276 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13987024 memory=1384 CPUtime=5.32 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 394 30195 0 -1 1077944384 24720 0 0 0 529 3 0 0 20 0 15 0 112339417 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954267031920 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13987024 memory=1384 CPUtime=4.69 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 394 30195 0 -1 1077944384 20142 0 0 0 466 3 0 0 20 0 15 0 112339417 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954265979120 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13987024 memory=1111276 CPUtime=1.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 394 30195 0 -1 1077944384 11458 0 0 0 103 2 0 0 20 0 15 0 112339417 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954264926320 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13987024 memory=1111276 CPUtime=0.97 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1297 0 0 0 45 52 0 0 20 0 15 0 112339417 14322712576 277819 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 2499.2 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 1112660 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2462.9 s]
/proc/loadavg: 2.29 1.92 1.83 3/217 576
/proc/meminfo: memFree=29557416/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0
[pid=396] ppid=394 vsize=13987024 memory=1170752 CPUtime=2520.05 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 394 30195 0 -1 1077944320 264638 0 0 0 251715 290 0 0 20 0 15 0 112339411 14322712576 292688 33554432000 4194304 4196468 140724506912192 140724506894736 139954729844471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
/proc/396/statm: 3496756 292688 3286 1 0 3483990 0
[pid=396/tid=397] ppid=394 vsize=13987024 memory=1170752 CPUtime=2446.91 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 394 30195 0 -1 4202560 97555 0 0 0 244677 14 0 0 20 0 15 0 112339412 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954734084288 139954350582563 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=398] ppid=394 vsize=13987024 memory=1170752 CPUtime=15.11 cores=0,2,4,6
/proc/396/task/398/stat : 398 (java) S 394 394 30195 0 -1 1077944384 20109 0 0 0 1456 55 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954667444880 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=399] ppid=394 vsize=13987024 memory=1170752 CPUtime=15.13 cores=0,2,4,6
/proc/396/task/399/stat : 399 (java) S 394 394 30195 0 -1 1077944384 20429 0 0 0 1458 55 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954666392080 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=400] ppid=394 vsize=13987024 memory=1170752 CPUtime=15.12 cores=0,2,4,6
/proc/396/task/400/stat : 400 (java) S 394 394 30195 0 -1 1077944384 24888 0 0 0 1456 56 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954665339280 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=401] ppid=394 vsize=13987024 memory=0 CPUtime=15.11 cores=0,2,4,6
/proc/396/task/401/stat : 401 (java) S 394 394 30195 0 -1 1077944384 18294 0 0 0 1456 55 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954322151696 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=402] ppid=394 vsize=13987024 memory=1760936591837 CPUtime=0.54 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 394 30195 0 -1 1077944384 24365 0 0 0 47 7 0 0 20 0 15 0 112339414 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954271243120 139954729855618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=403] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 394 30195 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112339414 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954270189152 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=404] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 112339415 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954269136256 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13987024 memory=1111256 CPUtime=5.32 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 394 30195 0 -1 1077944384 24720 0 0 0 529 3 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954267031920 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13987024 memory=1384 CPUtime=4.69 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 394 30195 0 -1 1077944384 20142 0 0 0 466 3 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954265979120 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13987024 memory=1384 CPUtime=1.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 394 30195 0 -1 1077944384 11458 0 0 0 103 2 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954264926320 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13987024 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13987024 memory=4316 CPUtime=0.98 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1299 0 0 0 46 52 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 1172136 KiB

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

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

[startup+2462.92 s]
# the end of solver process 396 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.17 s, system=2.91247 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+2462.9 s]
/proc/loadavg: 2.29 1.92 1.83 3/217 576
/proc/meminfo: memFree=29557416/32770624 swapFree=67108860/67108860
[pid=394] ppid=391 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/394/stat : 394 (xcsp3-exec) S 391 394 30195 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 112339411 9740288 346 33554432000 4194304 5098028 140724606855600 140724606853704 140042227483260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20172800 140724606862447 140724606862651 140724606862651 140724606865387 0
/proc/394/statm: 2378 346 289 221 0 87 0
[pid=396] ppid=394 vsize=13987024 memory=1170752 CPUtime=2520.05 cores=0,2,4,6
/proc/396/stat : 396 (java) S 394 394 30195 0 -1 1077944320 264638 0 0 0 251715 290 0 0 20 0 15 0 112339411 14322712576 292688 33554432000 4194304 4196468 140724506912192 140724506894736 139954729844471 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
/proc/396/statm: 3496756 292688 3286 1 0 3483990 0
[pid=396/tid=397] ppid=394 vsize=13987024 memory=1170752 CPUtime=2446.91 cores=0,2,4,6
/proc/396/task/397/stat : 397 (java) R 394 394 30195 0 -1 4202560 97555 0 0 0 244677 14 0 0 20 0 15 0 112339412 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954734084288 139954350582563 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=398] ppid=394 vsize=13987024 memory=1170752 CPUtime=15.11 cores=0,2,4,6
/proc/396/task/398/stat : 398 (java) S 394 394 30195 0 -1 1077944384 20109 0 0 0 1456 55 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954667444880 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=399] ppid=394 vsize=13987024 memory=1170752 CPUtime=15.13 cores=0,2,4,6
/proc/396/task/399/stat : 399 (java) S 394 394 30195 0 -1 1077944384 20429 0 0 0 1458 55 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954666392080 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=400] ppid=394 vsize=13987024 memory=1170752 CPUtime=15.12 cores=0,2,4,6
/proc/396/task/400/stat : 400 (java) S 394 394 30195 0 -1 1077944384 24888 0 0 0 1456 56 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954665339280 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=401] ppid=394 vsize=13987024 memory=0 CPUtime=15.11 cores=0,2,4,6
/proc/396/task/401/stat : 401 (java) S 394 394 30195 0 -1 1077944384 18294 0 0 0 1456 55 0 0 20 0 15 0 112339413 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954322151696 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=402] ppid=394 vsize=13987024 memory=1760936591837 CPUtime=0.54 cores=0,2,4,6
/proc/396/task/402/stat : 402 (java) S 394 394 30195 0 -1 1077944384 24365 0 0 0 47 7 0 0 20 0 15 0 112339414 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954271243120 139954729855618 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=403] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/403/stat : 403 (java) S 394 394 30195 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 112339414 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954270189152 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=404] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/404/stat : 404 (java) S 394 394 30195 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 112339415 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954269136256 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=405] ppid=394 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/396/task/405/stat : 405 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954268084560 139954729863067 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=406] ppid=394 vsize=13987024 memory=1111256 CPUtime=5.32 cores=0,2,4,6
/proc/396/task/406/stat : 406 (java) S 394 394 30195 0 -1 1077944384 24720 0 0 0 529 3 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954267031920 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=407] ppid=394 vsize=13987024 memory=1384 CPUtime=4.69 cores=0,2,4,6
/proc/396/task/407/stat : 407 (java) S 394 394 30195 0 -1 1077944384 20142 0 0 0 466 3 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954265979120 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=408] ppid=394 vsize=13987024 memory=1384 CPUtime=1.05 cores=0,2,4,6
/proc/396/task/408/stat : 408 (java) S 394 394 30195 0 -1 1077944384 11458 0 0 0 103 2 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954264926320 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=409] ppid=394 vsize=13987024 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/396/task/409/stat : 409 (java) S 394 394 30195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954263873760 139954729854677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
[pid=396/tid=410] ppid=394 vsize=13987024 memory=4316 CPUtime=0.98 cores=0,2,4,6
/proc/396/task/410/stat : 410 (java) S 394 394 30195 0 -1 1077944384 1299 0 0 0 46 52 0 0 20 0 15 0 112339417 14322712576 292688 33554432000 4194304 4196468 140724506912192 139954262822064 139954729855618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24145920 140724506920087 140724506920263 140724506920263 140724506922959 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 1172136 KiB

Child status: 143
Real time (s): 2462.92
CPU time (s): 2520.08
CPU user time (s): 2517.17
CPU system time (s): 2.91247
CPU usage (%): 102.321
Max. virtual memory (cumulated for all children) (KiB): 13996784
Max. memory (cumulated for all children) (KiB): 1172136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.17
system time used= 2.91247
maximum resident set size= 1171284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265425
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62489
involuntary context switches= 3395


# summary of solver processes directly reported to runsolver:
#   pid: 394,396
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2517.17
#   total CPU system time (s): 2.91247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9755 second user time and 21.4944 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 4272087

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