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)	1951	2520.0701	2441.1201

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272306-1502761348.xml"  -tl '2520s' -p 1 -x 3
0.06/0.30	c [HOME/instance-4272306-1502761348.xml, -tl, 2520s, -p, 1, -x, 3]
0.23/0.36	c simple solver
0.41/0.42	c parse instance...
2.01/0.90	c solve instance...
11.87/4.22	o 2348 
11.87/4.25	o 2256 
11.87/4.26	o 2255 
11.87/4.28	o 2233 
11.87/4.29	o 2198 
12.19/4.32	o 2157 
13.11/4.61	o 2134 
13.11/4.66	o 2121 
13.11/4.67	o 2105 
1043.01/1003.91	o 2100 
1043.76/1004.67	o 2090 
1043.76/1004.69	o 2057 
1044.42/1005.29	o 2054 
1044.59/1005.30	o 2053 
1044.59/1005.31	o 2026 
1045.47/1006.13	o 2024 
1045.47/1006.16	o 1990 
1045.47/1006.20	o 1962 
1046.32/1006.94	o 1951 
2520.04/2441.11	s SATISFIABLE
2520.04/2441.11	v <instantiation>
2520.04/2441.11	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.04/2441.11	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.04/2441.11	v </instantiation>
2520.04/2441.11	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 (14139 MiB free)
  memory of node 1: 16384 MiB (15349 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272306-1502761348/watcher-4272306-1502761348 -o /tmp/evaluation-result-4272306-1502761348/solver-4272306-1502761348 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 669181857 HOME/instance-4272306-1502761348.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
solver pid=29724, runsolver pid=29721
Current StackSize limit: 8192 KiB


[startup+0.100053 s]*
/proc/loadavg: 1.86 1.72 1.74 2/196 29725
/proc/meminfo: memFree=30196080/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9508 memory=1144 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) R 29721 29724 897 0 -1 4202496 482 0 0 0 0 0 0 0 20 0 1 0 78355457 9736192 286 18446744073709551615 4194304 5098028 140723567377040 140723567377040 140284847142016 0 0 5 65536 0 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2377 286 236 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 1144 KiB

[startup+0.209001 s]*
/proc/loadavg: 1.86 1.72 1.74 2/210 29739
/proc/meminfo: memFree=30185468/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) S 29721 29724 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78355457 9740288 345 18446744073709551615 4194304 5098028 140723567377040 140723567375144 140284847702652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2378 345 289 221 0 87 0
[pid=29726] ppid=29724 vsize=13973868 memory=22712 CPUtime=0.06 cores=1,3,5,7
/proc/29726/stat : 29726 (java) S 29724 29724 897 0 -1 1077944320 4575 0 0 0 5 1 0 0 20 0 15 0 78355468 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140733751362320 140156720537335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
/proc/29726/statm: 3493467 5678 2574 1 0 3482964 0
[pid=29726/tid=29727] ppid=29724 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/29726/task/29727/stat : 29727 (java) R 29724 29724 897 0 -1 4202560 2741 0 0 0 4 0 0 0 20 0 15 0 78355468 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156724779616 140156342511473 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29728] ppid=29724 vsize=13973868 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29728/stat : 29728 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156662483344 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29729] ppid=29724 vsize=13973868 memory=140159095949444 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29729/stat : 29729 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156319832336 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29730] ppid=29724 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29730/stat : 29730 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156318780048 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29731] ppid=29724 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29731/stat : 29731 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156317727248 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29732] ppid=29724 vsize=13973868 memory=140159095920256 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29732/stat : 29732 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355470 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156266310256 140156720548482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29733] ppid=29724 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29733/stat : 29733 (java) S 29724 29724 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78355471 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156265256224 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29734] ppid=29724 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78355471 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156264203888 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13973868 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) S 29724 29724 897 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 78355473 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156262099056 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13973868 memory=140159095920256 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) R 29724 29724 897 0 -1 4202560 229 0 0 0 0 0 0 0 20 0 15 0 78355473 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156699672876 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13973868 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13973868 memory=140159095920256 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355479 14309240832 5678 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 24092 KiB

