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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	SAT (TO)	770	2400.11	2383.23

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406591-1569398523.xml"  -tl '2400s' -p 1
0.09/0.19	c Choco e747e1e
0.09/0.19	c [HOME/instance-4406591-1569398523.xml, -tl, 2400s, -p, 1]
0.31/0.23	c simple solver
0.31/0.30	c parse instance...
1.70/0.77	c solve instance...
4.31/1.70	o 1803 
4.31/1.71	o 1785 
4.31/1.72	o 1743 
4.31/1.72	o 1726 
4.31/1.73	o 1719 
4.31/1.73	o 1714 
4.31/1.74	o 1682 
4.31/1.74	o 1662 
4.31/1.75	o 1652 
4.92/1.92	o 1646 
4.92/1.94	o 1642 
4.92/1.96	o 1626 
5.45/2.16	o 1609 
5.45/2.17	o 1607 
5.97/2.33	o 1577 
5.97/2.35	o 1564 
6.18/2.40	o 1563 
6.45/2.52	o 1545 
7.05/2.77	o 1536 
7.05/2.78	o 1535 
7.05/2.78	o 1534 
7.05/2.79	o 1523 
7.05/2.80	o 1495 
7.36/2.84	o 1481 
8.24/3.17	o 1461 
8.24/3.18	o 1457 
8.24/3.18	o 1450 
8.24/3.19	o 1447 
8.39/3.22	o 1420 
8.51/3.32	o 1398 
8.51/3.39	o 1392 
8.65/3.49	o 1390 
8.76/3.50	o 1354 
8.76/3.58	o 1345 
8.76/3.58	o 1342 
8.76/3.59	o 1333 
9.05/3.73	o 1331 
9.05/3.74	o 1325 
9.05/3.74	o 1320 
9.05/3.75	o 1319 
9.05/3.79	o 1318 
9.30/3.90	o 1309 
9.30/3.92	o 1307 
9.30/3.93	o 1275 
9.41/4.08	o 1273 
9.41/4.09	o 1269 
10.18/4.74	o 1253 
10.18/4.75	o 1246 
10.18/4.75	o 1231 
10.30/4.82	o 1207 
11.00/5.56	o 1203 
11.40/5.73	o 1174 
11.60/5.98	o 1149 
12.21/6.54	o 1147 
12.21/6.55	o 1135 
13.33/7.53	o 1127 
14.23/8.44	o 1106 
14.23/8.44	o 1099 
14.23/8.45	o 1066 
16.63/10.81	o 985 
16.84/11.09	o 979 
17.74/11.91	o 955 
17.95/12.14	o 951 
21.75/15.99	o 934 
23.25/17.49	o 928 
28.79/22.92	o 927 
30.90/25.09	o 921 
37.73/31.85	o 912 
51.53/45.67	o 893 
63.21/57.25	o 885 
95.22/89.29	o 878 
97.13/91.12	o 872 
105.13/99.17	o 870 
107.10/101.05	o 869 
120.14/114.07	o 861 
129.57/123.42	o 855 
154.07/147.88	o 852 
158.47/152.22	o 842 
159.98/153.74	o 823 
160.18/153.93	o 811 
163.49/157.29	o 810 
182.20/175.93	o 797 
182.20/175.96	o 794 
183.20/176.92	o 790 
231.74/225.49	o 789 
274.48/268.18	o 788 
409.02/402.53	o 782 
1805.81/1794.18	o 770 
2400.07/2383.20	s SATISFIABLE
2400.07/2383.20	v <instantiation>
2400.07/2383.20	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] </list>
2400.07/2383.20	v 	<values>0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 77 5 86 65 43 80 19 42 23 95 88 78 37 100 50 53 18 99 100 79 87 63 78 8 44 99 100 4 44 25 11 53 44 68 57 32 25 </values>
2400.07/2383.20	v </instantiation>
2400.07/2383.20	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 (12520 MiB free)
  memory of node 1: 16384 MiB (14191 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406591-1569398523/watcher-4406591-1569398523 -o /var/tmp/evaluation-result-4406591-1569398523/solver-4406591-1569398523 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569396631-701 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406591-1569398523.xml 

running on 4 cores: 1,3,5,7

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

solver pid=1111, runsolver pid=1108

[startup+0.100059 s]*
/proc/loadavg: 1.90 1.92 1.69 4/230 1127
/proc/meminfo: memFree=27337176/32770624 swapFree=66957864/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0
[pid=1113] ppid=1111 vsize=15144776 memory=27688 CPUtime=0.09 cores=1,3,5,7
/proc/1113/stat : 1113 (java) S 1111 1111 669 0 -1 1077944320 5308 0 0 0 8 1 0 0 20 0 15 0 516090886 15508250624 6922 33554432000 4194304 4196468 140723182012224 140723181994768 140679955705591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
/proc/1113/statm: 3786194 6922 3049 1 0 3748377 0
[pid=1113/tid=1114] ppid=1111 vsize=15144776 memory=7022364632946311227 CPUtime=0.08 cores=1,3,5,7
/proc/1113/task/1114/stat : 1114 (java) R 1111 1111 669 0 -1 4202560 3451 0 0 0 7 1 0 0 20 0 15 0 516090887 15508250624 6988 33554432000 4194304 4196468 140723182012224 140679959925704 140679939786078 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1115] ppid=1111 vsize=15144776 memory=4296910620 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1115/stat : 1115 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 6988 33554432000 4194304 4196468 140723182012224 140679912258576 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1116] ppid=1111 vsize=15144776 memory=139738599459248 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1116/stat : 1116 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679911206032 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1117] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1117/stat : 1117 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679910152976 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1118] ppid=1111 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1118/stat : 1118 (java) S 1111 1111 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679545281424 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1119] ppid=1111 vsize=15144776 memory=139738599437952 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1119/stat : 1119 (java) S 1111 1111 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516090889 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679424309488 140679955716738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1120] ppid=1111 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1120/stat : 1120 (java) S 1111 1111 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516090889 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679423255712 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1121] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516090890 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679422202608 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) R 1111 1111 669 0 -1 4202560 411 0 0 0 0 0 0 0 20 0 15 0 516090894 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679420099608 140679933645856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679419046768 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15144776 memory=139738599437952 CPUtime=0.01 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 516090894 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090894 15508250624 7054 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29144 KiB

