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-20	SAT (TO)	845	2520.5	634.292

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403891-1568989888.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403891-1568989888.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
2.79/1.06	c solve instance...
9.83/2.88	o 1983 
10.23/2.90	o 1979 
10.23/2.92	o 1970 
10.23/2.93	o 1968 
10.23/2.96	o 1965 
10.23/2.98	o 1960 
10.65/3.05	o 1957 
12.20/3.40	o 1952 
12.20/3.42	o 1943 
12.20/3.44	o 1942 
12.20/3.46	o 1863 
12.20/3.49	o 1854 
12.60/3.50	o 1799 
12.64/3.63	o 1796 
12.64/3.67	o 1778 
13.69/3.91	o 1773 
13.69/3.92	o 1763 
13.69/3.94	o 1732 
13.69/3.97	o 1713 
14.13/4.03	o 1707 
14.13/4.03	o 1690 
14.84/4.22	o 1660 
14.84/4.24	o 1654 
15.62/4.49	o 1648 
15.62/4.50	o 1642 
16.02/4.50	o 1637 
16.02/4.53	o 1618 
16.02/4.54	o 1604 
16.02/4.56	o 1573 
16.02/4.56	o 1570 
16.02/4.59	o 1549 
16.40/4.61	o 1533 
16.40/4.65	o 1514 
16.40/4.69	o 1502 
16.40/4.70	o 1501 
17.15/4.87	o 1490 
17.15/4.88	o 1489 
19.54/5.49	o 1484 
21.11/5.82	o 1427 
21.11/5.82	o 1412 
21.11/5.83	o 1384 
21.11/5.87	o 1383 
22.67/6.28	o 1363 
23.07/6.33	o 1360 
23.83/6.52	o 1357 
25.03/6.82	o 1350 
25.03/6.83	o 1340 
25.03/6.86	o 1338 
25.42/6.91	o 1324 
25.42/6.92	o 1314 
27.80/7.52	o 1267 
29.82/8.03	o 1250 
29.82/8.03	o 1181 
29.82/8.04	o 1175 
31.38/8.49	o 1172 
32.56/8.75	o 1170 
33.35/8.90	o 1148 
34.94/9.30	o 1144 
36.93/9.85	o 1121 
43.31/11.40	o 1115 
43.31/11.41	o 1110 
44.08/11.61	o 1109 
44.08/11.69	o 1094 
46.45/12.22	o 1080 
51.23/13.47	o 1028 
51.59/13.51	o 1026 
53.62/14.07	o 1022 
57.17/14.91	o 1018 
59.55/15.50	o 996 
75.47/19.52	o 995 
75.47/19.53	o 953 
91.00/23.43	o 943 
115.67/29.60	o 927 
121.03/31.03	o 921 
142.82/36.52	o 912 
142.82/36.55	o 906 
155.16/39.63	o 894 
161.16/41.12	o 893 
165.90/42.39	o 879 
202.94/51.61	o 876 
244.36/62.10	o 859 
245.52/62.30	o 855 
312.73/79.28	o 854 
334.78/84.80	o 849 
1403.68/353.43	o 845 
2520.15/634.27	s SATISFIABLE
2520.15/634.27	v <instantiation>
2520.15/634.27	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>
2520.15/634.27	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>
2520.15/634.27	v </instantiation>
2520.15/634.27	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 (3414 MiB free)
  memory of node 1: 16384 MiB (421 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403891-1568989888/watcher-4403891-1568989888 -o /var/tmp/evaluation-result-4403891-1568989888/solver-4403891-1568989888 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25142 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 998453811 HOME/instance-4403891-1568989888.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB

solver pid=26536, runsolver pid=26533

[startup+0.10006 s]*
/proc/loadavg: 8.75 8.59 7.60 7/234 26552
/proc/meminfo: memFree=3912696/32770624 swapFree=67002244/67108860
[pid=26536] ppid=26533 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26536/stat : 26536 (xcsp3-exec) S 26533 26536 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475237430 115843072 364 33554432000 4194304 5098028 140736216893328 140736216891432 140687463187068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19914752 140736216896343 140736216896601 140736216896601 140736216899526 0
/proc/26536/statm: 28282 364 305 221 0 87 0
[pid=26538] ppid=26536 vsize=15144776 memory=29152 CPUtime=0.13 cores=0,2,4,6
/proc/26538/stat : 26538 (java) S 26536 26536 25111 0 -1 1077944320 5687 0 0 0 12 1 0 0 20 0 15 0 475237430 15508250624 7288 33554432000 4194304 4196468 140730440168864 140730440151408 140443662257911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
/proc/26538/statm: 3786194 7288 3153 1 0 3748377 0
[pid=26538/tid=26539] ppid=26536 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/26538/task/26539/stat : 26539 (java) R 26536 26536 25111 0 -1 4202560 3644 0 0 0 8 0 0 0 20 0 15 0 475237431 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443666494256 140443662269846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26540] ppid=26536 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26540/stat : 26540 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443254971280 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26541] ppid=26536 vsize=15144776 memory=139753532221056 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26541/stat : 26541 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443253918480 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26542] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26542/stat : 26542 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443252866192 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26543] ppid=26536 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26543/stat : 26543 (java) S 26536 26536 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443251813392 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26544] ppid=26536 vsize=15144776 memory=139753532221056 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26544/stat : 26544 (java) S 26536 26536 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475237433 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443130873968 140443662269058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26545] ppid=26536 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26545/stat : 26545 (java) S 26536 26536 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475237433 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443129819936 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26546] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26546/stat : 26546 (java) S 26536 26536 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475237433 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443128767600 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26547] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26547/stat : 26547 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443127715920 140443662276507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26548] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26548/stat : 26548 (java) S 26536 26536 25111 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443126663792 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26549] ppid=26536 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26549/stat : 26549 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443125610992 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26550] ppid=26536 vsize=15144776 memory=139753532221056 CPUtime=0.02 cores=0,2,4,6
/proc/26538/task/26550/stat : 26550 (java) R 26536 26536 25111 0 -1 4202560 316 0 0 0 2 0 0 0 20 0 15 0 475237436 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443124558704 140443662279258 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26551] ppid=26536 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26551/stat : 26551 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443123506144 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26552] ppid=26536 vsize=15144776 memory=139753532221056 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26552/stat : 26552 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 7288 33554432000 4194304 4196468 140730440168864 140443122452912 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30608 KiB

