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-07-26	SAT (TO)	1014	19809.199	2520.1599

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 1009511360
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 11000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
5.28/2.07	c Parsing done, starting search...
967.48/145.28	o 1034
1976.14/272.40	o 1033
3041.79/407.17	o 1032
4101.17/540.52	o 1031
5155.61/673.84	o 1030
6170.65/801.77	o 1029
7159.47/926.39	o 1028
8124.72/1047.80	o 1027
9063.36/1166.18	o 1026
9957.70/1278.85	o 1025
10880.61/1395.17	o 1024
11794.89/1510.22	o 1023
12710.04/1625.69	o 1022
13593.83/1737.10	o 1021
14468.38/1847.37	o 1020
15329.32/1955.76	o 1019
16195.96/2064.90	o 1018
17039.97/2171.28	o 1017
17883.67/2277.59	o 1016
18752.22/2386.91	o 1015
19568.88/2489.83	o 1014
19808.26/2520.11	s SATISFIABLE
19808.26/2520.11	v <instantiation>
19808.26/2520.11	v 	<list>
19808.26/2520.11	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]
19808.26/2520.11	v 	</list>
19808.26/2520.11	v 	<values>
19808.26/2520.11	v 		1010 1014 1014 995 1014 1014 1014 1013 980 1014 1014 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 1006 1007 1013 1008 1010 1009 1010 1014 1011 1012 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1007 1013 1008 1010 1009 1010 1014 1011 1012 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1013 1008 1010 1009 1010 1014 1011 1012 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1014 1014 1013 1013 995 1013 1013 995 995 995 995 1014 995 995 995 995 995 995 1014 995 995 1014 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1012 1010 1009 1010 1014 1011 1012 1014 1014 1014 1014 1013 1014 1014 1014 1014 1014 1014 1013 1014 1014 1013 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1010 1014 999 1011 1012 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 999 1014 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1013 1010 1014 1011 1012 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1014 1011 1012 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1014 1014 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 1012 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1014 1013 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 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 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 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 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 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 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 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 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 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 992 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 993 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 994 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 995 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 996 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 997 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 998 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 999 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1000 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1006 1007 1008 1009 1010 1011 1012 1013 1014 1007 1008 1009 1010 1011 1012 1013 1014 1008 1009 1010 1011 1012 1013 1014 1009 1010 1011 1012 1013 1014 1010 1011 1012 1013 1014 1011 1012 1013 1014 1012 1013 1014 1013 1014 1014 
19808.26/2520.11	v 	</values>
19808.26/2520.11	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 (15014 MiB free)
  memory of node 1: 16384 MiB (15612 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275801-1502868355/watcher-4275801-1502868355 -o /tmp/evaluation-result-4275801-1502868355/solver-4275801-1502868355 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502864973-23335 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1009511360 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275801-1502868355.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
Current StackSize limit: 8192 KiB

solver pid=23526, runsolver pid=23523

[startup+0.100141 s]*
/proc/loadavg: 8.39 8.79 8.81 2/199 23546
/proc/meminfo: memFree=31342688/32770624 swapFree=67108860/67108860
[pid=23526] ppid=23523 vsize=14325320 memory=34196 CPUtime=0.12 cores=0-7
/proc/23526/stat : 23526 (java) S 23523 23526 23308 0 -1 1077944320 8439 0 0 0 11 1 0 0 20 0 20 0 119923286 14669127680 8549 33554432000 4194304 4196468 140737327157072 140737327139616 140053998411511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
/proc/23526/statm: 3581330 8549 3410 1 0 3569050 0
[pid=23526/tid=23528] ppid=23523 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/23526/task/23528/stat : 23528 (java) R 23523 23526 23308 0 -1 4202560 6385 0 0 0 8 1 0 0 20 0 20 0 119923286 14669127680 8549 33554432000 4194304 4196468 140737327157072 140054002589424 140053977934904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23529] ppid=23523 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/23526/task/23529/stat : 23529 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053928499600 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23530] ppid=23523 vsize=14325320 memory=140224219612800 CPUtime=0 cores=0-7
/proc/23526/task/23530/stat : 23530 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053927446800 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23531] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23531/stat : 23531 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053926394512 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23532] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23532/stat : 23532 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053925341712 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23533] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23533/stat : 23533 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053924289424 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23534] ppid=23523 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23526/task/23534/stat : 23534 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053923236624 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23535] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23535/stat : 23535 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053922184336 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23536] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23536/stat : 23536 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053921131536 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23537] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23537/stat : 23537 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923288 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053455636592 140053998422658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23538] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23538/stat : 23538 (java) S 23523 23526 23308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119923289 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053454582560 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23539] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23539/stat : 23539 (java) S 23523 23526 23308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119923289 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053453530224 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23540] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23540/stat : 23540 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053452478544 140053998430107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23541] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23541/stat : 23541 (java) S 23523 23526 23308 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053451426416 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23542] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23542/stat : 23542 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053450373616 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23543] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23543/stat : 23543 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053449321328 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23544] ppid=23523 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/23526/task/23544/stat : 23544 (java) R 23523 23526 23308 0 -1 4202560 377 0 0 0 2 0 0 0 20 0 20 0 119923291 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053313481456 140053990648638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23545] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23545/stat : 23545 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053312428384 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23546] ppid=23523 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23526/task/23546/stat : 23546 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923292 14669127680 8549 33554432000 4194304 4196468 140737327157072 140053311375664 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34196 KiB

