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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-08-22	SAT (TO)	906	19821.5	2520.2

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 1258874081
0.29/0.25	c timeout: 20160
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
4.99/1.58	c Parsing done, starting search...
716.22/114.09	o 945
1440.13/205.08	o 944
2167.50/297.04	o 943
2864.92/384.87	o 942
3528.11/468.24	o 941
4193.76/552.43	o 940
4817.36/630.82	o 939
5447.82/710.14	o 938
6079.29/789.59	o 937
6699.10/867.46	o 936
7311.22/944.46	o 935
7889.38/1017.12	o 934
8454.92/1088.26	o 933
8977.70/1154.36	o 932
9490.86/1218.80	o 931
9989.24/1281.96	o 930
10477.72/1343.34	o 929
10941.52/1401.69	o 928
11396.09/1458.82	o 927
11816.43/1512.07	o 926
12237.30/1564.94	o 925
12654.16/1617.31	o 924
13058.18/1668.18	o 923
13462.26/1718.92	o 922
13862.00/1769.16	o 921
14264.99/1820.30	o 920
14666.53/1870.75	o 919
15066.88/1921.20	o 918
15474.35/1972.48	o 917
15869.70/2022.20	o 916
16256.88/2070.89	o 915
16657.38/2121.21	o 914
17047.89/2170.39	o 913
17422.71/2217.48	o 912
17791.73/2264.30	o 911
18143.99/2308.53	o 910
18502.03/2353.98	o 909
18851.97/2398.34	o 908
19181.90/2439.82	o 907
19501.07/2479.98	o 906
19820.37/2520.12	s SATISFIABLE
19820.37/2520.12	o 905
19821.29/2520.13	v <instantiation>
19821.29/2520.13	v 	<list>
19821.29/2520.13	v 		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[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] 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[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] 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[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] 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[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] 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[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] 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[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] 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[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] 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[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] 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[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] 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[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] 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[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] 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[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] 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[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] 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[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] 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[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] 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[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] 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[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] 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[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] 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[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] 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[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] 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[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] 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[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] 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[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] 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[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] 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[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] 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[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] 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[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] 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[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] 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[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] 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[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[39][40] x[39][41] x[39][42] x[39][43] x[40][41] x[40][42] x[40][43] x[41][42] x[41][43] x[42][43]
19821.29/2520.13	v 	</list>
19821.29/2520.13	v 	<values>
19821.29/2520.13	v 		899 905 906 905 906 906 905 906 906 906 906 906 906 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 899 899 899 899 899 899 899 898 900 901 902 903 904 905 904 906 877 906 878 906 906 906 906 879 880 881 882 906 883 906 884 885 886 887 888 906 906 889 890 891 906 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 906 894 906 895 896 897 898 906 906 906 906 899 906 900 906 906 906 906 906 901 902 906 906 906 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 906 878 905 906 905 905 879 880 881 882 905 883 905 884 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 906 895 896 897 898 906 906 906 906 899 906 900 906 906 906 906 906 901 902 906 906 906 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 905 906 905 905 879 880 881 882 905 883 905 884 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 896 897 898 905 905 905 905 899 905 900 905 905 905 905 905 901 902 905 905 905 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 897 898 906 906 906 906 899 906 900 906 906 906 906 906 901 902 906 906 906 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 898 905 905 905 905 899 905 900 905 905 905 905 905 901 902 905 905 905 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 905 905 905 905 899 905 900 905 905 905 905 905 901 902 905 905 905 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 880 881 882 905 883 905 884 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 881 882 905 883 905 884 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 882 905 883 905 884 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 905 883 905 884 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 905 900 905 905 905 905 905 901 902 905 905 905 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 905 884 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 905 905 905 905 905 901 902 905 905 905 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 885 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 886 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 887 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 888 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 905 905 889 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 902 905 905 905 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 905 905 905 903 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 890 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 891 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 905 906 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 904 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 906 906 906 906 906 906 906 906 906 906 906 906 906 906 905 893 894 895 896 897 898 899 900 901 902 903 904 905 906 894 895 896 897 898 899 900 901 902 903 904 905 906 895 896 897 898 899 900 901 902 903 904 905 906 896 897 898 899 900 901 902 903 904 905 906 897 898 899 900 901 902 903 904 905 906 898 899 900 901 902 903 904 905 906 899 900 901 902 903 904 905 906 900 901 902 903 904 905 906 901 902 903 904 905 906 902 903 904 905 906 903 904 905 906 904 905 906 905 906 906 
19821.29/2520.13	v 	</values>
19821.29/2520.13	v </instantiation>

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 (10703 MiB free)
  memory of node 1: 16384 MiB (12270 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285610-1503467302/watcher-4285610-1503467302 -o /tmp/evaluation-result-4285610-1503467302/solver-4285610-1503467302 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503461190-28904 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1258874081 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285610-1503467302.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=29363, runsolver pid=29360
Current StackSize limit: 8192 KiB


[startup+0.100142 s]*
/proc/loadavg: 8.82 8.92 8.52 2/199 29383
/proc/meminfo: memFree=23507724/32770624 swapFree=67108860/67108860
[pid=29363] ppid=29360 vsize=26000852 memory=32916 CPUtime=0.13 cores=0-7
/proc/29363/stat : 29363 (java) S 29360 29363 28877 0 -1 1077944320 8623 0 0 0 11 2 0 0 20 0 20 0 179817609 26624872448 8229 33554432000 4194304 4196468 140721667342048 140721667324592 140345722748663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
/proc/29363/statm: 6500213 8229 3412 1 0 6487932 0
[pid=29363/tid=29365] ppid=29360 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29363/task/29365/stat : 29365 (java) R 29360 29363 28877 0 -1 4202560 6579 0 0 0 8 1 0 0 20 0 20 0 179817609 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345726945616 140345722770589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29366] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29366/stat : 29366 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345645329168 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29367] ppid=29360 vsize=26000852 memory=140066100332160 CPUtime=0 cores=0-7
/proc/29363/task/29367/stat : 29367 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345644276624 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29368] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29368/stat : 29368 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345643224080 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29369] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29369/stat : 29369 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345642171536 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29370] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29370/stat : 29370 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345641117968 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29371] ppid=29360 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/29363/task/29371/stat : 29371 (java) S 29360 29363 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345275865488 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29372] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29372/stat : 29372 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345274812944 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29373] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29373/stat : 29373 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 8229 33554432000 4194304 4196468 140721667342048 140345273760400 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29374] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29374/stat : 29374 (java) S 29360 29363 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179817611 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344041118192 140345722759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29375] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29375/stat : 29375 (java) S 29360 29363 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179817612 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344040064416 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29376] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29376/stat : 29376 (java) S 29360 29363 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179817612 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344039011824 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29377] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29377/stat : 29377 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817614 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344037960400 140345722767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29378] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29378/stat : 29378 (java) S 29360 29363 28877 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 179817614 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344036906992 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29379] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29379/stat : 29379 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817614 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344035854448 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29380] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29380/stat : 29380 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817614 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344034801904 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29381] ppid=29360 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/29363/task/29381/stat : 29381 (java) S 29360 29363 28877 0 -1 1077944384 362 0 0 0 2 0 0 0 20 0 20 0 179817614 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344033749360 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29382] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29382/stat : 29382 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817615 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344032697056 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29383] ppid=29360 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/29363/task/29383/stat : 29383 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817615 26624872448 8229 33554432000 4194304 4196468 140721667342048 140344031644592 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32916 KiB

