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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	SAT (TO)	845	2400.64	604.278

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404191-1568990793.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404191-1568990793.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
2.76/1.06	c solve instance...
8.61/2.60	o 1983 
8.99/2.62	o 1979 
8.99/2.66	o 1970 
8.99/2.70	o 1968 
9.36/2.72	o 1965 
9.36/2.74	o 1960 
9.74/2.82	o 1957 
10.59/3.09	o 1952 
10.59/3.10	o 1943 
10.59/3.10	o 1942 
10.59/3.11	o 1863 
10.96/3.12	o 1854 
10.96/3.13	o 1799 
10.96/3.15	o 1796 
10.96/3.18	o 1778 
12.47/3.59	o 1773 
12.89/3.61	o 1763 
12.89/3.62	o 1732 
12.89/3.65	o 1713 
12.89/3.67	o 1707 
13.24/3.70	o 1690 
14.07/4.03	o 1660 
15.14/4.35	o 1654 
15.14/4.35	o 1648 
15.14/4.35	o 1642 
15.14/4.35	o 1637 
15.14/4.35	o 1618 
15.14/4.35	o 1604 
15.14/4.36	o 1573 
15.14/4.38	o 1570 
15.50/4.40	o 1549 
15.50/4.42	o 1533 
15.50/4.44	o 1514 
15.50/4.45	o 1502 
15.50/4.47	o 1501 
16.27/4.65	o 1490 
16.27/4.67	o 1489 
18.65/5.29	o 1484 
20.21/5.61	o 1427 
20.21/5.62	o 1412 
20.21/5.62	o 1384 
20.21/5.69	o 1383 
21.82/6.05	o 1363 
21.82/6.07	o 1360 
22.95/6.35	o 1357 
24.13/6.68	o 1350 
24.13/6.69	o 1340 
24.54/6.72	o 1338 
24.54/6.77	o 1324 
24.54/6.77	o 1314 
26.91/7.35	o 1267 
28.90/7.84	o 1250 
28.90/7.85	o 1181 
28.90/7.85	o 1175 
30.87/8.30	o 1172 
31.67/8.56	o 1170 
32.47/8.71	o 1148 
34.08/9.12	o 1144 
36.04/9.68	o 1121 
42.38/11.24	o 1115 
42.38/11.24	o 1110 
43.18/11.43	o 1109 
43.57/11.51	o 1094 
45.59/12.05	o 1080 
50.33/13.24	o 1028 
50.33/13.28	o 1026 
52.72/13.84	o 1022 
55.85/14.68	o 1018 
58.26/15.27	o 996 
74.16/19.26	o 995 
74.16/19.27	o 953 
90.08/23.23	o 943 
113.89/29.25	o 927 
119.07/30.52	o 921 
140.18/35.90	o 912 
140.60/35.93	o 906 
152.48/39.00	o 894 
158.44/40.46	o 893 
163.61/41.73	o 879 
199.85/50.85	o 876 
241.27/61.30	o 859 
242.43/61.51	o 855 
310.26/78.67	o 854 
332.33/84.20	o 849 
1383.48/348.36	o 845 
2400.33/604.26	s SATISFIABLE
2400.33/604.26	v <instantiation>
2400.33/604.26	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] </list>
2400.33/604.26	v 	<values>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 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 46 100 34 58 43 16 70 55 95 8 68 26 87 25 100 67 68 41 22 96 17 100 36 8 79 72 80 4 59 25 86 99 2 40 15 82 100 </values>
2400.33/604.26	v </instantiation>
2400.33/604.26	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 (3740 MiB free)
  memory of node 1: 16384 MiB (1930 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404191-1568990793/watcher-4404191-1568990793 -o /var/tmp/evaluation-result-4404191-1568990793/solver-4404191-1568990793 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19951 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1292996200 HOME/instance-4404191-1568990793.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25080, runsolver pid=25077
Current StackSize limit: 8192 KiB


[startup+0.101721 s]*
/proc/loadavg: 7.91 8.44 8.06 9/232 25096
/proc/meminfo: memFree=5793668/32770624 swapFree=66953200/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474994083 115843072 363 33554432000 4194304 5098028 140721519991648 140721519989752 140199295214204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11382784 140721519993686 140721519993945 140721519993945 140721519996870 0
/proc/25080/statm: 28282 363 305 221 0 87 0
[pid=25082] ppid=25080 vsize=15144776 memory=27680 CPUtime=0.13 cores=0,2,4,6
/proc/25082/stat : 25082 (java) S 25080 25080 19920 0 -1 1077944320 5874 0 0 0 12 1 0 0 20 0 15 0 474994083 15508250624 6920 33554432000 4194304 4196468 140720430319712 140720430302256 139646061797111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
/proc/25082/statm: 3786194 6920 3149 1 0 3748377 0
[pid=25082/tid=25083] ppid=25080 vsize=15144776 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 19920 0 -1 4202560 3733 0 0 0 8 0 0 0 20 0 15 0 474994083 15508250624 6920 33554432000 4194304 4196468 140720430319712 139646066031248 139646045877598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25084] ppid=25080 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 6920 33554432000 4194304 4196468 140720430319712 139646031510416 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25085] ppid=25080 vsize=15144776 memory=139876912895616 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645652962064 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25086] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645651909776 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25087] ppid=25080 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645650856976 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25088] ppid=25080 vsize=15144776 memory=139876912895616 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474994085 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645530183792 139646061808258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25089] ppid=25080 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474994086 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645529129760 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25090] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474994086 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645528077424 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25091] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645527025744 139646061815707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25092] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25092/stat : 25092 (java) R 25080 25080 19920 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645525973616 139646061808258 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25093] ppid=25080 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25093/stat : 25093 (java) R 25080 25080 19920 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645524920816 139646039629968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25094] ppid=25080 vsize=15144776 memory=139876912895616 CPUtime=0.02 cores=0,2,4,6
/proc/25082/task/25094/stat : 25094 (java) R 25080 25080 19920 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 474994089 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645523867632 139646054893947 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25095] ppid=25080 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645522815968 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25096] ppid=25080 vsize=15144776 memory=139876912895616 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 6920 33554432000 4194304 4196468 140720430319712 139645521762736 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29132 KiB

