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)	963	1994.49	252.108

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271820-1502642166.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271820-1502642166.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
2.82/1.00	c solve instance...
4.07/1.12	o 3154 
4.07/1.13	o 2245 
7.83/1.66	o 2056 
11.78/2.13	o 2012 
11.78/2.15	o 1966 
11.78/2.16	o 1940 
12.48/2.21	o 1889 
12.48/2.25	o 1876 
12.48/2.26	o 1854 
13.19/2.33	o 1836 
13.19/2.37	o 1813 
14.75/2.55	o 1801 
21.08/3.37	o 1776 
21.87/3.43	o 1774 
21.87/3.45	o 1758 
21.87/3.47	o 1745 
22.61/3.55	o 1712 
22.61/3.57	o 1711 
23.29/3.64	o 1708 
24.12/3.72	o 1663 
24.82/3.87	o 1633 
25.66/3.93	o 1567 
25.66/4.00	o 1563 
26.43/4.05	o 1562 
26.43/4.08	o 1548 
27.18/4.11	o 1525 
27.18/4.13	o 1504 
27.86/4.27	o 1502 
27.86/4.29	o 1464 
28.66/4.38	o 1460 
31.78/4.79	o 1444 
32.54/4.84	o 1440 
33.36/4.96	o 1432 
34.97/5.13	o 1430 
35.64/5.22	o 1408 
37.21/5.47	o 1362 
39.67/5.72	o 1352 
42.03/6.03	o 1328 
42.83/6.11	o 1322 
42.83/6.12	o 1304 
69.74/9.52	o 1232 
78.45/10.65	o 1217 
82.51/11.13	o 1209 
103.96/13.87	o 1203 
119.83/15.87	o 1186 
120.61/15.93	o 1168 
142.06/18.62	o 1164 
151.38/19.80	o 1163 
182.34/23.74	o 1151 
183.77/23.93	o 1140 
288.78/37.13	o 1126 
300.65/38.64	o 1124 
321.81/41.51	o 1116 
383.91/49.32	o 1103 
386.27/49.60	o 1088 
393.23/50.57	o 1086 
393.23/50.58	o 1045 
477.62/61.23	o 1041 
536.39/68.61	o 1037 
563.37/72.10	o 1005 
631.97/80.71	o 1003 
890.45/113.38	o 997 
923.63/117.70	o 978 
1170.67/148.75	o 977 
1433.79/181.76	o 969 
1927.67/243.74	o 964 
1957.09/247.49	o 963 
1993.80/252.08	s SATISFIABLE
1993.80/252.08	v <instantiation>
1993.80/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[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] </list>
1993.80/252.08	v 	<values>0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 91 99 78 32 93 28 72 65 96 78 98 83 14 96 40 82 35 91 20 24 97 54 64 75 50 58 68 65 40 49 4 80 31 </values>
1993.80/252.08	v </instantiation>
1993.80/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 (14298 MiB free)
  memory of node 1: 16384 MiB (14169 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271820-1502642166/watcher-4271820-1502642166 -o /tmp/evaluation-result-4271820-1502642166/solver-4271820-1502642166 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502636397-3850 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1752975918 HOME/instance-4271820-1502642166.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
Current StackSize limit: 8192 KiB

solver pid=14272, runsolver pid=14269

[startup+0.100158 s]*
/proc/loadavg: 8.10 7.88 7.07 2/199 14293
/proc/meminfo: memFree=29134800/32770624 swapFree=67108860/67108860
[pid=14272] ppid=14269 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14272/stat : 14272 (xcsp3-exec) S 14269 14272 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97304678 9740288 346 33554432000 4194304 5098028 140724349838528 140724349836632 139829987639932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28241920 140724349842538 140724349842748 140724349842748 140724349845483 0
/proc/14272/statm: 2378 346 289 221 0 87 0
[pid=14274] ppid=14272 vsize=25999808 memory=27048 CPUtime=0.12 cores=0-7
/proc/14274/stat : 14274 (java) S 14272 14272 3823 0 -1 1077944320 5624 0 0 0 10 2 0 0 20 0 20 0 97304679 26623803392 6762 33554432000 4194304 4196468 140729657434976 140729657417520 140609972264695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
/proc/14274/statm: 6499952 6762 2867 1 0 6488269 0
[pid=14274/tid=14275] ppid=14272 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14274/task/14275/stat : 14275 (java) R 14272 14272 3823 0 -1 4202560 3634 0 0 0 8 1 0 0 20 0 20 0 97304679 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609976497968 140609972286042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14276] ppid=14272 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14274/task/14276/stat : 14276 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609924885392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14277] ppid=14272 vsize=25999808 memory=140654316521088 CPUtime=0 cores=0-7
/proc/14274/task/14277/stat : 14277 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609923832592 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14278] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14278/stat : 14278 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609922780304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14279] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14279/stat : 14279 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609921727504 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14280] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14280/stat : 14280 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609920674192 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14281] ppid=14272 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14274/task/14281/stat : 14281 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609919621392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14282] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14282/stat : 14282 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609918569104 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14283] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14283/stat : 14283 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304680 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609917516304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14284] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14284/stat : 14284 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304681 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609233836656 140609972275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14285] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14285/stat : 14285 (java) S 14272 14272 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97304682 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609232782624 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14286] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14286/stat : 14286 (java) S 14272 14272 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97304682 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609231730288 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14287] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14287/stat : 14287 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304684 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609230678608 140609972283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14288] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14288/stat : 14288 (java) S 14272 14272 3823 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 97304684 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609229625456 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14289] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14289/stat : 14289 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304684 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609228572656 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14290] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14290/stat : 14290 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304684 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609227520368 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14291] ppid=14272 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/14274/task/14291/stat : 14291 (java) R 14272 14272 3823 0 -1 4202560 243 0 0 0 1 0 0 0 20 0 20 0 97304684 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609226467568 140609950964896 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14292] ppid=14272 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14292/stat : 14292 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304685 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609225415520 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14293] ppid=14272 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/14274/task/14293/stat : 14293 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304685 26623803392 6762 33554432000 4194304 4196468 140729657434976 140609224362800 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28432 KiB

