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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT (TO)	1021	253.672	240.034

0.24/0.38	c version: 2017-07-26
0.24/0.38	c seed: 205577443
0.24/0.38	c timeout: 264
0.24/0.38	c memlimit: 11000
0.24/0.38	c nbcore: 4
0.42/0.40	c Parsing instance...
6.48/2.37	c Parsing done, starting search...
24.58/18.51	o 1034
42.08/34.66	o 1033
58.98/51.02	o 1032
75.90/67.38	o 1031
92.57/83.56	o 1030
109.36/99.83	o 1029
126.13/116.15	o 1028
142.81/132.38	o 1027
159.57/148.66	o 1026
176.48/165.01	o 1025
193.27/181.31	o 1024
210.11/197.72	o 1023
226.90/214.04	o 1022
243.63/230.33	o 1021
253.61/240.00	s SATISFIABLE
253.61/240.01	v <instantiation>
253.61/240.01	v 	<list>
253.61/240.01	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[0][44] x[0][45] 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[1][44] x[1][45] 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[2][44] x[2][45] 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[3][44] x[3][45] 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[4][44] x[4][45] 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[5][44] x[5][45] 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[6][44] x[6][45] 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[7][44] x[7][45] 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[8][44] x[8][45] 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[9][44] x[9][45] 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[10][44] x[10][45] 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[11][44] x[11][45] 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[12][44] x[12][45] 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[13][44] x[13][45] 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[14][44] x[14][45] 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[15][44] x[15][45] 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[16][44] x[16][45] 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[17][44] x[17][45] 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[18][44] x[18][45] 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[19][44] x[19][45] 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[20][44] x[20][45] 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[21][44] x[21][45] 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[22][44] x[22][45] 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[23][44] x[23][45] 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[24][44] x[24][45] 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[25][44] x[25][45] 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[26][44] x[26][45] 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[27][44] x[27][45] 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[28][44] x[28][45] 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[29][44] x[29][45] 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[30][44] x[30][45] 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[31][44] x[31][45] 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[32][44] x[32][45] 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[33][44] x[33][45] 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[34][44] x[34][45] 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[35][44] x[35][45] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][42] x[41][43] x[41][44] x[41][45] x[42][43] x[42][44] x[42][45] x[43][44] x[43][45] x[44][45]
253.61/240.01	v 	</list>
253.61/240.01	v 	<values>
253.61/240.01	v 		1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1021 1020 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 982 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 983 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 984 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 985 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 986 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 987 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 988 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 989 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1013 1014 1015 1016 1017 1018 1019 1020 1021 1014 1015 1016 1017 1018 1019 1020 1021 1015 1016 1017 1018 1019 1020 1021 1016 1017 1018 1019 1020 1021 1017 1018 1019 1020 1021 1018 1019 1020 1021 1019 1020 1021 1020 1021 1021 
253.61/240.01	v 	</values>
253.61/240.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256220-1501994790/watcher-4256220-1501994790 -o /tmp/evaluation-result-4256220-1501994790/solver-4256220-1501994790 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501986126-20441 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 205577443 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256220-1501994790.xml 

pid=28098
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.47 1.57 1.58 3/198 28101
/proc/meminfo: memFree=27595704/32770624 swapFree=0/330776
[pid=28101] ppid=28098 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28101/stat : 28101 (runsolver) D 28098 28101 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 99132210 24240128 106 18446744073709551615 4194304 4338465 140734088181968 140734088179608 140223380247255 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 39276544 140734088183917 140734088184396 140734088184396 140734088187850 0
/proc/28101/statm: 5918 106 53 36 0 2156 0

[startup+0.100092 s]
/proc/loadavg: 1.47 1.57 1.58 3/198 28101
/proc/meminfo: memFree=27595704/32770624 swapFree=0/330776
[pid=28101] ppid=28098 vsize=13356344 CPUtime=0 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 2418 0 0 0 0 0 0 0 20 0 6 0 99132210 13676896256 2608 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3339086 2608 1190 1 0 3329056 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13356344