[startup+0.211176 s]*
/proc/loadavg: 1.90 1.92 1.69 3/230 1127
/proc/meminfo: memFree=27323340/32770624 swapFree=66957864/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0
[pid=1113] ppid=1111 vsize=15144776 memory=40892 CPUtime=0.31 cores=1,3,5,7
/proc/1113/stat : 1113 (java) S 1111 1111 669 0 -1 1077944320 9413 0 0 0 28 3 0 0 20 0 15 0 516090886 15508250624 10223 33554432000 4194304 4196468 140723182012224 140723181994768 140679955705591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
/proc/1113/statm: 3786194 10223 3315 1 0 3748377 0
[pid=1113/tid=1114] ppid=1111 vsize=15144776 memory=7022364632946311227 CPUtime=0.18 cores=1,3,5,7
/proc/1113/task/1114/stat : 1114 (java) R 1111 1111 669 0 -1 4202560 6538 0 0 0 16 2 0 0 20 0 15 0 516090887 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679959939712 140679955717526 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1115] ppid=1111 vsize=15144776 memory=4296910620 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1115/stat : 1115 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679912258576 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1116] ppid=1111 vsize=15144776 memory=139738599459248 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1116/stat : 1116 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679911206032 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1117] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1117/stat : 1117 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679910152976 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1118] ppid=1111 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1118/stat : 1118 (java) S 1111 1111 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516090888 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679545281424 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1119] ppid=1111 vsize=15144776 memory=139738599437952 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1119/stat : 1119 (java) S 1111 1111 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516090889 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679424309488 140679955716738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1120] ppid=1111 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1120/stat : 1120 (java) S 1111 1111 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516090889 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679423255712 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1121] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516090890 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679422202608 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) S 1111 1111 669 0 -1 1077944384 678 0 0 0 2 0 0 0 20 0 15 0 516090894 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679420099312 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) S 1111 1111 669 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 516090894 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679419046768 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15144776 memory=139738599437952 CPUtime=0.07 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 789 0 0 0 7 0 0 0 20 0 15 0 516090894 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090894 15508250624 10223 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42348 KiB

