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-08-18)	SAT (TO)	1951	2520.0901	2442.02

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283586-1503198264.xml"  -tl '2520s' -p 1 -x 3
0.11/0.26	c [HOME/instance-4283586-1503198264.xml, -tl, 2520s, -p, 1, -x, 3]
0.30/0.33	c simple solver
0.30/0.39	c parse instance...
1.74/0.87	c solve instance...
11.80/4.11	o 2348 
11.80/4.14	o 2256 
11.80/4.15	o 2255 
11.80/4.17	o 2233 
11.80/4.18	o 2198 
12.09/4.22	o 2157 
13.30/4.66	o 2134 
13.61/4.71	o 2121 
13.61/4.72	o 2105 
1046.85/1008.59	o 2100 
1047.71/1009.36	o 2090 
1047.71/1009.38	o 2057 
1048.40/1009.97	o 2054 
1048.40/1009.99	o 2053 
1048.40/1010.00	o 2026 
1049.31/1010.81	o 2024 
1049.31/1010.84	o 1990 
1049.31/1010.88	o 1962 
1050.13/1011.63	o 1951 
2520.06/2442.01	s SATISFIABLE
2520.06/2442.01	v <instantiation>
2520.06/2442.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>
2520.06/2442.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 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 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 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 0 0 0 0 0 0 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 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 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 1 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 75 51 83 62 40 18 80 65 42 59 53 2 18 56 19 32 1 34 60 7 80 7 64 44 67 84 32 74 20 37 88 22 7 5 28 13 67 81 23 9 3 17 29 78 </values>
2520.06/2442.01	v </instantiation>
2520.06/2442.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 (15286 MiB free)
  memory of node 1: 16384 MiB (14794 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283586-1503198264/watcher-4283586-1503198264 -o /tmp/evaluation-result-4283586-1503198264/solver-4283586-1503198264 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1503171959-30214 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 233791577 HOME/instance-4283586-1503198264.xml 

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

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

solver pid=3038, runsolver pid=3035

[startup+0.10011 s]*
/proc/loadavg: 1.77 1.72 1.73 3/208 3048
/proc/meminfo: memFree=30794284/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13574484 memory=18980 CPUtime=0.02 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 4095 0 0 0 2 0 0 0 20 0 9 0 18236091 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3393621 4745 2093 1 0 3383118 0
[pid=3040/tid=3041] ppid=3038 vsize=13574484 memory=-6739615476349292588 CPUtime=0.02 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 2802 0 0 0 2 0 0 0 20 0 9 0 18236092 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467570090504 140467558532469 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13574484 memory=5118961333147690361 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18236092 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13574484 memory=140173367154304 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18236092 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 18236092 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13574484 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3045/stat : 3045 (java) S 3038 3038 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18236092 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467519662864 140467565864661 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3046] ppid=3038 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 18236094 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 18236094 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467110548512 140467565864661 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 18236094 13900271616 4745 18446744073709551615 4194304 4196468 140721559834208 140467109495728 140467565864661 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20360 KiB

[startup+0.21485 s]*
/proc/loadavg: 1.77 1.72 1.73 4/214 3054
/proc/meminfo: memFree=30787052/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13974352 memory=27612 CPUtime=0.11 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 5394 0 0 0 10 1 0 0 20 0 15 0 18236091 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3493588 6903 2815 1 0 3482964 0
[pid=3040/tid=3041] ppid=3038 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 3418 0 0 0 8 0 0 0 20 0 15 0 18236092 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467570083872 140467565866390 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13974352 memory=10596 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13974352 memory=140173367351708 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3045/stat : 3045 (java) S 3038 3038 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18236092 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467519662864 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3046] ppid=3038 vsize=13974352 memory=140173367154304 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18236094 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18236094 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467110548512 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18236094 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467109495664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3049] ppid=3038 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3049/stat : 3049 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467108443984 140467565873051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3050] ppid=3038 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3050/stat : 3050 (java) R 3038 3038 16431 0 -1 4202560 301 0 0 0 0 0 0 0 20 0 15 0 18236097 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467039628144 140467565865602 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3051] ppid=3038 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3051/stat : 3051 (java) S 3038 3038 16431 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 18236097 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467038575344 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3052] ppid=3038 vsize=13974352 memory=140173367154304 CPUtime=0.01 cores=0,2,4,6
/proc/3040/task/3052/stat : 3052 (java) R 3038 3038 16431 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 15 0 18236097 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467037522544 140467565875802 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3053] ppid=3038 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3053/stat : 3053 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467036469984 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3054] ppid=3038 vsize=13974352 memory=140173367154304 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3054/stat : 3054 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236103 14309736448 6903 18446744073709551615 4194304 4196468 140721559834208 140467035417264 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28992 KiB

