2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	SAT (TO)	859	19769.6	2520.2

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407191-1569347807.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407191-1569347807.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.05/1.24	c solve instance...
15.68/2.71	o 2638 
15.68/2.72	o 2637 
15.68/2.73	o 2555 
15.68/2.73	o 2538 
15.68/2.76	o 1983 
15.68/2.77	o 1979 
15.68/2.79	o 1970 
16.27/2.81	o 1968 
16.27/2.82	o 1965 
16.27/2.84	o 1960 
16.27/2.89	o 1957 
17.03/2.97	o 1935 
17.03/2.98	o 1901 
17.84/3.02	o 1874 
17.84/3.02	o 1843 
17.84/3.07	o 1825 
19.29/3.21	o 1805 
19.29/3.22	o 1796 
19.29/3.24	o 1782 
19.29/3.28	o 1764 
20.82/3.49	o 1761 
20.82/3.50	o 1735 
21.55/3.51	o 1733 
21.55/3.52	o 1702 
21.55/3.53	o 1698 
21.55/3.54	o 1693 
21.55/3.56	o 1686 
21.55/3.57	o 1683 
21.55/3.57	o 1676 
21.55/3.58	o 1674 
23.07/3.74	o 1667 
23.07/3.76	o 1648 
25.46/4.02	o 1623 
25.46/4.02	o 1610 
25.46/4.03	o 1609 
25.46/4.05	o 1597 
26.80/4.27	o 1529 
26.80/4.28	o 1523 
27.60/4.32	o 1504 
27.60/4.38	o 1496 
27.60/4.39	o 1487 
30.69/4.73	o 1467 
30.69/4.73	o 1466 
30.69/4.77	o 1462 
32.18/4.99	o 1460 
33.04/5.06	o 1450 
34.52/5.22	o 1436 
34.52/5.24	o 1409 
34.52/5.25	o 1408 
34.52/5.25	o 1372 
34.52/5.27	o 1368 
35.23/5.36	o 1353 
36.81/5.51	o 1341 
37.58/5.69	o 1260 
38.43/5.71	o 1254 
38.43/5.72	o 1248 
38.43/5.75	o 1238 
51.85/7.48	o 1191 
53.43/7.60	o 1190 
55.00/7.80	o 1183 
55.00/7.81	o 1182 
55.00/7.87	o 1174 
58.14/8.26	o 1172 
58.91/8.37	o 1161 
64.54/9.06	o 1134 
73.28/10.13	o 1118 
74.78/10.33	o 1103 
78.76/10.86	o 1102 
96.36/13.09	o 1094 
109.85/14.71	o 1085 
109.85/14.72	o 1036 
109.85/14.74	o 1028 
118.49/15.86	o 1024 
129.39/17.29	o 1023 
136.61/18.12	o 1007 
136.61/18.15	o 996 
153.27/20.21	o 995 
210.65/27.46	o 982 
217.82/28.31	o 975 
342.24/43.98	o 973 
363.71/46.67	o 949 
467.42/59.68	o 927 
539.20/68.60	o 905 
1047.96/132.51	o 902 
1084.64/137.16	o 896 
1643.11/207.25	o 881 
2280.98/287.29	o 875 
4652.29/585.54	o 873 
5594.02/704.74	o 869 
10651.65/1347.88	o 861 
13197.19/1681.74	o 860 
15805.60/2015.59	o 859 
19768.77/2520.07	s SATISFIABLE
19768.77/2520.07	v <instantiation>
19768.77/2520.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[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>
19768.77/2520.07	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 59 96 47 17 55 50 37 55 91 33 80 39 87 17 100 26 68 52 5 26 68 97 23 25 38 38 77 56 93 25 65 100 2 74 36 82 94 </values>
19768.77/2520.07	v </instantiation>
19768.77/2520.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 (13545 MiB free)
  memory of node 1: 16384 MiB (12041 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407191-1569347807/watcher-4407191-1569347807 -o /var/tmp/evaluation-result-4407191-1569347807/solver-4407191-1569347807 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569343996-5032 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1881490850 HOME/instance-4407191-1569347807.xml 

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

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


[startup+0.100563 s]*
/proc/loadavg: 8.10 7.93 7.98 3/210 5283
/proc/meminfo: memFree=26184404/32770624 swapFree=66956848/67108860
[pid=5262] ppid=5259 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5262/stat : 5262 (xcsp3-exec) S 5259 5262 5005 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511038429 115843072 362 33554432000 4194304 5098028 140733711045040 140733711043144 140271815643772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30691328 140733711053649 140733711053909 140733711053909 140733711056838 0
/proc/5262/statm: 28282 362 304 221 0 87 0
[pid=5264] ppid=5262 vsize=28227396 memory=29004 CPUtime=0.12 cores=0-7
/proc/5264/stat : 5264 (java) S 5262 5262 5005 0 -1 1077944320 5691 0 0 0 10 2 0 0 20 0 20 0 511038429 28904853504 7251 33554432000 4194304 4196468 140723003135856 140723003118400 140372762803959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
/proc/5264/statm: 7056849 7251 3128 1 0 7019032 0
[pid=5264/tid=5265] ppid=5262 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/5264/task/5265/stat : 5265 (java) R 5262 5262 5005 0 -1 4202560 3615 0 0 0 7 1 0 0 20 0 20 0 511038429 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372767029920 140372746884446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5266] ppid=5262 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/5264/task/5266/stat : 5266 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372715424912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5267] ppid=5262 vsize=28227396 memory=140383502898816 CPUtime=0 cores=0-7
/proc/5264/task/5267/stat : 5267 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372714372112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5268] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5268/stat : 5268 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372713319312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5269] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5269/stat : 5269 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372712266512 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5270] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5270/stat : 5270 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372711213712 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5271] ppid=5262 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5271/stat : 5271 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372710160912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5272] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5272/stat : 5272 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372709108112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5273] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5273/stat : 5273 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 7251 33554432000 4194304 4196468 140723003135856 140372708055312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5274] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5274/stat : 5274 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038432 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370891291504 140372762815106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5275] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5275/stat : 5275 (java) S 5262 5262 5005 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511038432 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370890237472 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5276] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5276/stat : 5276 (java) S 5262 5262 5005 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511038432 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370889184624 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5277] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5277/stat : 5277 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370888132944 140372762822555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5278] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5278/stat : 5278 (java) S 5262 5262 5005 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370887080304 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5279] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5279/stat : 5279 (java) R 5262 5262 5005 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370886027504 140372762815106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5280] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5280/stat : 5280 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370884974704 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5281] ppid=5262 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5264/task/5281/stat : 5281 (java) R 5262 5262 5005 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 20 0 511038435 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370883921904 140372755521111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5282] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5282/stat : 5282 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370882870368 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5283] ppid=5262 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5283/stat : 5283 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 7251 33554432000 4194304 4196468 140723003135856 140370881817648 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30452 KiB

