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-16	SAT (TO)	845	2400.34	603.718

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400591-1568681590.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400591-1568681590.xml, -tl, 2400s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
2.77/1.04	c solve instance...
8.58/2.53	o 1983 
8.58/2.55	o 1979 
8.58/2.57	o 1970 
8.96/2.60	o 1968 
8.96/2.63	o 1965 
8.96/2.69	o 1960 
9.35/2.75	o 1957 
11.04/3.14	o 1952 
11.04/3.15	o 1943 
11.04/3.16	o 1942 
11.04/3.16	o 1863 
11.04/3.17	o 1854 
11.04/3.19	o 1799 
11.30/3.20	o 1796 
11.30/3.24	o 1778 
12.08/3.46	o 1773 
12.08/3.48	o 1763 
12.08/3.49	o 1732 
12.08/3.50	o 1713 
12.48/3.51	o 1707 
12.48/3.53	o 1690 
13.23/3.76	o 1660 
13.23/3.78	o 1654 
14.02/3.99	o 1648 
14.02/3.99	o 1642 
14.02/4.00	o 1637 
14.41/4.03	o 1618 
14.41/4.04	o 1604 
14.41/4.07	o 1573 
14.41/4.08	o 1570 
14.76/4.14	o 1549 
15.48/4.36	o 1533 
15.48/4.36	o 1514 
15.48/4.36	o 1502 
15.48/4.36	o 1501 
15.88/4.40	o 1490 
15.88/4.40	o 1489 
18.29/5.05	o 1484 
19.44/5.35	o 1427 
19.44/5.36	o 1412 
19.44/5.36	o 1384 
19.44/5.40	o 1383 
21.43/5.80	o 1363 
21.43/5.84	o 1360 
22.23/6.02	o 1357 
23.40/6.32	o 1350 
23.40/6.33	o 1340 
23.40/6.36	o 1338 
23.79/6.41	o 1324 
23.79/6.41	o 1314 
25.78/7.00	o 1267 
28.15/7.50	o 1250 
28.15/7.51	o 1181 
28.15/7.51	o 1175 
29.74/7.96	o 1172 
30.92/8.21	o 1170 
31.31/8.35	o 1148 
32.90/8.76	o 1144 
35.29/9.30	o 1121 
41.29/10.89	o 1115 
41.29/10.90	o 1110 
42.07/11.11	o 1109 
42.47/11.19	o 1094 
44.82/11.72	o 1080 
49.59/12.98	o 1028 
49.98/13.03	o 1026 
51.94/13.56	o 1022 
55.12/14.39	o 1018 
57.55/14.97	o 996 
73.48/18.94	o 995 
73.48/18.95	o 953 
89.36/22.92	o 943 
113.66/29.02	o 927 
118.41/30.28	o 921 
140.74/35.81	o 912 
140.74/35.82	o 906 
152.65/38.87	o 894 
158.61/40.33	o 893 
163.41/41.58	o 879 
200.02/50.76	o 876 
242.21/61.32	o 859 
243.00/61.52	o 855 
310.30/78.42	o 854 
331.80/83.89	o 849 
1398.10/351.68	o 845 
2400.29/603.70	s SATISFIABLE
2400.29/603.70	v <instantiation>
2400.29/603.70	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.29/603.70	v 	<values>0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 46 100 34 58 43 16 70 55 95 8 68 26 87 25 100 67 68 41 22 96 17 100 36 8 79 72 80 4 59 25 86 99 2 40 15 82 100 </values>
2400.29/603.70	v </instantiation>
2400.29/603.70	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 (15254 MiB free)
  memory of node 1: 16384 MiB (14580 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400591-1568681590/watcher-4400591-1568681590 -o /tmp/evaluation-result-4400591-1568681590/solver-4400591-1568681590 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 104754155 HOME/instance-4400591-1568681590.xml 

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

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
solver pid=14284, runsolver pid=14281
Current StackSize limit: 8192 KiB


[startup+0.100311 s]*
/proc/loadavg: 8.52 8.45 8.51 7/235 14300
/proc/meminfo: memFree=30534472/32770624 swapFree=66997372/67108860
[pid=14284] ppid=14281 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14284/stat : 14284 (xcsp3-exec) S 14281 14284 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444412078 115843072 362 33554432000 4194304 5098028 140729860219280 140729860217384 139698541982332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31834112 140729860223867 140729860224109 140729860224109 140729860227018 0
/proc/14284/statm: 28282 362 304 221 0 87 0
[pid=14286] ppid=14284 vsize=15144776 memory=28600 CPUtime=0.12 cores=0,2,4,6
/proc/14286/stat : 14286 (java) S 14284 14284 32513 0 -1 1077944320 5656 0 0 0 11 1 0 0 20 0 15 0 444412079 15508250624 7150 33554432000 4194304 4196468 140722074357568 140722074340112 140417763139319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
/proc/14286/statm: 3786194 7150 3119 1 0 3748377 0
[pid=14286/tid=14287] ppid=14284 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=0,2,4,6
/proc/14286/task/14287/stat : 14287 (java) R 14284 14284 32513 0 -1 4202560 3572 0 0 0 8 0 0 0 20 0 15 0 444412079 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417767372096 140417396001509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14288] ppid=14284 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14288/stat : 14288 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417715759504 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14289] ppid=14284 vsize=15144776 memory=139667585631872 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14289/stat : 14289 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417354881296 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14290] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14290/stat : 14290 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417353829008 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14291] ppid=14284 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14291/stat : 14291 (java) S 14284 14284 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417352776208 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14292] ppid=14284 vsize=15144776 memory=139667585631872 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14292/stat : 14292 (java) S 14284 14284 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444412081 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417231678064 140417763150466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14293] ppid=14284 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14293/stat : 14293 (java) S 14284 14284 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444412081 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417230624032 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14294] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14294/stat : 14294 (java) S 14284 14284 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444412082 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417229571696 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14295] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14295/stat : 14295 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417228520016 140417763157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14296] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14296/stat : 14296 (java) R 14284 14284 32513 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417227466960 140417763149525 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14297] ppid=14284 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14297/stat : 14297 (java) R 14284 14284 32513 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417226405568 140417749154432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14298] ppid=14284 vsize=15144776 memory=139667585631872 CPUtime=0.02 cores=0,2,4,6
/proc/14286/task/14298/stat : 14298 (java) R 14284 14284 32513 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 444412084 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417225359312 140417763160666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14299] ppid=14284 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14299/stat : 14299 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417224309216 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14300] ppid=14284 vsize=15144776 memory=139667585631872 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14300/stat : 14300 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 7216 33554432000 4194304 4196468 140722074357568 140417223257008 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30048 KiB