[startup+0.210724 s]*
/proc/loadavg: 7.91 8.44 8.06 6/232 25096
/proc/meminfo: memFree=5780780/32770624 swapFree=66953200/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474994083 115843072 363 33554432000 4194304 5098028 140721519991648 140721519989752 140199295214204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11382784 140721519993686 140721519993945 140721519993945 140721519996870 0
/proc/25080/statm: 28282 363 305 221 0 87 0
[pid=25082] ppid=25080 vsize=15144776 memory=38948 CPUtime=0.34 cores=0,2,4,6
/proc/25082/stat : 25082 (java) S 25080 25080 19920 0 -1 1077944320 9529 0 0 0 31 3 0 0 20 0 15 0 474994083 15508250624 9737 33554432000 4194304 4196468 140720430319712 140720430302256 139646061797111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
/proc/25082/statm: 3786194 9737 3290 1 0 3748377 0
[pid=25082/tid=25083] ppid=25080 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 19920 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 474994083 15508250624 9737 33554432000 4194304 4196468 140720430319712 139646066029840 139646061809046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25084] ppid=25080 vsize=15144776 memory=10535 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 9737 33554432000 4194304 4196468 140720430319712 139646031510416 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25085] ppid=25080 vsize=15144776 memory=3907065537212487328 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645652962064 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25086] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645651909776 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25087] ppid=25080 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474994084 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645650856976 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25088] ppid=25080 vsize=15144776 memory=139876912895616 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474994085 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645530183792 139646061808258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25089] ppid=25080 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474994086 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645529129760 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25090] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474994086 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645528077424 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25091] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645527025744 139646061815707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25092] ppid=25080 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 19920 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 474994089 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645525973616 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25093] ppid=25080 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 19920 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 15 0 474994089 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645524920816 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25094] ppid=25080 vsize=15144776 memory=139876912895616 CPUtime=0.08 cores=0,2,4,6
/proc/25082/task/25094/stat : 25094 (java) R 25080 25080 19920 0 -1 4202560 915 0 0 0 8 0 0 0 20 0 15 0 474994089 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645523868528 139646045877598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25095] ppid=25080 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645522815968 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25096] ppid=25080 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994089 15508250624 9737 33554432000 4194304 4196468 140720430319712 139645521762736 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40400 KiB