[startup+0.203852 s]
/proc/loadavg: 1.47 1.57 1.58 3/198 28101
/proc/meminfo: memFree=27595704/32770624 swapFree=0/330776
[pid=28101] ppid=28098 vsize=13975920 CPUtime=0.08 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 6929 0 0 0 7 1 0 0 20 0 15 0 99132210 14311342080 7603 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3493980 7603 3349 1 0 3482759 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13975920

[startup+0.300353 s]
/proc/loadavg: 1.47 1.57 1.58 3/198 28101
/proc/meminfo: memFree=27595704/32770624 swapFree=0/330776
[pid=28101] ppid=28098 vsize=13975920 CPUtime=0.24 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 10206 0 0 0 21 3 0 0 20 0 15 0 99132210 14311342080 9991 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3493980 9991 3529 1 0 3482759 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13975920

[startup+0.700844 s]
/proc/loadavg: 1.47 1.57 1.58 3/198 28101
/proc/meminfo: memFree=27595704/32770624 swapFree=0/330776
[pid=28101] ppid=28098 vsize=13977988 CPUtime=1.2 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 15778 0 0 0 115 5 0 0 20 0 15 0 99132210 14313459712 22638 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3494497 22638 3732 1 0 3483271 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 13977988

[startup+1.50089 s]
/proc/loadavg: 1.47 1.57 1.58 5/213 28116
/proc/meminfo: memFree=27401388/32770624 swapFree=0/330792
[pid=28101] ppid=28098 vsize=13977988 CPUtime=3.85 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 19125 0 0 0 377 8 0 0 20 0 15 0 99132210 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3494497 54971 3781 1 0 3483271 0
[pid=28101/tid=28103] ppid=28098 vsize=13977988 CPUtime=1.33 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 10695 0 0 0 129 4 0 0 20 0 15 0 99132219 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209952122984 140209563714752 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13977988 CPUtime=0.01 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 15 0 99132220 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 99132220 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13977988 CPUtime=0.01 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 99132220 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13977988 CPUtime=0.01 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 15 0 99132220 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 99132221 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99132222 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209426110112 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99132222 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28112] ppid=28098 vsize=13977988 CPUtime=0.94 cores=0,2,4,6
/proc/28101/task/28112/stat : 28112 (java) R 28098 28101 12039 0 -1 4202560 2532 0 0 0 93 1 0 0 20 0 15 0 99132224 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209422939472 140209929434360 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28113] ppid=28098 vsize=13977988 CPUtime=0.95 cores=0,2,4,6
/proc/28101/task/28113/stat : 28113 (java) R 28098 28101 12039 0 -1 4202560 2251 0 0 0 95 0 0 0 20 0 15 0 99132224 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209421893376 140209931785411 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28114] ppid=28098 vsize=13977988 CPUtime=0.51 cores=0,2,4,6
/proc/28101/task/28114/stat : 28114 (java) S 28098 28101 12039 0 -1 1077944384 2117 0 0 0 51 0 0 0 20 0 15 0 99132224 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209420847088 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28115] ppid=28098 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13977988 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 99132228 14313459712 54971 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 13977988

