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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT (TO)	704	1982.03	252.095

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271825-1502642098.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271825-1502642098.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.73/0.97	c solve instance...
3.23/1.07	o 3518 
3.23/1.08	o 1468 
10.98/2.01	o 1216 
10.98/2.06	o 1207 
10.98/2.08	o 1191 
10.98/2.08	o 1188 
11.76/2.17	o 1186 
11.76/2.19	o 1136 
21.92/3.50	o 1134 
22.69/3.51	o 1129 
36.86/5.38	o 1125 
93.40/12.48	o 1109 
94.18/12.51	o 1095 
94.95/12.64	o 1088 
94.95/12.66	o 1080 
96.49/12.82	o 1076 
96.49/12.84	o 1071 
97.17/12.97	o 1066 
98.01/13.02	o 1063 
98.01/13.04	o 1059 
98.01/13.09	o 947 
98.76/13.13	o 946 
98.76/13.16	o 920 
99.48/13.26	o 913 
100.24/13.30	o 893 
102.63/13.60	o 883 
102.63/13.70	o 880 
103.40/13.77	o 873 
104.20/13.90	o 863 
104.95/13.97	o 861 
107.31/14.23	o 836 
110.48/14.67	o 834 
112.06/14.89	o 817 
115.23/15.30	o 811 
116.02/15.33	o 809 
116.02/15.35	o 807 
116.79/15.43	o 802 
117.58/15.53	o 800 
119.18/15.70	o 791 
186.93/24.29	o 788 
195.24/25.42	o 785 
214.94/27.98	o 779 
245.19/31.79	o 772 
353.44/45.35	o 771 
353.44/45.36	o 767 
360.58/46.29	o 765 
435.32/55.75	o 762 
442.14/56.69	o 760 
468.36/59.99	o 759 
469.22/60.02	o 757 
558.27/71.24	o 752 
634.33/81.04	o 751 
766.78/97.71	o 748 
853.85/109.01	o 742 
901.59/115.10	o 741 
924.40/118.15	o 740 
927.77/118.84	o 737 
977.53/125.15	o 733 
1035.64/132.84	o 731 
1088.28/139.54	o 725 
1173.88/150.43	o 724 
1315.93/168.35	o 714 
1337.50/171.05	o 708 
1536.53/196.09	o 707 
1886.06/240.09	o 704 
1981.39/252.07	s SATISFIABLE
1981.39/252.07	v <instantiation>
1981.39/252.07	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
1981.39/252.07	v 	<values>0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 56 99 76 17 88 85 59 71 51 96 48 17 67 58 43 16 100 60 63 88 100 35 37 18 97 97 76 11 100 86 </values>
1981.39/252.07	v </instantiation>
1981.39/252.07	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 (14087 MiB free)
  memory of node 1: 16384 MiB (12295 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271825-1502642098/watcher-4271825-1502642098 -o /tmp/evaluation-result-4271825-1502642098/solver-4271825-1502642098 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1502634593-3629 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 770246424 HOME/instance-4271825-1502642098.xml 

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

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

solver pid=22037, runsolver pid=22034

[startup+0.100092 s]*
/proc/loadavg: 8.29 7.33 6.93 2/200 22058
/proc/meminfo: memFree=26998800/32770624 swapFree=67108860/67108860
[pid=22037] ppid=22034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22037/stat : 22037 (xcsp3-exec) S 22034 22037 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97297647 9740288 346 33554432000 4194304 5098028 140728655208944 140728655207048 140375553434236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32825344 140728655213675 140728655213884 140728655213884 140728655216619 0
/proc/22037/statm: 2378 346 289 221 0 87 0
[pid=22039] ppid=22037 vsize=25999808 memory=28160 CPUtime=0.11 cores=0-7
/proc/22039/stat : 22039 (java) S 22037 22037 3602 0 -1 1077944320 5455 0 0 0 10 1 0 0 20 0 20 0 97297647 26623803392 7040 33554432000 4194304 4196468 140730705135584 140730705118128 139995422301943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
/proc/22039/statm: 6499952 7040 2844 1 0 6488269 0
[pid=22039/tid=22040] ppid=22037 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/22039/task/22040/stat : 22040 (java) R 22037 22037 3602 0 -1 4202560 3479 0 0 0 8 0 0 0 20 0 20 0 97297647 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995426537344 139995400746726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22041] ppid=22037 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/22039/task/22041/stat : 22041 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995344881936 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22042] ppid=22037 vsize=25999808 memory=140639105885824 CPUtime=0 cores=0-7
/proc/22039/task/22042/stat : 22042 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995343829392 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22043] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22043/stat : 22043 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995342776848 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22044] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22044/stat : 22044 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995341724304 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22045] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22045/stat : 22045 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995340671760 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22046] ppid=22037 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22039/task/22046/stat : 22046 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995339619216 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22047] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22047/stat : 22047 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995338566672 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22048] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22048/stat : 22048 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26623803392 7040 33554432000 4194304 4196468 140730705135584 139995337514128 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22049] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22049/stat : 22049 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297650 26623803392 7040 33554432000 4194304 4196468 140730705135584 139994930378736 139995422313090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22050] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22050/stat : 22050 (java) S 22037 22037 3602 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 97297650 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993738109856 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22051] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22051/stat : 22051 (java) S 22037 22037 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97297650 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993737057264 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22052] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22052/stat : 22052 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297653 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993736005840 139995422320539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22053] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22053/stat : 22053 (java) S 22037 22037 3602 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 97297653 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993734953456 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22054] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22054/stat : 22054 (java) S 22037 22037 3602 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97297653 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993733900912 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22055] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22055/stat : 22055 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297653 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993732848368 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22056] ppid=22037 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22039/task/22056/stat : 22056 (java) R 22037 22037 3602 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 97297653 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993731795824 139995422313878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22057] ppid=22037 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22057/stat : 22057 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297653 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993730742496 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22058] ppid=22037 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22039/task/22058/stat : 22058 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297653 26623803392 7040 33554432000 4194304 4196468 140730705135584 139993729690032 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29544 KiB

