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)	1443	2520.1101	2443.6101

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272307-1502756563.xml"  -tl '2520s' -p 1 -x 3
0.11/0.26	c [HOME/instance-4272307-1502756563.xml, -tl, 2520s, -p, 1, -x, 3]
0.30/0.32	c simple solver
0.30/0.39	c parse instance...
1.76/0.87	c solve instance...
9.74/3.61	o 1630 
10.07/3.72	o 1607 
10.07/3.74	o 1599 
10.07/3.74	o 1547 
1511.33/1462.37	o 1538 
1511.58/1462.50	o 1519 
1511.58/1462.51	o 1498 
1511.79/1462.74	o 1471 
1512.29/1463.28	o 1461 
1512.29/1463.28	o 1451 
1514.01/1464.80	o 1446 
1514.01/1464.81	o 1443 
2520.09/2443.60	s SATISFIABLE
2520.09/2443.60	v <instantiation>
2520.09/2443.60	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>
2520.09/2443.60	v 	<values>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 1 0 1 1 0 0 0 0 0 0 1 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 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 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 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 46 77 39 98 96 94 88 74 59 82 11 21 25 53 64 58 56 30 14 41 45 31 82 74 67 48 42 18 34 63 54 6 29 13 15 22 92 65 24 79 78 17 26 8 </values>
2520.09/2443.60	v </instantiation>
2520.09/2443.60	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 (14790 MiB free)
  memory of node 1: 16384 MiB (15245 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272307-1502756563/watcher-4272307-1502756563 -o /tmp/evaluation-result-4272307-1502756563/solver-4272307-1502756563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1203541955 HOME/instance-4272307-1502756563.xml 

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

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=21929, runsolver pid=21926

[startup+0.101991 s]*
/proc/loadavg: 1.27 1.50 1.52 3/207 21939
/proc/meminfo: memFree=30747768/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13574484 memory=18300 CPUtime=0.04 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 3930 0 0 0 3 1 0 0 20 0 9 0 29538875 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3393621 4575 2138 1 0 3383118 0
[pid=21931/tid=21932] ppid=21929 vsize=13574484 memory=7078076838863583841 CPUtime=0.03 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 2634 0 0 0 3 0 0 0 20 0 9 0 29538875 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029776678776 140029758511502 0 4 1 16800970 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13574484 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 29538876 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13574484 memory=140170857625216 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 29538876 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 29538876 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21936/stat : 21936 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 29538876 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029369236624 140029772453589 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21937] ppid=21929 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21937/stat : 21937 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 29538877 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029250971632 140029772454530 0 0 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21938] ppid=21929 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21938/stat : 21938 (java) S 21929 21929 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 29538878 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029249917856 140029772453589 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21939] ppid=21929 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 29538878 13900271616 4575 18446744073709551615 4194304 4196468 140735053106832 140029248865264 140029772453589 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19680 KiB

[startup+0.209919 s]*
/proc/loadavg: 1.27 1.50 1.52 4/213 21945
/proc/meminfo: memFree=30740988/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13974352 memory=27960 CPUtime=0.11 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 5344 0 0 0 10 1 0 0 20 0 15 0 29538875 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3493588 6990 2874 1 0 3482964 0
[pid=21931/tid=21932] ppid=21929 vsize=13974352 memory=7078076838863583841 CPUtime=0.09 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 3355 0 0 0 8 1 0 0 20 0 15 0 29538875 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029776664192 140029772455318 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13974352 memory=140170857625216 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21936/stat : 21936 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029369236624 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21937] ppid=21929 vsize=13974352 memory=140170857625216 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21937/stat : 21937 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538877 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029250971632 140029772454530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21938] ppid=21929 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21938/stat : 21938 (java) S 21929 21929 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 29538878 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029249917856 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21939] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 29538878 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029248865264 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21940] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21940/stat : 21940 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029247813840 140029772461979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21941] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21941/stat : 21941 (java) S 21929 21929 7968 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 29538880 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029246761456 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21942] ppid=21929 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21942/stat : 21942 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029245708912 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21943] ppid=21929 vsize=13974352 memory=140170857625216 CPUtime=0.01 cores=1,3,5,7
/proc/21931/task/21943/stat : 21943 (java) R 21929 21929 7968 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 15 0 29538880 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029244656368 140029772464730 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21944] ppid=21929 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21944/stat : 21944 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029243604064 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21945] ppid=21929 vsize=13974352 memory=140170857625216 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21945/stat : 21945 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538886 14309736448 6990 18446744073709551615 4194304 4196468 140735053106832 140029242550576 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29340 KiB