[startup+0.210001 s]*
/proc/loadavg: 8.10 7.88 7.07 3/199 14293
/proc/meminfo: memFree=29123884/32770624 swapFree=67108860/67108860
[pid=14272] ppid=14269 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14272/stat : 14272 (xcsp3-exec) S 14269 14272 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97304678 9740288 346 33554432000 4194304 5098028 140724349838528 140724349836632 139829987639932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28241920 140724349842538 140724349842748 140724349842748 140724349845483 0
/proc/14272/statm: 2378 346 289 221 0 87 0
[pid=14274] ppid=14272 vsize=26004064 memory=38924 CPUtime=0.32 cores=0-7
/proc/14274/stat : 14274 (java) S 14272 14272 3823 0 -1 1077944320 8350 0 0 0 29 3 0 0 20 0 20 0 97304679 26628161536 9731 33554432000 4194304 4196468 140729657434976 140729657417520 140609972264695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
/proc/14274/statm: 6501016 9731 3011 1 0 6488269 0
[pid=14274/tid=14275] ppid=14272 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14274/task/14275/stat : 14275 (java) R 14272 14272 3823 0 -1 4202560 5412 0 0 0 18 1 0 0 20 0 20 0 97304679 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609976487776 140609956345182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14276] ppid=14272 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/14274/task/14276/stat : 14276 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609924885392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14277] ppid=14272 vsize=26004064 memory=3691176115563824800 CPUtime=0 cores=0-7
/proc/14274/task/14277/stat : 14277 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609923832592 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14278] ppid=14272 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14274/task/14278/stat : 14278 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609922780304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14279] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14279/stat : 14279 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609921727504 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14280] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14280/stat : 14280 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609920674192 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14281] ppid=14272 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14274/task/14281/stat : 14281 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609919621392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14282] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14282/stat : 14282 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609918569104 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14283] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14283/stat : 14283 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609917516304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14284] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14284/stat : 14284 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304681 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609233836656 140609972275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14285] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14285/stat : 14285 (java) S 14272 14272 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97304682 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609232782624 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14286] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14286/stat : 14286 (java) S 14272 14272 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97304682 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609231730288 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14287] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14287/stat : 14287 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304684 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609230678608 140609972283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14288] ppid=14272 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14274/task/14288/stat : 14288 (java) S 14272 14272 3823 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 97304684 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609229625456 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14289] ppid=14272 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/14274/task/14289/stat : 14289 (java) S 14272 14272 3823 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 97304684 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609228572656 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14290] ppid=14272 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14274/task/14290/stat : 14290 (java) S 14272 14272 3823 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 20 0 97304684 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609227520368 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14291] ppid=14272 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/14274/task/14291/stat : 14291 (java) R 14272 14272 3823 0 -1 4202560 712 0 0 0 7 0 0 0 20 0 20 0 97304684 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609226467568 140609972286042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14292] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14292/stat : 14292 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304685 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609225415520 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14293] ppid=14272 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14274/task/14293/stat : 14293 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304685 26628161536 9731 33554432000 4194304 4196468 140729657434976 140609224362800 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40308 KiB