[startup+0.214192 s]*
/proc/loadavg: 8.52 8.45 8.51 7/235 14300
/proc/meminfo: memFree=30522380/32770624 swapFree=66997372/67108860
[pid=14284] ppid=14281 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14284/stat : 14284 (xcsp3-exec) S 14281 14284 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444412078 115843072 362 33554432000 4194304 5098028 140729860219280 140729860217384 139698541982332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31834112 140729860223867 140729860224109 140729860224109 140729860227018 0
/proc/14284/statm: 28282 362 304 221 0 87 0
[pid=14286] ppid=14284 vsize=15144776 memory=40232 CPUtime=0.35 cores=0,2,4,6
/proc/14286/stat : 14286 (java) S 14284 14284 32513 0 -1 1077944320 9400 0 0 0 31 4 0 0 20 0 15 0 444412079 15508250624 10058 33554432000 4194304 4196468 140722074357568 140722074340112 140417763139319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
/proc/14286/statm: 3786194 10058 3214 1 0 3748377 0
[pid=14286/tid=14287] ppid=14284 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/14286/task/14287/stat : 14287 (java) R 14284 14284 32513 0 -1 4202560 6588 0 0 0 17 2 0 0 20 0 15 0 444412079 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417767376368 140417747219806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14288] ppid=14284 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14288/stat : 14288 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417715759504 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14289] ppid=14284 vsize=15144776 memory=3688924432842622624 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14289/stat : 14289 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417354881296 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14290] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14290/stat : 14290 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417353829008 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14291] ppid=14284 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14291/stat : 14291 (java) S 14284 14284 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444412080 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417352776208 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14292] ppid=14284 vsize=15144776 memory=139667585631872 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14292/stat : 14292 (java) S 14284 14284 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444412081 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417231678064 140417763150466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14293] ppid=14284 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14293/stat : 14293 (java) S 14284 14284 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444412081 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417230624032 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14294] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14294/stat : 14294 (java) S 14284 14284 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444412082 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417229571696 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14295] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14295/stat : 14295 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417228520016 140417763157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14296] ppid=14284 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14286/task/14296/stat : 14296 (java) S 14284 14284 32513 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 444412084 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417227466864 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14297] ppid=14284 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14286/task/14297/stat : 14297 (java) S 14284 14284 32513 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 15 0 444412084 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417226414064 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14298] ppid=14284 vsize=15144776 memory=139667585631872 CPUtime=0.08 cores=0,2,4,6
/proc/14286/task/14298/stat : 14298 (java) R 14284 14284 32513 0 -1 4202560 793 0 0 0 8 0 0 0 20 0 15 0 444412084 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417225361776 140417763160666 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14299] ppid=14284 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14299/stat : 14299 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417224309216 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14300] ppid=14284 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14300/stat : 14300 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412084 15508250624 10123 33554432000 4194304 4196468 140722074357568 140417223257008 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41680 KiB

