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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT (TO)	884	2001.23	252.103

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405091-1569004007.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405091-1569004007.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.01/1.24	c solve instance...
12.45/2.37	o 2638 
12.45/2.39	o 2637 
12.45/2.39	o 2555 
12.45/2.40	o 2538 
13.17/2.40	o 2516 
13.17/2.40	o 2515 
13.17/2.41	o 2499 
13.17/2.41	o 2455 
13.17/2.43	o 2438 
13.17/2.45	o 2434 
13.17/2.46	o 2433 
13.17/2.47	o 2407 
13.17/2.48	o 2406 
13.88/2.51	o 2403 
13.88/2.59	o 2402 
14.64/2.61	o 2401 
16.98/2.99	o 2012 
16.98/3.01	o 1983 
17.86/3.02	o 1959 
17.86/3.03	o 1935 
17.86/3.03	o 1901 
17.86/3.04	o 1874 
17.86/3.05	o 1843 
17.86/3.06	o 1825 
20.08/3.33	o 1784 
20.85/3.41	o 1782 
20.85/3.46	o 1776 
22.39/3.70	o 1743 
23.19/3.70	o 1719 
23.19/3.72	o 1715 
23.19/3.73	o 1698 
23.19/3.74	o 1687 
24.71/3.92	o 1680 
24.71/3.96	o 1673 
27.06/4.20	o 1629 
27.89/4.37	o 1628 
27.89/4.38	o 1571 
30.17/4.63	o 1570 
30.17/4.65	o 1508 
30.17/4.67	o 1504 
30.89/4.70	o 1500 
30.89/4.75	o 1442 
31.67/4.85	o 1439 
34.76/5.24	o 1426 
36.34/5.42	o 1407 
36.34/5.43	o 1397 
36.34/5.45	o 1396 
36.34/5.50	o 1388 
37.88/5.68	o 1370 
40.26/5.93	o 1355 
41.92/6.12	o 1339 
41.92/6.14	o 1329 
42.62/6.21	o 1327 
43.37/6.34	o 1288 
43.37/6.35	o 1283 
43.37/6.35	o 1243 
44.08/6.45	o 1240 
45.66/6.64	o 1234 
46.46/6.72	o 1230 
51.23/7.34	o 1204 
57.68/8.17	o 1179 
57.68/8.17	o 1175 
59.13/8.30	o 1139 
63.10/8.81	o 1134 
68.66/9.58	o 1133 
68.66/9.60	o 1131 
71.00/9.84	o 1122 
72.65/10.05	o 1109 
76.56/10.51	o 1108 
112.40/15.06	o 1086 
112.40/15.06	o 1075 
113.89/15.26	o 1064 
126.66/16.87	o 1062 
126.66/16.89	o 1060 
149.72/19.79	o 1056 
164.82/21.67	o 1049 
230.98/29.94	o 1047 
231.81/30.10	o 1023 
244.49/31.62	o 1015 
285.09/36.73	o 1003 
285.09/36.74	o 998 
299.65/38.60	o 997 
306.80/39.58	o 985 
330.73/42.57	o 978 
372.94/47.81	o 953 
459.03/58.62	o 951 
459.03/58.64	o 941 
507.64/64.74	o 939 
552.34/70.38	o 935 
570.59/72.69	o 916 
945.09/119.63	o 912 
969.63/122.79	o 908 
1644.92/207.46	o 891 
1999.86/252.00	o 884 
2000.58/252.07	s SATISFIABLE
2000.58/252.07	v <instantiation>
2000.58/252.07	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[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>
2000.58/252.07	v 	<values>0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 20 76 8 53 86 74 31 57 99 57 68 25 43 25 38 62 56 44 49 90 97 20 78 8 41 38 43 18 93 82 25 93 100 24 91 71 14 </values>
2000.58/252.07	v </instantiation>
2000.58/252.07	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (4612 MiB free)
  memory of node 1: 16384 MiB (6909 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405091-1569004007/watcher-4405091-1569004007 -o /var/tmp/evaluation-result-4405091-1569004007/solver-4405091-1569004007 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1488225905 HOME/instance-4405091-1569004007.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10658, runsolver pid=10655

[startup+0.10012 s]*
/proc/loadavg: 7.90 8.14 8.25 2/211 10679
/proc/meminfo: memFree=11783768/32770624 swapFree=66956720/67108860
[pid=10658] ppid=10655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10658/stat : 10658 (xcsp3-exec) S 10655 10658 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476639361 115843072 364 33554432000 4194304 5098028 140737470462048 140737470460152 139860254384764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18870272 140737470468951 140737470469210 140737470469210 140737470472134 0
/proc/10658/statm: 28282 364 305 221 0 87 0
[pid=10660] ppid=10658 vsize=28227396 memory=28944 CPUtime=0.12 cores=0-7
/proc/10660/stat : 10660 (java) S 10658 10658 3200 0 -1 1077944320 5638 0 0 0 10 2 0 0 20 0 20 0 476639362 28904853504 7236 33554432000 4194304 4196468 140736041848720 140736041831264 139778691477239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
/proc/10660/statm: 7056849 7236 3165 1 0 7019032 0
[pid=10660/tid=10661] ppid=10658 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10660/task/10661/stat : 10661 (java) R 10658 10658 3200 0 -1 4202560 3597 0 0 0 8 1 0 0 20 0 20 0 476639362 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778695712256 139778691489174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10662] ppid=10658 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10660/task/10662/stat : 10662 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778644097680 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10663] ppid=10658 vsize=28227396 memory=140304503191168 CPUtime=0 cores=0-7
/proc/10660/task/10663/stat : 10663 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778643044880 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10664] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10664/stat : 10664 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778641992080 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10665] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10665/stat : 10665 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778640939280 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10666] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10666/stat : 10666 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778639887504 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10667] ppid=10658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10660/task/10667/stat : 10667 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778638834704 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10668] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10668/stat : 10668 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778236210064 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10669] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10669/stat : 10669 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 7236 33554432000 4194304 4196468 140736041848720 139778235157264 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10670] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10670/stat : 10670 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639364 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777941977456 139778691488386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10671] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10671/stat : 10671 (java) S 10658 10658 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476639365 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777940923424 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10672] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10672/stat : 10672 (java) S 10658 10658 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476639365 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777939870576 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10673] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10673/stat : 10673 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639367 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777938818896 139778691495835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10674] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10674/stat : 10674 (java) S 10658 10658 3200 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 20 0 476639367 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777937767280 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10675] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10675/stat : 10675 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476639367 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777936714480 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10676] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10676/stat : 10676 (java) R 10658 10658 3200 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 476639367 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777935661752 139778669503060 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10677] ppid=10658 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/10660/task/10677/stat : 10677 (java) R 10658 10658 3200 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 20 0 476639367 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777934608880 139778691498586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10678] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10678/stat : 10678 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476639368 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777933556320 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10679] ppid=10658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10660/task/10679/stat : 10679 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639368 28904853504 7236 33554432000 4194304 4196468 140736041848720 139777932503600 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30400 KiB