[startup+0.210443 s]*
/proc/loadavg: 8.10 7.93 7.98 2/210 5283
/proc/meminfo: memFree=26171040/32770624 swapFree=66956848/67108860
[pid=5262] ppid=5259 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5262/stat : 5262 (xcsp3-exec) S 5259 5262 5005 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511038429 115843072 362 33554432000 4194304 5098028 140733711045040 140733711043144 140271815643772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30691328 140733711053649 140733711053909 140733711053909 140733711056838 0
/proc/5262/statm: 28282 362 304 221 0 87 0
[pid=5264] ppid=5262 vsize=28227396 memory=41008 CPUtime=0.33 cores=0-7
/proc/5264/stat : 5264 (java) S 5262 5262 5005 0 -1 1077944320 9498 0 0 0 30 3 0 0 20 0 20 0 511038429 28904853504 10252 33554432000 4194304 4196468 140723003135856 140723003118400 140372762803959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
/proc/5264/statm: 7056849 10252 3298 1 0 7019032 0
[pid=5264/tid=5265] ppid=5262 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/5264/task/5265/stat : 5265 (java) R 5262 5262 5005 0 -1 4202560 6648 0 0 0 17 2 0 0 20 0 20 0 511038429 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372767035872 140372748485051 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5266] ppid=5262 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/5264/task/5266/stat : 5266 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372715424912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5267] ppid=5262 vsize=28227396 memory=4050620498128049824 CPUtime=0 cores=0-7
/proc/5264/task/5267/stat : 5267 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372714372112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5268] ppid=5262 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5268/stat : 5268 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372713319312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5269] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5269/stat : 5269 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372712266512 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5270] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5270/stat : 5270 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372711213712 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5271] ppid=5262 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5271/stat : 5271 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372710160912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5272] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5272/stat : 5272 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372709108112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5273] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5273/stat : 5273 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511038430 28904853504 10252 33554432000 4194304 4196468 140723003135856 140372708055312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5274] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5274/stat : 5274 (java) S 5262 5262 5005 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511038432 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370891291504 140372762815106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5275] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5275/stat : 5275 (java) S 5262 5262 5005 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511038432 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370890237472 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5276] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5276/stat : 5276 (java) S 5262 5262 5005 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511038432 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370889184624 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5277] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5277/stat : 5277 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370888132944 140372762822555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5278] ppid=5262 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5264/task/5278/stat : 5278 (java) R 5262 5262 5005 0 -1 1077944384 511 0 0 0 2 0 0 0 20 0 20 0 511038435 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370887080304 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5279] ppid=5262 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/5264/task/5279/stat : 5279 (java) S 5262 5262 5005 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 511038435 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370886027504 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5280] ppid=5262 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5280/stat : 5280 (java) S 5262 5262 5005 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370884974704 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5281] ppid=5262 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/5264/task/5281/stat : 5281 (java) R 5262 5262 5005 0 -1 4202560 752 0 0 0 7 0 0 0 20 0 20 0 511038435 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370883921712 140372741722783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5282] ppid=5262 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5282/stat : 5282 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370882870368 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5283] ppid=5262 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5283/stat : 5283 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038435 28904853504 10252 33554432000 4194304 4196468 140723003135856 140370881817648 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42456 KiB