[startup+0.310145 s]*
/proc/loadavg: 1.86 1.72 1.74 3/211 29740
/proc/meminfo: memFree=30171128/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) S 29721 29724 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78355457 9740288 345 18446744073709551615 4194304 5098028 140723567377040 140723567375144 140284847702652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2378 345 289 221 0 87 0
[pid=29726] ppid=29724 vsize=13974352 memory=37268 CPUtime=0.23 cores=1,3,5,7
/proc/29726/stat : 29726 (java) S 29724 29724 897 0 -1 1077944320 8369 0 0 0 21 2 0 0 20 0 15 0 78355468 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140733751362320 140156720537335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
/proc/29726/statm: 3493588 9317 2981 1 0 3482964 0
[pid=29726/tid=29727] ppid=29724 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/29726/task/29727/stat : 29727 (java) R 29724 29724 897 0 -1 4202560 5597 0 0 0 13 2 0 0 20 0 15 0 78355468 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156724759712 140156704617822 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29728] ppid=29724 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29728/stat : 29728 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156662483344 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29729] ppid=29724 vsize=13974352 memory=140159095920256 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29729/stat : 29729 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156319832336 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29730] ppid=29724 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29730/stat : 29730 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156318780048 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29731] ppid=29724 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29731/stat : 29731 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156317727248 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29732] ppid=29724 vsize=13974352 memory=140159095920256 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29732/stat : 29732 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355470 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156266310256 140156720548482 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29733] ppid=29724 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29733/stat : 29733 (java) S 29724 29724 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78355471 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156265256224 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29734] ppid=29724 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78355471 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156264203888 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) S 29724 29724 897 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 15 0 78355473 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156262099056 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) R 29724 29724 897 0 -1 4202560 216 0 0 0 1 0 0 0 20 0 15 0 78355473 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156704034112 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13974352 memory=140159095920256 CPUtime=0.05 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) S 29724 29724 897 0 -1 1077944384 677 0 0 0 5 0 0 0 20 0 15 0 78355473 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13974352 memory=140159095920256 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355479 14309736448 9317 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38648 KiB

[startup+0.700828 s]
/proc/loadavg: 1.86 1.72 1.74 5/211 29740
/proc/meminfo: memFree=30154436/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) S 29721 29724 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78355457 9740288 345 18446744073709551615 4194304 5098028 140723567377040 140723567375144 140284847702652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2378 345 289 221 0 87 0
[pid=29726] ppid=29724 vsize=13978684 memory=78768 CPUtime=1.29 cores=1,3,5,7
/proc/29726/stat : 29726 (java) S 29724 29724 897 0 -1 1077944320 12884 0 0 0 124 5 0 0 20 0 15 0 78355468 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140733751362320 140156720537335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
/proc/29726/statm: 3494671 19692 3160 1 0 3482964 0
[pid=29726/tid=29727] ppid=29724 vsize=13978684 memory=1228 CPUtime=0.52 cores=1,3,5,7
/proc/29726/task/29727/stat : 29727 (java) R 29724 29724 897 0 -1 4202560 7455 0 0 0 49 3 0 0 20 0 15 0 78355468 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156724773808 140156704617822 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29728] ppid=29724 vsize=13978684 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29728/stat : 29728 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156662483344 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29729] ppid=29724 vsize=13978684 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29729/stat : 29729 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156319832336 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29730] ppid=29724 vsize=13978684 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29730/stat : 29730 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156318780048 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29731] ppid=29724 vsize=13978684 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29731/stat : 29731 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156317727248 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29732] ppid=29724 vsize=13978684 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29732/stat : 29732 (java) S 29724 29724 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78355470 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156266310256 140156720548482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29733] ppid=29724 vsize=13978684 memory=10164 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29733/stat : 29733 (java) S 29724 29724 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78355471 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156265256224 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29734] ppid=29724 vsize=13978684 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78355471 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156264203888 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13978684 memory=3979266859604206179 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13978684 memory=280317885762624 CPUtime=0.22 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) R 29724 29724 897 0 -1 4202560 1512 0 0 0 22 0 0 0 20 0 15 0 78355473 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156262087808 140156700192577 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13978684 memory=280317885762816 CPUtime=0.23 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) R 29724 29724 897 0 -1 4202560 1071 0 0 0 23 0 0 0 20 0 15 0 78355473 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156702058517 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13978684 memory=280317885763008 CPUtime=0.29 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) S 29724 29724 897 0 -1 1077944384 1539 0 0 0 29 0 0 0 20 0 15 0 78355473 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13978684 memory=280317885763200 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13978684 memory=280317885763392 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355479 14314172416 19692 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 80148 KiB

