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 par (2017-08-09)	SAT (TO)	848	1994.3101	252.117

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271818-1502641859.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271818-1502641859.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.34/0.26	c parse instance...
2.80/1.00	c solve instance...
4.00/1.11	o 1730 
10.22/2.00	o 1707 
11.07/2.09	o 1556 
11.89/2.13	o 1552 
11.89/2.17	o 1539 
12.54/2.22	o 1510 
12.54/2.25	o 1475 
12.54/2.28	o 1446 
13.31/2.31	o 1438 
30.71/4.56	o 1418 
75.89/10.22	o 1388 
75.89/10.26	o 1374 
94.06/12.55	o 1368 
96.07/12.87	o 1365 
108.77/14.49	o 1346 
115.93/15.40	o 1279 
122.32/16.21	o 1268 
125.40/16.61	o 1251 
132.55/17.58	o 1236 
134.14/17.77	o 1193 
150.91/19.83	o 1168 
151.59/19.97	o 1163 
161.21/21.19	o 1160 
165.12/21.62	o 1122 
186.70/24.47	o 1114 
198.18/25.93	o 1088 
200.48/26.26	o 1073 
201.26/26.39	o 1065 
222.03/29.18	o 1063 
223.84/29.48	o 1054 
248.49/32.57	o 1049 
267.60/35.00	o 1048 
277.81/36.26	o 1025 
307.34/39.93	o 1019 
432.42/55.63	o 1006 
499.85/64.12	o 1001 
528.17/67.84	o 975 
545.44/70.02	o 971 
581.25/74.55	o 969 
590.81/75.77	o 968 
595.57/76.30	o 957 
605.14/77.57	o 951 
659.25/84.37	o 950 
702.29/89.75	o 942 
786.39/100.30	o 939 
854.78/108.90	o 927 
928.75/118.22	o 918 
1015.62/129.13	o 913 
1107.19/140.65	o 905 
1218.64/154.65	o 901 
1305.17/165.59	o 883 
1309.98/166.17	o 877 
1560.69/197.61	o 870 
1676.67/212.20	o 848 
1993.51/252.08	s SATISFIABLE
1993.51/252.08	v <instantiation>
1993.51/252.08	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
1993.51/252.08	v 	<values>0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 75 35 76 48 28 53 72 91 38 20 6 11 32 65 96 95 62 21 55 100 85 97 100 84 85 81 71 67 10 48 41 9 </values>
1993.51/252.08	v </instantiation>
1993.51/252.08	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 (15276 MiB free)
  memory of node 1: 16384 MiB (15680 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271818-1502641859/watcher-4271818-1502641859 -o /tmp/evaluation-result-4271818-1502641859/solver-4271818-1502641859 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1850815819 HOME/instance-4271818-1502641859.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20589, runsolver pid=20586
Current StackSize limit: 8192 KiB


[startup+0.100163 s]*
/proc/loadavg: 8.91 6.29 6.22 4/199 20610
/proc/meminfo: memFree=31683812/32770624 swapFree=67108860/67108860
[pid=20589] ppid=20586 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20589/stat : 20589 (xcsp3-exec) S 20586 20589 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97273726 9740288 346 33554432000 4194304 5098028 140733353715392 140733353713496 140622679831164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37081088 140733353718890 140733353719100 140733353719100 140733353721835 0
/proc/20589/statm: 2378 346 289 221 0 87 0
[pid=20591] ppid=20589 vsize=25999808 memory=26136 CPUtime=0.12 cores=0-7
/proc/20591/stat : 20591 (java) S 20589 20589 7585 0 -1 1077944320 5487 0 0 0 11 1 0 0 20 0 20 0 97273726 26623803392 6534 33554432000 4194304 4196468 140733301222544 140733301205088 139855129702135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
/proc/20591/statm: 6499952 6534 2840 1 0 6488269 0
[pid=20591/tid=20592] ppid=20589 vsize=25999808 memory=8040222142390770336 CPUtime=0.08 cores=0-7
/proc/20591/task/20592/stat : 20592 (java) R 20589 20589 7585 0 -1 4202560 3490 0 0 0 8 0 0 0 20 0 20 0 97273726 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855133935408 139855129714070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20593] ppid=20589 vsize=25999808 memory=732370455187979237 CPUtime=0 cores=0-7
/proc/20591/task/20593/stat : 20593 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855082322192 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20594] ppid=20589 vsize=25999808 memory=140316850525824 CPUtime=0 cores=0-7
/proc/20591/task/20594/stat : 20594 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855081269648 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20595] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20595/stat : 20595 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855080217104 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20596] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20596/stat : 20596 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855079164560 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20597] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20597/stat : 20597 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855078112016 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20598] ppid=20589 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20591/task/20598/stat : 20598 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855077059472 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20599] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20599/stat : 20599 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855076006928 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20600] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20600/stat : 20600 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26623803392 6534 33554432000 4194304 4196468 140733301222544 139855074954384 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20601] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20601/stat : 20601 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273729 26623803392 6534 33554432000 4194304 4196468 140733301222544 139853334788080 139855129713282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20602] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20602/stat : 20602 (java) S 20589 20589 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97273729 26623803392 6534 33554432000 4194304 4196468 140733301222544 139853333734304 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20603] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20603/stat : 20603 (java) S 20589 20589 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97273729 26623803392 6534 33554432000 4194304 4196468 140733301222544 139853332681712 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20604] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20604/stat : 20604 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273732 26623803392 6534 33554432000 4194304 4196468 140733301222544 139853331630288 139855129720731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20605] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20605/stat : 20605 (java) S 20589 20589 7585 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 97273732 26623803392 6534 33554432000 4194304 4196468 140733301222544 139853330577904 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20606] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20606/stat : 20606 (java) R 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97273732 26623803392 6534 33554432000 4194304 4196468 140733301222544 139852993522288 139855129713282 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20607] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20607/stat : 20607 (java) S 20589 20589 7585 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 97273732 26623803392 6534 33554432000 4194304 4196468 140733301222544 139852992469744 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20608] ppid=20589 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20591/task/20608/stat : 20608 (java) R 20589 20589 7585 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 97273732 26623803392 6534 33554432000 4194304 4196468 140733301222544 139852991417200 139855129713282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20609] ppid=20589 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20609/stat : 20609 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97273732 26623803392 6534 33554432000 4194304 4196468 140733301222544 139852990363872 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20610] ppid=20589 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20591/task/20610/stat : 20610 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273732 26623803392 6534 33554432000 4194304 4196468 140733301222544 139852989311408 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27520 KiB