[startup+0.310642 s]*
/proc/loadavg: 8.52 8.45 8.51 7/235 14300
/proc/meminfo: memFree=30514464/32770624 swapFree=66997372/67108860
[pid=14284] ppid=14281 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14284/stat : 14284 (xcsp3-exec) S 14281 14284 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444412078 115843072 362 33554432000 4194304 5098028 140729860219280 140729860217384 139698541982332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31834112 140729860223867 140729860224109 140729860224109 140729860227018 0
/proc/14284/statm: 28282 362 304 221 0 87 0
[pid=14286] ppid=14284 vsize=15149032 memory=49504 CPUtime=0.51 cores=0,2,4,6
/proc/14286/stat : 14286 (java) S 14284 14284 32513 0 -1 1077944320 10688 0 0 0 47 4 0 0 20 0 15 0 444412079 15512608768 12376 33554432000 4194304 4196468 140722074357568 140722074340112 140417763139319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
/proc/14286/statm: 3787258 12376 3359 1 0 3748377 0
[pid=14286/tid=14287] ppid=14284 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/14286/task/14287/stat : 14287 (java) R 14284 14284 32513 0 -1 4202560 7746 0 0 0 27 3 0 0 20 0 15 0 444412079 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417767373080 140417747219806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14288] ppid=14284 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14288/stat : 14288 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417715759504 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14289] ppid=14284 vsize=15149032 memory=4266088842962141216 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14289/stat : 14289 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417354881296 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14290] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14290/stat : 14290 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417353829008 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14291] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14291/stat : 14291 (java) S 14284 14284 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444412080 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417352776208 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14292] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14292/stat : 14292 (java) S 14284 14284 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444412081 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417231678064 140417763150466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14293] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14293/stat : 14293 (java) S 14284 14284 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444412081 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417230624032 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14294] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14294/stat : 14294 (java) S 14284 14284 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444412082 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417229571696 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14295] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14295/stat : 14295 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417228520016 140417763157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14296] ppid=14284 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14286/task/14296/stat : 14296 (java) S 14284 14284 32513 0 -1 1077944384 536 0 0 0 4 0 0 0 20 0 15 0 444412084 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417227466864 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14297] ppid=14284 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14286/task/14297/stat : 14297 (java) S 14284 14284 32513 0 -1 1077944384 229 0 0 0 3 0 0 0 20 0 15 0 444412084 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417226414064 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14298] ppid=14284 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14286/task/14298/stat : 14298 (java) S 14284 14284 32513 0 -1 1077944384 902 0 0 0 12 0 0 0 20 0 15 0 444412084 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417225361776 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14299] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14299/stat : 14299 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417224309216 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14300] ppid=14284 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14300/stat : 14300 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412084 15512608768 12376 33554432000 4194304 4196468 140722074357568 140417223257008 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50952 KiB

