2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	1547	254.58501	240.02901

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284577-1503211960.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284577-1503211960.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
1.80/0.73	c solve instance...
9.45/3.44	o 1630 
9.71/3.56	o 1607 
9.71/3.57	o 1599 
9.71/3.58	o 1547 
254.55/240.01	s SATISFIABLE
254.55/240.01	v <instantiation>
254.55/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list>
254.55/240.01	v 	<values>0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 87 36 24 58 49 16 66 25 84 90 24 56 70 84 94 83 27 23 14 48 57 59 30 95 19 14 92 36 66 21 45 25 21 49 74 95 40 41 89 46 19 75 62 22 </values>
254.55/240.01	v </instantiation>
254.55/240.01	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 (12663 MiB free)
  memory of node 1: 16384 MiB (12967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284577-1503211960/watcher-4284577-1503211960 -o /tmp/evaluation-result-4284577-1503211960/solver-4284577-1503211960 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503209106-8068 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1600150162 HOME/instance-4284577-1503211960.xml 

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

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

solver pid=9822, runsolver pid=9819

[startup+0.100139 s]*
/proc/loadavg: 1.69 1.78 1.72 3/217 9838
/proc/meminfo: memFree=26229472/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0
[pid=9824] ppid=9822 vsize=13978596 memory=28288 CPUtime=0.12 cores=1,3,5,7
/proc/9824/stat : 9824 (java) S 9822 9822 8036 0 -1 1077944320 5388 0 0 0 10 2 0 0 20 0 15 0 154283485 14314082304 7072 33554432000 4194304 4196468 140735723701472 140735723684016 140390756359927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
/proc/9824/statm: 3494649 7072 2890 1 0 3482966 0
[pid=9824/tid=9825] ppid=9822 vsize=13978596 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/9824/task/9825/stat : 9825 (java) R 9822 9822 8036 0 -1 4202560 3321 0 0 0 8 1 0 0 20 0 15 0 154283485 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390760584656 140390740440414 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9826] ppid=9822 vsize=13978596 memory=3472467878574855376 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9826/stat : 9826 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390671428752 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9827] ppid=9822 vsize=13978596 memory=139749679703680 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9827/stat : 9827 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390350973968 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9828] ppid=9822 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9828/stat : 9828 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390349921168 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9829] ppid=9822 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9829/stat : 9829 (java) S 9822 9822 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154283486 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390348868368 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9830] ppid=9822 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9830/stat : 9830 (java) S 9822 9822 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154283487 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390230468976 140390756371074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9831] ppid=9822 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9831/stat : 9831 (java) S 9822 9822 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154283487 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390229414944 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9832] ppid=9822 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154283488 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390228362096 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) S 9822 9822 8036 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 154283490 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390226258800 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390225206000 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13978596 memory=139749679703680 CPUtime=0.01 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) R 9822 9822 8036 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 15 0 154283490 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390224153200 140390735060128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13978596 memory=139749679703680 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283490 14314082304 7072 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29672 KiB