[startup+0.209847 s]*
/proc/loadavg: 8.91 6.29 6.22 2/199 20610
/proc/meminfo: memFree=31672264/32770624 swapFree=67108860/67108860
[pid=20589] ppid=20586 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20589/stat : 20589 (xcsp3-exec) S 20586 20589 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97273726 9740288 346 33554432000 4194304 5098028 140733353715392 140733353713496 140622679831164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37081088 140733353718890 140733353719100 140733353719100 140733353721835 0
/proc/20589/statm: 2378 346 289 221 0 87 0
[pid=20591] ppid=20589 vsize=26004096 memory=38844 CPUtime=0.34 cores=0-7
/proc/20591/stat : 20591 (java) S 20589 20589 7585 0 -1 1077944320 8303 0 0 0 31 3 0 0 20 0 20 0 97273726 26628194304 9711 33554432000 4194304 4196468 140733301222544 140733301205088 139855129702135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
/proc/20591/statm: 6501024 9711 3014 1 0 6488277 0
[pid=20591/tid=20592] ppid=20589 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/20591/task/20592/stat : 20592 (java) D 20589 20589 7585 0 -1 1077944384 5419 0 0 0 18 1 0 0 20 0 20 0 97273726 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855133903856 139855122381357 0 4 0 16800975 18446744072101625380 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20593] ppid=20589 vsize=26004064 memory=280633566303992 CPUtime=0 cores=0-7
/proc/20591/task/20593/stat : 20593 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855082322192 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20594] ppid=20589 vsize=26004064 memory=140316850525824 CPUtime=0 cores=0-7
/proc/20591/task/20594/stat : 20594 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855081269648 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20595] ppid=20589 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20595/stat : 20595 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628194304 9731 33554432000 4194304 4196468 140733301222544 139855080217104 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20596] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20596/stat : 20596 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855079164560 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20597] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20597/stat : 20597 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855078112016 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20598] ppid=20589 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20591/task/20598/stat : 20598 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855077059472 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20599] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20599/stat : 20599 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855076006928 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20600] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20600/stat : 20600 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 9731 33554432000 4194304 4196468 140733301222544 139855074954384 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20601] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20601/stat : 20601 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273729 26628161536 9731 33554432000 4194304 4196468 140733301222544 139853334788080 139855129713282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20602] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20602/stat : 20602 (java) S 20589 20589 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97273729 26628161536 9731 33554432000 4194304 4196468 140733301222544 139853333734304 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20603] ppid=20589 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20603/stat : 20603 (java) S 20589 20589 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97273729 26628194304 9731 33554432000 4194304 4196468 140733301222544 139853332681712 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20604] ppid=20589 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20604/stat : 20604 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273732 26628194304 9731 33554432000 4194304 4196468 140733301222544 139853331630288 139855129720731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20605] ppid=20589 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/20591/task/20605/stat : 20605 (java) S 20589 20589 7585 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 20 0 97273732 26628194304 9731 33554432000 4194304 4196468 140733301222544 139853330577904 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20606] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20606/stat : 20606 (java) S 20589 20589 7585 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 97273732 26628161536 9731 33554432000 4194304 4196468 140733301222544 139852993522288 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20607] ppid=20589 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/20591/task/20607/stat : 20607 (java) S 20589 20589 7585 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 20 0 97273732 26628161536 9731 33554432000 4194304 4196468 140733301222544 139852992469744 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20608] ppid=20589 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/20591/task/20608/stat : 20608 (java) S 20589 20589 7585 0 -1 1077944384 747 0 0 0 7 0 0 0 20 0 20 0 97273732 26628161536 9731 33554432000 4194304 4196468 140733301222544 139852991417200 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20609] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20609/stat : 20609 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97273732 26628161536 9731 33554432000 4194304 4196468 140733301222544 139852990363872 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20610] ppid=20589 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20591/task/20610/stat : 20610 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273732 26628161536 9731 33554432000 4194304 4196468 140733301222544 139852989311408 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013608 KiB
Current children cumulated memory: 40228 KiB