[startup+0.31219 s]*
/proc/loadavg: 1.27 1.50 1.52 4/213 21945
/proc/meminfo: memFree=30727388/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13974352 memory=39704 CPUtime=0.3 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 9075 0 0 0 26 4 0 0 20 0 15 0 29538875 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3493588 9926 3025 1 0 3482964 0
[pid=21931/tid=21932] ppid=21929 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 6251 0 0 0 15 2 0 0 20 0 15 0 29538875 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029776661456 140029772455318 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13974352 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21936/stat : 21936 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538876 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029369236624 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21937] ppid=21929 vsize=13974352 memory=140170857632209 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21937/stat : 21937 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538877 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029250971632 140029772454530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21938] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21938/stat : 21938 (java) S 21929 21929 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 29538878 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029249917856 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21939] ppid=21929 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 29538878 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029248865264 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21940] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21940/stat : 21940 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029247813840 140029772461979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21941] ppid=21929 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21931/task/21941/stat : 21941 (java) S 21929 21929 7968 0 -1 1077944384 550 0 0 0 2 0 0 0 20 0 15 0 29538880 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029246761456 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21942] ppid=21929 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21931/task/21942/stat : 21942 (java) S 21929 21929 7968 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 29538880 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029245708912 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21943] ppid=21929 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/21931/task/21943/stat : 21943 (java) R 21929 21929 7968 0 -1 4202560 754 0 0 0 6 0 0 0 20 0 15 0 29538880 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029244656368 140029772455318 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21944] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21944/stat : 21944 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029243604064 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21945] ppid=21929 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21945/stat : 21945 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538886 14309736448 9926 18446744073709551615 4194304 4196468 140735053106832 140029242550576 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41084 KiB

[startup+0.701231 s]
/proc/loadavg: 1.32 1.51 1.52 6/213 21945
/proc/meminfo: memFree=30712992/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13980732 memory=81592 CPUtime=1.39 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 13601 0 0 0 133 6 0 0 20 0 15 0 29538875 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3495183 20398 3162 1 0 3483476 0
[pid=21931/tid=21932] ppid=21929 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 7974 0 0 0 51 4 0 0 20 0 15 0 29538875 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029776681072 140029756523870 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538876 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21936/stat : 21936 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538876 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029369236624 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21937] ppid=21929 vsize=13980732 memory=36 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21937/stat : 21937 (java) S 21929 21929 7968 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 29538877 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029250971632 140029772454530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21938] ppid=21929 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21938/stat : 21938 (java) S 21929 21929 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029249917856 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21939] ppid=21929 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029248865264 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21940] ppid=21929 vsize=13980732 memory=7883313791582089521 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21940/stat : 21940 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029247813840 140029772461979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21941] ppid=21929 vsize=13980732 memory=4124 CPUtime=0.23 cores=1,3,5,7
/proc/21931/task/21941/stat : 21941 (java) R 21929 21929 7968 0 -1 4202560 1136 0 0 0 23 0 0 0 20 0 15 0 29538880 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029246747336 140029753964843 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21942] ppid=21929 vsize=13980732 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/21931/task/21942/stat : 21942 (java) R 21929 21929 7968 0 -1 4202560 1217 0 0 0 27 0 0 0 20 0 15 0 29538880 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029245695936 140029755999720 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21943] ppid=21929 vsize=13980732 memory=140170754007664 CPUtime=0.31 cores=1,3,5,7
/proc/21931/task/21943/stat : 21943 (java) R 21929 21929 7968 0 -1 4202560 1965 0 0 0 30 1 0 0 20 0 15 0 29538880 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029244656368 140029772464730 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21944] ppid=21929 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21944/stat : 21944 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029243604064 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21945] ppid=21929 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21945/stat : 21945 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538886 14316269568 20398 18446744073709551615 4194304 4196468 140735053106832 140029242550576 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82972 KiB

[startup+1.50073 s]
/proc/loadavg: 1.32 1.51 1.52 6/213 21945
/proc/meminfo: memFree=30669000/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13980732 memory=130900 CPUtime=3.62 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 23132 0 0 0 353 9 0 0 20 0 15 0 29538875 14316269568 32698 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3495183 32698 3187 1 0 3483476 0
[pid=21931/tid=21932] ppid=21929 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 9865 0 0 0 130 5 0 0 20 0 15 0 29538875 14316269568 32725 18446744073709551615 4194304 4196468 140735053106832 140029776681472 140029756973093 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14316269568 32725 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 29538876 14316269568 32725 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13980732 memory=11830 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 29538876 14316269568 32725 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13980732 memory=20825 CPUtime=0 cores=1,3,5,7

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