[startup+0.210685 s]*
/proc/loadavg: 1.69 1.78 1.72 4/217 9838
/proc/meminfo: memFree=26217672/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0
[pid=9824] ppid=9822 vsize=13982852 memory=40536 CPUtime=0.34 cores=1,3,5,7
/proc/9824/stat : 9824 (java) S 9822 9822 8036 0 -1 1077944320 8273 0 0 0 31 3 0 0 20 0 15 0 154283485 14318440448 10134 33554432000 4194304 4196468 140735723701472 140735723684016 140390756359927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
/proc/9824/statm: 3495713 10134 3080 1 0 3482966 0
[pid=9824/tid=9825] ppid=9822 vsize=13982852 memory=4499834149035483540 CPUtime=0.19 cores=1,3,5,7
/proc/9824/task/9825/stat : 9825 (java) R 9822 9822 8036 0 -1 4202560 5362 0 0 0 17 2 0 0 20 0 15 0 154283485 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390760570832 140390749037941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9826] ppid=9822 vsize=13982852 memory=3472467878574855376 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9826/stat : 9826 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390671428752 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9827] ppid=9822 vsize=13982852 memory=139749679703680 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9827/stat : 9827 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390350973968 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9828] ppid=9822 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9828/stat : 9828 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390349921168 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9829] ppid=9822 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9829/stat : 9829 (java) S 9822 9822 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390348868368 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9830] ppid=9822 vsize=13982852 memory=139749679703680 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9830/stat : 9830 (java) S 9822 9822 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154283487 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390230468976 140390756371074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9831] ppid=9822 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9831/stat : 9831 (java) S 9822 9822 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154283487 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390229414944 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9832] ppid=9822 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154283488 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390228362096 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) S 9822 9822 8036 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 15 0 154283490 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390226258800 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) S 9822 9822 8036 0 -1 1077944384 152 0 0 0 2 0 0 0 20 0 15 0 154283490 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390225206000 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13982852 memory=139749679703680 CPUtime=0.08 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) R 9822 9822 8036 0 -1 4202560 789 0 0 0 8 0 0 0 20 0 15 0 154283490 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390224153200 140390756381274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13982852 memory=139749679703680 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283490 14318440448 10134 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41920 KiB

[startup+0.310538 s]*
/proc/loadavg: 1.69 1.78 1.72 4/217 9838
/proc/meminfo: memFree=26213948/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0
[pid=9824] ppid=9822 vsize=13982852 memory=47412 CPUtime=0.52 cores=1,3,5,7
/proc/9824/stat : 9824 (java) S 9822 9822 8036 0 -1 1077944320 9043 0 0 0 49 3 0 0 20 0 15 0 154283485 14318440448 11853 33554432000 4194304 4196468 140735723701472 140735723684016 140390756359927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
/proc/9824/statm: 3495713 11853 3109 1 0 3482966 0
[pid=9824/tid=9825] ppid=9822 vsize=13982852 memory=-8976644418600983157 CPUtime=0.29 cores=1,3,5,7
/proc/9824/task/9825/stat : 9825 (java) R 9822 9822 8036 0 -1 4202560 5905 0 0 0 27 2 0 0 20 0 15 0 154283485 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390760597936 140390351011072 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9826] ppid=9822 vsize=13982852 memory=3472467878574855376 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9826/stat : 9826 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390671428752 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9827] ppid=9822 vsize=13982852 memory=139749679703680 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9827/stat : 9827 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390350973968 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9828] ppid=9822 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9828/stat : 9828 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390349921168 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9829] ppid=9822 vsize=13982852 memory=139749578909727 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9829/stat : 9829 (java) S 9822 9822 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154283486 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390348868368 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9830] ppid=9822 vsize=13982852 memory=279499157798688 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9830/stat : 9830 (java) S 9822 9822 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154283487 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390230468976 140390756371074 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9831] ppid=9822 vsize=13982852 memory=139749578886671 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9831/stat : 9831 (java) S 9822 9822 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154283487 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390229414944 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9832] ppid=9822 vsize=13982852 memory=279499258599520 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154283488 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390228362096 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13982852 memory=139749578891279 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) R 9822 9822 8036 0 -1 4202560 780 0 0 0 4 0 0 0 20 0 15 0 154283490 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390226248720 140390737060224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) R 9822 9822 8036 0 -1 1077944384 155 0 0 0 3 0 0 0 20 0 15 0 154283490 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390225206000 140390756371074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) R 9822 9822 8036 0 -1 4202560 905 0 0 0 13 0 0 0 20 0 15 0 154283490 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390224148960 140390756381274 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13982852 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283490 14318440448 11853 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48796 KiB