[startup+0.210953 s]*
/proc/loadavg: 8.75 8.59 7.60 6/234 26552
/proc/meminfo: memFree=3899920/32770624 swapFree=67002244/67108860
[pid=26536] ppid=26533 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26536/stat : 26536 (xcsp3-exec) S 26533 26536 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475237430 115843072 364 33554432000 4194304 5098028 140736216893328 140736216891432 140687463187068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19914752 140736216896343 140736216896601 140736216896601 140736216899526 0
/proc/26536/statm: 28282 364 305 221 0 87 0
[pid=26538] ppid=26536 vsize=15144776 memory=41124 CPUtime=0.34 cores=0,2,4,6
/proc/26538/stat : 26538 (java) S 26536 26536 25111 0 -1 1077944320 9455 0 0 0 32 2 0 0 20 0 15 0 475237430 15508250624 10281 33554432000 4194304 4196468 140730440168864 140730440151408 140443662257911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
/proc/26538/statm: 3786194 10281 3320 1 0 3748377 0
[pid=26538/tid=26539] ppid=26536 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26538/task/26539/stat : 26539 (java) R 26536 26536 25111 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 475237431 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443666491592 140443301400745 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26540] ppid=26536 vsize=15144776 memory=13620 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26540/stat : 26540 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443254971280 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26541] ppid=26536 vsize=15144776 memory=139753535746614 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26541/stat : 26541 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443253918480 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26542] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26542/stat : 26542 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443252866192 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26543] ppid=26536 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26543/stat : 26543 (java) S 26536 26536 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475237431 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443251813392 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26544] ppid=26536 vsize=15144776 memory=139753532221056 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26544/stat : 26544 (java) S 26536 26536 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475237433 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443130873968 140443662269058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26545] ppid=26536 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26545/stat : 26545 (java) S 26536 26536 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475237433 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443129819936 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26546] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26546/stat : 26546 (java) S 26536 26536 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475237433 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443128767600 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26547] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26547/stat : 26547 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443127715920 140443662276507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26548] ppid=26536 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26538/task/26548/stat : 26548 (java) S 26536 26536 25111 0 -1 1077944384 584 0 0 0 2 0 0 0 20 0 15 0 475237436 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443126663792 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26549] ppid=26536 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26538/task/26549/stat : 26549 (java) S 26536 26536 25111 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 15 0 475237436 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443125610992 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26550] ppid=26536 vsize=15144776 memory=139753532221056 CPUtime=0.08 cores=0,2,4,6
/proc/26538/task/26550/stat : 26550 (java) R 26536 26536 25111 0 -1 4202560 745 0 0 0 8 0 0 0 20 0 15 0 475237436 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443124558704 140443646338398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26551] ppid=26536 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26551/stat : 26551 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443123506144 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26552] ppid=26536 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26552/stat : 26552 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237436 15508250624 10281 33554432000 4194304 4196468 140730440168864 140443122452912 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42580 KiB