[startup+0.310959 s]*
/proc/loadavg: 1.90 1.92 1.69 4/230 1127
/proc/meminfo: memFree=27318588/32770624 swapFree=66957864/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0
[pid=1113] ppid=1111 vsize=15149032 memory=46836 CPUtime=0.49 cores=1,3,5,7
/proc/1113/stat : 1113 (java) S 1111 1111 669 0 -1 1077944320 10568 0 0 0 46 3 0 0 20 0 15 0 516090886 15512608768 11709 33554432000 4194304 4196468 140723182012224 140723181994768 140679955705591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
/proc/1113/statm: 3787258 11709 3346 1 0 3748377 0
[pid=1113/tid=1114] ppid=1111 vsize=15149032 memory=1399051139730258233 CPUtime=0.28 cores=1,3,5,7
/proc/1113/task/1114/stat : 1114 (java) R 1111 1111 669 0 -1 4202560 7610 0 0 0 26 2 0 0 20 0 15 0 516090887 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679959942224 140679939749221 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1115] ppid=1111 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1115/stat : 1115 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679912258576 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1116] ppid=1111 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1116/stat : 1116 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679911206032 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1117] ppid=1111 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1117/stat : 1117 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679910152976 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1118] ppid=1111 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1118/stat : 1118 (java) S 1111 1111 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516090888 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679545281424 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1119] ppid=1111 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1119/stat : 1119 (java) S 1111 1111 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516090889 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679424309488 140679955716738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1120] ppid=1111 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1120/stat : 1120 (java) S 1111 1111 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516090889 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679423255712 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1121] ppid=1111 vsize=15149032 memory=-3472574513799858003 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516090890 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679422202608 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15149032 memory=6944652177228980320 CPUtime=0.04 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) R 1111 1111 669 0 -1 4202560 682 0 0 0 4 0 0 0 20 0 15 0 516090894 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679420099408 140679936376832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15149032 memory=6944656592455360604 CPUtime=0.03 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) R 1111 1111 669 0 -1 1077944384 113 0 0 0 3 0 0 0 20 0 15 0 516090894 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679419037152 140679955715797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15149032 memory=5495740422247797458 CPUtime=0.12 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 516090894 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15149032 memory=8475934422147845324 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15149032 memory=7016714185839647644 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090894 15512608768 11709 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48292 KiB

[startup+0.700807 s]
/proc/loadavg: 1.90 1.92 1.69 4/230 1127
/proc/meminfo: memFree=27295740/32770624 swapFree=66957864/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0
[pid=1113] ppid=1111 vsize=15151156 memory=89732 CPUtime=1.7 cores=1,3,5,7
/proc/1113/stat : 1113 (java) S 1111 1111 669 0 -1 1077944320 14723 0 0 0 165 5 0 0 20 0 15 0 516090886 15514783744 22427 33554432000 4194304 4196468 140723182012224 140723181994768 140679955705591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
/proc/1113/statm: 3787789 22433 3451 1 0 3748889 0
[pid=1113/tid=1114] ppid=1111 vsize=15151156 memory=8049867166153220215 CPUtime=0.66 cores=1,3,5,7
/proc/1113/task/1114/stat : 1114 (java) R 1111 1111 669 0 -1 4202560 8761 0 0 0 63 3 0 0 20 0 15 0 516090887 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679959942640 140679593728234 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1115] ppid=1111 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1115/stat : 1115 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679912258576 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1116] ppid=1111 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1116/stat : 1116 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679911206032 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1117] ppid=1111 vsize=15151156 memory=6168 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1117/stat : 1117 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090888 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679910152976 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1118] ppid=1111 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1118/stat : 1118 (java) S 1111 1111 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516090888 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679545281424 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1119] ppid=1111 vsize=15151156 memory=624 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1119/stat : 1119 (java) S 1111 1111 669 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516090889 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679424309488 140679955716738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1120] ppid=1111 vsize=15151156 memory=3636 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1120/stat : 1120 (java) S 1111 1111 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516090889 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679423255712 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1121] ppid=1111 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516090890 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679422202608 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15151156 memory=1808 CPUtime=0.29 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) R 1111 1111 669 0 -1 4202560 1399 0 0 0 29 0 0 0 20 0 15 0 516090894 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679420099440 140679948802427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15151156 memory=924 CPUtime=0.31 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) R 1111 1111 669 0 -1 4202560 1035 0 0 0 31 0 0 0 20 0 15 0 516090894 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679419046768 140679939191643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15151156 memory=3848 CPUtime=0.41 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 2221 0 0 0 41 0 0 0 20 0 15 0 516090894 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15151156 memory=2304 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15151156 memory=2624 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516090894 15514783744 22433 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91188 KiB

