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-18)	SAT (TO)	1063	1996.92	252.095

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281631-1503185516.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4281631-1503185516.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
3.30/1.09	c solve instance...
3.73/1.17	o 3892 
3.73/1.19	o 3784 
4.40/1.21	o 3775 
4.40/1.22	o 2076 
7.47/1.60	o 2066 
8.25/1.79	o 2061 
8.25/1.79	o 2025 
9.79/1.93	o 1942 
11.43/2.12	o 1934 
12.14/2.29	o 1892 
12.97/2.33	o 1872 
12.97/2.35	o 1845 
13.67/2.46	o 1808 
14.44/2.50	o 1796 
14.44/2.56	o 1785 
16.75/2.84	o 1771 
17.54/2.99	o 1762 
21.52/3.44	o 1743 
21.52/3.47	o 1722 
23.85/3.77	o 1718 
25.43/3.98	o 1717 
26.24/4.01	o 1710 
26.24/4.03	o 1696 
27.71/4.22	o 1676 
28.56/4.34	o 1655 
29.26/4.40	o 1616 
29.26/4.42	o 1539 
30.83/4.63	o 1534 
31.61/4.72	o 1528 
35.55/5.20	o 1520 
35.55/5.22	o 1502 
36.29/5.30	o 1486 
36.29/5.32	o 1468 
40.25/5.82	o 1462 
45.02/6.42	o 1442 
45.81/6.54	o 1415 
46.59/6.65	o 1397 
47.37/6.72	o 1390 
48.14/6.86	o 1370 
55.28/7.73	o 1362 
69.60/9.52	o 1357 
69.60/9.59	o 1337 
75.90/10.35	o 1336 
76.69/10.48	o 1330 
87.01/11.78	o 1314 
87.74/11.87	o 1304 
90.73/12.26	o 1298 
93.92/12.67	o 1288 
100.30/13.44	o 1287 
100.30/13.47	o 1271 
100.30/13.49	o 1265 
101.05/13.51	o 1264 
101.05/13.54	o 1252 
102.60/13.73	o 1240 
103.39/13.85	o 1234 
108.15/14.49	o 1216 
109.74/14.60	o 1203 
124.08/16.49	o 1198 
138.37/18.30	o 1184 
228.50/29.53	o 1156 
232.53/30.03	o 1154 
352.16/45.02	o 1111 
352.16/45.03	o 1104 
361.65/46.29	o 1090 
884.54/111.81	o 1086 
1007.24/127.27	o 1078 
1183.75/149.63	o 1077 
1560.00/196.95	o 1071 
1728.79/218.47	o 1063 
1996.32/252.07	s SATISFIABLE
1996.32/252.07	v <instantiation>
1996.32/252.07	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] </list>
1996.32/252.07	v 	<values>0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 79 100 53 92 30 73 56 100 45 24 45 70 67 65 12 67 100 41 38 29 81 85 81 100 13 39 82 61 41 66 14 68 26 49 </values>
1996.32/252.07	v </instantiation>
1996.32/252.07	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 (10292 MiB free)
  memory of node 1: 16384 MiB (12484 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281631-1503185516/watcher-4281631-1503185516 -o /tmp/evaluation-result-4281631-1503185516/solver-4281631-1503185516 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1639444954 HOME/instance-4281631-1503185516.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=32737, runsolver pid=32734

[startup+0.100112 s]*
/proc/loadavg: 7.12 7.58 7.84 2/199 32758
/proc/meminfo: memFree=23307360/32770624 swapFree=67108860/67108860
[pid=32737] ppid=32734 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32737/stat : 32737 (xcsp3-exec) S 32734 32737 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151632558 9740288 346 33554432000 4194304 5098028 140729635873008 140729635871112 139777656349308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17043456 140729635882090 140729635882300 140729635882300 140729635885035 0
/proc/32737/statm: 2378 346 289 221 0 87 0
[pid=32739] ppid=32737 vsize=25999808 memory=26852 CPUtime=0.12 cores=0-7
/proc/32739/stat : 32739 (java) S 32737 32737 29114 0 -1 1077944320 5588 0 0 0 11 1 0 0 20 0 20 0 151632558 26623803392 6713 33554432000 4194304 4196468 140724431936672 140724431919216 140394652462839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
/proc/32739/statm: 6499952 6713 2860 1 0 6488269 0
[pid=32739/tid=32740] ppid=32737 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32739/task/32740/stat : 32740 (java) R 32737 32737 29114 0 -1 4202560 3594 0 0 0 8 1 0 0 20 0 20 0 151632559 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394656678992 140394636506469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32741] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32741/stat : 32741 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394575043344 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32742] ppid=32737 vsize=25999808 memory=139988811134592 CPUtime=0 cores=0-7
/proc/32739/task/32742/stat : 32742 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394573990800 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32743] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32743/stat : 32743 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632560 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394572938256 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32744] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32744/stat : 32744 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394571885712 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32745] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32745/stat : 32745 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632560 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394570832144 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32746] ppid=32737 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32739/task/32746/stat : 32746 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632560 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394569779600 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32747] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32747/stat : 32747 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394568727056 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32748] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32748/stat : 32748 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26623803392 6713 33554432000 4194304 4196468 140724431936672 140394567674512 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32749] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32749/stat : 32749 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632561 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392924719600 140394652473986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32750] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32750/stat : 32750 (java) S 32737 32737 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151632561 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392923665824 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32751] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32751/stat : 32751 (java) S 32737 32737 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151632562 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392922613232 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32752] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32752/stat : 32752 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632564 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392921561808 140394652481435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32753] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32753/stat : 32753 (java) S 32737 32737 29114 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 151632564 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392920508400 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32754] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32754/stat : 32754 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632564 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392919455856 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32755] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32755/stat : 32755 (java) S 32737 32737 29114 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151632564 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392918403312 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32756] ppid=32737 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32739/task/32756/stat : 32756 (java) S 32737 32737 29114 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 151632564 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392917350768 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32757] ppid=32737 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32757/stat : 32757 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632564 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392916298464 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32758] ppid=32737 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32739/task/32758/stat : 32758 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632564 26623803392 6713 33554432000 4194304 4196468 140724431936672 140392915246000 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28236 KiB