[startup+0.701282 s]
/proc/loadavg: 8.52 8.45 8.51 8/235 14300
/proc/meminfo: memFree=30491872/32770624 swapFree=66997372/67108860
[pid=14284] ppid=14281 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14284/stat : 14284 (xcsp3-exec) S 14281 14284 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444412078 115843072 362 33554432000 4194304 5098028 140729860219280 140729860217384 139698541982332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31834112 140729860223867 140729860224109 140729860224109 140729860227018 0
/proc/14284/statm: 28282 362 304 221 0 87 0
[pid=14286] ppid=14284 vsize=15151156 memory=93328 CPUtime=1.77 cores=0,2,4,6
/proc/14286/stat : 14286 (java) S 14284 14284 32513 0 -1 1077944320 15497 0 0 0 170 7 0 0 20 0 15 0 444412079 15514783744 23332 33554432000 4194304 4196468 140722074357568 140722074340112 140417763139319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
/proc/14286/statm: 3787789 23332 3447 1 0 3748889 0
[pid=14286/tid=14287] ppid=14284 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/14286/task/14287/stat : 14287 (java) R 14284 14284 32513 0 -1 4202560 9182 0 0 0 63 4 0 0 20 0 15 0 444412079 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417767368928 140417763162909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14288] ppid=14284 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14288/stat : 14288 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417715759504 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14289] ppid=14284 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14289/stat : 14289 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417354881296 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14290] ppid=14284 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14290/stat : 14290 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412080 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417353829008 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14291] ppid=14284 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14291/stat : 14291 (java) S 14284 14284 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444412080 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417352776208 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14292] ppid=14284 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14292/stat : 14292 (java) S 14284 14284 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 444412081 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417231678064 140417763150466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14293] ppid=14284 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14293/stat : 14293 (java) S 14284 14284 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444412081 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417230624032 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14294] ppid=14284 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14294/stat : 14294 (java) S 14284 14284 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444412082 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417229571696 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14295] ppid=14284 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14295/stat : 14295 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417228520016 140417763157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14296] ppid=14284 vsize=15151156 memory=1764 CPUtime=0.36 cores=0,2,4,6
/proc/14286/task/14296/stat : 14296 (java) R 14284 14284 32513 0 -1 4202560 1583 0 0 0 35 1 0 0 20 0 15 0 444412084 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417227455184 140417749156864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14297] ppid=14284 vsize=15151156 memory=111628 CPUtime=0.3 cores=0,2,4,6
/proc/14286/task/14297/stat : 14297 (java) R 14284 14284 32513 0 -1 4202560 1194 0 0 0 30 0 0 0 20 0 15 0 444412084 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417226400632 140417744658998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14298] ppid=14284 vsize=15151156 memory=796 CPUtime=0.4 cores=0,2,4,6
/proc/14286/task/14298/stat : 14298 (java) S 14284 14284 32513 0 -1 1077944384 2231 0 0 0 40 0 0 0 20 0 15 0 444412084 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417225361776 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14299] ppid=14284 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14299/stat : 14299 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444412084 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417224309216 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14300] ppid=14284 vsize=15151156 memory=3528 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14300/stat : 14300 (java) S 14284 14284 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444412084 15514783744 23332 33554432000 4194304 4196468 140722074357568 140417223257008 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94776 KiB

[startup+1.50126 s]
/proc/loadavg: 8.52 8.45 8.51 8/235 14300
/proc/meminfo: memFree=30410848/32770624 swapFree=66997372/67108860
[pid=14284] ppid=14281 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14284/stat : 14284 (xcsp3-exec) S 14281 14284 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444412078 115843072 362 33554432000 4194304 5098028 140729860219280 140729860217384 139698541982332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31834112 140729860223867 140729860224109 140729860224109 140729860227018 0
/proc/14284/statm: 28282 362 304 221 0 87 0

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