[startup+1.50088 s]
/proc/loadavg: 1.86 1.72 1.74 5/211 29740
/proc/meminfo: memFree=30105232/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) S 29721 29724 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78355457 9740288 345 18446744073709551615 4194304 5098028 140723567377040 140723567375144 140284847702652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2378 345 289 221 0 87 0
[pid=29726] ppid=29724 vsize=13980732 memory=131224 CPUtime=3.61 cores=1,3,5,7
/proc/29726/stat : 29726 (java) S 29724 29724 897 0 -1 1077944320 20803 0 0 0 354 7 0 0 20 0 15 0 78355468 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140733751362320 140156720537335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
/proc/29726/statm: 3495183 32806 3191 1 0 3483476 0
[pid=29726/tid=29727] ppid=29724 vsize=13980732 memory=15541816741092861 CPUtime=1.32 cores=1,3,5,7
/proc/29726/task/29727/stat : 29727 (java) R 29724 29724 897 0 -1 4202560 8520 0 0 0 128 4 0 0 20 0 15 0 78355468 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156724773776 140156347498203 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29728] ppid=29724 vsize=13980732 memory=280317885697568 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29728/stat : 29728 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156662483344 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29729] ppid=29724 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29729/stat : 29729 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156319832336 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29730] ppid=29724 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29730/stat : 29730 (java) S 29724 29724 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 78355469 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156318780048 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29731] ppid=29724 vsize=13980732 memory=100692 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29731/stat : 29731 (java) S 29724 29724 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 78355469 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156317727248 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29732] ppid=29724 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29732/stat : 29732 (java) S 29724 29724 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 78355470 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156266310256 140156720548482 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29733] ppid=29724 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29733/stat : 29733 (java) S 29724 29724 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156265256224 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29734] ppid=29724 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156264203888 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13980732 memory=43152 CPUtime=0.88 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) S 29724 29724 897 0 -1 1077944384 5317 0 0 0 88 0 0 0 20 0 15 0 78355473 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156262099056 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13980732 memory=1292 CPUtime=0.86 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) S 29724 29724 897 0 -1 1077944384 3059 0 0 0 86 0 0 0 20 0 15 0 78355473 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13980732 memory=33 CPUtime=0.5 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) S 29724 29724 897 0 -1 1077944384 2591 0 0 0 50 0 0 0 20 0 15 0 78355473 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 78355479 14316269568 32806 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0

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

/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 247981 18446744073709551615 4194304 4196468 140733751379776 140156264203904 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 247981 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13980732 memory=1000496 CPUtime=6.44 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) S 29724 29724 897 0 -1 1077944384 30350 0 0 0 641 3 0 0 20 0 15 0 78355473 14316269568 247981 18446744073709551615 4194304 4196468 140733751379776 140156262099056 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13980732 memory=796 CPUtime=6.1 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) S 29724 29724 897 0 -1 1077944384 40571 0 0 0 603 7 0 0 20 0 15 0 78355473 14316269568 247981 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13980732 memory=4872558044660077418 CPUtime=0.99 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) S 29724 29724 897 0 -1 1077944384 11678 0 0 0 97 2 0 0 20 0 15 0 78355473 14316269568 247981 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 247981 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13980732 memory=840 CPUtime=1.27 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 1055 0 0 0 58 69 0 0 20 0 15 0 78355479 14316269568 247981 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
Current children cumulated CPU time: 2397.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 993304 KiB