[startup+0.31047 s]*
/proc/loadavg: 1.77 1.72 1.73 4/214 3054
/proc/meminfo: memFree=30776436/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13974352 memory=38920 CPUtime=0.3 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 8892 0 0 0 27 3 0 0 20 0 15 0 18236091 14309736448 9730 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3493588 9730 2982 1 0 3482964 0
[pid=3040/tid=3041] ppid=3038 vsize=13975376 memory=6933928925625698159 CPUtime=0.18 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 6134 0 0 0 16 2 0 0 20 0 15 0 18236092 14310785024 9794 18446744073709551615 4194304 4196468 140721559834208 140467570072544 140467558534173 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13975376 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14310785024 9794 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14310785024 9783 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14309736448 9783 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3045/stat : 3045 (java) S 3038 3038 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18236092 14309736448 9783 18446744073709551615 4194304 4196468 140721559834208 140467519662864 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3046] ppid=3038 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18236094 14309736448 9783 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18236094 14310785024 9783 18446744073709551615 4194304 4196468 140721559834208 140467110548512 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18236094 14310785024 9783 18446744073709551615 4194304 4196468 140721559834208 140467109495664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3049] ppid=3038 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3049/stat : 3049 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14310785024 9783 18446744073709551615 4194304 4196468 140721559834208 140467108443984 140467565873051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3050] ppid=3038 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3040/task/3050/stat : 3050 (java) R 3038 3038 16431 0 -1 4202560 447 0 0 0 2 0 0 0 20 0 15 0 18236097 14309736448 9783 18446744073709551615 4194304 4196468 140721559834208 140467039609160 140467545101226 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3051] ppid=3038 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3040/task/3051/stat : 3051 (java) S 3038 3038 16431 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 18236097 14309736448 9783 18446744073709551615 4194304 4196468 140721559834208 140467038575344 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3052] ppid=3038 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/3040/task/3052/stat : 3052 (java) S 3038 3038 16431 0 -1 1077944384 714 0 0 0 6 0 0 0 20 0 15 0 18236097 14309736448 9783 18446744073709551615 4194304 4196468 140721559834208 140467037522544 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3053] ppid=3038 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3053/stat : 3053 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14310785024 9783 18446744073709551615 4194304 4196468 140721559834208 140467036469984 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3054] ppid=3038 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3054/stat : 3054 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236103 14310785024 9783 18446744073709551615 4194304 4196468 140721559834208 140467035417264 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40300 KiB