[startup+0.210289 s]*
/proc/loadavg: 8.39 8.79 8.81 3/199 23546
/proc/meminfo: memFree=31333196/32770624 swapFree=67108860/67108860
[pid=23526] ppid=23523 vsize=14325320 memory=43348 CPUtime=0.29 cores=0-7
/proc/23526/stat : 23526 (java) S 23523 23526 23308 0 -1 1077944320 9462 0 0 0 27 2 0 0 20 0 20 0 119923286 14669127680 10837 33554432000 4194304 4196468 140737327157072 140737327139616 140053998411511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
/proc/23526/statm: 3581330 10837 3618 1 0 3569050 0
[pid=23526/tid=23528] ppid=23523 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/23526/task/23528/stat : 23528 (java) R 23523 23526 23308 0 -1 4202560 7020 0 0 0 18 1 0 0 20 0 20 0 119923286 14669127680 10837 33554432000 4194304 4196468 140737327157072 140054002638832 140053982491998 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23529] ppid=23523 vsize=14325320 memory=13887 CPUtime=0 cores=0-7
/proc/23526/task/23529/stat : 23529 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053928499600 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23530] ppid=23523 vsize=14325320 memory=3978279066511902368 CPUtime=0 cores=0-7
/proc/23526/task/23530/stat : 23530 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053927446800 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23531] ppid=23523 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23526/task/23531/stat : 23531 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053926394512 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23532] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23532/stat : 23532 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053925341712 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23533] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23533/stat : 23533 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053924289424 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23534] ppid=23523 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23526/task/23534/stat : 23534 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053923236624 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23535] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23535/stat : 23535 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053922184336 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23536] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23536/stat : 23536 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053921131536 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23537] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23537/stat : 23537 (java) S 23523 23526 23308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 119923288 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053455636592 140053998422658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23538] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23538/stat : 23538 (java) S 23523 23526 23308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119923289 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053454582560 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23539] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23539/stat : 23539 (java) S 23523 23526 23308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119923289 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053453530224 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23540] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23540/stat : 23540 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053452478544 140053998430107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23541] ppid=23523 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/23526/task/23541/stat : 23541 (java) S 23523 23526 23308 0 -1 1077944384 552 0 0 0 1 0 0 0 20 0 20 0 119923291 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053451426416 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23542] ppid=23523 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/23526/task/23542/stat : 23542 (java) S 23523 23526 23308 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 119923291 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053450373616 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23543] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23543/stat : 23543 (java) S 23523 23526 23308 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053449321328 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23544] ppid=23523 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/23526/task/23544/stat : 23544 (java) R 23523 23526 23308 0 -1 4202560 399 0 0 0 5 0 0 0 20 0 20 0 119923291 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053313481456 140053998423446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23545] ppid=23523 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23545/stat : 23545 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923291 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053312428384 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23546] ppid=23523 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/23526/task/23546/stat : 23546 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923292 14669127680 10837 33554432000 4194304 4196468 140737327157072 140053311375664 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43348 KiB