[startup+2382.3 s]
/proc/loadavg: 1.64 1.72 1.72 3/211 29981
/proc/meminfo: memFree=29228384/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) S 29721 29724 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78355457 9740288 345 18446744073709551615 4194304 5098028 140723567377040 140723567375144 140284847702652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2378 345 289 221 0 87 0
[pid=29726] ppid=29724 vsize=13980732 memory=906312 CPUtime=2458.82 cores=1,3,5,7
/proc/29726/stat : 29726 (java) S 29724 29724 897 0 -1 1077944320 288242 0 0 0 245348 534 0 0 20 0 15 0 78355468 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140733751362320 140156720537335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
/proc/29726/statm: 3495183 226578 3259 1 0 3483476 0
[pid=29726/tid=29727] ppid=29724 vsize=13980732 memory=906312 CPUtime=2360.35 cores=1,3,5,7
/proc/29726/task/29727/stat : 29727 (java) R 29724 29724 897 0 -1 4202560 78506 0 0 0 235997 38 0 0 20 0 15 0 78355468 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156724776720 140156351227671 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29728] ppid=29724 vsize=13980732 memory=1380 CPUtime=20.63 cores=1,3,5,7
/proc/29726/task/29728/stat : 29728 (java) S 29724 29724 897 0 -1 1077944384 17307 0 0 0 1959 104 0 0 20 0 15 0 78355469 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156662483344 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29729] ppid=29724 vsize=13980732 memory=1380 CPUtime=20.67 cores=1,3,5,7
/proc/29726/task/29729/stat : 29729 (java) S 29724 29724 897 0 -1 1077944384 20221 0 0 0 1965 102 0 0 20 0 15 0 78355469 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156319832336 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29730] ppid=29724 vsize=13980732 memory=1380 CPUtime=20.67 cores=1,3,5,7
/proc/29726/task/29730/stat : 29730 (java) S 29724 29724 897 0 -1 1077944384 17126 0 0 0 1966 101 0 0 20 0 15 0 78355469 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156318780048 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29731] ppid=29724 vsize=13980732 memory=1380 CPUtime=20.69 cores=1,3,5,7
/proc/29726/task/29731/stat : 29731 (java) S 29724 29724 897 0 -1 1077944384 18084 0 0 0 1965 104 0 0 20 0 15 0 78355469 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156317727248 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29732] ppid=29724 vsize=13980732 memory=1380 CPUtime=0.87 cores=1,3,5,7
/proc/29726/task/29732/stat : 29732 (java) S 29724 29724 897 0 -1 1077944384 51979 0 0 0 70 17 0 0 20 0 15 0 78355470 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156266310256 140156720548482 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29733] ppid=29724 vsize=13980732 memory=906308 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29733/stat : 29733 (java) S 29724 29724 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156265256288 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29734] ppid=29724 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156264203904 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13980732 memory=906312 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13980732 memory=906308 CPUtime=6.44 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) S 29724 29724 897 0 -1 1077944384 30353 0 0 0 641 3 0 0 20 0 15 0 78355473 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156262099056 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13980732 memory=1380 CPUtime=6.1 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) S 29724 29724 897 0 -1 1077944384 40573 0 0 0 603 7 0 0 20 0 15 0 78355473 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13980732 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) S 29724 29724 897 0 -1 1077944384 11680 0 0 0 97 2 0 0 20 0 15 0 78355473 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13980732 memory=906312 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13980732 memory=11000 CPUtime=1.31 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 1073 0 0 0 60 71 0 0 20 0 15 0 78355479 14316269568 226578 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
Current children cumulated CPU time: 2458.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 907692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2441.11 s]
/proc/loadavg: 1.72 1.74 1.72 3/211 29983
/proc/meminfo: memFree=29038304/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) S 29721 29724 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78355457 9740288 345 18446744073709551615 4194304 5098028 140723567377040 140723567375144 140284847702652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2378 345 289 221 0 87 0
[pid=29726] ppid=29724 vsize=13980732 memory=1137120 CPUtime=2520.04 cores=1,3,5,7
/proc/29726/stat : 29726 (java) S 29724 29724 897 0 -1 1077944320 293241 0 0 0 251448 556 0 0 20 0 15 0 78355468 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140733751362320 140156720537335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
/proc/29726/statm: 3495183 284280 3259 1 0 3483476 0
[pid=29726/tid=29727] ppid=29724 vsize=13980732 memory=1137120 CPUtime=2418.31 cores=1,3,5,7
/proc/29726/task/29727/stat : 29727 (java) R 29724 29724 897 0 -1 4202560 81127 0 0 0 241791 40 0 0 20 0 15 0 78355468 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156724776656 140156699614835 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29728] ppid=29724 vsize=13980732 memory=1137120 CPUtime=21.42 cores=1,3,5,7
/proc/29726/task/29728/stat : 29728 (java) S 29724 29724 897 0 -1 1077944384 17800 0 0 0 2033 109 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156662483344 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29729] ppid=29724 vsize=13980732 memory=1137120 CPUtime=21.46 cores=1,3,5,7
/proc/29726/task/29729/stat : 29729 (java) S 29724 29724 897 0 -1 1077944384 20612 0 0 0 2039 107 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156319832336 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29730] ppid=29724 vsize=13980732 memory=1380 CPUtime=21.48 cores=1,3,5,7
/proc/29726/task/29730/stat : 29730 (java) S 29724 29724 897 0 -1 1077944384 17372 0 0 0 2042 106 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156318780048 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29731] ppid=29724 vsize=13980732 memory=1137120 CPUtime=21.48 cores=1,3,5,7
/proc/29726/task/29731/stat : 29731 (java) S 29724 29724 897 0 -1 1077944384 18373 0 0 0 2040 108 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156317727248 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29732] ppid=29724 vsize=13980732 memory=1137120 CPUtime=0.92 cores=1,3,5,7
/proc/29726/task/29732/stat : 29732 (java) S 29724 29724 897 0 -1 1077944384 52911 0 0 0 75 17 0 0 20 0 15 0 78355470 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156266310256 140156720548482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29733] ppid=29724 vsize=13980732 memory=1137120 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29733/stat : 29733 (java) S 29724 29724 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156265256288 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29734] ppid=29724 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156264203904 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13980732 memory=1380 CPUtime=6.44 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) S 29724 29724 897 0 -1 1077944384 30355 0 0 0 641 3 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156262099056 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13980732 memory=1137120 CPUtime=6.1 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) S 29724 29724 897 0 -1 1077944384 40575 0 0 0 603 7 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13980732 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) S 29724 29724 897 0 -1 1077944384 11683 0 0 0 97 2 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13980732 memory=1158984 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13980732 memory=302022848351043610 CPUtime=1.34 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 1093 0 0 0 61 73 0 0 20 0 15 0 78355479 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1138500 KiB

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

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

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

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