[startup+0.701253 s]
/proc/loadavg: 1.77 1.72 1.73 5/214 3054
/proc/meminfo: memFree=30759552/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13980732 memory=81044 CPUtime=1.39 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 13443 0 0 0 134 5 0 0 20 0 15 0 18236091 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3495183 20261 3168 1 0 3483476 0
[pid=3040/tid=3041] ppid=3038 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 7964 0 0 0 52 3 0 0 20 0 15 0 18236092 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467570089440 140467565866390 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3045/stat : 3045 (java) S 3038 3038 16431 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 18236092 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467519662864 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3046] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467110548512 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13980732 memory=4 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467109495664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3049] ppid=3038 vsize=13980732 memory=3 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3049/stat : 3049 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467108443984 140467565873051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3050] ppid=3038 vsize=13980732 memory=12 CPUtime=0.24 cores=0,2,4,6
/proc/3040/task/3050/stat : 3050 (java) R 3038 3038 16431 0 -1 4202560 1181 0 0 0 24 0 0 0 20 0 15 0 18236097 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467039617760 140467547399017 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3051] ppid=3038 vsize=13980732 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/3040/task/3051/stat : 3051 (java) R 3038 3038 16431 0 -1 4202560 1342 0 0 0 26 0 0 0 20 0 15 0 18236097 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467038562656 140467549241240 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3052] ppid=3038 vsize=13980732 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/3040/task/3052/stat : 3052 (java) R 3038 3038 16431 0 -1 1077944384 1649 0 0 0 30 0 0 0 20 0 15 0 18236097 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467037520336 140467565864661 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3053] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3053/stat : 3053 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467036469984 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3054] ppid=3038 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3054/stat : 3054 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236103 14316269568 20261 18446744073709551615 4194304 4196468 140721559834208 140467035417264 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82424 KiB

[startup+1.50089 s]
/proc/loadavg: 1.95 1.76 1.74 5/214 3054
/proc/meminfo: memFree=30716168/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13980732 memory=133872 CPUtime=3.72 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 23208 0 0 0 365 7 0 0 20 0 15 0 18236091 14316269568 33468 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3495183 33468 3192 1 0 3483476 0
[pid=3040/tid=3041] ppid=3038 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 9400 0 0 0 131 4 0 0 20 0 15 0 18236092 14316269568 33468 18446744073709551615 4194304 4196468 140721559834208 140467570094688 140467547418007 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13980732 memory=63364 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14316269568 33471 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14316269568 33471 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 18236092 14316269568 33471 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

[pid=3040/tid=3046] ppid=3038 vsize=13980732 memory=1027668 CPUtime=0.79 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 45225 0 0 0 66 13 0 0 20 0 15 0 18236094 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467110548576 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13980732 memory=1027668 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467109495680 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3049] ppid=3038 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3049/stat : 3049 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467108443984 140467565873051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3050] ppid=3038 vsize=13980732 memory=16448 CPUtime=6.11 cores=0,2,4,6
/proc/3040/task/3050/stat : 3050 (java) S 3038 3038 16431 0 -1 1077944384 35198 0 0 0 607 4 0 0 20 0 15 0 18236097 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467039628144 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3051] ppid=3038 vsize=13980732 memory=4008 CPUtime=6 cores=0,2,4,6
/proc/3040/task/3051/stat : 3051 (java) S 3038 3038 16431 0 -1 1077944384 25378 0 0 0 596 4 0 0 20 0 15 0 18236097 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467038575344 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3052] ppid=3038 vsize=13980732 memory=1027668 CPUtime=0.99 cores=0,2,4,6
/proc/3040/task/3052/stat : 3052 (java) S 3038 3038 16431 0 -1 1077944384 10457 0 0 0 97 2 0 0 20 0 15 0 18236097 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467037522544 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3053] ppid=3038 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3053/stat : 3053 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467036469984 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3054] ppid=3038 vsize=13980732 memory=1027668 CPUtime=1.26 cores=0,2,4,6
/proc/3040/task/3054/stat : 3054 (java) R 3038 3038 16431 0 -1 4202560 971 0 0 0 59 67 0 0 20 0 15 0 18236103 14316269568 256917 18446744073709551615 4194304 4196468 140721559834208 140467035417264 140467565875802 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 2334.42 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1029048 KiB

