2017 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 4.0.5 par (2017-08-09)	SAT (TO)	925	20008.1	2520.1399

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270831-1502712457.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270831-1502712457.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
3.34/1.07	c solve instance...
3.78/1.17	o 3892 
3.78/1.19	o 3784 
4.45/1.20	o 3775 
4.45/1.22	o 2497 
6.79/1.51	o 2477 
8.22/1.71	o 2250 
8.22/1.77	o 2239 
8.91/1.81	o 2213 
8.91/1.86	o 2184 
11.85/2.25	o 2155 
12.71/2.39	o 2147 
13.38/2.42	o 2089 
13.38/2.42	o 2083 
13.38/2.45	o 2059 
13.38/2.48	o 2044 
13.38/2.49	o 2026 
13.94/2.51	o 2012 
14.68/2.61	o 2010 
14.68/2.68	o 2003 
15.46/2.74	o 1942 
17.85/3.06	o 1898 
18.59/3.17	o 1855 
18.59/3.20	o 1803 
19.27/3.22	o 1796 
19.27/3.27	o 1720 
20.80/3.41	o 1677 
20.80/3.45	o 1665 
20.80/3.47	o 1661 
21.53/3.55	o 1647 
22.29/3.67	o 1618 
23.07/3.73	o 1614 
23.07/3.77	o 1612 
24.62/3.93	o 1608 
24.62/4.00	o 1599 
26.70/4.20	o 1595 
28.97/4.52	o 1580 
33.01/5.08	o 1528 
34.52/5.28	o 1497 
35.31/5.38	o 1439 
38.49/5.77	o 1426 
39.29/5.81	o 1399 
40.08/5.93	o 1392 
40.90/6.01	o 1363 
43.24/6.35	o 1343 
44.04/6.49	o 1326 
45.56/6.64	o 1318 
45.56/6.65	o 1314 
50.32/7.22	o 1310 
50.32/7.25	o 1308 
55.88/7.91	o 1307 
55.88/8.01	o 1302 
57.50/8.12	o 1290 
58.21/8.25	o 1277 
59.03/8.32	o 1275 
59.03/8.36	o 1253 
66.71/9.31	o 1245 
66.71/9.34	o 1236 
66.71/9.37	o 1232 
72.24/10.08	o 1172 
84.91/11.68	o 1160 
92.35/12.68	o 1146 
101.90/13.86	o 1143 
103.11/14.03	o 1142 
106.22/14.40	o 1140 
120.28/16.28	o 1129 
143.22/19.34	o 1127 
152.45/20.53	o 1126 
159.44/21.48	o 1122 
228.89/30.14	o 1119 
281.75/36.83	o 1117 
292.66/38.21	o 1116 
457.62/59.34	o 1109 
730.82/93.63	o 1108 
811.39/104.08	o 1106 
955.49/122.34	o 1071 
1012.93/129.84	o 1067 
1553.75/198.03	o 1054 
1555.91/198.37	o 1024 
2210.04/280.38	o 1017 
2446.96/310.03	o 996 
2837.89/359.01	o 987 
2969.39/375.56	o 980 
4095.93/516.83	o 979 
4316.28/544.58	o 964 
5369.42/677.19	o 963 
6809.72/858.42	o 957 
7435.05/937.09	o 949 
8009.93/1009.38	o 939 
8976.23/1131.18	o 933 
10979.27/1383.65	o 930 
12229.18/1540.97	o 929 
13855.86/1746.00	o 927 
14206.79/1790.03	o 926 
14330.68/1805.70	o 925 
20007.16/2520.10	s SATISFIABLE
20007.16/2520.10	v <instantiation>
20007.16/2520.10	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] </list>
20007.16/2520.10	v 	<values>0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 12 75 77 62 23 79 47 84 37 24 100 92 29 80 97 10 33 86 51 100 43 55 43 27 20 17 28 94 65 46 49 67 69 66 60 </values>
20007.16/2520.10	v </instantiation>
20007.16/2520.10	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 (14283 MiB free)
  memory of node 1: 16384 MiB (14151 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270831-1502712457/watcher-4270831-1502712457 -o /tmp/evaluation-result-4270831-1502712457/solver-4270831-1502712457 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502706555-27567 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 931467635 HOME/instance-4270831-1502712457.xml 

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

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

solver pid=28787, runsolver pid=28784

[startup+0.100157 s]*
/proc/loadavg: 8.27 8.11 8.17 2/200 28808
/proc/meminfo: memFree=29102028/32770624 swapFree=67108860/67108860
[pid=28787] ppid=28784 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28787/stat : 28787 (xcsp3-exec) S 28784 28787 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104333738 9740288 346 33554432000 4194304 5098028 140733621104672 140733621102776 140427146064508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17985536 140733621109861 140733621110071 140733621110071 140733621112811 0
/proc/28787/statm: 2378 346 289 221 0 87 0
[pid=28789] ppid=28787 vsize=25999808 memory=26484 CPUtime=0.12 cores=0-7
/proc/28789/stat : 28789 (java) S 28787 28787 27540 0 -1 1077944320 5485 0 0 0 11 1 0 0 20 0 20 0 104333738 26623803392 6621 33554432000 4194304 4196468 140722670781728 140722670764272 140172425633527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
/proc/28789/statm: 6499952 6621 2874 1 0 6488269 0
[pid=28789/tid=28790] ppid=28787 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/28789/task/28790/stat : 28790 (java) R 28787 28787 27540 0 -1 4202560 3480 0 0 0 8 0 0 0 20 0 20 0 104333738 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172429866800 140172425655453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28791] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28791/stat : 28791 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172378253840 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28792] ppid=28787 vsize=25999808 memory=140019655427712 CPUtime=0 cores=0-7
/proc/28789/task/28792/stat : 28792 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172377201296 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28793] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28793/stat : 28793 (java) S 28787 28787 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172376148240 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28794] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28794/stat : 28794 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172375095696 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28795] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28795/stat : 28795 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172374043664 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28796] ppid=28787 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28789/task/28796/stat : 28796 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172372991120 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28797] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28797/stat : 28797 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172371938064 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28798] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28798/stat : 28798 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104333739 26623803392 6621 33554432000 4194304 4196468 140722670781728 140172370885520 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28799] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28799/stat : 28799 (java) S 28787 28787 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104333741 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171167705328 140172425644674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28800] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28800/stat : 28800 (java) S 28787 28787 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104333741 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171166651552 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28801] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28801/stat : 28801 (java) S 28787 28787 27540 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104333741 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171165598448 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28802] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28802/stat : 28802 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333744 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171164547024 140172425652123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28803] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28803/stat : 28803 (java) S 28787 28787 27540 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 104333744 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171163495152 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28804] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28804/stat : 28804 (java) S 28787 28787 27540 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104333744 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171162442608 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28805] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28805/stat : 28805 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104333744 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171161389552 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28806] ppid=28787 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/28789/task/28806/stat : 28806 (java) R 28787 28787 27540 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 104333744 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171160337008 140172425645462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28807] ppid=28787 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28807/stat : 28807 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104333744 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171159284192 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28808] ppid=28787 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/28789/task/28808/stat : 28808 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333744 26623803392 6621 33554432000 4194304 4196468 140722670781728 140171158231728 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27868 KiB