[startup+0.210673 s]*
/proc/loadavg: 7.90 8.14 8.25 3/211 10679
/proc/meminfo: memFree=11769952/32770624 swapFree=66956720/67108860
[pid=10658] ppid=10655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10658/stat : 10658 (xcsp3-exec) S 10655 10658 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476639361 115843072 364 33554432000 4194304 5098028 140737470462048 140737470460152 139860254384764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18870272 140737470468951 140737470469210 140737470469210 140737470472134 0
/proc/10658/statm: 28282 364 305 221 0 87 0
[pid=10660] ppid=10658 vsize=28227396 memory=41168 CPUtime=0.33 cores=0-7
/proc/10660/stat : 10660 (java) S 10658 10658 3200 0 -1 1077944320 9525 0 0 0 30 3 0 0 20 0 20 0 476639362 28904853504 10292 33554432000 4194304 4196468 140736041848720 140736041831264 139778691477239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
/proc/10660/statm: 7056849 10292 3305 1 0 7019032 0
[pid=10660/tid=10661] ppid=10658 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/10660/task/10661/stat : 10661 (java) R 10658 10658 3200 0 -1 4202560 6629 0 0 0 17 2 0 0 20 0 20 0 476639362 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778695714304 139778691489174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10662] ppid=10658 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/10660/task/10662/stat : 10662 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778644097680 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10663] ppid=10658 vsize=28227396 memory=140304503205642 CPUtime=0 cores=0-7
/proc/10660/task/10663/stat : 10663 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778643044880 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10664] ppid=10658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10660/task/10664/stat : 10664 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778641992080 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10665] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10665/stat : 10665 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778640939280 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10666] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10666/stat : 10666 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778639887504 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10667] ppid=10658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10660/task/10667/stat : 10667 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778638834704 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10668] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10668/stat : 10668 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778236210064 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10669] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10669/stat : 10669 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28904853504 10292 33554432000 4194304 4196468 140736041848720 139778235157264 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10670] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10670/stat : 10670 (java) S 10658 10658 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476639364 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777941977456 139778691488386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10671] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10671/stat : 10671 (java) S 10658 10658 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476639365 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777940923424 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10672] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10672/stat : 10672 (java) S 10658 10658 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476639365 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777939870576 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10673] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10673/stat : 10673 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639367 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777938818896 139778691495835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10674] ppid=10658 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/10660/task/10674/stat : 10674 (java) S 10658 10658 3200 0 -1 1077944384 644 0 0 0 2 0 0 0 20 0 20 0 476639367 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777937767280 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10675] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10675/stat : 10675 (java) S 10658 10658 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476639367 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777936714480 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10676] ppid=10658 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/10660/task/10676/stat : 10676 (java) S 10658 10658 3200 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 20 0 476639367 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777935661680 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10677] ppid=10658 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/10660/task/10677/stat : 10677 (java) R 10658 10658 3200 0 -1 4202560 798 0 0 0 7 0 0 0 20 0 20 0 476639367 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777934608880 139778670395800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10678] ppid=10658 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10678/stat : 10678 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476639368 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777933556320 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10679] ppid=10658 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/10660/task/10679/stat : 10679 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639368 28904853504 10292 33554432000 4194304 4196468 140736041848720 139777932503600 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42624 KiB