/proc/14286/stat : 14286 (java) S 14284 14284 32513 0 -1 1077944320 111484 0 0 0 231436 85 0 0 20 0 19 0 444412079 16062173184 98763 33554432000 4194304 4196468 140722074357568 140722074340112 140417763139319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
/proc/14286/statm: 3921429 98763 3533 1 0 3882529 0
[pid=14286/tid=14287] ppid=14284 vsize=15685716 memory=838720 CPUtime=1.09 cores=0,2,4,6
/proc/14286/task/14287/stat : 14287 (java) S 14284 14284 32513 0 -1 1077944384 13523 0 0 0 103 6 0 0 20 0 19 0 444412079 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417767380096 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14288] ppid=14284 vsize=15685716 memory=824340 CPUtime=0.38 cores=0,2,4,6
/proc/14286/task/14288/stat : 14288 (java) S 14284 14284 32513 0 -1 1077944384 2334 0 0 0 34 4 0 0 20 0 19 0 444412080 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417715759504 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14289] ppid=14284 vsize=15685716 memory=814080 CPUtime=0.4 cores=0,2,4,6
/proc/14286/task/14289/stat : 14289 (java) S 14284 14284 32513 0 -1 1077944384 3896 0 0 0 35 5 0 0 20 0 19 0 444412080 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417354881296 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14290] ppid=14284 vsize=15685716 memory=650488 CPUtime=0.41 cores=0,2,4,6
/proc/14286/task/14290/stat : 14290 (java) S 14284 14284 32513 0 -1 1077944384 2379 0 0 0 35 6 0 0 20 0 19 0 444412080 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417353829008 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14291] ppid=14284 vsize=15685716 memory=629488 CPUtime=0.39 cores=0,2,4,6
/proc/14286/task/14291/stat : 14291 (java) S 14284 14284 32513 0 -1 1077944384 2676 0 0 0 35 4 0 0 20 0 19 0 444412080 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417352776208 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14292] ppid=14284 vsize=15685716 memory=574612 CPUtime=0.52 cores=0,2,4,6
/proc/14286/task/14292/stat : 14292 (java) S 14284 14284 32513 0 -1 1077944384 5479 0 0 0 19 33 0 0 20 0 19 0 444412081 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417231678064 140417763150466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14293] ppid=14284 vsize=15685716 memory=553092 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14293/stat : 14293 (java) S 14284 14284 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 444412081 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417230624096 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14294] ppid=14284 vsize=15685716 memory=512656 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14294/stat : 14294 (java) S 14284 14284 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444412082 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417229571712 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14295] ppid=14284 vsize=15685716 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14295/stat : 14295 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444412084 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417228520016 140417763157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14296] ppid=14284 vsize=15685716 memory=1448 CPUtime=2.47 cores=0,2,4,6
/proc/14286/task/14296/stat : 14296 (java) S 14284 14284 32513 0 -1 1077944384 13036 0 0 0 246 1 0 0 20 0 19 0 444412084 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417227466864 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14297] ppid=14284 vsize=15685716 memory=415512 CPUtime=2.59 cores=0,2,4,6
/proc/14286/task/14297/stat : 14297 (java) S 14284 14284 32513 0 -1 1077944384 12607 0 0 0 258 1 0 0 20 0 19 0 444412084 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417226414064 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14298] ppid=14284 vsize=15685716 memory=416068 CPUtime=0.87 cores=0,2,4,6
/proc/14286/task/14298/stat : 14298 (java) S 14284 14284 32513 0 -1 1077944384 10790 0 0 0 85 2 0 0 20 0 19 0 444412084 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417225361776 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14299] ppid=14284 vsize=15685716 memory=395052 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14299/stat : 14299 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444412084 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417224309216 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14300] ppid=14284 vsize=15685716 memory=395052 CPUtime=0.13 cores=0,2,4,6
/proc/14286/task/14300/stat : 14300 (java) S 14284 14284 32513 0 -1 1077944384 1439 0 0 0 0 13 0 0 20 0 19 0 444412084 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417223257008 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14813] ppid=14284 vsize=15685716 memory=1448 CPUtime=229.08 cores=0,2,4,6
/proc/14286/task/14813/stat : 14813 (java) R 14284 14284 32513 0 -1 4202560 1305 0 0 0 22908 0 0 0 20 0 19 0 444447247 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417214036224 140417403495594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14814] ppid=14284 vsize=15685716 memory=1448 CPUtime=228.86 cores=0,2,4,6
/proc/14286/task/14814/stat : 14814 (java) R 14284 14284 32513 0 -1 4202560 1772 0 0 0 22886 0 0 0 20 0 19 0 444447247 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417204572568 140417401595964 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14815] ppid=14284 vsize=15685716 memory=1668 CPUtime=228.84 cores=0,2,4,6
/proc/14286/task/14815/stat : 14815 (java) R 14284 14284 32513 0 -1 4202560 1121 0 0 0 22884 0 0 0 20 0 19 0 444447247 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417211935568 140417399685673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14816] ppid=14284 vsize=15685716 memory=1112 CPUtime=228.34 cores=0,2,4,6
/proc/14286/task/14816/stat : 14816 (java) R 14284 14284 32513 0 -1 4202560 2543 0 0 0 22834 0 0 0 20 0 19 0 444447247 16062173184 98763 33554432000 4194304 4196468 140722074357568 140417210879912 140417404431814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
Current children cumulated CPU time: 2315.21 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 396500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.701 s]
/proc/loadavg: 8.25 8.78 8.73 9/240 14871
/proc/meminfo: memFree=30898056/32770624 swapFree=66997372/67108860
[pid=14284] ppid=14281 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14284/stat : 14284 (xcsp3-exec) S 14281 14284 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444412078 115843072 362 33554432000 4194304 5098028 140729860219280 140729860217384 139698541982332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31834112 140729860223867 140729860224109 140729860224109 140729860227018 0
/proc/14284/statm: 28282 362 304 221 0 87 0
[pid=14286] ppid=14284 vsize=15685716 memory=340168 CPUtime=2400.29 cores=0,2,4,6
/proc/14286/stat : 14286 (java) S 14284 14284 32513 0 -1 1077944320 112895 0 0 0 239942 87 0 0 20 0 19 0 444412079 16062173184 85042 33554432000 4194304 4196468 140722074357568 140722074340112 140417763139319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
/proc/14286/statm: 3921429 85042 3533 1 0 3882529 0
[pid=14286/tid=14287] ppid=14284 vsize=15685716 memory=340168 CPUtime=1.09 cores=0,2,4,6
/proc/14286/task/14287/stat : 14287 (java) S 14284 14284 32513 0 -1 1077944384 13523 0 0 0 103 6 0 0 20 0 19 0 444412079 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417767380096 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14288] ppid=14284 vsize=15685716 memory=1448 CPUtime=0.4 cores=0,2,4,6
/proc/14286/task/14288/stat : 14288 (java) S 14284 14284 32513 0 -1 1077944384 2394 0 0 0 36 4 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417715759504 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14289] ppid=14284 vsize=15685716 memory=363684 CPUtime=0.42 cores=0,2,4,6
/proc/14286/task/14289/stat : 14289 (java) S 14284 14284 32513 0 -1 1077944384 4364 0 0 0 37 5 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417354881296 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14290] ppid=14284 vsize=15685716 memory=1448 CPUtime=0.43 cores=0,2,4,6
/proc/14286/task/14290/stat : 14290 (java) S 14284 14284 32513 0 -1 1077944384 2410 0 0 0 37 6 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417353829008 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14291] ppid=14284 vsize=15685716 memory=395052 CPUtime=0.41 cores=0,2,4,6
/proc/14286/task/14291/stat : 14291 (java) S 14284 14284 32513 0 -1 1077944384 2828 0 0 0 37 4 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417352776208 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14292] ppid=14284 vsize=15685716 memory=415512 CPUtime=0.54 cores=0,2,4,6
/proc/14286/task/14292/stat : 14292 (java) S 14284 14284 32513 0 -1 1077944384 5731 0 0 0 20 34 0 0 20 0 19 0 444412081 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417231678064 140417763150466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14293] ppid=14284 vsize=15685716 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14293/stat : 14293 (java) S 14284 14284 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 444412081 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417230624096 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14294] ppid=14284 vsize=15685716 memory=512656 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14294/stat : 14294 (java) S 14284 14284 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444412082 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417229571712 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14295] ppid=14284 vsize=15685716 memory=553092 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14295/stat : 14295 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417228520016 140417763157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14296] ppid=14284 vsize=15685716 memory=629488 CPUtime=2.47 cores=0,2,4,6
/proc/14286/task/14296/stat : 14296 (java) S 14284 14284 32513 0 -1 1077944384 13039 0 0 0 246 1 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417227466864 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14297] ppid=14284 vsize=15685716 memory=650488 CPUtime=2.59 cores=0,2,4,6
/proc/14286/task/14297/stat : 14297 (java) S 14284 14284 32513 0 -1 1077944384 12609 0 0 0 258 1 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417226414064 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14298] ppid=14284 vsize=15685716 memory=814080 CPUtime=0.87 cores=0,2,4,6
/proc/14286/task/14298/stat : 14298 (java) S 14284 14284 32513 0 -1 1077944384 10792 0 0 0 85 2 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417225361776 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14299] ppid=14284 vsize=15685716 memory=824340 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14299/stat : 14299 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417224309216 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14300] ppid=14284 vsize=15685716 memory=350432 CPUtime=0.14 cores=0,2,4,6
/proc/14286/task/14300/stat : 14300 (java) S 14284 14284 32513 0 -1 1077944384 1458 0 0 0 0 14 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417223257008 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14813] ppid=14284 vsize=15685716 memory=340168 CPUtime=250.18 cores=0,2,4,6
/proc/14286/task/14813/stat : 14813 (java) R 14284 14284 32513 0 -1 4202560 1407 0 0 0 25018 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417214036440 140417402935076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14814] ppid=14284 vsize=15685716 memory=340168 CPUtime=250.14 cores=0,2,4,6
/proc/14286/task/14814/stat : 14814 (java) R 14284 14284 32513 0 -1 4202560 1871 0 0 0 25014 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417204575232 140417403509422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14815] ppid=14284 vsize=15685716 memory=1448 CPUtime=250.12 cores=0,2,4,6
/proc/14286/task/14815/stat : 14815 (java) R 14284 14284 32513 0 -1 4202560 1244 0 0 0 25012 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417211932240 140417403495643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14816] ppid=14284 vsize=15685716 memory=1448 CPUtime=249.66 cores=0,2,4,6
/proc/14286/task/14816/stat : 14816 (java) R 14284 14284 32513 0 -1 4202560 2641 0 0 0 24966 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417210880232 140417403509409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
Current children cumulated CPU time: 2400.29 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 341616 KiB

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

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

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

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

