2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	SAT (TO)	840	19755.6	2520.13

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404791-1568997243.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404791-1568997243.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.02/1.24	c solve instance...
17.02/2.92	o 2638 
17.02/2.95	o 2637 
17.02/2.96	o 2555 
17.02/3.00	o 2538 
17.02/3.00	o 2516 
17.02/3.01	o 2515 
17.70/3.02	o 2499 
17.70/3.02	o 2455 
17.70/3.03	o 2438 
17.70/3.04	o 2434 
17.70/3.05	o 2433 
17.70/3.05	o 2407 
17.70/3.06	o 2406 
17.70/3.06	o 2403 
18.48/3.12	o 2402 
18.48/3.12	o 2401 
20.68/3.44	o 2012 
20.68/3.46	o 1983 
20.68/3.49	o 1979 
20.68/3.49	o 1959 
21.44/3.50	o 1935 
21.44/3.51	o 1901 
21.44/3.53	o 1874 
21.44/3.53	o 1843 
21.44/3.54	o 1825 
23.67/3.88	o 1784 
24.46/3.92	o 1782 
24.46/3.93	o 1780 
24.46/3.94	o 1774 
24.46/3.95	o 1768 
26.77/4.20	o 1749 
26.77/4.20	o 1725 
26.77/4.28	o 1721 
27.54/4.33	o 1706 
28.31/4.46	o 1686 
28.31/4.47	o 1681 
28.31/4.49	o 1679 
30.64/4.73	o 1646 
30.64/4.76	o 1645 
30.64/4.78	o 1612 
30.64/4.80	o 1580 
33.73/5.11	o 1579 
33.73/5.11	o 1573 
33.73/5.12	o 1568 
33.73/5.13	o 1525 
33.73/5.15	o 1477 
33.73/5.16	o 1452 
33.73/5.19	o 1441 
34.37/5.23	o 1404 
35.13/5.32	o 1391 
35.13/5.35	o 1381 
37.49/5.65	o 1378 
39.07/5.85	o 1339 
39.07/5.87	o 1338 
41.49/6.13	o 1276 
41.49/6.13	o 1275 
47.75/6.92	o 1260 
49.41/7.12	o 1240 
49.41/7.13	o 1227 
49.41/7.13	o 1197 
53.30/7.64	o 1184 
53.30/7.66	o 1155 
53.30/7.67	o 1147 
57.30/8.19	o 1095 
59.63/8.45	o 1075 
61.24/8.61	o 1072 
67.55/9.43	o 1060 
71.52/9.94	o 1059 
72.37/10.04	o 1054 
75.48/10.45	o 1043 
77.07/10.68	o 1035 
77.85/10.75	o 1027 
83.42/11.48	o 1019 
112.19/15.09	o 1006 
118.51/15.81	o 1002 
119.29/16.01	o 996 
120.13/16.01	o 991 
120.13/16.06	o 981 
175.01/22.96	o 979 
256.38/33.18	o 977 
264.32/34.19	o 967 
283.37/36.51	o 964 
306.50/39.44	o 949 
363.91/46.61	o 945 
531.33/67.64	o 930 
723.39/91.70	o 911 
797.58/101.07	o 907 
1534.57/193.43	o 905 
1722.48/217.09	o 893 
1737.14/219.16	o 883 
2658.68/334.74	o 864 
3088.44/388.68	o 863 
4042.46/509.88	o 861 
4881.22/616.71	o 857 
4953.91/626.25	o 851 
8245.11/1043.26	o 845 
14788.64/1874.23	o 844 
16418.50/2085.62	o 841 
19195.46/2449.12	o 840 
19754.83/2520.08	s SATISFIABLE
19754.83/2520.08	v <instantiation>
19754.83/2520.08	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[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>
19754.83/2520.08	v 	<values>0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 5 66 88 86 55 11 27 87 100 56 67 57 25 70 76 52 19 19 99 96 31 61 8 67 58 68 99 43 92 93 73 64 43 40 39 14 </values>
19754.83/2520.08	v </instantiation>
19754.83/2520.08	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404791-1568997243/watcher-4404791-1568997243 -o /var/tmp/evaluation-result-4404791-1568997243/solver-4404791-1568997243 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node136-1568994428-2972 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 689223620 HOME/instance-4404791-1568997243.xml 

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

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


[startup+0.100139 s]*
/proc/loadavg: 8.88 8.63 8.38 2/213 3980
/proc/meminfo: memFree=25410892/32770624 swapFree=67002252/67108860
[pid=3959] ppid=3956 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3959/stat : 3959 (xcsp3-exec) S 3956 3959 2945 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475972894 115843072 363 33554432000 4194304 5098028 140726910449104 140726910447208 140158818394748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29028352 140726910452562 140726910452821 140726910452821 140726910455750 0
/proc/3959/statm: 28282 363 304 221 0 87 0
[pid=3961] ppid=3959 vsize=28227396 memory=27080 CPUtime=0.12 cores=0-7
/proc/3961/stat : 3961 (java) S 3959 3959 2945 0 -1 1077944320 5737 0 0 0 11 1 0 0 20 0 20 0 475972895 28904853504 6770 33554432000 4194304 4196468 140728984050512 140728984033056 140324867387127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
/proc/3961/statm: 7056849 6770 3141 1 0 7019032 0
[pid=3961/tid=3962] ppid=3959 vsize=28227396 memory=-7096649868621430206 CPUtime=0.09 cores=0-7
/proc/3961/task/3962/stat : 3962 (java) R 3959 3959 2945 0 -1 4202560 3633 0 0 0 8 1 0 0 20 0 20 0 475972895 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324871623472 140324851467614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3963] ppid=3959 vsize=28227396 memory=664954298551644168 CPUtime=0 cores=0-7
/proc/3961/task/3963/stat : 3963 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324837100560 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3964] ppid=3959 vsize=28227396 memory=140194828056192 CPUtime=0 cores=0-7
/proc/3961/task/3964/stat : 3964 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324418161808 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3965] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3965/stat : 3965 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324417108752 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3966] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3966/stat : 3966 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324416056208 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3967] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3967/stat : 3967 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324415003152 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3968] ppid=3959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3961/task/3968/stat : 3968 (java) S 3959 3959 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324413950608 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3969] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3969/stat : 3969 (java) S 3959 3959 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324412897552 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3970] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3970/stat : 3970 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 6770 33554432000 4194304 4196468 140728984050512 140324411845008 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3971] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3971/stat : 3971 (java) S 3959 3959 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475972897 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323465722608 140324867398274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3972] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3972/stat : 3972 (java) S 3959 3959 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475972898 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323464668832 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3973] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3973/stat : 3973 (java) S 3959 3959 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475972898 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323463615728 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3974] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3974/stat : 3974 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972900 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323462564304 140324867405723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3975] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3975/stat : 3975 (java) R 3959 3959 2945 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 20 0 475972900 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323461511408 140324867398274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3976] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3976/stat : 3976 (java) R 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475972900 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323460458864 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3977] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3977/stat : 3977 (java) R 3959 3959 2945 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 475972900 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323459404992 140324847259922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3978] ppid=3959 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3961/task/3978/stat : 3978 (java) R 3959 3959 2945 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 20 0 475972900 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323458353264 140324867399062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3979] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3979/stat : 3979 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475972901 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323457301472 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3980] ppid=3959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3961/task/3980/stat : 3980 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972901 28904853504 6770 33554432000 4194304 4196468 140728984050512 140323456249008 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28532 KiB