[startup+2441.11 s]
/proc/loadavg: 1.72 1.74 1.72 3/211 29983
/proc/meminfo: memFree=29038304/32770624 swapFree=67108860/67108860
[pid=29724] ppid=29721 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29724/stat : 29724 (xcsp3-exec) S 29721 29724 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 78355457 9740288 345 18446744073709551615 4194304 5098028 140723567377040 140723567375144 140284847702652 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 39399424 140723567378809 140723567379013 140723567379013 140723567382507 0
/proc/29724/statm: 2378 345 289 221 0 87 0
[pid=29726] ppid=29724 vsize=13980732 memory=1137120 CPUtime=2520.04 cores=1,3,5,7
/proc/29726/stat : 29726 (java) S 29724 29724 897 0 -1 1077944320 293241 0 0 0 251448 556 0 0 20 0 15 0 78355468 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140733751362320 140156720537335 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
/proc/29726/statm: 3495183 284280 3259 1 0 3483476 0
[pid=29726/tid=29727] ppid=29724 vsize=13980732 memory=1137120 CPUtime=2418.31 cores=1,3,5,7
/proc/29726/task/29727/stat : 29727 (java) R 29724 29724 897 0 -1 4202560 81127 0 0 0 241791 40 0 0 20 0 15 0 78355468 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156724776656 140156699614835 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29728] ppid=29724 vsize=13980732 memory=1137120 CPUtime=21.42 cores=1,3,5,7
/proc/29726/task/29728/stat : 29728 (java) S 29724 29724 897 0 -1 1077944384 17800 0 0 0 2033 109 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156662483344 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29729] ppid=29724 vsize=13980732 memory=1137120 CPUtime=21.46 cores=1,3,5,7
/proc/29726/task/29729/stat : 29729 (java) S 29724 29724 897 0 -1 1077944384 20612 0 0 0 2039 107 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156319832336 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29730] ppid=29724 vsize=13980732 memory=1380 CPUtime=21.48 cores=1,3,5,7
/proc/29726/task/29730/stat : 29730 (java) S 29724 29724 897 0 -1 1077944384 17372 0 0 0 2042 106 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156318780048 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29731] ppid=29724 vsize=13980732 memory=1137120 CPUtime=21.48 cores=1,3,5,7
/proc/29726/task/29731/stat : 29731 (java) S 29724 29724 897 0 -1 1077944384 18373 0 0 0 2040 108 0 0 20 0 15 0 78355469 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156317727248 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29732] ppid=29724 vsize=13980732 memory=1137120 CPUtime=0.92 cores=1,3,5,7
/proc/29726/task/29732/stat : 29732 (java) S 29724 29724 897 0 -1 1077944384 52911 0 0 0 75 17 0 0 20 0 15 0 78355470 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156266310256 140156720548482 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29733] ppid=29724 vsize=13980732 memory=1137120 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29733/stat : 29733 (java) S 29724 29724 897 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156265256288 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29734] ppid=29724 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29734/stat : 29734 (java) S 29724 29724 897 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 78355471 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156264203904 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29735] ppid=29724 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29735/stat : 29735 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156263152208 140156720555931 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29736] ppid=29724 vsize=13980732 memory=1380 CPUtime=6.44 cores=1,3,5,7
/proc/29726/task/29736/stat : 29736 (java) S 29724 29724 897 0 -1 1077944384 30355 0 0 0 641 3 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156262099056 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29737] ppid=29724 vsize=13980732 memory=1137120 CPUtime=6.1 cores=1,3,5,7
/proc/29726/task/29737/stat : 29737 (java) S 29724 29724 897 0 -1 1077944384 40575 0 0 0 603 7 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156261046256 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29738] ppid=29724 vsize=13980732 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/29726/task/29738/stat : 29738 (java) S 29724 29724 897 0 -1 1077944384 11683 0 0 0 97 2 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156259993968 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29739] ppid=29724 vsize=13980732 memory=1158984 CPUtime=0 cores=1,3,5,7
/proc/29726/task/29739/stat : 29739 (java) S 29724 29724 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 78355473 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156057151968 140156720547541 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
[pid=29726/tid=29740] ppid=29724 vsize=13980732 memory=302022848351043610 CPUtime=1.34 cores=1,3,5,7
/proc/29726/task/29740/stat : 29740 (java) S 29724 29724 897 0 -1 1077944384 1093 0 0 0 61 73 0 0 20 0 15 0 78355479 14316269568 284280 18446744073709551615 4194304 4196468 140733751379776 140156056099760 140156720548482 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8962048 140733751386545 140733751386721 140733751386721 140733751390159 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1138500 KiB

Child status: 143
Real time (s): 2441.12
CPU time (s): 2520.07
CPU user time (s): 2514.49
CPU system time (s): 5.57774
CPU usage (%): 103.234
Max. virtual memory (cumulated for all children) (KiB): 13993964
Max. memory (cumulated for all children) (KiB): 1648624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.49
system time used= 5.57774
maximum resident set size= 1647540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65861
involuntary context switches= 3052


# summary of solver processes directly reported to runsolver:
#   pid: 29724,29726
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2514.49
#   total CPU system time (s): 5.57774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3368 second user time and 24.8279 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 4272306

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