[startup+0.31053 s]*
/proc/loadavg: 7.91 8.44 8.06 8/232 25096
/proc/meminfo: memFree=5774824/32770624 swapFree=66953200/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474994083 115843072 363 33554432000 4194304 5098028 140721519991648 140721519989752 140199295214204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11382784 140721519993686 140721519993945 140721519993945 140721519996870 0
/proc/25080/statm: 28282 363 305 221 0 87 0
[pid=25082] ppid=25080 vsize=15149032 memory=48412 CPUtime=0.53 cores=0,2,4,6
/proc/25082/stat : 25082 (java) S 25080 25080 19920 0 -1 1077944320 11003 0 0 0 50 3 0 0 20 0 15 0 474994083 15512608768 12103 33554432000 4194304 4196468 140720430319712 140720430302256 139646061797111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
/proc/25082/statm: 3787258 12103 3351 1 0 3748377 0
[pid=25082/tid=25083] ppid=25080 vsize=15149032 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 19920 0 -1 4202560 7742 0 0 0 27 2 0 0 20 0 15 0 474994083 15512608768 12103 33554432000 4194304 4196468 140720430319712 139646066028224 139646045877598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25084] ppid=25080 vsize=15149032 memory=307370911731034425 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15512608768 12103 33554432000 4194304 4196468 140720430319712 139646031510416 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25085] ppid=25080 vsize=15149032 memory=4411334354761154592 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15512608768 12103 33554432000 4194304 4196468 140720430319712 139645652962064 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25086] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15512608768 12103 33554432000 4194304 4196468 140720430319712 139645651909776 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25087] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474994084 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645650856976 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25088] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474994085 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645530183792 139646061808258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25089] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474994086 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645529129760 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25090] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474994086 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645528077424 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25091] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645527025744 139646061815707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25092] ppid=25080 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 19920 0 -1 1077944384 575 0 0 0 4 0 0 0 20 0 15 0 474994089 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645525973616 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25093] ppid=25080 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25082/task/25093/stat : 25093 (java) R 25080 25080 19920 0 -1 4202560 245 0 0 0 4 0 0 0 20 0 15 0 474994089 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645524911200 139646039448976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25094] ppid=25080 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 19920 0 -1 1077944384 1147 0 0 0 13 0 0 0 20 0 15 0 474994089 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645523868528 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25095] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645522815968 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25096] ppid=25080 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994089 15512608768 12163 33554432000 4194304 4196468 140720430319712 139645521762736 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 49864 KiB