/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 280413 18446744073709551615 4194304 4196468 140735053106832 140029248865280 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21940] ppid=21929 vsize=13980732 memory=1121652 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21940/stat : 21940 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 280413 18446744073709551615 4194304 4196468 140735053106832 140029247813840 140029772461979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21941] ppid=21929 vsize=13980732 memory=1380 CPUtime=5.29 cores=1,3,5,7
/proc/21931/task/21941/stat : 21941 (java) S 21929 21929 7968 0 -1 1077944384 27773 0 0 0 526 3 0 0 20 0 15 0 29538880 14316269568 280413 18446744073709551615 4194304 4196468 140735053106832 140029246761456 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21942] ppid=21929 vsize=13980732 memory=1380 CPUtime=5.11 cores=1,3,5,7
/proc/21931/task/21942/stat : 21942 (java) S 21929 21929 7968 0 -1 1077944384 31463 0 0 0 507 4 0 0 20 0 15 0 29538880 14316269568 280413 18446744073709551615 4194304 4196468 140735053106832 140029245708912 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21943] ppid=21929 vsize=13980732 memory=1126268 CPUtime=0.96 cores=1,3,5,7
/proc/21931/task/21943/stat : 21943 (java) S 21929 21929 7968 0 -1 1077944384 13952 0 0 0 93 3 0 0 20 0 15 0 29538880 14316269568 280413 18446744073709551615 4194304 4196468 140735053106832 140029244656368 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21944] ppid=21929 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21944/stat : 21944 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 280413 18446744073709551615 4194304 4196468 140735053106832 140029243604064 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21945] ppid=21929 vsize=13980732 memory=1126268 CPUtime=1.23 cores=1,3,5,7
/proc/21931/task/21945/stat : 21945 (java) S 21929 21929 7968 0 -1 1077944384 1124 0 0 0 54 69 0 0 20 0 15 0 29538886 14316269568 280413 18446744073709551615 4194304 4196468 140735053106832 140029242550576 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 2395.52 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1123032 KiB