[startup+0.210291 s]*
/proc/loadavg: 8.29 7.33 6.93 3/200 22058
/proc/meminfo: memFree=26987000/32770624 swapFree=67108860/67108860
[pid=22037] ppid=22034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22037/stat : 22037 (xcsp3-exec) S 22034 22037 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97297647 9740288 346 33554432000 4194304 5098028 140728655208944 140728655207048 140375553434236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32825344 140728655213675 140728655213884 140728655213884 140728655216619 0
/proc/22037/statm: 2378 346 289 221 0 87 0
[pid=22039] ppid=22037 vsize=26004064 memory=40884 CPUtime=0.33 cores=0-7
/proc/22039/stat : 22039 (java) S 22037 22037 3602 0 -1 1077944320 8277 0 0 0 31 2 0 0 20 0 20 0 97297647 26628161536 10221 33554432000 4194304 4196468 140730705135584 140730705118128 139995422301943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
/proc/22039/statm: 6501016 10221 3037 1 0 6488269 0
[pid=22039/tid=22040] ppid=22037 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22039/task/22040/stat : 22040 (java) R 22037 22037 3602 0 -1 4202560 5392 0 0 0 18 1 0 0 20 0 20 0 97297647 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995426514960 139995012796725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22041] ppid=22037 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/22039/task/22041/stat : 22041 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995344881936 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22042] ppid=22037 vsize=26004064 memory=140639106043898 CPUtime=0 cores=0-7
/proc/22039/task/22042/stat : 22042 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995343829392 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22043] ppid=22037 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22039/task/22043/stat : 22043 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995342776848 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22044] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22044/stat : 22044 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995341724304 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22045] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22045/stat : 22045 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995340671760 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22046] ppid=22037 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22039/task/22046/stat : 22046 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995339619216 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22047] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22047/stat : 22047 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995338566672 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22048] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22048/stat : 22048 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 10221 33554432000 4194304 4196468 140730705135584 139995337514128 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22049] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22049/stat : 22049 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297650 26628161536 10221 33554432000 4194304 4196468 140730705135584 139994930378736 139995422313090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22050] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22050/stat : 22050 (java) S 22037 22037 3602 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 97297650 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993738109856 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22051] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22051/stat : 22051 (java) S 22037 22037 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97297650 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993737057264 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22052] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22052/stat : 22052 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297653 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993736005840 139995422320539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22053] ppid=22037 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22039/task/22053/stat : 22053 (java) S 22037 22037 3602 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 97297653 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993734953456 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22054] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22054/stat : 22054 (java) S 22037 22037 3602 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 97297653 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993733900912 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22055] ppid=22037 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/22039/task/22055/stat : 22055 (java) S 22037 22037 3602 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 97297653 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993732848368 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22056] ppid=22037 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/22039/task/22056/stat : 22056 (java) R 22037 22037 3602 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 20 0 97297653 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993731795824 139995422313878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22057] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22057/stat : 22057 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297653 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993730742496 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22058] ppid=22037 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22039/task/22058/stat : 22058 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297653 26628161536 10221 33554432000 4194304 4196468 140730705135584 139993729690032 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42268 KiB