[startup+0.701881 s]
/proc/loadavg: 7.91 8.44 8.06 8/232 25096
/proc/meminfo: memFree=5750504/32770624 swapFree=66953200/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474994083 115843072 363 33554432000 4194304 5098028 140721519991648 140721519989752 140199295214204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11382784 140721519993686 140721519993945 140721519993945 140721519996870 0
/proc/25080/statm: 28282 363 305 221 0 87 0
[pid=25082] ppid=25080 vsize=15151156 memory=90412 CPUtime=1.77 cores=0,2,4,6
/proc/25082/stat : 25082 (java) S 25080 25080 19920 0 -1 1077944320 15776 0 0 0 172 5 0 0 20 0 15 0 474994083 15514783744 22603 33554432000 4194304 4196468 140720430319712 140720430302256 139646061797111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
/proc/25082/statm: 3787789 22603 3446 1 0 3748889 0
[pid=25082/tid=25083] ppid=25080 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/25082/task/25083/stat : 25083 (java) R 25080 25080 19920 0 -1 4202560 9194 0 0 0 64 3 0 0 20 0 15 0 474994083 15514783744 22603 33554432000 4194304 4196468 140720430319712 139646066033616 139645699000454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25084] ppid=25080 vsize=15151156 memory=520 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15514783744 22603 33554432000 4194304 4196468 140720430319712 139646031510416 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25085] ppid=25080 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645652962064 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25086] ppid=25080 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994084 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645651909776 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25087] ppid=25080 vsize=15151156 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474994084 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645650856976 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25088] ppid=25080 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 19920 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 474994085 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645530183792 139646061808258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25089] ppid=25080 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474994086 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645529129760 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25090] ppid=25080 vsize=15151156 memory=800 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474994086 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645528077424 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25091] ppid=25080 vsize=15151156 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645527025744 139646061815707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25092] ppid=25080 vsize=15151156 memory=1760 CPUtime=0.28 cores=0,2,4,6
/proc/25082/task/25092/stat : 25092 (java) R 25080 25080 19920 0 -1 4202560 1620 0 0 0 28 0 0 0 20 0 15 0 474994089 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645525963408 139646040974212 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25093] ppid=25080 vsize=15151156 memory=111636 CPUtime=0.35 cores=0,2,4,6
/proc/25082/task/25093/stat : 25093 (java) R 25080 25080 19920 0 -1 1077944384 1023 0 0 0 35 0 0 0 20 0 15 0 474994089 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645524912144 139646061807317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25094] ppid=25080 vsize=15151156 memory=808 CPUtime=0.42 cores=0,2,4,6
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 19920 0 -1 1077944384 2630 0 0 0 42 0 0 0 20 0 15 0 474994089 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645523868528 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25095] ppid=25080 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474994089 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645522815968 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25096] ppid=25080 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474994089 15514783744 22603 33554432000 4194304 4196468 140720430319712 139645521762736 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91864 KiB

[startup+1.50073 s]
/proc/loadavg: 7.91 8.44 8.06 8/232 25096
/proc/meminfo: memFree=5672688/32770624 swapFree=66953200/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474994083 115843072 363 33554432000 4194304 5098028 140721519991648 140721519989752 140199295214204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11382784 140721519993686 140721519993945 140721519993945 140721519996870 0
/proc/25080/statm: 28282 363 305 221 0 87 0

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