[startup+0.309489 s]*
/proc/loadavg: 8.91 6.29 6.22 3/199 20610
/proc/meminfo: memFree=31668012/32770624 swapFree=67108860/67108860
[pid=20589] ppid=20586 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20589/stat : 20589 (xcsp3-exec) S 20586 20589 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97273726 9740288 346 33554432000 4194304 5098028 140733353715392 140733353713496 140622679831164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37081088 140733353718890 140733353719100 140733353719100 140733353721835 0
/proc/20589/statm: 2378 346 289 221 0 87 0
[pid=20591] ppid=20589 vsize=26004064 memory=46052 CPUtime=0.5 cores=0-7
/proc/20591/stat : 20591 (java) S 20589 20589 7585 0 -1 1077944320 9150 0 0 0 47 3 0 0 20 0 20 0 97273726 26628161536 11513 33554432000 4194304 4196468 140733301222544 140733301205088 139855129702135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
/proc/20591/statm: 6501016 11513 3106 1 0 6488269 0
[pid=20591/tid=20592] ppid=20589 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20591/task/20592/stat : 20592 (java) R 20589 20589 7585 0 -1 4202560 6072 0 0 0 27 2 0 0 20 0 20 0 97273726 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855133940288 139855113782652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20593] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20593/stat : 20593 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855082322192 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20594] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20594/stat : 20594 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855081269648 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20595] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20595/stat : 20595 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855080217104 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20596] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20596/stat : 20596 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855079164560 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20597] ppid=20589 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/20591/task/20597/stat : 20597 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855078112016 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20598] ppid=20589 vsize=26004064 memory=140316715873199 CPUtime=0 cores=0-7
/proc/20591/task/20598/stat : 20598 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855077059472 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20599] ppid=20589 vsize=26004064 memory=140316715875504 CPUtime=0 cores=0-7
/proc/20591/task/20599/stat : 20599 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855076006928 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20600] ppid=20589 vsize=26004064 memory=140316715877808 CPUtime=0 cores=0-7
/proc/20591/task/20600/stat : 20600 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26628161536 11513 33554432000 4194304 4196468 140733301222544 139855074954384 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20601] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20601/stat : 20601 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273729 26628161536 11513 33554432000 4194304 4196468 140733301222544 139853334788080 139855129713282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20602] ppid=20589 vsize=26004064 memory=280633431762576 CPUtime=0 cores=0-7
/proc/20591/task/20602/stat : 20602 (java) S 20589 20589 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97273729 26628161536 11513 33554432000 4194304 4196468 140733301222544 139853333734304 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20603] ppid=20589 vsize=26004064 memory=280633431769488 CPUtime=0 cores=0-7
/proc/20591/task/20603/stat : 20603 (java) S 20589 20589 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97273729 26628161536 11513 33554432000 4194304 4196468 140733301222544 139853332681712 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20604] ppid=20589 vsize=26004064 memory=280633431710768 CPUtime=0 cores=0-7
/proc/20591/task/20604/stat : 20604 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273732 26628161536 11513 33554432000 4194304 4196468 140733301222544 139853331630288 139855129720731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20605] ppid=20589 vsize=26004064 memory=280633431783312 CPUtime=0.01 cores=0-7
/proc/20591/task/20605/stat : 20605 (java) S 20589 20589 7585 0 -1 1077944384 481 0 0 0 1 0 0 0 20 0 20 0 97273732 26628161536 11513 33554432000 4194304 4196468 140733301222544 139853330577904 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20606] ppid=20589 vsize=26004064 memory=280633431790224 CPUtime=0.01 cores=0-7
/proc/20591/task/20606/stat : 20606 (java) S 20589 20589 7585 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 20 0 97273732 26628161536 11513 33554432000 4194304 4196468 140733301222544 139852993522288 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20607] ppid=20589 vsize=26004064 memory=280633431787920 CPUtime=0.04 cores=0-7
/proc/20591/task/20607/stat : 20607 (java) R 20589 20589 7585 0 -1 4202560 340 0 0 0 4 0 0 0 20 0 20 0 97273732 26628161536 11513 33554432000 4194304 4196468 140733301222544 139852992469744 139855122687177 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20608] ppid=20589 vsize=26004064 memory=280633431804080 CPUtime=0.12 cores=0-7
/proc/20591/task/20608/stat : 20608 (java) R 20589 20589 7585 0 -1 4202560 866 0 0 0 12 0 0 0 20 0 20 0 97273732 26628161536 11513 33554432000 4194304 4196468 140733301222544 139852991412880 139855108407065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20609] ppid=20589 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20609/stat : 20609 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97273732 26628161536 11513 33554432000 4194304 4196468 140733301222544 139852990363872 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20610] ppid=20589 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20591/task/20610/stat : 20610 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273732 26628161536 11513 33554432000 4194304 4196468 140733301222544 139852989311408 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47436 KiB

