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)	1064	19786.199	2520.1499

0.30/0.25	c version: 2017-07-26
0.30/0.26	c seed: 740910627
0.30/0.26	c timeout: 20160
0.30/0.26	c memlimit: 11000
0.30/0.26	c nbcore: 8
0.30/0.28	c Parsing instance...
5.87/1.70	c Parsing done, starting search...
1206.09/178.47	o 1080
2466.14/337.89	o 1079
3629.16/484.38	o 1078
4821.30/634.89	o 1077
5992.06/782.31	o 1076
7131.78/926.01	o 1075
8292.92/1072.25	o 1074
9447.96/1217.91	o 1073
10570.19/1359.23	o 1072
11676.28/1498.62	o 1071
12772.73/1636.78	o 1070
13870.96/1775.04	o 1069
14956.45/1911.79	o 1068
16001.39/2043.33	o 1067
17014.26/2170.92	o 1066
18048.12/2301.24	o 1065
19042.08/2426.43	o 1064
19785.22/2520.10	s SATISFIABLE
19785.22/2520.12	v <instantiation>
19785.22/2520.12	v 	<list>
19785.22/2520.12	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[0][46] 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[1][46] 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[2][46] 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[3][46] 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[4][46] 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[5][46] 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[6][46] 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[7][46] 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[8][46] 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[9][46] 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[10][46] 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[11][46] 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[12][46] 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[13][46] 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[14][46] 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[15][46] 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[16][46] 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[17][46] 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[18][46] 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[19][46] 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[20][46] 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[21][46] 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[22][46] 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[23][46] 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[24][46] 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[25][46] 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[26][46] 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[27][46] 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[28][46] 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[29][46] 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[30][46] 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[31][46] 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[32][46] 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[33][46] 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[34][46] 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[35][46] 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[36][46] 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[37][46] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[42][43] x[42][44] x[42][45] x[42][46] x[43][44] x[43][45] x[43][46] x[44][45] x[44][46] x[45][46]
19785.22/2520.12	v 	</list>
19785.22/2520.12	v 	<values>
19785.22/2520.12	v 		1058 1064 1064 1064 1058 1061 1058 1058 1058 1058 1058 1058 1062 1058 1058 1064 1064 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1058 1064 1059 1060 1061 1062 1063 1063 1058 1059 1060 1064 1061 1064 1064 1064 1064 1064 1064 1062 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1063 1059 1060 1064 1061 1064 1064 1064 1064 1064 1064 1062 1064 1064 1063 1063 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1063 1064 1064 1064 1064 1064 1063 1060 1064 1061 1064 1064 1064 1064 1064 1064 1062 1064 1064 1063 1063 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1063 1064 1064 1064 1064 1064 1063 1064 1061 1064 1064 1064 1064 1064 1064 1062 1064 1064 1063 1063 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1063 1064 1064 1064 1064 1064 1063 1064 1026 1027 1028 1029 1030 1031 1064 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1064 1064 1064 1064 1064 1064 1062 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1063 1027 1028 1029 1030 1031 1064 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1028 1029 1030 1031 1064 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1029 1030 1031 1064 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1030 1031 1064 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1031 1064 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1064 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1064 1063 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1056 1057 1058 1059 1060 1061 1062 1063 1064 1057 1058 1059 1060 1061 1062 1063 1064 1058 1059 1060 1061 1062 1063 1064 1059 1060 1061 1062 1063 1064 1060 1061 1062 1063 1064 1061 1062 1063 1064 1062 1063 1064 1063 1064 1064 
19785.22/2520.12	v 	</values>
19785.22/2520.12	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 (13821 MiB free)
  memory of node 1: 16384 MiB (14153 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275802-1502868759/watcher-4275802-1502868759 -o /tmp/evaluation-result-4275802-1502868759/solver-4275802-1502868759 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502867900-22138 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 740910627 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275802-1502868759.xml 

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

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


[startup+0.100125 s]*
/proc/loadavg: 8.01 8.60 8.67 2/198 22175
/proc/meminfo: memFree=28628188/32770624 swapFree=67108860/67108860
[pid=22155] ppid=22152 vsize=14325320 memory=34160 CPUtime=0.12 cores=0-7
/proc/22155/stat : 22155 (java) S 22152 22155 22111 0 -1 1077944320 8438 0 0 0 10 2 0 0 20 0 20 0 119956921 14669127680 8540 33554432000 4194304 4196468 140732004410336 140732004392880 139669938818807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
/proc/22155/statm: 3581330 8540 3407 1 0 3569050 0
[pid=22155/tid=22157] ppid=22152 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/22155/task/22157/stat : 22157 (java) R 22152 22155 22111 0 -1 4202560 6367 0 0 0 8 1 0 0 20 0 20 0 119956922 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669943025440 139669938840733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22158] ppid=22152 vsize=14325320 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/22155/task/22158/stat : 22158 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669534665488 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22159] ppid=22152 vsize=14325320 memory=140632610764416 CPUtime=0 cores=0-7
/proc/22155/task/22159/stat : 22159 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669533612944 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22160] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22160/stat : 22160 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669532560400 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22161] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22161/stat : 22161 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669531507856 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22162] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22162/stat : 22162 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669530454288 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22163] ppid=22152 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/22155/task/22163/stat : 22163 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669529401744 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22164] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22164/stat : 22164 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669528349200 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22165] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22165/stat : 22165 (java) S 22152 22155 22111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669527296656 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22166] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22166/stat : 22166 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956924 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669396703728 139669938829954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22167] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22167/stat : 22167 (java) S 22152 22155 22111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119956924 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669395649952 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22168] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22168/stat : 22168 (java) S 22152 22155 22111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119956925 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669394597360 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22169] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22169/stat : 22169 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669393545936 139669938837403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22170] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22170/stat : 22170 (java) S 22152 22155 22111 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669392492528 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22171] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22171/stat : 22171 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669391439984 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22172] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22172/stat : 22172 (java) S 22152 22155 22111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669390387440 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22173] ppid=22152 vsize=14325320 memory=0 CPUtime=0.02 cores=0-7
/proc/22155/task/22173/stat : 22173 (java) R 22152 22155 22111 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 20 0 119956927 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669389334896 139669916042960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22174] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22174/stat : 22174 (java) S 22152 22155 22111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669388282592 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22175] ppid=22152 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/22155/task/22175/stat : 22175 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956928 14669127680 8540 33554432000 4194304 4196468 140732004410336 139669387230128 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34160 KiB