[startup+0.211266 s]*
/proc/loadavg: 8.82 8.92 8.52 3/199 29383
/proc/meminfo: memFree=23498604/32770624 swapFree=67108860/67108860
[pid=29363] ppid=29360 vsize=26000852 memory=42324 CPUtime=0.29 cores=0-7
/proc/29363/stat : 29363 (java) S 29360 29363 28877 0 -1 1077944320 9639 0 0 0 27 2 0 0 20 0 20 0 179817609 26624872448 10581 33554432000 4194304 4196468 140721667342048 140721667324592 140345722748663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
/proc/29363/statm: 6500213 10581 3643 1 0 6487932 0
[pid=29363/tid=29365] ppid=29360 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/29363/task/29365/stat : 29365 (java) R 29360 29363 28877 0 -1 4202560 7213 0 0 0 18 1 0 0 20 0 20 0 179817609 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345726962560 140345722770589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29366] ppid=29360 vsize=26000852 memory=3382 CPUtime=0 cores=0-7
/proc/29363/task/29366/stat : 29366 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345645329168 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29367] ppid=29360 vsize=26000852 memory=288370442252043904 CPUtime=0 cores=0-7
/proc/29363/task/29367/stat : 29367 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345644276624 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29368] ppid=29360 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/29363/task/29368/stat : 29368 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345643224080 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29369] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29369/stat : 29369 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345642171536 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29370] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29370/stat : 29370 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345641117968 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29371] ppid=29360 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/29363/task/29371/stat : 29371 (java) S 29360 29363 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345275865488 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29372] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29372/stat : 29372 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345274812944 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29373] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29373/stat : 29373 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624872448 10581 33554432000 4194304 4196468 140721667342048 140345273760400 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29374] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29374/stat : 29374 (java) S 29360 29363 28877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179817611 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344041118192 140345722759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29375] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29375/stat : 29375 (java) S 29360 29363 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179817612 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344040064416 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29376] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29376/stat : 29376 (java) S 29360 29363 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179817612 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344039011824 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29377] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29377/stat : 29377 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817614 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344037960400 140345722767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29378] ppid=29360 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/29363/task/29378/stat : 29378 (java) S 29360 29363 28877 0 -1 1077944384 336 0 0 0 1 0 0 0 20 0 20 0 179817614 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344036906992 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29379] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29379/stat : 29379 (java) S 29360 29363 28877 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 179817614 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344035854448 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29380] ppid=29360 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/29363/task/29380/stat : 29380 (java) S 29360 29363 28877 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 20 0 179817614 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344034801904 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29381] ppid=29360 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/29363/task/29381/stat : 29381 (java) R 29360 29363 28877 0 -1 4202560 399 0 0 0 5 0 0 0 20 0 20 0 179817614 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344033749360 140345703521114 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29382] ppid=29360 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29382/stat : 29382 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817615 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344032697056 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29383] ppid=29360 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/29363/task/29383/stat : 29383 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817615 26624872448 10581 33554432000 4194304 4196468 140721667342048 140344031644592 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 42324 KiB

