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)	908	1976.29	252.114

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271819-1502641962.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271819-1502641962.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.34/0.26	c parse instance...
2.83/0.97	c solve instance...
3.36/1.04	o 2353 
5.56/1.32	o 2160 
7.12/1.52	o 1929 
8.69/1.73	o 1771 
8.69/1.73	o 1732 
8.69/1.74	o 1731 
8.69/1.74	o 1730 
8.69/1.76	o 1704 
8.69/1.78	o 1703 
11.89/2.12	o 1692 
11.89/2.18	o 1612 
11.89/2.19	o 1610 
12.55/2.20	o 1590 
12.55/2.21	o 1576 
12.55/2.28	o 1563 
13.26/2.37	o 1556 
14.80/2.53	o 1405 
15.54/2.65	o 1341 
17.09/2.81	o 1335 
17.09/2.84	o 1325 
17.09/2.87	o 1322 
17.84/2.90	o 1321 
17.84/2.92	o 1289 
18.68/3.04	o 1287 
18.68/3.06	o 1265 
19.46/3.17	o 1263 
20.99/3.32	o 1256 
20.99/3.39	o 1251 
24.06/3.74	o 1247 
26.48/4.03	o 1227 
27.98/4.20	o 1220 
32.76/4.85	o 1192 
36.67/5.36	o 1185 
39.77/5.74	o 1183 
40.56/5.85	o 1175 
42.00/6.05	o 1130 
42.48/6.15	o 1123 
59.48/8.33	o 1115 
69.61/9.61	o 1102 
70.39/9.74	o 1097 
71.17/9.88	o 1089 
74.36/10.27	o 1088 
76.45/10.53	o 1086 
140.88/18.61	o 1082 
148.85/19.70	o 1073 
158.93/21.04	o 1047 
173.79/22.97	o 1044 
173.79/23.00	o 1034 
226.00/29.54	o 1030 
338.97/43.78	o 1029 
346.44/44.74	o 1010 
346.44/44.75	o 1003 
403.58/51.92	o 1000 
444.83/57.26	o 972 
519.85/66.92	o 969 
538.45/69.33	o 968 
544.56/70.28	o 956 
646.56/83.85	o 955 
745.05/96.25	o 946 
905.30/116.39	o 932 
907.69/116.60	o 923 
1129.59/144.86	o 922 
1131.16/145.72	o 913 
1335.03/171.44	o 912 
1511.35/193.65	o 908 
1975.58/252.08	s SATISFIABLE
1975.58/252.08	v <instantiation>
1975.58/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>
1975.58/252.08	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 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 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 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 80 91 55 70 99 28 35 32 49 98 74 73 54 97 74 53 96 17 53 46 78 16 98 29 89 91 100 21 97 46 100 23 </values>
1975.58/252.08	v </instantiation>
1975.58/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 (13955 MiB free)
  memory of node 1: 16384 MiB (14244 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271819-1502641962/watcher-4271819-1502641962 -o /tmp/evaluation-result-4271819-1502641962/solver-4271819-1502641962 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502640088-19295 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 489654233 HOME/instance-4271819-1502641962.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=20861, runsolver pid=20858
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 8.55 8.04 6.46 2/198 20882
/proc/meminfo: memFree=28860804/32770624 swapFree=67108860/67108860
[pid=20861] ppid=20858 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 19268 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97277309 9740288 345 33554432000 4194304 5098028 140726518303840 140726518301944 140369116598908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12283904 140726518305899 140726518306108 140726518306108 140726518308843 0
/proc/20861/statm: 2378 345 289 221 0 87 0
[pid=20863] ppid=20861 vsize=25999808 memory=27136 CPUtime=0.12 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 19268 0 -1 1077944320 5224 0 0 0 11 1 0 0 20 0 20 0 97277309 26623803392 6784 33554432000 4194304 4196468 140727482870320 140727482852864 139860326239991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
/proc/20863/statm: 6499952 6784 2840 1 0 6488269 0
[pid=20863/tid=20864] ppid=20861 vsize=25999808 memory=8256394924504554653 CPUtime=0.09 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 19268 0 -1 4202560 3220 0 0 0 8 1 0 0 20 0 20 0 97277310 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860330474528 139860326251926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20865] ppid=20861 vsize=25999808 memory=732370715630353381 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860248819984 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20866] ppid=20861 vsize=25999808 memory=140577292899968 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860247767440 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20867] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860246714896 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20868] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860245662352 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20869] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860244609808 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20870] ppid=20861 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860243557264 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20871] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139860242504720 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20872] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26623803392 6849 33554432000 4194304 4196468 140727482870320 139859877452944 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20873] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277312 26623803392 6849 33554432000 4194304 4196468 140727482870320 139859001231344 139860326251138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20874] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97277312 26623803392 6849 33554432000 4194304 4196468 140727482870320 139859000177568 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20875] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97277313 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858999124976 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20876] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277315 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858998073552 139860326258587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20877] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) R 20861 20861 19268 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 97277315 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858997021168 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20878] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) R 20861 20861 19268 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 97277315 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858995968624 139860326251138 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20879] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) R 20861 20861 19268 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97277315 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858994916080 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20880] ppid=20861 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) R 20861 20861 19268 0 -1 4202560 266 0 0 0 1 0 0 0 20 0 20 0 97277315 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858993863536 139860307477552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20881] ppid=20861 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97277315 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858992810208 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20882] ppid=20861 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277315 26623803392 6849 33554432000 4194304 4196468 140727482870320 139858991757744 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28516 KiB