[startup+0.210686 s]*
/proc/loadavg: 8.01 8.60 8.67 3/198 22175
/proc/meminfo: memFree=28617688/32770624 swapFree=67108860/67108860
[pid=22155] ppid=22152 vsize=14325320 memory=43304 CPUtime=0.3 cores=0-7
/proc/22155/stat : 22155 (java) S 22152 22155 22111 0 -1 1077944320 9458 0 0 0 27 3 0 0 20 0 20 0 119956921 14669127680 10826 33554432000 4194304 4196468 140732004410336 140732004392880 139669938818807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
/proc/22155/statm: 3581330 10826 3615 1 0 3569050 0
[pid=22155/tid=22157] ppid=22152 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/22155/task/22157/stat : 22157 (java) R 22152 22155 22111 0 -1 4202560 7002 0 0 0 17 2 0 0 20 0 20 0 119956922 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669943045488 139669922899324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22158] ppid=22152 vsize=14325320 memory=13939 CPUtime=0 cores=0-7
/proc/22155/task/22158/stat : 22158 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669534665488 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22159] ppid=22152 vsize=14325320 memory=140632610786068 CPUtime=0 cores=0-7
/proc/22155/task/22159/stat : 22159 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669533612944 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22160] ppid=22152 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/22155/task/22160/stat : 22160 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669532560400 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22161] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22161/stat : 22161 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669531507856 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22162] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22162/stat : 22162 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669530454288 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22163] ppid=22152 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/22155/task/22163/stat : 22163 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669529401744 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22164] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22164/stat : 22164 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669528349200 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22165] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22165/stat : 22165 (java) S 22152 22155 22111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 119956923 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669527296656 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22166] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22166/stat : 22166 (java) S 22152 22155 22111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 119956924 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669396703728 139669938829954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22167] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22167/stat : 22167 (java) S 22152 22155 22111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119956924 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669395649952 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22168] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22168/stat : 22168 (java) S 22152 22155 22111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119956925 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669394597360 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22169] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22169/stat : 22169 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669393545936 139669938837403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22170] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22170/stat : 22170 (java) S 22152 22155 22111 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669392492528 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22171] ppid=22152 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/22155/task/22171/stat : 22171 (java) S 22152 22155 22111 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 119956927 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669391439984 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22172] ppid=22152 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/22155/task/22172/stat : 22172 (java) S 22152 22155 22111 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 20 0 119956927 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669390387440 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22173] ppid=22152 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/22155/task/22173/stat : 22173 (java) S 22152 22155 22111 0 -1 1077944384 413 0 0 0 5 0 0 0 20 0 20 0 119956927 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669389334896 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22174] ppid=22152 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22174/stat : 22174 (java) S 22152 22155 22111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119956927 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669388282592 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22175] ppid=22152 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/22155/task/22175/stat : 22175 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956928 14669127680 10826 33554432000 4194304 4196468 140732004410336 139669387230128 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43304 KiB