[startup+0.310031 s]*
/proc/loadavg: 8.82 8.92 8.52 3/199 29383
/proc/meminfo: memFree=23492152/32770624 swapFree=67108860/67108860
[pid=29363] ppid=29360 vsize=26000872 memory=48668 CPUtime=0.47 cores=0-7
/proc/29363/stat : 29363 (java) S 29360 29363 28877 0 -1 1077944320 10422 0 0 0 44 3 0 0 20 0 20 0 179817609 26624892928 12167 33554432000 4194304 4196468 140721667342048 140721667324592 140345722748663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
/proc/29363/statm: 6500218 12167 3716 1 0 6487932 0
[pid=29363/tid=29365] ppid=29360 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29363/task/29365/stat : 29365 (java) R 29360 29363 28877 0 -1 4202560 7771 0 0 0 27 2 0 0 20 0 20 0 179817609 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345726979120 140345321008357 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29366] ppid=29360 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29366/stat : 29366 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345645329168 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29367] ppid=29360 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29367/stat : 29367 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345644276624 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29368] ppid=29360 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29368/stat : 29368 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345643224080 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29369] ppid=29360 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29369/stat : 29369 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345642171536 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29370] ppid=29360 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/29363/task/29370/stat : 29370 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345641117968 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29371] ppid=29360 vsize=26000872 memory=140065997157295 CPUtime=0 cores=0-7
/proc/29363/task/29371/stat : 29371 (java) S 29360 29363 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345275865488 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29372] ppid=29360 vsize=26000872 memory=140065997159600 CPUtime=0 cores=0-7
/proc/29363/task/29372/stat : 29372 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345274812944 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29373] ppid=29360 vsize=26000872 memory=140065997161904 CPUtime=0 cores=0-7
/proc/29363/task/29373/stat : 29373 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26624892928 12167 33554432000 4194304 4196468 140721667342048 140345273760400 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29374] ppid=29360 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29374/stat : 29374 (java) S 29360 29363 28877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179817611 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344041118192 140345722759810 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29375] ppid=29360 vsize=26000872 memory=280131994330768 CPUtime=0 cores=0-7
/proc/29363/task/29375/stat : 29375 (java) S 29360 29363 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179817612 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344040064416 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29376] ppid=29360 vsize=26000872 memory=280131994337680 CPUtime=0 cores=0-7
/proc/29363/task/29376/stat : 29376 (java) S 29360 29363 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179817612 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344039011824 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29377] ppid=29360 vsize=26000872 memory=280131994278960 CPUtime=0 cores=0-7
/proc/29363/task/29377/stat : 29377 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817614 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344037960400 140345722767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29378] ppid=29360 vsize=26000872 memory=280131994351504 CPUtime=0.02 cores=0-7
/proc/29363/task/29378/stat : 29378 (java) S 29360 29363 28877 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 20 0 179817614 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344036906992 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29379] ppid=29360 vsize=26000872 memory=280131994358416 CPUtime=0.02 cores=0-7
/proc/29363/task/29379/stat : 29379 (java) S 29360 29363 28877 0 -1 1077944384 96 0 0 0 2 0 0 0 20 0 20 0 179817614 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344035854448 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29380] ppid=29360 vsize=26000872 memory=280131994356112 CPUtime=0.03 cores=0-7
/proc/29363/task/29380/stat : 29380 (java) S 29360 29363 28877 0 -1 1077944384 351 0 0 0 3 0 0 0 20 0 20 0 179817614 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344034801904 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29381] ppid=29360 vsize=26000872 memory=280131994372720 CPUtime=0.08 cores=0-7
/proc/29363/task/29381/stat : 29381 (java) R 29360 29363 28877 0 -1 4202560 422 0 0 0 8 0 0 0 20 0 20 0 179817614 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344033749360 140345722770010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29382] ppid=29360 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29382/stat : 29382 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817615 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344032697056 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29383] ppid=29360 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/29363/task/29383/stat : 29383 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817615 26624892928 12167 33554432000 4194304 4196468 140721667342048 140344031644592 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 48668 KiB