[startup+0.311803 s]*
/proc/loadavg: 7.90 8.14 8.25 2/211 10679
/proc/meminfo: memFree=11762680/32770624 swapFree=66956720/67108860
[pid=10658] ppid=10655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10658/stat : 10658 (xcsp3-exec) S 10655 10658 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476639361 115843072 364 33554432000 4194304 5098028 140737470462048 140737470460152 139860254384764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18870272 140737470468951 140737470469210 140737470469210 140737470472134 0
/proc/10658/statm: 28282 364 305 221 0 87 0
[pid=10660] ppid=10658 vsize=28231652 memory=49476 CPUtime=0.51 cores=0-7
/proc/10660/stat : 10660 (java) S 10658 10658 3200 0 -1 1077944320 10802 0 0 0 46 5 0 0 20 0 20 0 476639362 28909211648 12369 33554432000 4194304 4196468 140736041848720 140736041831264 139778691477239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
/proc/10660/statm: 7057913 12369 3337 1 0 7019032 0
[pid=10660/tid=10661] ppid=10658 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10660/task/10661/stat : 10661 (java) R 10658 10658 3200 0 -1 4202560 7825 0 0 0 26 3 0 0 20 0 20 0 476639362 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778695708352 139778675557756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10662] ppid=10658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10662/stat : 10662 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778644097680 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10663] ppid=10658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10663/stat : 10663 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778643044880 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10664] ppid=10658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10664/stat : 10664 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778641992080 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10665] ppid=10658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10665/stat : 10665 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778640939280 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10666] ppid=10658 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/10660/task/10666/stat : 10666 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778639887504 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10667] ppid=10658 vsize=28231652 memory=140304367842223 CPUtime=0 cores=0-7
/proc/10660/task/10667/stat : 10667 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778638834704 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10668] ppid=10658 vsize=28231652 memory=140304367844528 CPUtime=0 cores=0-7
/proc/10660/task/10668/stat : 10668 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778236210064 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10669] ppid=10658 vsize=28231652 memory=140304367846832 CPUtime=0 cores=0-7
/proc/10660/task/10669/stat : 10669 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28909211648 12438 33554432000 4194304 4196468 140736041848720 139778235157264 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10670] ppid=10658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10670/stat : 10670 (java) S 10658 10658 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476639364 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777941977456 139778691488386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10671] ppid=10658 vsize=28231652 memory=280608735700624 CPUtime=0 cores=0-7
/proc/10660/task/10671/stat : 10671 (java) S 10658 10658 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476639365 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777940923424 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10672] ppid=10658 vsize=28231652 memory=280608735707536 CPUtime=0 cores=0-7
/proc/10660/task/10672/stat : 10672 (java) S 10658 10658 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476639365 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777939870576 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10673] ppid=10658 vsize=28231652 memory=280608735648688 CPUtime=0 cores=0-7
/proc/10660/task/10673/stat : 10673 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639367 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777938818896 139778691495835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10674] ppid=10658 vsize=28231652 memory=280608735721360 CPUtime=0.03 cores=0-7
/proc/10660/task/10674/stat : 10674 (java) S 10658 10658 3200 0 -1 1077944384 650 0 0 0 3 0 0 0 20 0 20 0 476639367 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777937767280 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10675] ppid=10658 vsize=28231652 memory=280608735728272 CPUtime=0.01 cores=0-7
/proc/10660/task/10675/stat : 10675 (java) S 10658 10658 3200 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 476639367 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777936714480 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10676] ppid=10658 vsize=28231652 memory=280608735725968 CPUtime=0.02 cores=0-7
/proc/10660/task/10676/stat : 10676 (java) S 10658 10658 3200 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 476639367 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777935661680 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10677] ppid=10658 vsize=28231652 memory=280608735742128 CPUtime=0.12 cores=0-7
/proc/10660/task/10677/stat : 10677 (java) S 10658 10658 3200 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 20 0 476639367 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777934608880 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10678] ppid=10658 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10678/stat : 10678 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476639368 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777933556320 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10679] ppid=10658 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/10660/task/10679/stat : 10679 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639368 28909211648 12438 33554432000 4194304 4196468 140736041848720 139777932503600 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50932 KiB