[startup+2382.3 s]
/proc/loadavg: 1.76 1.73 1.76 3/213 22236
/proc/meminfo: memFree=29429476/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13980732 memory=999044 CPUtime=2456.55 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 268594 0 0 0 245114 541 0 0 20 0 15 0 29538875 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3495183 249761 3252 1 0 3483476 0
[pid=21931/tid=21932] ppid=21929 vsize=13980732 memory=999044 CPUtime=2360.24 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 77324 0 0 0 235993 31 0 0 20 0 15 0 29538875 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029776683104 140029381987642 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13980732 memory=999044 CPUtime=20.73 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 14362 0 0 0 1967 106 0 0 20 0 15 0 29538876 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13980732 memory=999044 CPUtime=20.7 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 13904 0 0 0 1962 108 0 0 20 0 15 0 29538876 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13980732 memory=1064196 CPUtime=20.71 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 16585 0 0 0 1964 107 0 0 20 0 15 0 29538876 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13980732 memory=1064196 CPUtime=20.73 cores=1,3,5,7
/proc/21931/task/21936/stat : 21936 (java) S 21929 21929 7968 0 -1 1077944384 13817 0 0 0 1964 109 0 0 20 0 15 0 29538876 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029369236624 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21937] ppid=21929 vsize=13980732 memory=1037008 CPUtime=0.71 cores=1,3,5,7
/proc/21931/task/21937/stat : 21937 (java) S 21929 21929 7968 0 -1 1077944384 56887 0 0 0 59 12 0 0 20 0 15 0 29538877 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029250971632 140029772454530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21938] ppid=21929 vsize=13980732 memory=1014436 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21938/stat : 21938 (java) S 21929 21929 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029249917920 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21939] ppid=21929 vsize=13980732 memory=1014436 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029248865280 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21940] ppid=21929 vsize=13980732 memory=999044 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21940/stat : 21940 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029247813840 140029772461979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21941] ppid=21929 vsize=13980732 memory=1380 CPUtime=5.29 cores=1,3,5,7
/proc/21931/task/21941/stat : 21941 (java) S 21929 21929 7968 0 -1 1077944384 27775 0 0 0 526 3 0 0 20 0 15 0 29538880 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029246761456 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21942] ppid=21929 vsize=13980732 memory=0 CPUtime=5.11 cores=1,3,5,7
/proc/21931/task/21942/stat : 21942 (java) S 21929 21929 7968 0 -1 1077944384 31466 0 0 0 507 4 0 0 20 0 15 0 29538880 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029245708912 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21943] ppid=21929 vsize=13980732 memory=999044 CPUtime=0.96 cores=1,3,5,7
/proc/21931/task/21943/stat : 21943 (java) S 21929 21929 7968 0 -1 1077944384 13954 0 0 0 93 3 0 0 20 0 15 0 29538880 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029244656368 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21944] ppid=21929 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21944/stat : 21944 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029243604064 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21945] ppid=21929 vsize=13980732 memory=288230617509003574 CPUtime=1.26 cores=1,3,5,7
/proc/21931/task/21945/stat : 21945 (java) S 21929 21929 7968 0 -1 1077944384 1152 0 0 0 55 71 0 0 20 0 15 0 29538886 14316269568 249761 18446744073709551615 4194304 4196468 140735053106832 140029242550576 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 2456.55 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1000424 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.75 1.76 3/213 22240
/proc/meminfo: memFree=29445024/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13980732 memory=970472 CPUtime=2518.79 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 272565 0 0 0 251333 546 0 0 20 0 15 0 29538875 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3495183 242618 3252 1 0 3483476 0
[pid=21931/tid=21932] ppid=21929 vsize=13980732 memory=970472 CPUtime=2419.47 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 78683 0 0 0 241915 32 0 0 20 0 15 0 29538875 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029776682688 140029379033700 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13980732 memory=941588 CPUtime=21.46 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 14737 0 0 0 2039 107 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13980732 memory=1380 CPUtime=21.45 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 14100 0 0 0 2036 109 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13980732 memory=949908 CPUtime=21.45 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 16761 0 0 0 2037 108 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13980732 memory=1380 CPUtime=21.46 cores=1,3,5,7
/proc/21931/task/21936/stat : 21936 (java) S 21929 21929 7968 0 -1 1077944384 14254 0 0 0 2036 110 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029369236624 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21937] ppid=21929 vsize=13980732 memory=970472 CPUtime=0.73 cores=1,3,5,7
/proc/21931/task/21937/stat : 21937 (java) S 21929 21929 7968 0 -1 1077944384 58294 0 0 0 61 12 0 0 20 0 15 0 29538877 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029250971632 140029772454530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21938] ppid=21929 vsize=13980732 memory=970472 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21938/stat : 21938 (java) S 21929 21929 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029249917920 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21939] ppid=21929 vsize=13980732 memory=970472 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029248865280 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21940] ppid=21929 vsize=13980732 memory=970472 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21940/stat : 21940 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029247813840 140029772461979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21941] ppid=21929 vsize=13980732 memory=1380 CPUtime=5.29 cores=1,3,5,7
/proc/21931/task/21941/stat : 21941 (java) S 21929 21929 7968 0 -1 1077944384 27777 0 0 0 526 3 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029246761456 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21942] ppid=21929 vsize=13980732 memory=949908 CPUtime=5.11 cores=1,3,5,7
/proc/21931/task/21942/stat : 21942 (java) S 21929 21929 7968 0 -1 1077944384 31468 0 0 0 507 4 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029245708912 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21943] ppid=21929 vsize=13980732 memory=1380 CPUtime=0.96 cores=1,3,5,7
/proc/21931/task/21943/stat : 21943 (java) S 21929 21929 7968 0 -1 1077944384 13956 0 0 0 93 3 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029244656368 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21944] ppid=21929 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21944/stat : 21944 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029243604064 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21945] ppid=21929 vsize=13980732 memory=949908 CPUtime=1.3 cores=1,3,5,7
/proc/21931/task/21945/stat : 21945 (java) S 21929 21929 7968 0 -1 1077944384 1167 0 0 0 57 73 0 0 20 0 15 0 29538886 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029242550576 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 2518.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 971852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2443.6 s]
/proc/loadavg: 1.77 1.75 1.76 3/213 22240
/proc/meminfo: memFree=29445520/32770624 swapFree=67108860/67108860
[pid=21929] ppid=21926 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/21929/stat : 21929 (xcsp3-exec) S 21926 21929 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 29538869 9740288 345 18446744073709551615 4194304 5098028 140721865604736 140721865602840 140177474024060 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 28221440 140721865609593 140721865609798 140721865609798 140721865613291 0
/proc/21929/statm: 2378 345 289 221 0 87 0
[pid=21931] ppid=21929 vsize=13980732 memory=970472 CPUtime=2520.09 cores=1,3,5,7
/proc/21931/stat : 21931 (java) S 21929 21929 7968 0 -1 1077944320 272565 0 0 0 251463 546 0 0 20 0 15 0 29538875 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140735053089376 140029772443383 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
/proc/21931/statm: 3495183 242618 3252 1 0 3483476 0
[pid=21931/tid=21932] ppid=21929 vsize=13980732 memory=-8774313645642428999 CPUtime=2420.77 cores=1,3,5,7
/proc/21931/task/21932/stat : 21932 (java) R 21929 21929 7968 0 -1 4202560 78683 0 0 0 242045 32 0 0 20 0 15 0 29538875 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029776682688 140029379205279 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21933] ppid=21929 vsize=13980732 memory=1200 CPUtime=21.46 cores=1,3,5,7
/proc/21931/task/21933/stat : 21933 (java) S 21929 21929 7968 0 -1 1077944384 14737 0 0 0 2039 107 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029372394256 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21934] ppid=21929 vsize=13980732 memory=15872 CPUtime=21.45 cores=1,3,5,7
/proc/21931/task/21934/stat : 21934 (java) S 21929 21929 7968 0 -1 1077944384 14100 0 0 0 2036 109 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029371341712 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21935] ppid=21929 vsize=13980732 memory=4040 CPUtime=21.45 cores=1,3,5,7
/proc/21931/task/21935/stat : 21935 (java) S 21929 21929 7968 0 -1 1077944384 16761 0 0 0 2037 108 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029370289168 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21936] ppid=21929 vsize=13980732 memory=16444 CPUtime=21.46 cores=1,3,5,7
/proc/21931/task/21936/stat : 21936 (java) S 21929 21929 7968 0 -1 1077944384 14254 0 0 0 2036 110 0 0 20 0 15 0 29538876 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029369236624 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21937] ppid=21929 vsize=13980732 memory=11836 CPUtime=0.73 cores=1,3,5,7
/proc/21931/task/21937/stat : 21937 (java) S 21929 21929 7968 0 -1 1077944384 58294 0 0 0 61 12 0 0 20 0 15 0 29538877 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029250971632 140029772454530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21938] ppid=21929 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21938/stat : 21938 (java) S 21929 21929 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029249917920 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21939] ppid=21929 vsize=13980732 memory=280341509101984 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21939/stat : 21939 (java) S 21929 21929 7968 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 29538878 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029248865280 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21940] ppid=21929 vsize=13980732 memory=9047017150487036571 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21940/stat : 21940 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029247813840 140029772461979 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21941] ppid=21929 vsize=13980732 memory=8514726395714825349 CPUtime=5.29 cores=1,3,5,7
/proc/21931/task/21941/stat : 21941 (java) S 21929 21929 7968 0 -1 1077944384 27777 0 0 0 526 3 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029246761456 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21942] ppid=21929 vsize=13980732 memory=9047017150487036575 CPUtime=5.11 cores=1,3,5,7
/proc/21931/task/21942/stat : 21942 (java) S 21929 21929 7968 0 -1 1077944384 31468 0 0 0 507 4 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029245708912 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21943] ppid=21929 vsize=13980732 memory=-8253362762722141311 CPUtime=0.96 cores=1,3,5,7
/proc/21931/task/21943/stat : 21943 (java) S 21929 21929 7968 0 -1 1077944384 13956 0 0 0 93 3 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029244656368 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21944] ppid=21929 vsize=13980732 memory=-8412652177879177843 CPUtime=0 cores=1,3,5,7
/proc/21931/task/21944/stat : 21944 (java) S 21929 21929 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 29538880 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029243604064 140029772453589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
[pid=21931/tid=21945] ppid=21929 vsize=13980732 memory=-8412656567318647667 CPUtime=1.3 cores=1,3,5,7
/proc/21931/task/21945/stat : 21945 (java) S 21929 21929 7968 0 -1 1077944384 1167 0 0 0 57 73 0 0 20 0 15 0 29538886 14316269568 242618 18446744073709551615 4194304 4196468 140735053106832 140029242550576 140029772454530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35287040 140735053111730 140735053111906 140735053111906 140735053115343 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 971852 KiB

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

[startup+2443.61 s]
# the end of solver process 21929 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000922 s, system=0.000922 s

[startup+2443.61 s]
# the end of solver process 21931 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.64 s, system=5.4718 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): 2443.61
CPU time (s): 2520.11
CPU user time (s): 2514.64
CPU system time (s): 5.4718
CPU usage (%): 103.131
Max. virtual memory (cumulated for all children) (KiB): 13992596
Max. memory (cumulated for all children) (KiB): 1608312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.64
system time used= 5.4718
maximum resident set size= 1613384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62791
involuntary context switches= 2132


# summary of solver processes directly reported to runsolver:
#   pid: 21929,21931
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2514.64
#   total CPU system time (s): 5.4718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8276 second user time and 23.3309 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	2400.09
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 4272307

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