[startup+0.700921 s]
/proc/loadavg: 8.82 8.92 8.52 3/199 29383
/proc/meminfo: memFree=23462620/32770624 swapFree=67108860/67108860
[pid=29363] ppid=29360 vsize=26002920 memory=116568 CPUtime=1.68 cores=0-7
/proc/29363/stat : 29363 (java) S 29360 29363 28877 0 -1 1077944320 14648 0 0 0 162 6 0 0 20 0 20 0 179817609 26626990080 29142 33554432000 4194304 4196468 140721667342048 140721667324592 140345722748663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
/proc/29363/statm: 6500730 29142 3775 1 0 6488444 0
[pid=29363/tid=29365] ppid=29360 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/29363/task/29365/stat : 29365 (java) R 29360 29363 28877 0 -1 4202560 8502 0 0 0 64 3 0 0 20 0 20 0 179817609 26626990080 29142 33554432000 4194304 4196468 140721667342048 140345726982576 140345722760598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29366] ppid=29360 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29366/stat : 29366 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29142 33554432000 4194304 4196468 140721667342048 140345645329168 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29367] ppid=29360 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29367/stat : 29367 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29142 33554432000 4194304 4196468 140721667342048 140345644276624 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29368] ppid=29360 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29368/stat : 29368 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29208 33554432000 4194304 4196468 140721667342048 140345643224080 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29369] ppid=29360 vsize=26002920 memory=1712 CPUtime=0 cores=0-7
/proc/29363/task/29369/stat : 29369 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29208 33554432000 4194304 4196468 140721667342048 140345642171536 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29370] ppid=29360 vsize=26002920 memory=4612 CPUtime=0 cores=0-7
/proc/29363/task/29370/stat : 29370 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29208 33554432000 4194304 4196468 140721667342048 140345641117968 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29371] ppid=29360 vsize=26002920 memory=1004 CPUtime=0 cores=0-7
/proc/29363/task/29371/stat : 29371 (java) S 29360 29363 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29208 33554432000 4194304 4196468 140721667342048 140345275865488 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29372] ppid=29360 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/29363/task/29372/stat : 29372 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29208 33554432000 4194304 4196468 140721667342048 140345274812944 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29373] ppid=29360 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/29363/task/29373/stat : 29373 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179817610 26626990080 29208 33554432000 4194304 4196468 140721667342048 140345273760400 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29374] ppid=29360 vsize=26002920 memory=27612 CPUtime=0 cores=0-7
/proc/29363/task/29374/stat : 29374 (java) S 29360 29363 28877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179817611 26626990080 29208 33554432000 4194304 4196468 140721667342048 140344041118192 140345722759810 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0

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