[startup+0.31043 s]*
/proc/loadavg: 8.01 8.60 8.67 2/198 22175
/proc/meminfo: memFree=28586768/32770624 swapFree=67108860/67108860
[pid=22155] ppid=22152 vsize=14325340 memory=50700 CPUtime=0.48 cores=0-7
/proc/22155/stat : 22155 (java) S 22152 22155 22111 0 -1 1077944320 10450 0 0 0 45 3 0 0 20 0 20 0 119956921 14669148160 12675 33554432000 4194304 4196468 140732004410336 140732004392880 139669938818807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
/proc/22155/statm: 3581335 12675 3706 1 0 3569050 0
[pid=22155/tid=22157] ppid=22152 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22155/task/22157/stat : 22157 (java) R 22152 22155 22111 0 -1 4202560 7580 0 0 0 27 2 0 0 20 0 20 0 119956922 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669943040656 139669922899324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22158] ppid=22152 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22158/stat : 22158 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669534665488 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22159] ppid=22152 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22159/stat : 22159 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669533612944 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22160] ppid=22152 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22160/stat : 22160 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669532560400 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22161] ppid=22152 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22161/stat : 22161 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669531507856 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22162] ppid=22152 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/22155/task/22162/stat : 22162 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669530454288 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22163] ppid=22152 vsize=14325340 memory=140632463078319 CPUtime=0 cores=0-7
/proc/22155/task/22163/stat : 22163 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669529401744 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22164] ppid=22152 vsize=14325340 memory=140632463080624 CPUtime=0 cores=0-7
/proc/22155/task/22164/stat : 22164 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669528349200 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22165] ppid=22152 vsize=14325340 memory=140632463082928 CPUtime=0 cores=0-7
/proc/22155/task/22165/stat : 22165 (java) S 22152 22155 22111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 119956923 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669527296656 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22166] ppid=22152 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22166/stat : 22166 (java) S 22152 22155 22111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 119956924 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669396703728 139669938829954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22167] ppid=22152 vsize=14325340 memory=281264926172816 CPUtime=0 cores=0-7
/proc/22155/task/22167/stat : 22167 (java) S 22152 22155 22111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 119956924 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669395649952 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22168] ppid=22152 vsize=14325340 memory=281264926179728 CPUtime=0 cores=0-7
/proc/22155/task/22168/stat : 22168 (java) S 22152 22155 22111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 119956925 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669394597360 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22169] ppid=22152 vsize=14325340 memory=281264926121008 CPUtime=0 cores=0-7
/proc/22155/task/22169/stat : 22169 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956927 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669393545936 139669938837403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22170] ppid=22152 vsize=14325340 memory=281264926193552 CPUtime=0.03 cores=0-7
/proc/22155/task/22170/stat : 22170 (java) S 22152 22155 22111 0 -1 1077944384 526 0 0 0 3 0 0 0 20 0 20 0 119956927 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669392492528 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22171] ppid=22152 vsize=14325340 memory=281264926200464 CPUtime=0.02 cores=0-7
/proc/22155/task/22171/stat : 22171 (java) S 22152 22155 22111 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 20 0 119956927 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669391439984 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22172] ppid=22152 vsize=14325340 memory=281264926198160 CPUtime=0.02 cores=0-7
/proc/22155/task/22172/stat : 22172 (java) S 22152 22155 22111 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 119956927 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669390387440 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22173] ppid=22152 vsize=14325340 memory=281264926214768 CPUtime=0.08 cores=0-7
/proc/22155/task/22173/stat : 22173 (java) S 22152 22155 22111 0 -1 1077944384 434 0 0 0 8 0 0 0 20 0 20 0 119956927 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669389334896 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22174] ppid=22152 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22174/stat : 22174 (java) S 22152 22155 22111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 119956927 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669388282592 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22175] ppid=22152 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/22155/task/22175/stat : 22175 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956928 14669148160 12675 33554432000 4194304 4196468 140732004410336 139669387230128 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50700 KiB