[startup+0.309656 s]*
/proc/loadavg: 8.10 7.88 7.07 3/199 14293
/proc/meminfo: memFree=29119852/32770624 swapFree=67108860/67108860
[pid=14272] ppid=14269 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14272/stat : 14272 (xcsp3-exec) S 14269 14272 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97304678 9740288 346 33554432000 4194304 5098028 140724349838528 140724349836632 139829987639932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28241920 140724349842538 140724349842748 140724349842748 140724349845483 0
/proc/14272/statm: 2378 346 289 221 0 87 0
[pid=14274] ppid=14272 vsize=26004064 memory=43840 CPUtime=0.49 cores=0-7
/proc/14274/stat : 14274 (java) S 14272 14272 3823 0 -1 1077944320 9200 0 0 0 45 4 0 0 20 0 20 0 97304679 26628161536 10960 33554432000 4194304 4196468 140729657434976 140729657417520 140609972264695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
/proc/14274/statm: 6501016 10960 3080 1 0 6488269 0
[pid=14274/tid=14275] ppid=14272 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14274/task/14275/stat : 14275 (java) R 14272 14272 3823 0 -1 4202560 6085 0 0 0 27 2 0 0 20 0 20 0 97304679 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609976502976 140609597584751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14276] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14276/stat : 14276 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609924885392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14277] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14277/stat : 14277 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609923832592 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14278] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14278/stat : 14278 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609922780304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14279] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14279/stat : 14279 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609921727504 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14280] ppid=14272 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/14274/task/14280/stat : 14280 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609920674192 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14281] ppid=14272 vsize=26004064 memory=140654206350255 CPUtime=0 cores=0-7
/proc/14274/task/14281/stat : 14281 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609919621392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14282] ppid=14272 vsize=26004064 memory=140654206352560 CPUtime=0 cores=0-7
/proc/14274/task/14282/stat : 14282 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609918569104 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14283] ppid=14272 vsize=26004064 memory=140654206354864 CPUtime=0 cores=0-7
/proc/14274/task/14283/stat : 14283 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304680 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609917516304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14284] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14284/stat : 14284 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304681 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609233836656 140609972275842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14285] ppid=14272 vsize=26004064 memory=281308412716688 CPUtime=0 cores=0-7
/proc/14274/task/14285/stat : 14285 (java) S 14272 14272 3823 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97304682 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609232782624 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14286] ppid=14272 vsize=26004064 memory=281308412723600 CPUtime=0 cores=0-7
/proc/14274/task/14286/stat : 14286 (java) S 14272 14272 3823 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97304682 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609231730288 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14287] ppid=14272 vsize=26004064 memory=281308412664880 CPUtime=0 cores=0-7
/proc/14274/task/14287/stat : 14287 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304684 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609230678608 140609972283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14288] ppid=14272 vsize=26004064 memory=281308412737424 CPUtime=0.02 cores=0-7
/proc/14274/task/14288/stat : 14288 (java) S 14272 14272 3823 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 20 0 97304684 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609229625456 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14289] ppid=14272 vsize=26004064 memory=281308412744336 CPUtime=0.02 cores=0-7
/proc/14274/task/14289/stat : 14289 (java) S 14272 14272 3823 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 20 0 97304684 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609228572656 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14290] ppid=14272 vsize=26004064 memory=281308412742032 CPUtime=0.01 cores=0-7
/proc/14274/task/14290/stat : 14290 (java) S 14272 14272 3823 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 20 0 97304684 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609227520368 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14291] ppid=14272 vsize=26004064 memory=281308412758192 CPUtime=0.12 cores=0-7
/proc/14274/task/14291/stat : 14291 (java) R 14272 14272 3823 0 -1 4202560 825 0 0 0 12 0 0 0 20 0 20 0 97304684 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609226467568 140609972276630 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14292] ppid=14272 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14292/stat : 14292 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97304685 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609225415520 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14293] ppid=14272 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/14274/task/14293/stat : 14293 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304685 26628161536 11472 33554432000 4194304 4196468 140729657434976 140609224362800 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45224 KiB