/proc/29363/task/29377/stat : 29377 (java) S 29360 29363 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 179817614 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344037960400 140345722767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29378] ppid=29360 vsize=27411040 memory=1796 CPUtime=2.98 cores=0-7
/proc/29363/task/29378/stat : 29378 (java) S 29360 29363 28877 0 -1 1077944384 16128 0 0 0 293 5 0 0 20 0 41 0 179817614 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344036906992 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29379] ppid=29360 vsize=27411040 memory=644 CPUtime=2.76 cores=0-7
/proc/29363/task/29379/stat : 29379 (java) S 29360 29363 28877 0 -1 1077944384 15037 0 0 0 270 6 0 0 20 0 41 0 179817614 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344035854448 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29380] ppid=29360 vsize=27411040 memory=4126316290023845779 CPUtime=3.36 cores=0-7
/proc/29363/task/29380/stat : 29380 (java) S 29360 29363 28877 0 -1 1077944384 21266 0 0 0 330 6 0 0 20 0 41 0 179817614 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344034801904 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29381] ppid=29360 vsize=27411040 memory=1236 CPUtime=1.39 cores=0-7
/proc/29363/task/29381/stat : 29381 (java) S 29360 29363 28877 0 -1 1077944384 37120 0 0 0 129 10 0 0 20 0 41 0 179817614 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344033749360 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29382] ppid=29360 vsize=27411040 memory=932 CPUtime=0 cores=0-7
/proc/29363/task/29382/stat : 29382 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 179817615 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344032697056 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29383] ppid=29360 vsize=27411040 memory=1568 CPUtime=1.45 cores=0-7
/proc/29363/task/29383/stat : 29383 (java) S 29360 29363 28877 0 -1 1077944384 5914 0 0 0 66 79 0 0 20 0 41 0 179817615 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344031644592 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29384] ppid=29360 vsize=27411040 memory=2240 CPUtime=0.01 cores=0-7
/proc/29363/task/29384/stat : 29384 (java) S 29360 29363 28877 0 -1 1077944384 3241 0 0 0 1 0 0 0 20 0 41 0 179820411 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140344030590240 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29385] ppid=29360 vsize=27411040 memory=4124 CPUtime=6.82 cores=0-7
/proc/29363/task/29385/stat : 29385 (java) R 29360 29363 28877 0 -1 1077944384 11831 0 0 0 289 393 0 0 20 0 41 0 179820423 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343950636704 140345722759810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29386] ppid=29360 vsize=27411040 memory=2196 CPUtime=703.26 cores=0-7
/proc/29363/task/29386/stat : 29386 (java) S 29360 29363 28877 0 -1 1077944384 65873 0 0 0 70077 249 0 0 20 0 41 0 179820432 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343947486096 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29387] ppid=29360 vsize=27411040 memory=8044 CPUtime=2077.63 cores=0-7
/proc/29363/task/29387/stat : 29387 (java) R 29360 29363 28877 0 -1 4202560 169831 0 0 0 207035 728 0 0 20 0 41 0 179820433 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343946427016 140345328665429 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29388] ppid=29360 vsize=27411040 memory=840 CPUtime=0.11 cores=0-7
/proc/29363/task/29388/stat : 29388 (java) S 29360 29363 28877 0 -1 1077944384 597 0 0 0 11 0 0 0 20 0 41 0 179820434 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343945381008 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29389] ppid=29360 vsize=27411040 memory=1696 CPUtime=2071.97 cores=0-7
/proc/29363/task/29389/stat : 29389 (java) R 29360 29363 28877 0 -1 4202560 173752 0 0 0 206580 617 0 0 20 0 41 0 179820436 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343944322440 140345327851296 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29390] ppid=29360 vsize=27411040 memory=8469188 CPUtime=0.09 cores=0-7
/proc/29363/task/29390/stat : 29390 (java) S 29360 29363 28877 0 -1 1077944384 1194 0 0 0 9 0 0 0 20 0 41 0 179820436 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343943275920 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29391] ppid=29360 vsize=27411040 memory=6791534058613427641 CPUtime=2079.66 cores=0-7
/proc/29363/task/29391/stat : 29391 (java) R 29360 29363 28877 0 -1 4202560 213674 0 0 0 207279 687 0 0 20 0 41 0 179820436 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343942216920 140345323422880 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29392] ppid=29360 vsize=27411040 memory=8469188 CPUtime=1578.52 cores=0-7
/proc/29363/task/29392/stat : 29392 (java) S 29360 29363 28877 0 -1 1077944384 143072 0 0 0 157291 561 0 0 20 0 41 0 179820436 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343941170832 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29393] ppid=29360 vsize=27411040 memory=8469172 CPUtime=2075.93 cores=0-7
/proc/29363/task/29393/stat : 29393 (java) R 29360 29363 28877 0 -1 4202560 204765 0 0 0 206870 723 0 0 20 0 41 0 179820436 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343940114960 140345325895972 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29394] ppid=29360 vsize=27411040 memory=8468632 CPUtime=941.86 cores=0-7
/proc/29363/task/29394/stat : 29394 (java) S 29360 29363 28877 0 -1 1077944384 87736 0 0 0 93838 348 0 0 20 0 41 0 179820436 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343939064720 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29395] ppid=29360 vsize=27411040 memory=8469188 CPUtime=0 cores=0-7
/proc/29363/task/29395/stat : 29395 (java) S 29360 29363 28877 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 41 0 179820436 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343938012176 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29396] ppid=29360 vsize=27411040 memory=0 CPUtime=1377.18 cores=0-7
/proc/29363/task/29396/stat : 29396 (java) R 29360 29363 28877 0 -1 4202560 124077 0 0 0 137280 438 0 0 20 0 41 0 179820452 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343936952960 140345330196721 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29397] ppid=29360 vsize=27411040 memory=8761640388971749472 CPUtime=2075.54 cores=0-7
/proc/29363/task/29397/stat : 29397 (java) R 29360 29363 28877 0 -1 4202560 199703 0 0 0 206888 666 0 0 20 0 41 0 179820452 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343935900816 140345330196728 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29398] ppid=29360 vsize=27411040 memory=8257237230052613020 CPUtime=0 cores=0-7
/proc/29363/task/29398/stat : 29398 (java) S 29360 29363 28877 0 -1 1077944384 924 0 0 0 0 0 0 0 20 0 41 0 179820452 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343934854544 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29399] ppid=29360 vsize=27411040 memory=-7233780906022716832 CPUtime=0 cores=0-7
/proc/29363/task/29399/stat : 29399 (java) S 29360 29363 28877 0 -1 1077944384 1265 0 0 0 0 0 0 0 20 0 41 0 179820452 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343933802000 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29400] ppid=29360 vsize=27411040 memory=6944656592387989600 CPUtime=175.17 cores=0-7
/proc/29363/task/29400/stat : 29400 (java) R 29360 29363 28877 0 -1 4202560 11374 0 0 0 17489 28 0 0 20 0 41 0 179820452 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343932743432 140345330196772 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29401] ppid=29360 vsize=27411040 memory=4137282578176515228 CPUtime=321.32 cores=0-7
/proc/29363/task/29401/stat : 29401 (java) S 29360 29363 28877 0 -1 1077944384 30507 0 0 0 32016 116 0 0 20 0 41 0 179829019 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343929562896 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29402] ppid=29360 vsize=27411040 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/29363/task/29402/stat : 29402 (java) S 29360 29363 28877 0 -1 1077944384 553 0 0 0 0 0 0 0 20 0 41 0 179829020 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343928509328 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29403] ppid=29360 vsize=27411040 memory=3472328296227679313 CPUtime=1135.11 cores=0-7
/proc/29363/task/29403/stat : 29403 (java) R 29360 29363 28877 0 -1 4202560 87637 0 0 0 113151 360 0 0 20 0 41 0 179829020 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343927450760 140345323422553 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29507] ppid=29360 vsize=27411040 memory=3266 CPUtime=0 cores=0-7
/proc/29363/task/29507/stat : 29507 (java) S 29360 29363 28877 0 -1 1077944384 599 0 0 0 0 0 0 0 20 0 41 0 179945805 28068904960 2117385 33554432000 4194304 4196468 140721667342048 140343926404240 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
Current children cumulated CPU time: 19820.4 s
Current children cumulated vsize: 27411040 KiB
Current children cumulated memory: 8469540 KiB

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

