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)	788	19980.699	2520.1201

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270829-1502712538.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270829-1502712538.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.85/1.00	c solve instance...
3.36/1.07	o 2353 
5.57/1.30	o 2160 
6.33/1.43	o 1929 
8.66/1.77	o 1784 
9.47/1.81	o 1771 
9.47/1.84	o 1732 
9.47/1.84	o 1731 
9.47/1.87	o 1730 
9.47/1.89	o 1704 
10.10/1.91	o 1703 
10.90/2.03	o 1696 
12.37/2.25	o 1656 
12.37/2.26	o 1627 
13.19/2.32	o 1625 
13.19/2.33	o 1610 
13.19/2.36	o 1590 
13.82/2.41	o 1585 
13.82/2.42	o 1583 
13.82/2.45	o 1563 
21.56/3.48	o 1556 
27.18/4.17	o 1549 
27.78/4.23	o 1544 
29.99/4.52	o 1532 
29.99/4.53	o 1529 
30.62/4.60	o 1484 
30.62/4.67	o 1478 
32.15/4.80	o 1475 
32.15/4.83	o 1433 
32.15/4.85	o 1417 
32.81/4.92	o 1413 
33.46/5.01	o 1389 
33.46/5.02	o 1384 
33.46/5.03	o 1360 
42.16/6.14	o 1350 
46.08/6.66	o 1346 
48.46/6.98	o 1345 
50.13/7.24	o 1298 
55.45/7.91	o 1294 
68.99/9.68	o 1293 
77.74/10.78	o 1274 
84.52/11.66	o 1261 
84.52/11.67	o 1238 
93.23/12.79	o 1237 
94.71/12.93	o 1224 
128.15/17.17	o 1192 
130.72/17.54	o 1189 
133.65/18.31	o 1185 
155.20/21.07	o 1178 
156.47/21.21	o 1176 
156.47/21.26	o 1172 
156.47/21.28	o 1146 
201.78/26.90	o 1140 
202.44/27.14	o 1139 
203.17/27.30	o 1138 
207.93/27.99	o 1137 
207.93/28.01	o 1132 
208.55/28.09	o 1113 
212.39/28.53	o 1092 
256.32/34.05	o 1081 
274.02/36.54	o 1080 
308.86/40.99	o 1057 
323.56/43.47	o 1047 
442.61/58.84	o 1033 
453.74/60.52	o 1029 
526.85/70.04	o 1022 
601.46/80.19	o 991 
786.84/103.52	o 985 
846.19/111.61	o 980 
846.19/111.63	o 973 
862.76/113.78	o 962 
912.12/120.54	o 956 
919.78/121.59	o 954 
1060.40/139.38	o 950 
1087.45/143.12	o 944 
1437.25/187.10	o 931 
1633.10/211.76	o 929 
1823.14/235.64	o 925 
2354.55/302.43	o 923 
3217.26/410.89	o 910 
3628.06/462.55	o 902 
3946.65/502.65	o 887 
4598.73/584.71	o 878 
4752.27/604.06	o 877 
5447.33/691.45	o 876 
5598.48/710.44	o 844 
5893.47/747.57	o 836 
5996.10/760.41	o 835 
6081.15/771.15	o 834 
6513.95/825.65	o 833 
7103.33/899.82	o 829 
7776.39/984.54	o 828 
8264.48/1046.26	o 827 
8453.27/1070.01	o 808 
9545.31/1207.56	o 804 
9653.71/1221.14	o 798 
10838.20/1370.25	o 796 
12478.37/1576.68	o 789 
16974.54/2142.14	o 788 
19979.93/2520.08	s SATISFIABLE
19979.93/2520.08	v <instantiation>
19979.93/2520.08	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
19979.93/2520.08	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 46 78 72 61 97 98 93 90 49 23 44 68 93 16 61 34 89 68 22 32 26 17 79 100 79 39 70 100 68 59 72 22 </values>
19979.93/2520.08	v </instantiation>
19979.93/2520.08	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 (15040 MiB free)
  memory of node 1: 16384 MiB (15668 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270829-1502712538/watcher-4270829-1502712538 -o /tmp/evaluation-result-4270829-1502712538/solver-4270829-1502712538 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502709158-4883 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 164406759 HOME/instance-4270829-1502712538.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=5031, runsolver pid=5028

[startup+0.100164 s]*
/proc/loadavg: 8.20 8.39 8.37 2/199 5052
/proc/meminfo: memFree=31432208/32770624 swapFree=67108860/67108860
[pid=5031] ppid=5028 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5031/stat : 5031 (xcsp3-exec) S 5028 5031 4856 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104341576 9740288 346 33554432000 4194304 5098028 140737334244432 140737334242536 140017492800124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20189184 140737334248549 140737334248759 140737334248759 140737334251499 0
/proc/5031/statm: 2378 346 289 221 0 87 0
[pid=5033] ppid=5031 vsize=25999808 memory=26372 CPUtime=0.11 cores=0-7
/proc/5033/stat : 5033 (java) S 5031 5031 4856 0 -1 1077944320 5477 0 0 0 10 1 0 0 20 0 20 0 104341576 26623803392 6593 33554432000 4194304 4196468 140731829314704 140731829297248 139851204108023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
/proc/5033/statm: 6499952 6593 2865 1 0 6488269 0
[pid=5033/tid=5034] ppid=5031 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5033/task/5034/stat : 5034 (java) R 5031 5031 4856 0 -1 4202560 3483 0 0 0 8 1 0 0 20 0 20 0 104341576 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851208340272 139851204129949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5035] ppid=5031 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5033/task/5035/stat : 5035 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851126688784 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5036] ppid=5031 vsize=25999808 memory=140290958689920 CPUtime=0 cores=0-7
/proc/5033/task/5036/stat : 5036 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851125636240 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5037] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5037/stat : 5037 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851124583184 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5038] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5038/stat : 5038 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851123530640 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5039] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5039/stat : 5039 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851122477584 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5040] ppid=5031 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5033/task/5040/stat : 5040 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851121425040 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5041] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5041/stat : 5041 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851120371984 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5042] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5042/stat : 5042 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341577 26623803392 6593 33554432000 4194304 4196468 140731829314704 139851119319440 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5043] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5043/stat : 5043 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341579 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850465438448 139851204119170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5044] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5044/stat : 5044 (java) S 5031 5031 4856 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104341579 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850464384672 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5045] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5045/stat : 5045 (java) S 5031 5031 4856 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104341579 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850463331568 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5046] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5046/stat : 5046 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341582 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850462280144 139851204126619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5047] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5047/stat : 5047 (java) S 5031 5031 4856 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 104341582 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850461227248 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5048] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5048/stat : 5048 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341582 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850460174704 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5049] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5049/stat : 5049 (java) S 5031 5031 4856 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 104341582 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850459121648 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5050] ppid=5031 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5033/task/5050/stat : 5050 (java) S 5031 5031 4856 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 20 0 104341582 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850458069104 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5051] ppid=5031 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5051/stat : 5051 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341582 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850457017312 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5052] ppid=5031 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5033/task/5052/stat : 5052 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341582 26623803392 6593 33554432000 4194304 4196468 140731829314704 139850455964848 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27756 KiB