[startup+0.210376 s]*
/proc/loadavg: 8.27 8.11 8.17 2/200 28808
/proc/meminfo: memFree=29090740/32770624 swapFree=67108860/67108860
[pid=28787] ppid=28784 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28787/stat : 28787 (xcsp3-exec) S 28784 28787 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104333738 9740288 346 33554432000 4194304 5098028 140733621104672 140733621102776 140427146064508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17985536 140733621109861 140733621110071 140733621110071 140733621112811 0
/proc/28787/statm: 2378 346 289 221 0 87 0
[pid=28789] ppid=28787 vsize=26004064 memory=38840 CPUtime=0.33 cores=0-7
/proc/28789/stat : 28789 (java) S 28787 28787 27540 0 -1 1077944320 8325 0 0 0 31 2 0 0 20 0 20 0 104333738 26628161536 9710 33554432000 4194304 4196468 140722670781728 140722670764272 140172425633527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
/proc/28789/statm: 6501016 9710 3038 1 0 6488269 0
[pid=28789/tid=28790] ppid=28787 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28789/task/28790/stat : 28790 (java) D 28787 28787 27540 0 -1 1077944384 5403 0 0 0 18 1 0 0 20 0 20 0 104333738 26628161536 9710 33554432000 4194304 4196468 140722670781728 140172429835248 140172418312749 0 4 0 16800975 18446744072101617188 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28791] ppid=28787 vsize=26004064 memory=327 CPUtime=0 cores=0-7
/proc/28789/task/28791/stat : 28791 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 9710 33554432000 4194304 4196468 140722670781728 140172378253840 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28792] ppid=28787 vsize=26004096 memory=3474167087148484256 CPUtime=0 cores=0-7
/proc/28789/task/28792/stat : 28792 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628194304 9710 33554432000 4194304 4196468 140722670781728 140172377201296 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28793] ppid=28787 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/28789/task/28793/stat : 28793 (java) S 28787 28787 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104333739 26628194304 9710 33554432000 4194304 4196468 140722670781728 140172376148240 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28794] ppid=28787 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28794/stat : 28794 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628194304 9710 33554432000 4194304 4196468 140722670781728 140172375095696 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28795] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28795/stat : 28795 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 9730 33554432000 4194304 4196468 140722670781728 140172374043664 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28796] ppid=28787 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28789/task/28796/stat : 28796 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 9730 33554432000 4194304 4196468 140722670781728 140172372991120 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28797] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28797/stat : 28797 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 9730 33554432000 4194304 4196468 140722670781728 140172371938064 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28798] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28798/stat : 28798 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 9730 33554432000 4194304 4196468 140722670781728 140172370885520 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28799] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28799/stat : 28799 (java) S 28787 28787 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104333741 26628161536 9730 33554432000 4194304 4196468 140722670781728 140171167705328 140172425644674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28800] ppid=28787 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28800/stat : 28800 (java) S 28787 28787 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104333741 26628194304 9730 33554432000 4194304 4196468 140722670781728 140171166651552 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28801] ppid=28787 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28801/stat : 28801 (java) S 28787 28787 27540 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104333741 26628194304 9730 33554432000 4194304 4196468 140722670781728 140171165598448 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28802] ppid=28787 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28802/stat : 28802 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333744 26628194304 9730 33554432000 4194304 4196468 140722670781728 140171164547024 140172425652123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28803] ppid=28787 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/28789/task/28803/stat : 28803 (java) S 28787 28787 27540 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 20 0 104333744 26628161536 9730 33554432000 4194304 4196468 140722670781728 140171163495152 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28804] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28804/stat : 28804 (java) S 28787 28787 27540 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 20 0 104333744 26628161536 9730 33554432000 4194304 4196468 140722670781728 140171162442608 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28805] ppid=28787 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/28789/task/28805/stat : 28805 (java) S 28787 28787 27540 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 20 0 104333744 26628161536 9730 33554432000 4194304 4196468 140722670781728 140171161389552 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28806] ppid=28787 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/28789/task/28806/stat : 28806 (java) S 28787 28787 27540 0 -1 1077944384 777 0 0 0 7 0 0 0 20 0 20 0 104333744 26628161536 9730 33554432000 4194304 4196468 140722670781728 140171160337008 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28807] ppid=28787 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28807/stat : 28807 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104333744 26628194304 9730 33554432000 4194304 4196468 140722670781728 140171159284192 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28808] ppid=28787 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/28789/task/28808/stat : 28808 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333744 26628194304 9730 33554432000 4194304 4196468 140722670781728 140171158231728 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40224 KiB