[startup+0.310076 s]*
/proc/loadavg: 8.29 7.33 6.93 3/200 22058
/proc/meminfo: memFree=26983052/32770624 swapFree=67108860/67108860
[pid=22037] ppid=22034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22037/stat : 22037 (xcsp3-exec) S 22034 22037 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97297647 9740288 346 33554432000 4194304 5098028 140728655208944 140728655207048 140375553434236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32825344 140728655213675 140728655213884 140728655213884 140728655216619 0
/proc/22037/statm: 2378 346 289 221 0 87 0
[pid=22039] ppid=22037 vsize=26004064 memory=45788 CPUtime=0.5 cores=0-7
/proc/22039/stat : 22039 (java) S 22037 22037 3602 0 -1 1077944320 9136 0 0 0 47 3 0 0 20 0 20 0 97297647 26628161536 11447 33554432000 4194304 4196468 140730705135584 140730705118128 139995422301943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
/proc/22039/statm: 6501016 11447 3070 1 0 6488269 0
[pid=22039/tid=22040] ppid=22037 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22039/task/22040/stat : 22040 (java) R 22037 22037 3602 0 -1 4202560 6066 0 0 0 27 2 0 0 20 0 20 0 97297647 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995426540112 139995422313878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22041] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22041/stat : 22041 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995344881936 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22042] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22042/stat : 22042 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995343829392 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22043] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22043/stat : 22043 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995342776848 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22044] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22044/stat : 22044 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995341724304 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22045] ppid=22037 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22039/task/22045/stat : 22045 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995340671760 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22046] ppid=22037 vsize=26004064 memory=140638972638127 CPUtime=0 cores=0-7
/proc/22039/task/22046/stat : 22046 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995339619216 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22047] ppid=22037 vsize=26004064 memory=140638972640432 CPUtime=0 cores=0-7
/proc/22039/task/22047/stat : 22047 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995338566672 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22048] ppid=22037 vsize=26004064 memory=140638972642736 CPUtime=0 cores=0-7
/proc/22039/task/22048/stat : 22048 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26628161536 11447 33554432000 4194304 4196468 140730705135584 139995337514128 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22049] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22049/stat : 22049 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297650 26628161536 11447 33554432000 4194304 4196468 140730705135584 139994930378736 139995422313090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22050] ppid=22037 vsize=26004064 memory=281277945292432 CPUtime=0 cores=0-7
/proc/22039/task/22050/stat : 22050 (java) S 22037 22037 3602 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 97297650 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993738109856 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22051] ppid=22037 vsize=26004064 memory=281277945299344 CPUtime=0 cores=0-7
/proc/22039/task/22051/stat : 22051 (java) S 22037 22037 3602 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97297650 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993737057264 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22052] ppid=22037 vsize=26004064 memory=281277945240624 CPUtime=0 cores=0-7
/proc/22039/task/22052/stat : 22052 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297653 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993736005840 139995422320539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22053] ppid=22037 vsize=26004064 memory=281277945313168 CPUtime=0.03 cores=0-7
/proc/22039/task/22053/stat : 22053 (java) S 22037 22037 3602 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 20 0 97297653 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993734953456 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22054] ppid=22037 vsize=26004064 memory=281277945320080 CPUtime=0.01 cores=0-7
/proc/22039/task/22054/stat : 22054 (java) S 22037 22037 3602 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 20 0 97297653 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993733900912 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22055] ppid=22037 vsize=26004064 memory=281277945317776 CPUtime=0.02 cores=0-7
/proc/22039/task/22055/stat : 22055 (java) S 22037 22037 3602 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 20 0 97297653 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993732848368 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22056] ppid=22037 vsize=26004064 memory=281277945333936 CPUtime=0.12 cores=0-7
/proc/22039/task/22056/stat : 22056 (java) R 22037 22037 3602 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 20 0 97297653 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993731793488 139995401286769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22057] ppid=22037 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22057/stat : 22057 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297653 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993730742496 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22058] ppid=22037 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22039/task/22058/stat : 22058 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297653 26628161536 11447 33554432000 4194304 4196468 140730705135584 139993729690032 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47172 KiB