[startup+0.210866 s]*
/proc/loadavg: 8.88 8.63 8.38 2/213 3980
/proc/meminfo: memFree=25397268/32770624 swapFree=67002252/67108860
[pid=3959] ppid=3956 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3959/stat : 3959 (xcsp3-exec) S 3956 3959 2945 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475972894 115843072 363 33554432000 4194304 5098028 140726910449104 140726910447208 140158818394748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29028352 140726910452562 140726910452821 140726910452821 140726910455750 0
/proc/3959/statm: 28282 363 304 221 0 87 0
[pid=3961] ppid=3959 vsize=28227396 memory=39504 CPUtime=0.33 cores=0-7
/proc/3961/stat : 3961 (java) S 3959 3959 2945 0 -1 1077944320 9575 0 0 0 30 3 0 0 20 0 20 0 475972895 28904853504 9876 33554432000 4194304 4196468 140728984050512 140728984033056 140324867387127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
/proc/3961/statm: 7056849 9876 3315 1 0 7019032 0
[pid=3961/tid=3962] ppid=3959 vsize=28227396 memory=8390339637985935414 CPUtime=0.2 cores=0-7
/proc/3961/task/3962/stat : 3962 (java) R 3959 3959 2945 0 -1 4202560 6630 0 0 0 18 2 0 0 20 0 20 0 475972895 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324871620592 140324851467614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3963] ppid=3959 vsize=28227396 memory=288230600413020183 CPUtime=0 cores=0-7
/proc/3961/task/3963/stat : 3963 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324837100560 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3964] ppid=3959 vsize=28227396 memory=3475010574837937824 CPUtime=0 cores=0-7
/proc/3961/task/3964/stat : 3964 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324418161808 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3965] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3965/stat : 3965 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324417108752 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3966] ppid=3959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3961/task/3966/stat : 3966 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324416056208 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3967] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3967/stat : 3967 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324415003152 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3968] ppid=3959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3961/task/3968/stat : 3968 (java) S 3959 3959 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324413950608 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3969] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3969/stat : 3969 (java) S 3959 3959 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324412897552 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3970] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3970/stat : 3970 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28904853504 9876 33554432000 4194304 4196468 140728984050512 140324411845008 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3971] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3971/stat : 3971 (java) S 3959 3959 2945 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475972897 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323465722608 140324867398274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3972] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3972/stat : 3972 (java) S 3959 3959 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475972898 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323464668832 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3973] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3973/stat : 3973 (java) S 3959 3959 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475972898 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323463615728 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3974] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3974/stat : 3974 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972900 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323462564304 140324867405723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3975] ppid=3959 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/3961/task/3975/stat : 3975 (java) S 3959 3959 2945 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 20 0 475972900 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323461511408 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3976] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3976/stat : 3976 (java) S 3959 3959 2945 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 475972900 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323460458864 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3977] ppid=3959 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3961/task/3977/stat : 3977 (java) S 3959 3959 2945 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 475972900 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323459405808 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3978] ppid=3959 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/3961/task/3978/stat : 3978 (java) R 3959 3959 2945 0 -1 4202560 942 0 0 0 8 0 0 0 20 0 20 0 475972900 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323458353264 140324851467614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3979] ppid=3959 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3979/stat : 3979 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475972901 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323457301472 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3980] ppid=3959 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3961/task/3980/stat : 3980 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972901 28904853504 9876 33554432000 4194304 4196468 140728984050512 140323456249008 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40956 KiB