[startup+0.310199 s]*
/proc/loadavg: 8.27 8.11 8.17 4/200 28808
/proc/meminfo: memFree=29086068/32770624 swapFree=67108860/67108860
[pid=28787] ppid=28784 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28787/stat : 28787 (xcsp3-exec) S 28784 28787 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104333738 9740288 346 33554432000 4194304 5098028 140733621104672 140733621102776 140427146064508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17985536 140733621109861 140733621110071 140733621110071 140733621112811 0
/proc/28787/statm: 2378 346 289 221 0 87 0
[pid=28789] ppid=28787 vsize=26004064 memory=45816 CPUtime=0.5 cores=0-7
/proc/28789/stat : 28789 (java) S 28787 28787 27540 0 -1 1077944320 9176 0 0 0 47 3 0 0 20 0 20 0 104333738 26628161536 11454 33554432000 4194304 4196468 140722670781728 140722670764272 140172425633527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
/proc/28789/statm: 6501016 11454 3094 1 0 6488269 0
[pid=28789/tid=28790] ppid=28787 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/28789/task/28790/stat : 28790 (java) R 28787 28787 27540 0 -1 4202560 6076 0 0 0 27 2 0 0 20 0 20 0 104333738 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172429869680 140172425645462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28791] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28791/stat : 28791 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172378253840 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28792] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28792/stat : 28792 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172377201296 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28793] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28793/stat : 28793 (java) S 28787 28787 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172376148240 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28794] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28794/stat : 28794 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172375095696 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28795] ppid=28787 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/28789/task/28795/stat : 28795 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172374043664 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28796] ppid=28787 vsize=26004064 memory=140019557823407 CPUtime=0 cores=0-7
/proc/28789/task/28796/stat : 28796 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172372991120 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28797] ppid=28787 vsize=26004064 memory=140019557825712 CPUtime=0 cores=0-7
/proc/28789/task/28797/stat : 28797 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172371938064 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28798] ppid=28787 vsize=26004064 memory=140019557828016 CPUtime=0 cores=0-7
/proc/28789/task/28798/stat : 28798 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104333739 26628161536 11454 33554432000 4194304 4196468 140722670781728 140172370885520 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28799] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28799/stat : 28799 (java) S 28787 28787 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104333741 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171167705328 140172425644674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28800] ppid=28787 vsize=26004064 memory=280039115662992 CPUtime=0 cores=0-7
/proc/28789/task/28800/stat : 28800 (java) S 28787 28787 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104333741 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171166651552 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28801] ppid=28787 vsize=26004064 memory=280039115669904 CPUtime=0 cores=0-7
/proc/28789/task/28801/stat : 28801 (java) S 28787 28787 27540 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104333741 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171165598448 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28802] ppid=28787 vsize=26004064 memory=280039115611184 CPUtime=0 cores=0-7
/proc/28789/task/28802/stat : 28802 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333744 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171164547024 140172425652123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28803] ppid=28787 vsize=26004064 memory=280039115683728 CPUtime=0.03 cores=0-7
/proc/28789/task/28803/stat : 28803 (java) S 28787 28787 27540 0 -1 1077944384 654 0 0 0 3 0 0 0 20 0 20 0 104333744 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171163495152 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28804] ppid=28787 vsize=26004064 memory=280039115690640 CPUtime=0.01 cores=0-7
/proc/28789/task/28804/stat : 28804 (java) R 28787 28787 27540 0 -1 4202560 168 0 0 0 1 0 0 0 20 0 20 0 104333744 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171162442608 140172409165065 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28805] ppid=28787 vsize=26004064 memory=280039115688336 CPUtime=0.02 cores=0-7
/proc/28789/task/28805/stat : 28805 (java) R 28787 28787 27540 0 -1 4202560 92 0 0 0 2 0 0 0 20 0 20 0 104333744 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171161389552 140172402857680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28806] ppid=28787 vsize=26004064 memory=280039115704496 CPUtime=0.12 cores=0-7
/proc/28789/task/28806/stat : 28806 (java) R 28787 28787 27540 0 -1 4202560 879 0 0 0 12 0 0 0 20 0 20 0 104333744 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171160333376 140172411004902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28807] ppid=28787 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28807/stat : 28807 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104333744 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171159284192 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28808] ppid=28787 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/28789/task/28808/stat : 28808 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333744 26628161536 11454 33554432000 4194304 4196468 140722670781728 140171158231728 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47200 KiB

