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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	1921	245.23	240.033

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283106-1503211974.xml"  -tl '264s' -p 1 -x 0
0.14/0.14	c [HOME/instance-4283106-1503211974.xml, -tl, 264s, -p, 1, -x, 0]
0.14/0.19	c simple solver
0.34/0.26	c parse instance...
1.84/0.71	c solve instance...
4.49/1.75	o 2189 
4.49/1.76	o 2136 
4.49/1.77	o 2122 
4.80/1.81	o 2097 
40.28/35.73	o 2096 
40.28/35.73	o 2087 
40.28/35.76	o 2075 
40.28/35.77	o 2066 
40.28/35.78	o 2060 
40.28/35.79	o 2051 
40.41/35.80	o 2050 
40.41/35.83	o 2042 
40.52/35.94	o 2040 
40.52/36.00	o 2039 
40.52/36.00	o 2026 
40.63/36.01	o 2024 
40.63/36.04	o 2019 
40.63/36.04	o 2011 
40.63/36.05	o 2010 
40.63/36.05	o 2002 
40.63/36.06	o 2001 
40.63/36.07	o 1998 
40.63/36.07	o 1997 
40.63/36.08	o 1989 
40.63/36.08	o 1988 
40.98/36.35	o 1975 
41.18/36.52	o 1971 
41.18/36.53	o 1970 
55.13/50.29	o 1958 
55.23/50.30	o 1924 
55.23/50.34	o 1921 
245.20/240.01	s SATISFIABLE
245.20/240.01	v <instantiation>
245.20/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list>
245.20/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 5 81 44 29 56 76 46 80 36 62 16 37 11 68 33 84 1 2 75 15 50 7 13 16 14 4 14 40 59 14 58 20 65 51 25 13 27 51 35 85 88 76 39 46 </values>
245.20/240.01	v </instantiation>
245.20/240.01	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14182 MiB free)
  memory of node 1: 16384 MiB (13343 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283106-1503211974/watcher-4283106-1503211974 -o /tmp/evaluation-result-4283106-1503211974/solver-4283106-1503211974 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1969974188 HOME/instance-4283106-1503211974.xml 

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

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

solver pid=23600, runsolver pid=23597

[startup+0.106517 s]*
/proc/loadavg: 1.96 1.92 1.80 4/217 23616
/proc/meminfo: memFree=28170284/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0
[pid=23602] ppid=23600 vsize=13978596 memory=28624 CPUtime=0.14 cores=0,2,4,6
/proc/23602/stat : 23602 (java) S 23600 23600 21899 0 -1 1077944320 5471 0 0 0 12 2 0 0 20 0 15 0 154285507 14314082304 7156 33554432000 4194304 4196468 140725716538160 140725716520704 140687477067511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
/proc/23602/statm: 3494649 7156 2893 1 0 3482966 0
[pid=23602/tid=23603] ppid=23600 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/23602/task/23603/stat : 23603 (java) R 23600 23600 21899 0 -1 4202560 3404 0 0 0 8 1 0 0 20 0 15 0 154285508 14314082304 7156 33554432000 4194304 4196468 140725716538160 140687481296728 140687469304638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23604] ppid=23600 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23604/stat : 23604 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14314082304 7156 33554432000 4194304 4196468 140725716538160 140687429688208 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23605] ppid=23600 vsize=13978596 memory=140504154515072 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23605/stat : 23605 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14314082304 7156 33554432000 4194304 4196468 140725716538160 140687428635408 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23606] ppid=23600 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23606/stat : 23606 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14314082304 7156 33554432000 4194304 4196468 140725716538160 140687427583120 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23607] ppid=23600 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23607/stat : 23607 (java) S 23600 23600 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154285508 14314082304 7156 33554432000 4194304 4196468 140725716538160 140687426530320 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23608] ppid=23600 vsize=13978596 memory=140504154515072 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23608/stat : 23608 (java) S 23600 23600 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154285510 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686456498288 140687477078658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23609] ppid=23600 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23609/stat : 23609 (java) S 23600 23600 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154285510 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686455444256 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23610] ppid=23600 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154285510 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) R 23600 23600 21899 0 -1 4202560 438 0 0 0 0 0 0 0 20 0 15 0 154285513 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686452279616 140687460479712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) R 23600 23600 21899 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 154285513 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686451235312 140687477078658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13978596 memory=140504154515072 CPUtime=0.02 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) R 23600 23600 21899 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 154285513 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686450179960 140687477079446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13978596 memory=140504154515072 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285513 14314082304 7156 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30004 KiB