[startup+0.701041 s]
/proc/loadavg: 8.10 7.88 7.07 6/199 14293
/proc/meminfo: memFree=29093612/32770624 swapFree=67108860/67108860
[pid=14272] ppid=14269 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14272/stat : 14272 (xcsp3-exec) S 14269 14272 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97304678 9740288 346 33554432000 4194304 5098028 140724349838528 140724349836632 139829987639932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28241920 140724349842538 140724349842748 140724349842748 140724349845483 0
/proc/14272/statm: 2378 346 289 221 0 87 0
[pid=14274] ppid=14272 vsize=26006188 memory=95480 CPUtime=1.98 cores=0-7
/proc/14274/stat : 14274 (java) S 14272 14272 3823 0 -1 1077944320 13328 0 0 0 191 7 0 0 20 0 20 0 97304679 26630336512 23870 33554432000 4194304 4196468 140729657434976 140729657417520 140609972264695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
/proc/14274/statm: 6501547 23870 3210 1 0 6488781 0
[pid=14274/tid=14275] ppid=14272 vsize=26006188 memory=281308413116080 CPUtime=0.67 cores=0-7
/proc/14274/task/14275/stat : 14275 (java) R 14272 14272 3823 0 -1 4202560 6708 0 0 0 63 4 0 0 20 0 20 0 97304679 26630336512 23870 33554432000 4194304 4196468 140729657434976 140609976500016 140609954164711 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14276] ppid=14272 vsize=26006188 memory=140654206559088 CPUtime=0 cores=0-7
/proc/14274/task/14276/stat : 14276 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26630336512 23870 33554432000 4194304 4196468 140729657434976 140609924885392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14277] ppid=14272 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/14274/task/14277/stat : 14277 (java) S 14272 14272 3823 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97304680 26630336512 23870 33554432000 4194304 4196468 140729657434976 140609923832592 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14278] ppid=14272 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/14274/task/14278/stat : 14278 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97304680 26630336512 23870 33554432000 4194304 4196468 140729657434976 140609922780304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0

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

[pid=14274/tid=14813] ppid=14272 vsize=26539728 memory=1384 CPUtime=13.52 cores=0-7
/proc/14274/task/14813/stat : 14813 (java) R 14272 14272 3823 0 -1 4202560 56 0 0 0 1352 0 0 0 20 0 28 0 97319554 27176681472 98695 33554432000 4194304 4196468 140729657434976 140609216353112 140609601997884 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
Current children cumulated CPU time: 1279.09 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 396164 KiB