[startup+3.10089 s]
/proc/loadavg: 1.59 1.59 1.59 6/213 28116
/proc/meminfo: memFree=27273636/32770624 swapFree=0/330792
[pid=28101] ppid=28098 vsize=13982084 CPUtime=8.36 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 28478 0 0 0 809 27 0 0 20 0 15 0 99132210 14317654016 166728 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3495521 166728 3802 1 0 3484295 0
[pid=28101/tid=28103] ppid=28098 vsize=13982084 CPUtime=2.77 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 14034 0 0 0 267 10 0 0 20 0 15 0 99132219 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209952125704 140209568851247 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 196 0 0 0 11 2 0 0 20 0 15 0 99132220 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 169 0 0 0 10 3 0 0 20 0 15 0 99132220 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 179 0 0 0 10 3 0 0 20 0 15 0 99132220 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13982084 CPUtime=0.16 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 214 0 0 0 13 3 0 0 20 0 15 0 99132220 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 99132221 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209426110176 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28112] ppid=28098 vsize=13982084 CPUtime=2.15 cores=0,2,4,6
/proc/28101/task/28112/stat : 28112 (java) S 28098 28101 12039 0 -1 1077944384 4452 0 0 0 214 1 0 0 20 0 15 0 99132224 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209422952688 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28113] ppid=28098 vsize=13982084 CPUtime=2.05 cores=0,2,4,6
/proc/28101/task/28113/stat : 28113 (java) S 28098 28101 12039 0 -1 1077944384 3818 0 0 0 204 1 0 0 20 0 15 0 99132224 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209421900144 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28114] ppid=28098 vsize=13982084 CPUtime=0.76 cores=0,2,4,6
/proc/28101/task/28114/stat : 28114 (java) S 28098 28101 12039 0 -1 1077944384 3836 0 0 0 75 1 0 0 20 0 15 0 99132224 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209420847088 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28115] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99132228 14317654016 167240 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 8.36
Current children cumulated vsize (KiB) 13982084

[startup+6.30067 s]
/proc/loadavg: 1.59 1.59 1.59 3/213 28116
/proc/meminfo: memFree=26335528/32770624 swapFree=0/330788
[pid=28101] ppid=28098 vsize=13982084 CPUtime=11.96 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 31955 0 0 0 1140 56 0 0 20 0 15 0 99132210 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3495521 522126 3802 1 0 3484295 0
[pid=28101/tid=28103] ppid=28098 vsize=13982084 CPUtime=5.84 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 16458 0 0 0 554 30 0 0 20 0 15 0 99132219 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209952124776 140209568850817 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13982084 CPUtime=0.26 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 260 0 0 0 21 5 0 0 20 0 15 0 99132220 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13982084 CPUtime=0.26 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 205 0 0 0 21 5 0 0 20 0 15 0 99132220 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13982084 CPUtime=0.25 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 235 0 0 0 20 5 0 0 20 0 15 0 99132220 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13982084 CPUtime=0.28 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 299 0 0 0 23 5 0 0 20 0 15 0 99132220 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 1013 0 0 0 1 0 0 0 20 0 15 0 99132221 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209426110176 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28112] ppid=28098 vsize=13982084 CPUtime=2.16 cores=0,2,4,6
/proc/28101/task/28112/stat : 28112 (java) S 28098 28101 12039 0 -1 1077944384 4456 0 0 0 215 1 0 0 20 0 15 0 99132224 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209422952688 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28113] ppid=28098 vsize=13982084 CPUtime=2.06 cores=0,2,4,6
/proc/28101/task/28113/stat : 28113 (java) S 28098 28101 12039 0 -1 1077944384 3822 0 0 0 205 1 0 0 20 0 15 0 99132224 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209421900144 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28114] ppid=28098 vsize=13982084 CPUtime=0.76 cores=0,2,4,6
/proc/28101/task/28114/stat : 28114 (java) S 28098 28101 12039 0 -1 1077944384 3838 0 0 0 75 1 0 0 20 0 15 0 99132224 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209420847088 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28115] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 99132228 14317654016 522126 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 11.96
Current children cumulated vsize (KiB) 13982084