[startup+1.50152 s]
/proc/loadavg: 1.90 1.92 1.69 5/230 1127
/proc/meminfo: memFree=27266828/32770624 swapFree=66957864/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0

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

/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 516090890 15514783744 823200 33554432000 4194304 4196468 140723182012224 140679422202624 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15514783744 823200 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15151156 memory=14012 CPUtime=2.96 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) S 1111 1111 669 0 -1 1077944384 20435 0 0 0 294 2 0 0 20 0 15 0 516090894 15514783744 823200 33554432000 4194304 4196468 140723182012224 140679420099312 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15151156 memory=1808 CPUtime=2.67 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) S 1111 1111 669 0 -1 1077944384 16556 0 0 0 265 2 0 0 20 0 15 0 516090894 15514783744 823200 33554432000 4194304 4196468 140723182012224 140679419046768 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15151156 memory=1456 CPUtime=0.7 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 8509 0 0 0 69 1 0 0 20 0 15 0 516090894 15514783744 823200 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15151156 memory=3292624 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15514783744 823200 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15151156 memory=1808 CPUtime=0.63 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 2084 0 0 0 27 36 0 0 20 0 15 0 516090894 15514783744 823200 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 2277.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3294256 KiB

[startup+2322.3 s]
/proc/loadavg: 1.61 1.76 1.79 3/231 1729
/proc/meminfo: memFree=23964128/32770624 swapFree=66957868/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0
[pid=1113] ppid=1111 vsize=15151156 memory=3294692 CPUtime=2338.1 cores=1,3,5,7
/proc/1113/stat : 1113 (java) S 1111 1111 669 0 -1 1077944320 212557 0 0 0 233132 678 0 0 20 0 15 0 516090886 15514783744 823673 33554432000 4194304 4196468 140723182012224 140723181994768 140679955705591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
/proc/1113/statm: 3787789 823673 3527 1 0 3748889 0
[pid=1113/tid=1114] ppid=1111 vsize=15151156 memory=3295204 CPUtime=2317.42 cores=1,3,5,7
/proc/1113/task/1114/stat : 1114 (java) R 1111 1111 669 0 -1 4202560 111434 0 0 0 231154 588 0 0 20 0 15 0 516090887 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679959945104 140679591320052 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1115] ppid=1111 vsize=15151156 memory=3295688 CPUtime=3.11 cores=1,3,5,7
/proc/1113/task/1115/stat : 1115 (java) S 1111 1111 669 0 -1 1077944384 7592 0 0 0 304 7 0 0 20 0 15 0 516090888 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679912258576 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1116] ppid=1111 vsize=15151156 memory=3294692 CPUtime=3.12 cores=1,3,5,7
/proc/1113/task/1116/stat : 1116 (java) S 1111 1111 669 0 -1 1077944384 10737 0 0 0 305 7 0 0 20 0 15 0 516090888 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679911206032 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1117] ppid=1111 vsize=15151156 memory=3294692 CPUtime=3.11 cores=1,3,5,7
/proc/1113/task/1117/stat : 1117 (java) S 1111 1111 669 0 -1 1077944384 10632 0 0 0 305 6 0 0 20 0 15 0 516090888 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679910152976 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1118] ppid=1111 vsize=15151156 memory=1456 CPUtime=3.13 cores=1,3,5,7
/proc/1113/task/1118/stat : 1118 (java) S 1111 1111 669 0 -1 1077944384 10163 0 0 0 305 8 0 0 20 0 15 0 516090888 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679545281424 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1119] ppid=1111 vsize=15151156 memory=3295688 CPUtime=1.1 cores=1,3,5,7
/proc/1113/task/1119/stat : 1119 (java) S 1111 1111 669 0 -1 1077944384 12950 0 0 0 85 25 0 0 20 0 15 0 516090889 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679424309488 140679955716738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1120] ppid=1111 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1120/stat : 1120 (java) S 1111 1111 669 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516090889 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679423255776 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1121] ppid=1111 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 516090890 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679422202624 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15151156 memory=65324 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15151156 memory=1456 CPUtime=2.96 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) S 1111 1111 669 0 -1 1077944384 20437 0 0 0 294 2 0 0 20 0 15 0 516090894 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679420099312 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15151156 memory=3294692 CPUtime=2.67 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) S 1111 1111 669 0 -1 1077944384 16559 0 0 0 265 2 0 0 20 0 15 0 516090894 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679419046768 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15151156 memory=1456 CPUtime=0.7 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 8511 0 0 0 69 1 0 0 20 0 15 0 516090894 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15151156 memory=3294692 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15151156 memory=3316 CPUtime=0.66 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 2113 0 0 0 28 38 0 0 20 0 15 0 516090894 15514783744 823673 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 2338.1 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3296148 KiB