/proc/25082/stat : 25082 (java) S 25080 25080 19920 0 -1 1077944320 117134 0 0 0 207455 73 0 0 20 0 19 0 474994083 15859793920 161692 33554432000 4194304 4196468 140720430319712 140720430302256 139646061797111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
/proc/25082/statm: 3872020 161692 3532 1 0 3833120 0
[pid=25082/tid=25083] ppid=25080 vsize=15488080 memory=646768 CPUtime=1.11 cores=0,2,4,6
/proc/25082/task/25083/stat : 25083 (java) S 25080 25080 19920 0 -1 1077944384 14434 0 0 0 106 5 0 0 20 0 19 0 474994083 15859793920 161692 33554432000 4194304 4196468 140720430319712 139646066037888 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25084] ppid=25080 vsize=15488080 memory=646768 CPUtime=0.29 cores=0,2,4,6
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 19920 0 -1 1077944384 4029 0 0 0 25 4 0 0 20 0 19 0 474994084 15859793920 161692 33554432000 4194304 4196468 140720430319712 139646031510416 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25085] ppid=25080 vsize=15488080 memory=881160 CPUtime=0.28 cores=0,2,4,6
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 19920 0 -1 1077944384 1568 0 0 0 24 4 0 0 20 0 19 0 474994084 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645652962064 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25086] ppid=25080 vsize=15488080 memory=865764 CPUtime=0.31 cores=0,2,4,6
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 19920 0 -1 1077944384 2563 0 0 0 26 5 0 0 20 0 19 0 474994084 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645651909776 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25087] ppid=25080 vsize=15488080 memory=806780 CPUtime=0.3 cores=0,2,4,6
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 19920 0 -1 1077944384 3226 0 0 0 25 5 0 0 20 0 19 0 474994084 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645650856976 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25088] ppid=25080 vsize=15488080 memory=799596 CPUtime=0.31 cores=0,2,4,6
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 19920 0 -1 1077944384 5397 0 0 0 11 20 0 0 20 0 19 0 474994085 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645530183792 139646061808258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25089] ppid=25080 vsize=15488080 memory=714492 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 19920 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474994086 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645529129824 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25090] ppid=25080 vsize=15488080 memory=27 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 19920 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 474994086 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645528077440 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25091] ppid=25080 vsize=15488080 memory=708832 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474994089 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645527025744 139646061815707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25092] ppid=25080 vsize=15488080 memory=671904 CPUtime=2.54 cores=0,2,4,6
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 19920 0 -1 1077944384 11620 0 0 0 253 1 0 0 20 0 19 0 474994089 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645525973616 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25093] ppid=25080 vsize=15488080 memory=646768 CPUtime=2.41 cores=0,2,4,6
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 19920 0 -1 1077944384 12297 0 0 0 240 1 0 0 20 0 19 0 474994089 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645524920816 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25094] ppid=25080 vsize=15488080 memory=646768 CPUtime=0.88 cores=0,2,4,6
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 19920 0 -1 1077944384 13636 0 0 0 87 1 0 0 20 0 19 0 474994089 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645523868528 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25095] ppid=25080 vsize=15488080 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474994089 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645522815968 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25096] ppid=25080 vsize=15488080 memory=30396 CPUtime=0.13 cores=0,2,4,6
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 19920 0 -1 1077944384 1409 0 0 0 0 13 0 0 20 0 19 0 474994089 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645521762736 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25749] ppid=25080 vsize=15488080 memory=660372 CPUtime=172.81 cores=0,2,4,6
/proc/25082/task/25749/stat : 25749 (java) R 25080 25080 19920 0 -1 4202560 1140 0 0 0 17281 0 0 0 20 0 19 0 475028919 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645506473088 139645704887854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25750] ppid=25080 vsize=15488080 memory=1452 CPUtime=172.53 cores=0,2,4,6
/proc/25082/task/25750/stat : 25750 (java) R 25080 25080 19920 0 -1 4202560 1821 0 0 0 17253 0 0 0 20 0 19 0 475028919 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645512782192 139645704623946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25751] ppid=25080 vsize=15488080 memory=646768 CPUtime=172.86 cores=0,2,4,6
/proc/25082/task/25751/stat : 25751 (java) R 25080 25080 19920 0 -1 4202560 1022 0 0 0 17286 0 0 0 20 0 19 0 475028919 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645504369064 139645704193356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25752] ppid=25080 vsize=15488080 memory=1452 CPUtime=172.56 cores=0,2,4,6
/proc/25082/task/25752/stat : 25752 (java) R 25080 25080 19920 0 -1 4202560 2389 0 0 0 17256 0 0 0 20 0 19 0 475028919 15859793920 161692 33554432000 4194304 4196468 140720430319712 139645509626448 139645705021985 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
Current children cumulated CPU time: 2075.28 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 648220 KiB