[startup+0.311123 s]*
/proc/loadavg: 8.75 8.59 7.60 8/234 26552
/proc/meminfo: memFree=3894244/32770624 swapFree=67002244/67108860
[pid=26536] ppid=26533 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26536/stat : 26536 (xcsp3-exec) S 26533 26536 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475237430 115843072 364 33554432000 4194304 5098028 140736216893328 140736216891432 140687463187068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19914752 140736216896343 140736216896601 140736216896601 140736216899526 0
/proc/26536/statm: 28282 364 305 221 0 87 0
[pid=26538] ppid=26536 vsize=15149032 memory=50164 CPUtime=0.54 cores=0,2,4,6
/proc/26538/stat : 26538 (java) S 26536 26536 25111 0 -1 1077944320 10818 0 0 0 50 4 0 0 20 0 15 0 475237430 15512608768 12541 33554432000 4194304 4196468 140730440168864 140730440151408 140443662257911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
/proc/26538/statm: 3787258 12541 3367 1 0 3748377 0
[pid=26538/tid=26539] ppid=26536 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/26538/task/26539/stat : 26539 (java) R 26536 26536 25111 0 -1 4202560 7726 0 0 0 27 3 0 0 20 0 15 0 475237431 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443666489024 140443646338398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26540] ppid=26536 vsize=15149032 memory=13961 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26540/stat : 26540 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443254971280 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26541] ppid=26536 vsize=15149032 memory=3546595 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26541/stat : 26541 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443253918480 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26542] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26542/stat : 26542 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443252866192 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26543] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26543/stat : 26543 (java) S 26536 26536 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475237431 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443251813392 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26544] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26544/stat : 26544 (java) S 26536 26536 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475237433 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443130873968 140443662269058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26545] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26545/stat : 26545 (java) S 26536 26536 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475237433 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443129819936 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26546] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26546/stat : 26546 (java) S 26536 26536 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475237433 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443128767600 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26547] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26547/stat : 26547 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443127715920 140443662276507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26548] ppid=26536 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26538/task/26548/stat : 26548 (java) S 26536 26536 25111 0 -1 1077944384 589 0 0 0 4 0 0 0 20 0 15 0 475237436 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443126663792 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26549] ppid=26536 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26538/task/26549/stat : 26549 (java) R 26536 26536 25111 0 -1 4202560 337 0 0 0 4 0 0 0 20 0 15 0 475237436 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443125610992 140443641951015 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26550] ppid=26536 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26538/task/26550/stat : 26550 (java) S 26536 26536 25111 0 -1 1077944384 862 0 0 0 13 0 0 0 20 0 15 0 475237436 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443124558704 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26551] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26551/stat : 26551 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443123506144 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26552] ppid=26536 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26552/stat : 26552 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237436 15512608768 12541 33554432000 4194304 4196468 140730440168864 140443122452912 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51620 KiB