[startup+222.304 s]
/proc/loadavg: 8.69 8.19 7.35 9/207 14822
/proc/meminfo: memFree=28853912/32770624 swapFree=67108860/67108860
[pid=14272] ppid=14269 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14272/stat : 14272 (xcsp3-exec) S 14269 14272 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97304678 9740288 346 33554432000 4194304 5098028 140724349838528 140724349836632 139829987639932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28241920 140724349842538 140724349842748 140724349842748 140724349845483 0
/proc/14272/statm: 2378 346 289 221 0 87 0
[pid=14274] ppid=14272 vsize=26539728 memory=309984 CPUtime=1757.29 cores=0-7
/proc/14274/stat : 14274 (java) S 14272 14272 3823 0 -1 1077944320 156879 0 0 0 175595 134 0 0 20 0 28 0 97304679 27176681472 77496 33554432000 4194304 4196468 140729657434976 140729657417520 140609972264695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
/proc/14274/statm: 6634932 77496 3289 1 0 6622166 0
[pid=14274/tid=14275] ppid=14272 vsize=26539728 memory=309984 CPUtime=1.05 cores=0-7
/proc/14274/task/14275/stat : 14275 (java) S 14272 14272 3823 0 -1 1077944384 10578 0 0 0 100 5 0 0 20 0 28 0 97304679 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609976505472 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14276] ppid=14272 vsize=26539728 memory=309932 CPUtime=0.17 cores=0-7
/proc/14274/task/14276/stat : 14276 (java) S 14272 14272 3823 0 -1 1077944384 2557 0 0 0 13 4 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609924885392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14277] ppid=14272 vsize=26539728 memory=320640 CPUtime=0.2 cores=0-7
/proc/14274/task/14277/stat : 14277 (java) S 14272 14272 3823 0 -1 1077944384 1788 0 0 0 16 4 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609923832592 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14278] ppid=14272 vsize=26539728 memory=1384 CPUtime=0.2 cores=0-7
/proc/14274/task/14278/stat : 14278 (java) S 14272 14272 3823 0 -1 1077944384 3381 0 0 0 15 5 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609922780304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14279] ppid=14272 vsize=26539728 memory=320640 CPUtime=0.2 cores=0-7
/proc/14274/task/14279/stat : 14279 (java) S 14272 14272 3823 0 -1 1077944384 2465 0 0 0 16 4 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609921727504 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14280] ppid=14272 vsize=26539728 memory=311916 CPUtime=0.2 cores=0-7
/proc/14274/task/14280/stat : 14280 (java) S 14272 14272 3823 0 -1 1077944384 2456 0 0 0 15 5 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609920674192 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14281] ppid=14272 vsize=26539728 memory=309932 CPUtime=0.18 cores=0-7
/proc/14274/task/14281/stat : 14281 (java) S 14272 14272 3823 0 -1 1077944384 1898 0 0 0 14 4 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609919621392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14282] ppid=14272 vsize=26539728 memory=1384 CPUtime=0.19 cores=0-7
/proc/14274/task/14282/stat : 14282 (java) S 14272 14272 3823 0 -1 1077944384 2292 0 0 0 14 5 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609918569104 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14283] ppid=14272 vsize=26539728 memory=1384 CPUtime=0.19 cores=0-7
/proc/14274/task/14283/stat : 14283 (java) S 14272 14272 3823 0 -1 1077944384 1699 0 0 0 14 5 0 0 20 0 28 0 97304680 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609917516304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14284] ppid=14272 vsize=26539728 memory=309984 CPUtime=0.1 cores=0-7
/proc/14274/task/14284/stat : 14284 (java) S 14272 14272 3823 0 -1 1077944384 8845 0 0 0 7 3 0 0 20 0 28 0 97304681 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609233836656 140609972275842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14285] ppid=14272 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/14274/task/14285/stat : 14285 (java) S 14272 14272 3823 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 97304682 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609232782688 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14286] ppid=14272 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/14274/task/14286/stat : 14286 (java) S 14272 14272 3823 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 97304682 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609231730304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14287] ppid=14272 vsize=26539728 memory=311472 CPUtime=0 cores=0-7
/proc/14274/task/14287/stat : 14287 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97304684 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609230678608 140609972283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14288] ppid=14272 vsize=26539728 memory=1384 CPUtime=2.81 cores=0-7
/proc/14274/task/14288/stat : 14288 (java) S 14272 14272 3823 0 -1 1077944384 15829 0 0 0 277 4 0 0 20 0 28 0 97304684 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609229625456 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14289] ppid=14272 vsize=26539728 memory=4140 CPUtime=2.55 cores=0-7
/proc/14274/task/14289/stat : 14289 (java) S 14272 14272 3823 0 -1 1077944384 7202 0 0 0 254 1 0 0 20 0 28 0 97304684 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609228572656 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14290] ppid=14272 vsize=26539728 memory=1384 CPUtime=2.55 cores=0-7
/proc/14274/task/14290/stat : 14290 (java) S 14272 14272 3823 0 -1 1077944384 9653 0 0 0 253 2 0 0 20 0 28 0 97304684 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609227520368 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14291] ppid=14272 vsize=26539728 memory=1384 CPUtime=0.96 cores=0-7
/proc/14274/task/14291/stat : 14291 (java) S 14272 14272 3823 0 -1 1077944384 14228 0 0 0 92 4 0 0 20 0 28 0 97304684 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609226467568 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14292] ppid=14272 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14274/task/14292/stat : 14292 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97304685 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609225415520 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14293] ppid=14272 vsize=26539728 memory=4126316290023845779 CPUtime=0.04 cores=0-7
/proc/14274/task/14293/stat : 14293 (java) S 14272 14272 3823 0 -1 1077944384 1665 0 0 0 0 4 0 0 20 0 28 0 97304685 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609224362800 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14814] ppid=14272 vsize=26539728 memory=4140 CPUtime=40.35 cores=0-7
/proc/14274/task/14814/stat : 14814 (java) R 14272 14272 3823 0 -1 4202560 457 0 0 0 4035 0 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609208987672 140609605015959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14815] ppid=14272 vsize=26539728 memory=27824 CPUtime=40.48 cores=0-7
/proc/14274/task/14815/stat : 14815 (java) R 14272 14272 3823 0 -1 4202560 384 0 0 0 4048 0 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609207935344 140609605060931 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14816] ppid=14272 vsize=26539728 memory=-9001733975035308135 CPUtime=40.47 cores=0-7
/proc/14274/task/14816/stat : 14816 (java) R 14272 14272 3823 0 -1 4202560 1163 0 0 0 4047 0 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609214250736 140609603712404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14817] ppid=14272 vsize=26539728 memory=-6804530867367538332 CPUtime=40.45 cores=0-7
/proc/14274/task/14817/stat : 14817 (java) R 14272 14272 3823 0 -1 4202560 640 0 0 0 4045 0 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609210040488 140609602982142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14818] ppid=14272 vsize=26539728 memory=1384 CPUtime=40.48 cores=0-7
/proc/14274/task/14818/stat : 14818 (java) R 14272 14272 3823 0 -1 4202560 542 0 0 0 4048 0 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609215304232 140609603722493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14819] ppid=14272 vsize=26539728 memory=311472 CPUtime=40.15 cores=0-7
/proc/14274/task/14819/stat : 14819 (java) R 14272 14272 3823 0 -1 4202560 247 0 0 0 4015 0 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609213198760 140609605060931 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14820] ppid=14272 vsize=26539728 memory=4140 CPUtime=40.36 cores=0-7
/proc/14274/task/14820/stat : 14820 (java) R 14272 14272 3823 0 -1 4202560 243 0 0 0 4036 0 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609216356656 140609604882190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14821] ppid=14272 vsize=26539728 memory=4140 CPUtime=40.06 cores=0-7
/proc/14274/task/14821/stat : 14821 (java) R 14272 14272 3823 0 -1 4202560 1332 0 0 0 4004 2 0 0 20 0 28 0 97322855 27176681472 77496 33554432000 4194304 4196468 140729657434976 140609211093672 140609603699166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
Current children cumulated CPU time: 1757.29 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 311368 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.006 s]*
/proc/loadavg: 8.55 8.20 7.39 9/207 14838
/proc/meminfo: memFree=28862264/32770624 swapFree=67108860/67108860
[pid=14272] ppid=14269 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/14272/stat : 14272 (xcsp3-exec) S 14269 14272 3823 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97304678 9740288 346 33554432000 4194304 5098028 140724349838528 140724349836632 139829987639932 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28241920 140724349842538 140724349842748 140724349842748 140724349845483 0
/proc/14272/statm: 2378 346 289 221 0 87 0
[pid=14274] ppid=14272 vsize=26539728 memory=299188 CPUtime=1993.8 cores=0-7
/proc/14274/stat : 14274 (java) S 14272 14272 3823 0 -1 1077944320 180161 0 0 0 199235 145 0 0 20 0 28 0 97304679 27176681472 74797 33554432000 4194304 4196468 140729657434976 140729657417520 140609972264695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
/proc/14274/statm: 6634932 74797 3289 1 0 6622166 0
[pid=14274/tid=14275] ppid=14272 vsize=26539728 memory=6791534058613427641 CPUtime=1.05 cores=0-7
/proc/14274/task/14275/stat : 14275 (java) S 14272 14272 3823 0 -1 1077944384 10996 0 0 0 100 5 0 0 20 0 28 0 97304679 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609976505472 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14276] ppid=14272 vsize=26539728 memory=4126316290023845779 CPUtime=0.21 cores=0-7
/proc/14274/task/14276/stat : 14276 (java) S 14272 14272 3823 0 -1 1077944384 3482 0 0 0 17 4 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609924885392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14277] ppid=14272 vsize=26539728 memory=1572 CPUtime=0.24 cores=0-7
/proc/14274/task/14277/stat : 14277 (java) S 14272 14272 3823 0 -1 1077944384 2393 0 0 0 20 4 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609923832592 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14278] ppid=14272 vsize=26539728 memory=932 CPUtime=0.24 cores=0-7
/proc/14274/task/14278/stat : 14278 (java) S 14272 14272 3823 0 -1 1077944384 4395 0 0 0 19 5 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609922780304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14279] ppid=14272 vsize=26539728 memory=127423089767394 CPUtime=0.24 cores=0-7
/proc/14274/task/14279/stat : 14279 (java) S 14272 14272 3823 0 -1 1077944384 3411 0 0 0 20 4 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609921727504 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14280] ppid=14272 vsize=26539728 memory=8552 CPUtime=0.24 cores=0-7
/proc/14274/task/14280/stat : 14280 (java) S 14272 14272 3823 0 -1 1077944384 3323 0 0 0 19 5 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609920674192 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14281] ppid=14272 vsize=26539728 memory=1224 CPUtime=0.23 cores=0-7
/proc/14274/task/14281/stat : 14281 (java) S 14272 14272 3823 0 -1 1077944384 3018 0 0 0 18 5 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609919621392 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14282] ppid=14272 vsize=26539728 memory=2428 CPUtime=0.23 cores=0-7
/proc/14274/task/14282/stat : 14282 (java) S 14272 14272 3823 0 -1 1077944384 2867 0 0 0 18 5 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609918569104 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14283] ppid=14272 vsize=26539728 memory=1728 CPUtime=0.23 cores=0-7
/proc/14274/task/14283/stat : 14283 (java) S 14272 14272 3823 0 -1 1077944384 2512 0 0 0 18 5 0 0 20 0 28 0 97304680 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609917516304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14284] ppid=14272 vsize=26539728 memory=1420 CPUtime=0.13 cores=0-7
/proc/14274/task/14284/stat : 14284 (java) S 14272 14272 3823 0 -1 1077944384 12529 0 0 0 9 4 0 0 20 0 28 0 97304681 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609233836656 140609972275842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14285] ppid=14272 vsize=26539728 memory=11032 CPUtime=0 cores=0-7
/proc/14274/task/14285/stat : 14285 (java) S 14272 14272 3823 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 97304682 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609232782688 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14286] ppid=14272 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/14274/task/14286/stat : 14286 (java) S 14272 14272 3823 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 97304682 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609231730304 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14287] ppid=14272 vsize=26539728 memory=302636 CPUtime=0 cores=0-7
/proc/14274/task/14287/stat : 14287 (java) S 14272 14272 3823 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97304684 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609230678608 140609972283291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14288] ppid=14272 vsize=26539728 memory=4104 CPUtime=2.81 cores=0-7
/proc/14274/task/14288/stat : 14288 (java) S 14272 14272 3823 0 -1 1077944384 15851 0 0 0 277 4 0 0 20 0 28 0 97304684 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609229625456 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14289] ppid=14272 vsize=26539728 memory=1156 CPUtime=2.55 cores=0-7
/proc/14274/task/14289/stat : 14289 (java) S 14272 14272 3823 0 -1 1077944384 7215 0 0 0 254 1 0 0 20 0 28 0 97304684 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609228572656 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14290] ppid=14272 vsize=26539728 memory=3884 CPUtime=2.55 cores=0-7
/proc/14274/task/14290/stat : 14290 (java) S 14272 14272 3823 0 -1 1077944384 9666 0 0 0 253 2 0 0 20 0 28 0 97304684 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609227520368 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14291] ppid=14272 vsize=26539728 memory=1384 CPUtime=0.96 cores=0-7
/proc/14274/task/14291/stat : 14291 (java) S 14272 14272 3823 0 -1 1077944384 14242 0 0 0 92 4 0 0 20 0 28 0 97304684 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609226467568 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14292] ppid=14272 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14274/task/14292/stat : 14292 (java) S 14272 14272 3823 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97304685 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609225415520 140609972274901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14293] ppid=14272 vsize=26539728 memory=15800 CPUtime=0.05 cores=0-7
/proc/14274/task/14293/stat : 14293 (java) S 14272 14272 3823 0 -1 1077944384 1846 0 0 0 0 5 0 0 20 0 28 0 97304685 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609224362800 140609972275842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14831] ppid=14272 vsize=26539728 memory=4044 CPUtime=4.5 cores=0-7
/proc/14274/task/14831/stat : 14831 (java) R 14272 14272 3823 0 -1 4202560 210 0 0 0 450 0 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609215299784 140609604495822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14832] ppid=14272 vsize=26539728 memory=1792 CPUtime=4.5 cores=0-7
/proc/14274/task/14832/stat : 14832 (java) R 14272 14272 3823 0 -1 4202560 123 0 0 0 450 0 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609211090056 140609605016985 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14833] ppid=14272 vsize=26539728 memory=636 CPUtime=4.5 cores=0-7
/proc/14274/task/14833/stat : 14833 (java) R 14272 14272 3823 0 -1 4202560 419 0 0 0 450 0 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609208984056 140609604048795 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14834] ppid=14272 vsize=26539728 memory=956 CPUtime=4.5 cores=0-7
/proc/14274/task/14834/stat : 14834 (java) R 14272 14272 3823 0 -1 4202560 160 0 0 0 450 0 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609214247256 140609599825496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14835] ppid=14272 vsize=26539728 memory=2340 CPUtime=4.4 cores=0-7
/proc/14274/task/14835/stat : 14835 (java) R 14272 14272 3823 0 -1 4202560 174 0 0 0 440 0 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609213197264 140609596772968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14836] ppid=14272 vsize=26539728 memory=1236 CPUtime=4.5 cores=0-7
/proc/14274/task/14836/stat : 14836 (java) R 14272 14272 3823 0 -1 4202560 112 0 0 0 450 0 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609216352344 140609604496065 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14837] ppid=14272 vsize=26539728 memory=2240 CPUtime=4.5 cores=0-7
/proc/14274/task/14837/stat : 14837 (java) R 14272 14272 3823 0 -1 4202560 825 0 0 0 449 1 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609210036336 140609602029368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
[pid=14274/tid=14838] ppid=14272 vsize=26539728 memory=4128 CPUtime=4.5 cores=0-7
/proc/14274/task/14838/stat : 14838 (java) R 14272 14272 3823 0 -1 4202560 91 0 0 0 450 0 0 0 20 0 28 0 97329428 27176681472 74797 33554432000 4194304 4196468 140729657434976 140609207931736 140609603698993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31084544 140729657439384 140729657439560 140729657439560 140729657442255 0
Current children cumulated CPU time: 1993.8 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 300572 KiB

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

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

[startup+252.108 s]
# the end of solver process 14274 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1993.03 s, system=1.46275 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.108
CPU time (s): 1994.49
CPU user time (s): 1993.03
CPU system time (s): 1.46275
CPU usage (%): 791.125
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 650092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1993.03
system time used= 1.46275
maximum resident set size= 648708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182043
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= 21074
involuntary context switches= 21380


# summary of solver processes directly reported to runsolver:
#   pid: 14272,14274
#   total CPU time (s): 1994.49
#   total CPU user time (s): 1993.03
#   total CPU system time (s): 1.46275

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.20834 second user time and 2.82293 second system time

The end

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

Trace number 4271820

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