[startup+0.2106 s]*
/proc/loadavg: 8.55 8.04 6.46 3/198 20882
/proc/meminfo: memFree=28849640/32770624 swapFree=67108860/67108860
[pid=20861] ppid=20858 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 19268 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97277309 9740288 345 33554432000 4194304 5098028 140726518303840 140726518301944 140369116598908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12283904 140726518305899 140726518306108 140726518306108 140726518308843 0
/proc/20861/statm: 2378 345 289 221 0 87 0
[pid=20863] ppid=20861 vsize=26004064 memory=39336 CPUtime=0.34 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 19268 0 -1 1077944320 7915 0 0 0 31 3 0 0 20 0 20 0 97277309 26628161536 9834 33554432000 4194304 4196468 140727482870320 140727482852864 139860326239991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
/proc/20863/statm: 6501016 9834 3044 1 0 6488269 0
[pid=20863/tid=20864] ppid=20861 vsize=26004064 memory=32758254098972862 CPUtime=0.19 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 19268 0 -1 4202560 4961 0 0 0 18 1 0 0 20 0 20 0 97277310 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860330462032 139860326261917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20865] ppid=20861 vsize=26004064 memory=288230608969413974 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860248819984 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20866] ppid=20861 vsize=26004064 memory=140577292917283 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860247767440 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20867] ppid=20861 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860246714896 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20868] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860245662352 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20869] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860244609808 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20870] ppid=20861 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860243557264 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20871] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139860242504720 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20872] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 9834 33554432000 4194304 4196468 140727482870320 139859877452944 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20873] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277312 26628161536 9834 33554432000 4194304 4196468 140727482870320 139859001231344 139860326251138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20874] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97277312 26628161536 9834 33554432000 4194304 4196468 140727482870320 139859000177568 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20875] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97277313 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858999124976 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20876] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277315 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858998073552 139860326258587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20877] ppid=20861 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 19268 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 97277315 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858997021168 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20878] ppid=20861 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 19268 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 20 0 97277315 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858995968624 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20879] ppid=20861 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 19268 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 20 0 97277315 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858994916080 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20880] ppid=20861 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) S 20861 20861 19268 0 -1 1077944384 728 0 0 0 8 0 0 0 20 0 20 0 97277315 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858993863536 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20881] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97277315 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858992810208 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20882] ppid=20861 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277315 26628161536 9834 33554432000 4194304 4196468 140727482870320 139858991757744 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40716 KiB