[startup+582.301 s]
/proc/loadavg: 8.73 8.67 8.36 9/237 25775
/proc/meminfo: memFree=6017332/32770624 swapFree=66953200/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474994083 115843072 363 33554432000 4194304 5098028 140721519991648 140721519989752 140199295214204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11382784 140721519993686 140721519993945 140721519993945 140721519996870 0
/proc/25080/statm: 28282 363 305 221 0 87 0
[pid=25082] ppid=25080 vsize=15488080 memory=303072 CPUtime=2313.19 cores=0,2,4,6
/proc/25082/stat : 25082 (java) S 25080 25080 19920 0 -1 1077944320 119253 0 0 0 231223 96 0 0 20 0 19 0 474994083 15859793920 75768 33554432000 4194304 4196468 140720430319712 140720430302256 139646061797111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
/proc/25082/statm: 3872020 75768 3532 1 0 3833120 0
[pid=25082/tid=25083] ppid=25080 vsize=15488080 memory=714492 CPUtime=1.11 cores=0,2,4,6
/proc/25082/task/25083/stat : 25083 (java) S 25080 25080 19920 0 -1 1077944384 14434 0 0 0 106 5 0 0 20 0 19 0 474994083 15859793920 75768 33554432000 4194304 4196468 140720430319712 139646066037888 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25084] ppid=25080 vsize=15488080 memory=27 CPUtime=0.48 cores=0,2,4,6
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 19920 0 -1 1077944384 4182 0 0 0 43 5 0 0 20 0 19 0 474994084 15859793920 75768 33554432000 4194304 4196468 140720430319712 139646031510416 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25085] ppid=25080 vsize=15488080 memory=614964 CPUtime=0.47 cores=0,2,4,6
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 19920 0 -1 1077944384 2194 0 0 0 42 5 0 0 20 0 19 0 474994084 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645652962064 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25086] ppid=25080 vsize=15488080 memory=601132 CPUtime=0.49 cores=0,2,4,6
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 19920 0 -1 1077944384 2684 0 0 0 44 5 0 0 20 0 19 0 474994084 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645651909776 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25087] ppid=25080 vsize=15488080 memory=465196 CPUtime=0.49 cores=0,2,4,6
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 19920 0 -1 1077944384 3447 0 0 0 44 5 0 0 20 0 19 0 474994084 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645650856976 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25088] ppid=25080 vsize=15488080 memory=299712 CPUtime=0.62 cores=0,2,4,6
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 19920 0 -1 1077944384 5700 0 0 0 21 41 0 0 20 0 19 0 474994085 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645530183792 139646061808258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25089] ppid=25080 vsize=15488080 memory=303072 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 19920 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474994086 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645529129824 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25090] ppid=25080 vsize=15488080 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 19920 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 474994086 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645528077440 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25091] ppid=25080 vsize=15488080 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474994089 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645527025744 139646061815707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25092] ppid=25080 vsize=15488080 memory=520 CPUtime=2.54 cores=0,2,4,6
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 19920 0 -1 1077944384 11622 0 0 0 253 1 0 0 20 0 19 0 474994089 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645525973616 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25093] ppid=25080 vsize=15488080 memory=1560 CPUtime=2.41 cores=0,2,4,6
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 19920 0 -1 1077944384 12300 0 0 0 240 1 0 0 20 0 19 0 474994089 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645524920816 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25094] ppid=25080 vsize=15488080 memory=1256 CPUtime=0.88 cores=0,2,4,6
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 19920 0 -1 1077944384 13647 0 0 0 87 1 0 0 20 0 19 0 474994089 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645523868528 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25095] ppid=25080 vsize=15488080 memory=1076 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474994089 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645522815968 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25096] ppid=25080 vsize=15488080 memory=298684 CPUtime=0.15 cores=0,2,4,6
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 19920 0 -1 1077944384 1427 0 0 0 0 15 0 0 20 0 19 0 474994089 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645521762736 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25749] ppid=25080 vsize=15488080 memory=1452 CPUtime=232.1 cores=0,2,4,6
/proc/25082/task/25749/stat : 25749 (java) R 25080 25080 19920 0 -1 4202560 1231 0 0 0 23210 0 0 0 20 0 19 0 475028919 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645506472848 139645704630007 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25750] ppid=25080 vsize=15488080 memory=3504 CPUtime=231.77 cores=0,2,4,6
/proc/25082/task/25750/stat : 25750 (java) R 25080 25080 19920 0 -1 4202560 1938 0 0 0 23177 0 0 0 20 0 19 0 475028919 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645512785232 139645704623892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25751] ppid=25080 vsize=15488080 memory=55248 CPUtime=232.04 cores=0,2,4,6
/proc/25082/task/25751/stat : 25751 (java) R 25080 25080 19920 0 -1 4202560 1217 0 0 0 23204 0 0 0 20 0 19 0 475028919 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645504369128 139645704887026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25752] ppid=25080 vsize=15488080 memory=33 CPUtime=231.69 cores=0,2,4,6
/proc/25082/task/25752/stat : 25752 (java) R 25080 25080 19920 0 -1 4202560 2647 0 0 0 23169 0 0 0 20 0 19 0 475028919 15859793920 75768 33554432000 4194304 4196468 140720430319712 139645509623656 139645705021804 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
Current children cumulated CPU time: 2313.19 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 304524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+604.201 s]
/proc/loadavg: 8.89 8.71 8.38 9/237 25775
/proc/meminfo: memFree=6013876/32770624 swapFree=66953200/67108860
[pid=25080] ppid=25077 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25080/stat : 25080 (xcsp3-exec) S 25077 25080 19920 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 474994083 115843072 363 33554432000 4194304 5098028 140721519991648 140721519989752 140199295214204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11382784 140721519993686 140721519993945 140721519993945 140721519996870 0
/proc/25080/statm: 28282 363 305 221 0 87 0
[pid=25082] ppid=25080 vsize=15488080 memory=306604 CPUtime=2400.33 cores=0,2,4,6
/proc/25082/stat : 25082 (java) S 25080 25080 19920 0 -1 1077944320 119273 0 0 0 239935 98 0 0 20 0 19 0 474994083 15859793920 76651 33554432000 4194304 4196468 140720430319712 140720430302256 139646061797111 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
/proc/25082/statm: 3872020 76651 3532 1 0 3833120 0
[pid=25082/tid=25083] ppid=25080 vsize=15488080 memory=15254861486763338 CPUtime=1.11 cores=0,2,4,6
/proc/25082/task/25083/stat : 25083 (java) S 25080 25080 19920 0 -1 1077944384 14434 0 0 0 106 5 0 0 20 0 19 0 474994083 15859793920 76651 33554432000 4194304 4196468 140720430319712 139646066037888 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25084] ppid=25080 vsize=15488080 memory=9580 CPUtime=0.5 cores=0,2,4,6
/proc/25082/task/25084/stat : 25084 (java) S 25080 25080 19920 0 -1 1077944384 4182 0 0 0 45 5 0 0 20 0 19 0 474994084 15859793920 76651 33554432000 4194304 4196468 140720430319712 139646031510416 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25085] ppid=25080 vsize=15488080 memory=1052 CPUtime=0.49 cores=0,2,4,6
/proc/25082/task/25085/stat : 25085 (java) S 25080 25080 19920 0 -1 1077944384 2196 0 0 0 44 5 0 0 20 0 19 0 474994084 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645652962064 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25086] ppid=25080 vsize=15488080 memory=776 CPUtime=0.5 cores=0,2,4,6
/proc/25082/task/25086/stat : 25086 (java) S 25080 25080 19920 0 -1 1077944384 2685 0 0 0 45 5 0 0 20 0 19 0 474994084 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645651909776 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25087] ppid=25080 vsize=15488080 memory=2832 CPUtime=0.5 cores=0,2,4,6
/proc/25082/task/25087/stat : 25087 (java) S 25080 25080 19920 0 -1 1077944384 3450 0 0 0 45 5 0 0 20 0 19 0 474994084 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645650856976 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25088] ppid=25080 vsize=15488080 memory=668 CPUtime=0.66 cores=0,2,4,6
/proc/25082/task/25088/stat : 25088 (java) S 25080 25080 19920 0 -1 1077944384 5701 0 0 0 23 43 0 0 20 0 19 0 474994085 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645530183792 139646061808258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25089] ppid=25080 vsize=15488080 memory=1256 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25089/stat : 25089 (java) S 25080 25080 19920 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474994086 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645529129824 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25090] ppid=25080 vsize=15488080 memory=1076 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25090/stat : 25090 (java) S 25080 25080 19920 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 474994086 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645528077440 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25091] ppid=25080 vsize=15488080 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25091/stat : 25091 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474994089 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645527025744 139646061815707 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25092] ppid=25080 vsize=15488080 memory=30396 CPUtime=2.54 cores=0,2,4,6
/proc/25082/task/25092/stat : 25092 (java) S 25080 25080 19920 0 -1 1077944384 11622 0 0 0 253 1 0 0 20 0 19 0 474994089 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645525973616 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25093] ppid=25080 vsize=15488080 memory=14056 CPUtime=2.41 cores=0,2,4,6
/proc/25082/task/25093/stat : 25093 (java) S 25080 25080 19920 0 -1 1077944384 12300 0 0 0 240 1 0 0 20 0 19 0 474994089 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645524920816 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25094] ppid=25080 vsize=15488080 memory=2116 CPUtime=0.88 cores=0,2,4,6
/proc/25082/task/25094/stat : 25094 (java) S 25080 25080 19920 0 -1 1077944384 13647 0 0 0 87 1 0 0 20 0 19 0 474994089 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645523868528 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25095] ppid=25080 vsize=15488080 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25082/task/25095/stat : 25095 (java) S 25080 25080 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474994089 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645522815968 139646061807317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25096] ppid=25080 vsize=15488080 memory=14008 CPUtime=0.16 cores=0,2,4,6
/proc/25082/task/25096/stat : 25096 (java) S 25080 25080 19920 0 -1 1077944384 1427 0 0 0 0 16 0 0 20 0 19 0 474994089 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645521762736 139646061808258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25749] ppid=25080 vsize=15488080 memory=30396 CPUtime=253.83 cores=0,2,4,6
/proc/25082/task/25749/stat : 25749 (java) R 25080 25080 19920 0 -1 4202560 1234 0 0 0 25383 0 0 0 20 0 19 0 475028919 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645506473080 139645706993858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25750] ppid=25080 vsize=15488080 memory=14056 CPUtime=253.62 cores=0,2,4,6
/proc/25082/task/25750/stat : 25750 (java) R 25080 25080 19920 0 -1 4202560 1944 0 0 0 25362 0 0 0 20 0 19 0 475028919 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645512784944 139645704624398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25751] ppid=25080 vsize=15488080 memory=2116 CPUtime=253.73 cores=0,2,4,6
/proc/25082/task/25751/stat : 25751 (java) R 25080 25080 19920 0 -1 4202560 1221 0 0 0 25373 0 0 0 20 0 19 0 475028919 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645504368912 139645699001440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
[pid=25082/tid=25752] ppid=25080 vsize=15488080 memory=6791534058613427641 CPUtime=253.45 cores=0,2,4,6
/proc/25082/task/25752/stat : 25752 (java) R 25080 25080 19920 0 -1 4202560 2647 0 0 0 25345 0 0 0 20 0 19 0 475028919 15859793920 76651 33554432000 4194304 4196468 140720430319712 139645509623720 139645705021811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17551360 140720430326747 140720430326922 140720430326922 140720430329807 0
Current children cumulated CPU time: 2400.33 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 308056 KiB

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

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