[startup+0.702145 s]
/proc/loadavg: 7.90 8.14 8.25 4/211 10679
/proc/meminfo: memFree=11739844/32770624 swapFree=66956720/67108860
[pid=10658] ppid=10655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10658/stat : 10658 (xcsp3-exec) S 10655 10658 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476639361 115843072 364 33554432000 4194304 5098028 140737470462048 140737470460152 139860254384764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18870272 140737470468951 140737470469210 140737470469210 140737470472134 0
/proc/10658/statm: 28282 364 305 221 0 87 0
[pid=10660] ppid=10658 vsize=28233776 memory=95312 CPUtime=1.86 cores=0-7
/proc/10660/stat : 10660 (java) S 10658 10658 3200 0 -1 1077944320 16001 0 0 0 178 8 0 0 20 0 20 0 476639362 28911386624 23828 33554432000 4194304 4196468 140736041848720 140736041831264 139778691477239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
/proc/10660/statm: 7058444 23828 3453 1 0 7019544 0
[pid=10660/tid=10661] ppid=10658 vsize=28233776 memory=280608736100016 CPUtime=0.68 cores=0-7
/proc/10660/task/10661/stat : 10661 (java) R 10658 10658 3200 0 -1 4202560 9184 0 0 0 63 5 0 0 20 0 20 0 476639362 28911386624 23828 33554432000 4194304 4196468 140736041848720 139778695711952 139778675557726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10662] ppid=10658 vsize=28233776 memory=140304368051056 CPUtime=0 cores=0-7
/proc/10660/task/10662/stat : 10662 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476639363 28911386624 23828 33554432000 4194304 4196468 140736041848720 139778644097680 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10663] ppid=10658 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/10660/task/10663/stat : 10663 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28911386624 23828 33554432000 4194304 4196468 140736041848720 139778643044880 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10664] ppid=10658 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/10660/task/10664/stat : 10664 (java) S 10658 10658 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476639363 28911386624 23828 33554432000 4194304 4196468 140736041848720 139778641992080 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0

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

[pid=10660/tid=11433] ppid=10658 vsize=28968028 memory=2197920 CPUtime=39.47 cores=0-7
/proc/10660/task/11433/stat : 11433 (java) R 10658 10658 3200 0 -1 4202560 708 0 0 0 3947 0 0 0 20 0 28 0 476651641 29663260672 549480 33554432000 4194304 4196468 140736041848720 139777916973352 139778326122357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
Current children cumulated CPU time: 1285.12 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 2199376 KiB