[startup+0.210044 s]*
/proc/loadavg: 7.12 7.58 7.84 2/199 32758
/proc/meminfo: memFree=23297232/32770624 swapFree=67108860/67108860
[pid=32737] ppid=32734 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32737/stat : 32737 (xcsp3-exec) S 32734 32737 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151632558 9740288 346 33554432000 4194304 5098028 140729635873008 140729635871112 139777656349308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17043456 140729635882090 140729635882300 140729635882300 140729635885035 0
/proc/32737/statm: 2378 346 289 221 0 87 0
[pid=32739] ppid=32737 vsize=26004064 memory=38920 CPUtime=0.32 cores=0-7
/proc/32739/stat : 32739 (java) S 32737 32737 29114 0 -1 1077944320 8301 0 0 0 31 1 0 0 20 0 20 0 151632558 26628161536 9730 33554432000 4194304 4196468 140724431936672 140724431919216 140394652462839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
/proc/32739/statm: 6501016 9730 3080 1 0 6488269 0
[pid=32739/tid=32740] ppid=32737 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32739/task/32740/stat : 32740 (java) R 32737 32737 29114 0 -1 4202560 5413 0 0 0 18 1 0 0 20 0 20 0 151632559 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394656685744 140394609073408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32741] ppid=32737 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/32739/task/32741/stat : 32741 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394575043344 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32742] ppid=32737 vsize=26004064 memory=4049213840949261984 CPUtime=0 cores=0-7
/proc/32739/task/32742/stat : 32742 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394573990800 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32743] ppid=32737 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32739/task/32743/stat : 32743 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394572938256 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32744] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32744/stat : 32744 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394571885712 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32745] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32745/stat : 32745 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394570832144 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32746] ppid=32737 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32739/task/32746/stat : 32746 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394569779600 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32747] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32747/stat : 32747 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394568727056 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32748] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32748/stat : 32748 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 9730 33554432000 4194304 4196468 140724431936672 140394567674512 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32749] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32749/stat : 32749 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632561 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392924719600 140394652473986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32750] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32750/stat : 32750 (java) S 32737 32737 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151632561 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392923665824 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32751] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32751/stat : 32751 (java) S 32737 32737 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151632562 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392922613232 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32752] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32752/stat : 32752 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632564 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392921561808 140394652481435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32753] ppid=32737 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/32739/task/32753/stat : 32753 (java) S 32737 32737 29114 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 20 0 151632564 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392920508400 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32754] ppid=32737 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32739/task/32754/stat : 32754 (java) S 32737 32737 29114 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 151632564 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392919455856 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32755] ppid=32737 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32739/task/32755/stat : 32755 (java) S 32737 32737 29114 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 151632564 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392918403312 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32756] ppid=32737 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32739/task/32756/stat : 32756 (java) R 32737 32737 29114 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 151632564 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392917350768 140394636543356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32757] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32757/stat : 32757 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632564 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392916298464 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32758] ppid=32737 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32739/task/32758/stat : 32758 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632564 26628161536 9730 33554432000 4194304 4196468 140724431936672 140392915246000 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40304 KiB