[startup+0.311437 s]*
/proc/loadavg: 8.88 8.63 8.38 3/213 3980
/proc/meminfo: memFree=25389876/32770624 swapFree=67002252/67108860
[pid=3959] ppid=3956 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3959/stat : 3959 (xcsp3-exec) S 3956 3959 2945 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475972894 115843072 363 33554432000 4194304 5098028 140726910449104 140726910447208 140158818394748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29028352 140726910452562 140726910452821 140726910452821 140726910455750 0
/proc/3959/statm: 28282 363 304 221 0 87 0
[pid=3961] ppid=3959 vsize=28231652 memory=48388 CPUtime=0.51 cores=0-7
/proc/3961/stat : 3961 (java) S 3959 3959 2945 0 -1 1077944320 10953 0 0 0 47 4 0 0 20 0 20 0 475972895 28909211648 12097 33554432000 4194304 4196468 140728984050512 140728984033056 140324867387127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
/proc/3961/statm: 7057913 12097 3347 1 0 7019032 0
[pid=3961/tid=3962] ppid=3959 vsize=28231652 memory=1398720917958146503 CPUtime=0.3 cores=0-7
/proc/3961/task/3962/stat : 3962 (java) R 3959 3959 2945 0 -1 4202560 7766 0 0 0 27 3 0 0 20 0 20 0 475972895 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324871618240 140324867409053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3963] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3963/stat : 3963 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324837100560 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3964] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3964/stat : 3964 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324418161808 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3965] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3965/stat : 3965 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324417108752 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3966] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3966/stat : 3966 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324416056208 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3967] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3967/stat : 3967 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324415003152 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3968] ppid=3959 vsize=28231652 memory=140194711956143 CPUtime=0 cores=0-7
/proc/3961/task/3968/stat : 3968 (java) S 3959 3959 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324413950608 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3969] ppid=3959 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3961/task/3969/stat : 3969 (java) S 3959 3959 2945 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324412897552 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3970] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3970/stat : 3970 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28909211648 12123 33554432000 4194304 4196468 140728984050512 140324411845008 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3971] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3971/stat : 3971 (java) S 3959 3959 2945 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475972897 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323465722608 140324867398274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3972] ppid=3959 vsize=28231652 memory=2110545319097348 CPUtime=0 cores=0-7
/proc/3961/task/3972/stat : 3972 (java) S 3959 3959 2945 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475972898 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323464668832 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3973] ppid=3959 vsize=28231652 memory=2110545319071396 CPUtime=0 cores=0-7
/proc/3961/task/3973/stat : 3973 (java) S 3959 3959 2945 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475972898 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323463615728 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3974] ppid=3959 vsize=28231652 memory=2110545319073700 CPUtime=0 cores=0-7
/proc/3961/task/3974/stat : 3974 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972900 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323462564304 140324867405723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3975] ppid=3959 vsize=28231652 memory=2110545319097124 CPUtime=0.03 cores=0-7
/proc/3961/task/3975/stat : 3975 (java) S 3959 3959 2945 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 20 0 475972900 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323461511408 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3976] ppid=3959 vsize=28231652 memory=2110545319078308 CPUtime=0 cores=0-7
/proc/3961/task/3976/stat : 3976 (java) S 3959 3959 2945 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 475972900 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323460458864 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3977] ppid=3959 vsize=28231652 memory=2110545319097156 CPUtime=0.02 cores=0-7
/proc/3961/task/3977/stat : 3977 (java) S 3959 3959 2945 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 20 0 475972900 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323459405808 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3978] ppid=3959 vsize=28231652 memory=2110545319097188 CPUtime=0.13 cores=0-7
/proc/3961/task/3978/stat : 3978 (java) S 3959 3959 2945 0 -1 1077944384 1161 0 0 0 13 0 0 0 20 0 20 0 475972900 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323458353264 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3979] ppid=3959 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3979/stat : 3979 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475972901 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323457301472 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3980] ppid=3959 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3961/task/3980/stat : 3980 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972901 28909211648 12123 33554432000 4194304 4196468 140728984050512 140323456249008 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 49840 KiB