[startup+0.209941 s]*
/proc/loadavg: 8.20 8.39 8.37 3/199 5052
/proc/meminfo: memFree=31420996/32770624 swapFree=67108860/67108860
[pid=5031] ppid=5028 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5031/stat : 5031 (xcsp3-exec) S 5028 5031 4856 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104341576 9740288 346 33554432000 4194304 5098028 140737334244432 140737334242536 140017492800124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20189184 140737334248549 140737334248759 140737334248759 140737334251499 0
/proc/5031/statm: 2378 346 289 221 0 87 0
[pid=5033] ppid=5031 vsize=26004064 memory=39116 CPUtime=0.33 cores=0-7
/proc/5033/stat : 5033 (java) S 5031 5031 4856 0 -1 1077944320 8318 0 0 0 30 3 0 0 20 0 20 0 104341576 26628161536 9779 33554432000 4194304 4196468 140731829314704 140731829297248 139851204108023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
/proc/5033/statm: 6501016 9779 3027 1 0 6488269 0
[pid=5033/tid=5034] ppid=5031 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5033/task/5034/stat : 5034 (java) R 5031 5031 4856 0 -1 4202560 5396 0 0 0 18 2 0 0 20 0 20 0 104341576 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851208323072 139851204129949 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5035] ppid=5031 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/5033/task/5035/stat : 5035 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851126688784 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5036] ppid=5031 vsize=26004064 memory=140290958700205 CPUtime=0 cores=0-7
/proc/5033/task/5036/stat : 5036 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851125636240 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5037] ppid=5031 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5033/task/5037/stat : 5037 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851124583184 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5038] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5038/stat : 5038 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851123530640 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5039] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5039/stat : 5039 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851122477584 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5040] ppid=5031 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5033/task/5040/stat : 5040 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851121425040 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5041] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5041/stat : 5041 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851120371984 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5042] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5042/stat : 5042 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 9779 33554432000 4194304 4196468 140731829314704 139851119319440 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5043] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5043/stat : 5043 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341579 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850465438448 139851204119170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5044] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5044/stat : 5044 (java) S 5031 5031 4856 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104341579 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850464384672 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5045] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5045/stat : 5045 (java) S 5031 5031 4856 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104341579 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850463331568 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5046] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5046/stat : 5046 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341582 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850462280144 139851204126619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5047] ppid=5031 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5033/task/5047/stat : 5047 (java) S 5031 5031 4856 0 -1 1077944384 404 0 0 0 1 0 0 0 20 0 20 0 104341582 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850461227248 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5048] ppid=5031 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5033/task/5048/stat : 5048 (java) S 5031 5031 4856 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 20 0 104341582 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850460174704 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5049] ppid=5031 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5033/task/5049/stat : 5049 (java) S 5031 5031 4856 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 20 0 104341582 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850459121648 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5050] ppid=5031 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5033/task/5050/stat : 5050 (java) R 5031 5031 4856 0 -1 4202560 742 0 0 0 7 0 0 0 20 0 20 0 104341582 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850458069104 139851204119958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5051] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5051/stat : 5051 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341582 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850457017312 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5052] ppid=5031 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5033/task/5052/stat : 5052 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341582 26628161536 9779 33554432000 4194304 4196468 140731829314704 139850455964848 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40500 KiB