[startup+0.311523 s]*
/proc/loadavg: 8.10 7.93 7.98 3/210 5283
/proc/meminfo: memFree=26163536/32770624 swapFree=66956848/67108860
[pid=5262] ppid=5259 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5262/stat : 5262 (xcsp3-exec) S 5259 5262 5005 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511038429 115843072 362 33554432000 4194304 5098028 140733711045040 140733711043144 140271815643772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30691328 140733711053649 140733711053909 140733711053909 140733711056838 0
/proc/5262/statm: 28282 362 304 221 0 87 0
[pid=5264] ppid=5262 vsize=28231652 memory=49872 CPUtime=0.52 cores=0-7
/proc/5264/stat : 5264 (java) S 5262 5262 5005 0 -1 1077944320 10827 0 0 0 48 4 0 0 20 0 20 0 511038429 28909211648 12468 33554432000 4194304 4196468 140723003135856 140723003118400 140372762803959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
/proc/5264/statm: 7057913 12468 3355 1 0 7019032 0
[pid=5264/tid=5265] ppid=5262 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/5264/task/5265/stat : 5265 (java) R 5262 5262 5005 0 -1 4202560 7791 0 0 0 26 3 0 0 20 0 20 0 511038429 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372767037744 140372762825885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5266] ppid=5262 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5266/stat : 5266 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372715424912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5267] ppid=5262 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5267/stat : 5267 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372714372112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5268] ppid=5262 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5268/stat : 5268 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372713319312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5269] ppid=5262 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5269/stat : 5269 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372712266512 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5270] ppid=5262 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5270/stat : 5270 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372711213712 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5271] ppid=5262 vsize=28231652 memory=140383354972847 CPUtime=0 cores=0-7
/proc/5264/task/5271/stat : 5271 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372710160912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5272] ppid=5262 vsize=28231652 memory=140383354975152 CPUtime=0 cores=0-7
/proc/5264/task/5272/stat : 5272 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372709108112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5273] ppid=5262 vsize=28231652 memory=140383354977456 CPUtime=0 cores=0-7
/proc/5264/task/5273/stat : 5273 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511038430 28909211648 12497 33554432000 4194304 4196468 140723003135856 140372708055312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5274] ppid=5262 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5274/stat : 5274 (java) S 5262 5262 5005 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511038432 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370891291504 140372762815106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5275] ppid=5262 vsize=28231652 memory=280766709968784 CPUtime=0 cores=0-7
/proc/5264/task/5275/stat : 5275 (java) S 5262 5262 5005 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511038432 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370890237472 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5276] ppid=5262 vsize=28231652 memory=280766709966480 CPUtime=0 cores=0-7
/proc/5264/task/5276/stat : 5276 (java) S 5262 5262 5005 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511038432 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370889184624 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5277] ppid=5262 vsize=28231652 memory=280766709973392 CPUtime=0 cores=0-7
/proc/5264/task/5277/stat : 5277 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038435 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370888132944 140372762822555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5278] ppid=5262 vsize=28231652 memory=280766709914672 CPUtime=0.04 cores=0-7
/proc/5264/task/5278/stat : 5278 (java) R 5262 5262 5005 0 -1 4202560 604 0 0 0 4 0 0 0 20 0 20 0 511038435 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370887070688 140372747910042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5279] ppid=5262 vsize=28231652 memory=280766709987216 CPUtime=0.02 cores=0-7
/proc/5264/task/5279/stat : 5279 (java) S 5262 5262 5005 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 20 0 511038435 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370886027504 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5280] ppid=5262 vsize=28231652 memory=280766709994128 CPUtime=0.02 cores=0-7
/proc/5264/task/5280/stat : 5280 (java) S 5262 5262 5005 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 20 0 511038435 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370884974704 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5281] ppid=5262 vsize=28231652 memory=280766709991824 CPUtime=0.12 cores=0-7
/proc/5264/task/5281/stat : 5281 (java) S 5262 5262 5005 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 20 0 511038435 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370883921904 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5282] ppid=5262 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5282/stat : 5282 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511038435 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370882870368 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5283] ppid=5262 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5283/stat : 5283 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038435 28909211648 12497 33554432000 4194304 4196468 140723003135856 140370881817648 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51320 KiB