[startup+0.701011 s]
/proc/loadavg: 8.88 8.63 8.38 3/213 3980
/proc/meminfo: memFree=25368712/32770624 swapFree=67002252/67108860
[pid=3959] ppid=3956 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3959/stat : 3959 (xcsp3-exec) S 3956 3959 2945 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475972894 115843072 363 33554432000 4194304 5098028 140726910449104 140726910447208 140158818394748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29028352 140726910452562 140726910452821 140726910452821 140726910455750 0
/proc/3959/statm: 28282 363 304 221 0 87 0
[pid=3961] ppid=3959 vsize=28233776 memory=94800 CPUtime=1.87 cores=0-7
/proc/3961/stat : 3961 (java) S 3959 3959 2945 0 -1 1077944320 16386 0 0 0 181 6 0 0 20 0 20 0 475972895 28911386624 23700 33554432000 4194304 4196468 140728984050512 140728984033056 140324867387127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
/proc/3961/statm: 7058444 23700 3453 1 0 7019544 0
[pid=3961/tid=3962] ppid=3959 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/3961/task/3962/stat : 3962 (java) R 3959 3959 2945 0 -1 4202560 9249 0 0 0 64 3 0 0 20 0 20 0 475972895 28911386624 23700 33554432000 4194304 4196468 140728984050512 140324871621552 140324505158695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3963] ppid=3959 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3963/stat : 3963 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28911386624 23700 33554432000 4194304 4196468 140728984050512 140324837100560 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3964] ppid=3959 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/3961/task/3964/stat : 3964 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28911386624 23700 33554432000 4194304 4196468 140728984050512 140324418161808 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3965] ppid=3959 vsize=28233776 memory=776 CPUtime=0 cores=0-7
/proc/3961/task/3965/stat : 3965 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475972896 28911386624 23700 33554432000 4194304 4196468 140728984050512 140324417108752 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0

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

[pid=3961/tid=4950] ppid=3959 vsize=28834900 memory=1452 CPUtime=341.95 cores=0-7
/proc/3961/task/4950/stat : 4950 (java) S 3959 3959 2945 0 -1 1077944384 26063 0 0 0 34182 13 0 0 20 0 28 0 476181457 29526937600 202994 33554432000 4194304 4196468 140728984050512 140323442824912 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
Current children cumulated CPU time: 19188.7 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 813428 KiB