[startup+0.70092 s]
/proc/loadavg: 8.91 6.29 6.22 6/199 20610
/proc/meminfo: memFree=31643356/32770624 swapFree=67108860/67108860
[pid=20589] ppid=20586 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20589/stat : 20589 (xcsp3-exec) S 20586 20589 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97273726 9740288 346 33554432000 4194304 5098028 140733353715392 140733353713496 140622679831164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37081088 140733353718890 140733353719100 140733353719100 140733353721835 0
/proc/20589/statm: 2378 346 289 221 0 87 0
[pid=20591] ppid=20589 vsize=26006188 memory=93536 CPUtime=1.94 cores=0-7
/proc/20591/stat : 20591 (java) S 20589 20589 7585 0 -1 1077944320 13033 0 0 0 189 5 0 0 20 0 20 0 97273726 26630336512 23384 33554432000 4194304 4196468 140733301222544 140733301205088 139855129702135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
/proc/20591/statm: 6501547 23384 3212 1 0 6488781 0
[pid=20591/tid=20592] ppid=20589 vsize=26006188 memory=280633432098944 CPUtime=0.67 cores=0-7
/proc/20591/task/20592/stat : 20592 (java) R 20589 20589 7585 0 -1 4202560 6777 0 0 0 64 3 0 0 20 0 20 0 97273726 26630336512 23384 33554432000 4194304 4196468 140733301222544 139855133938480 139855129714070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20593] ppid=20589 vsize=26006188 memory=5123895985313 CPUtime=0 cores=0-7
/proc/20591/task/20593/stat : 20593 (java) S 20589 20589 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97273727 26630336512 23384 33554432000 4194304 4196468 140733301222544 139855082322192 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20594] ppid=20589 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20594/stat : 20594 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26630336512 23384 33554432000 4194304 4196468 140733301222544 139855081269648 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20595] ppid=20589 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20591/task/20595/stat : 20595 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97273727 26630336512 23384 33554432000 4194304 4196468 140733301222544 139855080217104 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0

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

[pid=20591/tid=21019] ppid=20589 vsize=26539728 memory=90611059263722 CPUtime=7.58 cores=0-7
/proc/20591/task/21019/stat : 21019 (java) R 20589 20589 7585 0 -1 4202560 296 0 0 0 758 0 0 0 20 0 28 0 97289192 27176681472 63995 33554432000 4194304 4196468 140733301222544 139852979195256 139854761310744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
Current children cumulated CPU time: 1279.9 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 257364 KiB