[startup+0.701025 s]
/proc/loadavg: 8.10 7.93 7.98 4/210 5283
/proc/meminfo: memFree=26142192/32770624 swapFree=66956848/67108860
[pid=5262] ppid=5259 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5262/stat : 5262 (xcsp3-exec) S 5259 5262 5005 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511038429 115843072 362 33554432000 4194304 5098028 140733711045040 140733711043144 140271815643772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30691328 140733711053649 140733711053909 140733711053909 140733711056838 0
/proc/5262/statm: 28282 362 304 221 0 87 0
[pid=5264] ppid=5262 vsize=28233776 memory=94592 CPUtime=1.85 cores=0-7
/proc/5264/stat : 5264 (java) S 5262 5262 5005 0 -1 1077944320 15795 0 0 0 177 8 0 0 20 0 20 0 511038429 28911386624 23648 33554432000 4194304 4196468 140723003135856 140723003118400 140372762803959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
/proc/5264/statm: 7058444 23648 3454 1 0 7019544 0
[pid=5264/tid=5265] ppid=5262 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/5264/task/5265/stat : 5265 (java) R 5262 5262 5005 0 -1 4202560 9239 0 0 0 63 5 0 0 20 0 20 0 511038429 28911386624 23648 33554432000 4194304 4196468 140723003135856 140372767038944 140372762815894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5266] ppid=5262 vsize=28233776 memory=140383355183984 CPUtime=0 cores=0-7
/proc/5264/task/5266/stat : 5266 (java) S 5262 5262 5005 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511038430 28911386624 23648 33554432000 4194304 4196468 140723003135856 140372715424912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5267] ppid=5262 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5267/stat : 5267 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28911386624 23648 33554432000 4194304 4196468 140723003135856 140372714372112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5268] ppid=5262 vsize=28233776 memory=784 CPUtime=0 cores=0-7
/proc/5264/task/5268/stat : 5268 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511038430 28911386624 23648 33554432000 4194304 4196468 140723003135856 140372713319312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0

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