[startup+0.309625 s]*
/proc/loadavg: 8.39 8.79 8.81 2/199 23546
/proc/meminfo: memFree=31325752/32770624 swapFree=67108860/67108860
[pid=23526] ppid=23523 vsize=14325340 memory=51000 CPUtime=0.48 cores=0-7
/proc/23526/stat : 23526 (java) S 23523 23526 23308 0 -1 1077944320 10507 0 0 0 45 3 0 0 20 0 20 0 119923286 14669148160 12750 33554432000 4194304 4196468 140737327157072 140737327139616 140053998411511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
/proc/23526/statm: 3581335 12750 3715 1 0 3569050 0
[pid=23526/tid=23528] ppid=23523 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/23526/task/23528/stat : 23528 (java) R 23523 23526 23308 0 -1 4202560 7593 0 0 0 27 2 0 0 20 0 20 0 119923286 14669148160 12750 33554432000 4194304 4196468 140737327157072 140054002635920 140053982455141 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23529] ppid=23523 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23529/stat : 23529 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053928499600 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23530] ppid=23523 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23530/stat : 23530 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053927446800 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23531] ppid=23523 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23531/stat : 23531 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053926394512 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23532] ppid=23523 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23532/stat : 23532 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053925341712 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23533] ppid=23523 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/23526/task/23533/stat : 23533 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053924289424 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23534] ppid=23523 vsize=14325340 memory=140224105640879 CPUtime=0 cores=0-7
/proc/23526/task/23534/stat : 23534 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053923236624 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23535] ppid=23523 vsize=14325340 memory=140224105643184 CPUtime=0 cores=0-7
/proc/23526/task/23535/stat : 23535 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053922184336 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23536] ppid=23523 vsize=14325340 memory=140224105645488 CPUtime=0 cores=0-7
/proc/23526/task/23536/stat : 23536 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053921131536 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23537] ppid=23523 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23537/stat : 23537 (java) S 23523 23526 23308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 119923288 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053455636592 140053998422658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23538] ppid=23523 vsize=14325340 memory=280448211297936 CPUtime=0 cores=0-7
/proc/23526/task/23538/stat : 23538 (java) S 23523 23526 23308 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119923289 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053454582560 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23539] ppid=23523 vsize=14325340 memory=280448211304848 CPUtime=0 cores=0-7
/proc/23526/task/23539/stat : 23539 (java) S 23523 23526 23308 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119923289 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053453530224 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23540] ppid=23523 vsize=14325340 memory=280448211246128 CPUtime=0 cores=0-7
/proc/23526/task/23540/stat : 23540 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923291 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053452478544 140053998430107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23541] ppid=23523 vsize=14325340 memory=280448211318672 CPUtime=0.03 cores=0-7
/proc/23526/task/23541/stat : 23541 (java) S 23523 23526 23308 0 -1 1077944384 723 0 0 0 3 0 0 0 20 0 20 0 119923291 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053451426416 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23542] ppid=23523 vsize=14325340 memory=280448211325584 CPUtime=0.03 cores=0-7
/proc/23526/task/23542/stat : 23542 (java) S 23523 23526 23308 0 -1 1077944384 246 0 0 0 3 0 0 0 20 0 20 0 119923291 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053450373616 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23543] ppid=23523 vsize=14325340 memory=280448211323280 CPUtime=0.02 cores=0-7
/proc/23526/task/23543/stat : 23543 (java) S 23523 23526 23308 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 20 0 119923291 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053449321328 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23544] ppid=23523 vsize=14325340 memory=280448211339888 CPUtime=0.07 cores=0-7
/proc/23526/task/23544/stat : 23544 (java) S 23523 23526 23308 0 -1 1077944384 409 0 0 0 7 0 0 0 20 0 20 0 119923291 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053313481456 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23545] ppid=23523 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23545/stat : 23545 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923291 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053312428384 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23546] ppid=23523 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/23526/task/23546/stat : 23546 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923292 14669148160 12750 33554432000 4194304 4196468 140737327157072 140053311375664 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 51000 KiB