[startup+0.700884 s]
/proc/loadavg: 8.75 8.59 7.60 10/234 26552
/proc/meminfo: memFree=3871888/32770624 swapFree=67002244/67108860
[pid=26536] ppid=26533 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26536/stat : 26536 (xcsp3-exec) S 26533 26536 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475237430 115843072 364 33554432000 4194304 5098028 140736216893328 140736216891432 140687463187068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19914752 140736216896343 140736216896601 140736216896601 140736216899526 0
/proc/26536/statm: 28282 364 305 221 0 87 0
[pid=26538] ppid=26536 vsize=15151156 memory=89320 CPUtime=1.76 cores=0,2,4,6
/proc/26538/stat : 26538 (java) S 26536 26536 25111 0 -1 1077944320 15028 0 0 0 171 5 0 0 20 0 15 0 475237430 15514783744 22330 33554432000 4194304 4196468 140730440168864 140730440151408 140443662257911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
/proc/26538/statm: 3787789 22330 3450 1 0 3748889 0
[pid=26538/tid=26539] ppid=26536 vsize=15151156 memory=29912 CPUtime=0.68 cores=0,2,4,6
/proc/26538/task/26539/stat : 26539 (java) R 26536 26536 25111 0 -1 4202560 9114 0 0 0 64 4 0 0 20 0 15 0 475237431 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443666491488 140443662269846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26540] ppid=26536 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26540/stat : 26540 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443254971280 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26541] ppid=26536 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26541/stat : 26541 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443253918480 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26542] ppid=26536 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26542/stat : 26542 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237431 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443252866192 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26543] ppid=26536 vsize=15151156 memory=1776 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26543/stat : 26543 (java) S 26536 26536 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475237431 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443251813392 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26544] ppid=26536 vsize=15151156 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26544/stat : 26544 (java) S 26536 26536 25111 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475237433 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443130873968 140443662269058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26545] ppid=26536 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26545/stat : 26545 (java) S 26536 26536 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475237433 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443129819936 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26546] ppid=26536 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26546/stat : 26546 (java) S 26536 26536 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475237433 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443128767600 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26547] ppid=26536 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26547/stat : 26547 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443127715920 140443662276507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26548] ppid=26536 vsize=15151156 memory=2676 CPUtime=0.34 cores=0,2,4,6
/proc/26538/task/26548/stat : 26548 (java) R 26536 26536 25111 0 -1 4202560 1771 0 0 0 34 0 0 0 20 0 15 0 475237436 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443126650296 140443645607477 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26549] ppid=26536 vsize=15151156 memory=1764 CPUtime=0.3 cores=0,2,4,6
/proc/26538/task/26549/stat : 26549 (java) R 26536 26536 25111 0 -1 4202560 909 0 0 0 30 0 0 0 20 0 15 0 475237436 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443125599104 140443645758331 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26550] ppid=26536 vsize=15151156 memory=111632 CPUtime=0.41 cores=0,2,4,6
/proc/26538/task/26550/stat : 26550 (java) S 26536 26536 25111 0 -1 1077944384 1924 0 0 0 41 0 0 0 20 0 15 0 475237436 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443124558704 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26551] ppid=26536 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26551/stat : 26551 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475237436 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443123506144 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26552] ppid=26536 vsize=15151156 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26552/stat : 26552 (java) S 26536 26536 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475237436 15514783744 22330 33554432000 4194304 4196468 140730440168864 140443122452912 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90776 KiB

[startup+1.50076 s]
/proc/loadavg: 8.61 8.56 7.60 9/234 26552
/proc/meminfo: memFree=3795188/32770624 swapFree=67002244/67108860
[pid=26536] ppid=26533 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26536/stat : 26536 (xcsp3-exec) S 26533 26536 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475237430 115843072 364 33554432000 4194304 5098028 140736216893328 140736216891432 140687463187068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19914752 140736216896343 140736216896601 140736216896601 140736216899526 0
/proc/26536/statm: 28282 364 305 221 0 87 0

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