[pid=5264/tid=6196] ppid=5262 vsize=28768336 memory=7552 CPUtime=473.29 cores=0-7
/proc/5264/task/6196/stat : 6196 (java) S 5262 5262 5005 0 -1 1077944384 6079 0 0 0 47327 2 0 0 20 0 28 0 511239988 29458776064 440723 33554432000 4194304 4196468 140723003135856 140370563122304 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6197] ppid=5262 vsize=28768336 memory=1448 CPUtime=472.8 cores=0-7
/proc/5264/task/6197/stat : 6197 (java) S 5262 5262 5005 0 -1 1077944384 22812 0 0 0 47254 26 0 0 20 0 28 0 511239989 29458776064 440723 33554432000 4194304 4196468 140723003135856 140370558910528 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
Current children cumulated CPU time: 19629 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1764340 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.88 8.21 8.19 10/218 6237
/proc/meminfo: memFree=24381488/32770624 swapFree=66956852/67108860
[pid=5262] ppid=5259 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/5262/stat : 5262 (xcsp3-exec) S 5259 5262 5005 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 511038429 115843072 362 33554432000 4194304 5098028 140733711045040 140733711043144 140271815643772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30691328 140733711053649 140733711053909 140733711053909 140733711056838 0
/proc/5262/statm: 28282 362 304 221 0 87 0
[pid=5264] ppid=5262 vsize=28768336 memory=1826576 CPUtime=19768.8 cores=0-7
/proc/5264/stat : 5264 (java) S 5262 5262 5005 0 -1 1077944320 1038489 0 0 0 1973662 3215 0 0 20 0 28 0 511038429 29458776064 456644 33554432000 4194304 4196468 140723003135856 140723003118400 140372762803959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
/proc/5264/statm: 7192084 456644 3555 1 0 7153184 0
[pid=5264/tid=5265] ppid=5262 vsize=28768336 memory=25188 CPUtime=1.31 cores=0-7
/proc/5264/task/5265/stat : 5265 (java) S 5262 5262 5005 0 -1 1077944384 13716 0 0 0 123 8 0 0 20 0 28 0 511038429 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372767044736 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5266] ppid=5262 vsize=28768336 memory=14056 CPUtime=9.27 cores=0-7
/proc/5264/task/5266/stat : 5266 (java) S 5262 5262 5005 0 -1 1077944384 36616 0 0 0 886 41 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372715424912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5267] ppid=5262 vsize=28768336 memory=2116 CPUtime=9.25 cores=0-7
/proc/5264/task/5267/stat : 5267 (java) S 5262 5262 5005 0 -1 1077944384 43509 0 0 0 880 45 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372714372112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5268] ppid=5262 vsize=28768336 memory=4872558044660077418 CPUtime=9.24 cores=0-7
/proc/5264/task/5268/stat : 5268 (java) S 5262 5262 5005 0 -1 1077944384 35477 0 0 0 884 40 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372713319312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5269] ppid=5262 vsize=28768336 memory=280766709760240 CPUtime=9.29 cores=0-7
/proc/5264/task/5269/stat : 5269 (java) S 5262 5262 5005 0 -1 1077944384 40895 0 0 0 885 44 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372712266512 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5270] ppid=5262 vsize=28768336 memory=280766709760240 CPUtime=9.34 cores=0-7
/proc/5264/task/5270/stat : 5270 (java) S 5262 5262 5005 0 -1 1077944384 43419 0 0 0 891 43 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372711213712 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5271] ppid=5262 vsize=28768336 memory=280766709760240 CPUtime=9.27 cores=0-7
/proc/5264/task/5271/stat : 5271 (java) S 5262 5262 5005 0 -1 1077944384 42745 0 0 0 884 43 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372710160912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5272] ppid=5262 vsize=28768336 memory=280766709760240 CPUtime=9.41 cores=0-7
/proc/5264/task/5272/stat : 5272 (java) S 5262 5262 5005 0 -1 1077944384 35556 0 0 0 895 46 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372709108112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5273] ppid=5262 vsize=28768336 memory=280766709760240 CPUtime=9.31 cores=0-7
/proc/5264/task/5273/stat : 5273 (java) S 5262 5262 5005 0 -1 1077944384 42373 0 0 0 887 44 0 0 20 0 28 0 511038430 29458776064 456644 33554432000 4194304 4196468 140723003135856 140372708055312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5274] ppid=5262 vsize=28768336 memory=8292088525465231505 CPUtime=36.93 cores=0-7
/proc/5264/task/5274/stat : 5274 (java) S 5262 5262 5005 0 -1 1077944384 159123 0 0 0 1394 2299 0 0 20 0 28 0 511038432 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370891291504 140372762815106 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5275] ppid=5262 vsize=28768336 memory=280766709763600 CPUtime=0 cores=0-7
/proc/5264/task/5275/stat : 5275 (java) S 5262 5262 5005 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 511038432 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370890237536 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5276] ppid=5262 vsize=28768336 memory=280766709760240 CPUtime=0 cores=0-7
/proc/5264/task/5276/stat : 5276 (java) S 5262 5262 5005 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511038432 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370889184640 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5277] ppid=5262 vsize=28768336 memory=280766709760240 CPUtime=0 cores=0-7
/proc/5264/task/5277/stat : 5277 (java) S 5262 5262 5005 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511038435 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370888132944 140372762822555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5278] ppid=5262 vsize=28768336 memory=1548 CPUtime=2.3 cores=0-7
/proc/5264/task/5278/stat : 5278 (java) S 5262 5262 5005 0 -1 1077944384 11337 0 0 0 227 3 0 0 20 0 28 0 511038435 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370887080304 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5279] ppid=5262 vsize=28768336 memory=7552 CPUtime=2.34 cores=0-7
/proc/5264/task/5279/stat : 5279 (java) S 5262 5262 5005 0 -1 1077944384 11853 0 0 0 231 3 0 0 20 0 28 0 511038435 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370886027504 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5280] ppid=5262 vsize=28768336 memory=3608 CPUtime=2.28 cores=0-7
/proc/5264/task/5280/stat : 5280 (java) S 5262 5262 5005 0 -1 1077944384 13232 0 0 0 226 2 0 0 20 0 28 0 511038435 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370884974704 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5281] ppid=5262 vsize=28768336 memory=616 CPUtime=0.97 cores=0-7
/proc/5264/task/5281/stat : 5281 (java) S 5262 5262 5005 0 -1 1077944384 13541 0 0 0 93 4 0 0 20 0 28 0 511038435 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370883921904 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5282] ppid=5262 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/5264/task/5282/stat : 5282 (java) S 5262 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511038435 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370882870368 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5283] ppid=5262 vsize=28768336 memory=1620 CPUtime=0.75 cores=0-7
/proc/5264/task/5283/stat : 5283 (java) S 5262 5262 5005 0 -1 1077944384 8504 0 0 0 9 66 0 0 20 0 28 0 511038435 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370881817648 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6190] ppid=5262 vsize=28768336 memory=1136 CPUtime=491.33 cores=0-7
/proc/5264/task/6190/stat : 6190 (java) R 5262 5262 5005 0 -1 4202560 8420 0 0 0 49129 4 0 0 20 0 28 0 511239988 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370554710320 140372374259796 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6191] ppid=5262 vsize=28768336 memory=1072 CPUtime=490.39 cores=0-7
/proc/5264/task/6191/stat : 6191 (java) R 5262 5262 5005 0 -1 4202560 6496 0 0 0 49036 3 0 0 20 0 28 0 511239988 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370874696584 140372373418094 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6192] ppid=5262 vsize=28768336 memory=6196 CPUtime=489 cores=0-7
/proc/5264/task/6192/stat : 6192 (java) R 5262 5262 5005 0 -1 4202560 8677 0 0 0 48895 5 0 0 20 0 28 0 511239988 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370557858568 140372373282234 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6193] ppid=5262 vsize=28768336 memory=784 CPUtime=498.67 cores=0-7
/proc/5264/task/6193/stat : 6193 (java) R 5262 5262 5005 0 -1 4202560 7272 0 0 0 49860 7 0 0 20 0 28 0 511239988 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370559962928 140372372110400 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6194] ppid=5262 vsize=28768336 memory=1448 CPUtime=493.29 cores=0-7
/proc/5264/task/6194/stat : 6194 (java) R 5262 5262 5005 0 -1 4202560 20654 0 0 0 49311 18 0 0 20 0 28 0 511239988 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370562068392 140372372110046 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6195] ppid=5262 vsize=28768336 memory=1826576 CPUtime=492.42 cores=0-7
/proc/5264/task/6195/stat : 6195 (java) R 5262 5262 5005 0 -1 4202560 97610 0 0 0 49153 89 0 0 20 0 28 0 511239988 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370561015240 140372372980992 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6196] ppid=5262 vsize=28768336 memory=1620 CPUtime=490.7 cores=0-7
/proc/5264/task/6196/stat : 6196 (java) R 5262 5262 5005 0 -1 4202560 6455 0 0 0 49068 2 0 0 20 0 28 0 511239988 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370563122456 140372747142842 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6197] ppid=5262 vsize=28768336 memory=1548 CPUtime=490.02 cores=0-7
/proc/5264/task/6197/stat : 6197 (java) R 5262 5262 5005 0 -1 4202560 23185 0 0 0 48975 27 0 0 20 0 28 0 511239989 29458776064 456644 33554432000 4194304 4196468 140723003135856 140370558910936 140372369625543 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
Current children cumulated CPU time: 19768.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1828024 KiB

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