[startup+0.309531 s]*
/proc/loadavg: 7.12 7.58 7.84 3/199 32758
/proc/meminfo: memFree=23292332/32770624 swapFree=67108860/67108860
[pid=32737] ppid=32734 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32737/stat : 32737 (xcsp3-exec) S 32734 32737 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151632558 9740288 346 33554432000 4194304 5098028 140729635873008 140729635871112 139777656349308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17043456 140729635882090 140729635882300 140729635882300 140729635885035 0
/proc/32737/statm: 2378 346 289 221 0 87 0
[pid=32739] ppid=32737 vsize=26004064 memory=43840 CPUtime=0.5 cores=0-7
/proc/32739/stat : 32739 (java) S 32737 32737 29114 0 -1 1077944320 9184 0 0 0 47 3 0 0 20 0 20 0 151632558 26628161536 10960 33554432000 4194304 4196468 140724431936672 140724431919216 140394652462839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
/proc/32739/statm: 6501016 10960 3101 1 0 6488269 0
[pid=32739/tid=32740] ppid=32737 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32739/task/32740/stat : 32740 (java) R 32737 32737 29114 0 -1 4202560 6093 0 0 0 27 2 0 0 20 0 20 0 151632559 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394656700560 140394652474774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32741] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32741/stat : 32741 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394575043344 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32742] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32742/stat : 32742 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394573990800 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32743] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32743/stat : 32743 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394572938256 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32744] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32744/stat : 32744 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394571885712 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32745] ppid=32737 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/32739/task/32745/stat : 32745 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394570832144 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32746] ppid=32737 vsize=26004064 memory=139988687745967 CPUtime=0 cores=0-7
/proc/32739/task/32746/stat : 32746 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394569779600 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32747] ppid=32737 vsize=26004064 memory=139988687748272 CPUtime=0 cores=0-7
/proc/32739/task/32747/stat : 32747 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394568727056 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32748] ppid=32737 vsize=26004064 memory=139988687750576 CPUtime=0 cores=0-7
/proc/32739/task/32748/stat : 32748 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632560 26628161536 10960 33554432000 4194304 4196468 140724431936672 140394567674512 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32749] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32749/stat : 32749 (java) S 32737 32737 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151632561 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392924719600 140394652473986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32750] ppid=32737 vsize=26004064 memory=279977375508112 CPUtime=0 cores=0-7
/proc/32739/task/32750/stat : 32750 (java) S 32737 32737 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151632561 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392923665824 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32751] ppid=32737 vsize=26004064 memory=279977375515024 CPUtime=0 cores=0-7
/proc/32739/task/32751/stat : 32751 (java) S 32737 32737 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151632562 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392922613232 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32752] ppid=32737 vsize=26004064 memory=279977375456304 CPUtime=0 cores=0-7
/proc/32739/task/32752/stat : 32752 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632564 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392921561808 140394652481435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32753] ppid=32737 vsize=26004064 memory=279977375528848 CPUtime=0.03 cores=0-7
/proc/32739/task/32753/stat : 32753 (java) S 32737 32737 29114 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 20 0 151632564 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392920508400 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32754] ppid=32737 vsize=26004064 memory=279977375535760 CPUtime=0.02 cores=0-7
/proc/32739/task/32754/stat : 32754 (java) S 32737 32737 29114 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 20 0 151632564 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392919455856 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32755] ppid=32737 vsize=26004064 memory=279977375533456 CPUtime=0.01 cores=0-7
/proc/32739/task/32755/stat : 32755 (java) S 32737 32737 29114 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 151632564 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392918403312 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32756] ppid=32737 vsize=26004064 memory=279977375549616 CPUtime=0.12 cores=0-7
/proc/32739/task/32756/stat : 32756 (java) R 32737 32737 29114 0 -1 4202560 869 0 0 0 12 0 0 0 20 0 20 0 151632564 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392917347136 140394644699966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32757] ppid=32737 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32757/stat : 32757 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632564 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392916298464 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32758] ppid=32737 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32739/task/32758/stat : 32758 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632564 26628161536 10960 33554432000 4194304 4196468 140724431936672 140392915246000 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45224 KiB