[startup+0.309355 s]*
/proc/loadavg: 8.20 8.39 8.37 3/199 5052
/proc/meminfo: memFree=31415708/32770624 swapFree=67108860/67108860
[pid=5031] ppid=5028 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5031/stat : 5031 (xcsp3-exec) S 5028 5031 4856 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104341576 9740288 346 33554432000 4194304 5098028 140737334244432 140737334242536 140017492800124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20189184 140737334248549 140737334248759 140737334248759 140737334251499 0
/proc/5031/statm: 2378 346 289 221 0 87 0
[pid=5033] ppid=5031 vsize=26004064 memory=44036 CPUtime=0.51 cores=0-7
/proc/5033/stat : 5033 (java) S 5031 5031 4856 0 -1 1077944320 9233 0 0 0 47 4 0 0 20 0 20 0 104341576 26628161536 11009 33554432000 4194304 4196468 140731829314704 140731829297248 139851204108023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
/proc/5033/statm: 6501016 11009 3111 1 0 6488269 0
[pid=5033/tid=5034] ppid=5031 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5033/task/5034/stat : 5034 (java) R 5031 5031 4856 0 -1 4202560 6071 0 0 0 27 2 0 0 20 0 20 0 104341576 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851208346704 139851204119958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5035] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5035/stat : 5035 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851126688784 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5036] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5036/stat : 5036 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851125636240 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5037] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5037/stat : 5037 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851124583184 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5038] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5038/stat : 5038 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851123530640 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5039] ppid=5031 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5033/task/5039/stat : 5039 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851122477584 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5040] ppid=5031 vsize=26004064 memory=140290811851695 CPUtime=0 cores=0-7
/proc/5033/task/5040/stat : 5040 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851121425040 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5041] ppid=5031 vsize=26004064 memory=140290811854000 CPUtime=0 cores=0-7
/proc/5033/task/5041/stat : 5041 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851120371984 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5042] ppid=5031 vsize=26004064 memory=140290811856304 CPUtime=0 cores=0-7
/proc/5033/task/5042/stat : 5042 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341577 26628161536 11009 33554432000 4194304 4196468 140731829314704 139851119319440 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5043] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5043/stat : 5043 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341579 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850465438448 139851204119170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5044] ppid=5031 vsize=26004064 memory=280581623719568 CPUtime=0 cores=0-7
/proc/5033/task/5044/stat : 5044 (java) S 5031 5031 4856 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104341579 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850464384672 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5045] ppid=5031 vsize=26004064 memory=280581623726480 CPUtime=0 cores=0-7
/proc/5033/task/5045/stat : 5045 (java) S 5031 5031 4856 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104341579 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850463331568 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5046] ppid=5031 vsize=26004064 memory=280581623667760 CPUtime=0 cores=0-7
/proc/5033/task/5046/stat : 5046 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341582 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850462280144 139851204126619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5047] ppid=5031 vsize=26004064 memory=280581623740304 CPUtime=0.02 cores=0-7
/proc/5033/task/5047/stat : 5047 (java) S 5031 5031 4856 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 104341582 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850461227248 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5048] ppid=5031 vsize=26004064 memory=280581623747216 CPUtime=0.03 cores=0-7
/proc/5033/task/5048/stat : 5048 (java) S 5031 5031 4856 0 -1 1077944384 347 0 0 0 3 0 0 0 20 0 20 0 104341582 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850460174704 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5049] ppid=5031 vsize=26004064 memory=280581623744912 CPUtime=0.01 cores=0-7
/proc/5033/task/5049/stat : 5049 (java) S 5031 5031 4856 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 20 0 104341582 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850459121648 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5050] ppid=5031 vsize=26004064 memory=280581623761072 CPUtime=0.12 cores=0-7
/proc/5033/task/5050/stat : 5050 (java) R 5031 5031 4856 0 -1 4202560 841 0 0 0 12 0 0 0 20 0 20 0 104341582 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850458066768 139851196345150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5051] ppid=5031 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5051/stat : 5051 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104341582 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850457017312 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5052] ppid=5031 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5033/task/5052/stat : 5052 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341582 26628161536 11009 33554432000 4194304 4196468 140731829314704 139850455964848 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45420 KiB