[startup+0.310368 s]*
/proc/loadavg: 8.55 8.04 6.46 4/198 20882
/proc/meminfo: memFree=28845980/32770624 swapFree=67108860/67108860
[pid=20861] ppid=20858 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 19268 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97277309 9740288 345 33554432000 4194304 5098028 140726518303840 140726518301944 140369116598908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12283904 140726518305899 140726518306108 140726518306108 140726518308843 0
/proc/20861/statm: 2378 345 289 221 0 87 0
[pid=20863] ppid=20861 vsize=26004064 memory=46024 CPUtime=0.5 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 19268 0 -1 1077944320 8724 0 0 0 47 3 0 0 20 0 20 0 97277309 26628161536 11506 33554432000 4194304 4196468 140727482870320 140727482852864 139860326239991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
/proc/20863/statm: 6501016 11506 3097 1 0 6488269 0
[pid=20863/tid=20864] ppid=20861 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 19268 0 -1 4202560 5619 0 0 0 27 2 0 0 20 0 20 0 97277310 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860330477456 139860326251926 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20865] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860248819984 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20866] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860247767440 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20867] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860246714896 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20868] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860245662352 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20869] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860244609808 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20870] ppid=20861 vsize=26004064 memory=140577165372079 CPUtime=0 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860243557264 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20871] ppid=20861 vsize=26004064 memory=140577165374384 CPUtime=0 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139860242504720 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20872] ppid=20861 vsize=26004064 memory=140577165376688 CPUtime=0 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26628161536 11506 33554432000 4194304 4196468 140727482870320 139859877452944 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20873] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277312 26628161536 11506 33554432000 4194304 4196468 140727482870320 139859001231344 139860326251138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20874] ppid=20861 vsize=26004064 memory=281154330767248 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 19268 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97277312 26628161536 11506 33554432000 4194304 4196468 140727482870320 139859000177568 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20875] ppid=20861 vsize=26004064 memory=281154330764944 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 19268 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97277313 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858999124976 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20876] ppid=20861 vsize=26004064 memory=281154330771856 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277315 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858998073552 139860326258587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20877] ppid=20861 vsize=26004064 memory=281154330713136 CPUtime=0.03 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 19268 0 -1 1077944384 478 0 0 0 3 0 0 0 20 0 20 0 97277315 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858997021168 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20878] ppid=20861 vsize=26004064 memory=281154330785680 CPUtime=0.02 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) R 20861 20861 19268 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 20 0 97277315 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858995968624 139860306940288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20879] ppid=20861 vsize=26004064 memory=281154330792592 CPUtime=0.01 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 19268 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 97277315 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858994916080 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20880] ppid=20861 vsize=26004064 memory=281154330790288 CPUtime=0.13 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) R 20861 20861 19268 0 -1 4202560 829 0 0 0 13 0 0 0 20 0 20 0 97277315 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858993859904 139860319341374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20881] ppid=20861 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97277315 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858992810208 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20882] ppid=20861 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277315 26628161536 11506 33554432000 4194304 4196468 140727482870320 139858991757744 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47404 KiB

[startup+0.701356 s]
/proc/loadavg: 8.55 8.04 6.46 6/198 20882
/proc/meminfo: memFree=28818604/32770624 swapFree=67108860/67108860
[pid=20861] ppid=20858 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 19268 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97277309 9740288 345 33554432000 4194304 5098028 140726518303840 140726518301944 140369116598908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12283904 140726518305899 140726518306108 140726518306108 140726518308843 0
/proc/20861/statm: 2378 345 289 221 0 87 0
[pid=20863] ppid=20861 vsize=26006188 memory=96896 CPUtime=1.99 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 19268 0 -1 1077944320 12720 0 0 0 194 5 0 0 20 0 20 0 97277309 26630336512 24224 33554432000 4194304 4196468 140727482870320 140727482852864 139860326239991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
/proc/20863/statm: 6501547 24224 3207 1 0 6488781 0
[pid=20863/tid=20864] ppid=20861 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) R 20861 20861 19268 0 -1 4202560 6222 0 0 0 64 3 0 0 20 0 20 0 97277310 26630336512 24224 33554432000 4194304 4196468 140727482870320 139860330476848 139859925857706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20865] ppid=20861 vsize=26006188 memory=281154331157424 CPUtime=0 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 19268 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97277311 26630336512 24224 33554432000 4194304 4196468 140727482870320 139860248819984 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20866] ppid=20861 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26630336512 24224 33554432000 4194304 4196468 140727482870320 139860247767440 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20867] ppid=20861 vsize=26006188 memory=12064 CPUtime=0 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97277311 26630336512 24224 33554432000 4194304 4196468 140727482870320 139860246714896 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0

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