[startup+2382.3 s]
/proc/loadavg: 1.79 1.78 1.80 3/231 1733
/proc/meminfo: memFree=23961120/32770624 swapFree=66957868/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0
[pid=1113] ppid=1111 vsize=15151156 memory=3297244 CPUtime=2399.17 cores=1,3,5,7
/proc/1113/stat : 1113 (java) S 1111 1111 669 0 -1 1077944320 215935 0 0 0 239236 681 0 0 20 0 15 0 516090886 15514783744 824311 33554432000 4194304 4196468 140723182012224 140723181994768 140679955705591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
/proc/1113/statm: 3787789 824311 3527 1 0 3748889 0
[pid=1113/tid=1114] ppid=1111 vsize=15151156 memory=3297764 CPUtime=2377.01 cores=1,3,5,7
/proc/1113/task/1114/stat : 1114 (java) R 1111 1111 669 0 -1 4202560 113280 0 0 0 237113 588 0 0 20 0 15 0 516090887 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679959945104 140679598745724 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1115] ppid=1111 vsize=15151156 memory=3294692 CPUtime=3.47 cores=1,3,5,7
/proc/1113/task/1115/stat : 1115 (java) S 1111 1111 669 0 -1 1077944384 8261 0 0 0 339 8 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679912258576 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1116] ppid=1111 vsize=15151156 memory=3297760 CPUtime=3.47 cores=1,3,5,7
/proc/1113/task/1116/stat : 1116 (java) S 1111 1111 669 0 -1 1077944384 11016 0 0 0 340 7 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679911206032 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1117] ppid=1111 vsize=15151156 memory=3297760 CPUtime=3.47 cores=1,3,5,7
/proc/1113/task/1117/stat : 1117 (java) S 1111 1111 669 0 -1 1077944384 10745 0 0 0 340 7 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679910152976 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1118] ppid=1111 vsize=15151156 memory=1456 CPUtime=3.48 cores=1,3,5,7
/proc/1113/task/1118/stat : 1118 (java) S 1111 1111 669 0 -1 1077944384 10424 0 0 0 340 8 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679545281424 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1119] ppid=1111 vsize=15151156 memory=1456 CPUtime=1.14 cores=1,3,5,7
/proc/1113/task/1119/stat : 1119 (java) S 1111 1111 669 0 -1 1077944384 13134 0 0 0 88 26 0 0 20 0 15 0 516090889 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679424309488 140679955716738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1120] ppid=1111 vsize=15151156 memory=11632 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1120/stat : 1120 (java) S 1111 1111 669 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516090889 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679423255776 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1121] ppid=1111 vsize=15151156 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 516090890 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679422202624 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15151156 memory=3297244 CPUtime=2.97 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) S 1111 1111 669 0 -1 1077944384 20440 0 0 0 295 2 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679420099312 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15151156 memory=1988 CPUtime=2.67 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) S 1111 1111 669 0 -1 1077944384 16561 0 0 0 265 2 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679419046768 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15151156 memory=988 CPUtime=0.7 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 8513 0 0 0 69 1 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15151156 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15151156 memory=1224 CPUtime=0.68 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 2132 0 0 0 29 39 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 2399.17 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3298700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2383.2 s]
/proc/loadavg: 1.79 1.78 1.80 3/231 1733
/proc/meminfo: memFree=23961244/32770624 swapFree=66957868/67108860
[pid=1111] ppid=1108 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1111/stat : 1111 (xcsp3-exec) S 1108 1111 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516090886 115843072 364 33554432000 4194304 5098028 140725483562864 140725483560968 140326172377724 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 22740992 140725483570006 140725483570265 140725483570265 140725483573190 0
/proc/1111/statm: 28282 364 305 221 0 87 0
[pid=1113] ppid=1111 vsize=15151156 memory=3297244 CPUtime=2400.07 cores=1,3,5,7
/proc/1113/stat : 1113 (java) S 1111 1111 669 0 -1 1077944320 215935 0 0 0 239326 681 0 0 20 0 15 0 516090886 15514783744 824311 33554432000 4194304 4196468 140723182012224 140723181994768 140679955705591 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
/proc/1113/statm: 3787789 824311 3527 1 0 3748889 0
[pid=1113/tid=1114] ppid=1111 vsize=15151156 memory=0 CPUtime=2377.91 cores=1,3,5,7
/proc/1113/task/1114/stat : 1114 (java) R 1111 1111 669 0 -1 4202560 113280 0 0 0 237203 588 0 0 20 0 15 0 516090887 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679959945104 140679598745788 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1115] ppid=1111 vsize=15151156 memory=296 CPUtime=3.47 cores=1,3,5,7
/proc/1113/task/1115/stat : 1115 (java) S 1111 1111 669 0 -1 1077944384 8261 0 0 0 339 8 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679912258576 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1116] ppid=1111 vsize=15151156 memory=8112282956445269571 CPUtime=3.47 cores=1,3,5,7
/proc/1113/task/1116/stat : 1116 (java) S 1111 1111 669 0 -1 1077944384 11016 0 0 0 340 7 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679911206032 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1117] ppid=1111 vsize=15151156 memory=1056 CPUtime=3.47 cores=1,3,5,7
/proc/1113/task/1117/stat : 1117 (java) S 1111 1111 669 0 -1 1077944384 10745 0 0 0 340 7 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679910152976 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1118] ppid=1111 vsize=15151156 memory=1556 CPUtime=3.48 cores=1,3,5,7
/proc/1113/task/1118/stat : 1118 (java) S 1111 1111 669 0 -1 1077944384 10424 0 0 0 340 8 0 0 20 0 15 0 516090888 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679545281424 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1119] ppid=1111 vsize=15151156 memory=8112282956445269571 CPUtime=1.14 cores=1,3,5,7
/proc/1113/task/1119/stat : 1119 (java) S 1111 1111 669 0 -1 1077944384 13134 0 0 0 88 26 0 0 20 0 15 0 516090889 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679424309488 140679955716738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1120] ppid=1111 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1120/stat : 1120 (java) S 1111 1111 669 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516090889 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679423255776 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1121] ppid=1111 vsize=15151156 memory=3297244 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1121/stat : 1121 (java) S 1111 1111 669 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 516090890 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679422202624 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1122] ppid=1111 vsize=15151156 memory=2624 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1122/stat : 1122 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090892 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679421151184 140679955724187 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1123] ppid=1111 vsize=15151156 memory=2112 CPUtime=2.97 cores=1,3,5,7
/proc/1113/task/1123/stat : 1123 (java) S 1111 1111 669 0 -1 1077944384 20440 0 0 0 295 2 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679420099312 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1124] ppid=1111 vsize=15151156 memory=988 CPUtime=2.67 cores=1,3,5,7
/proc/1113/task/1124/stat : 1124 (java) S 1111 1111 669 0 -1 1077944384 16561 0 0 0 265 2 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679419046768 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1125] ppid=1111 vsize=15151156 memory=1428 CPUtime=0.7 cores=1,3,5,7
/proc/1113/task/1125/stat : 1125 (java) S 1111 1111 669 0 -1 1077944384 8513 0 0 0 69 1 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679417993712 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1126] ppid=1111 vsize=15151156 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/1113/task/1126/stat : 1126 (java) S 1111 1111 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679416941408 140679955715797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
[pid=1113/tid=1127] ppid=1111 vsize=15151156 memory=1056 CPUtime=0.68 cores=1,3,5,7
/proc/1113/task/1127/stat : 1127 (java) S 1111 1111 669 0 -1 1077944384 2132 0 0 0 29 39 0 0 20 0 15 0 516090894 15514783744 824311 33554432000 4194304 4196468 140723182012224 140679415888432 140679955716738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35254272 140723182019547 140723182019722 140723182019722 140723182022607 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3298700 KiB

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

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

[startup+2383.23 s]
# the end of solver process 1113 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2393.28 s, system=6.83217 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): 2383.23
CPU time (s): 2400.11
CPU user time (s): 2393.28
CPU system time (s): 6.83217
CPU usage (%): 100.708
Max. virtual memory (cumulated for all children) (KiB): 15266376
Max. memory (cumulated for all children) (KiB): 8559676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.28
system time used= 6.83217
maximum resident set size= 8621708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216785
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70306
involuntary context switches= 5026


# summary of solver processes directly reported to runsolver:
#   pid: 1111,1113
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2393.28
#   total CPU system time (s): 6.83217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5626 second user time and 22.5457 second system time

The end

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

Trace number 4406591

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