[startup+0.70097 s]
/proc/loadavg: 8.29 7.33 6.93 6/200 22058
/proc/meminfo: memFree=26958612/32770624 swapFree=67108860/67108860
[pid=22037] ppid=22034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22037/stat : 22037 (xcsp3-exec) S 22034 22037 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97297647 9740288 346 33554432000 4194304 5098028 140728655208944 140728655207048 140375553434236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32825344 140728655213675 140728655213884 140728655213884 140728655216619 0
/proc/22037/statm: 2378 346 289 221 0 87 0
[pid=22039] ppid=22037 vsize=26006188 memory=100872 CPUtime=1.88 cores=0-7
/proc/22039/stat : 22039 (java) S 22037 22037 3602 0 -1 1077944320 14246 0 0 0 183 5 0 0 20 0 20 0 97297647 26630336512 25218 33554432000 4194304 4196468 140730705135584 140730705118128 139995422301943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
/proc/22039/statm: 6501547 25218 3210 1 0 6488781 0
[pid=22039/tid=22040] ppid=22037 vsize=26006188 memory=281277945691824 CPUtime=0.67 cores=0-7
/proc/22039/task/22040/stat : 22040 (java) R 22037 22037 3602 0 -1 4202560 6784 0 0 0 64 3 0 0 20 0 20 0 97297647 26630336512 25218 33554432000 4194304 4196468 140730705135584 139995426538768 139995017261725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22041] ppid=22037 vsize=26006188 memory=140638972846960 CPUtime=0 cores=0-7
/proc/22039/task/22041/stat : 22041 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97297648 26630336512 25218 33554432000 4194304 4196468 140730705135584 139995344881936 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22042] ppid=22037 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/22039/task/22042/stat : 22042 (java) S 22037 22037 3602 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97297648 26630336512 25218 33554432000 4194304 4196468 140730705135584 139995343829392 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22043] ppid=22037 vsize=26006188 memory=1008 CPUtime=0 cores=0-7
/proc/22039/task/22043/stat : 22043 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97297648 26630336512 25218 33554432000 4194304 4196468 140730705135584 139995342776848 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0

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

[pid=22039/tid=22554] ppid=22037 vsize=26538700 memory=227956 CPUtime=11.77 cores=0-7
/proc/22039/task/22554/stat : 22554 (java) R 22037 22037 3602 0 -1 4202560 180 0 0 0 1177 0 0 0 20 0 28 0 97312691 27175628800 56737 33554432000 4194304 4196468 140730705135584 139993602326712 139995020054555 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
Current children cumulated CPU time: 1268.15 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 228332 KiB