[startup+2502.3 s]
/proc/loadavg: 7.54 7.81 8.03 9/220 4990
/proc/meminfo: memFree=24617888/32770624 swapFree=67002252/67108860
[pid=3959] ppid=3956 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3959/stat : 3959 (xcsp3-exec) S 3956 3959 2945 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475972894 115843072 363 33554432000 4194304 5098028 140726910449104 140726910447208 140158818394748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29028352 140726910452562 140726910452821 140726910452821 140726910455750 0
/proc/3959/statm: 28282 363 304 221 0 87 0
[pid=3961] ppid=3959 vsize=28834900 memory=815576 CPUtime=19614.5 cores=0-7
/proc/3961/stat : 3961 (java) S 3959 3959 2945 0 -1 1077944320 1102227 0 0 0 1958629 2825 0 0 20 0 28 0 475972895 29526937600 203894 33554432000 4194304 4196468 140728984050512 140728984033056 140324867387127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
/proc/3961/statm: 7208725 203894 3563 1 0 7169825 0
[pid=3961/tid=3962] ppid=3959 vsize=28834900 memory=1452 CPUtime=1.32 cores=0-7
/proc/3961/task/3962/stat : 3962 (java) S 3959 3959 2945 0 -1 1077944384 15618 0 0 0 125 7 0 0 20 0 28 0 475972895 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324871627904 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3963] ppid=3959 vsize=28834900 memory=798268 CPUtime=10.57 cores=0-7
/proc/3961/task/3963/stat : 3963 (java) S 3959 3959 2945 0 -1 1077944384 41031 0 0 0 1010 47 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324837100560 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3964] ppid=3959 vsize=28834900 memory=811976 CPUtime=10.52 cores=0-7
/proc/3961/task/3964/stat : 3964 (java) S 3959 3959 2945 0 -1 1077944384 47513 0 0 0 1003 49 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324418161808 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3965] ppid=3959 vsize=28834900 memory=1452 CPUtime=10.5 cores=0-7
/proc/3961/task/3965/stat : 3965 (java) S 3959 3959 2945 0 -1 1077944384 44052 0 0 0 1003 47 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324417108752 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3966] ppid=3959 vsize=28834900 memory=867924 CPUtime=10.52 cores=0-7
/proc/3961/task/3966/stat : 3966 (java) S 3959 3959 2945 0 -1 1077944384 41715 0 0 0 1002 50 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324416056208 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3967] ppid=3959 vsize=28834900 memory=813000 CPUtime=10.54 cores=0-7
/proc/3961/task/3967/stat : 3967 (java) S 3959 3959 2945 0 -1 1077944384 46720 0 0 0 1002 52 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324415003152 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3968] ppid=3959 vsize=28834900 memory=823768 CPUtime=10.48 cores=0-7
/proc/3961/task/3968/stat : 3968 (java) S 3959 3959 2945 0 -1 1077944384 52649 0 0 0 994 54 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324413950608 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3969] ppid=3959 vsize=28834900 memory=841500 CPUtime=10.58 cores=0-7
/proc/3961/task/3969/stat : 3969 (java) S 3959 3959 2945 0 -1 1077944384 44075 0 0 0 1003 55 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324412897552 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3970] ppid=3959 vsize=28834900 memory=824768 CPUtime=10.56 cores=0-7
/proc/3961/task/3970/stat : 3970 (java) S 3959 3959 2945 0 -1 1077944384 49443 0 0 0 1001 55 0 0 20 0 28 0 475972896 29526937600 203894 33554432000 4194304 4196468 140728984050512 140324411845008 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3971] ppid=3959 vsize=28834900 memory=820664 CPUtime=30.88 cores=0-7
/proc/3961/task/3971/stat : 3971 (java) S 3959 3959 2945 0 -1 1077944384 153779 0 0 0 1061 2027 0 0 20 0 28 0 475972897 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323465722608 140324867398274 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3972] ppid=3959 vsize=28834900 memory=815576 CPUtime=0 cores=0-7
/proc/3961/task/3972/stat : 3972 (java) S 3959 3959 2945 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 475972898 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323464668896 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3973] ppid=3959 vsize=28834900 memory=1452 CPUtime=0 cores=0-7
/proc/3961/task/3973/stat : 3973 (java) S 3959 3959 2945 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 475972898 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323463615744 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3974] ppid=3959 vsize=28834900 memory=540592 CPUtime=0 cores=0-7
/proc/3961/task/3974/stat : 3974 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475972900 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323462564304 140324867405723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3975] ppid=3959 vsize=28834900 memory=841556 CPUtime=2.82 cores=0-7
/proc/3961/task/3975/stat : 3975 (java) S 3959 3959 2945 0 -1 1077944384 19116 0 0 0 279 3 0 0 20 0 28 0 475972900 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323461511408 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3976] ppid=3959 vsize=28834900 memory=862800 CPUtime=2.96 cores=0-7
/proc/3961/task/3976/stat : 3976 (java) S 3959 3959 2945 0 -1 1077944384 10731 0 0 0 294 2 0 0 20 0 28 0 475972900 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323460458864 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3977] ppid=3959 vsize=28834900 memory=3616 CPUtime=3.09 cores=0-7
/proc/3961/task/3977/stat : 3977 (java) S 3959 3959 2945 0 -1 1077944384 17147 0 0 0 306 3 0 0 20 0 28 0 475972900 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323459405808 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3978] ppid=3959 vsize=28834900 memory=1452 CPUtime=1.05 cores=0-7
/proc/3961/task/3978/stat : 3978 (java) S 3959 3959 2945 0 -1 1077944384 16557 0 0 0 101 4 0 0 20 0 28 0 475972900 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323458353264 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3979] ppid=3959 vsize=28834900 memory=813480 CPUtime=0 cores=0-7
/proc/3961/task/3979/stat : 3979 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475972901 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323457301472 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3980] ppid=3959 vsize=28834900 memory=813480 CPUtime=0.67 cores=0-7
/proc/3961/task/3980/stat : 3980 (java) S 3959 3959 2945 0 -1 1077944384 7537 0 0 0 11 56 0 0 20 0 28 0 475972901 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323456249008 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4980] ppid=3959 vsize=28834900 memory=1452 CPUtime=51.91 cores=0-7
/proc/3961/task/4980/stat : 4980 (java) R 3959 3959 2945 0 -1 4202560 1012 0 0 0 5191 0 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323441766088 140324512315416 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4981] ppid=3959 vsize=28834900 memory=1452 CPUtime=51.88 cores=0-7
/proc/3961/task/4981/stat : 4981 (java) R 3959 3959 2945 0 -1 4202560 551 0 0 0 5188 0 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323437564856 140324513401122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4982] ppid=3959 vsize=28834900 memory=813536 CPUtime=51.88 cores=0-7
/proc/3961/task/4982/stat : 4982 (java) R 3959 3959 2945 0 -1 4202560 999 0 0 0 5188 0 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323443872296 140324513402468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4983] ppid=3959 vsize=28834900 memory=1452 CPUtime=52.27 cores=0-7
/proc/3961/task/4983/stat : 4983 (java) R 3959 3959 2945 0 -1 4202560 683 0 0 0 5227 0 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323442822160 140324511887719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4984] ppid=3959 vsize=28834900 memory=820664 CPUtime=51.63 cores=0-7
/proc/3961/task/4984/stat : 4984 (java) R 3959 3959 2945 0 -1 4202560 3625 0 0 0 5162 1 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323440713480 140324505158710 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4985] ppid=3959 vsize=28834900 memory=1452 CPUtime=51.64 cores=0-7
/proc/3961/task/4985/stat : 4985 (java) R 3959 3959 2945 0 -1 4202560 4910 0 0 0 5161 3 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323444924160 140324511225472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4986] ppid=3959 vsize=28834900 memory=3616 CPUtime=51.79 cores=0-7
/proc/3961/task/4986/stat : 4986 (java) R 3959 3959 2945 0 -1 4202560 17350 0 0 0 5175 4 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323447030280 140324515012165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4987] ppid=3959 vsize=28834900 memory=776 CPUtime=51.92 cores=0-7
/proc/3961/task/4987/stat : 4987 (java) R 3959 3959 2945 0 -1 4202560 791 0 0 0 5192 0 0 0 20 0 28 0 476217807 29526937600 203894 33554432000 4194304 4196468 140728984050512 140323445978296 140324513402560 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
Current children cumulated CPU time: 19614.5 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 817028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.89 7.87 8.04 9/219 4991
/proc/meminfo: memFree=24642624/32770624 swapFree=67002252/67108860
[pid=3959] ppid=3956 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3959/stat : 3959 (xcsp3-exec) S 3956 3959 2945 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475972894 115843072 363 33554432000 4194304 5098028 140726910449104 140726910447208 140158818394748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29028352 140726910452562 140726910452821 140726910452821 140726910455750 0
/proc/3959/statm: 28282 363 304 221 0 87 0
[pid=3961] ppid=3959 vsize=28834900 memory=790908 CPUtime=19754.8 cores=0-7
/proc/3961/stat : 3961 (java) S 3959 3959 2945 0 -1 1077944320 1113787 0 0 0 1972645 2838 0 0 20 0 28 0 475972895 29526937600 197727 33554432000 4194304 4196468 140728984050512 140728984033056 140324867387127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
/proc/3961/statm: 7208725 197727 3563 1 0 7169825 0
[pid=3961/tid=3962] ppid=3959 vsize=28834900 memory=-6733704525061579059 CPUtime=1.32 cores=0-7
/proc/3961/task/3962/stat : 3962 (java) S 3959 3959 2945 0 -1 1077944384 15618 0 0 0 125 7 0 0 20 0 28 0 475972895 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324871627904 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3963] ppid=3959 vsize=28834900 memory=4432 CPUtime=10.63 cores=0-7
/proc/3961/task/3963/stat : 3963 (java) S 3959 3959 2945 0 -1 1077944384 41093 0 0 0 1016 47 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324837100560 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3964] ppid=3959 vsize=28834900 memory=1412 CPUtime=10.59 cores=0-7
/proc/3961/task/3964/stat : 3964 (java) S 3959 3959 2945 0 -1 1077944384 48184 0 0 0 1010 49 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324418161808 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3965] ppid=3959 vsize=28834900 memory=4296 CPUtime=10.56 cores=0-7
/proc/3961/task/3965/stat : 3965 (java) S 3959 3959 2945 0 -1 1077944384 44156 0 0 0 1009 47 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324417108752 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3966] ppid=3959 vsize=28834900 memory=4872558044660077418 CPUtime=10.58 cores=0-7
/proc/3961/task/3966/stat : 3966 (java) S 3959 3959 2945 0 -1 1077944384 42209 0 0 0 1008 50 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324416056208 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3967] ppid=3959 vsize=28834900 memory=636 CPUtime=10.6 cores=0-7
/proc/3961/task/3967/stat : 3967 (java) S 3959 3959 2945 0 -1 1077944384 47586 0 0 0 1008 52 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324415003152 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3968] ppid=3959 vsize=28834900 memory=2836 CPUtime=10.55 cores=0-7
/proc/3961/task/3968/stat : 3968 (java) S 3959 3959 2945 0 -1 1077944384 53603 0 0 0 1000 55 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324413950608 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3969] ppid=3959 vsize=28834900 memory=1056 CPUtime=10.65 cores=0-7
/proc/3961/task/3969/stat : 3969 (java) S 3959 3959 2945 0 -1 1077944384 44693 0 0 0 1009 56 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324412897552 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3970] ppid=3959 vsize=28834900 memory=1568 CPUtime=10.62 cores=0-7
/proc/3961/task/3970/stat : 3970 (java) S 3959 3959 2945 0 -1 1077944384 49541 0 0 0 1007 55 0 0 20 0 28 0 475972896 29526937600 197727 33554432000 4194304 4196468 140728984050512 140324411845008 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3971] ppid=3959 vsize=28834900 memory=1048 CPUtime=31.04 cores=0-7
/proc/3961/task/3971/stat : 3971 (java) S 3959 3959 2945 0 -1 1077944384 154356 0 0 0 1067 2037 0 0 20 0 28 0 475972897 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323465722608 140324867398274 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3972] ppid=3959 vsize=28834900 memory=14008 CPUtime=0 cores=0-7
/proc/3961/task/3972/stat : 3972 (java) S 3959 3959 2945 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 475972898 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323464668896 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3973] ppid=3959 vsize=28834900 memory=12040 CPUtime=0 cores=0-7
/proc/3961/task/3973/stat : 3973 (java) S 3959 3959 2945 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 475972898 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323463615744 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3974] ppid=3959 vsize=28834900 memory=1452 CPUtime=0 cores=0-7
/proc/3961/task/3974/stat : 3974 (java) S 3959 3959 2945 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475972900 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323462564304 140324867405723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3975] ppid=3959 vsize=28834900 memory=790908 CPUtime=2.82 cores=0-7
/proc/3961/task/3975/stat : 3975 (java) S 3959 3959 2945 0 -1 1077944384 19122 0 0 0 279 3 0 0 20 0 28 0 475972900 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323461511408 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3976] ppid=3959 vsize=28834900 memory=988 CPUtime=2.96 cores=0-7
/proc/3961/task/3976/stat : 3976 (java) S 3959 3959 2945 0 -1 1077944384 10737 0 0 0 294 2 0 0 20 0 28 0 475972900 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323460458864 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3977] ppid=3959 vsize=28834900 memory=2024 CPUtime=3.09 cores=0-7
/proc/3961/task/3977/stat : 3977 (java) S 3959 3959 2945 0 -1 1077944384 17153 0 0 0 306 3 0 0 20 0 28 0 475972900 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323459405808 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3978] ppid=3959 vsize=28834900 memory=1416 CPUtime=1.05 cores=0-7
/proc/3961/task/3978/stat : 3978 (java) S 3959 3959 2945 0 -1 1077944384 16563 0 0 0 101 4 0 0 20 0 28 0 475972900 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323458353264 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3979] ppid=3959 vsize=28834900 memory=776 CPUtime=0 cores=0-7
/proc/3961/task/3979/stat : 3979 (java) S 3959 3959 2945 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475972901 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323457301472 140324867397333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=3980] ppid=3959 vsize=28834900 memory=3540 CPUtime=0.67 cores=0-7
/proc/3961/task/3980/stat : 3980 (java) S 3959 3959 2945 0 -1 1077944384 7589 0 0 0 11 56 0 0 20 0 28 0 475972901 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323456249008 140324867398274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4980] ppid=3959 vsize=28834900 memory=1228 CPUtime=69.39 cores=0-7
/proc/3961/task/4980/stat : 4980 (java) R 3959 3959 2945 0 -1 4202560 1227 0 0 0 6939 0 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323441766072 140324851726032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4981] ppid=3959 vsize=28834900 memory=10600 CPUtime=69.36 cores=0-7
/proc/3961/task/4981/stat : 4981 (java) R 3959 3959 2945 0 -1 4202560 624 0 0 0 6936 0 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323437564856 140324514490141 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4982] ppid=3959 vsize=28834900 memory=1736 CPUtime=69.37 cores=0-7
/proc/3961/task/4982/stat : 4982 (java) R 3959 3959 2945 0 -1 4202560 1170 0 0 0 6937 0 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323443872312 140324512682946 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4983] ppid=3959 vsize=28834900 memory=1804 CPUtime=69.81 cores=0-7
/proc/3961/task/4983/stat : 4983 (java) R 3959 3959 2945 0 -1 4202560 1730 0 0 0 6981 0 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323442819120 140324511887811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4984] ppid=3959 vsize=28834900 memory=916 CPUtime=68.99 cores=0-7
/proc/3961/task/4984/stat : 4984 (java) R 3959 3959 2945 0 -1 4202560 4008 0 0 0 6898 1 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323440713640 140324514111706 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4985] ppid=3959 vsize=28834900 memory=4432 CPUtime=69 cores=0-7
/proc/3961/task/4985/stat : 4985 (java) R 3959 3959 2945 0 -1 4202560 8418 0 0 0 6897 3 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323444927248 140324505158856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4986] ppid=3959 vsize=28834900 memory=1412 CPUtime=69.23 cores=0-7
/proc/3961/task/4986/stat : 4986 (java) R 3959 3959 2945 0 -1 4202560 18813 0 0 0 6918 5 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323447030280 140324512318164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
[pid=3961/tid=4987] ppid=3959 vsize=28834900 memory=4296 CPUtime=69.41 cores=0-7
/proc/3961/task/4987/stat : 4987 (java) R 3959 3959 2945 0 -1 4202560 971 0 0 0 6940 1 0 0 20 0 28 0 476217807 29526937600 197727 33554432000 4194304 4196468 140728984050512 140323445978408 140324512486387 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 38395904 140728984052694 140728984052870 140728984052870 140728984055759 0
Current children cumulated CPU time: 19754.8 s
Current children cumulated vsize: 28948028 KiB
Current children cumulated memory: 792360 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.13
CPU time (s): 19755.6
CPU user time (s): 19727.2
CPU system time (s): 28.4102
CPU usage (%): 783.911
Max. virtual memory (cumulated for all children) (KiB): 28948028
Max. memory (cumulated for all children) (KiB): 1438136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19727.2
system time used= 28.4102
maximum resident set size= 1443864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1114815
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164485
involuntary context switches= 239915


# summary of solver processes directly reported to runsolver:
#   pid: 3959,3961
#   total CPU time (s): 19755.6
#   total CPU user time (s): 19727.2
#   total CPU system time (s): 28.4102

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.3048 second user time and 30.1568 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	2520.09
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 4404791

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