[startup+604.278 s]
# the end of solver process 25082 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.65 s, system=0.989324 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): 604.278
CPU time (s): 2400.64
CPU user time (s): 2399.65
CPU system time (s): 0.989324
CPU usage (%): 397.274
Max. virtual memory (cumulated for all children) (KiB): 15601208
Max. memory (cumulated for all children) (KiB): 1128760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.65
system time used= 0.989324
maximum resident set size= 1129356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121019
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21905
involuntary context switches= 46433


# summary of solver processes directly reported to runsolver:
#   pid: 25080,25082
#   total CPU time (s): 2400.64
#   total CPU user time (s): 2399.65
#   total CPU system time (s): 0.989324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.86875 second user time and 6.61392 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml
MD5SUM	681710e79c8377b968f88ec392af942b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	770
Best CPU time to get the best result obtained on this benchmark	2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables	1482
Number of constraints	1443
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":38},{"size":2,"count":1406},{"size":101,"count":37}]
Minimum variable degree	0
Maximum variable degree	73
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":38},{"degree":2,"count":74},{"degree":4,"count":1332},{"degree":73,"count":37}]
Minimum constraint arity	1
Maximum constraint arity	37
Distribution of constraint arities	[{"arity":1,"count":37},{"arity":3,"count":1332},{"arity":37,"count":74}]
Number of extensional constraints	0
Number of intensional constraints	37
Distribution of constraint types	[{"type":"intension","count":37},{"type":"sum","count":1332},{"type":"count","count":74}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4404191

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