[startup+222.301 s]
/proc/loadavg: 8.28 7.76 7.18 9/208 22578
/proc/meminfo: memFree=26814624/32770624 swapFree=67108860/67108860
[pid=22037] ppid=22034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22037/stat : 22037 (xcsp3-exec) S 22034 22037 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97297647 9740288 346 33554432000 4194304 5098028 140728655208944 140728655207048 140375553434236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32825344 140728655213675 140728655213884 140728655213884 140728655216619 0
/proc/22037/statm: 2378 346 289 221 0 87 0
[pid=22039] ppid=22037 vsize=26538700 memory=214904 CPUtime=1745.4 cores=0-7
/proc/22039/stat : 22039 (java) S 22037 22037 3602 0 -1 1077944320 176389 0 0 0 174407 133 0 0 20 0 28 0 97297647 27175628800 53726 33554432000 4194304 4196468 140730705135584 140730705118128 139995422301943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
/proc/22039/statm: 6634675 53726 3286 1 0 6621909 0
[pid=22039/tid=22040] ppid=22037 vsize=26538700 memory=200748 CPUtime=1.03 cores=0-7
/proc/22039/task/22040/stat : 22040 (java) S 22037 22037 3602 0 -1 1077944384 10809 0 0 0 98 5 0 0 20 0 28 0 97297647 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995426542720 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22041] ppid=22037 vsize=26538700 memory=201804 CPUtime=0.28 cores=0-7
/proc/22039/task/22041/stat : 22041 (java) S 22037 22037 3602 0 -1 1077944384 3656 0 0 0 24 4 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995344881936 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22042] ppid=22037 vsize=26538700 memory=1384 CPUtime=0.29 cores=0-7
/proc/22039/task/22042/stat : 22042 (java) S 22037 22037 3602 0 -1 1077944384 2571 0 0 0 25 4 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995343829392 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22043] ppid=22037 vsize=26538700 memory=203948 CPUtime=0.25 cores=0-7
/proc/22039/task/22043/stat : 22043 (java) S 22037 22037 3602 0 -1 1077944384 2681 0 0 0 22 3 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995342776848 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22044] ppid=22037 vsize=26538700 memory=1384 CPUtime=0.29 cores=0-7
/proc/22039/task/22044/stat : 22044 (java) S 22037 22037 3602 0 -1 1077944384 2920 0 0 0 25 4 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995341724304 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22045] ppid=22037 vsize=26538700 memory=210676 CPUtime=0.28 cores=0-7
/proc/22039/task/22045/stat : 22045 (java) S 22037 22037 3602 0 -1 1077944384 3242 0 0 0 24 4 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995340671760 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22046] ppid=22037 vsize=26538700 memory=1384 CPUtime=0.28 cores=0-7
/proc/22039/task/22046/stat : 22046 (java) S 22037 22037 3602 0 -1 1077944384 2123 0 0 0 24 4 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995339619216 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22047] ppid=22037 vsize=26538700 memory=210676 CPUtime=0.29 cores=0-7
/proc/22039/task/22047/stat : 22047 (java) S 22037 22037 3602 0 -1 1077944384 4765 0 0 0 25 4 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995338566672 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22048] ppid=22037 vsize=26538700 memory=214772 CPUtime=0.29 cores=0-7
/proc/22039/task/22048/stat : 22048 (java) S 22037 22037 3602 0 -1 1077944384 3112 0 0 0 25 4 0 0 20 0 28 0 97297648 27175628800 53726 33554432000 4194304 4196468 140730705135584 139995337514128 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22049] ppid=22037 vsize=26538700 memory=1384 CPUtime=0.51 cores=0-7
/proc/22039/task/22049/stat : 22049 (java) S 22037 22037 3602 0 -1 1077944384 11425 0 0 0 24 27 0 0 20 0 28 0 97297650 27175628800 53726 33554432000 4194304 4196468 140730705135584 139994930378736 139995422313090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22050] ppid=22037 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/22039/task/22050/stat : 22050 (java) S 22037 22037 3602 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97297650 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993738109920 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22051] ppid=22037 vsize=26538700 memory=208412 CPUtime=0 cores=0-7
/proc/22039/task/22051/stat : 22051 (java) S 22037 22037 3602 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97297650 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993737057280 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22052] ppid=22037 vsize=26538700 memory=210676 CPUtime=0 cores=0-7
/proc/22039/task/22052/stat : 22052 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97297653 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993736005840 139995422320539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22053] ppid=22037 vsize=26538700 memory=210676 CPUtime=2.7 cores=0-7
/proc/22039/task/22053/stat : 22053 (java) S 22037 22037 3602 0 -1 1077944384 15031 0 0 0 266 4 0 0 20 0 28 0 97297653 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993734953456 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22054] ppid=22037 vsize=26538700 memory=1384 CPUtime=2.7 cores=0-7
/proc/22039/task/22054/stat : 22054 (java) S 22037 22037 3602 0 -1 1077944384 12549 0 0 0 267 3 0 0 20 0 28 0 97297653 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993733900912 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22055] ppid=22037 vsize=26538700 memory=1384 CPUtime=3.11 cores=0-7
/proc/22039/task/22055/stat : 22055 (java) S 22037 22037 3602 0 -1 1077944384 13470 0 0 0 308 3 0 0 20 0 28 0 97297653 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993732848368 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22056] ppid=22037 vsize=26538700 memory=4140 CPUtime=1 cores=0-7
/proc/22039/task/22056/stat : 22056 (java) S 22037 22037 3602 0 -1 1077944384 19405 0 0 0 97 3 0 0 20 0 28 0 97297653 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993731795824 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22057] ppid=22037 vsize=26538700 memory=27960 CPUtime=0 cores=0-7
/proc/22039/task/22057/stat : 22057 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97297653 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993730742496 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22058] ppid=22037 vsize=26538700 memory=1384 CPUtime=0.04 cores=0-7
/proc/22039/task/22058/stat : 22058 (java) S 22037 22037 3602 0 -1 1077944384 2172 0 0 0 1 3 0 0 20 0 28 0 97297653 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993729690032 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22571] ppid=22037 vsize=26538700 memory=4140 CPUtime=25.93 cores=0-7
/proc/22039/task/22571/stat : 22571 (java) R 22037 22037 3602 0 -1 4202560 46 0 0 0 2593 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993603373976 139995021570830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22572] ppid=22037 vsize=26538700 memory=6791534058613427641 CPUtime=25.96 cores=0-7
/proc/22039/task/22572/stat : 22572 (java) R 22037 22037 3602 0 -1 4202560 51 0 0 0 2596 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993607586632 139995022775214 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22573] ppid=22037 vsize=26538700 memory=2344 CPUtime=26.02 cores=0-7
/proc/22039/task/22573/stat : 22573 (java) R 22037 22037 3602 0 -1 4202560 93 0 0 0 2602 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993602325440 139995016777339 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22574] ppid=22037 vsize=26538700 memory=1292 CPUtime=25.99 cores=0-7
/proc/22039/task/22574/stat : 22574 (java) R 22037 22037 3602 0 -1 4202560 44 0 0 0 2599 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993605481544 139995016777280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22575] ppid=22037 vsize=26538700 memory=2428 CPUtime=25.92 cores=0-7
/proc/22039/task/22575/stat : 22575 (java) R 22037 22037 3602 0 -1 4202560 49 0 0 0 2592 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993722176712 139995021158504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22576] ppid=22037 vsize=26538700 memory=1384 CPUtime=25.95 cores=0-7
/proc/22039/task/22576/stat : 22576 (java) R 22037 22037 3602 0 -1 4202560 66 0 0 0 2595 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993606533912 139995022774932 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22577] ppid=22037 vsize=26538700 memory=1384 CPUtime=26.05 cores=0-7
/proc/22039/task/22577/stat : 22577 (java) R 22037 22037 3602 0 -1 4202560 49 0 0 0 2605 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993608637376 139995022705576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22578] ppid=22037 vsize=26538700 memory=1384 CPUtime=25.98 cores=0-7
/proc/22039/task/22578/stat : 22578 (java) R 22037 22037 3602 0 -1 4202560 44 0 0 0 2598 0 0 0 20 0 28 0 97317257 27175628800 53726 33554432000 4194304 4196468 140730705135584 139993604427640 139995021158150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
Current children cumulated CPU time: 1745.4 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 216288 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.65 7.89 7.25 9/208 22586
/proc/meminfo: memFree=26799440/32770624 swapFree=67108860/67108860
[pid=22037] ppid=22034 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/22037/stat : 22037 (xcsp3-exec) S 22034 22037 3602 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97297647 9740288 346 33554432000 4194304 5098028 140728655208944 140728655207048 140375553434236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32825344 140728655213675 140728655213884 140728655213884 140728655216619 0
/proc/22037/statm: 2378 346 289 221 0 87 0
[pid=22039] ppid=22037 vsize=26538700 memory=228216 CPUtime=1981.39 cores=0-7
/proc/22039/stat : 22039 (java) S 22037 22037 3602 0 -1 1077944320 191450 0 0 0 197994 145 0 0 20 0 28 0 97297647 27175628800 57054 33554432000 4194304 4196468 140730705135584 140730705118128 139995422301943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
/proc/22039/statm: 6634675 57054 3286 1 0 6621909 0
[pid=22039/tid=22040] ppid=22037 vsize=26538700 memory=6791534058613427641 CPUtime=1.03 cores=0-7
/proc/22039/task/22040/stat : 22040 (java) S 22037 22037 3602 0 -1 1077944384 11005 0 0 0 98 5 0 0 20 0 28 0 97297647 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995426542720 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22041] ppid=22037 vsize=26538700 memory=1156 CPUtime=0.34 cores=0-7
/proc/22039/task/22041/stat : 22041 (java) S 22037 22037 3602 0 -1 1077944384 4257 0 0 0 30 4 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995344881936 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22042] ppid=22037 vsize=26538700 memory=4184 CPUtime=0.35 cores=0-7
/proc/22039/task/22042/stat : 22042 (java) S 22037 22037 3602 0 -1 1077944384 3175 0 0 0 30 5 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995343829392 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22043] ppid=22037 vsize=26538700 memory=4126316290023845779 CPUtime=0.32 cores=0-7
/proc/22039/task/22043/stat : 22043 (java) S 22037 22037 3602 0 -1 1077944384 3369 0 0 0 28 4 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995342776848 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22044] ppid=22037 vsize=26538700 memory=15872 CPUtime=0.35 cores=0-7
/proc/22039/task/22044/stat : 22044 (java) S 22037 22037 3602 0 -1 1077944384 3891 0 0 0 31 4 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995341724304 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22045] ppid=22037 vsize=26538700 memory=16444 CPUtime=0.35 cores=0-7
/proc/22039/task/22045/stat : 22045 (java) S 22037 22037 3602 0 -1 1077944384 3588 0 0 0 30 5 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995340671760 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22046] ppid=22037 vsize=26538700 memory=4052 CPUtime=0.34 cores=0-7
/proc/22039/task/22046/stat : 22046 (java) S 22037 22037 3602 0 -1 1077944384 2479 0 0 0 30 4 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995339619216 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22047] ppid=22037 vsize=26538700 memory=15860 CPUtime=0.35 cores=0-7
/proc/22039/task/22047/stat : 22047 (java) S 22037 22037 3602 0 -1 1077944384 5358 0 0 0 31 4 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995338566672 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22048] ppid=22037 vsize=26538700 memory=1384 CPUtime=0.36 cores=0-7
/proc/22039/task/22048/stat : 22048 (java) S 22037 22037 3602 0 -1 1077944384 4175 0 0 0 31 5 0 0 20 0 28 0 97297648 27175628800 57054 33554432000 4194304 4196468 140730705135584 139995337514128 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22049] ppid=22037 vsize=26538700 memory=225868 CPUtime=0.55 cores=0-7
/proc/22039/task/22049/stat : 22049 (java) S 22037 22037 3602 0 -1 1077944384 13640 0 0 0 27 28 0 0 20 0 28 0 97297650 27175628800 57054 33554432000 4194304 4196468 140730705135584 139994930378736 139995422313090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22050] ppid=22037 vsize=26538700 memory=1692 CPUtime=0 cores=0-7
/proc/22039/task/22050/stat : 22050 (java) S 22037 22037 3602 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 97297650 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993738109920 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22051] ppid=22037 vsize=26538700 memory=916 CPUtime=0 cores=0-7
/proc/22039/task/22051/stat : 22051 (java) S 22037 22037 3602 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 97297650 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993737057280 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22052] ppid=22037 vsize=26538700 memory=6948 CPUtime=0 cores=0-7
/proc/22039/task/22052/stat : 22052 (java) S 22037 22037 3602 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97297653 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993736005840 139995422320539 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22053] ppid=22037 vsize=26538700 memory=4140 CPUtime=2.7 cores=0-7
/proc/22039/task/22053/stat : 22053 (java) S 22037 22037 3602 0 -1 1077944384 15042 0 0 0 266 4 0 0 20 0 28 0 97297653 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993734953456 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22054] ppid=22037 vsize=26538700 memory=27960 CPUtime=2.7 cores=0-7
/proc/22039/task/22054/stat : 22054 (java) S 22037 22037 3602 0 -1 1077944384 12569 0 0 0 267 3 0 0 20 0 28 0 97297653 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993733900912 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22055] ppid=22037 vsize=26538700 memory=1292 CPUtime=3.11 cores=0-7
/proc/22039/task/22055/stat : 22055 (java) S 22037 22037 3602 0 -1 1077944384 13481 0 0 0 308 3 0 0 20 0 28 0 97297653 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993732848368 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22056] ppid=22037 vsize=26538700 memory=2428 CPUtime=1 cores=0-7
/proc/22039/task/22056/stat : 22056 (java) S 22037 22037 3602 0 -1 1077944384 19417 0 0 0 97 3 0 0 20 0 28 0 97297653 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993731795824 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22057] ppid=22037 vsize=26538700 memory=1732 CPUtime=0 cores=0-7
/proc/22039/task/22057/stat : 22057 (java) S 22037 22037 3602 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97297653 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993730742496 139995422312149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22058] ppid=22037 vsize=26538700 memory=1944 CPUtime=0.04 cores=0-7
/proc/22039/task/22058/stat : 22058 (java) S 22037 22037 3602 0 -1 1077944384 2299 0 0 0 1 3 0 0 20 0 28 0 97297653 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993729690032 139995422313090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22579] ppid=22037 vsize=26538700 memory=6791534058613427641 CPUtime=11.85 cores=0-7
/proc/22039/task/22579/stat : 22579 (java) R 22037 22037 3602 0 -1 4202560 224 0 0 0 1185 0 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993722178400 139995021158252 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22580] ppid=22037 vsize=26538700 memory=6791534058613427641 CPUtime=11.85 cores=0-7
/proc/22039/task/22580/stat : 22580 (java) R 22037 22037 3602 0 -1 4202560 217 0 0 0 1185 0 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993605484608 139995021158304 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22581] ppid=22037 vsize=26538700 memory=1692 CPUtime=11.69 cores=0-7
/proc/22039/task/22581/stat : 22581 (java) R 22037 22037 3602 0 -1 4202560 609 0 0 0 1169 0 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993602326816 139995021158150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22582] ppid=22037 vsize=26538700 memory=916 CPUtime=11.7 cores=0-7
/proc/22039/task/22582/stat : 22582 (java) R 22037 22037 3602 0 -1 4202560 274 0 0 0 1170 0 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993604432288 139995021158565 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22583] ppid=22037 vsize=26538700 memory=6948 CPUtime=11.76 cores=0-7
/proc/22039/task/22583/stat : 22583 (java) R 22037 22037 3602 0 -1 4202560 365 0 0 0 1176 0 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993608642928 139995021158952 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22584] ppid=22037 vsize=26538700 memory=281277945992416 CPUtime=11.85 cores=0-7
/proc/22039/task/22584/stat : 22584 (java) R 22037 22037 3602 0 -1 4202560 164 0 0 0 1185 0 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993606538280 139995021158385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22585] ppid=22037 vsize=26538700 memory=288230574492221466 CPUtime=11.85 cores=0-7
/proc/22039/task/22585/stat : 22585 (java) R 22037 22037 3602 0 -1 4202560 191 0 0 0 1185 0 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993603375128 139995021158703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
[pid=22039/tid=22586] ppid=22037 vsize=26538700 memory=288230583166042425 CPUtime=11.82 cores=0-7
/proc/22039/task/22586/stat : 22586 (java) R 22037 22037 3602 0 -1 4202560 1171 0 0 0 1181 1 0 0 20 0 28 0 97321656 27175628800 57054 33554432000 4194304 4196468 140730705135584 139993607587888 139995021570860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27693056 140730705142936 140730705143112 140730705143112 140730705145807 0
Current children cumulated CPU time: 1981.39 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 229600 KiB

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

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