[startup+0.710454 s]
/proc/loadavg: 8.01 8.60 8.67 5/198 22175
/proc/meminfo: memFree=28558408/32770624 swapFree=67108860/67108860
[pid=22155] ppid=22152 vsize=14327388 memory=123276 CPUtime=1.73 cores=0-7
/proc/22155/stat : 22155 (java) S 22152 22155 22111 0 -1 1077944320 14792 0 0 0 166 7 0 0 20 0 20 0 119956921 14671245312 30819 33554432000 4194304 4196468 140732004410336 140732004392880 139669938818807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
/proc/22155/statm: 3581847 30819 3772 1 0 3569562 0
[pid=22155/tid=22157] ppid=22152 vsize=14327388 memory=304556144767271267 CPUtime=0.68 cores=0-7
/proc/22155/task/22157/stat : 22157 (java) R 22152 22155 22111 0 -1 4202560 8374 0 0 0 64 4 0 0 20 0 20 0 119956922 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669943055008 139669920381409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22158] ppid=22152 vsize=14327388 memory=288230376152289609 CPUtime=0 cores=0-7
/proc/22155/task/22158/stat : 22158 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669534665488 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22159] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22159/stat : 22159 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669533612944 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22160] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22160/stat : 22160 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669532560400 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22161] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22161/stat : 22161 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669531507856 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22162] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22162/stat : 22162 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669530454288 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22163] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22163/stat : 22163 (java) S 22152 22155 22111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669529401744 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22164] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22164/stat : 22164 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669528349200 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22165] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22165/stat : 22165 (java) S 22152 22155 22111 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 119956923 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669527296656 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22166] ppid=22152 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22166/stat : 22166 (java) S 22152 22155 22111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 119956924 14671245312 30819 33554432000 4194304 4196468 140732004410336 139669396703728 139669938829954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0

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