/proc/26538/stat : 26538 (java) S 26536 26536 25111 0 -1 1077944320 124084 0 0 0 207512 66 0 0 20 0 19 0 475237430 16062173184 183965 33554432000 4194304 4196468 140730440168864 140730440151408 140443662257911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
/proc/26538/statm: 3921429 183965 3534 1 0 3882529 0
[pid=26538/tid=26539] ppid=26536 vsize=15685716 memory=743044 CPUtime=1.11 cores=0,2,4,6
/proc/26538/task/26539/stat : 26539 (java) S 26536 26536 25111 0 -1 1077944384 13256 0 0 0 105 6 0 0 20 0 19 0 475237431 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443666498688 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26540] ppid=26536 vsize=15685716 memory=814360 CPUtime=0.24 cores=0,2,4,6
/proc/26538/task/26540/stat : 26540 (java) S 26536 26536 25111 0 -1 1077944384 3803 0 0 0 20 4 0 0 20 0 19 0 475237431 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443254971280 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26541] ppid=26536 vsize=15685716 memory=794860 CPUtime=0.27 cores=0,2,4,6
/proc/26538/task/26541/stat : 26541 (java) S 26536 26536 25111 0 -1 1077944384 2161 0 0 0 23 4 0 0 20 0 19 0 475237431 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443253918480 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26542] ppid=26536 vsize=15685716 memory=786140 CPUtime=0.27 cores=0,2,4,6
/proc/26538/task/26542/stat : 26542 (java) S 26536 26536 25111 0 -1 1077944384 3802 0 0 0 22 5 0 0 20 0 19 0 475237431 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443252866192 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26543] ppid=26536 vsize=15685716 memory=779984 CPUtime=0.27 cores=0,2,4,6
/proc/26538/task/26543/stat : 26543 (java) S 26536 26536 25111 0 -1 1077944384 3222 0 0 0 22 5 0 0 20 0 19 0 475237431 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443251813392 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26544] ppid=26536 vsize=15685716 memory=762536 CPUtime=0.2 cores=0,2,4,6
/proc/26538/task/26544/stat : 26544 (java) S 26536 26536 25111 0 -1 1077944384 4921 0 0 0 8 12 0 0 20 0 19 0 475237433 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443130873968 140443662269058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26545] ppid=26536 vsize=15685716 memory=749200 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26545/stat : 26545 (java) S 26536 26536 25111 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475237433 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443129820000 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26546] ppid=26536 vsize=15685716 memory=749200 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26546/stat : 26546 (java) S 26536 26536 25111 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 475237433 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443128767616 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26547] ppid=26536 vsize=15685716 memory=743044 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26547/stat : 26547 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475237436 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443127715920 140443662276507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26548] ppid=26536 vsize=15685716 memory=735860 CPUtime=2.68 cores=0,2,4,6
/proc/26538/task/26548/stat : 26548 (java) S 26536 26536 25111 0 -1 1077944384 11075 0 0 0 267 1 0 0 20 0 19 0 475237436 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443126663792 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26549] ppid=26536 vsize=15685716 memory=735860 CPUtime=2.9 cores=0,2,4,6
/proc/26538/task/26549/stat : 26549 (java) S 26536 26536 25111 0 -1 1077944384 11019 0 0 0 289 1 0 0 20 0 19 0 475237436 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443125610992 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26550] ppid=26536 vsize=15685716 memory=1456 CPUtime=0.87 cores=0,2,4,6
/proc/26538/task/26550/stat : 26550 (java) S 26536 26536 25111 0 -1 1077944384 11019 0 0 0 86 1 0 0 20 0 19 0 475237436 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443124558704 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26551] ppid=26536 vsize=15685716 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26551/stat : 26551 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475237436 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443123506144 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26552] ppid=26536 vsize=15685716 memory=735860 CPUtime=0.13 cores=0,2,4,6
/proc/26538/task/26552/stat : 26552 (java) S 26536 26536 25111 0 -1 1077944384 1587 0 0 0 0 13 0 0 20 0 19 0 475237436 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443122452912 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27101] ppid=26536 vsize=15685716 memory=1456 CPUtime=167.66 cores=0,2,4,6
/proc/26538/task/27101/stat : 27101 (java) R 26536 26536 25111 0 -1 4202560 970 0 0 0 16766 0 0 0 20 0 19 0 475272774 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443105872968 140443307452088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27102] ppid=26536 vsize=15685716 memory=1456 CPUtime=167.9 cores=0,2,4,6
/proc/26538/task/27102/stat : 27102 (java) R 26536 26536 25111 0 -1 4202560 4900 0 0 0 16790 0 0 0 20 0 19 0 475272774 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443113235016 140443309843542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27103] ppid=26536 vsize=15685716 memory=1456 CPUtime=167.93 cores=0,2,4,6
/proc/26538/task/27103/stat : 27103 (java) R 26536 26536 25111 0 -1 4202560 905 0 0 0 16793 0 0 0 20 0 19 0 475272774 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443104821504 140443306470878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27104] ppid=26536 vsize=15685716 memory=743044 CPUtime=167.87 cores=0,2,4,6
/proc/26538/task/27104/stat : 27104 (java) R 26536 26536 25111 0 -1 4202560 6614 0 0 0 16786 1 0 0 20 0 19 0 475272774 16062173184 183965 33554432000 4194304 4196468 140730440168864 140443110079024 140443306343264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
Current children cumulated CPU time: 2075.78 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 737316 KiB