[startup+0.701226 s]
/proc/loadavg: 1.69 1.78 1.72 5/217 9838
/proc/meminfo: memFree=26185968/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0
[pid=9824] ppid=9822 vsize=13984976 memory=95564 CPUtime=1.8 cores=1,3,5,7
/proc/9824/stat : 9824 (java) S 9822 9822 8036 0 -1 1077944320 12417 0 0 0 175 5 0 0 20 0 15 0 154283485 14320615424 23891 33554432000 4194304 4196468 140735723701472 140735723684016 140390756359927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
/proc/9824/statm: 3496244 23891 3203 1 0 3483478 0
[pid=9824/tid=9825] ppid=9822 vsize=13984976 memory=279499157606448 CPUtime=0.67 cores=1,3,5,7
/proc/9824/task/9825/stat : 9825 (java) R 9822 9822 8036 0 -1 4202560 6578 0 0 0 64 3 0 0 20 0 15 0 154283485 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390760595264 140390740440444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9826] ppid=9822 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9826/stat : 9826 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390671428752 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9827] ppid=9822 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9827/stat : 9827 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390350973968 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9828] ppid=9822 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9828/stat : 9828 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283486 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390349921168 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9829] ppid=9822 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9829/stat : 9829 (java) S 9822 9822 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154283486 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390348868368 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9830] ppid=9822 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9830/stat : 9830 (java) S 9822 9822 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154283487 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390230468976 140390756371074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9831] ppid=9822 vsize=13984976 memory=8716 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9831/stat : 9831 (java) S 9822 9822 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154283487 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390229414944 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9832] ppid=9822 vsize=13984976 memory=7740655667640821056 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154283488 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390228362096 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13984976 memory=7450453974481135974 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13984976 memory=5787213827131598673 CPUtime=0.35 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) R 9822 9822 8036 0 -1 4202560 1611 0 0 0 35 0 0 0 20 0 15 0 154283490 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390226245136 140390737880662 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13984976 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) R 9822 9822 8036 0 -1 4202560 992 0 0 0 37 0 0 0 20 0 15 0 154283490 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390225206128 140390737903216 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13984976 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) S 9822 9822 8036 0 -1 1077944384 1931 0 0 0 38 0 0 0 20 0 15 0 154283490 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390224153200 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13984976 memory=42556 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 23891 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 96948 KiB

[startup+1.50123 s]
/proc/loadavg: 1.69 1.78 1.72 5/217 9838
/proc/meminfo: memFree=26143968/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0

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

/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154283488 14320615424 354300 33554432000 4194304 4196468 140735723701472 140390228362112 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 354300 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13984976 memory=6944656575208382560 CPUtime=3.82 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) S 9822 9822 8036 0 -1 1077944384 13245 0 0 0 380 2 0 0 20 0 15 0 154283490 14320615424 354300 33554432000 4194304 4196468 140735723701472 140390226258800 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13984976 memory=1384 CPUtime=3.86 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) S 9822 9822 8036 0 -1 1077944384 16693 0 0 0 384 2 0 0 20 0 15 0 154283490 14320615424 354300 33554432000 4194304 4196468 140735723701472 140390225206000 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13984976 memory=1418236 CPUtime=0.84 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) S 9822 9822 8036 0 -1 1077944384 5758 0 0 0 83 1 0 0 20 0 15 0 154283490 14320615424 354300 33554432000 4194304 4196468 140735723701472 140390224153200 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 354300 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13984976 memory=4612 CPUtime=0.04 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 130 0 0 0 2 2 0 0 20 0 15 0 154283490 14320615424 354300 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 112.65 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1418584 KiB