[startup+2322.3 s]
/proc/loadavg: 1.40 1.54 1.63 3/211 3281
/proc/meminfo: memFree=29635472/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13980732 memory=847588 CPUtime=2395.64 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 249192 0 0 0 239055 509 0 0 20 0 15 0 18236091 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3495183 211897 3260 1 0 3483476 0
[pid=3040/tid=3041] ppid=3038 vsize=13980732 memory=1380 CPUtime=2300.89 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 72289 0 0 0 230054 35 0 0 20 0 15 0 18236092 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467570094048 140467195708822 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13980732 memory=856308 CPUtime=19.88 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 14296 0 0 0 1887 101 0 0 20 0 15 0 18236092 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13980732 memory=847588 CPUtime=19.88 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 15052 0 0 0 1888 100 0 0 20 0 15 0 18236092 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13980732 memory=1380 CPUtime=19.85 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 12988 0 0 0 1884 101 0 0 20 0 15 0 18236092 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13980732 memory=1380 CPUtime=19.87 cores=0,2,4,6
/proc/3040/task/3045/stat : 3045 (java) S 3038 3038 16431 0 -1 1077944384 15780 0 0 0 1888 99 0 0 20 0 15 0 18236092 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467519662864 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3046] ppid=3038 vsize=13980732 memory=1380 CPUtime=0.81 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 45413 0 0 0 67 14 0 0 20 0 15 0 18236094 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467110548576 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13980732 memory=856308 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467109495680 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3049] ppid=3038 vsize=13980732 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3049/stat : 3049 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467108443984 140467565873051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3050] ppid=3038 vsize=13980732 memory=13488 CPUtime=6.11 cores=0,2,4,6
/proc/3040/task/3050/stat : 3050 (java) S 3038 3038 16431 0 -1 1077944384 35200 0 0 0 607 4 0 0 20 0 15 0 18236097 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467039628144 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3051] ppid=3038 vsize=13980732 memory=1380 CPUtime=6 cores=0,2,4,6
/proc/3040/task/3051/stat : 3051 (java) S 3038 3038 16431 0 -1 1077944384 25380 0 0 0 596 4 0 0 20 0 15 0 18236097 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467038575344 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3052] ppid=3038 vsize=13980732 memory=1380 CPUtime=0.99 cores=0,2,4,6
/proc/3040/task/3052/stat : 3052 (java) S 3038 3038 16431 0 -1 1077944384 10459 0 0 0 97 2 0 0 20 0 15 0 18236097 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467037522544 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3053] ppid=3038 vsize=13980732 memory=866568 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3053/stat : 3053 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467036469984 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3054] ppid=3038 vsize=13980732 memory=1296 CPUtime=1.29 cores=0,2,4,6
/proc/3040/task/3054/stat : 3054 (java) S 3038 3038 16431 0 -1 1077944384 988 0 0 0 60 69 0 0 20 0 15 0 18236103 14316269568 211897 18446744073709551615 4194304 4196468 140721559834208 140467035417264 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 2395.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 848968 KiB