[startup+2520.2 s]
# the end of solver process 29363 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19758.6 s, system=62.8318 s

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

[startup+2520.13 s]
/proc/loadavg: 8.56 8.68 8.67 9/219 29758
/proc/meminfo: memFree=15010864/32770624 swapFree=67108860/67108860
[pid=29363] ppid=29360 vsize=27544168 memory=8469756 CPUtime=19821.3 cores=0-7
/proc/29363/stat : 29363 (java) S 29360 29363 28877 0 -1 1077944320 3038177 0 0 0 1975853 6276 0 0 20 0 42 0 179817609 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140721667324592 140345722748663 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
/proc/29363/statm: 6886042 2117439 3866 1 0 6873235 0
[pid=29363/tid=29365] ppid=29360 vsize=27544168 memory=8469540 CPUtime=27.94 cores=0-7
/proc/29363/task/29365/stat : 29365 (java) S 29360 29363 28877 0 -1 1077944384 18922 0 0 0 2683 111 0 0 20 0 42 0 179817609 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345726986368 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29366] ppid=29360 vsize=27544168 memory=0 CPUtime=394.75 cores=0-7
/proc/29363/task/29366/stat : 29366 (java) S 29360 29363 28877 0 -1 1077944384 169665 0 0 0 39408 67 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345645329168 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29367] ppid=29360 vsize=27544168 memory=0 CPUtime=393.77 cores=0-7
/proc/29363/task/29367/stat : 29367 (java) S 29360 29363 28877 0 -1 1077944384 166492 0 0 0 39305 72 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345644276624 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29368] ppid=29360 vsize=27544168 memory=644 CPUtime=394.96 cores=0-7
/proc/29363/task/29368/stat : 29368 (java) S 29360 29363 28877 0 -1 1077944384 152775 0 0 0 39434 62 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345643224080 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 20 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29369] ppid=29360 vsize=27544168 memory=960 CPUtime=394.97 cores=0-7
/proc/29363/task/29369/stat : 29369 (java) S 29360 29363 28877 0 -1 1077944384 154085 0 0 0 39430 67 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345642171536 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29370] ppid=29360 vsize=27544168 memory=16236 CPUtime=393.97 cores=0-7
/proc/29363/task/29370/stat : 29370 (java) S 29360 29363 28877 0 -1 1077944384 138133 0 0 0 39320 77 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345641117968 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29371] ppid=29360 vsize=27544168 memory=8469188 CPUtime=394.61 cores=0-7
/proc/29363/task/29371/stat : 29371 (java) S 29360 29363 28877 0 -1 1077944384 164545 0 0 0 39387 74 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345275865488 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29372] ppid=29360 vsize=27544168 memory=252294968960372 CPUtime=394.96 cores=0-7
/proc/29363/task/29372/stat : 29372 (java) S 29360 29363 28877 0 -1 1077944384 155993 0 0 0 39422 74 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345274812944 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 20 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29373] ppid=29360 vsize=27544168 memory=-6861113860716135618 CPUtime=394.11 cores=0-7
/proc/29363/task/29373/stat : 29373 (java) S 29360 29363 28877 0 -1 1077944384 149902 0 0 0 39347 64 0 0 20 0 42 0 179817610 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140345273760400 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29374] ppid=29360 vsize=27544168 memory=6791534058613427641 CPUtime=3.88 cores=0-7
/proc/29363/task/29374/stat : 29374 (java) S 29360 29363 28877 0 -1 1077944384 136921 0 0 0 354 34 0 0 20 0 42 0 179817611 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344041118192 140345722759810 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29375] ppid=29360 vsize=27544168 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/29363/task/29375/stat : 29375 (java) S 29360 29363 28877 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 42 0 179817612 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344040064480 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29376] ppid=29360 vsize=27544168 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29376/stat : 29376 (java) S 29360 29363 28877 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 42 0 179817612 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344039011840 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29377] ppid=29360 vsize=27544168 memory=3261 CPUtime=0 cores=0-7
/proc/29363/task/29377/stat : 29377 (java) S 29360 29363 28877 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 42 0 179817614 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344037960400 140345722767259 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29378] ppid=29360 vsize=27544168 memory=280131994359392 CPUtime=2.98 cores=0-7
/proc/29363/task/29378/stat : 29378 (java) R 29360 29363 28877 0 -1 1077944384 16128 0 0 0 293 5 0 0 20 0 42 0 179817614 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344036906992 140345722759810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29379] ppid=29360 vsize=27544168 memory=8462548 CPUtime=2.76 cores=0-7
/proc/29363/task/29379/stat : 29379 (java) S 29360 29363 28877 0 -1 1077944384 15037 0 0 0 270 6 0 0 20 0 42 0 179817614 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344035854448 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29380] ppid=29360 vsize=27544168 memory=0 CPUtime=3.36 cores=0-7
/proc/29363/task/29380/stat : 29380 (java) S 29360 29363 28877 0 -1 1077944384 21266 0 0 0 330 6 0 0 20 0 42 0 179817614 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344034801904 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29381] ppid=29360 vsize=27544168 memory=0 CPUtime=1.39 cores=0-7
/proc/29363/task/29381/stat : 29381 (java) R 29360 29363 28877 0 -1 1077944384 37360 0 0 0 129 10 0 0 20 0 42 0 179817614 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344033749168 140345722758869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29382] ppid=29360 vsize=27544168 memory=184940 CPUtime=0 cores=0-7
/proc/29363/task/29382/stat : 29382 (java) S 29360 29363 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 42 0 179817615 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344032697056 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29383] ppid=29360 vsize=27544168 memory=9 CPUtime=1.45 cores=0-7
/proc/29363/task/29383/stat : 29383 (java) S 29360 29363 28877 0 -1 1077944384 5914 0 0 0 66 79 0 0 20 0 42 0 179817615 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344031644592 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29384] ppid=29360 vsize=27544168 memory=1004 CPUtime=0.01 cores=0-7
/proc/29363/task/29384/stat : 29384 (java) R 29360 29363 28877 0 -1 1077944384 3241 0 0 0 1 0 0 0 20 0 42 0 179820411 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140344030590240 140345722758869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29385] ppid=29360 vsize=27544168 memory=1200 CPUtime=6.82 cores=0-7
/proc/29363/task/29385/stat : 29385 (java) S 29360 29363 28877 0 -1 1077944384 11831 0 0 0 289 393 0 0 20 0 42 0 179820423 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343950636704 140345722759810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29386] ppid=29360 vsize=27544168 memory=15876 CPUtime=703.26 cores=0-7
/proc/29363/task/29386/stat : 29386 (java) R 29360 29363 28877 0 -1 1077944384 65873 0 0 0 70077 249 0 0 20 0 42 0 179820432 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343947486096 140345722758869 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29387] ppid=29360 vsize=27544168 memory=8469188 CPUtime=2077.74 cores=0-7
/proc/29363/task/29387/stat : 29387 (java) R 29360 29363 28877 0 -1 4202560 169831 0 0 0 207046 728 0 0 20 0 42 0 179820433 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343946427016 140345330261401 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29388] ppid=29360 vsize=27544168 memory=1984 CPUtime=0.11 cores=0-7
/proc/29363/task/29388/stat : 29388 (java) R 29360 29363 28877 0 -1 1077944384 597 0 0 0 11 0 0 0 20 0 42 0 179820434 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343945381008 140345722758869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29389] ppid=29360 vsize=27544168 memory=8469188 CPUtime=2072.08 cores=0-7
/proc/29363/task/29389/stat : 29389 (java) R 29360 29363 28877 0 -1 4202560 173752 0 0 0 206591 617 0 0 20 0 42 0 179820436 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343944322440 140345328386789 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29390] ppid=29360 vsize=27544168 memory=800 CPUtime=0.09 cores=0-7
/proc/29363/task/29390/stat : 29390 (java) S 29360 29363 28877 0 -1 1077944384 1196 0 0 0 9 0 0 0 20 0 42 0 179820436 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343943275920 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29391] ppid=29360 vsize=27544168 memory=12132 CPUtime=2079.77 cores=0-7
/proc/29363/task/29391/stat : 29391 (java) R 29360 29363 28877 0 -1 4202560 213675 0 0 0 207290 687 0 0 20 0 42 0 179820436 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343942216920 140345328386771 0 4 0 16800975 0 0 0 -1 2 0 0 23 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29392] ppid=29360 vsize=27544168 memory=1440 CPUtime=1578.52 cores=0-7
/proc/29363/task/29392/stat : 29392 (java) R 29360 29363 28877 0 -1 1077944384 143072 0 0 0 157291 561 0 0 20 0 42 0 179820436 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343941170832 140345722758869 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29393] ppid=29360 vsize=27544168 memory=1004 CPUtime=2076.04 cores=0-7
/proc/29363/task/29393/stat : 29393 (java) R 29360 29363 28877 0 -1 4202560 205030 0 0 0 206881 723 0 0 20 0 42 0 179820436 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343940114712 140345330493995 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29394] ppid=29360 vsize=27544168 memory=1200 CPUtime=941.86 cores=0-7
/proc/29363/task/29394/stat : 29394 (java) S 29360 29363 28877 0 -1 1077944384 87738 0 0 0 93838 348 0 0 20 0 42 0 179820436 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343939064720 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29395] ppid=29360 vsize=27544168 memory=15876 CPUtime=0 cores=0-7
/proc/29363/task/29395/stat : 29395 (java) S 29360 29363 28877 0 -1 1077944384 375 0 0 0 0 0 0 0 20 0 42 0 179820436 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343938012176 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29396] ppid=29360 vsize=27544168 memory=4100 CPUtime=1377.3 cores=0-7
/proc/29363/task/29396/stat : 29396 (java) R 29360 29363 28877 0 -1 4202560 124077 0 0 0 137292 438 0 0 20 0 42 0 179820452 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343936953096 140345326541766 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29397] ppid=29360 vsize=27544168 memory=6791534058613427641 CPUtime=2075.66 cores=0-7
/proc/29363/task/29397/stat : 29397 (java) R 29360 29363 28877 0 -1 4202560 199703 0 0 0 206900 666 0 0 20 0 42 0 179820452 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343935900816 140345328386785 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29398] ppid=29360 vsize=27544168 memory=8469540 CPUtime=0 cores=0-7
/proc/29363/task/29398/stat : 29398 (java) S 29360 29363 28877 0 -1 1077944384 926 0 0 0 0 0 0 0 20 0 42 0 179820452 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343934854544 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29399] ppid=29360 vsize=27544168 memory=0 CPUtime=0 cores=0-7
/proc/29363/task/29399/stat : 29399 (java) S 29360 29363 28877 0 -1 1077944384 1402 0 0 0 0 0 0 0 20 0 42 0 179820452 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343933802000 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29400] ppid=29360 vsize=27544168 memory=0 CPUtime=175.28 cores=0-7
/proc/29363/task/29400/stat : 29400 (java) R 29360 29363 28877 0 -1 4202560 11374 0 0 0 17500 28 0 0 20 0 42 0 179820452 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343932743432 140345330920145 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29401] ppid=29360 vsize=27544168 memory=8469188 CPUtime=321.32 cores=0-7
/proc/29363/task/29401/stat : 29401 (java) S 29360 29363 28877 0 -1 1077944384 30509 0 0 0 32016 116 0 0 20 0 42 0 179829019 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343929562896 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29402] ppid=29360 vsize=27544168 memory=8469188 CPUtime=0 cores=0-7
/proc/29363/task/29402/stat : 29402 (java) R 29360 29363 28877 0 -1 1077944384 553 0 0 0 0 0 0 0 20 0 42 0 179829020 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343928509328 140345722758869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29403] ppid=29360 vsize=27544168 memory=4100 CPUtime=1135.22 cores=0-7
/proc/29363/task/29403/stat : 29403 (java) R 29360 29363 28877 0 -1 4202560 87637 0 0 0 113162 360 0 0 20 0 42 0 179829020 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343927450760 140345330493633 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
[pid=29363/tid=29507] ppid=29360 vsize=27544168 memory=49656 CPUtime=0 cores=0-7
/proc/29363/task/29507/stat : 29507 (java) S 29360 29363 28877 0 -1 1077944384 600 0 0 0 0 0 0 0 20 0 42 0 179945805 28205228032 2117439 33554432000 4194304 4196468 140721667342048 140343926404240 140345722758869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21491712 140721667343457 140721667343643 140721667343643 140721667346383 0
Current children cumulated CPU time: 19821.3 s
Current children cumulated vsize: 27544168 KiB
Current children cumulated memory: 8469756 KiB