[startup+222.302 s]
/proc/loadavg: 8.54 8.27 8.26 9/219 11446
/proc/meminfo: memFree=9609628/32770624 swapFree=66956720/67108860
[pid=10658] ppid=10655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10658/stat : 10658 (xcsp3-exec) S 10655 10658 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476639361 115843072 364 33554432000 4194304 5098028 140737470462048 140737470460152 139860254384764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18870272 140737470468951 140737470469210 140737470469210 140737470472134 0
/proc/10658/statm: 28282 364 305 221 0 87 0
[pid=10660] ppid=10658 vsize=28968028 memory=2198796 CPUtime=1763.76 cores=0-7
/proc/10660/stat : 10660 (java) S 10658 10658 3200 0 -1 1077944320 160438 0 0 0 176111 265 0 0 20 0 28 0 476639362 29663260672 549699 33554432000 4194304 4196468 140736041848720 140736041831264 139778691477239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
/proc/10660/statm: 7242007 549699 3539 1 0 7203107 0
[pid=10660/tid=10661] ppid=10658 vsize=28968028 memory=2197860 CPUtime=1.31 cores=0-7
/proc/10660/task/10661/stat : 10661 (java) S 10658 10658 3200 0 -1 1077944384 14661 0 0 0 123 8 0 0 20 0 28 0 476639362 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778695718016 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10662] ppid=10658 vsize=28968028 memory=2198924 CPUtime=0.13 cores=0-7
/proc/10660/task/10662/stat : 10662 (java) S 10658 10658 3200 0 -1 1077944384 1365 0 0 0 7 6 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778644097680 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10663] ppid=10658 vsize=28968028 memory=2198924 CPUtime=0.11 cores=0-7
/proc/10660/task/10663/stat : 10663 (java) S 10658 10658 3200 0 -1 1077944384 681 0 0 0 6 5 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778643044880 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10664] ppid=10658 vsize=28968028 memory=2198924 CPUtime=0.12 cores=0-7
/proc/10660/task/10664/stat : 10664 (java) S 10658 10658 3200 0 -1 1077944384 307 0 0 0 7 5 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778641992080 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10665] ppid=10658 vsize=28968028 memory=2198564 CPUtime=0.13 cores=0-7
/proc/10660/task/10665/stat : 10665 (java) S 10658 10658 3200 0 -1 1077944384 808 0 0 0 8 5 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778640939280 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10666] ppid=10658 vsize=28968028 memory=1456 CPUtime=0.13 cores=0-7
/proc/10660/task/10666/stat : 10666 (java) S 10658 10658 3200 0 -1 1077944384 350 0 0 0 8 5 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778639887504 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10667] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0.12 cores=0-7
/proc/10660/task/10667/stat : 10667 (java) S 10658 10658 3200 0 -1 1077944384 252 0 0 0 7 5 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778638834704 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10668] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0.12 cores=0-7
/proc/10660/task/10668/stat : 10668 (java) S 10658 10658 3200 0 -1 1077944384 810 0 0 0 7 5 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778236210064 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10669] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0.13 cores=0-7
/proc/10660/task/10669/stat : 10669 (java) S 10658 10658 3200 0 -1 1077944384 266 0 0 0 7 6 0 0 20 0 28 0 476639363 29663260672 549699 33554432000 4194304 4196468 140736041848720 139778235157264 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10670] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0.04 cores=0-7
/proc/10660/task/10670/stat : 10670 (java) S 10658 10658 3200 0 -1 1077944384 3613 0 0 0 3 1 0 0 20 0 28 0 476639364 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777941977456 139778691488386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10671] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0 cores=0-7
/proc/10660/task/10671/stat : 10671 (java) S 10658 10658 3200 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476639365 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777940923488 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10672] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0 cores=0-7
/proc/10660/task/10672/stat : 10672 (java) S 10658 10658 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476639365 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777939870592 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10673] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0 cores=0-7
/proc/10660/task/10673/stat : 10673 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476639367 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777938818896 139778691495835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10674] ppid=10658 vsize=28968028 memory=1456 CPUtime=2.34 cores=0-7
/proc/10660/task/10674/stat : 10674 (java) S 10658 10658 3200 0 -1 1077944384 9568 0 0 0 233 1 0 0 20 0 28 0 476639367 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777937767280 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10675] ppid=10658 vsize=28968028 memory=1456 CPUtime=2.27 cores=0-7
/proc/10660/task/10675/stat : 10675 (java) S 10658 10658 3200 0 -1 1077944384 10541 0 0 0 224 3 0 0 20 0 28 0 476639367 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777936714480 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10676] ppid=10658 vsize=28968028 memory=2198796 CPUtime=2.29 cores=0-7
/proc/10660/task/10676/stat : 10676 (java) S 10658 10658 3200 0 -1 1077944384 14343 0 0 0 226 3 0 0 20 0 28 0 476639367 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777935661680 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10677] ppid=10658 vsize=28968028 memory=2198796 CPUtime=0.99 cores=0-7
/proc/10660/task/10677/stat : 10677 (java) S 10658 10658 3200 0 -1 1077944384 13068 0 0 0 96 3 0 0 20 0 28 0 476639367 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777934608880 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10678] ppid=10658 vsize=28968028 memory=1456 CPUtime=0 cores=0-7
/proc/10660/task/10678/stat : 10678 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476639368 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777933556320 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10679] ppid=10658 vsize=28968028 memory=1456 CPUtime=0.04 cores=0-7
/proc/10660/task/10679/stat : 10679 (java) S 10658 10658 3200 0 -1 1077944384 1992 0 0 0 2 2 0 0 20 0 28 0 476639368 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777932503600 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11439] ppid=10658 vsize=28968028 memory=2198632 CPUtime=14.82 cores=0-7
/proc/10660/task/11439/stat : 11439 (java) R 10658 10658 3200 0 -1 4202560 466 0 0 0 1482 0 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777920130184 139778325855807 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11440] ppid=10658 vsize=28968028 memory=2198924 CPUtime=14.82 cores=0-7
/proc/10660/task/11440/stat : 11440 (java) R 10658 10658 3200 0 -1 4202560 325 0 0 0 1482 0 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777910665336 139778675816115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11441] ppid=10658 vsize=28968028 memory=1456 CPUtime=14.83 cores=0-7
/proc/10660/task/11441/stat : 11441 (java) R 10658 10658 3200 0 -1 4202560 393 0 0 0 1483 0 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777919079912 139778325764409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11442] ppid=10658 vsize=28968028 memory=3620 CPUtime=14.82 cores=0-7
/proc/10660/task/11442/stat : 11442 (java) R 10658 10658 3200 0 -1 4202560 1530 0 0 0 1479 3 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777921187272 139778325733184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11443] ppid=10658 vsize=28968028 memory=54916 CPUtime=14.82 cores=0-7
/proc/10660/task/11443/stat : 11443 (java) R 10658 10658 3200 0 -1 4202560 783 0 0 0 1480 2 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777916976456 139778326896329 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11444] ppid=10658 vsize=28968028 memory=1147260 CPUtime=14.52 cores=0-7
/proc/10660/task/11444/stat : 11444 (java) R 10658 10658 3200 0 -1 4202560 397 0 0 0 1452 0 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777918029000 139778325878119 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11445] ppid=10658 vsize=28968028 memory=3620 CPUtime=14.83 cores=0-7
/proc/10660/task/11445/stat : 11445 (java) R 10658 10658 3200 0 -1 4202560 332 0 0 0 1483 0 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777911721032 139778321982167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11446] ppid=10658 vsize=28968028 memory=3620 CPUtime=14.8 cores=0-7
/proc/10660/task/11446/stat : 11446 (java) R 10658 10658 3200 0 -1 4202560 663 0 0 0 1479 1 0 0 20 0 28 0 476660108 29663260672 549699 33554432000 4194304 4196468 140736041848720 139777912773576 139778325319283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
Current children cumulated CPU time: 1763.76 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 2200252 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.58 8.31 8.28 2/220 11457
/proc/meminfo: memFree=9625272/32770624 swapFree=66956720/67108860
[pid=10658] ppid=10655 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/10658/stat : 10658 (xcsp3-exec) S 10655 10658 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476639361 115843072 364 33554432000 4194304 5098028 140737470462048 140737470460152 139860254384764 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 18870272 140737470468951 140737470469210 140737470469210 140737470472134 0
/proc/10658/statm: 28282 364 305 221 0 87 0
[pid=10660] ppid=10658 vsize=28968028 memory=2181624 CPUtime=2000.58 cores=0-7
/proc/10660/stat : 10660 (java) S 10658 10658 3200 0 -1 1077944320 168291 0 0 0 199783 275 0 0 20 0 28 0 476639362 29663260672 545406 33554432000 4194304 4196468 140736041848720 140736041831264 139778691477239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
/proc/10660/statm: 7242007 545406 3539 1 0 7203107 0
[pid=10660/tid=10661] ppid=10658 vsize=28968028 memory=800 CPUtime=1.31 cores=0-7
/proc/10660/task/10661/stat : 10661 (java) S 10658 10658 3200 0 -1 1077944384 14922 0 0 0 123 8 0 0 20 0 28 0 476639362 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778695718016 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10662] ppid=10658 vsize=28968028 memory=4872558044660077418 CPUtime=0.14 cores=0-7
/proc/10660/task/10662/stat : 10662 (java) S 10658 10658 3200 0 -1 1077944384 1414 0 0 0 7 7 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778644097680 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10663] ppid=10658 vsize=28968028 memory=1556 CPUtime=0.11 cores=0-7
/proc/10660/task/10663/stat : 10663 (java) S 10658 10658 3200 0 -1 1077944384 719 0 0 0 6 5 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778643044880 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10664] ppid=10658 vsize=28968028 memory=11632 CPUtime=0.12 cores=0-7
/proc/10660/task/10664/stat : 10664 (java) S 10658 10658 3200 0 -1 1077944384 716 0 0 0 7 5 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778641992080 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10665] ppid=10658 vsize=28968028 memory=1732 CPUtime=0.14 cores=0-7
/proc/10660/task/10665/stat : 10665 (java) S 10658 10658 3200 0 -1 1077944384 828 0 0 0 8 6 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778640939280 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10666] ppid=10658 vsize=28968028 memory=1088 CPUtime=0.14 cores=0-7
/proc/10660/task/10666/stat : 10666 (java) S 10658 10658 3200 0 -1 1077944384 390 0 0 0 9 5 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778639887504 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10667] ppid=10658 vsize=28968028 memory=988 CPUtime=0.12 cores=0-7
/proc/10660/task/10667/stat : 10667 (java) S 10658 10658 3200 0 -1 1077944384 268 0 0 0 7 5 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778638834704 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10668] ppid=10658 vsize=28968028 memory=780 CPUtime=0.13 cores=0-7
/proc/10660/task/10668/stat : 10668 (java) S 10658 10658 3200 0 -1 1077944384 906 0 0 0 8 5 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778236210064 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10669] ppid=10658 vsize=28968028 memory=-7449383003082255509 CPUtime=0.14 cores=0-7
/proc/10660/task/10669/stat : 10669 (java) S 10658 10658 3200 0 -1 1077944384 298 0 0 0 8 6 0 0 20 0 28 0 476639363 29663260672 545406 33554432000 4194304 4196468 140736041848720 139778235157264 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10670] ppid=10658 vsize=28968028 memory=6791534058613427641 CPUtime=0.04 cores=0-7
/proc/10660/task/10670/stat : 10670 (java) S 10658 10658 3200 0 -1 1077944384 3928 0 0 0 3 1 0 0 20 0 28 0 476639364 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777941977456 139778691488386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10671] ppid=10658 vsize=28968028 memory=928 CPUtime=0 cores=0-7
/proc/10660/task/10671/stat : 10671 (java) S 10658 10658 3200 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476639365 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777940923488 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10672] ppid=10658 vsize=28968028 memory=1720 CPUtime=0 cores=0-7
/proc/10660/task/10672/stat : 10672 (java) S 10658 10658 3200 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 476639365 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777939870592 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10673] ppid=10658 vsize=28968028 memory=1976 CPUtime=0 cores=0-7
/proc/10660/task/10673/stat : 10673 (java) S 10658 10658 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476639367 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777938818896 139778691495835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10674] ppid=10658 vsize=28968028 memory=2432 CPUtime=2.34 cores=0-7
/proc/10660/task/10674/stat : 10674 (java) S 10658 10658 3200 0 -1 1077944384 9603 0 0 0 233 1 0 0 20 0 28 0 476639367 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777937767280 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10675] ppid=10658 vsize=28968028 memory=1436 CPUtime=2.27 cores=0-7
/proc/10660/task/10675/stat : 10675 (java) S 10658 10658 3200 0 -1 1077944384 10561 0 0 0 224 3 0 0 20 0 28 0 476639367 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777936714480 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10676] ppid=10658 vsize=28968028 memory=808 CPUtime=2.29 cores=0-7
/proc/10660/task/10676/stat : 10676 (java) S 10658 10658 3200 0 -1 1077944384 14358 0 0 0 226 3 0 0 20 0 28 0 476639367 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777935661680 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10677] ppid=10658 vsize=28968028 memory=1764 CPUtime=0.99 cores=0-7
/proc/10660/task/10677/stat : 10677 (java) S 10658 10658 3200 0 -1 1077944384 13088 0 0 0 96 3 0 0 20 0 28 0 476639367 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777934608880 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10678] ppid=10658 vsize=28968028 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10660/task/10678/stat : 10678 (java) S 10658 10658 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476639368 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777933556320 139778691487445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=10679] ppid=10658 vsize=28968028 memory=1556 CPUtime=0.05 cores=0-7
/proc/10660/task/10679/stat : 10679 (java) S 10658 10658 3200 0 -1 1077944384 2114 0 0 0 3 2 0 0 20 0 28 0 476639368 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777932503600 139778691488386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11458] ppid=10658 vsize=28968028 memory=532 CPUtime=0 cores=0-7
/proc/10660/task/11458/stat : 11458 (java) R 10658 10658 3200 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777912769360 139778325765399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11459] ppid=10658 vsize=28968028 memory=928 CPUtime=0 cores=0-7
/proc/10660/task/11459/stat : 11459 (java) R 10658 10658 3200 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777910665024 139778325880379 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11460] ppid=10658 vsize=28968028 memory=1720 CPUtime=0 cores=0-7
/proc/10660/task/11460/stat : 11460 (java) R 10658 10658 3200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777920132272 139778327234383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11461] ppid=10658 vsize=28968028 memory=1976 CPUtime=0 cores=0-7
/proc/10660/task/11461/stat : 11461 (java) R 10658 10658 3200 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777918026304 139778325565145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11462] ppid=10658 vsize=28968028 memory=2432 CPUtime=0 cores=0-7
/proc/10660/task/11462/stat : 11462 (java) R 10658 10658 3200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777921187144 139778325565064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11463] ppid=10658 vsize=28968028 memory=1436 CPUtime=0 cores=0-7
/proc/10660/task/11463/stat : 11463 (java) R 10658 10658 3200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777916976328 139778319290380 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11464] ppid=10658 vsize=28968028 memory=808 CPUtime=0 cores=0-7
/proc/10660/task/11464/stat : 11464 (java) R 10658 10658 3200 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777911721032 139778325880634 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
[pid=10660/tid=11465] ppid=10658 vsize=28968028 memory=33 CPUtime=0 cores=0-7
/proc/10660/task/11465/stat : 11465 (java) R 10658 10658 3200 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 28 0 476664562 29663260672 545406 33554432000 4194304 4196468 140736041848720 139777919081312 139778691487445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19873792 140736041849820 140736041849995 140736041849995 140736041852879 0
Current children cumulated CPU time: 2000.58 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 2183080 KiB

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

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

[startup+252.103 s]
# the end of solver process 10660 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1998.45 s, system=2.77385 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.103
CPU time (s): 2001.23
CPU user time (s): 1998.45
CPU system time (s): 2.77385
CPU usage (%): 793.812
Max. virtual memory (cumulated for all children) (KiB): 29081156
Max. memory (cumulated for all children) (KiB): 2200380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1998.45
system time used= 2.77385
maximum resident set size= 2210208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18372
involuntary context switches= 24719


# summary of solver processes directly reported to runsolver:
#   pid: 10658,10660
#   total CPU time (s): 2001.23
#   total CPU user time (s): 1998.45
#   total CPU system time (s): 2.77385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.40001 second user time and 2.64296 second system time

The end

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

Trace number 4405091

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