[startup+2520.04 s]
# the end of solver process 5262 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.0006 s, system=0.0018 s

[startup+2520.2 s]
# the end of solver process 5264 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19737.4 s, system=32.2462 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

[startup+2520.13 s]*
/proc/loadavg: 7.88 8.21 8.19 3/217 6239
/proc/meminfo: memFree=24381732/32770624 swapFree=66956852/67108860
[pid=5264] ppid=5259 vsize=28901464 memory=1826768 CPUtime=19769.5 cores=0-7
/proc/5264/stat : 5264 (java) S 5259 5262 5005 0 -1 1077944320 1038780 0 0 0 1973732 3219 0 0 20 0 28 0 511038429 29595099136 456692 33554432000 4194304 4196468 140723003135856 140723003118400 140372762803959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
/proc/5264/statm: 7225366 456692 3555 1 0 7186466 0
[pid=5264/tid=5265] ppid=5259 vsize=28901464 memory=8317482817917895235 CPUtime=1.31 cores=0-7
/proc/5264/task/5265/stat : 5265 (java) S 5259 5262 5005 0 -1 1077944384 13716 0 0 0 123 8 0 0 20 0 28 0 511038429 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372767044736 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5266] ppid=5259 vsize=28901464 memory=4872558044660077418 CPUtime=9.27 cores=0-7
/proc/5264/task/5266/stat : 5266 (java) S 5259 5262 5005 0 -1 1077944384 36616 0 0 0 886 41 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372715424912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5267] ppid=5259 vsize=28901464 memory=4872558044660077418 CPUtime=9.25 cores=0-7
/proc/5264/task/5267/stat : 5267 (java) S 5259 5262 5005 0 -1 1077944384 43509 0 0 0 880 45 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372714372112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5268] ppid=5259 vsize=28901464 memory=1160 CPUtime=9.24 cores=0-7
/proc/5264/task/5268/stat : 5268 (java) S 5259 5262 5005 0 -1 1077944384 35477 0 0 0 884 40 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372713319312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5269] ppid=5259 vsize=28901464 memory=1448 CPUtime=9.29 cores=0-7
/proc/5264/task/5269/stat : 5269 (java) S 5259 5262 5005 0 -1 1077944384 40895 0 0 0 885 44 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372712266512 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5270] ppid=5259 vsize=28901464 memory=1826576 CPUtime=9.34 cores=0-7
/proc/5264/task/5270/stat : 5270 (java) S 5259 5262 5005 0 -1 1077944384 43419 0 0 0 891 43 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372711213712 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5271] ppid=5259 vsize=28901464 memory=288230574492221466 CPUtime=9.27 cores=0-7
/proc/5264/task/5271/stat : 5271 (java) S 5259 5262 5005 0 -1 1077944384 42745 0 0 0 884 43 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372710160912 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5272] ppid=5259 vsize=28901464 memory=288230621803970871 CPUtime=9.41 cores=0-7
/proc/5264/task/5272/stat : 5272 (java) S 5259 5262 5005 0 -1 1077944384 35556 0 0 0 895 46 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372709108112 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5273] ppid=5259 vsize=28901464 memory=15261445554178426 CPUtime=9.31 cores=0-7
/proc/5264/task/5273/stat : 5273 (java) S 5259 5262 5005 0 -1 1077944384 42373 0 0 0 887 44 0 0 20 0 28 0 511038430 29595099136 456692 33554432000 4194304 4196468 140723003135856 140372708055312 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5274] ppid=5259 vsize=28901464 memory=928 CPUtime=36.98 cores=0-7
/proc/5264/task/5274/stat : 5274 (java) R 5259 5262 5005 0 -1 4202560 159123 0 0 0 1395 2303 0 0 20 0 28 0 511038432 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370891291504 140372755432167 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5275] ppid=5259 vsize=28901464 memory=1772 CPUtime=0 cores=0-7
/proc/5264/task/5275/stat : 5275 (java) S 5259 5262 5005 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 511038432 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370890237536 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5276] ppid=5259 vsize=28901464 memory=900 CPUtime=0 cores=0-7
/proc/5264/task/5276/stat : 5276 (java) S 5259 5262 5005 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 511038432 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370889184640 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5277] ppid=5259 vsize=28901464 memory=1444 CPUtime=0 cores=0-7
/proc/5264/task/5277/stat : 5277 (java) S 5259 5262 5005 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 28 0 511038435 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370888132000 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5278] ppid=5259 vsize=28901464 memory=1976 CPUtime=2.3 cores=0-7
/proc/5264/task/5278/stat : 5278 (java) S 5259 5262 5005 0 -1 1077944384 11337 0 0 0 227 3 0 0 20 0 28 0 511038435 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370887080304 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5279] ppid=5259 vsize=28901464 memory=1448 CPUtime=2.34 cores=0-7
/proc/5264/task/5279/stat : 5279 (java) S 5259 5262 5005 0 -1 1077944384 11853 0 0 0 231 3 0 0 20 0 28 0 511038435 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370886027504 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5280] ppid=5259 vsize=28901464 memory=1785572 CPUtime=2.28 cores=0-7
/proc/5264/task/5280/stat : 5280 (java) S 5259 5262 5005 0 -1 1077944384 13232 0 0 0 226 2 0 0 20 0 28 0 511038435 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370884974704 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5281] ppid=5259 vsize=28901464 memory=2116 CPUtime=0.97 cores=0-7
/proc/5264/task/5281/stat : 5281 (java) S 5259 5262 5005 0 -1 1077944384 13541 0 0 0 93 4 0 0 20 0 28 0 511038435 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370883921904 140372762815106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=5282] ppid=5259 vsize=28901464 memory=1448 CPUtime=0 cores=0-7
/proc/5264/task/5282/stat : 5282 (java) S 5259 5262 5005 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511038435 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370882870368 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6190] ppid=5259 vsize=28901464 memory=8112282956445269571 CPUtime=491.4 cores=0-7
/proc/5264/task/6190/stat : 6190 (java) S 5259 5262 5005 0 -1 1077944384 8422 0 0 0 49136 4 0 0 20 0 28 0 511239988 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370554707920 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6191] ppid=5259 vsize=28901464 memory=25188 CPUtime=490.47 cores=0-7
/proc/5264/task/6191/stat : 6191 (java) S 5259 5262 5005 0 -1 1077944384 6496 0 0 0 49044 3 0 0 20 0 28 0 511239988 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370874695952 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6192] ppid=5259 vsize=28901464 memory=14056 CPUtime=489.07 cores=0-7
/proc/5264/task/6192/stat : 6192 (java) S 5259 5262 5005 0 -1 1077944384 8679 0 0 0 48902 5 0 0 20 0 28 0 511239988 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370557857792 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6193] ppid=5259 vsize=28901464 memory=2116 CPUtime=498.79 cores=0-7
/proc/5264/task/6193/stat : 6193 (java) R 5259 5262 5005 0 -1 4202560 7272 0 0 0 49872 7 0 0 20 0 28 0 511239988 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370559962928 140372372110457 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6194] ppid=5259 vsize=28901464 memory=280766711788368 CPUtime=493.39 cores=0-7
/proc/5264/task/6194/stat : 6194 (java) S 5259 5262 5005 0 -1 1077944384 20654 0 0 0 49321 18 0 0 20 0 28 0 511239988 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370562068256 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6195] ppid=5259 vsize=28901464 memory=111632 CPUtime=492.49 cores=0-7
/proc/5264/task/6195/stat : 6195 (java) S 5259 5262 5005 0 -1 1077944384 97610 0 0 0 49160 89 0 0 20 0 28 0 511239988 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370561015104 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6196] ppid=5259 vsize=28901464 memory=804 CPUtime=490.77 cores=0-7
/proc/5264/task/6196/stat : 6196 (java) S 5259 5262 5005 0 -1 1077944384 6457 0 0 0 49075 2 0 0 20 0 28 0 511239988 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370563121712 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6197] ppid=5259 vsize=28901464 memory=4096 CPUtime=490.1 cores=0-7
/proc/5264/task/6197/stat : 6197 (java) S 5259 5262 5005 0 -1 1077944384 23186 0 0 0 48983 27 0 0 20 0 28 0 511239989 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370558910800 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
[pid=5264/tid=6238] ppid=5259 vsize=28901464 memory=1804 CPUtime=0 cores=0-7
/proc/5264/task/6238/stat : 6238 (java) S 5259 5262 5005 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 28 0 511290431 29595099136 456692 33554432000 4194304 4196468 140723003135856 140370553660016 140372762814165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25620480 140723003139030 140723003139206 140723003139206 140723003142095 0
Current cumulated CPU time of completed processes: 0.0024 s
Current children cumulated CPU time: 19769.5 s
Current children cumulated vsize: 28901464 KiB
Current children cumulated memory: 1826768 KiB

Child status: 143
Real time (s): 2520.2
CPU time (s): 19769.6
CPU user time (s): 19737.4
CPU system time (s): 32.2462
CPU usage (%): 784.446
Max. virtual memory (cumulated for all children) (KiB): 28901464
Max. memory (cumulated for all children) (KiB): 2204840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19737.4
system time used= 32.2462
maximum resident set size= 2208604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1039354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158070
involuntary context switches= 217595


# summary of solver processes directly reported to runsolver:
#   pid: 5262,5264
#   total CPU time (s): 19769.6
#   total CPU user time (s): 19737.4
#   total CPU system time (s): 32.2462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.4924 second user time and 26.0966 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	2520.09
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 4407191

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