[pid=20863/tid=21403] ppid=20861 vsize=26539728 memory=0 CPUtime=16.49 cores=0-7
/proc/20863/task/21403/stat : 21403 (java) R 20861 20861 19268 0 -1 4202560 1513 0 0 0 1647 2 0 0 20 0 28 0 97291882 27176681472 173990 33554432000 4194304 4196468 140727482870320 139858975326616 139859928785815 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
Current children cumulated CPU time: 1263.12 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 697340 KiB

[startup+222.301 s]
/proc/loadavg: 8.45 8.29 6.90 10/208 21419
/proc/meminfo: memFree=28180492/32770624 swapFree=67108860/67108860
[pid=20861] ppid=20858 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 19268 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97277309 9740288 345 33554432000 4194304 5098028 140726518303840 140726518301944 140369116598908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12283904 140726518305899 140726518306108 140726518306108 140726518308843 0
/proc/20861/statm: 2378 345 289 221 0 87 0
[pid=20863] ppid=20861 vsize=26539728 memory=707420 CPUtime=1739.84 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 19268 0 -1 1077944320 186248 0 0 0 173793 191 0 0 20 0 28 0 97277309 27176681472 176855 33554432000 4194304 4196468 140727482870320 140727482852864 139860326239991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
/proc/20863/statm: 6634932 176855 3288 1 0 6622166 0
[pid=20863/tid=20864] ppid=20861 vsize=26539728 memory=705160 CPUtime=1.01 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) S 20861 20861 19268 0 -1 1077944384 8557 0 0 0 96 5 0 0 20 0 28 0 97277310 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860330480768 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20865] ppid=20861 vsize=26539728 memory=1380 CPUtime=0.26 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 19268 0 -1 1077944384 5151 0 0 0 16 10 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860248819984 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20866] ppid=20861 vsize=26539728 memory=706228 CPUtime=0.25 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 19268 0 -1 1077944384 4747 0 0 0 16 9 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860247767440 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20867] ppid=20861 vsize=26539728 memory=1380 CPUtime=0.25 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 19268 0 -1 1077944384 1715 0 0 0 17 8 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860246714896 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20868] ppid=20861 vsize=26539728 memory=1380 CPUtime=0.25 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 19268 0 -1 1077944384 2737 0 0 0 16 9 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860245662352 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20869] ppid=20861 vsize=26539728 memory=1380 CPUtime=0.25 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 19268 0 -1 1077944384 2469 0 0 0 15 10 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860244609808 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20870] ppid=20861 vsize=26539728 memory=704740 CPUtime=0.26 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 19268 0 -1 1077944384 2635 0 0 0 16 10 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860243557264 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20871] ppid=20861 vsize=26539728 memory=704740 CPUtime=0.25 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 19268 0 -1 1077944384 3491 0 0 0 16 9 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139860242504720 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20872] ppid=20861 vsize=26539728 memory=1380 CPUtime=0.26 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 19268 0 -1 1077944384 2549 0 0 0 16 10 0 0 20 0 28 0 97277311 27176681472 176855 33554432000 4194304 4196468 140727482870320 139859877452944 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20873] ppid=20861 vsize=26539728 memory=6791534058613427641 CPUtime=0.23 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 19268 0 -1 1077944384 12353 0 0 0 11 12 0 0 20 0 28 0 97277312 27176681472 176855 33554432000 4194304 4196468 140727482870320 139859001231344 139860326251138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20874] ppid=20861 vsize=26539728 memory=1380 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 19268 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 97277312 27176681472 176855 33554432000 4194304 4196468 140727482870320 139859000177632 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20875] ppid=20861 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 19268 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97277313 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858999124992 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20876] ppid=20861 vsize=26539728 memory=1380 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97277315 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858998073552 139860326258587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20877] ppid=20861 vsize=26539728 memory=1380 CPUtime=2.48 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 19268 0 -1 1077944384 11736 0 0 0 247 1 0 0 20 0 28 0 97277315 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858997021168 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20878] ppid=20861 vsize=26539728 memory=699468 CPUtime=2.24 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 19268 0 -1 1077944384 10850 0 0 0 223 1 0 0 20 0 28 0 97277315 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858995968624 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20879] ppid=20861 vsize=26539728 memory=28596 CPUtime=2.56 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 19268 0 -1 1077944384 12914 0 0 0 254 2 0 0 20 0 28 0 97277315 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858994916080 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20880] ppid=20861 vsize=26539728 memory=2428 CPUtime=0.98 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) S 20861 20861 19268 0 -1 1077944384 15272 0 0 0 95 3 0 0 20 0 28 0 97277315 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858993863536 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20881] ppid=20861 vsize=26539728 memory=1292 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97277315 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858992810208 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20882] ppid=20861 vsize=26539728 memory=1380 CPUtime=0.05 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 19268 0 -1 1077944384 2619 0 0 0 0 5 0 0 20 0 28 0 97277315 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858991757744 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21412] ppid=20861 vsize=26539728 memory=1380 CPUtime=28.53 cores=0-7
/proc/20863/task/21412/stat : 21412 (java) R 20861 20861 19268 0 -1 4202560 306 0 0 0 2853 0 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858980589032 139859930503777 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21413] ppid=20861 vsize=26539728 memory=706228 CPUtime=28.3 cores=0-7
/proc/20863/task/21413/stat : 21413 (java) R 20861 20861 19268 0 -1 4202560 197 0 0 0 2830 0 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858981642984 139859931590817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21414] ppid=20861 vsize=26539728 memory=4096 CPUtime=28.52 cores=0-7
/proc/20863/task/21414/stat : 21414 (java) R 20861 20861 19268 0 -1 4202560 1030 0 0 0 2852 0 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858983748456 139859928516620 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21415] ppid=20861 vsize=26539728 memory=28596 CPUtime=28.53 cores=0-7
/proc/20863/task/21415/stat : 21415 (java) R 20861 20861 19268 0 -1 4202560 479 0 0 0 2853 0 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858982695752 139859929486867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21416] ppid=20861 vsize=26539728 memory=4096 CPUtime=28.49 cores=0-7
/proc/20863/task/21416/stat : 21416 (java) R 20861 20861 19268 0 -1 4202560 528 0 0 0 2849 0 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858975326544 139859932581359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21417] ppid=20861 vsize=26539728 memory=16432 CPUtime=28.45 cores=0-7
/proc/20863/task/21417/stat : 21417 (java) R 20861 20861 19268 0 -1 4202560 260 0 0 0 2845 0 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858977432808 139859930882175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21418] ppid=20861 vsize=26539728 memory=16868 CPUtime=28.53 cores=0-7
/proc/20863/task/21418/stat : 21418 (java) R 20861 20861 19268 0 -1 4202560 253 0 0 0 2853 0 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858978484584 139859930503810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21419] ppid=20861 vsize=26539728 memory=4044 CPUtime=28.23 cores=0-7
/proc/20863/task/21419/stat : 21419 (java) R 20861 20861 19268 0 -1 4202560 1470 0 0 0 2822 1 0 0 20 0 28 0 97296675 27176681472 176855 33554432000 4194304 4196468 140727482870320 139858979539632 139859931412273 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
Current children cumulated CPU time: 1739.84 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 708800 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.27 8.27 6.94 9/208 21419
/proc/meminfo: memFree=28159496/32770624 swapFree=67108860/67108860
[pid=20861] ppid=20858 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/20861/stat : 20861 (xcsp3-exec) S 20858 20861 19268 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 97277309 9740288 345 33554432000 4194304 5098028 140726518303840 140726518301944 140369116598908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12283904 140726518305899 140726518306108 140726518306108 140726518308843 0
/proc/20861/statm: 2378 345 289 221 0 87 0
[pid=20863] ppid=20861 vsize=26539728 memory=726484 CPUtime=1975.58 cores=0-7
/proc/20863/stat : 20863 (java) S 20861 20861 19268 0 -1 1077944320 195425 0 0 0 197344 214 0 0 20 0 28 0 97277309 27176681472 181621 33554432000 4194304 4196468 140727482870320 140727482852864 139860326239991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
/proc/20863/statm: 6634932 181621 3288 1 0 6622166 0
[pid=20863/tid=20864] ppid=20861 vsize=26539728 memory=792 CPUtime=1.01 cores=0-7
/proc/20863/task/20864/stat : 20864 (java) S 20861 20861 19268 0 -1 1077944384 8557 0 0 0 96 5 0 0 20 0 28 0 97277310 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860330480768 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20865] ppid=20861 vsize=26539728 memory=-7003737579269690708 CPUtime=0.34 cores=0-7
/proc/20863/task/20865/stat : 20865 (java) S 20861 20861 19268 0 -1 1077944384 5780 0 0 0 21 13 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860248819984 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20866] ppid=20861 vsize=26539728 memory=722756 CPUtime=0.3 cores=0-7
/proc/20863/task/20866/stat : 20866 (java) S 20861 20861 19268 0 -1 1077944384 4976 0 0 0 20 10 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860247767440 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20867] ppid=20861 vsize=26539728 memory=960 CPUtime=0.31 cores=0-7
/proc/20863/task/20867/stat : 20867 (java) S 20861 20861 19268 0 -1 1077944384 2218 0 0 0 21 10 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860246714896 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20868] ppid=20861 vsize=26539728 memory=2240 CPUtime=0.31 cores=0-7
/proc/20863/task/20868/stat : 20868 (java) S 20861 20861 19268 0 -1 1077944384 2875 0 0 0 20 11 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860245662352 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20869] ppid=20861 vsize=26539728 memory=2340 CPUtime=0.32 cores=0-7
/proc/20863/task/20869/stat : 20869 (java) S 20861 20861 19268 0 -1 1077944384 2768 0 0 0 21 11 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860244609808 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20870] ppid=20861 vsize=26539728 memory=4080 CPUtime=0.33 cores=0-7
/proc/20863/task/20870/stat : 20870 (java) S 20861 20861 19268 0 -1 1077944384 3187 0 0 0 21 12 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860243557264 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20871] ppid=20861 vsize=26539728 memory=932 CPUtime=0.31 cores=0-7
/proc/20863/task/20871/stat : 20871 (java) S 20861 20861 19268 0 -1 1077944384 3840 0 0 0 21 10 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139860242504720 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20872] ppid=20861 vsize=26539728 memory=1584 CPUtime=0.33 cores=0-7
/proc/20863/task/20872/stat : 20872 (java) S 20861 20861 19268 0 -1 1077944384 2718 0 0 0 21 12 0 0 20 0 28 0 97277311 27176681472 181621 33554432000 4194304 4196468 140727482870320 139859877452944 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20873] ppid=20861 vsize=26539728 memory=2196 CPUtime=0.36 cores=0-7
/proc/20863/task/20873/stat : 20873 (java) S 20861 20861 19268 0 -1 1077944384 13534 0 0 0 17 19 0 0 20 0 28 0 97277312 27176681472 181621 33554432000 4194304 4196468 140727482870320 139859001231344 139860326251138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20874] ppid=20861 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/20863/task/20874/stat : 20874 (java) S 20861 20861 19268 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 97277312 27176681472 181621 33554432000 4194304 4196468 140727482870320 139859000177632 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20875] ppid=20861 vsize=26539728 memory=7751995073768813331 CPUtime=0 cores=0-7
/proc/20863/task/20875/stat : 20875 (java) S 20861 20861 19268 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 97277313 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858999124992 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20876] ppid=20861 vsize=26539728 memory=7679937479730885395 CPUtime=0 cores=0-7
/proc/20863/task/20876/stat : 20876 (java) S 20861 20861 19268 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97277315 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858998073552 139860326258587 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20877] ppid=20861 vsize=26539728 memory=-7029379521808015264 CPUtime=2.49 cores=0-7
/proc/20863/task/20877/stat : 20877 (java) S 20861 20861 19268 0 -1 1077944384 12490 0 0 0 247 2 0 0 20 0 28 0 97277315 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858997021168 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20878] ppid=20861 vsize=26539728 memory=-7595718148000617580 CPUtime=2.24 cores=0-7
/proc/20863/task/20878/stat : 20878 (java) S 20861 20861 19268 0 -1 1077944384 10857 0 0 0 223 1 0 0 20 0 28 0 97277315 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858995968624 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20879] ppid=20861 vsize=26539728 memory=6944656425122961013 CPUtime=2.56 cores=0-7
/proc/20863/task/20879/stat : 20879 (java) S 20861 20861 19268 0 -1 1077944384 12920 0 0 0 254 2 0 0 20 0 28 0 97277315 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858994916080 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20880] ppid=20861 vsize=26539728 memory=8475934422144292502 CPUtime=0.98 cores=0-7
/proc/20863/task/20880/stat : 20880 (java) S 20861 20861 19268 0 -1 1077944384 15288 0 0 0 95 3 0 0 20 0 28 0 97277315 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858993863536 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20881] ppid=20861 vsize=26539728 memory=-7966001967374371424 CPUtime=0 cores=0-7
/proc/20863/task/20881/stat : 20881 (java) S 20861 20861 19268 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97277315 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858992810208 139860326250197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=20882] ppid=20861 vsize=26539728 memory=7680491646476186387 CPUtime=0.06 cores=0-7
/proc/20863/task/20882/stat : 20882 (java) S 20861 20861 19268 0 -1 1077944384 2701 0 0 0 0 6 0 0 20 0 28 0 97277315 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858991757744 139860326251138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21412] ppid=20861 vsize=26539728 memory=6791534058613427641 CPUtime=58.01 cores=0-7
/proc/20863/task/21412/stat : 21412 (java) R 20861 20861 19268 0 -1 4202560 577 0 0 0 5801 0 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858980589024 139859929484512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21413] ppid=20861 vsize=26539728 memory=28596 CPUtime=57.72 cores=0-7
/proc/20863/task/21413/stat : 21413 (java) R 20861 20861 19268 0 -1 4202560 430 0 0 0 5772 0 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858981642984 139859930503905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21414] ppid=20861 vsize=26539728 memory=2428 CPUtime=58 cores=0-7
/proc/20863/task/21414/stat : 21414 (java) R 20861 20861 19268 0 -1 4202560 1935 0 0 0 5800 0 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858983747088 139859931412560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21415] ppid=20861 vsize=26539728 memory=1292 CPUtime=57.84 cores=0-7
/proc/20863/task/21415/stat : 21415 (java) R 20861 20861 19268 0 -1 4202560 891 0 0 0 5784 0 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858982695008 139859931577413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21416] ppid=20861 vsize=26539728 memory=1728 CPUtime=57.8 cores=0-7
/proc/20863/task/21416/stat : 21416 (java) R 20861 20861 19268 0 -1 4202560 1059 0 0 0 5780 0 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858975327200 139859932581361 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21417] ppid=20861 vsize=26539728 memory=12064 CPUtime=57.78 cores=0-7
/proc/20863/task/21417/stat : 21417 (java) R 20861 20861 19268 0 -1 4202560 506 0 0 0 5778 0 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858977432648 139859930503824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21418] ppid=20861 vsize=26539728 memory=1004 CPUtime=58.01 cores=0-7
/proc/20863/task/21418/stat : 21418 (java) R 20861 20861 19268 0 -1 4202560 509 0 0 0 5801 0 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858978483936 139859931412262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
[pid=20863/tid=21419] ppid=20861 vsize=26539728 memory=1228 CPUtime=57.49 cores=0-7
/proc/20863/task/21419/stat : 21419 (java) R 20861 20861 19268 0 -1 4202560 2879 0 0 0 5747 2 0 0 20 0 28 0 97296675 27176681472 181621 33554432000 4194304 4196468 140727482870320 139858979539488 139859930503696 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 15605760 140727482877080 140727482877256 140727482877256 140727482879951 0
Current children cumulated CPU time: 1975.58 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 727864 KiB

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

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

[startup+252.113 s]
# the end of solver process 20863 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1974.13 s, system=2.16859 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.114
CPU time (s): 1976.29
CPU user time (s): 1974.13
CPU system time (s): 2.16859
CPU usage (%): 783.891
Max. virtual memory (cumulated for all children) (KiB): 26551232
Max. memory (cumulated for all children) (KiB): 730488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1974.13
system time used= 2.16859
maximum resident set size= 731100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20289
involuntary context switches= 21450


# summary of solver processes directly reported to runsolver:
#   pid: 20861,20863
#   total CPU time (s): 1976.29
#   total CPU user time (s): 1974.13
#   total CPU system time (s): 2.16859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24055 second user time and 2.78324 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml
MD5SUM	65a76f6052f0c7193e3442ad9f3b990a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	743
Best CPU time to get the best result obtained on this benchmark	251.907
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 4271819

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