Child status: 143
Real time (s): 2520.2
CPU time (s): 19821.5
CPU user time (s): 19758.6
CPU system time (s): 62.8318
CPU usage (%): 786.503
Max. virtual memory (cumulated for all children) (KiB): 27544168
Max. memory (cumulated for all children) (KiB): 8469756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19758.6
system time used= 62.8318
maximum resident set size= 8470900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3039121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 392685
involuntary context switches= 388474


# summary of solver processes directly reported to runsolver:
#   pid: 29363
#   total CPU time (s): 19821.5
#   total CPU user time (s): 19758.6
#   total CPU system time (s): 62.8318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.4416 second user time and 41 second system time

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml
MD5SUM	0962135a9df7191e1203c0b83ceb0052
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.0901
Satisfiable
(Un)Satisfiability was proved
Number of variables	1936
Number of constraints	13244
Number of domains	1
Minimum domain size	946
Maximum domain size	946
Distribution of domain sizes	[{"size":946,"count":946}]
Minimum variable degree	0
Maximum variable degree	43
Distribution of variable degrees	[{"degree":0,"count":990},{"degree":43,"count":946}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":13244}]
Number of extensional constraints	0
Number of intensional constraints	13244
Distribution of constraint types	[{"type":"intension","count":13244}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4285610

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