[startup+222.302 s]
/proc/loadavg: 8.20 7.28 6.64 9/208 21058
/proc/meminfo: memFree=31464200/32770624 swapFree=67108860/67108860
[pid=20589] ppid=20586 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20589/stat : 20589 (xcsp3-exec) S 20586 20589 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97273726 9740288 346 33554432000 4194304 5098028 140733353715392 140733353713496 140622679831164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37081088 140733353718890 140733353719100 140733353719100 140733353721835 0
/proc/20589/statm: 2378 346 289 221 0 87 0
[pid=20591] ppid=20589 vsize=26539728 memory=248228 CPUtime=1757.01 cores=0-7
/proc/20591/stat : 20591 (java) S 20589 20589 7585 0 -1 1077944320 197587 0 0 0 175564 137 0 0 20 0 28 0 97273726 27176681472 62057 33554432000 4194304 4196468 140733301222544 140733301205088 139855129702135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
/proc/20591/statm: 6634932 62057 3287 1 0 6622166 0
[pid=20591/tid=20592] ppid=20589 vsize=26539728 memory=245984 CPUtime=1.04 cores=0-7
/proc/20591/task/20592/stat : 20592 (java) S 20589 20589 7585 0 -1 1077944384 10913 0 0 0 99 5 0 0 20 0 28 0 97273726 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855133942912 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20593] ppid=20589 vsize=26539728 memory=1384 CPUtime=0.32 cores=0-7
/proc/20591/task/20593/stat : 20593 (java) S 20589 20589 7585 0 -1 1077944384 3598 0 0 0 25 7 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855082322192 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20594] ppid=20589 vsize=26539728 memory=319068 CPUtime=0.3 cores=0-7
/proc/20591/task/20594/stat : 20594 (java) S 20589 20589 7585 0 -1 1077944384 2734 0 0 0 23 7 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855081269648 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20595] ppid=20589 vsize=26539728 memory=251728 CPUtime=0.31 cores=0-7
/proc/20591/task/20595/stat : 20595 (java) S 20589 20589 7585 0 -1 1077944384 2858 0 0 0 24 7 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855080217104 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20596] ppid=20589 vsize=26539728 memory=247440 CPUtime=0.32 cores=0-7
/proc/20591/task/20596/stat : 20596 (java) S 20589 20589 7585 0 -1 1077944384 3357 0 0 0 24 8 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855079164560 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20597] ppid=20589 vsize=26539728 memory=248740 CPUtime=0.32 cores=0-7
/proc/20591/task/20597/stat : 20597 (java) S 20589 20589 7585 0 -1 1077944384 5295 0 0 0 26 6 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855078112016 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20598] ppid=20589 vsize=26539728 memory=248228 CPUtime=0.3 cores=0-7
/proc/20591/task/20598/stat : 20598 (java) S 20589 20589 7585 0 -1 1077944384 5531 0 0 0 25 5 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855077059472 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20599] ppid=20589 vsize=26539728 memory=1384 CPUtime=0.31 cores=0-7
/proc/20591/task/20599/stat : 20599 (java) S 20589 20589 7585 0 -1 1077944384 4375 0 0 0 25 6 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855076006928 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20600] ppid=20589 vsize=26539728 memory=1384 CPUtime=0.32 cores=0-7
/proc/20591/task/20600/stat : 20600 (java) S 20589 20589 7585 0 -1 1077944384 5265 0 0 0 24 8 0 0 20 0 28 0 97273727 27176681472 62057 33554432000 4194304 4196468 140733301222544 139855074954384 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20601] ppid=20589 vsize=26539728 memory=1384 CPUtime=0.25 cores=0-7
/proc/20591/task/20601/stat : 20601 (java) S 20589 20589 7585 0 -1 1077944384 14771 0 0 0 15 10 0 0 20 0 28 0 97273729 27176681472 62057 33554432000 4194304 4196468 140733301222544 139853334788080 139855129713282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20602] ppid=20589 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/20591/task/20602/stat : 20602 (java) S 20589 20589 7585 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 97273729 27176681472 62057 33554432000 4194304 4196468 140733301222544 139853333734368 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20603] ppid=20589 vsize=26539728 memory=418316 CPUtime=0 cores=0-7
/proc/20591/task/20603/stat : 20603 (java) S 20589 20589 7585 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 97273729 27176681472 62057 33554432000 4194304 4196468 140733301222544 139853332681728 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20604] ppid=20589 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/20591/task/20604/stat : 20604 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97273732 27176681472 62057 33554432000 4194304 4196468 140733301222544 139853331630288 139855129720731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20605] ppid=20589 vsize=26539728 memory=251760 CPUtime=3.06 cores=0-7
/proc/20591/task/20605/stat : 20605 (java) S 20589 20589 7585 0 -1 1077944384 17604 0 0 0 303 3 0 0 20 0 28 0 97273732 27176681472 62057 33554432000 4194304 4196468 140733301222544 139853330577904 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20606] ppid=20589 vsize=26539728 memory=288230574492221466 CPUtime=3.21 cores=0-7
/proc/20591/task/20606/stat : 20606 (java) S 20589 20589 7585 0 -1 1077944384 13347 0 0 0 319 2 0 0 20 0 28 0 97273732 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852993522288 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20607] ppid=20589 vsize=26539728 memory=288230621803970871 CPUtime=3.15 cores=0-7
/proc/20591/task/20607/stat : 20607 (java) S 20589 20589 7585 0 -1 1077944384 14619 0 0 0 312 3 0 0 20 0 28 0 97273732 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852992469744 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20608] ppid=20589 vsize=26539728 memory=1720 CPUtime=1.04 cores=0-7
/proc/20591/task/20608/stat : 20608 (java) S 20589 20589 7585 0 -1 1077944384 19267 0 0 0 100 4 0 0 20 0 28 0 97273732 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852991417200 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20609] ppid=20589 vsize=26539728 memory=1004 CPUtime=0 cores=0-7
/proc/20591/task/20609/stat : 20609 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97273732 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852990363872 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20610] ppid=20589 vsize=26539728 memory=1384 CPUtime=0.05 cores=0-7
/proc/20591/task/20610/stat : 20610 (java) S 20589 20589 7585 0 -1 1077944384 2537 0 0 0 0 5 0 0 20 0 28 0 97273732 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852989311408 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21051] ppid=20589 vsize=26539728 memory=244940 CPUtime=9.97 cores=0-7
/proc/20591/task/21051/stat : 21051 (java) R 20589 20589 7585 0 -1 4202560 218 0 0 0 997 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852972878544 139854762494059 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21052] ppid=20589 vsize=26539728 memory=1384 CPUtime=10.04 cores=0-7
/proc/20591/task/21052/stat : 21052 (java) R 20589 20589 7585 0 -1 4202560 161 0 0 0 1004 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852978142880 139855110544259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21053] ppid=20589 vsize=26539728 memory=1384 CPUtime=10.02 cores=0-7
/proc/20591/task/21053/stat : 21053 (java) R 20589 20589 7585 0 -1 4202560 590 0 0 0 1002 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852980248888 139854761448390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21054] ppid=20589 vsize=26539728 memory=249148 CPUtime=10.03 cores=0-7
/proc/20591/task/21054/stat : 21054 (java) R 20589 20589 7585 0 -1 4202560 261 0 0 0 1003 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852981302168 139854764549444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21055] ppid=20589 vsize=26539728 memory=249128 CPUtime=10.01 cores=0-7
/proc/20591/task/21055/stat : 21055 (java) R 20589 20589 7585 0 -1 4202560 999 0 0 0 1001 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852973932800 139854763560706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21056] ppid=20589 vsize=26539728 memory=245984 CPUtime=9.92 cores=0-7
/proc/20591/task/21056/stat : 21056 (java) R 20589 20589 7585 0 -1 4202560 506 0 0 0 992 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852979196064 139854765822233 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21057] ppid=20589 vsize=26539728 memory=7373050542142416495 CPUtime=10.03 cores=0-7
/proc/20591/task/21057/stat : 21057 (java) R 20589 20589 7585 0 -1 4202560 227 0 0 0 1003 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852976037392 139854761449312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21058] ppid=20589 vsize=26539728 memory=1384 CPUtime=10.02 cores=0-7
/proc/20591/task/21058/stat : 21058 (java) R 20589 20589 7585 0 -1 4202560 144 0 0 0 1002 0 0 0 20 0 28 0 97294947 27176681472 62057 33554432000 4194304 4196468 140733301222544 139852977093392 139854766167560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
Current children cumulated CPU time: 1757.01 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 249612 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.27 7.38 6.70 9/208 21058
/proc/meminfo: memFree=31466124/32770624 swapFree=67108860/67108860
[pid=20589] ppid=20586 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/20589/stat : 20589 (xcsp3-exec) S 20586 20589 7585 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 97273726 9740288 346 33554432000 4194304 5098028 140733353715392 140733353713496 140622679831164 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37081088 140733353718890 140733353719100 140733353719100 140733353721835 0
/proc/20589/statm: 2378 346 289 221 0 87 0
[pid=20591] ppid=20589 vsize=26539728 memory=243504 CPUtime=1993.51 cores=0-7
/proc/20591/stat : 20591 (java) S 20589 20589 7585 0 -1 1077944320 207758 0 0 0 199207 144 0 0 20 0 28 0 97273726 27176681472 60876 33554432000 4194304 4196468 140733301222544 140733301205088 139855129702135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
/proc/20591/statm: 6634932 60876 3287 1 0 6622166 0
[pid=20591/tid=20592] ppid=20589 vsize=26539728 memory=1398720917958146503 CPUtime=1.04 cores=0-7
/proc/20591/task/20592/stat : 20592 (java) S 20589 20589 7585 0 -1 1077944384 10913 0 0 0 99 5 0 0 20 0 28 0 97273726 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855133942912 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20593] ppid=20589 vsize=26539728 memory=-7003737579269690708 CPUtime=0.38 cores=0-7
/proc/20591/task/20593/stat : 20593 (java) S 20589 20589 7585 0 -1 1077944384 3806 0 0 0 30 8 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855082322192 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20594] ppid=20589 vsize=26539728 memory=6940 CPUtime=0.35 cores=0-7
/proc/20591/task/20594/stat : 20594 (java) S 20589 20589 7585 0 -1 1077944384 3174 0 0 0 28 7 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855081269648 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20595] ppid=20589 vsize=26539728 memory=1156 CPUtime=0.36 cores=0-7
/proc/20591/task/20595/stat : 20595 (java) S 20589 20589 7585 0 -1 1077944384 3422 0 0 0 29 7 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855080217104 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20596] ppid=20589 vsize=26539728 memory=4224 CPUtime=0.37 cores=0-7
/proc/20591/task/20596/stat : 20596 (java) S 20589 20589 7585 0 -1 1077944384 3959 0 0 0 29 8 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855079164560 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20597] ppid=20589 vsize=26539728 memory=1384 CPUtime=0.38 cores=0-7
/proc/20591/task/20597/stat : 20597 (java) S 20589 20589 7585 0 -1 1077944384 5502 0 0 0 31 7 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855078112016 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20598] ppid=20589 vsize=26539728 memory=245532 CPUtime=0.35 cores=0-7
/proc/20591/task/20598/stat : 20598 (java) S 20589 20589 7585 0 -1 1077944384 5925 0 0 0 29 6 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855077059472 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20599] ppid=20589 vsize=26539728 memory=4100 CPUtime=0.36 cores=0-7
/proc/20591/task/20599/stat : 20599 (java) S 20589 20589 7585 0 -1 1077944384 4884 0 0 0 29 7 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855076006928 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20600] ppid=20589 vsize=26539728 memory=1398720917958146503 CPUtime=0.37 cores=0-7
/proc/20591/task/20600/stat : 20600 (java) S 20589 20589 7585 0 -1 1077944384 5428 0 0 0 29 8 0 0 20 0 28 0 97273727 27176681472 60876 33554432000 4194304 4196468 140733301222544 139855074954384 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20601] ppid=20589 vsize=26539728 memory=-7003737579269690708 CPUtime=0.3 cores=0-7
/proc/20591/task/20601/stat : 20601 (java) S 20589 20589 7585 0 -1 1077944384 16052 0 0 0 18 12 0 0 20 0 28 0 97273729 27176681472 60876 33554432000 4194304 4196468 140733301222544 139853334788080 139855129713282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20602] ppid=20589 vsize=26539728 memory=4084 CPUtime=0 cores=0-7
/proc/20591/task/20602/stat : 20602 (java) S 20589 20589 7585 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 97273729 27176681472 60876 33554432000 4194304 4196468 140733301222544 139853333734368 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20603] ppid=20589 vsize=26539728 memory=932 CPUtime=0 cores=0-7
/proc/20591/task/20603/stat : 20603 (java) S 20589 20589 7585 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 97273729 27176681472 60876 33554432000 4194304 4196468 140733301222544 139853332681728 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20604] ppid=20589 vsize=26539728 memory=1572 CPUtime=0 cores=0-7
/proc/20591/task/20604/stat : 20604 (java) S 20589 20589 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97273732 27176681472 60876 33554432000 4194304 4196468 140733301222544 139853331630288 139855129720731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20605] ppid=20589 vsize=26539728 memory=1948 CPUtime=3.08 cores=0-7
/proc/20591/task/20605/stat : 20605 (java) S 20589 20589 7585 0 -1 1077944384 19006 0 0 0 305 3 0 0 20 0 28 0 97273732 27176681472 60876 33554432000 4194304 4196468 140733301222544 139853330577904 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20606] ppid=20589 vsize=26539728 memory=8536 CPUtime=3.21 cores=0-7
/proc/20591/task/20606/stat : 20606 (java) S 20589 20589 7585 0 -1 1077944384 13357 0 0 0 319 2 0 0 20 0 28 0 97273732 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852993522288 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20607] ppid=20589 vsize=26539728 memory=4616 CPUtime=3.15 cores=0-7
/proc/20591/task/20607/stat : 20607 (java) S 20589 20589 7585 0 -1 1077944384 14628 0 0 0 312 3 0 0 20 0 28 0 97273732 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852992469744 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20608] ppid=20589 vsize=26539728 memory=1720 CPUtime=1.04 cores=0-7
/proc/20591/task/20608/stat : 20608 (java) S 20589 20589 7585 0 -1 1077944384 19277 0 0 0 100 4 0 0 20 0 28 0 97273732 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852991417200 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20609] ppid=20589 vsize=26539728 memory=1004 CPUtime=0 cores=0-7
/proc/20591/task/20609/stat : 20609 (java) S 20589 20589 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97273732 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852990363872 139855129712341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=20610] ppid=20589 vsize=26539728 memory=1436 CPUtime=0.05 cores=0-7
/proc/20591/task/20610/stat : 20610 (java) S 20589 20589 7585 0 -1 1077944384 2726 0 0 0 0 5 0 0 20 0 28 0 97273732 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852989311408 139855129713282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21051] ppid=20589 vsize=26539728 memory=1200 CPUtime=39.51 cores=0-7
/proc/20591/task/21051/stat : 21051 (java) R 20589 20589 7585 0 -1 4202560 398 0 0 0 3951 0 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852972879312 139854756271512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21052] ppid=20589 vsize=26539728 memory=15872 CPUtime=39.48 cores=0-7
/proc/20591/task/21052/stat : 21052 (java) R 20589 20589 7585 0 -1 4202560 439 0 0 0 3948 0 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852978143840 139854761448395 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21053] ppid=20589 vsize=26539728 memory=4040 CPUtime=39.6 cores=0-7
/proc/20591/task/21053/stat : 21053 (java) R 20589 20589 7585 0 -1 4202560 1447 0 0 0 3960 0 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852980248096 139854764279442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21054] ppid=20589 vsize=26539728 memory=16720 CPUtime=39.36 cores=0-7
/proc/20591/task/21054/stat : 21054 (java) R 20589 20589 7585 0 -1 4202560 670 0 0 0 3936 0 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852981305800 139854764549405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21055] ppid=20589 vsize=26539728 memory=18292 CPUtime=39.47 cores=0-7
/proc/20591/task/21055/stat : 21055 (java) R 20589 20589 7585 0 -1 4202560 2331 0 0 0 3945 2 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852973935952 139854766439869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21056] ppid=20589 vsize=26539728 memory=1792 CPUtime=39.47 cores=0-7
/proc/20591/task/21056/stat : 21056 (java) R 20589 20589 7585 0 -1 4202560 1153 0 0 0 3947 0 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852979197024 139854764585105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21057] ppid=20589 vsize=26539728 memory=648 CPUtime=39.61 cores=0-7
/proc/20591/task/21057/stat : 21057 (java) R 20589 20589 7585 0 -1 4202560 467 0 0 0 3961 0 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852976041504 139854761448594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
[pid=20591/tid=21058] ppid=20589 vsize=26539728 memory=1236 CPUtime=39.58 cores=0-7
/proc/20591/task/21058/stat : 21058 (java) R 20589 20589 7585 0 -1 4202560 384 0 0 0 3958 0 0 0 20 0 28 0 97294947 27176681472 60876 33554432000 4194304 4196468 140733301222544 139852977094440 139854766167510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25624576 140733301224600 140733301224776 140733301224776 140733301227471 0
Current children cumulated CPU time: 1993.51 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 244888 KiB

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

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

[startup+252.117 s]
# the end of solver process 20591 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1992.86 s, system=1.45381 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): 252.117
CPU time (s): 1994.31
CPU user time (s): 1992.86
CPU system time (s): 1.45381
CPU usage (%): 791.025
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 436688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1992.86
system time used= 1.45381
maximum resident set size= 439200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28538
involuntary context switches= 22382


# summary of solver processes directly reported to runsolver:
#   pid: 20589,20591
#   total CPU time (s): 1994.31
#   total CPU user time (s): 1992.86
#   total CPU system time (s): 1.45381

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.16866 second user time and 2.71609 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	664
Best CPU time to get the best result obtained on this benchmark	251.89101
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4271818

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