[startup+162.301 s]
/proc/loadavg: 1.68 1.73 1.71 3/217 9847
/proc/meminfo: memFree=24785020/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0
[pid=9824] ppid=9822 vsize=13984976 memory=1490156 CPUtime=173.69 cores=1,3,5,7
/proc/9824/stat : 9824 (java) S 9822 9822 8036 0 -1 1077944320 70990 0 0 0 17264 105 0 0 20 0 15 0 154283485 14320615424 372539 33554432000 4194304 4196468 140735723701472 140735723684016 140390756359927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
/proc/9824/statm: 3496244 372539 3267 1 0 3483478 0
[pid=9824/tid=9825] ppid=9822 vsize=13984976 memory=1490156 CPUtime=161.33 cores=1,3,5,7
/proc/9824/task/9825/stat : 9825 (java) R 9822 9822 8036 0 -1 4202560 20796 0 0 0 16115 18 0 0 20 0 15 0 154283485 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390760596656 140390353259369 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9826] ppid=9822 vsize=13984976 memory=1481332 CPUtime=0.87 cores=1,3,5,7
/proc/9824/task/9826/stat : 9826 (java) S 9822 9822 8036 0 -1 1077944384 1719 0 0 0 68 19 0 0 20 0 15 0 154283486 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390671428752 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9827] ppid=9822 vsize=13984976 memory=1490156 CPUtime=0.86 cores=1,3,5,7
/proc/9824/task/9827/stat : 9827 (java) S 9822 9822 8036 0 -1 1077944384 3093 0 0 0 68 18 0 0 20 0 15 0 154283486 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390350973968 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9828] ppid=9822 vsize=13984976 memory=1490156 CPUtime=0.88 cores=1,3,5,7
/proc/9824/task/9828/stat : 9828 (java) S 9822 9822 8036 0 -1 1077944384 863 0 0 0 69 19 0 0 20 0 15 0 154283486 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390349921168 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9829] ppid=9822 vsize=13984976 memory=1384 CPUtime=0.88 cores=1,3,5,7
/proc/9824/task/9829/stat : 9829 (java) S 9822 9822 8036 0 -1 1077944384 1254 0 0 0 69 19 0 0 20 0 15 0 154283486 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390348868368 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9830] ppid=9822 vsize=13984976 memory=2448 CPUtime=0.02 cores=1,3,5,7
/proc/9824/task/9830/stat : 9830 (java) S 9822 9822 8036 0 -1 1077944384 2019 0 0 0 2 0 0 0 20 0 15 0 154283487 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390230468976 140390756371074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9831] ppid=9822 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9831/stat : 9831 (java) S 9822 9822 8036 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154283487 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390229415008 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9832] ppid=9822 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154283488 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390228362112 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13984976 memory=2 CPUtime=3.84 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) S 9822 9822 8036 0 -1 1077944384 14254 0 0 0 382 2 0 0 20 0 15 0 154283490 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390226258800 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13984976 memory=0 CPUtime=3.99 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) S 9822 9822 8036 0 -1 1077944384 19252 0 0 0 397 2 0 0 20 0 15 0 154283490 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390225206000 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13984976 memory=8112282956445269571 CPUtime=0.86 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) S 9822 9822 8036 0 -1 1077944384 6193 0 0 0 84 2 0 0 20 0 15 0 154283490 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390224153200 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13984976 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13984976 memory=1440 CPUtime=0.07 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 204 0 0 0 3 4 0 0 20 0 15 0 154283490 14320615424 372539 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 173.69 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1491540 KiB