[startup+0.211065 s]*
/proc/loadavg: 1.96 1.92 1.80 3/217 23616
/proc/meminfo: memFree=28157476/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0
[pid=23602] ppid=23600 vsize=13982852 memory=40148 CPUtime=0.34 cores=0,2,4,6
/proc/23602/stat : 23602 (java) S 23600 23600 21899 0 -1 1077944320 8259 0 0 0 31 3 0 0 20 0 15 0 154285507 14318440448 10037 33554432000 4194304 4196468 140725716538160 140725716520704 140687477067511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
/proc/23602/statm: 3495713 10037 3037 1 0 3482966 0
[pid=23602/tid=23603] ppid=23600 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/23602/task/23603/stat : 23603 (java) R 23600 23600 21899 0 -1 4202560 5391 0 0 0 18 2 0 0 20 0 15 0 154285508 14318440448 10037 33554432000 4194304 4196468 140725716538160 140687481277248 140687469745525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23604] ppid=23600 vsize=13982852 memory=8961 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23604/stat : 23604 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 10037 33554432000 4194304 4196468 140725716538160 140687429688208 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23605] ppid=23600 vsize=13982852 memory=3688649283402999456 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23605/stat : 23605 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 10037 33554432000 4194304 4196468 140725716538160 140687428635408 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23606] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23606/stat : 23606 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 10037 33554432000 4194304 4196468 140725716538160 140687427583120 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23607] ppid=23600 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23607/stat : 23607 (java) S 23600 23600 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 10037 33554432000 4194304 4196468 140725716538160 140687426530320 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23608] ppid=23600 vsize=13982852 memory=140504154515072 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23608/stat : 23608 (java) S 23600 23600 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154285510 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686456498288 140687477078658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23609] ppid=23600 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23609/stat : 23609 (java) S 23600 23600 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154285510 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686455444256 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23610] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154285510 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) S 23600 23600 21899 0 -1 1077944384 518 0 0 0 2 0 0 0 20 0 15 0 154285513 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686452288112 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) S 23600 23600 21899 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 154285513 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686451235312 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13982852 memory=140504154515072 CPUtime=0.08 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) R 23600 23600 21899 0 -1 4202560 789 0 0 0 8 0 0 0 20 0 15 0 154285513 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686450183024 140687477079446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285513 14318440448 10037 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41528 KiB

[startup+0.314573 s]*
/proc/loadavg: 1.96 1.92 1.80 4/217 23616
/proc/meminfo: memFree=28150156/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0
[pid=23602] ppid=23600 vsize=13982852 memory=47788 CPUtime=0.53 cores=0,2,4,6
/proc/23602/stat : 23602 (java) S 23600 23600 21899 0 -1 1077944320 9054 0 0 0 50 3 0 0 20 0 15 0 154285507 14318440448 11947 33554432000 4194304 4196468 140725716538160 140725716520704 140687477067511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
/proc/23602/statm: 3495713 11947 3119 1 0 3482966 0
[pid=23602/tid=23603] ppid=23600 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/23602/task/23603/stat : 23603 (java) R 23600 23600 21899 0 -1 4202560 5928 0 0 0 27 2 0 0 20 0 15 0 154285508 14318440448 11947 33554432000 4194304 4196468 140725716538160 140687481306208 140687106470095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23604] ppid=23600 vsize=13982852 memory=9323 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23604/stat : 23604 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 11947 33554432000 4194304 4196468 140725716538160 140687429688208 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23605] ppid=23600 vsize=13982852 memory=4337868251985084448 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23605/stat : 23605 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 11947 33554432000 4194304 4196468 140725716538160 140687428635408 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23606] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23606/stat : 23606 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 11947 33554432000 4194304 4196468 140725716538160 140687427583120 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23607] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23607/stat : 23607 (java) S 23600 23600 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154285508 14318440448 11947 33554432000 4194304 4196468 140725716538160 140687426530320 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23608] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23608/stat : 23608 (java) S 23600 23600 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154285510 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686456498288 140687477078658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23609] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23609/stat : 23609 (java) S 23600 23600 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154285510 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686455444256 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23610] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154285510 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) R 23600 23600 21899 0 -1 1077944384 616 0 0 0 4 0 0 0 20 0 15 0 154285513 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686452281136 140687477077717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) R 23600 23600 21899 0 -1 4202560 280 0 0 0 4 0 0 0 20 0 15 0 154285513 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686451225232 140687469356965 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) R 23600 23600 21899 0 -1 4202560 927 0 0 0 13 0 0 0 20 0 15 0 154285513 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686450179960 140687456052199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285513 14318440448 11947 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49168 KiB