[startup+0.700976 s]
/proc/loadavg: 8.20 8.39 8.37 6/199 5052
/proc/meminfo: memFree=31388724/32770624 swapFree=67108860/67108860
[pid=5031] ppid=5028 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5031/stat : 5031 (xcsp3-exec) S 5028 5031 4856 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104341576 9740288 346 33554432000 4194304 5098028 140737334244432 140737334242536 140017492800124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20189184 140737334248549 140737334248759 140737334248759 140737334251499 0
/proc/5031/statm: 2378 346 289 221 0 87 0
[pid=5033] ppid=5031 vsize=26006188 memory=96180 CPUtime=2.01 cores=0-7
/proc/5033/stat : 5033 (java) S 5031 5031 4856 0 -1 1077944320 13531 0 0 0 195 6 0 0 20 0 20 0 104341576 26630336512 24045 33554432000 4194304 4196468 140731829314704 140731829297248 139851204108023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
/proc/5033/statm: 6501547 24045 3211 1 0 6488781 0
[pid=5033/tid=5034] ppid=5031 vsize=26006188 memory=280581624118960 CPUtime=0.67 cores=0-7
/proc/5033/task/5034/stat : 5034 (java) R 5031 5031 4856 0 -1 4202560 6687 0 0 0 64 3 0 0 20 0 20 0 104341576 26630336512 24045 33554432000 4194304 4196468 140731829314704 139851208343632 139851204119958 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5035] ppid=5031 vsize=26006188 memory=140290812060528 CPUtime=0 cores=0-7
/proc/5033/task/5035/stat : 5035 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104341577 26630336512 24045 33554432000 4194304 4196468 140731829314704 139851126688784 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5036] ppid=5031 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/5033/task/5036/stat : 5036 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26630336512 24045 33554432000 4194304 4196468 140731829314704 139851125636240 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5037] ppid=5031 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/5033/task/5037/stat : 5037 (java) S 5031 5031 4856 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104341577 26630336512 24045 33554432000 4194304 4196468 140731829314704 139851124583184 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0

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

[pid=5033/tid=5903] ppid=5031 vsize=26539728 memory=1384 CPUtime=297.85 cores=0-7
/proc/5033/task/5903/stat : 5903 (java) R 5031 5031 4856 0 -1 4202560 2711 0 0 0 29783 2 0 0 20 0 28 0 104555791 27176681472 124252 33554432000 4194304 4196468 140731829314704 139849315619656 139850804058246 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
Current children cumulated CPU time: 19361.9 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 498392 KiB