[startup+0.701 s]
/proc/loadavg: 8.27 8.11 8.17 5/200 28808
/proc/meminfo: memFree=29063784/32770624 swapFree=67108860/67108860
[pid=28787] ppid=28784 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28787/stat : 28787 (xcsp3-exec) S 28784 28787 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104333738 9740288 346 33554432000 4194304 5098028 140733621104672 140733621102776 140427146064508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17985536 140733621109861 140733621110071 140733621110071 140733621112811 0
/proc/28787/statm: 2378 346 289 221 0 87 0
[pid=28789] ppid=28787 vsize=26006188 memory=93116 CPUtime=2.01 cores=0-7
/proc/28789/stat : 28789 (java) S 28787 28787 27540 0 -1 1077944320 13410 0 0 0 196 5 0 0 20 0 20 0 104333738 26630336512 23279 33554432000 4194304 4196468 140722670781728 140722670764272 140172425633527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
/proc/28789/statm: 6501547 23279 3207 1 0 6488781 0
[pid=28789/tid=28790] ppid=28787 vsize=26006188 memory=280039116062384 CPUtime=0.67 cores=0-7
/proc/28789/task/28790/stat : 28790 (java) R 28787 28787 27540 0 -1 4202560 6821 0 0 0 64 3 0 0 20 0 20 0 104333738 26630336512 23279 33554432000 4194304 4196468 140722670781728 140172429867312 140172045877687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28791] ppid=28787 vsize=26006188 memory=140019558032240 CPUtime=0 cores=0-7
/proc/28789/task/28791/stat : 28791 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26630336512 23279 33554432000 4194304 4196468 140722670781728 140172378253840 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28792] ppid=28787 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/28789/task/28792/stat : 28792 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104333739 26630336512 23279 33554432000 4194304 4196468 140722670781728 140172377201296 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28793] ppid=28787 vsize=26006188 memory=5296 CPUtime=0 cores=0-7
/proc/28789/task/28793/stat : 28793 (java) S 28787 28787 27540 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104333739 26630336512 23279 33554432000 4194304 4196468 140722670781728 140172376148240 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0

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