[startup+0.700806 s]
/proc/loadavg: 1.96 1.92 1.80 6/217 23616
/proc/meminfo: memFree=28119880/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0
[pid=23602] ppid=23600 vsize=13984976 memory=95720 CPUtime=1.84 cores=0,2,4,6
/proc/23602/stat : 23602 (java) S 23600 23600 21899 0 -1 1077944320 12433 0 0 0 179 5 0 0 20 0 15 0 154285507 14320615424 23930 33554432000 4194304 4196468 140725716538160 140725716520704 140687477067511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
/proc/23602/statm: 3496244 23930 3205 1 0 3483478 0
[pid=23602/tid=23603] ppid=23600 vsize=13984976 memory=24604 CPUtime=0.67 cores=0,2,4,6
/proc/23602/task/23603/stat : 23603 (java) R 23600 23600 21899 0 -1 4202560 6592 0 0 0 64 3 0 0 20 0 15 0 154285508 14320615424 23930 33554432000 4194304 4196468 140725716538160 140687481290384 140687461147998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23604] ppid=23600 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23604/stat : 23604 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14320615424 23930 33554432000 4194304 4196468 140725716538160 140687429688208 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23605] ppid=23600 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23605/stat : 23605 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14320615424 23930 33554432000 4194304 4196468 140725716538160 140687428635408 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23606] ppid=23600 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23606/stat : 23606 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285508 14320615424 23930 33554432000 4194304 4196468 140725716538160 140687427583120 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23607] ppid=23600 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23607/stat : 23607 (java) S 23600 23600 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154285508 14320615424 23930 33554432000 4194304 4196468 140725716538160 140687426530320 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23608] ppid=23600 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23608/stat : 23608 (java) S 23600 23600 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686456498288 140687477078658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23609] ppid=23600 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23609/stat : 23609 (java) S 23600 23600 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686455444256 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23610] ppid=23600 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13984976 memory=4316 CPUtime=0.35 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) S 23600 23600 21899 0 -1 1077944384 1390 0 0 0 35 0 0 0 20 0 15 0 154285513 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686452288112 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13984976 memory=2196 CPUtime=0.39 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) R 23600 23600 21899 0 -1 4202560 1095 0 0 0 39 0 0 0 20 0 15 0 154285513 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686451235312 140687477081393 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13984976 memory=7784 CPUtime=0.39 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) S 23600 23600 21899 0 -1 1077944384 2051 0 0 0 39 0 0 0 20 0 15 0 154285513 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686450183024 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 23930 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 97100 KiB

[startup+1.50081 s]
/proc/loadavg: 1.96 1.92 1.80 5/217 23616
/proc/meminfo: memFree=28078024/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0

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

/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 53642 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13984976 memory=1828 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 53642 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13984976 memory=1380 CPUtime=2.23 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) S 23600 23600 21899 0 -1 1077944384 11919 0 0 0 222 1 0 0 20 0 15 0 154285513 14320615424 53642 33554432000 4194304 4196468 140725716538160 140686452288112 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13984976 memory=0 CPUtime=2.1 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) S 23600 23600 21899 0 -1 1077944384 7817 0 0 0 209 1 0 0 20 0 15 0 154285513 14320615424 53642 33554432000 4194304 4196468 140725716538160 140686451235312 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13984976 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) S 23600 23600 21899 0 -1 1077944384 5017 0 0 0 60 1 0 0 20 0 15 0 154285513 14320615424 53642 33554432000 4194304 4196468 140725716538160 140686450183024 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13984976 memory=-7878833433568424315 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 53642 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13984976 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 275 0 0 0 2 1 0 0 20 0 15 0 154285513 14320615424 53642 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 107.37 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 215948 KiB