[startup+0.700881 s]
/proc/loadavg: 7.12 7.58 7.84 6/199 32758
/proc/meminfo: memFree=23266328/32770624 swapFree=67108860/67108860
[pid=32737] ppid=32734 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32737/stat : 32737 (xcsp3-exec) S 32734 32737 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151632558 9740288 346 33554432000 4194304 5098028 140729635873008 140729635871112 139777656349308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17043456 140729635882090 140729635882300 140729635882300 140729635885035 0
/proc/32737/statm: 2378 346 289 221 0 87 0
[pid=32739] ppid=32737 vsize=26006188 memory=93468 CPUtime=1.98 cores=0-7
/proc/32739/stat : 32739 (java) S 32737 32737 29114 0 -1 1077944320 13462 0 0 0 193 5 0 0 20 0 20 0 151632558 26630336512 23367 33554432000 4194304 4196468 140724431936672 140724431919216 140394652462839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
/proc/32739/statm: 6501547 23367 3204 1 0 6488781 0
[pid=32739/tid=32740] ppid=32737 vsize=26006188 memory=279977375907504 CPUtime=0.67 cores=0-7
/proc/32739/task/32740/stat : 32740 (java) R 32737 32737 29114 0 -1 4202560 6813 0 0 0 64 3 0 0 20 0 20 0 151632559 26630336512 23367 33554432000 4194304 4196468 140724431936672 140394656699216 140394246388882 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32741] ppid=32737 vsize=26006188 memory=139988687954800 CPUtime=0 cores=0-7
/proc/32739/task/32741/stat : 32741 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26630336512 23367 33554432000 4194304 4196468 140724431936672 140394575043344 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32742] ppid=32737 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/32739/task/32742/stat : 32742 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151632559 26630336512 23367 33554432000 4194304 4196468 140724431936672 140394573990800 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32743] ppid=32737 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/32739/task/32743/stat : 32743 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151632560 26630336512 23367 33554432000 4194304 4196468 140724431936672 140394572938256 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0

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

[pid=32739/tid=884] ppid=32737 vsize=26672856 memory=6791534058613427641 CPUtime=12.65 cores=0-7
/proc/32739/task/884/stat : 884 (java) R 32737 32737 29114 0 -1 4202560 299 0 0 0 1265 0 0 0 20 0 28 0 151647522 27313004544 307971 33554432000 4194304 4196468 140724431936672 140392906183736 140394249718263 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
Current children cumulated CPU time: 1284.82 s
Current children cumulated vsize: 26682368 KiB
Current children cumulated memory: 1233268 KiB