[startup+252.095 s]
# the end of solver process 22039 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1980.57 s, system=1.46386 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): 252.095
CPU time (s): 1982.03
CPU user time (s): 1980.57
CPU system time (s): 1.46386
CPU usage (%): 786.225
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 387400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1980.57
system time used= 1.46386
maximum resident set size= 393712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29387
involuntary context switches= 22062


# summary of solver processes directly reported to runsolver:
#   pid: 22037,22039
#   total CPU time (s): 1982.03
#   total CPU user time (s): 1980.57
#   total CPU system time (s): 1.46386

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.52063 second user time and 2.30878 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml
MD5SUM	72502af2971f560ebaea982d6c1ff669
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	684
Best CPU time to get the best result obtained on this benchmark	251.92799
Satisfiable
(Un)Satisfiability was proved
Number of variables	992
Number of constraints	960
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":31},{"size":2,"count":930},{"size":101,"count":30}]
Minimum variable degree	0
Maximum variable degree	59
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":31},{"degree":2,"count":60},{"degree":4,"count":870},{"degree":59,"count":30}]
Minimum constraint arity	1
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":1,"count":30},{"arity":3,"count":870},{"arity":30,"count":60}]
Number of extensional constraints	0
Number of intensional constraints	30
Distribution of constraint types	[{"type":"intension","count":30},{"type":"sum","count":870},{"type":"count","count":60}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4271825

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