[startup+0.700785 s]
/proc/loadavg: 8.39 8.79 8.81 4/199 23546
/proc/meminfo: memFree=31296188/32770624 swapFree=67108860/67108860
[pid=23526] ppid=23523 vsize=14327388 memory=116904 CPUtime=1.67 cores=0-7
/proc/23526/stat : 23526 (java) S 23523 23526 23308 0 -1 1077944320 14194 0 0 0 163 4 0 0 20 0 20 0 119923286 14671245312 29226 33554432000 4194304 4196468 140737327157072 140737327139616 140053998411511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
/proc/23526/statm: 3581847 29226 3772 1 0 3569562 0
[pid=23526/tid=23528] ppid=23523 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/23526/task/23528/stat : 23528 (java) R 23523 23526 23308 0 -1 4202560 8351 0 0 0 65 2 0 0 20 0 20 0 119923286 14671245312 29226 33554432000 4194304 4196468 140737327157072 140054002646704 140053601692864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23529] ppid=23523 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23529/stat : 23529 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053928499600 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23530] ppid=23523 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23530/stat : 23530 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053927446800 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23531] ppid=23523 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/23526/task/23531/stat : 23531 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053926394512 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23532] ppid=23523 vsize=14327388 memory=1008 CPUtime=0 cores=0-7
/proc/23526/task/23532/stat : 23532 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053925341712 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23533] ppid=23523 vsize=14327388 memory=4612 CPUtime=0 cores=0-7
/proc/23526/task/23533/stat : 23533 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053924289424 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23534] ppid=23523 vsize=14327388 memory=1428 CPUtime=0 cores=0-7
/proc/23526/task/23534/stat : 23534 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053923236624 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23535] ppid=23523 vsize=14327388 memory=1204 CPUtime=0 cores=0-7
/proc/23526/task/23535/stat : 23535 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053922184336 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23536] ppid=23523 vsize=14327388 memory=15876 CPUtime=0 cores=0-7
/proc/23526/task/23536/stat : 23536 (java) S 23523 23526 23308 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119923287 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053921131536 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23537] ppid=23523 vsize=14327388 memory=21068 CPUtime=0 cores=0-7
/proc/23526/task/23537/stat : 23537 (java) S 23523 23526 23308 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 119923288 14671245312 29226 33554432000 4194304 4196468 140737327157072 140053455636592 140053998422658 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0

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