[startup+222.302 s]
/proc/loadavg: 8.04 7.92 7.93 9/208 902
/proc/meminfo: memFree=22106348/32770624 swapFree=67108860/67108860
[pid=32737] ppid=32734 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32737/stat : 32737 (xcsp3-exec) S 32734 32737 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151632558 9740288 346 33554432000 4194304 5098028 140729635873008 140729635871112 139777656349308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17043456 140729635882090 140729635882300 140729635882300 140729635885035 0
/proc/32737/statm: 2378 346 289 221 0 87 0
[pid=32739] ppid=32737 vsize=26672856 memory=1228136 CPUtime=1759.41 cores=0-7
/proc/32739/stat : 32739 (java) S 32737 32737 29114 0 -1 1077944320 138563 0 0 0 175738 203 0 0 20 0 28 0 151632558 27313004544 307034 33554432000 4194304 4196468 140724431936672 140724431919216 140394652462839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
/proc/32739/statm: 6668214 307034 3288 1 0 6655448 0
[pid=32739/tid=32740] ppid=32737 vsize=26672856 memory=1217196 CPUtime=1.13 cores=0-7
/proc/32739/task/32740/stat : 32740 (java) S 32737 32737 29114 0 -1 1077944384 8894 0 0 0 108 5 0 0 20 0 28 0 151632559 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394656703616 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32741] ppid=32737 vsize=26672856 memory=1231884 CPUtime=0.2 cores=0-7
/proc/32739/task/32741/stat : 32741 (java) S 32737 32737 29114 0 -1 1077944384 2069 0 0 0 11 9 0 0 20 0 28 0 151632559 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394575043344 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32742] ppid=32737 vsize=26672856 memory=1221168 CPUtime=0.2 cores=0-7
/proc/32739/task/32742/stat : 32742 (java) S 32737 32737 29114 0 -1 1077944384 1391 0 0 0 12 8 0 0 20 0 28 0 151632559 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394573990800 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32743] ppid=32737 vsize=26672856 memory=1226332 CPUtime=0.2 cores=0-7
/proc/32739/task/32743/stat : 32743 (java) S 32737 32737 29114 0 -1 1077944384 1127 0 0 0 11 9 0 0 20 0 28 0 151632560 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394572938256 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32744] ppid=32737 vsize=26672856 memory=1228344 CPUtime=0.21 cores=0-7
/proc/32739/task/32744/stat : 32744 (java) S 32737 32737 29114 0 -1 1077944384 1131 0 0 0 12 9 0 0 20 0 28 0 151632560 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394571885712 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32745] ppid=32737 vsize=26672856 memory=1228120 CPUtime=0.2 cores=0-7
/proc/32739/task/32745/stat : 32745 (java) S 32737 32737 29114 0 -1 1077944384 988 0 0 0 12 8 0 0 20 0 28 0 151632560 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394570832144 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32746] ppid=32737 vsize=26672856 memory=1228128 CPUtime=0.21 cores=0-7
/proc/32739/task/32746/stat : 32746 (java) S 32737 32737 29114 0 -1 1077944384 1887 0 0 0 13 8 0 0 20 0 28 0 151632560 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394569779600 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32747] ppid=32737 vsize=26672856 memory=1384 CPUtime=0.21 cores=0-7
/proc/32739/task/32747/stat : 32747 (java) S 32737 32737 29114 0 -1 1077944384 2309 0 0 0 12 9 0 0 20 0 28 0 151632560 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394568727056 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32748] ppid=32737 vsize=26672856 memory=1228344 CPUtime=0.2 cores=0-7
/proc/32739/task/32748/stat : 32748 (java) S 32737 32737 29114 0 -1 1077944384 1408 0 0 0 11 9 0 0 20 0 28 0 151632560 27313004544 307034 33554432000 4194304 4196468 140724431936672 140394567674512 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32749] ppid=32737 vsize=26672856 memory=54 CPUtime=0.1 cores=0-7
/proc/32739/task/32749/stat : 32749 (java) S 32737 32737 29114 0 -1 1077944384 6577 0 0 0 6 4 0 0 20 0 28 0 151632561 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392924719600 140394652473986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32750] ppid=32737 vsize=26672856 memory=1228136 CPUtime=0 cores=0-7
/proc/32739/task/32750/stat : 32750 (java) S 32737 32737 29114 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151632561 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392923665888 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32751] ppid=32737 vsize=26672856 memory=1384 CPUtime=0 cores=0-7
/proc/32739/task/32751/stat : 32751 (java) S 32737 32737 29114 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151632562 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392922613248 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32752] ppid=32737 vsize=26672856 memory=1223732 CPUtime=0 cores=0-7
/proc/32739/task/32752/stat : 32752 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151632564 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392921561808 140394652481435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32753] ppid=32737 vsize=26672856 memory=4616 CPUtime=2.24 cores=0-7
/proc/32739/task/32753/stat : 32753 (java) S 32737 32737 29114 0 -1 1077944384 7018 0 0 0 223 1 0 0 20 0 28 0 151632564 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392920508400 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32754] ppid=32737 vsize=26672856 memory=1384 CPUtime=2.33 cores=0-7
/proc/32739/task/32754/stat : 32754 (java) S 32737 32737 29114 0 -1 1077944384 7264 0 0 0 232 1 0 0 20 0 28 0 151632564 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392919455856 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32755] ppid=32737 vsize=26672856 memory=1228120 CPUtime=2.33 cores=0-7
/proc/32739/task/32755/stat : 32755 (java) S 32737 32737 29114 0 -1 1077944384 8120 0 0 0 231 2 0 0 20 0 28 0 151632564 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392918403312 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32756] ppid=32737 vsize=26672856 memory=1228120 CPUtime=0.98 cores=0-7
/proc/32739/task/32756/stat : 32756 (java) S 32737 32737 29114 0 -1 1077944384 10201 0 0 0 97 1 0 0 20 0 28 0 151632564 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392917350768 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32757] ppid=32737 vsize=26672856 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/32739/task/32757/stat : 32757 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151632564 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392916298464 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32758] ppid=32737 vsize=26672856 memory=288230596050944315 CPUtime=0.07 cores=0-7
/proc/32739/task/32758/stat : 32758 (java) S 32737 32737 29114 0 -1 1077944384 1857 0 0 0 5 2 0 0 20 0 28 0 151632564 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392915246000 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=895] ppid=32737 vsize=26672856 memory=1004 CPUtime=3.82 cores=0-7
/proc/32739/task/895/stat : 895 (java) R 32737 32737 29114 0 -1 4202560 60 0 0 0 382 0 0 0 20 0 28 0 151654405 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392904081144 140394250333144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=896] ppid=32737 vsize=26672856 memory=11112 CPUtime=3.82 cores=0-7
/proc/32739/task/896/stat : 896 (java) R 32737 32737 29114 0 -1 4202560 5 0 0 0 382 0 0 0 20 0 28 0 151654405 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392907240440 140394250204154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=897] ppid=32737 vsize=26672856 memory=42376 CPUtime=3.82 cores=0-7
/proc/32739/task/897/stat : 897 (java) R 32737 32737 29114 0 -1 4202560 94 0 0 0 382 0 0 0 20 0 28 0 151654405 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392905134200 140394244430326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=898] ppid=32737 vsize=26672856 memory=1296 CPUtime=3.82 cores=0-7
/proc/32739/task/898/stat : 898 (java) R 32737 32737 29114 0 -1 4202560 42 0 0 0 382 0 0 0 20 0 28 0 151654405 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392900926280 140394250020650 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=899] ppid=32737 vsize=26672856 memory=2396 CPUtime=3.75 cores=0-7
/proc/32739/task/899/stat : 899 (java) R 32737 32737 29114 0 -1 4202560 3 0 0 0 375 0 0 0 20 0 28 0 151654405 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392903031752 140394250334405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=900] ppid=32737 vsize=26672856 memory=2396 CPUtime=3.82 cores=0-7
/proc/32739/task/900/stat : 900 (java) R 32737 32737 29114 0 -1 4202560 70 0 0 0 382 0 0 0 20 0 28 0 151654405 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392897768520 140394247436565 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=901] ppid=32737 vsize=26672856 memory=1728 CPUtime=3.82 cores=0-7
/proc/32739/task/901/stat : 901 (java) R 32737 32737 29114 0 -1 4202560 1 0 0 0 382 0 0 0 20 0 28 0 151654405 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392906190024 140394250203699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=902] ppid=32737 vsize=26672856 memory=4140 CPUtime=3.81 cores=0-7
/proc/32739/task/902/stat : 902 (java) R 32737 32737 29114 0 -1 4202560 101 0 0 0 381 0 0 0 20 0 28 0 151654406 27313004544 307034 33554432000 4194304 4196468 140724431936672 140392898821448 140394247436660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
Current children cumulated CPU time: 1759.41 s
Current children cumulated vsize: 26682368 KiB
Current children cumulated memory: 1229520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.02 7.92 7.94 9/208 902
/proc/meminfo: memFree=22096960/32770624 swapFree=67108860/67108860
[pid=32737] ppid=32734 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32737/stat : 32737 (xcsp3-exec) S 32734 32737 29114 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151632558 9740288 346 33554432000 4194304 5098028 140729635873008 140729635871112 139777656349308 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17043456 140729635882090 140729635882300 140729635882300 140729635885035 0
/proc/32737/statm: 2378 346 289 221 0 87 0
[pid=32739] ppid=32737 vsize=26672856 memory=1238124 CPUtime=1996.32 cores=0-7
/proc/32739/stat : 32739 (java) S 32737 32737 29114 0 -1 1077944320 147898 0 0 0 199419 213 0 0 20 0 28 0 151632558 27313004544 309531 33554432000 4194304 4196468 140724431936672 140724431919216 140394652462839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
/proc/32739/statm: 6668214 309531 3288 1 0 6655448 0
[pid=32739/tid=32740] ppid=32737 vsize=26672856 memory=6791534058613427641 CPUtime=1.13 cores=0-7
/proc/32739/task/32740/stat : 32740 (java) S 32737 32737 29114 0 -1 1077944384 8894 0 0 0 108 5 0 0 20 0 28 0 151632559 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394656703616 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32741] ppid=32737 vsize=26672856 memory=5776 CPUtime=0.22 cores=0-7
/proc/32739/task/32741/stat : 32741 (java) S 32737 32737 29114 0 -1 1077944384 2522 0 0 0 13 9 0 0 20 0 28 0 151632559 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394575043344 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32742] ppid=32737 vsize=26672856 memory=4616 CPUtime=0.23 cores=0-7
/proc/32739/task/32742/stat : 32742 (java) S 32737 32737 29114 0 -1 1077944384 1550 0 0 0 14 9 0 0 20 0 28 0 151632559 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394573990800 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32743] ppid=32737 vsize=26672856 memory=792 CPUtime=0.21 cores=0-7
/proc/32739/task/32743/stat : 32743 (java) S 32737 32737 29114 0 -1 1077944384 1239 0 0 0 12 9 0 0 20 0 28 0 151632560 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394572938256 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32744] ppid=32737 vsize=26672856 memory=42376 CPUtime=0.24 cores=0-7
/proc/32739/task/32744/stat : 32744 (java) S 32737 32737 29114 0 -1 1077944384 1245 0 0 0 14 10 0 0 20 0 28 0 151632560 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394571885712 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32745] ppid=32737 vsize=26672856 memory=1296 CPUtime=0.22 cores=0-7
/proc/32739/task/32745/stat : 32745 (java) S 32737 32737 29114 0 -1 1077944384 1161 0 0 0 13 9 0 0 20 0 28 0 151632560 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394570832144 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32746] ppid=32737 vsize=26672856 memory=6791534058613427641 CPUtime=0.23 cores=0-7
/proc/32739/task/32746/stat : 32746 (java) S 32737 32737 29114 0 -1 1077944384 2384 0 0 0 14 9 0 0 20 0 28 0 151632560 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394569779600 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32747] ppid=32737 vsize=26672856 memory=1237056 CPUtime=0.22 cores=0-7
/proc/32739/task/32747/stat : 32747 (java) S 32737 32737 29114 0 -1 1077944384 3173 0 0 0 13 9 0 0 20 0 28 0 151632560 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394568727056 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32748] ppid=32737 vsize=26672856 memory=1004 CPUtime=0.23 cores=0-7
/proc/32739/task/32748/stat : 32748 (java) S 32737 32737 29114 0 -1 1077944384 1479 0 0 0 13 10 0 0 20 0 28 0 151632560 27313004544 309531 33554432000 4194304 4196468 140724431936672 140394567674512 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32749] ppid=32737 vsize=26672856 memory=11112 CPUtime=0.11 cores=0-7
/proc/32739/task/32749/stat : 32749 (java) S 32737 32737 29114 0 -1 1077944384 7762 0 0 0 6 5 0 0 20 0 28 0 151632561 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392924719600 140394652473986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32750] ppid=32737 vsize=26672856 memory=5776 CPUtime=0 cores=0-7
/proc/32739/task/32750/stat : 32750 (java) S 32737 32737 29114 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 151632561 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392923665888 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32751] ppid=32737 vsize=26672856 memory=4616 CPUtime=0 cores=0-7
/proc/32739/task/32751/stat : 32751 (java) S 32737 32737 29114 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 151632562 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392922613248 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32752] ppid=32737 vsize=26672856 memory=792 CPUtime=0 cores=0-7
/proc/32739/task/32752/stat : 32752 (java) S 32737 32737 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151632564 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392921561808 140394652481435 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32753] ppid=32737 vsize=26672856 memory=1424 CPUtime=2.24 cores=0-7
/proc/32739/task/32753/stat : 32753 (java) S 32737 32737 29114 0 -1 1077944384 7024 0 0 0 223 1 0 0 20 0 28 0 151632564 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392920508400 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32754] ppid=32737 vsize=26672856 memory=1936 CPUtime=2.33 cores=0-7
/proc/32739/task/32754/stat : 32754 (java) S 32737 32737 29114 0 -1 1077944384 7270 0 0 0 232 1 0 0 20 0 28 0 151632564 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392919455856 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32755] ppid=32737 vsize=26672856 memory=1224 CPUtime=2.33 cores=0-7
/proc/32739/task/32755/stat : 32755 (java) S 32737 32737 29114 0 -1 1077944384 8136 0 0 0 231 2 0 0 20 0 28 0 151632564 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392918403312 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32756] ppid=32737 vsize=26672856 memory=1716 CPUtime=0.98 cores=0-7
/proc/32739/task/32756/stat : 32756 (java) S 32737 32737 29114 0 -1 1077944384 10209 0 0 0 97 1 0 0 20 0 28 0 151632564 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392917350768 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32757] ppid=32737 vsize=26672856 memory=10636 CPUtime=0 cores=0-7
/proc/32739/task/32757/stat : 32757 (java) S 32737 32737 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151632564 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392916298464 140394652473045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=32758] ppid=32737 vsize=26672856 memory=6791534058613427641 CPUtime=0.07 cores=0-7
/proc/32739/task/32758/stat : 32758 (java) S 32737 32737 29114 0 -1 1077944384 1954 0 0 0 5 2 0 0 20 0 28 0 151632564 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392915246000 140394652473986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=895] ppid=32737 vsize=26672856 memory=288230596050944315 CPUtime=33.37 cores=0-7
/proc/32739/task/895/stat : 895 (java) R 32737 32737 29114 0 -1 4202560 529 0 0 0 3337 0 0 0 20 0 28 0 151654405 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392904076616 140394250333519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=896] ppid=32737 vsize=26672856 memory=16099273481658598 CPUtime=33.46 cores=0-7
/proc/32739/task/896/stat : 896 (java) R 32737 32737 29114 0 -1 4202560 219 0 0 0 3346 0 0 0 20 0 28 0 151654405 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392907236136 140394250077376 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=897] ppid=32737 vsize=26672856 memory=2244 CPUtime=33.49 cores=0-7
/proc/32739/task/897/stat : 897 (java) R 32737 32737 29114 0 -1 4202560 1440 0 0 0 3349 0 0 0 20 0 28 0 151654405 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392905129896 140394250203205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=898] ppid=32737 vsize=26672856 memory=4124 CPUtime=33.47 cores=0-7
/proc/32739/task/898/stat : 898 (java) R 32737 32737 29114 0 -1 4202560 801 0 0 0 3347 0 0 0 20 0 28 0 151654405 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392900918984 140394245903227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=899] ppid=32737 vsize=26672856 memory=2196 CPUtime=33.24 cores=0-7
/proc/32739/task/899/stat : 899 (java) R 32737 32737 29114 0 -1 4202560 433 0 0 0 3324 0 0 0 20 0 28 0 151654405 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392903024336 140394251783788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=900] ppid=32737 vsize=26672856 memory=4616 CPUtime=33.49 cores=0-7
/proc/32739/task/900/stat : 900 (java) R 32737 32737 29114 0 -1 4202560 926 0 0 0 3349 0 0 0 20 0 28 0 151654405 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392897761576 140394247535073 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=901] ppid=32737 vsize=26672856 memory=792 CPUtime=33.19 cores=0-7
/proc/32739/task/901/stat : 901 (java) R 32737 32737 29114 0 -1 4202560 350 0 0 0 3319 0 0 0 20 0 28 0 151654405 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392906182856 140394250204149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
[pid=32739/tid=902] ppid=32737 vsize=26672856 memory=1424 CPUtime=33.48 cores=0-7
/proc/32739/task/902/stat : 902 (java) R 32737 32737 29114 0 -1 4202560 1252 0 0 0 3345 3 0 0 20 0 28 0 151654406 27313004544 309531 33554432000 4194304 4196468 140724431936672 140392898817184 140394245902034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29278208 140724431938712 140724431938888 140724431938888 140724431941583 0
Current children cumulated CPU time: 1996.32 s
Current children cumulated vsize: 26682368 KiB
Current children cumulated memory: 1239508 KiB

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

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

[startup+252.095 s]
# the end of solver process 32739 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1994.77 s, system=2.15388 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.095
CPU time (s): 1996.92
CPU user time (s): 1994.77
CPU system time (s): 2.15388
CPU usage (%): 792.13
Max. virtual memory (cumulated for all children) (KiB): 26682368
Max. memory (cumulated for all children) (KiB): 1244616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1994.77
system time used= 2.15388
maximum resident set size= 1245692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17429
involuntary context switches= 21348


# summary of solver processes directly reported to runsolver:
#   pid: 32737,32739
#   total CPU time (s): 1996.92
#   total CPU user time (s): 1994.77
#   total CPU system time (s): 2.15388

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48988 second user time and 2.4836 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml
MD5SUM	bb36812fd58cb568268e8c9b807d30b9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	853
Best CPU time to get the best result obtained on this benchmark	251.895
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	1295
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree	0
Maximum variable degree	69
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	35
Distribution of constraint arities	[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints	0
Number of intensional constraints	35
Distribution of constraint types	[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4281631

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