[startup+162.301 s]
/proc/loadavg: 1.74 1.84 1.79 3/216 23625
/proc/meminfo: memFree=27953224/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0
[pid=23602] ppid=23600 vsize=13984976 memory=208948 CPUtime=167.43 cores=0,2,4,6
/proc/23602/stat : 23602 (java) S 23600 23600 21899 0 -1 1077944320 44405 0 0 0 16728 15 0 0 20 0 15 0 154285507 14320615424 52237 33554432000 4194304 4196468 140725716538160 140725716520704 140687477067511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
/proc/23602/statm: 3496244 52237 3262 1 0 3483478 0
[pid=23602/tid=23603] ppid=23600 vsize=13984976 memory=208948 CPUtime=162.19 cores=0,2,4,6
/proc/23602/task/23603/stat : 23603 (java) R 23600 23600 21899 0 -1 4202560 11377 0 0 0 16213 6 0 0 20 0 15 0 154285508 14320615424 52237 33554432000 4194304 4196468 140725716538160 140687481306976 140687114151404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23604] ppid=23600 vsize=13984976 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/23602/task/23604/stat : 23604 (java) S 23600 23600 21899 0 -1 1077944384 2115 0 0 0 2 1 0 0 20 0 15 0 154285508 14320615424 52237 33554432000 4194304 4196468 140725716538160 140687429688208 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23605] ppid=23600 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/23602/task/23605/stat : 23605 (java) S 23600 23600 21899 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 154285508 14320615424 52237 33554432000 4194304 4196468 140725716538160 140687428635408 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23606] ppid=23600 vsize=13984976 memory=208948 CPUtime=0.03 cores=0,2,4,6
/proc/23602/task/23606/stat : 23606 (java) S 23600 23600 21899 0 -1 1077944384 816 0 0 0 3 0 0 0 20 0 15 0 154285508 14320615424 52237 33554432000 4194304 4196468 140725716538160 140687427583120 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23607] ppid=23600 vsize=13984976 memory=1296 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23607/stat : 23607 (java) S 23600 23600 21899 0 -1 1077944384 909 0 0 0 3 1 0 0 20 0 15 0 154285508 14320615424 52237 33554432000 4194304 4196468 140725716538160 140687426530320 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23608] ppid=23600 vsize=13984976 memory=2404 CPUtime=0.02 cores=0,2,4,6
/proc/23602/task/23608/stat : 23608 (java) S 23600 23600 21899 0 -1 1077944384 904 0 0 0 2 0 0 0 20 0 15 0 154285510 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686456498288 140687477078658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23609] ppid=23600 vsize=13984976 memory=11104 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23609/stat : 23609 (java) S 23600 23600 21899 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686455444256 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23610] ppid=23600 vsize=13984976 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13984976 memory=42880 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13984976 memory=1296 CPUtime=2.25 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) S 23600 23600 21899 0 -1 1077944384 12621 0 0 0 224 1 0 0 20 0 15 0 154285513 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686452288112 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13984976 memory=6791534058613427641 CPUtime=2.1 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) S 23600 23600 21899 0 -1 1077944384 7897 0 0 0 209 1 0 0 20 0 15 0 154285513 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686451235312 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13984976 memory=1724 CPUtime=0.62 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) S 23600 23600 21899 0 -1 1077944384 5657 0 0 0 61 1 0 0 20 0 15 0 154285513 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686450183024 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13984976 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 328 0 0 0 3 2 0 0 20 0 15 0 154285513 14320615424 52237 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 167.43 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 210328 KiB