[startup+12.7008 s]
/proc/loadavg: 1.58 1.59 1.59 3/212 28117
/proc/meminfo: memFree=24071772/32770624 swapFree=0/330800
[pid=28101] ppid=28098 vsize=13982084 CPUtime=18.66 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 34512 0 0 0 1785 81 0 0 20 0 15 0 99132210 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3495521 884578 3802 1 0 3484295 0
[pid=28101/tid=28103] ppid=28098 vsize=13982084 CPUtime=12.17 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 17679 0 0 0 1167 50 0 0 20 0 15 0 99132219 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209952127888 140209568850767 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13982084 CPUtime=0.33 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 394 0 0 0 27 6 0 0 20 0 15 0 99132220 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13982084 CPUtime=0.32 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 227 0 0 0 26 6 0 0 20 0 15 0 99132220 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13982084 CPUtime=0.31 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 456 0 0 0 25 6 0 0 20 0 15 0 99132220 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13982084 CPUtime=0.34 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 480 0 0 0 28 6 0 0 20 0 15 0 99132220 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 1772 0 0 0 2 0 0 0 20 0 15 0 99132221 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209426110176 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14317654016 884578 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0

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

/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14317654016 972567 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 46 0 0 0 1 1 0 0 20 0 15 0 99132228 14317654016 972567 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 59.1
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.51 1.56 1.58 3/213 28196
/proc/meminfo: memFree=23873428/32770624 swapFree=0/330812
[pid=28101] ppid=28098 vsize=13982084 CPUtime=111.96 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 67840 0 0 0 11088 108 0 0 20 0 15 0 99132210 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3495521 924691 3802 1 0 3484295 0
[pid=28101/tid=28103] ppid=28098 vsize=13982084 CPUtime=100.89 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 31196 0 0 0 10033 56 0 0 20 0 15 0 99132219 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209952127952 140209569577973 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 1752 0 0 0 106 10 0 0 20 0 15 0 99132220 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13982084 CPUtime=1.15 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 1567 0 0 0 104 11 0 0 20 0 15 0 99132220 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13982084 CPUtime=1.14 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 2019 0 0 0 104 10 0 0 20 0 15 0 99132220 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13982084 CPUtime=1.17 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 2296 0 0 0 107 10 0 0 20 0 15 0 99132220 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 2733 0 0 0 4 1 0 0 20 0 15 0 99132221 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209426110176 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28112] ppid=28098 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/28101/task/28112/stat : 28112 (java) S 28098 28101 12039 0 -1 1077944384 9844 0 0 0 287 2 0 0 20 0 15 0 99132224 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209422952688 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28113] ppid=28098 vsize=13982084 CPUtime=2.55 cores=0,2,4,6
/proc/28101/task/28113/stat : 28113 (java) S 28098 28101 12039 0 -1 1077944384 9108 0 0 0 254 1 0 0 20 0 15 0 99132224 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209421900144 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28114] ppid=28098 vsize=13982084 CPUtime=0.82 cores=0,2,4,6
/proc/28101/task/28114/stat : 28114 (java) S 28098 28101 12039 0 -1 1077944384 5864 0 0 0 81 1 0 0 20 0 15 0 99132224 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209420847088 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28115] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 78 0 0 0 2 3 0 0 20 0 15 0 99132228 14317654016 924691 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 111.96
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.67 1.60 1.59 3/213 28198
/proc/meminfo: memFree=23560584/32770624 swapFree=0/330852
[pid=28101] ppid=28098 vsize=13982084 CPUtime=173.67 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 75898 0 0 0 17237 130 0 0 20 0 15 0 99132210 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3495521 1011407 3802 1 0 3484295 0
[pid=28101/tid=28103] ppid=28098 vsize=13982084 CPUtime=160.3 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 36383 0 0 0 15967 63 0 0 20 0 15 0 99132219 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209952127952 140209562613376 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13982084 CPUtime=1.72 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 2648 0 0 0 159 13 0 0 20 0 15 0 99132220 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13982084 CPUtime=1.71 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 1844 0 0 0 157 14 0 0 20 0 15 0 99132220 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13982084 CPUtime=1.7 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 2523 0 0 0 157 13 0 0 20 0 15 0 99132220 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13982084 CPUtime=1.73 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 2826 0 0 0 160 13 0 0 20 0 15 0 99132220 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 3174 0 0 0 5 2 0 0 20 0 15 0 99132221 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209426110176 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28112] ppid=28098 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/28101/task/28112/stat : 28112 (java) S 28098 28101 12039 0 -1 1077944384 9924 0 0 0 287 2 0 0 20 0 15 0 99132224 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209422952688 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28113] ppid=28098 vsize=13982084 CPUtime=2.55 cores=0,2,4,6
/proc/28101/task/28113/stat : 28113 (java) S 28098 28101 12039 0 -1 1077944384 9192 0 0 0 254 1 0 0 20 0 15 0 99132224 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209421900144 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28114] ppid=28098 vsize=13982084 CPUtime=0.82 cores=0,2,4,6
/proc/28101/task/28114/stat : 28114 (java) S 28098 28101 12039 0 -1 1077944384 5901 0 0 0 81 1 0 0 20 0 15 0 99132224 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209420847088 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28115] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 100 0 0 0 4 5 0 0 20 0 15 0 99132228 14317654016 1011407 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 173.67
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.62 1.60 1.59 3/214 28201
/proc/meminfo: memFree=23382860/32770624 swapFree=0/330888
[pid=28101] ppid=28098 vsize=13982084 CPUtime=235.41 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 81868 0 0 0 23400 141 0 0 20 0 15 0 99132210 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3495521 1015996 3802 1 0 3484295 0
[pid=28101/tid=28103] ppid=28098 vsize=13982084 CPUtime=219.7 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 40452 0 0 0 21906 64 0 0 20 0 15 0 99132219 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209952127952 140209569677768 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13982084 CPUtime=2.29 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 3135 0 0 0 214 15 0 0 20 0 15 0 99132220 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13982084 CPUtime=2.29 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 2517 0 0 0 212 17 0 0 20 0 15 0 99132220 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13982084 CPUtime=2.27 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 2570 0 0 0 212 15 0 0 20 0 15 0 99132220 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13982084 CPUtime=2.31 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 3387 0 0 0 215 16 0 0 20 0 15 0 99132220 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 3266 0 0 0 7 2 0 0 20 0 15 0 99132221 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209426110176 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28112] ppid=28098 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/28101/task/28112/stat : 28112 (java) S 28098 28101 12039 0 -1 1077944384 9927 0 0 0 287 2 0 0 20 0 15 0 99132224 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209422952688 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28113] ppid=28098 vsize=13982084 CPUtime=2.55 cores=0,2,4,6
/proc/28101/task/28113/stat : 28113 (java) S 28098 28101 12039 0 -1 1077944384 9200 0 0 0 254 1 0 0 20 0 15 0 99132224 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209421900144 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28114] ppid=28098 vsize=13982084 CPUtime=0.82 cores=0,2,4,6
/proc/28101/task/28114/stat : 28114 (java) S 28098 28101 12039 0 -1 1077944384 5904 0 0 0 81 1 0 0 20 0 15 0 99132224 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209420847088 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28115] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 128 0 0 0 5 7 0 0 20 0 15 0 99132228 14317654016 1015996 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 235.41
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.71 1.62 1.60 3/214 28201
/proc/meminfo: memFree=23375460/32770624 swapFree=0/330892
[pid=28101] ppid=28098 vsize=13982084 CPUtime=253.61 cores=0,2,4,6
/proc/28101/stat : 28101 (java) S 28098 28101 12039 0 -1 1077944320 87019 0 0 0 25216 145 0 0 20 0 15 0 99132210 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140732234909680 140209947889399 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 8 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
/proc/28101/statm: 3495521 1016415 3802 1 0 3484295 0
[pid=28101/tid=28103] ppid=28098 vsize=13982084 CPUtime=237.22 cores=0,2,4,6
/proc/28101/task/28103/stat : 28103 (java) R 28098 28101 12039 0 -1 4202560 43323 0 0 0 23658 64 0 0 20 0 15 0 99132219 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209952127952 140209569677900 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28104] ppid=28098 vsize=13982084 CPUtime=2.46 cores=0,2,4,6
/proc/28101/task/28104/stat : 28104 (java) S 28098 28101 12039 0 -1 1077944384 3416 0 0 0 230 16 0 0 20 0 15 0 99132220 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209882323472 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28105] ppid=28098 vsize=13982084 CPUtime=2.45 cores=0,2,4,6
/proc/28101/task/28105/stat : 28105 (java) S 28098 28101 12039 0 -1 1077944384 3107 0 0 0 227 18 0 0 20 0 15 0 99132220 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209881270928 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28106] ppid=28098 vsize=13982084 CPUtime=2.44 cores=0,2,4,6
/proc/28101/task/28106/stat : 28106 (java) S 28098 28101 12039 0 -1 1077944384 2884 0 0 0 228 16 0 0 20 0 15 0 99132220 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209880217872 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28107] ppid=28098 vsize=13982084 CPUtime=2.46 cores=0,2,4,6
/proc/28101/task/28107/stat : 28107 (java) S 28098 28101 12039 0 -1 1077944384 4211 0 0 0 230 16 0 0 20 0 15 0 99132220 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209544673680 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28108] ppid=28098 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/28101/task/28108/stat : 28108 (java) S 28098 28101 12039 0 -1 1077944384 3536 0 0 0 8 2 0 0 20 0 15 0 99132221 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209427163888 140209947900546 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28109] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28109/stat : 28109 (java) S 28098 28101 12039 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209426110176 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28110] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28110/stat : 28110 (java) S 28098 28101 12039 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 99132222 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209425057024 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28111] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28111/stat : 28111 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132224 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209424005584 140209947907995 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28112] ppid=28098 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/28101/task/28112/stat : 28112 (java) S 28098 28101 12039 0 -1 1077944384 9927 0 0 0 287 2 0 0 20 0 15 0 99132224 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209422952688 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28113] ppid=28098 vsize=13982084 CPUtime=2.55 cores=0,2,4,6
/proc/28101/task/28113/stat : 28113 (java) S 28098 28101 12039 0 -1 1077944384 9200 0 0 0 254 1 0 0 20 0 15 0 99132224 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209421900144 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28114] ppid=28098 vsize=13982084 CPUtime=0.82 cores=0,2,4,6
/proc/28101/task/28114/stat : 28114 (java) S 28098 28101 12039 0 -1 1077944384 5904 0 0 0 81 1 0 0 20 0 15 0 99132224 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209420847088 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28115] ppid=28098 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/28101/task/28115/stat : 28115 (java) S 28098 28101 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 99132225 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209419794784 140209947899605 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
[pid=28101/tid=28116] ppid=28098 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/28101/task/28116/stat : 28116 (java) S 28098 28101 12039 0 -1 1077944384 128 0 0 0 5 8 0 0 20 0 15 0 99132228 14317654016 1016415 18446744073709551615 4194304 4196468 140732234927136 140209418742832 140209947900546 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25989120 140732234932632 140732234932817 140732234932817 140732234936271 0
Current children cumulated CPU time (s) 253.61
Current children cumulated vsize (KiB) 13982084

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 28101 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.034
CPU time (s): 253.672
CPU user time (s): 252.192
CPU system time (s): 1.47985
CPU usage (%): 105.682
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.192
system time used= 1.47985
maximum resident set size= 4099400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9368
involuntary context switches= 705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.976889 second user time and 1.63412 second system time

The end

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml
MD5SUM	6af071621bab6d4e45a1e2acc37440b7
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	240.04201
Satisfiable
(Un)Satisfiability was proved
Number of variables	2116
Number of constraints	15180
Number of domains	1
Minimum domain size	1035
Maximum domain size	1035
Distribution of domain sizes	[{"size":1035,"count":1035}]
Minimum variable degree	0
Maximum variable degree	45
Distribution of variable degrees	[{"degree":0,"count":1081},{"degree":45,"count":1035}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":15180}]
Number of extensional constraints	0
Number of intensional constraints	15180
Distribution of constraint types	[{"type":"intension","count":15180}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4256220

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