/proc/23526/task/23536/stat : 23536 (java) S 23523 23526 23308 0 -1 1077944384 199888 0 0 0 49004 86 0 0 20 0 40 0 119923287 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053921131536 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23537] ppid=23523 vsize=15668944 memory=1008 CPUtime=6.08 cores=0-7
/proc/23526/task/23537/stat : 23537 (java) S 23523 23526 23308 0 -1 1077944384 133510 0 0 0 553 55 0 0 20 0 40 0 119923288 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053455636592 140053998422658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23538] ppid=23523 vsize=15668944 memory=4612 CPUtime=0 cores=0-7
/proc/23526/task/23538/stat : 23538 (java) S 23523 23526 23308 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 40 0 119923289 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053454582624 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23539] ppid=23523 vsize=15668944 memory=1428 CPUtime=0 cores=0-7
/proc/23526/task/23539/stat : 23539 (java) S 23523 23526 23308 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 40 0 119923289 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053453530240 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23540] ppid=23523 vsize=15668944 memory=1204 CPUtime=0 cores=0-7
/proc/23526/task/23540/stat : 23540 (java) S 23523 23526 23308 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 119923291 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053452478544 140053998430107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23541] ppid=23523 vsize=15668944 memory=15876 CPUtime=2.48 cores=0-7
/proc/23526/task/23541/stat : 23541 (java) S 23523 23526 23308 0 -1 1077944384 16615 0 0 0 244 4 0 0 20 0 40 0 119923291 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053451426416 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23542] ppid=23523 vsize=15668944 memory=6791534058613427641 CPUtime=2.73 cores=0-7
/proc/23526/task/23542/stat : 23542 (java) S 23523 23526 23308 0 -1 1077944384 18420 0 0 0 271 2 0 0 20 0 40 0 119923291 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053450373616 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23543] ppid=23523 vsize=15668944 memory=2340 CPUtime=2.54 cores=0-7
/proc/23526/task/23543/stat : 23543 (java) S 23523 23526 23308 0 -1 1077944384 22065 0 0 0 251 3 0 0 20 0 40 0 119923291 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053449321328 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23544] ppid=23523 vsize=15668944 memory=2240 CPUtime=1.21 cores=0-7
/proc/23526/task/23544/stat : 23544 (java) S 23523 23526 23308 0 -1 1077944384 28303 0 0 0 116 5 0 0 20 0 40 0 119923291 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053313481456 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23545] ppid=23523 vsize=15668944 memory=4128 CPUtime=0 cores=0-7
/proc/23526/task/23545/stat : 23545 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 119923291 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053312428384 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23546] ppid=23523 vsize=15668944 memory=928 CPUtime=1.52 cores=0-7
/proc/23526/task/23546/stat : 23546 (java) S 23523 23526 23308 0 -1 1077944384 4927 0 0 0 96 56 0 0 20 0 40 0 119923292 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053311375664 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 48 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23547] ppid=23523 vsize=15668944 memory=1576 CPUtime=0.01 cores=0-7
/proc/23526/task/23547/stat : 23547 (java) S 23523 23526 23308 0 -1 1077944384 1792 0 0 0 1 0 0 0 20 0 40 0 119926015 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053301089184 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23548] ppid=23523 vsize=15668944 memory=2196 CPUtime=6.9 cores=0-7
/proc/23526/task/23548/stat : 23548 (java) S 23523 23526 23308 0 -1 1077944384 15952 0 0 0 291 399 0 0 20 0 40 0 119926027 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053297939488 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23549] ppid=23523 vsize=15668944 memory=6764 CPUtime=1976.71 cores=0-7
/proc/23526/task/23549/stat : 23549 (java) R 23523 23526 23308 0 -1 4202560 189650 0 0 0 197110 561 0 0 20 0 40 0 119926037 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053294787080 140053609425108 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23550] ppid=23523 vsize=15668944 memory=840 CPUtime=1981.74 cores=0-7
/proc/23526/task/23550/stat : 23550 (java) R 23523 23526 23308 0 -1 4202560 220921 0 0 0 197617 557 0 0 20 0 40 0 119926037 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053293731304 140053609425108 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23551] ppid=23523 vsize=15668944 memory=1692 CPUtime=0.14 cores=0-7
/proc/23526/task/23551/stat : 23551 (java) S 23523 23526 23308 0 -1 1077944384 380 0 0 0 14 0 0 0 20 0 40 0 119926038 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053292685072 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23552] ppid=23523 vsize=15668944 memory=912 CPUtime=1364.85 cores=0-7
/proc/23526/task/23552/stat : 23552 (java) S 23523 23526 23308 0 -1 1077944384 142527 0 0 0 136070 415 0 0 20 0 40 0 119926041 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053291632272 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23553] ppid=23523 vsize=15668944 memory=4164 CPUtime=1976.25 cores=0-7
/proc/23526/task/23553/stat : 23553 (java) R 23523 23526 23308 0 -1 4202560 215401 0 0 0 197074 551 0 0 20 0 40 0 119926041 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053290572656 140053608035599 0 4 0 16800975 0 0 0 -1 1 0 0 21 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23554] ppid=23523 vsize=15668944 memory=5668 CPUtime=0.11 cores=0-7
/proc/23526/task/23554/stat : 23554 (java) S 23523 23526 23308 0 -1 1077944384 932 0 0 0 11 0 0 0 20 0 40 0 119926042 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053289526160 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23555] ppid=23523 vsize=15668944 memory=1008 CPUtime=1657.93 cores=0-7
/proc/23526/task/23555/stat : 23555 (java) R 23523 23526 23308 0 -1 4202560 122545 0 0 0 165332 461 0 0 20 0 40 0 119926042 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053288471232 140053609425108 0 4 0 16800975 0 0 0 -1 2 0 0 18 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23556] ppid=23523 vsize=15668944 memory=4612 CPUtime=1979.14 cores=0-7
/proc/23526/task/23556/stat : 23556 (java) R 23523 23526 23308 0 -1 4202560 186971 0 0 0 197380 534 0 0 20 0 40 0 119926042 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053287418544 140053609425072 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23557] ppid=23523 vsize=15668944 memory=4750968 CPUtime=1978.91 cores=0-7
/proc/23526/task/23557/stat : 23557 (java) R 23523 23526 23308 0 -1 4202560 184648 0 0 0 197330 561 0 0 20 0 40 0 119926042 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053286362728 140053608260320 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23558] ppid=23523 vsize=15668944 memory=1204 CPUtime=0.01 cores=0-7
/proc/23526/task/23558/stat : 23558 (java) S 23523 23526 23308 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 40 0 119926042 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053285315984 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23559] ppid=23523 vsize=15668944 memory=15876 CPUtime=1978.13 cores=0-7
/proc/23526/task/23559/stat : 23559 (java) R 23523 23526 23308 0 -1 4202560 280578 0 0 0 197176 637 0 0 20 0 40 0 119926042 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053284257640 140053608114297 0 4 0 16800975 0 0 0 -1 0 0 0 14 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23560] ppid=23523 vsize=15668944 memory=21088 CPUtime=933.92 cores=0-7
/proc/23526/task/23560/stat : 23560 (java) R 23523 23526 23308 0 -1 4202560 117405 0 0 0 93134 258 0 0 20 0 40 0 119926042 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053283204840 140053608114232 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23561] ppid=23523 vsize=15668944 memory=4048 CPUtime=0 cores=0-7
/proc/23526/task/23561/stat : 23561 (java) S 23523 23526 23308 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 40 0 119937814 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053280023568 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23562] ppid=23523 vsize=15668944 memory=18488 CPUtime=0 cores=0-7
/proc/23526/task/23562/stat : 23562 (java) S 23523 23526 23308 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 40 0 119937815 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053278970768 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23563] ppid=23523 vsize=15668944 memory=1796 CPUtime=0 cores=0-7
/proc/23526/task/23563/stat : 23563 (java) S 23523 23526 23308 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 40 0 119937817 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053277918480 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23564] ppid=23523 vsize=15668944 memory=1236 CPUtime=0 cores=0-7
/proc/23526/task/23564/stat : 23564 (java) S 23523 23526 23308 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 40 0 119937819 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053276865680 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23565] ppid=23523 vsize=15668944 memory=640 CPUtime=0 cores=0-7
/proc/23526/task/23565/stat : 23565 (java) S 23523 23526 23308 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 40 0 119937819 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053275813392 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23566] ppid=23523 vsize=15668944 memory=956 CPUtime=0 cores=0-7
/proc/23526/task/23566/stat : 23566 (java) S 23523 23526 23308 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 40 0 119937820 16044998656 1187742 33554432000 4194304 4196468 140737327157072 140053274760592 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
Current children cumulated CPU time: 19808.3 s
Current children cumulated vsize: 15668944 KiB
Current children cumulated memory: 4750968 KiB

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