[startup+2502.3 s]
/proc/loadavg: 8.06 8.24 8.29 9/207 5903
/proc/meminfo: memFree=30955348/32770624 swapFree=67108860/67108860
[pid=5031] ppid=5028 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5031/stat : 5031 (xcsp3-exec) S 5028 5031 4856 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104341576 9740288 346 33554432000 4194304 5098028 140737334244432 140737334242536 140017492800124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20189184 140737334248549 140737334248759 140737334248759 140737334251499 0
/proc/5031/statm: 2378 346 289 221 0 87 0
[pid=5033] ppid=5031 vsize=26539728 memory=497300 CPUtime=19839 cores=0-7
/proc/5033/stat : 5033 (java) S 5031 5031 4856 0 -1 1077944320 1171350 0 0 0 1983101 802 0 0 20 0 28 0 104341576 27176681472 124325 33554432000 4194304 4196468 140731829314704 140731829297248 139851204108023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
/proc/5033/statm: 6634932 124325 3304 1 0 6622166 0
[pid=5033/tid=5034] ppid=5031 vsize=26539728 memory=498332 CPUtime=1.06 cores=0-7
/proc/5033/task/5034/stat : 5034 (java) S 5031 5031 4856 0 -1 1077944384 15096 0 0 0 100 6 0 0 20 0 28 0 104341576 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851208348800 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5035] ppid=5031 vsize=26539728 memory=386148 CPUtime=6.91 cores=0-7
/proc/5033/task/5035/stat : 5035 (java) S 5031 5031 4856 0 -1 1077944384 42497 0 0 0 653 38 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851126688784 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5036] ppid=5031 vsize=26539728 memory=386152 CPUtime=6.95 cores=0-7
/proc/5033/task/5036/stat : 5036 (java) S 5031 5031 4856 0 -1 1077944384 47293 0 0 0 657 38 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851125636240 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5037] ppid=5031 vsize=26539728 memory=386152 CPUtime=6.92 cores=0-7
/proc/5033/task/5037/stat : 5037 (java) S 5031 5031 4856 0 -1 1077944384 45506 0 0 0 653 39 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851124583184 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5038] ppid=5031 vsize=26539728 memory=1384 CPUtime=6.9 cores=0-7
/proc/5033/task/5038/stat : 5038 (java) S 5031 5031 4856 0 -1 1077944384 43410 0 0 0 651 39 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851123530640 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5039] ppid=5031 vsize=26539728 memory=500400 CPUtime=6.85 cores=0-7
/proc/5033/task/5039/stat : 5039 (java) S 5031 5031 4856 0 -1 1077944384 41399 0 0 0 648 37 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851122477584 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5040] ppid=5031 vsize=26539728 memory=537468 CPUtime=6.91 cores=0-7
/proc/5033/task/5040/stat : 5040 (java) S 5031 5031 4856 0 -1 1077944384 45050 0 0 0 653 38 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851121425040 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5041] ppid=5031 vsize=26539728 memory=495060 CPUtime=6.83 cores=0-7
/proc/5033/task/5041/stat : 5041 (java) S 5031 5031 4856 0 -1 1077944384 41791 0 0 0 645 38 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851120371984 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5042] ppid=5031 vsize=26539728 memory=487048 CPUtime=6.87 cores=0-7
/proc/5033/task/5042/stat : 5042 (java) S 5031 5031 4856 0 -1 1077944384 43467 0 0 0 650 37 0 0 20 0 28 0 104341577 27176681472 124325 33554432000 4194304 4196468 140731829314704 139851119319440 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5043] ppid=5031 vsize=26539728 memory=502984 CPUtime=4.85 cores=0-7
/proc/5033/task/5043/stat : 5043 (java) S 5031 5031 4856 0 -1 1077944384 161317 0 0 0 289 196 0 0 20 0 28 0 104341579 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850465438448 139851204119170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5044] ppid=5031 vsize=26539728 memory=502984 CPUtime=0 cores=0-7
/proc/5033/task/5044/stat : 5044 (java) S 5031 5031 4856 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 104341579 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850464384736 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5045] ppid=5031 vsize=26539728 memory=495292 CPUtime=0 cores=0-7
/proc/5033/task/5045/stat : 5045 (java) S 5031 5031 4856 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 104341579 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850463331584 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5046] ppid=5031 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/5033/task/5046/stat : 5046 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104341582 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850462280144 139851204126619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5047] ppid=5031 vsize=26539728 memory=497212 CPUtime=2.54 cores=0-7
/proc/5033/task/5047/stat : 5047 (java) S 5031 5031 4856 0 -1 1077944384 13199 0 0 0 251 3 0 0 20 0 28 0 104341582 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850461227248 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5048] ppid=5031 vsize=26539728 memory=1384 CPUtime=2.51 cores=0-7
/proc/5033/task/5048/stat : 5048 (java) S 5031 5031 4856 0 -1 1077944384 10596 0 0 0 250 1 0 0 20 0 28 0 104341582 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850460174704 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5049] ppid=5031 vsize=26539728 memory=498332 CPUtime=2.58 cores=0-7
/proc/5033/task/5049/stat : 5049 (java) S 5031 5031 4856 0 -1 1077944384 7302 0 0 0 257 1 0 0 20 0 28 0 104341582 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850459121648 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5050] ppid=5031 vsize=26539728 memory=498332 CPUtime=1.02 cores=0-7
/proc/5033/task/5050/stat : 5050 (java) S 5031 5031 4856 0 -1 1077944384 16950 0 0 0 98 4 0 0 20 0 28 0 104341582 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850458069104 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5051] ppid=5031 vsize=26539728 memory=498328 CPUtime=0 cores=0-7
/proc/5033/task/5051/stat : 5051 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104341582 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850457017312 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5052] ppid=5031 vsize=26539728 memory=1384 CPUtime=0.45 cores=0-7
/proc/5033/task/5052/stat : 5052 (java) S 5031 5031 4856 0 -1 1077944384 8055 0 0 0 9 36 0 0 20 0 28 0 104341582 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850455964848 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5896] ppid=5031 vsize=26539728 memory=484520 CPUtime=356.53 cores=0-7
/proc/5033/task/5896/stat : 5896 (java) R 5031 5031 4856 0 -1 4202560 3573 0 0 0 35650 3 0 0 20 0 28 0 104555790 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850447953848 139850804532460 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5897] ppid=5031 vsize=26539728 memory=1384 CPUtime=356.22 cores=0-7
/proc/5033/task/5897/stat : 5897 (java) R 5031 5031 4856 0 -1 4202560 2857 0 0 0 35621 1 0 0 20 0 28 0 104555790 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850445849672 139850803512803 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5898] ppid=5031 vsize=26539728 memory=8112282956445269571 CPUtime=357.37 cores=0-7
/proc/5033/task/5898/stat : 5898 (java) R 5031 5031 4856 0 -1 4202560 14262 0 0 0 35733 4 0 0 20 0 28 0 104555790 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850446901832 139850803273323 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5899] ppid=5031 vsize=26539728 memory=288230617509003574 CPUtime=356 cores=0-7
/proc/5033/task/5899/stat : 5899 (java) R 5031 5031 4856 0 -1 4202560 10004 0 0 0 35597 3 0 0 20 0 28 0 104555790 27176681472 124325 33554432000 4194304 4196468 140731829314704 139849319829704 139850799798390 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5900] ppid=5031 vsize=26539728 memory=18488 CPUtime=357.02 cores=0-7
/proc/5033/task/5900/stat : 5900 (java) R 5031 5031 4856 0 -1 4202560 14391 0 0 0 35696 6 0 0 20 0 28 0 104555790 27176681472 124325 33554432000 4194304 4196468 140731829314704 139849318777288 139850804059590 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5901] ppid=5031 vsize=26539728 memory=1796 CPUtime=356.9 cores=0-7
/proc/5033/task/5901/stat : 5901 (java) R 5031 5031 4856 0 -1 4202560 4285 0 0 0 35689 1 0 0 20 0 28 0 104555791 27176681472 124325 33554432000 4194304 4196468 140731829314704 139850444795976 139850803512366 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5902] ppid=5031 vsize=26539728 memory=498332 CPUtime=355.29 cores=0-7
/proc/5033/task/5902/stat : 5902 (java) R 5031 5031 4856 0 -1 4202560 61126 0 0 0 35502 27 0 0 20 0 28 0 104555791 27176681472 124325 33554432000 4194304 4196468 140731829314704 139849316671296 139850798381631 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5903] ppid=5031 vsize=26539728 memory=498332 CPUtime=357.26 cores=0-7
/proc/5033/task/5903/stat : 5903 (java) R 5031 5031 4856 0 -1 4202560 2740 0 0 0 35724 2 0 0 20 0 28 0 104555791 27176681472 124325 33554432000 4194304 4196468 140731829314704 139849315622416 139850801743296 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
Current children cumulated CPU time: 19839 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 498684 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.23 8.28 9/207 5903
/proc/meminfo: memFree=30955404/32770624 swapFree=67108860/67108860
[pid=5031] ppid=5028 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5031/stat : 5031 (xcsp3-exec) S 5028 5031 4856 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104341576 9740288 346 33554432000 4194304 5098028 140737334244432 140737334242536 140017492800124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20189184 140737334248549 140737334248759 140737334248759 140737334251499 0
/proc/5031/statm: 2378 346 289 221 0 87 0
[pid=5033] ppid=5031 vsize=26539728 memory=496916 CPUtime=19979.9 cores=0-7
/proc/5033/stat : 5033 (java) S 5031 5031 4856 0 -1 1077944320 1172305 0 0 0 1997190 803 0 0 20 0 28 0 104341576 27176681472 124229 33554432000 4194304 4196468 140731829314704 140731829297248 139851204108023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
/proc/5033/statm: 6634932 124229 3304 1 0 6622166 0
[pid=5033/tid=5034] ppid=5031 vsize=26539728 memory=-6733704525061579059 CPUtime=1.06 cores=0-7
/proc/5033/task/5034/stat : 5034 (java) S 5031 5031 4856 0 -1 1077944384 15096 0 0 0 100 6 0 0 20 0 28 0 104341576 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851208348800 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5035] ppid=5031 vsize=26539728 memory=4872558044660077418 CPUtime=6.98 cores=0-7
/proc/5033/task/5035/stat : 5035 (java) S 5031 5031 4856 0 -1 1077944384 42538 0 0 0 660 38 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851126688784 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5036] ppid=5031 vsize=26539728 memory=1384 CPUtime=7.03 cores=0-7
/proc/5033/task/5036/stat : 5036 (java) S 5031 5031 4856 0 -1 1077944384 47342 0 0 0 665 38 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851125636240 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5037] ppid=5031 vsize=26539728 memory=498968 CPUtime=7 cores=0-7
/proc/5033/task/5037/stat : 5037 (java) S 5031 5031 4856 0 -1 1077944384 45522 0 0 0 661 39 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851124583184 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5038] ppid=5031 vsize=26539728 memory=4104 CPUtime=6.97 cores=0-7
/proc/5033/task/5038/stat : 5038 (java) S 5031 5031 4856 0 -1 1077944384 43505 0 0 0 658 39 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851123530640 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5039] ppid=5031 vsize=26539728 memory=1384 CPUtime=6.92 cores=0-7
/proc/5033/task/5039/stat : 5039 (java) S 5031 5031 4856 0 -1 1077944384 41403 0 0 0 655 37 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851122477584 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5040] ppid=5031 vsize=26539728 memory=1948 CPUtime=6.98 cores=0-7
/proc/5033/task/5040/stat : 5040 (java) S 5031 5031 4856 0 -1 1077944384 45082 0 0 0 660 38 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851121425040 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5041] ppid=5031 vsize=26539728 memory=8564 CPUtime=6.9 cores=0-7
/proc/5033/task/5041/stat : 5041 (java) S 5031 5031 4856 0 -1 1077944384 41806 0 0 0 652 38 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851120371984 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5042] ppid=5031 vsize=26539728 memory=1228 CPUtime=6.94 cores=0-7
/proc/5033/task/5042/stat : 5042 (java) S 5031 5031 4856 0 -1 1077944384 43502 0 0 0 657 37 0 0 20 0 28 0 104341577 27176681472 124229 33554432000 4194304 4196468 140731829314704 139851119319440 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5043] ppid=5031 vsize=26539728 memory=12028 CPUtime=4.87 cores=0-7
/proc/5033/task/5043/stat : 5043 (java) S 5031 5031 4856 0 -1 1077944384 161507 0 0 0 291 196 0 0 20 0 28 0 104341579 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850465438448 139851204119170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5044] ppid=5031 vsize=26539728 memory=5668 CPUtime=0 cores=0-7
/proc/5033/task/5044/stat : 5044 (java) S 5031 5031 4856 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 104341579 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850464384736 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5045] ppid=5031 vsize=26539728 memory=1008 CPUtime=0 cores=0-7
/proc/5033/task/5045/stat : 5045 (java) S 5031 5031 4856 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 104341579 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850463331584 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5046] ppid=5031 vsize=26539728 memory=4612 CPUtime=0 cores=0-7
/proc/5033/task/5046/stat : 5046 (java) S 5031 5031 4856 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104341582 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850462280144 139851204126619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5047] ppid=5031 vsize=26539728 memory=1428 CPUtime=2.54 cores=0-7
/proc/5033/task/5047/stat : 5047 (java) S 5031 5031 4856 0 -1 1077944384 13201 0 0 0 251 3 0 0 20 0 28 0 104341582 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850461227248 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5048] ppid=5031 vsize=26539728 memory=1204 CPUtime=2.51 cores=0-7
/proc/5033/task/5048/stat : 5048 (java) S 5031 5031 4856 0 -1 1077944384 10598 0 0 0 250 1 0 0 20 0 28 0 104341582 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850460174704 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5049] ppid=5031 vsize=26539728 memory=15876 CPUtime=2.58 cores=0-7
/proc/5033/task/5049/stat : 5049 (java) S 5031 5031 4856 0 -1 1077944384 7304 0 0 0 257 1 0 0 20 0 28 0 104341582 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850459121648 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5050] ppid=5031 vsize=26539728 memory=2240 CPUtime=1.02 cores=0-7
/proc/5033/task/5050/stat : 5050 (java) S 5031 5031 4856 0 -1 1077944384 16952 0 0 0 98 4 0 0 20 0 28 0 104341582 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850458069104 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5051] ppid=5031 vsize=26539728 memory=4128 CPUtime=0 cores=0-7
/proc/5033/task/5051/stat : 5051 (java) S 5031 5031 4856 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104341582 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850457017312 139851204118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5052] ppid=5031 vsize=26539728 memory=928 CPUtime=0.45 cores=0-7
/proc/5033/task/5052/stat : 5052 (java) S 5031 5031 4856 0 -1 1077944384 8066 0 0 0 9 36 0 0 20 0 28 0 104341582 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850455964848 139851204119170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5896] ppid=5031 vsize=26539728 memory=1576 CPUtime=374.01 cores=0-7
/proc/5033/task/5896/stat : 5896 (java) R 5031 5031 4856 0 -1 4202560 3609 0 0 0 37398 3 0 0 20 0 28 0 104555790 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850447953848 139850804057966 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5897] ppid=5031 vsize=26539728 memory=2196 CPUtime=373.69 cores=0-7
/proc/5033/task/5897/stat : 5897 (java) R 5031 5031 4856 0 -1 4202560 2912 0 0 0 37368 1 0 0 20 0 28 0 104555790 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850445849672 139850803021932 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5898] ppid=5031 vsize=26539728 memory=6764 CPUtime=374.95 cores=0-7
/proc/5033/task/5898/stat : 5898 (java) R 5031 5031 4856 0 -1 4202560 14350 0 0 0 37491 4 0 0 20 0 28 0 104555790 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850446900880 139850804796914 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5899] ppid=5031 vsize=26539728 memory=840 CPUtime=373.58 cores=0-7
/proc/5033/task/5899/stat : 5899 (java) R 5031 5031 4856 0 -1 4202560 10079 0 0 0 37355 3 0 0 20 0 28 0 104555790 27176681472 124229 33554432000 4194304 4196468 140731829314704 139849319829528 139850802769562 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5900] ppid=5031 vsize=26539728 memory=1692 CPUtime=374.61 cores=0-7
/proc/5033/task/5900/stat : 5900 (java) R 5031 5031 4856 0 -1 4202560 14413 0 0 0 37455 6 0 0 20 0 28 0 104555790 27176681472 124229 33554432000 4194304 4196468 140731829314704 139849318779456 139850803512835 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5901] ppid=5031 vsize=26539728 memory=916 CPUtime=374.39 cores=0-7
/proc/5033/task/5901/stat : 5901 (java) R 5031 5031 4856 0 -1 4202560 4318 0 0 0 37438 1 0 0 20 0 28 0 104555791 27176681472 124229 33554432000 4194304 4196468 140731829314704 139850444795840 139850803512907 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5902] ppid=5031 vsize=26539728 memory=4116 CPUtime=372.85 cores=0-7
/proc/5033/task/5902/stat : 5902 (java) R 5031 5031 4856 0 -1 4202560 61241 0 0 0 37258 27 0 0 20 0 28 0 104555791 27176681472 124229 33554432000 4194304 4196468 140731829314704 139849316672072 139850803512791 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
[pid=5033/tid=5903] ppid=5031 vsize=26539728 memory=1152 CPUtime=374.78 cores=0-7
/proc/5033/task/5903/stat : 5903 (java) R 5031 5031 4856 0 -1 4202560 2775 0 0 0 37476 2 0 0 20 0 28 0 104555791 27176681472 124229 33554432000 4194304 4196468 140731829314704 139849315619528 139850803678974 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 29814784 140731829318802 140731829318979 140731829318979 140731829321679 0
Current children cumulated CPU time: 19979.9 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 498300 KiB

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

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

[startup+2520.12 s]
# the end of solver process 5033 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19972.7 s, system=8.04394 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): 2520.12
CPU time (s): 19980.7
CPU user time (s): 19972.7
CPU system time (s): 8.04394
CPU usage (%): 792.85
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 1088252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19972.7
system time used= 8.04394
maximum resident set size= 1115644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1173134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 275126
involuntary context switches= 214934


# summary of solver processes directly reported to runsolver:
#   pid: 5031,5033
#   total CPU time (s): 19980.7
#   total CPU user time (s): 19972.7
#   total CPU system time (s): 8.04394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.9281 second user time and 26.0693 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml
MD5SUM	65a76f6052f0c7193e3442ad9f3b990a
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	743
Best CPU time to get the best result obtained on this benchmark	2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4270829

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