/proc/meminfo: memFree=28474032/32770624 swapFree=67108860/67108860
[pid=28787] ppid=28784 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28787/stat : 28787 (xcsp3-exec) S 28784 28787 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104333738 9740288 346 33554432000 4194304 5098028 140733621104672 140733621102776 140427146064508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17985536 140733621109861 140733621110071 140733621110071 140733621112811 0
/proc/28787/statm: 2378 346 289 221 0 87 0
[pid=28789] ppid=28787 vsize=26606292 memory=648696 CPUtime=19866.2 cores=0-7
/proc/28789/stat : 28789 (java) S 28787 28787 27540 0 -1 1077944320 1244217 0 0 0 1985489 1131 0 0 20 0 28 0 104333738 27244843008 162174 33554432000 4194304 4196468 140722670781728 140722670764272 140172425633527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
/proc/28789/statm: 6651573 162174 3305 1 0 6638807 0
[pid=28789/tid=28790] ppid=28787 vsize=26606292 memory=770700 CPUtime=1.14 cores=0-7
/proc/28789/task/28790/stat : 28790 (java) S 28787 28787 27540 0 -1 1077944384 11887 0 0 0 108 6 0 0 20 0 28 0 104333738 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172429874304 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28791] ppid=28787 vsize=26606292 memory=1384 CPUtime=7.04 cores=0-7
/proc/28789/task/28791/stat : 28791 (java) S 28787 28787 27540 0 -1 1077944384 45929 0 0 0 657 47 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172378253840 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28792] ppid=28787 vsize=26606292 memory=764068 CPUtime=7.02 cores=0-7
/proc/28789/task/28792/stat : 28792 (java) S 28787 28787 27540 0 -1 1077944384 47843 0 0 0 654 48 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172377201296 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28793] ppid=28787 vsize=26606292 memory=764068 CPUtime=7.06 cores=0-7
/proc/28789/task/28793/stat : 28793 (java) S 28787 28787 27540 0 -1 1077944384 55754 0 0 0 658 48 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172376148240 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28794] ppid=28787 vsize=26606292 memory=761504 CPUtime=7.04 cores=0-7
/proc/28789/task/28794/stat : 28794 (java) S 28787 28787 27540 0 -1 1077944384 44863 0 0 0 653 51 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172375095696 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28795] ppid=28787 vsize=26606292 memory=662464 CPUtime=6.99 cores=0-7
/proc/28789/task/28795/stat : 28795 (java) S 28787 28787 27540 0 -1 1077944384 46398 0 0 0 650 49 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172374043664 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28796] ppid=28787 vsize=26606292 memory=661952 CPUtime=6.97 cores=0-7
/proc/28789/task/28796/stat : 28796 (java) S 28787 28787 27540 0 -1 1077944384 52079 0 0 0 647 50 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172372991120 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28797] ppid=28787 vsize=26606292 memory=654268 CPUtime=7.05 cores=0-7
/proc/28789/task/28797/stat : 28797 (java) S 28787 28787 27540 0 -1 1077944384 47817 0 0 0 655 50 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172371938064 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28798] ppid=28787 vsize=26606292 memory=651208 CPUtime=6.96 cores=0-7
/proc/28789/task/28798/stat : 28798 (java) S 28787 28787 27540 0 -1 1077944384 48233 0 0 0 646 50 0 0 20 0 28 0 104333739 27244843008 162174 33554432000 4194304 4196468 140722670781728 140172370885520 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28799] ppid=28787 vsize=26606292 memory=1384 CPUtime=6.68 cores=0-7
/proc/28789/task/28799/stat : 28799 (java) S 28787 28787 27540 0 -1 1077944384 229279 0 0 0 336 332 0 0 20 0 28 0 104333741 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171167705328 140172425644674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28800] ppid=28787 vsize=26606292 memory=650208 CPUtime=0 cores=0-7
/proc/28789/task/28800/stat : 28800 (java) S 28787 28787 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 104333741 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171166651616 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28801] ppid=28787 vsize=26606292 memory=1085500 CPUtime=0 cores=0-7
/proc/28789/task/28801/stat : 28801 (java) S 28787 28787 27540 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 104333741 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171165598464 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28802] ppid=28787 vsize=26606292 memory=738916 CPUtime=0 cores=0-7
/proc/28789/task/28802/stat : 28802 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104333744 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171164547024 140172425652123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28803] ppid=28787 vsize=26606292 memory=4140 CPUtime=3.03 cores=0-7
/proc/28789/task/28803/stat : 28803 (java) S 28787 28787 27540 0 -1 1077944384 12829 0 0 0 302 1 0 0 20 0 28 0 104333744 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171163495152 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28804] ppid=28787 vsize=26606292 memory=1384 CPUtime=3.17 cores=0-7
/proc/28789/task/28804/stat : 28804 (java) S 28787 28787 27540 0 -1 1077944384 12323 0 0 0 314 3 0 0 20 0 28 0 104333744 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171162442608 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28805] ppid=28787 vsize=26606292 memory=4140 CPUtime=2.93 cores=0-7
/proc/28789/task/28805/stat : 28805 (java) S 28787 28787 27540 0 -1 1077944384 14144 0 0 0 291 2 0 0 20 0 28 0 104333744 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171161389552 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28806] ppid=28787 vsize=26606292 memory=1384 CPUtime=1.02 cores=0-7
/proc/28789/task/28806/stat : 28806 (java) S 28787 28787 27540 0 -1 1077944384 17423 0 0 0 99 3 0 0 20 0 28 0 104333744 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171160337008 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28807] ppid=28787 vsize=26606292 memory=4140 CPUtime=0 cores=0-7
/proc/28789/task/28807/stat : 28807 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104333744 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171159284192 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28808] ppid=28787 vsize=26606292 memory=658364 CPUtime=0.51 cores=0-7
/proc/28789/task/28808/stat : 28808 (java) S 28787 28787 27540 0 -1 1077944384 12347 0 0 0 23 28 0 0 20 0 28 0 104333744 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171158231728 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29630] ppid=28787 vsize=26606292 memory=1384 CPUtime=690.19 cores=0-7
/proc/28789/task/29630/stat : 29630 (java) R 28787 28787 27540 0 -1 4202560 5947 0 0 0 69014 5 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171079917032 140172052050688 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29631] ppid=28787 vsize=26606292 memory=654268 CPUtime=689.6 cores=0-7
/proc/28789/task/29631/stat : 29631 (java) R 28787 28787 27540 0 -1 4202560 4913 0 0 0 68957 3 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171077812840 140172055055586 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29632] ppid=28787 vsize=26606292 memory=15872 CPUtime=690.24 cores=0-7
/proc/28789/task/29632/stat : 29632 (java) R 28787 28787 27540 0 -1 4202560 15599 0 0 0 69018 6 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171075711312 140172055055126 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29633] ppid=28787 vsize=26606292 memory=1384 CPUtime=688.99 cores=0-7
/proc/28789/task/29633/stat : 29633 (java) R 28787 28787 27540 0 -1 4202560 10576 0 0 0 68891 8 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171076764680 140172056280081 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29634] ppid=28787 vsize=26606292 memory=1384 CPUtime=689.6 cores=0-7
/proc/28789/task/29634/stat : 29634 (java) R 28787 28787 27540 0 -1 4202560 9096 0 0 0 68955 5 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171080974984 140172056250293 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29635] ppid=28787 vsize=26606292 memory=4140 CPUtime=690.89 cores=0-7
/proc/28789/task/29635/stat : 29635 (java) R 28787 28787 27540 0 -1 4202560 5489 0 0 0 69086 3 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171073605776 140172055054129 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29636] ppid=28787 vsize=26606292 memory=29872 CPUtime=689.17 cores=0-7
/proc/28789/task/29636/stat : 29636 (java) R 28787 28787 27540 0 -1 4202560 5391 0 0 0 68913 4 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171082023656 140172055055683 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29637] ppid=28787 vsize=26606292 memory=1292 CPUtime=688.85 cores=0-7
/proc/28789/task/29637/stat : 29637 (java) R 28787 28787 27540 0 -1 4202560 33184 0 0 0 68859 26 0 0 20 0 28 0 104514309 27244843008 162174 33554432000 4194304 4196468 140722670781728 140171078867920 140172056561672 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
Current children cumulated CPU time: 19866.2 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 650080 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.19 8.22 8.23 9/207 29648
/proc/meminfo: memFree=28481628/32770624 swapFree=67108860/67108860
[pid=28787] ppid=28784 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/28787/stat : 28787 (xcsp3-exec) S 28784 28787 27540 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 104333738 9740288 346 33554432000 4194304 5098028 140733621104672 140733621102776 140427146064508 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17985536 140733621109861 140733621110071 140733621110071 140733621112811 0
/proc/28787/statm: 2378 346 289 221 0 87 0
[pid=28789] ppid=28787 vsize=26606292 memory=641008 CPUtime=20007.2 cores=0-7
/proc/28789/stat : 28789 (java) S 28787 28787 27540 0 -1 1077944320 1248944 0 0 0 1999582 1134 0 0 20 0 28 0 104333738 27244843008 160252 33554432000 4194304 4196468 140722670781728 140722670764272 140172425633527 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
/proc/28789/statm: 6651573 160252 3305 1 0 6638807 0
[pid=28789/tid=28790] ppid=28787 vsize=26606292 memory=1398720917958146503 CPUtime=1.14 cores=0-7
/proc/28789/task/28790/stat : 28790 (java) S 28787 28787 27540 0 -1 1077944384 11887 0 0 0 108 6 0 0 20 0 28 0 104333738 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172429874304 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28791] ppid=28787 vsize=26606292 memory=4126316290023845779 CPUtime=7.08 cores=0-7
/proc/28789/task/28791/stat : 28791 (java) S 28787 28787 27540 0 -1 1077944384 46358 0 0 0 661 47 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172378253840 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28792] ppid=28787 vsize=26606292 memory=1156 CPUtime=7.06 cores=0-7
/proc/28789/task/28792/stat : 28792 (java) S 28787 28787 27540 0 -1 1077944384 48036 0 0 0 658 48 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172377201296 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28793] ppid=28787 vsize=26606292 memory=4484 CPUtime=7.11 cores=0-7
/proc/28789/task/28793/stat : 28793 (java) S 28787 28787 27540 0 -1 1077944384 56122 0 0 0 662 49 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172376148240 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28794] ppid=28787 vsize=26606292 memory=1384 CPUtime=7.09 cores=0-7
/proc/28789/task/28794/stat : 28794 (java) S 28787 28787 27540 0 -1 1077944384 44986 0 0 0 658 51 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172375095696 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28795] ppid=28787 vsize=26606292 memory=643060 CPUtime=7.03 cores=0-7
/proc/28789/task/28795/stat : 28795 (java) S 28787 28787 27540 0 -1 1077944384 46547 0 0 0 654 49 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172374043664 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28796] ppid=28787 vsize=26606292 memory=4108 CPUtime=7.01 cores=0-7
/proc/28789/task/28796/stat : 28796 (java) S 28787 28787 27540 0 -1 1077944384 52223 0 0 0 651 50 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172372991120 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28797] ppid=28787 vsize=26606292 memory=956 CPUtime=7.1 cores=0-7
/proc/28789/task/28797/stat : 28797 (java) S 28787 28787 27540 0 -1 1077944384 47995 0 0 0 660 50 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172371938064 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28798] ppid=28787 vsize=26606292 memory=2340 CPUtime=7 cores=0-7
/proc/28789/task/28798/stat : 28798 (java) S 28787 28787 27540 0 -1 1077944384 48362 0 0 0 650 50 0 0 20 0 28 0 104333739 27244843008 160252 33554432000 4194304 4196468 140722670781728 140172370885520 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28799] ppid=28787 vsize=26606292 memory=1236 CPUtime=6.72 cores=0-7
/proc/28789/task/28799/stat : 28799 (java) S 28787 28787 27540 0 -1 1077944384 230026 0 0 0 338 334 0 0 20 0 28 0 104333741 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171167705328 140172425644674 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28800] ppid=28787 vsize=26606292 memory=2240 CPUtime=0 cores=0-7
/proc/28789/task/28800/stat : 28800 (java) S 28787 28787 27540 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 104333741 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171166651616 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28801] ppid=28787 vsize=26606292 memory=4128 CPUtime=0 cores=0-7
/proc/28789/task/28801/stat : 28801 (java) S 28787 28787 27540 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 104333741 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171165598464 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28802] ppid=28787 vsize=26606292 memory=1572 CPUtime=0 cores=0-7
/proc/28789/task/28802/stat : 28802 (java) S 28787 28787 27540 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104333744 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171164547024 140172425652123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28803] ppid=28787 vsize=26606292 memory=932 CPUtime=3.03 cores=0-7
/proc/28789/task/28803/stat : 28803 (java) S 28787 28787 27540 0 -1 1077944384 12833 0 0 0 302 1 0 0 20 0 28 0 104333744 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171163495152 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28804] ppid=28787 vsize=26606292 memory=2200 CPUtime=3.17 cores=0-7
/proc/28789/task/28804/stat : 28804 (java) S 28787 28787 27540 0 -1 1077944384 12330 0 0 0 314 3 0 0 20 0 28 0 104333744 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171162442608 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28805] ppid=28787 vsize=26606292 memory=6504 CPUtime=2.93 cores=0-7
/proc/28789/task/28805/stat : 28805 (java) S 28787 28787 27540 0 -1 1077944384 14148 0 0 0 291 2 0 0 20 0 28 0 104333744 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171161389552 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28806] ppid=28787 vsize=26606292 memory=840 CPUtime=1.02 cores=0-7
/proc/28789/task/28806/stat : 28806 (java) S 28787 28787 27540 0 -1 1077944384 17427 0 0 0 99 3 0 0 20 0 28 0 104333744 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171160337008 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28807] ppid=28787 vsize=26606292 memory=1696 CPUtime=0 cores=0-7
/proc/28789/task/28807/stat : 28807 (java) S 28787 28787 27540 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104333744 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171159284192 140172425643733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=28808] ppid=28787 vsize=26606292 memory=840 CPUtime=0.51 cores=0-7
/proc/28789/task/28808/stat : 28808 (java) S 28787 28787 27540 0 -1 1077944384 12423 0 0 0 23 28 0 0 20 0 28 0 104333744 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171158231728 140172425644674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29630] ppid=28787 vsize=26606292 memory=1696 CPUtime=707.72 cores=0-7
/proc/28789/task/29630/stat : 29630 (java) R 28787 28787 27540 0 -1 4202560 6078 0 0 0 70767 5 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171079916256 140172052050719 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29631] ppid=28787 vsize=26606292 memory=920 CPUtime=707.16 cores=0-7
/proc/28789/task/29631/stat : 29631 (java) R 28787 28787 27540 0 -1 4202560 5038 0 0 0 70713 3 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171077812704 140172055596135 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29632] ppid=28787 vsize=26606292 memory=4120 CPUtime=707.85 cores=0-7
/proc/28789/task/29632/stat : 29632 (java) R 28787 28787 27540 0 -1 4202560 15978 0 0 0 70779 6 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171075708008 140172055745983 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29633] ppid=28787 vsize=26606292 memory=1156 CPUtime=706.57 cores=0-7
/proc/28789/task/29633/stat : 29633 (java) R 28787 28787 27540 0 -1 4202560 10723 0 0 0 70648 9 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171076759976 140172055742160 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29634] ppid=28787 vsize=26606292 memory=4484 CPUtime=707.22 cores=0-7
/proc/28789/task/29634/stat : 29634 (java) R 28787 28787 27540 0 -1 4202560 9350 0 0 0 70717 5 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171080970240 140172056962738 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29635] ppid=28787 vsize=26606292 memory=1384 CPUtime=708.46 cores=0-7
/proc/28789/task/29635/stat : 29635 (java) R 28787 28787 27540 0 -1 4202560 5567 0 0 0 70842 4 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171073601568 140172055055586 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29636] ppid=28787 vsize=26606292 memory=642032 CPUtime=706.78 cores=0-7
/proc/28789/task/29636/stat : 29636 (java) R 28787 28787 27540 0 -1 4202560 5504 0 0 0 70674 4 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171082022696 140172407039816 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
[pid=28789/tid=29637] ppid=28787 vsize=26606292 memory=4108 CPUtime=706.37 cores=0-7
/proc/28789/task/29637/stat : 29637 (java) R 28787 28787 27540 0 -1 4202560 34129 0 0 0 70610 27 0 0 20 0 28 0 104514309 27244843008 160252 33554432000 4194304 4196468 140722670781728 140171078867920 140172056561583 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 6352896 140722670789778 140722670789955 140722670789955 140722670792655 0
Current children cumulated CPU time: 20007.2 s
Current children cumulated vsize: 26615804 KiB
Current children cumulated memory: 642392 KiB

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

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

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

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

[startup+2520.13 s]*
/proc/loadavg: 8.19 8.22 8.23 2/178 29650
/proc/meminfo: memFree=29113028/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001886 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 20008.1
CPU user time (s): 19996.7
CPU system time (s): 11.3555
CPU usage (%): 793.927
Max. virtual memory (cumulated for all children) (KiB): 26615804
Max. memory (cumulated for all children) (KiB): 2248264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19996.7
system time used= 11.3555
maximum resident set size= 2296620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1249834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 224591
involuntary context switches= 211332


# summary of solver processes directly reported to runsolver:
#   pid: 28787,28789
#   total CPU time (s): 20008.1
#   total CPU user time (s): 19996.7
#   total CPU system time (s): 11.3555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.6221 second user time and 26.8227 second system time

The end

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

Trace number 4270831

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