[startup+2520.16 s]
# the end of solver process 23526 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19754.9 s, system=54.3467 s

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

[startup+2520.13 s]
/proc/loadavg: 8.71 8.72 8.72 9/219 23600
/proc/meminfo: memFree=26614752/32770624 swapFree=67108860/67108860
[pid=23526] ppid=23523 vsize=15802072 memory=4751132 CPUtime=19809.2 cores=0-7
/proc/23526/stat : 23526 (java) S 23523 23526 23308 0 -1 1077944320 3557760 0 0 0 1975485 5431 0 0 20 0 39 0 119923286 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140737327139616 140053998411511 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
/proc/23526/statm: 3950518 1187783 3865 1 0 3937712 0
[pid=23526/tid=23528] ppid=23523 vsize=15802072 memory=4750968 CPUtime=26.77 cores=0-7
/proc/23526/task/23528/stat : 23528 (java) S 23523 23526 23308 0 -1 1077944384 21124 0 0 0 2618 59 0 0 20 0 39 0 119923286 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140054002649216 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23529] ppid=23523 vsize=15802072 memory=4750968 CPUtime=491.3 cores=0-7
/proc/23526/task/23529/stat : 23529 (java) S 23523 23526 23308 0 -1 1077944384 215620 0 0 0 49032 98 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053928499600 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23530] ppid=23523 vsize=15802072 memory=4750968 CPUtime=491.21 cores=0-7
/proc/23526/task/23530/stat : 23530 (java) S 23523 23526 23308 0 -1 1077944384 189464 0 0 0 49026 95 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053927446800 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23531] ppid=23523 vsize=15802072 memory=4750860 CPUtime=491.63 cores=0-7
/proc/23526/task/23531/stat : 23531 (java) S 23523 23526 23308 0 -1 1077944384 207333 0 0 0 49071 92 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053926394512 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23532] ppid=23523 vsize=15802072 memory=4750968 CPUtime=490.92 cores=0-7
/proc/23526/task/23532/stat : 23532 (java) S 23523 23526 23308 0 -1 1077944384 207136 0 0 0 48992 100 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053925341712 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 37 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23533] ppid=23523 vsize=15802072 memory=4750608 CPUtime=490.98 cores=0-7
/proc/23526/task/23533/stat : 23533 (java) S 23523 23526 23308 0 -1 1077944384 207576 0 0 0 49003 95 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053924289424 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23534] ppid=23523 vsize=15802072 memory=4750968 CPUtime=491.11 cores=0-7
/proc/23526/task/23534/stat : 23534 (java) S 23523 23526 23308 0 -1 1077944384 191969 0 0 0 49013 98 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053923236624 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23535] ppid=23523 vsize=15802072 memory=4750960 CPUtime=491.82 cores=0-7
/proc/23526/task/23535/stat : 23535 (java) S 23523 23526 23308 0 -1 1077944384 207913 0 0 0 49092 90 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053922184336 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23536] ppid=23523 vsize=15802072 memory=8572 CPUtime=490.9 cores=0-7
/proc/23526/task/23536/stat : 23536 (java) S 23523 23526 23308 0 -1 1077944384 199888 0 0 0 49004 86 0 0 20 0 39 0 119923287 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053921131536 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23537] ppid=23523 vsize=15802072 memory=1228 CPUtime=6.08 cores=0-7
/proc/23526/task/23537/stat : 23537 (java) R 23523 23526 23308 0 -1 4202560 133510 0 0 0 553 55 0 0 20 0 39 0 119923288 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053455636592 140053991128663 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23538] ppid=23523 vsize=15802072 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23526/task/23538/stat : 23538 (java) S 23523 23526 23308 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 39 0 119923289 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053454582624 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23539] ppid=23523 vsize=15802072 memory=164783 CPUtime=0 cores=0-7
/proc/23526/task/23539/stat : 23539 (java) S 23523 23526 23308 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 39 0 119923289 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053453530240 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23541] ppid=23523 vsize=15802072 memory=6944656592455360604 CPUtime=2.48 cores=0-7
/proc/23526/task/23541/stat : 23541 (java) S 23523 23526 23308 0 -1 1077944384 16615 0 0 0 244 4 0 0 20 0 39 0 119923291 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053451426416 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 48 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23542] ppid=23523 vsize=15802072 memory=0 CPUtime=2.73 cores=0-7
/proc/23526/task/23542/stat : 23542 (java) S 23523 23526 23308 0 -1 1077944384 18420 0 0 0 271 2 0 0 20 0 39 0 119923291 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053450373616 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23543] ppid=23523 vsize=15802072 memory=65 CPUtime=2.54 cores=0-7
/proc/23526/task/23543/stat : 23543 (java) S 23523 23526 23308 0 -1 1077944384 22065 0 0 0 251 3 0 0 20 0 39 0 119923291 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053449321328 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23544] ppid=23523 vsize=15802072 memory=2372 CPUtime=1.21 cores=0-7
/proc/23526/task/23544/stat : 23544 (java) S 23523 23526 23308 0 -1 1077944384 29079 0 0 0 116 5 0 0 20 0 39 0 119923291 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053313481456 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23545] ppid=23523 vsize=15802072 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23526/task/23545/stat : 23545 (java) S 23523 23526 23308 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 39 0 119923291 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053312428384 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23547] ppid=23523 vsize=15802072 memory=4750968 CPUtime=0.01 cores=0-7
/proc/23526/task/23547/stat : 23547 (java) S 23523 23526 23308 0 -1 1077944384 1792 0 0 0 1 0 0 0 20 0 39 0 119926015 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053301089184 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23548] ppid=23523 vsize=15802072 memory=1296 CPUtime=6.9 cores=0-7
/proc/23526/task/23548/stat : 23548 (java) S 23523 23526 23308 0 -1 1077944384 15952 0 0 0 291 399 0 0 20 0 39 0 119926027 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053297939488 140053998422658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23549] ppid=23523 vsize=15802072 memory=2416 CPUtime=1976.82 cores=0-7
/proc/23526/task/23549/stat : 23549 (java) S 23523 23526 23308 0 -1 1077944384 189651 0 0 0 197121 561 0 0 20 0 39 0 119926037 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053294783968 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23550] ppid=23523 vsize=15802072 memory=1728 CPUtime=1981.85 cores=0-7
/proc/23526/task/23550/stat : 23550 (java) S 23523 23526 23308 0 -1 1077944384 220921 0 0 0 197628 557 0 0 20 0 39 0 119926037 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053293731168 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 26 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23551] ppid=23523 vsize=15802072 memory=4750608 CPUtime=0.14 cores=0-7
/proc/23526/task/23551/stat : 23551 (java) S 23523 23526 23308 0 -1 1077944384 380 0 0 0 14 0 0 0 20 0 39 0 119926038 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053292685072 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23552] ppid=23523 vsize=15802072 memory=4750608 CPUtime=1364.85 cores=0-7
/proc/23526/task/23552/stat : 23552 (java) S 23523 23526 23308 0 -1 1077944384 142527 0 0 0 136070 415 0 0 20 0 39 0 119926041 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053291632272 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23553] ppid=23523 vsize=15802072 memory=4638778398332764256 CPUtime=1976.35 cores=0-7
/proc/23526/task/23553/stat : 23553 (java) S 23523 23526 23308 0 -1 1077944384 215401 0 0 0 197084 551 0 0 20 0 39 0 119926041 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053290572768 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23554] ppid=23523 vsize=15802072 memory=4140 CPUtime=0.11 cores=0-7
/proc/23526/task/23554/stat : 23554 (java) S 23523 23526 23308 0 -1 1077944384 932 0 0 0 11 0 0 0 20 0 39 0 119926042 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053289526160 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23555] ppid=23523 vsize=15802072 memory=33344 CPUtime=1658.04 cores=0-7
/proc/23526/task/23555/stat : 23555 (java) S 23523 23526 23308 0 -1 1077944384 122545 0 0 0 165343 461 0 0 20 0 39 0 119926042 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053288467680 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23556] ppid=23523 vsize=15802072 memory=1296 CPUtime=1979.26 cores=0-7
/proc/23526/task/23556/stat : 23556 (java) S 23523 23526 23308 0 -1 1077944384 186971 0 0 0 197392 534 0 0 20 0 39 0 119926042 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053287414880 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23557] ppid=23523 vsize=15802072 memory=0 CPUtime=1979.02 cores=0-7
/proc/23526/task/23557/stat : 23557 (java) R 23523 23526 23308 0 -1 4202560 184648 0 0 0 197341 561 0 0 20 0 39 0 119926042 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053286362728 140053608260295 0 4 0 16800975 0 0 0 -1 7 0 0 29 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23558] ppid=23523 vsize=15802072 memory=0 CPUtime=0.01 cores=0-7
/proc/23526/task/23558/stat : 23558 (java) S 23523 23526 23308 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 39 0 119926042 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053285315984 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23559] ppid=23523 vsize=15802072 memory=0 CPUtime=1978.24 cores=0-7
/proc/23526/task/23559/stat : 23559 (java) S 23523 23526 23308 0 -1 1077944384 280579 0 0 0 197187 637 0 0 20 0 39 0 119926042 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053284256896 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23560] ppid=23523 vsize=15802072 memory=4750968 CPUtime=934.03 cores=0-7
/proc/23526/task/23560/stat : 23560 (java) S 23523 23526 23308 0 -1 1077944384 117405 0 0 0 93145 258 0 0 20 0 39 0 119926042 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053283204704 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23561] ppid=23523 vsize=15802072 memory=4750968 CPUtime=0 cores=0-7
/proc/23526/task/23561/stat : 23561 (java) S 23523 23526 23308 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 39 0 119937814 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053280023568 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23562] ppid=23523 vsize=15802072 memory=4750608 CPUtime=0 cores=0-7
/proc/23526/task/23562/stat : 23562 (java) S 23523 23526 23308 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 39 0 119937815 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053278970768 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23563] ppid=23523 vsize=15802072 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/23526/task/23563/stat : 23563 (java) S 23523 23526 23308 0 -1 1077944384 574 0 0 0 0 0 0 0 20 0 39 0 119937817 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053277918480 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23564] ppid=23523 vsize=15802072 memory=4750608 CPUtime=0 cores=0-7
/proc/23526/task/23564/stat : 23564 (java) S 23523 23526 23308 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 39 0 119937819 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053276865680 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23565] ppid=23523 vsize=15802072 memory=4750608 CPUtime=0 cores=0-7
/proc/23526/task/23565/stat : 23565 (java) S 23523 23526 23308 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 39 0 119937819 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053275813392 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
[pid=23526/tid=23566] ppid=23523 vsize=15802072 memory=4140 CPUtime=0 cores=0-7
/proc/23526/task/23566/stat : 23566 (java) S 23523 23526 23308 0 -1 1077944384 729 0 0 0 0 0 0 0 20 0 39 0 119937820 16181321728 1187783 33554432000 4194304 4196468 140737327157072 140053274760592 140053998421717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15179776 140737327162465 140737327162651 140737327162651 140737327165391 0
Current children cumulated CPU time: 19809.2 s
Current children cumulated vsize: 15802072 KiB
Current children cumulated memory: 4751132 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19809.2
CPU user time (s): 19754.9
CPU system time (s): 54.3467
CPU usage (%): 786.03
Max. virtual memory (cumulated for all children) (KiB): 15802072
Max. memory (cumulated for all children) (KiB): 4754732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19754.9
system time used= 54.3467
maximum resident set size= 4754732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3557798
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 491862
involuntary context switches= 378127


# summary of solver processes directly reported to runsolver:
#   pid: 23526
#   total CPU time (s): 19809.2
#   total CPU user time (s): 19754.9
#   total CPU system time (s): 54.3467

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.3507 second user time and 41.0479 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	2400.1101
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 4275801

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