[pid=22155/tid=22173] ppid=22152 vsize=15668944 memory=0 CPUtime=1.19 cores=0-7
/proc/22155/task/22173/stat : 22173 (java) S 22152 22155 22111 0 -1 1077944384 27733 0 0 0 114 5 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669389334896 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22174] ppid=22152 vsize=15668944 memory=3137 CPUtime=0 cores=0-7
/proc/22155/task/22174/stat : 22174 (java) S 22152 22155 22111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669388282592 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22175] ppid=22152 vsize=15668944 memory=0 CPUtime=1.48 cores=0-7
/proc/22155/task/22175/stat : 22175 (java) S 22152 22155 22111 0 -1 1077944384 5212 0 0 0 81 67 0 0 20 0 40 0 119956928 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669387230128 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22176] ppid=22152 vsize=15668944 memory=298 CPUtime=0.01 cores=0-7
/proc/22155/task/22176/stat : 22176 (java) S 22152 22155 22111 0 -1 1077944384 1362 0 0 0 1 0 0 0 20 0 40 0 119959964 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669175207200 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22177] ppid=22152 vsize=15668944 memory=616 CPUtime=6.55 cores=0-7
/proc/22155/task/22177/stat : 22177 (java) S 22152 22155 22111 0 -1 1077944384 14936 0 0 0 253 402 0 0 20 0 40 0 119959976 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669172057760 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22178] ppid=22152 vsize=15668944 memory=60 CPUtime=1952.4 cores=0-7
/proc/22155/task/22178/stat : 22178 (java) R 22152 22155 22111 0 -1 4202560 145056 0 0 0 194758 482 0 0 20 0 40 0 119959986 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669168901160 139669545611752 0 4 0 16800975 0 0 0 -1 5 0 0 27 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22179] ppid=22152 vsize=15668944 memory=0 CPUtime=1955.47 cores=0-7
/proc/22155/task/22179/stat : 22179 (java) R 22152 22155 22111 0 -1 4202560 194514 0 0 0 195036 511 0 0 20 0 40 0 119959987 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669167848480 139669544209760 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22180] ppid=22152 vsize=15668944 memory=176 CPUtime=1949.5 cores=0-7
/proc/22155/task/22180/stat : 22180 (java) R 22152 22155 22111 0 -1 4202560 146237 0 0 0 194437 513 0 0 20 0 40 0 119959987 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669166796072 139669537524256 0 4 0 16800975 0 0 0 -1 0 0 0 25 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22181] ppid=22152 vsize=15668944 memory=79 CPUtime=1955.74 cores=0-7
/proc/22155/task/22181/stat : 22181 (java) R 22152 22155 22111 0 -1 4202560 167303 0 0 0 195098 476 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669165743392 139669545611764 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22182] ppid=22152 vsize=15668944 memory=15423 CPUtime=1950.19 cores=0-7
/proc/22155/task/22182/stat : 22182 (java) R 22152 22155 22111 0 -1 4202560 177487 0 0 0 194547 472 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669164690984 139669545611764 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22183] ppid=22152 vsize=15668944 memory=1 CPUtime=1953.81 cores=0-7
/proc/22155/task/22183/stat : 22183 (java) R 22152 22155 22111 0 -1 4202560 160007 0 0 0 194904 477 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669163638304 139669538787033 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22184] ppid=22152 vsize=15668944 memory=0 CPUtime=0.12 cores=0-7
/proc/22155/task/22184/stat : 22184 (java) S 22152 22155 22111 0 -1 1077944384 665 0 0 0 12 0 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669162591888 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22185] ppid=22152 vsize=15668944 memory=0 CPUtime=0.13 cores=0-7
/proc/22155/task/22185/stat : 22185 (java) S 22152 22155 22111 0 -1 1077944384 522 0 0 0 13 0 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669161539344 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22186] ppid=22152 vsize=15668944 memory=9 CPUtime=1955.27 cores=0-7
/proc/22155/task/22186/stat : 22186 (java) R 22152 22155 22111 0 -1 4202560 211749 0 0 0 195028 499 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669160482480 139669539314389 0 4 0 16800975 0 0 0 -1 7 0 0 14 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22187] ppid=22152 vsize=15668944 memory=0 CPUtime=1951.91 cores=0-7
/proc/22155/task/22187/stat : 22187 (java) R 22152 22155 22111 0 -1 4202560 146901 0 0 0 194672 519 0 0 20 0 40 0 119959991 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669159427104 139669539314380 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22188] ppid=22152 vsize=15668944 memory=6676 CPUtime=0 cores=0-7
/proc/22155/task/22188/stat : 22188 (java) S 22152 22155 22111 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669158380688 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22189] ppid=22152 vsize=15668944 memory=1949214 CPUtime=0 cores=0-7
/proc/22155/task/22189/stat : 22189 (java) S 22152 22155 22111 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669157328144 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22190] ppid=22152 vsize=15668944 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22190/stat : 22190 (java) S 22152 22155 22111 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669156275600 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22191] ppid=22152 vsize=15668944 memory=42 CPUtime=0 cores=0-7
/proc/22155/task/22191/stat : 22191 (java) S 22152 22155 22111 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669155223056 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22192] ppid=22152 vsize=15668944 memory=-8701978741048485428 CPUtime=0 cores=0-7
/proc/22155/task/22192/stat : 22192 (java) S 22152 22155 22111 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669154170512 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22200] ppid=22152 vsize=15668944 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22200/stat : 22200 (java) S 22152 22155 22111 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 40 0 119974770 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669150983952 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22201] ppid=22152 vsize=15668944 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22201/stat : 22201 (java) S 22152 22155 22111 0 -1 1077944384 566 0 0 0 0 0 0 0 20 0 40 0 119974772 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669149930384 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22202] ppid=22152 vsize=15668944 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22202/stat : 22202 (java) S 22152 22155 22111 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 40 0 119974772 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669148877840 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
Current children cumulated CPU time: 19644.5 s
Current children cumulated vsize: 15668944 KiB
Current children cumulated memory: 4814948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 9.40 9.05 8.79 10/219 22238
/proc/meminfo: memFree=23835124/32770624 swapFree=67108860/67108860
[pid=22155] ppid=22152 vsize=15668944 memory=4814948 CPUtime=19785.2 cores=0-7
/proc/22155/stat : 22155 (java) S 22152 22155 22111 0 -1 1077944320 3109855 0 0 0 1973687 4835 0 0 20 0 40 0 119956921 16044998656 1203737 33554432000 4194304 4196468 140732004410336 140732004392880 139669938818807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
/proc/22155/statm: 3917236 1203737 3865 1 0 3904430 0
[pid=22155/tid=22157] ppid=22152 vsize=15668944 memory=4814948 CPUtime=30.28 cores=0-7
/proc/22155/task/22157/stat : 22157 (java) S 22152 22155 22111 0 -1 1077944384 22262 0 0 0 2969 59 0 0 20 0 40 0 119956922 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669943056512 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22158] ppid=22152 vsize=15668944 memory=4814948 CPUtime=499.11 cores=0-7
/proc/22155/task/22158/stat : 22158 (java) S 22152 22155 22111 0 -1 1077944384 187706 0 0 0 49819 92 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669534665488 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22159] ppid=22152 vsize=15668944 memory=4814948 CPUtime=498.99 cores=0-7
/proc/22155/task/22159/stat : 22159 (java) S 22152 22155 22111 0 -1 1077944384 176373 0 0 0 49809 90 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669533612944 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22160] ppid=22152 vsize=15668944 memory=4814948 CPUtime=499.69 cores=0-7
/proc/22155/task/22160/stat : 22160 (java) S 22152 22155 22111 0 -1 1077944384 184441 0 0 0 49883 86 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669532560400 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22161] ppid=22152 vsize=15668944 memory=4814948 CPUtime=498.85 cores=0-7
/proc/22155/task/22161/stat : 22161 (java) S 22152 22155 22111 0 -1 1077944384 185191 0 0 0 49793 92 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669531507856 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 38 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22162] ppid=22152 vsize=15668944 memory=4814948 CPUtime=499.53 cores=0-7
/proc/22155/task/22162/stat : 22162 (java) S 22152 22155 22111 0 -1 1077944384 181895 0 0 0 49868 85 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669530454288 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22163] ppid=22152 vsize=15668944 memory=0 CPUtime=499.1 cores=0-7
/proc/22155/task/22163/stat : 22163 (java) S 22152 22155 22111 0 -1 1077944384 180563 0 0 0 49822 88 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669529401744 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22164] ppid=22152 vsize=15668944 memory=7300986355346271596 CPUtime=499.3 cores=0-7
/proc/22155/task/22164/stat : 22164 (java) S 22152 22155 22111 0 -1 1077944384 194564 0 0 0 49844 86 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669528349200 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22165] ppid=22152 vsize=15668944 memory=6791534058613427641 CPUtime=498.36 cores=0-7
/proc/22155/task/22165/stat : 22165 (java) S 22152 22155 22111 0 -1 1077944384 178678 0 0 0 49745 91 0 0 20 0 40 0 119956923 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669527296656 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 42 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22166] ppid=22152 vsize=15668944 memory=2428 CPUtime=7.02 cores=0-7
/proc/22155/task/22166/stat : 22166 (java) S 22152 22155 22111 0 -1 1077944384 143298 0 0 0 643 59 0 0 20 0 40 0 119956924 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669396703728 139669938829954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22167] ppid=22152 vsize=15668944 memory=4814948 CPUtime=0 cores=0-7
/proc/22155/task/22167/stat : 22167 (java) S 22152 22155 22111 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 40 0 119956924 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669395650016 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22168] ppid=22152 vsize=15668944 memory=4096 CPUtime=0 cores=0-7
/proc/22155/task/22168/stat : 22168 (java) S 22152 22155 22111 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 40 0 119956925 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669394597376 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22169] ppid=22152 vsize=15668944 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22169/stat : 22169 (java) S 22152 22155 22111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669393545936 139669938837403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22170] ppid=22152 vsize=15668944 memory=6944656575205224496 CPUtime=2.74 cores=0-7
/proc/22155/task/22170/stat : 22170 (java) S 22152 22155 22111 0 -1 1077944384 21942 0 0 0 270 4 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669392492528 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22171] ppid=22152 vsize=15668944 memory=4814404 CPUtime=2.9 cores=0-7
/proc/22155/task/22171/stat : 22171 (java) S 22152 22155 22111 0 -1 1077944384 22267 0 0 0 284 6 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669391439984 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22172] ppid=22152 vsize=15668944 memory=4814404 CPUtime=2.83 cores=0-7
/proc/22155/task/22172/stat : 22172 (java) S 22152 22155 22111 0 -1 1077944384 20710 0 0 0 277 6 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669390387440 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22173] ppid=22152 vsize=15668944 memory=4814404 CPUtime=1.19 cores=0-7
/proc/22155/task/22173/stat : 22173 (java) S 22152 22155 22111 0 -1 1077944384 27735 0 0 0 114 5 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669389334896 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22174] ppid=22152 vsize=15668944 memory=0 CPUtime=0 cores=0-7
/proc/22155/task/22174/stat : 22174 (java) S 22152 22155 22111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 119956927 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669388282592 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22175] ppid=22152 vsize=15668944 memory=8243122710528917583 CPUtime=1.48 cores=0-7
/proc/22155/task/22175/stat : 22175 (java) S 22152 22155 22111 0 -1 1077944384 5226 0 0 0 81 67 0 0 20 0 40 0 119956928 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669387230128 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22176] ppid=22152 vsize=15668944 memory=24405 CPUtime=0.01 cores=0-7
/proc/22155/task/22176/stat : 22176 (java) S 22152 22155 22111 0 -1 1077944384 1362 0 0 0 1 0 0 0 20 0 40 0 119959964 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669175207200 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22177] ppid=22152 vsize=15668944 memory=235772229758253 CPUtime=6.6 cores=0-7
/proc/22155/task/22177/stat : 22177 (java) S 22152 22155 22111 0 -1 1077944384 14995 0 0 0 254 406 0 0 20 0 40 0 119959976 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669172057760 139669938829954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22178] ppid=22152 vsize=15668944 memory=4814948 CPUtime=1966.35 cores=0-7
/proc/22155/task/22178/stat : 22178 (java) R 22152 22155 22111 0 -1 4202560 145701 0 0 0 196150 485 0 0 20 0 40 0 119959986 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669168901024 139669538787008 0 4 0 16800975 0 0 0 -1 1 0 0 27 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22179] ppid=22152 vsize=15668944 memory=0 CPUtime=1969.47 cores=0-7
/proc/22155/task/22179/stat : 22179 (java) R 22152 22155 22111 0 -1 4202560 195222 0 0 0 196434 513 0 0 20 0 40 0 119959987 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669167848616 139669544834707 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22180] ppid=22152 vsize=15668944 memory=0 CPUtime=1963.6 cores=0-7
/proc/22155/task/22180/stat : 22180 (java) R 22152 22155 22111 0 -1 4202560 146821 0 0 0 195844 516 0 0 20 0 40 0 119959987 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669166796072 139669545611744 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22181] ppid=22152 vsize=15668944 memory=0 CPUtime=1969.81 cores=0-7
/proc/22155/task/22181/stat : 22181 (java) R 22152 22155 22111 0 -1 4202560 167976 0 0 0 196502 479 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669165742624 139669537524404 0 4 0 16800975 0 0 0 -1 0 0 0 21 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22182] ppid=22152 vsize=15668944 memory=1292 CPUtime=1964.21 cores=0-7
/proc/22155/task/22182/stat : 22182 (java) R 22152 22155 22111 0 -1 4202560 178178 0 0 0 195945 476 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669164693960 139669545611744 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22183] ppid=22152 vsize=15668944 memory=1728 CPUtime=1967.91 cores=0-7
/proc/22155/task/22183/stat : 22183 (java) R 22152 22155 22111 0 -1 4202560 160710 0 0 0 196312 479 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669163638440 139669544834335 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22184] ppid=22152 vsize=15668944 memory=4096 CPUtime=0.12 cores=0-7
/proc/22155/task/22184/stat : 22184 (java) S 22152 22155 22111 0 -1 1077944384 665 0 0 0 12 0 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669162591888 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22185] ppid=22152 vsize=15668944 memory=33976 CPUtime=0.13 cores=0-7
/proc/22155/task/22185/stat : 22185 (java) S 22152 22155 22111 0 -1 1077944384 522 0 0 0 13 0 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669161539344 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22186] ppid=22152 vsize=15668944 memory=2428 CPUtime=1969.36 cores=0-7
/proc/22155/task/22186/stat : 22186 (java) R 22152 22155 22111 0 -1 4202560 212704 0 0 0 196434 502 0 0 20 0 40 0 119959990 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669160479784 139669538787023 0 4 0 16800975 0 0 0 -1 5 0 0 14 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22187] ppid=22152 vsize=15668944 memory=4814948 CPUtime=1966.02 cores=0-7
/proc/22155/task/22187/stat : 22187 (java) R 22152 22155 22111 0 -1 4202560 147609 0 0 0 196080 522 0 0 20 0 40 0 119959991 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669159430768 139669537524372 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22188] ppid=22152 vsize=15668944 memory=4814948 CPUtime=0 cores=0-7
/proc/22155/task/22188/stat : 22188 (java) S 22152 22155 22111 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669158380688 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22189] ppid=22152 vsize=15668944 memory=8596 CPUtime=0 cores=0-7
/proc/22155/task/22189/stat : 22189 (java) S 22152 22155 22111 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669157328144 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22190] ppid=22152 vsize=15668944 memory=4814948 CPUtime=0 cores=0-7
/proc/22155/task/22190/stat : 22190 (java) S 22152 22155 22111 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669156275600 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22191] ppid=22152 vsize=15668944 memory=4814948 CPUtime=0 cores=0-7
/proc/22155/task/22191/stat : 22191 (java) S 22152 22155 22111 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669155223056 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22192] ppid=22152 vsize=15668944 memory=16432 CPUtime=0 cores=0-7
/proc/22155/task/22192/stat : 22192 (java) S 22152 22155 22111 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 40 0 119960107 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669154170512 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22200] ppid=22152 vsize=15668944 memory=19856 CPUtime=0 cores=0-7
/proc/22155/task/22200/stat : 22200 (java) S 22152 22155 22111 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 40 0 119974770 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669150983952 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22201] ppid=22152 vsize=15668944 memory=4814948 CPUtime=0 cores=0-7
/proc/22155/task/22201/stat : 22201 (java) S 22152 22155 22111 0 -1 1077944384 566 0 0 0 0 0 0 0 20 0 40 0 119974772 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669149930384 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
[pid=22155/tid=22202] ppid=22152 vsize=15668944 memory=4096 CPUtime=0 cores=0-7
/proc/22155/task/22202/stat : 22202 (java) S 22152 22155 22111 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 40 0 119974772 16044998656 1203737 33554432000 4194304 4196468 140732004410336 139669148877840 139669938829013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24391680 140732004418658 140732004418843 140732004418843 140732004421583 0
Current children cumulated CPU time: 19785.2 s
Current children cumulated vsize: 15668944 KiB
Current children cumulated memory: 4814948 KiB

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

[startup+2520.15 s]
# the end of solver process 22155 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19737.8 s, system=48.3913 s

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

[startup+2520.11 s]*
/proc/loadavg: 9.40 9.05 8.79 13/221 22240
/proc/meminfo: memFree=23837244/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.15
CPU time (s): 19786.2
CPU user time (s): 19737.8
CPU system time (s): 48.3913
CPU usage (%): 785.119
Max. virtual memory (cumulated for all children) (KiB): 15668944
Max. memory (cumulated for all children) (KiB): 4814948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19737.8
system time used= 48.3913
maximum resident set size= 4815452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3111317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 498315
involuntary context switches= 374010


# summary of solver processes directly reported to runsolver:
#   pid: 22155
#   total CPU time (s): 19786.2
#   total CPU user time (s): 19737.8
#   total CPU system time (s): 48.3913

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 27.3963 second user time and 40.3698 second system time

The end

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

Trace number 4275802

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