[startup+603.701 s]
/proc/loadavg: 8.25 8.78 8.73 9/240 14871
/proc/meminfo: memFree=30898056/32770624 swapFree=66997372/67108860
[pid=14284] ppid=14281 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14284/stat : 14284 (xcsp3-exec) S 14281 14284 32513 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444412078 115843072 362 33554432000 4194304 5098028 140729860219280 140729860217384 139698541982332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 31834112 140729860223867 140729860224109 140729860224109 140729860227018 0
/proc/14284/statm: 28282 362 304 221 0 87 0
[pid=14286] ppid=14284 vsize=15685716 memory=340168 CPUtime=2400.29 cores=0,2,4,6
/proc/14286/stat : 14286 (java) S 14284 14284 32513 0 -1 1077944320 112895 0 0 0 239942 87 0 0 20 0 19 0 444412079 16062173184 85042 33554432000 4194304 4196468 140722074357568 140722074340112 140417763139319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
/proc/14286/statm: 3921429 85042 3533 1 0 3882529 0
[pid=14286/tid=14287] ppid=14284 vsize=15685716 memory=340168 CPUtime=1.09 cores=0,2,4,6
/proc/14286/task/14287/stat : 14287 (java) S 14284 14284 32513 0 -1 1077944384 13523 0 0 0 103 6 0 0 20 0 19 0 444412079 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417767380096 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14288] ppid=14284 vsize=15685716 memory=1448 CPUtime=0.4 cores=0,2,4,6
/proc/14286/task/14288/stat : 14288 (java) S 14284 14284 32513 0 -1 1077944384 2394 0 0 0 36 4 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417715759504 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14289] ppid=14284 vsize=15685716 memory=363684 CPUtime=0.42 cores=0,2,4,6
/proc/14286/task/14289/stat : 14289 (java) S 14284 14284 32513 0 -1 1077944384 4364 0 0 0 37 5 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417354881296 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14290] ppid=14284 vsize=15685716 memory=1448 CPUtime=0.43 cores=0,2,4,6
/proc/14286/task/14290/stat : 14290 (java) S 14284 14284 32513 0 -1 1077944384 2410 0 0 0 37 6 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417353829008 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14291] ppid=14284 vsize=15685716 memory=395052 CPUtime=0.41 cores=0,2,4,6
/proc/14286/task/14291/stat : 14291 (java) S 14284 14284 32513 0 -1 1077944384 2828 0 0 0 37 4 0 0 20 0 19 0 444412080 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417352776208 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14292] ppid=14284 vsize=15685716 memory=415512 CPUtime=0.54 cores=0,2,4,6
/proc/14286/task/14292/stat : 14292 (java) S 14284 14284 32513 0 -1 1077944384 5731 0 0 0 20 34 0 0 20 0 19 0 444412081 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417231678064 140417763150466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14293] ppid=14284 vsize=15685716 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14293/stat : 14293 (java) S 14284 14284 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 444412081 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417230624096 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14294] ppid=14284 vsize=15685716 memory=512656 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14294/stat : 14294 (java) S 14284 14284 32513 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 444412082 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417229571712 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14295] ppid=14284 vsize=15685716 memory=553092 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14295/stat : 14295 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417228520016 140417763157915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14296] ppid=14284 vsize=15685716 memory=629488 CPUtime=2.47 cores=0,2,4,6
/proc/14286/task/14296/stat : 14296 (java) S 14284 14284 32513 0 -1 1077944384 13039 0 0 0 246 1 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417227466864 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14297] ppid=14284 vsize=15685716 memory=650488 CPUtime=2.59 cores=0,2,4,6
/proc/14286/task/14297/stat : 14297 (java) S 14284 14284 32513 0 -1 1077944384 12609 0 0 0 258 1 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417226414064 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14298] ppid=14284 vsize=15685716 memory=814080 CPUtime=0.87 cores=0,2,4,6
/proc/14286/task/14298/stat : 14298 (java) S 14284 14284 32513 0 -1 1077944384 10792 0 0 0 85 2 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417225361776 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14299] ppid=14284 vsize=15685716 memory=824340 CPUtime=0 cores=0,2,4,6
/proc/14286/task/14299/stat : 14299 (java) S 14284 14284 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417224309216 140417763149525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14300] ppid=14284 vsize=15685716 memory=350432 CPUtime=0.14 cores=0,2,4,6
/proc/14286/task/14300/stat : 14300 (java) S 14284 14284 32513 0 -1 1077944384 1458 0 0 0 0 14 0 0 20 0 19 0 444412084 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417223257008 140417763150466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14813] ppid=14284 vsize=15685716 memory=340168 CPUtime=250.18 cores=0,2,4,6
/proc/14286/task/14813/stat : 14813 (java) R 14284 14284 32513 0 -1 4202560 1407 0 0 0 25018 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417214036440 140417402935076 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14814] ppid=14284 vsize=15685716 memory=340168 CPUtime=250.14 cores=0,2,4,6
/proc/14286/task/14814/stat : 14814 (java) R 14284 14284 32513 0 -1 4202560 1871 0 0 0 25014 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417204575232 140417403509422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14815] ppid=14284 vsize=15685716 memory=1448 CPUtime=250.12 cores=0,2,4,6
/proc/14286/task/14815/stat : 14815 (java) R 14284 14284 32513 0 -1 4202560 1244 0 0 0 25012 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417211932240 140417403495643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
[pid=14286/tid=14816] ppid=14284 vsize=15685716 memory=1448 CPUtime=249.66 cores=0,2,4,6
/proc/14286/task/14816/stat : 14816 (java) R 14284 14284 32513 0 -1 4202560 2641 0 0 0 24966 0 0 0 20 0 19 0 444447247 16062173184 85042 33554432000 4194304 4196468 140722074357568 140417210880232 140417403509409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27267072 140722074362863 140722074363034 140722074363034 140722074365903 0
Current children cumulated CPU time: 2400.29 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 341616 KiB

Child status: 143
Real time (s): 603.718
CPU time (s): 2400.34
CPU user time (s): 2399.46
CPU system time (s): 0.879527
CPU usage (%): 397.593
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 1132460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.46
system time used= 0.879527
maximum resident set size= 1135632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114336
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21541
involuntary context switches= 38927


# summary of solver processes directly reported to runsolver:
#   pid: 14284,14286
#   total CPU time (s): 2400.34
#   total CPU user time (s): 2399.46
#   total CPU system time (s): 0.879527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.87264 second user time and 6.49435 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 4400591

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