[startup+2382.3 s]
/proc/loadavg: 1.51 1.53 1.62 3/215 3298
/proc/meminfo: memFree=29815696/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13980732 memory=821904 CPUtime=2457.87 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 253016 0 0 0 245269 518 0 0 20 0 15 0 18236091 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3495183 205476 3260 1 0 3483476 0
[pid=3040/tid=3041] ppid=3038 vsize=13980732 memory=1380 CPUtime=2360.11 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 73714 0 0 0 235976 35 0 0 20 0 15 0 18236092 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467570093936 140467198267164 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13980732 memory=813644 CPUtime=20.62 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 14580 0 0 0 1959 103 0 0 20 0 15 0 18236092 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13980732 memory=810648 CPUtime=20.62 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 15152 0 0 0 1960 102 0 0 20 0 15 0 18236092 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13980732 memory=1380 CPUtime=20.6 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 13107 0 0 0 1957 103 0 0 20 0 15 0 18236092 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13980732 memory=1380 CPUtime=20.6 cores=0,2,4,6
/proc/3040/task/3045/stat : 3045 (java) S 3038 3038 16431 0 -1 1077944384 16312 0 0 0 1960 100 0 0 20 0 15 0 18236092 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467519662864 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3046] ppid=3038 vsize=13980732 memory=821904 CPUtime=0.83 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 46571 0 0 0 69 14 0 0 20 0 15 0 18236094 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467110548576 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13980732 memory=821904 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467109495680 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3049] ppid=3038 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3049/stat : 3049 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467108443984 140467565873051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3050] ppid=3038 vsize=13980732 memory=1380 CPUtime=6.11 cores=0,2,4,6
/proc/3040/task/3050/stat : 3050 (java) S 3038 3038 16431 0 -1 1077944384 35200 0 0 0 607 4 0 0 20 0 15 0 18236097 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467039628144 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3051] ppid=3038 vsize=13980732 memory=600 CPUtime=6 cores=0,2,4,6
/proc/3040/task/3051/stat : 3051 (java) S 3038 3038 16431 0 -1 1077944384 25380 0 0 0 596 4 0 0 20 0 15 0 18236097 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467038575344 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3052] ppid=3038 vsize=13980732 memory=100 CPUtime=1 cores=0,2,4,6
/proc/3040/task/3052/stat : 3052 (java) S 3038 3038 16431 0 -1 1077944384 10661 0 0 0 98 2 0 0 20 0 15 0 18236097 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467037522544 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3053] ppid=3038 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3053/stat : 3053 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467036469984 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3054] ppid=3038 vsize=13980732 memory=821904 CPUtime=1.32 cores=0,2,4,6
/proc/3040/task/3054/stat : 3054 (java) S 3038 3038 16431 0 -1 1077944384 992 0 0 0 62 70 0 0 20 0 15 0 18236103 14316269568 205476 18446744073709551615 4194304 4196468 140721559834208 140467035417264 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 2457.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 823284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2442 s]*
/proc/loadavg: 1.59 1.55 1.62 3/215 3300
/proc/meminfo: memFree=29590172/32770624 swapFree=67108860/67108860
[pid=3038] ppid=3035 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/3038/stat : 3038 (xcsp3-exec) S 3035 3038 16431 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 18236084 9740288 345 18446744073709551615 4194304 5098028 140733938262928 140733938261032 140465105711740 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 9535488 140733938266490 140733938266694 140733938266694 140733938270187 0
/proc/3038/statm: 2378 345 289 221 0 87 0
[pid=3040] ppid=3038 vsize=13980732 memory=1169832 CPUtime=2520.06 cores=0,2,4,6
/proc/3040/stat : 3040 (java) S 3038 3038 16431 0 -1 1077944320 256783 0 0 0 251458 548 0 0 20 0 15 0 18236091 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140721559816752 140467565854455 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
/proc/3040/statm: 3495183 292458 3260 1 0 3483476 0
[pid=3040/tid=3041] ppid=3038 vsize=13980732 memory=6933928925625698159 CPUtime=2418.92 cores=0,2,4,6
/proc/3040/task/3041/stat : 3041 (java) R 3038 3038 16431 0 -1 4202560 74478 0 0 0 241854 38 0 0 20 0 15 0 18236092 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467570093696 140467197499187 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3042] ppid=3038 vsize=13980732 memory=4126316290023845779 CPUtime=21.44 cores=0,2,4,6
/proc/3040/task/3042/stat : 3042 (java) S 3038 3038 16431 0 -1 1077944384 14902 0 0 0 2035 109 0 0 20 0 15 0 18236092 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467522821264 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3043] ppid=3038 vsize=13980732 memory=844 CPUtime=21.44 cores=0,2,4,6
/proc/3040/task/3043/stat : 3043 (java) S 3038 3038 16431 0 -1 1077944384 15472 0 0 0 2036 108 0 0 20 0 15 0 18236092 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467521768464 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3044] ppid=3038 vsize=13980732 memory=1152 CPUtime=21.42 cores=0,2,4,6
/proc/3040/task/3044/stat : 3044 (java) S 3038 3038 16431 0 -1 1077944384 13551 0 0 0 2033 109 0 0 20 0 15 0 18236092 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467520715664 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3045] ppid=3038 vsize=13980732 memory=3284 CPUtime=21.4 cores=0,2,4,6
/proc/3040/task/3045/stat : 3045 (java) S 3038 3038 16431 0 -1 1077944384 16604 0 0 0 2034 106 0 0 20 0 15 0 18236092 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467519662864 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3046] ppid=3038 vsize=13980732 memory=1380 CPUtime=0.89 cores=0,2,4,6
/proc/3040/task/3046/stat : 3046 (java) S 3038 3038 16431 0 -1 1077944384 48171 0 0 0 74 15 0 0 20 0 15 0 18236094 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467111602544 140467565865602 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3047] ppid=3038 vsize=13980732 memory=1125688 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3047/stat : 3047 (java) S 3038 3038 16431 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467110548576 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3048] ppid=3038 vsize=13980732 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3048/stat : 3048 (java) S 3038 3038 16431 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 18236094 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467109495680 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3049] ppid=3038 vsize=13980732 memory=65 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3049/stat : 3049 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467108443984 140467565873051 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3050] ppid=3038 vsize=13980732 memory=-7089365486812054686 CPUtime=6.11 cores=0,2,4,6
/proc/3040/task/3050/stat : 3050 (java) S 3038 3038 16431 0 -1 1077944384 35203 0 0 0 607 4 0 0 20 0 15 0 18236097 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467039628144 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3051] ppid=3038 vsize=13980732 memory=4354580177697351578 CPUtime=6 cores=0,2,4,6
/proc/3040/task/3051/stat : 3051 (java) S 3038 3038 16431 0 -1 1077944384 25382 0 0 0 596 4 0 0 20 0 15 0 18236097 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467038575344 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3052] ppid=3038 vsize=13980732 memory=288230377108275491 CPUtime=1 cores=0,2,4,6
/proc/3040/task/3052/stat : 3052 (java) S 3038 3038 16431 0 -1 1077944384 10663 0 0 0 98 2 0 0 20 0 15 0 18236097 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467037522544 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3053] ppid=3038 vsize=13980732 memory=288292194505458544 CPUtime=0 cores=0,2,4,6
/proc/3040/task/3053/stat : 3053 (java) S 3038 3038 16431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 18236097 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467036469984 140467565864661 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
[pid=3040/tid=3054] ppid=3038 vsize=13980732 memory=15872 CPUtime=1.35 cores=0,2,4,6
/proc/3040/task/3054/stat : 3054 (java) S 3038 3038 16431 0 -1 1077944384 1010 0 0 0 63 72 0 0 20 0 15 0 18236103 14316269568 292458 18446744073709551615 4194304 4196468 140721559834208 140467035417264 140467565865602 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27557888 140721559835058 140721559835234 140721559835234 140721559838671 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1171212 KiB

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

[startup+2442.02 s]
# the end of solver process 3038 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.6 s, system=5.4953 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2442.02
CPU time (s): 2520.09
CPU user time (s): 2514.6
CPU system time (s): 5.4953
CPU usage (%): 103.197
Max. virtual memory (cumulated for all children) (KiB): 13992156
Max. memory (cumulated for all children) (KiB): 1617536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.6
system time used= 5.4953
maximum resident set size= 1626088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257437
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= 66015
involuntary context switches= 4217


# summary of solver processes directly reported to runsolver:
#   pid: 3038
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2514.6
#   total CPU system time (s): 5.4953

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9959 second user time and 23.6749 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml
MD5SUM	4e8baeb7bdba194b7c2724961347fdb9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	756
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 4283586

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