[startup+582.302 s]
/proc/loadavg: 8.23 8.53 8.05 10/238 27134
/proc/meminfo: memFree=7145892/32770624 swapFree=67002248/67108860
[pid=26536] ppid=26533 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26536/stat : 26536 (xcsp3-exec) S 26533 26536 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475237430 115843072 364 33554432000 4194304 5098028 140736216893328 140736216891432 140687463187068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19914752 140736216896343 140736216896601 140736216896601 140736216899526 0
/proc/26536/statm: 28282 364 305 221 0 87 0
[pid=26538] ppid=26536 vsize=15685716 memory=304688 CPUtime=2313.69 cores=0,2,4,6
/proc/26538/stat : 26538 (java) S 26536 26536 25111 0 -1 1077944320 127574 0 0 0 231275 94 0 0 20 0 19 0 475237430 16062173184 76172 33554432000 4194304 4196468 140730440168864 140730440151408 140443662257911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
/proc/26538/statm: 3921429 76172 3534 1 0 3882529 0
[pid=26538/tid=26539] ppid=26536 vsize=15685716 memory=300100 CPUtime=1.11 cores=0,2,4,6
/proc/26538/task/26539/stat : 26539 (java) S 26536 26536 25111 0 -1 1077944384 13256 0 0 0 105 6 0 0 20 0 19 0 475237431 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443666498688 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26540] ppid=26536 vsize=15685716 memory=640124 CPUtime=0.42 cores=0,2,4,6
/proc/26538/task/26540/stat : 26540 (java) S 26536 26536 25111 0 -1 1077944384 3978 0 0 0 37 5 0 0 20 0 19 0 475237431 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443254971280 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26541] ppid=26536 vsize=15685716 memory=632940 CPUtime=0.45 cores=0,2,4,6
/proc/26538/task/26541/stat : 26541 (java) S 26536 26536 25111 0 -1 1077944384 2422 0 0 0 40 5 0 0 20 0 19 0 475237431 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443253918480 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26542] ppid=26536 vsize=15685716 memory=463656 CPUtime=0.46 cores=0,2,4,6
/proc/26538/task/26542/stat : 26542 (java) S 26536 26536 25111 0 -1 1077944384 3973 0 0 0 40 6 0 0 20 0 19 0 475237431 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443252866192 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26543] ppid=26536 vsize=15685716 memory=427244 CPUtime=0.46 cores=0,2,4,6
/proc/26538/task/26543/stat : 26543 (java) S 26536 26536 25111 0 -1 1077944384 4070 0 0 0 40 6 0 0 20 0 19 0 475237431 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443251813392 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26544] ppid=26536 vsize=15685716 memory=1456 CPUtime=0.54 cores=0,2,4,6
/proc/26538/task/26544/stat : 26544 (java) S 26536 26536 25111 0 -1 1077944384 5241 0 0 0 18 36 0 0 20 0 19 0 475237433 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443130873968 140443662269058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26545] ppid=26536 vsize=15685716 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26545/stat : 26545 (java) S 26536 26536 25111 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475237433 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443129820000 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26546] ppid=26536 vsize=15685716 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26546/stat : 26546 (java) S 26536 26536 25111 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 475237433 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443128767616 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26547] ppid=26536 vsize=15685716 memory=304688 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26547/stat : 26547 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475237436 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443127715920 140443662276507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26548] ppid=26536 vsize=15685716 memory=1456 CPUtime=2.68 cores=0,2,4,6
/proc/26538/task/26548/stat : 26548 (java) S 26536 26536 25111 0 -1 1077944384 11078 0 0 0 267 1 0 0 20 0 19 0 475237436 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443126663792 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26549] ppid=26536 vsize=15685716 memory=450872 CPUtime=2.9 cores=0,2,4,6
/proc/26538/task/26549/stat : 26549 (java) S 26536 26536 25111 0 -1 1077944384 11021 0 0 0 289 1 0 0 20 0 19 0 475237436 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443125610992 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26550] ppid=26536 vsize=15685716 memory=804 CPUtime=0.87 cores=0,2,4,6
/proc/26538/task/26550/stat : 26550 (java) S 26536 26536 25111 0 -1 1077944384 11021 0 0 0 86 1 0 0 20 0 19 0 475237436 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443124558704 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26551] ppid=26536 vsize=15685716 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26551/stat : 26551 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475237436 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443123506144 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26552] ppid=26536 vsize=15685716 memory=305760 CPUtime=0.15 cores=0,2,4,6
/proc/26538/task/26552/stat : 26552 (java) S 26536 26536 25111 0 -1 1077944384 1611 0 0 0 0 15 0 0 20 0 19 0 475237436 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443122452912 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27101] ppid=26536 vsize=15685716 memory=1456 CPUtime=226.82 cores=0,2,4,6
/proc/26538/task/27101/stat : 27101 (java) R 26536 26536 25111 0 -1 4202560 1171 0 0 0 22682 0 0 0 20 0 19 0 475272774 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443105872824 140443308582649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27102] ppid=26536 vsize=15685716 memory=1456 CPUtime=227.36 cores=0,2,4,6
/proc/26538/task/27102/stat : 27102 (java) R 26536 26536 25111 0 -1 4202560 5530 0 0 0 22736 0 0 0 20 0 19 0 475272774 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443113237920 140443309843653 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27103] ppid=26536 vsize=15685716 memory=1456 CPUtime=226.97 cores=0,2,4,6
/proc/26538/task/27103/stat : 27103 (java) R 26536 26536 25111 0 -1 4202560 1035 0 0 0 22697 0 0 0 20 0 19 0 475272774 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443104821592 140443307451893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27104] ppid=26536 vsize=15685716 memory=320636 CPUtime=227.01 cores=0,2,4,6
/proc/26538/task/27104/stat : 27104 (java) R 26536 26536 25111 0 -1 4202560 7337 0 0 0 22700 1 0 0 20 0 19 0 475272774 16062173184 76172 33554432000 4194304 4196468 140730440168864 140443110076064 140443306342815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
Current children cumulated CPU time: 2313.69 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 306144 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+634.201 s]
/proc/loadavg: 8.15 8.46 8.05 9/238 27138
/proc/meminfo: memFree=7141272/32770624 swapFree=67002248/67108860
[pid=26536] ppid=26533 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26536/stat : 26536 (xcsp3-exec) S 26533 26536 25111 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475237430 115843072 364 33554432000 4194304 5098028 140736216893328 140736216891432 140687463187068 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 19914752 140736216896343 140736216896601 140736216896601 140736216899526 0
/proc/26536/statm: 28282 364 305 221 0 87 0
[pid=26538] ppid=26536 vsize=15685716 memory=302928 CPUtime=2520.15 cores=0,2,4,6
/proc/26538/stat : 26538 (java) S 26536 26536 25111 0 -1 1077944320 129627 0 0 0 251915 100 0 0 20 0 19 0 475237430 16062173184 75732 33554432000 4194304 4196468 140730440168864 140730440151408 140443662257911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
/proc/26538/statm: 3921429 75732 3534 1 0 3882529 0
[pid=26538/tid=26539] ppid=26536 vsize=15685716 memory=6068 CPUtime=1.11 cores=0,2,4,6
/proc/26538/task/26539/stat : 26539 (java) S 26536 26536 25111 0 -1 1077944384 13256 0 0 0 105 6 0 0 20 0 19 0 475237431 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443666498688 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26540] ppid=26536 vsize=15685716 memory=636 CPUtime=0.47 cores=0,2,4,6
/proc/26538/task/26540/stat : 26540 (java) S 26536 26536 25111 0 -1 1077944384 3999 0 0 0 42 5 0 0 20 0 19 0 475237431 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443254971280 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26541] ppid=26536 vsize=15685716 memory=2836 CPUtime=0.51 cores=0,2,4,6
/proc/26538/task/26541/stat : 26541 (java) S 26536 26536 25111 0 -1 1077944384 2469 0 0 0 45 6 0 0 20 0 19 0 475237431 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443253918480 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26542] ppid=26536 vsize=15685716 memory=1056 CPUtime=0.51 cores=0,2,4,6
/proc/26538/task/26542/stat : 26542 (java) S 26536 26536 25111 0 -1 1077944384 4166 0 0 0 45 6 0 0 20 0 19 0 475237431 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443252866192 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26543] ppid=26536 vsize=15685716 memory=1568 CPUtime=0.51 cores=0,2,4,6
/proc/26538/task/26543/stat : 26543 (java) S 26536 26536 25111 0 -1 1077944384 4165 0 0 0 45 6 0 0 20 0 19 0 475237431 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443251813392 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26544] ppid=26536 vsize=15685716 memory=1048 CPUtime=0.61 cores=0,2,4,6
/proc/26538/task/26544/stat : 26544 (java) S 26536 26536 25111 0 -1 1077944384 5496 0 0 0 20 41 0 0 20 0 19 0 475237433 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443130873968 140443662269058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26545] ppid=26536 vsize=15685716 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26545/stat : 26545 (java) S 26536 26536 25111 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 475237433 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443129820000 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26546] ppid=26536 vsize=15685716 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26546/stat : 26546 (java) S 26536 26536 25111 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 475237433 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443128767616 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26547] ppid=26536 vsize=15685716 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26547/stat : 26547 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475237436 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443127715920 140443662276507 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26548] ppid=26536 vsize=15685716 memory=29916 CPUtime=2.68 cores=0,2,4,6
/proc/26538/task/26548/stat : 26548 (java) S 26536 26536 25111 0 -1 1077944384 11082 0 0 0 267 1 0 0 20 0 19 0 475237436 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443126663792 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26549] ppid=26536 vsize=15685716 memory=1556 CPUtime=2.9 cores=0,2,4,6
/proc/26538/task/26549/stat : 26549 (java) S 26536 26536 25111 0 -1 1077944384 11023 0 0 0 289 1 0 0 20 0 19 0 475237436 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443125610992 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26550] ppid=26536 vsize=15685716 memory=303430223234596890 CPUtime=0.87 cores=0,2,4,6
/proc/26538/task/26550/stat : 26550 (java) S 26536 26536 25111 0 -1 1077944384 11029 0 0 0 86 1 0 0 20 0 19 0 475237436 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443124558704 140443662269058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26551] ppid=26536 vsize=15685716 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/26538/task/26551/stat : 26551 (java) S 26536 26536 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475237436 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443123506144 140443662268117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=26552] ppid=26536 vsize=15685716 memory=14689690934577713 CPUtime=0.16 cores=0,2,4,6
/proc/26538/task/26552/stat : 26552 (java) R 26536 26536 25111 0 -1 1077944384 1632 0 0 0 0 16 0 0 20 0 19 0 475237436 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443122452912 140443662269058 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27101] ppid=26536 vsize=15685716 memory=6068 CPUtime=278.33 cores=0,2,4,6
/proc/26538/task/27101/stat : 27101 (java) R 26536 26536 25111 0 -1 4202560 1293 0 0 0 27833 0 0 0 20 0 19 0 475272774 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443105872688 140443307451884 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27102] ppid=26536 vsize=15685716 memory=636 CPUtime=279.11 cores=0,2,4,6
/proc/26538/task/27102/stat : 27102 (java) R 26536 26536 25111 0 -1 4202560 6193 0 0 0 27910 1 0 0 20 0 19 0 475272774 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443113234880 140443309843288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27103] ppid=26536 vsize=15685716 memory=2836 CPUtime=278.53 cores=0,2,4,6
/proc/26538/task/27103/stat : 27103 (java) R 26536 26536 25111 0 -1 4202560 1072 0 0 0 27853 0 0 0 20 0 19 0 475272774 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443104824640 140443303744371 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
[pid=26538/tid=27104] ppid=26536 vsize=15685716 memory=1056 CPUtime=278.37 cores=0,2,4,6
/proc/26538/task/27104/stat : 27104 (java) R 26536 26536 25111 0 -1 4202560 7922 0 0 0 27836 1 0 0 20 0 19 0 475272774 16062173184 75732 33554432000 4194304 4196468 140730440168864 140443110076176 140443301011112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7073792 140730440172507 140730440172682 140730440172682 140730440175567 0
Current children cumulated CPU time: 2520.15 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 304384 KiB

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

[startup+634.224 s]
# the end of solver process 26536 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002251 s, system=0 s

[startup+634.292 s]
# the end of solver process 26538 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.49 s, system=1.01326 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): 634.292
CPU time (s): 2520.5
CPU user time (s): 2519.49
CPU system time (s): 1.01326
CPU usage (%): 397.373
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 1142380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.49
system time used= 1.01326
maximum resident set size= 1142972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130600
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22710
involuntary context switches= 42370


# summary of solver processes directly reported to runsolver:
#   pid: 26536,26538
#   total CPU time (s): 2520.5
#   total CPU user time (s): 2519.49
#   total CPU system time (s): 1.01326

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89682 second user time and 7.06267 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 4403891

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