[startup+222.301 s]
/proc/loadavg: 1.81 1.84 1.79 3/217 23627
/proc/meminfo: memFree=27980572/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0
[pid=23602] ppid=23600 vsize=13984976 memory=196652 CPUtime=227.48 cores=0,2,4,6
/proc/23602/stat : 23602 (java) S 23600 23600 21899 0 -1 1077944320 45996 0 0 0 22732 16 0 0 20 0 15 0 154285507 14320615424 49163 33554432000 4194304 4196468 140725716538160 140725716520704 140687477067511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
/proc/23602/statm: 3496244 49163 3262 1 0 3483478 0
[pid=23602/tid=23603] ppid=23600 vsize=13984976 memory=196652 CPUtime=222.18 cores=0,2,4,6
/proc/23602/task/23603/stat : 23603 (java) R 23600 23600 21899 0 -1 4202560 11732 0 0 0 22212 6 0 0 20 0 15 0 154285508 14320615424 49163 33554432000 4194304 4196468 140725716538160 140687481307136 140687107512341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23604] ppid=23600 vsize=13984976 memory=196652 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23604/stat : 23604 (java) S 23600 23600 21899 0 -1 1077944384 2120 0 0 0 3 1 0 0 20 0 15 0 154285508 14320615424 49163 33554432000 4194304 4196468 140725716538160 140687429688208 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23605] ppid=23600 vsize=13984976 memory=196652 CPUtime=0.03 cores=0,2,4,6
/proc/23602/task/23605/stat : 23605 (java) S 23600 23600 21899 0 -1 1077944384 492 0 0 0 3 0 0 0 20 0 15 0 154285508 14320615424 49163 33554432000 4194304 4196468 140725716538160 140687428635408 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23606] ppid=23600 vsize=13984976 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23606/stat : 23606 (java) S 23600 23600 21899 0 -1 1077944384 934 0 0 0 4 0 0 0 20 0 15 0 154285508 14320615424 49163 33554432000 4194304 4196468 140725716538160 140687427583120 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23607] ppid=23600 vsize=13984976 memory=196652 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23607/stat : 23607 (java) S 23600 23600 21899 0 -1 1077944384 913 0 0 0 3 1 0 0 20 0 15 0 154285508 14320615424 49163 33554432000 4194304 4196468 140725716538160 140687426530320 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23608] ppid=23600 vsize=13984976 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/23602/task/23608/stat : 23608 (java) S 23600 23600 21899 0 -1 1077944384 1122 0 0 0 2 0 0 0 20 0 15 0 154285510 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686456498288 140687477078658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23609] ppid=23600 vsize=13984976 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23609/stat : 23609 (java) S 23600 23600 21899 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686455444256 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23610] ppid=23600 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13984976 memory=196652 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13984976 memory=1380 CPUtime=2.25 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) S 23600 23600 21899 0 -1 1077944384 12622 0 0 0 224 1 0 0 20 0 15 0 154285513 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686452288112 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13984976 memory=1380 CPUtime=2.1 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) S 23600 23600 21899 0 -1 1077944384 7903 0 0 0 209 1 0 0 20 0 15 0 154285513 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686451235312 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13984976 memory=196652 CPUtime=0.62 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) S 23600 23600 21899 0 -1 1077944384 6465 0 0 0 61 1 0 0 20 0 15 0 154285513 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686450183024 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13984976 memory=1380 CPUtime=0.07 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 356 0 0 0 3 4 0 0 20 0 15 0 154285513 14320615424 49163 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 227.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198032 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.71 1.82 1.78 3/217 23705
/proc/meminfo: memFree=27972764/32770624 swapFree=67108860/67108860
[pid=23600] ppid=23597 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23600/stat : 23600 (xcsp3-exec) S 23597 23600 21899 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154285507 9740288 345 33554432000 4194304 5098028 140730536463104 140730536461208 139711202452092 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 21643264 140730536465524 140730536465728 140730536465728 140730536468459 0
/proc/23600/statm: 2378 345 289 221 0 87 0
[pid=23602] ppid=23600 vsize=13984976 memory=191004 CPUtime=245.2 cores=0,2,4,6
/proc/23602/stat : 23602 (java) S 23600 23600 21899 0 -1 1077944320 46215 0 0 0 24504 16 0 0 20 0 15 0 154285507 14320615424 47751 33554432000 4194304 4196468 140725716538160 140725716520704 140687477067511 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
/proc/23602/statm: 3496244 47751 3262 1 0 3483478 0
[pid=23602/tid=23603] ppid=23600 vsize=13984976 memory=6791534058613427641 CPUtime=239.88 cores=0,2,4,6
/proc/23602/task/23603/stat : 23603 (java) R 23600 23600 21899 0 -1 4202560 11735 0 0 0 23982 6 0 0 20 0 15 0 154285508 14320615424 47751 33554432000 4194304 4196468 140725716538160 140687481306960 140687111384688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23604] ppid=23600 vsize=13984976 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23604/stat : 23604 (java) S 23600 23600 21899 0 -1 1077944384 2122 0 0 0 3 1 0 0 20 0 15 0 154285508 14320615424 47751 33554432000 4194304 4196468 140725716538160 140687429688208 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23605] ppid=23600 vsize=13984976 memory=24612 CPUtime=0.03 cores=0,2,4,6
/proc/23602/task/23605/stat : 23605 (java) S 23600 23600 21899 0 -1 1077944384 494 0 0 0 3 0 0 0 20 0 15 0 154285508 14320615424 47751 33554432000 4194304 4196468 140725716538160 140687428635408 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23606] ppid=23600 vsize=13984976 memory=1232 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23606/stat : 23606 (java) S 23600 23600 21899 0 -1 1077944384 937 0 0 0 4 0 0 0 20 0 15 0 154285508 14320615424 47751 33554432000 4194304 4196468 140725716538160 140687427583120 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23607] ppid=23600 vsize=13984976 memory=648 CPUtime=0.04 cores=0,2,4,6
/proc/23602/task/23607/stat : 23607 (java) S 23600 23600 21899 0 -1 1077944384 914 0 0 0 3 1 0 0 20 0 15 0 154285508 14320615424 47751 33554432000 4194304 4196468 140725716538160 140687426530320 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23608] ppid=23600 vsize=13984976 memory=1796 CPUtime=0.02 cores=0,2,4,6
/proc/23602/task/23608/stat : 23608 (java) S 23600 23600 21899 0 -1 1077944384 1124 0 0 0 2 0 0 0 20 0 15 0 154285510 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686456498288 140687477078658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23609] ppid=23600 vsize=13984976 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23609/stat : 23609 (java) S 23600 23600 21899 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686455444256 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23610] ppid=23600 vsize=13984976 memory=204852 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23610/stat : 23610 (java) S 23600 23600 21899 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 154285510 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686454391920 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23611] ppid=23600 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23611/stat : 23611 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686453340240 140687477086107 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23612] ppid=23600 vsize=13984976 memory=193568 CPUtime=2.25 cores=0,2,4,6
/proc/23602/task/23612/stat : 23612 (java) S 23600 23600 21899 0 -1 1077944384 12622 0 0 0 224 1 0 0 20 0 15 0 154285513 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686452288112 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23613] ppid=23600 vsize=13984976 memory=4044 CPUtime=2.1 cores=0,2,4,6
/proc/23602/task/23613/stat : 23613 (java) S 23600 23600 21899 0 -1 1077944384 7903 0 0 0 209 1 0 0 20 0 15 0 154285513 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686451235312 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23614] ppid=23600 vsize=13984976 memory=24612 CPUtime=0.62 cores=0,2,4,6
/proc/23602/task/23614/stat : 23614 (java) S 23600 23600 21899 0 -1 1077944384 6669 0 0 0 61 1 0 0 20 0 15 0 154285513 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686450183024 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23615] ppid=23600 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/23602/task/23615/stat : 23615 (java) S 23600 23600 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154285513 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686449130464 140687477077717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
[pid=23602/tid=23616] ppid=23600 vsize=13984976 memory=648 CPUtime=0.07 cores=0,2,4,6
/proc/23602/task/23616/stat : 23616 (java) S 23600 23600 21899 0 -1 1077944384 358 0 0 0 3 4 0 0 20 0 15 0 154285513 14320615424 47751 33554432000 4194304 4196468 140725716538160 140686448077232 140687477078658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 16543744 140725716546717 140725716546892 140725716546892 140725716549583 0
Current children cumulated CPU time: 245.2 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 192384 KiB

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

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

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

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

Child status: 143
Real time (s): 240.033
CPU time (s): 245.23
CPU user time (s): 245.057
CPU system time (s): 0.173565
CPU usage (%): 102.165
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 217500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.057
system time used= 0.173565
maximum resident set size= 222260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7586
involuntary context switches= 327


# summary of solver processes directly reported to runsolver:
#   pid: 23600,23602
#   total CPU time (s): 245.23
#   total CPU user time (s): 245.057
#   total CPU system time (s): 0.173565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3568 second user time and 2.26473 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	776
Best CPU time to get the best result obtained on this benchmark	251.925
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 4283106

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