[startup+222.301 s]
/proc/loadavg: 2.18 1.85 1.75 3/217 9926
/proc/meminfo: memFree=24624540/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0
[pid=9824] ppid=9822 vsize=13984976 memory=1502712 CPUtime=235.94 cores=1,3,5,7
/proc/9824/stat : 9824 (java) S 9822 9822 8036 0 -1 1077944320 81972 0 0 0 23463 131 0 0 20 0 15 0 154283485 14320615424 375678 33554432000 4194304 4196468 140735723701472 140735723684016 140390756359927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
/proc/9824/statm: 3496244 375678 3280 1 0 3483478 0
[pid=9824/tid=9825] ppid=9822 vsize=13984976 memory=1502712 CPUtime=220.5 cores=1,3,5,7
/proc/9824/task/9825/stat : 9825 (java) R 9822 9822 8036 0 -1 4202560 23004 0 0 0 22032 18 0 0 20 0 15 0 154283485 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390760599232 140390358933991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9826] ppid=9822 vsize=13984976 memory=1502712 CPUtime=1.56 cores=1,3,5,7
/proc/9824/task/9826/stat : 9826 (java) S 9822 9822 8036 0 -1 1077944384 2133 0 0 0 130 26 0 0 20 0 15 0 154283486 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390671428752 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9827] ppid=9822 vsize=13984976 memory=1502712 CPUtime=1.56 cores=1,3,5,7
/proc/9824/task/9827/stat : 9827 (java) S 9822 9822 8036 0 -1 1077944384 3614 0 0 0 131 25 0 0 20 0 15 0 154283486 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390350973968 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9828] ppid=9822 vsize=13984976 memory=1384 CPUtime=1.57 cores=1,3,5,7
/proc/9824/task/9828/stat : 9828 (java) S 9822 9822 8036 0 -1 1077944384 1718 0 0 0 133 24 0 0 20 0 15 0 154283486 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390349921168 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9829] ppid=9822 vsize=13984976 memory=1502712 CPUtime=1.57 cores=1,3,5,7
/proc/9824/task/9829/stat : 9829 (java) S 9822 9822 8036 0 -1 1077944384 1896 0 0 0 132 25 0 0 20 0 15 0 154283486 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390348868368 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9830] ppid=9822 vsize=13984976 memory=1384 CPUtime=0.13 cores=1,3,5,7
/proc/9824/task/9830/stat : 9830 (java) S 9822 9822 8036 0 -1 1077944384 4891 0 0 0 13 0 0 0 20 0 15 0 154283487 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390230468976 140390756371074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9831] ppid=9822 vsize=13984976 memory=279499158234080 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9831/stat : 9831 (java) S 9822 9822 8036 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154283487 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390229415008 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9832] ppid=9822 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 154283488 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390228362112 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13984976 memory=2308 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13984976 memory=0 CPUtime=3.95 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) S 9822 9822 8036 0 -1 1077944384 15817 0 0 0 393 2 0 0 20 0 15 0 154283490 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390226258800 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13984976 memory=1502712 CPUtime=4.05 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) S 9822 9822 8036 0 -1 1077944384 20833 0 0 0 403 2 0 0 20 0 15 0 154283490 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390225206000 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13984976 memory=1384 CPUtime=0.86 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) S 9822 9822 8036 0 -1 1077944384 6476 0 0 0 84 2 0 0 20 0 15 0 154283490 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390224153200 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13984976 memory=1502712 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13984976 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 247 0 0 0 5 6 0 0 20 0 15 0 154283490 14320615424 375678 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 235.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1504096 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.20 1.87 1.76 3/217 9926
/proc/meminfo: memFree=24301752/32770624 swapFree=67108860/67108860
[pid=9822] ppid=9819 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/9822/stat : 9822 (xcsp3-exec) S 9819 9822 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154283484 9740288 346 33554432000 4194304 5098028 140726089944672 140726089942776 140397552370300 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 22450176 140726089950324 140726089950528 140726089950528 140726089953259 0
/proc/9822/statm: 2378 346 289 221 0 87 0
[pid=9824] ppid=9822 vsize=13984976 memory=1513076 CPUtime=254.55 cores=1,3,5,7
/proc/9824/stat : 9824 (java) S 9822 9822 8036 0 -1 1077944320 86361 0 0 0 25312 143 0 0 20 0 15 0 154283485 14320615424 378269 33554432000 4194304 4196468 140735723701472 140735723684016 140390756359927 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
/proc/9824/statm: 3496244 378269 3282 1 0 3483478 0
[pid=9824/tid=9825] ppid=9822 vsize=13984976 memory=2448 CPUtime=238.06 cores=1,3,5,7
/proc/9824/task/9825/stat : 9825 (java) R 9822 9822 8036 0 -1 4202560 23073 0 0 0 23788 18 0 0 20 0 15 0 154283485 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390760596656 140390357620844 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9826] ppid=9822 vsize=13984976 memory=-7003737579269690708 CPUtime=1.7 cores=1,3,5,7
/proc/9824/task/9826/stat : 9826 (java) S 9822 9822 8036 0 -1 1077944384 2430 0 0 0 142 28 0 0 20 0 15 0 154283486 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390671428752 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9827] ppid=9822 vsize=13984976 memory=932 CPUtime=1.71 cores=1,3,5,7
/proc/9824/task/9827/stat : 9827 (java) S 9822 9822 8036 0 -1 1077944384 4002 0 0 0 144 27 0 0 20 0 15 0 154283486 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390350973968 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9828] ppid=9822 vsize=13984976 memory=1384 CPUtime=1.72 cores=1,3,5,7
/proc/9824/task/9828/stat : 9828 (java) S 9822 9822 8036 0 -1 1077944384 1781 0 0 0 145 27 0 0 20 0 15 0 154283486 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390349921168 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9829] ppid=9822 vsize=13984976 memory=1511612 CPUtime=1.72 cores=1,3,5,7
/proc/9824/task/9829/stat : 9829 (java) S 9822 9822 8036 0 -1 1077944384 1971 0 0 0 144 28 0 0 20 0 15 0 154283486 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390348868368 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9830] ppid=9822 vsize=13984976 memory=4124 CPUtime=0.13 cores=1,3,5,7
/proc/9824/task/9830/stat : 9830 (java) S 9822 9822 8036 0 -1 1077944384 4916 0 0 0 13 0 0 0 20 0 15 0 154283487 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390230468976 140390756371074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9831] ppid=9822 vsize=13984976 memory=2196 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9831/stat : 9831 (java) S 9822 9822 8036 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154283487 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390229415008 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9832] ppid=9822 vsize=13984976 memory=7788 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9832/stat : 9832 (java) S 9822 9822 8036 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 154283488 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390228362112 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9833] ppid=9822 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9833/stat : 9833 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390227310416 140390756378523 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9834] ppid=9822 vsize=13984976 memory=4100 CPUtime=4.14 cores=1,3,5,7
/proc/9824/task/9834/stat : 9834 (java) S 9822 9822 8036 0 -1 1077944384 17356 0 0 0 412 2 0 0 20 0 15 0 154283490 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390226258800 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9835] ppid=9822 vsize=13984976 memory=1692 CPUtime=4.28 cores=1,3,5,7
/proc/9824/task/9835/stat : 9835 (java) S 9822 9822 8036 0 -1 1077944384 22179 0 0 0 426 2 0 0 20 0 15 0 154283490 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390225206000 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9836] ppid=9822 vsize=13984976 memory=916 CPUtime=0.89 cores=1,3,5,7
/proc/9824/task/9836/stat : 9836 (java) S 9822 9822 8036 0 -1 1077944384 7032 0 0 0 87 2 0 0 20 0 15 0 154283490 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390224153200 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9837] ppid=9822 vsize=13984976 memory=3828 CPUtime=0 cores=1,3,5,7
/proc/9824/task/9837/stat : 9837 (java) S 9822 9822 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154283490 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390223100640 140390756370133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
[pid=9824/tid=9838] ppid=9822 vsize=13984976 memory=2548 CPUtime=0.11 cores=1,3,5,7
/proc/9824/task/9838/stat : 9838 (java) S 9822 9822 8036 0 -1 1077944384 254 0 0 0 5 6 0 0 20 0 15 0 154283490 14320615424 378269 33554432000 4194304 4196468 140735723701472 140390222047920 140390756371074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10682368 140735723705501 140735723705676 140735723705676 140735723708367 0
Current children cumulated CPU time: 254.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1514460 KiB

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

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

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

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

Child status: 143
Real time (s): 240.029
CPU time (s): 254.585
CPU user time (s): 253.142
CPU system time (s): 1.44276
CPU usage (%): 106.064
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 1586800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.142
system time used= 1.44277
maximum resident set size= 1587304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8887
involuntary context switches= 264


# summary of solver processes directly reported to runsolver:
#   pid: 9822,9824
#   total CPU time (s): 254.585
#   total CPU user time (s): 253.142
#   total CPU system time (s): 1.44276

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54999 second user time and 2.35589 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml
MD5SUM	ccd62f28d001d5578c14e849049b60f5
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	715
Best CPU time to get the best result obtained on this benchmark	251.91701
Satisfiable
(Un)Satisfiability was proved
Number of variables	2070
Number of constraints	2024
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree	0
Maximum variable degree	87
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity	1
Maximum constraint arity	44
Distribution of constraint arities	[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints	0
Number of intensional constraints	44
Distribution of constraint types	[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4284577

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