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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-08-22	SAT (TO)	1061	19781.4	2520.1499

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 1418329981
0.29/0.26	c timeout: 20160
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
5.79/1.71	c Parsing done, starting search...
1089.19/168.72	o 1080
2229.04/312.66	o 1079
3301.76/447.54	o 1078
4355.80/580.70	o 1077
5399.02/711.85	o 1076
6409.50/838.85	o 1075
7402.74/963.71	o 1074
8396.42/1088.63	o 1073
9391.65/1213.77	o 1072
10370.97/1336.81	o 1071
11354.78/1460.59	o 1070
12329.98/1583.24	o 1069
13279.28/1702.68	o 1068
14207.85/1819.34	o 1067
15126.53/1934.81	o 1066
16064.39/2052.82	o 1065
16978.20/2167.70	o 1064
17872.09/2280.14	o 1063
18749.63/2390.46	o 1062
19373.31/2468.84	o 1061
19780.52/2520.09	s SATISFIABLE
19780.52/2520.10	v <instantiation>
19780.52/2520.10	v 	<list>
19780.52/2520.10	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]
19780.52/2520.10	v 	</list>
19780.52/2520.10	v 	<values>
19780.52/2520.10	v 		1054 1061 1050 1051 1052 1053 1054 1061 1061 1061 1061 1061 1061 1061 1061 1055 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1056 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1032 1056 1056 1056 1056 1056 1032 1032 1032 1032 1061 1033 1034 1035 1056 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1057 1051 1058 1059 1052 1053 1054 1055 1056 1057 1058 1059 1060 1060 1061 1061 1061 1061 1061 1028 1029 1030 1031 1032 1033 1034 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1051 1052 1053 1054 1061 1061 1061 1061 1061 1061 1061 1061 1055 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1056 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1052 1053 1054 1061 1061 1061 1061 1061 1061 1061 1061 1055 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1056 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1053 1054 1061 1061 1061 1061 1061 1061 1061 1061 1055 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1056 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1054 1061 1061 1061 1061 1061 1061 1061 1061 1055 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1056 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1061 1061 1061 1061 1061 1061 1061 1061 1055 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1056 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1029 1030 1031 1032 1033 1034 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1030 1031 1032 1033 1034 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1031 1032 1033 1034 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1032 1033 1034 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1033 1034 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1060 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1034 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1035 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1061 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1061 1056 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1038 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1039 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1040 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1041 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1042 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1043 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1044 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1045 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1046 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1061 1047 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1061 1061 1061 1061 1057 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1048 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1049 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1050 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1061 1051 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1061 1058 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1061 1061 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1059 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1061 1061 1061 1061 1061 1061 1061 1061 1061 1060 1053 1054 1055 1056 1057 1058 1059 1060 1061 1054 1055 1056 1057 1058 1059 1060 1061 1055 1056 1057 1058 1059 1060 1061 1056 1057 1058 1059 1060 1061 1057 1058 1059 1060 1061 1058 1059 1060 1061 1059 1060 1061 1060 1061 1061 
19780.52/2520.10	v 	</values>
19780.52/2520.10	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 (11598 MiB free)
  memory of node 1: 16384 MiB (11948 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285612-1503467481/watcher-4285612-1503467481 -o /tmp/evaluation-result-4285612-1503467481/solver-4285612-1503467481 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1503466620-3404 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1418329981 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285612-1503467481.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=3421, runsolver pid=3418
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 6.88 7.32 7.37 2/198 3441
/proc/meminfo: memFree=24097216/32770624 swapFree=67108860/67108860
[pid=3421] ppid=3418 vsize=26000852 memory=31700 CPUtime=0.12 cores=0-7
/proc/3421/stat : 3421 (java) S 3418 3421 3377 0 -1 1077944320 8299 0 0 0 11 1 0 0 20 0 20 0 179828744 26624872448 7925 33554432000 4194304 4196468 140735053997312 140735053979856 139792964988663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
/proc/3421/statm: 6500213 7925 3407 1 0 6487932 0
[pid=3421/tid=3423] ppid=3418 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/3421/task/3423/stat : 3423 (java) R 3418 3421 3377 0 -1 4202560 6209 0 0 0 8 1 0 0 20 0 20 0 179828745 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792969199136 139792949069150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3424] ppid=3418 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3421/task/3424/stat : 3424 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792932547088 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3425] ppid=3418 vsize=26000852 memory=140167635306112 CPUtime=0 cores=0-7
/proc/3421/task/3425/stat : 3425 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792522283664 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3426] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3426/stat : 3426 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792521230608 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3427] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3427/stat : 3427 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792520178064 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3428] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3428/stat : 3428 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792519126032 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3429] ppid=3418 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3421/task/3429/stat : 3429 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792518073488 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3430] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3430/stat : 3430 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792517020432 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3431] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3431/stat : 3431 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792515967888 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3432] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3432/stat : 3432 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828747 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792361617648 139792964999810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3433] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3433/stat : 3433 (java) S 3418 3421 3377 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179828748 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792360563872 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3434] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3434/stat : 3434 (java) S 3418 3421 3377 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179828748 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792359510768 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3435] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3435/stat : 3435 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792358459344 139792965007259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3436] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3436/stat : 3436 (java) S 3418 3421 3377 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792357407472 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3437] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3437/stat : 3437 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792356354928 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3438] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3438/stat : 3438 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792355301872 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3439] ppid=3418 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/3421/task/3439/stat : 3439 (java) S 3418 3421 3377 0 -1 1077944384 415 0 0 0 2 0 0 0 20 0 20 0 179828750 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792354249328 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3440] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3440/stat : 3440 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792353196512 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3441] ppid=3418 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3421/task/3441/stat : 3441 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828751 26624872448 7925 33554432000 4194304 4196468 140735053997312 139792352144048 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31700 KiB

[startup+0.209707 s]*
/proc/loadavg: 6.88 7.32 7.37 3/198 3441
/proc/meminfo: memFree=24087876/32770624 swapFree=67108860/67108860
[pid=3421] ppid=3418 vsize=26000852 memory=41120 CPUtime=0.29 cores=0-7
/proc/3421/stat : 3421 (java) S 3418 3421 3377 0 -1 1077944320 9371 0 0 0 27 2 0 0 20 0 20 0 179828744 26624872448 10280 33554432000 4194304 4196468 140735053997312 140735053979856 139792964988663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
/proc/3421/statm: 6500213 10280 3634 1 0 6487932 0
[pid=3421/tid=3423] ppid=3418 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/3421/task/3423/stat : 3423 (java) R 3418 3421 3377 0 -1 4202560 6834 0 0 0 18 1 0 0 20 0 20 0 179828745 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792969216368 139792949069150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3424] ppid=3418 vsize=26000852 memory=3221 CPUtime=0 cores=0-7
/proc/3421/task/3424/stat : 3424 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792932547088 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3425] ppid=3418 vsize=26000852 memory=140167635314708 CPUtime=0 cores=0-7
/proc/3421/task/3425/stat : 3425 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792522283664 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3426] ppid=3418 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3421/task/3426/stat : 3426 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792521230608 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3427] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3427/stat : 3427 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792520178064 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3428] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3428/stat : 3428 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792519126032 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3429] ppid=3418 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3421/task/3429/stat : 3429 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792518073488 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3430] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3430/stat : 3430 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792517020432 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3431] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3431/stat : 3431 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792515967888 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3432] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3432/stat : 3432 (java) S 3418 3421 3377 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179828747 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792361617648 139792964999810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3433] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3433/stat : 3433 (java) S 3418 3421 3377 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179828748 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792360563872 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3434] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3434/stat : 3434 (java) S 3418 3421 3377 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179828748 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792359510768 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3435] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3435/stat : 3435 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792358459344 139792965007259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3436] ppid=3418 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/3421/task/3436/stat : 3436 (java) S 3418 3421 3377 0 -1 1077944384 342 0 0 0 1 0 0 0 20 0 20 0 179828750 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792357407472 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3437] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3437/stat : 3437 (java) S 3418 3421 3377 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792356354928 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3438] ppid=3418 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/3421/task/3438/stat : 3438 (java) S 3418 3421 3377 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 20 0 179828750 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792355301872 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3439] ppid=3418 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/3421/task/3439/stat : 3439 (java) S 3418 3421 3377 0 -1 1077944384 488 0 0 0 5 0 0 0 20 0 20 0 179828750 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792354249328 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3440] ppid=3418 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3440/stat : 3440 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828750 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792353196512 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3441] ppid=3418 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/3421/task/3441/stat : 3441 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828751 26624872448 10280 33554432000 4194304 4196468 140735053997312 139792352144048 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41120 KiB

[startup+0.309522 s]*
/proc/loadavg: 6.88 7.32 7.37 2/198 3441
/proc/meminfo: memFree=24079316/32770624 swapFree=67108860/67108860
[pid=3421] ppid=3418 vsize=26000872 memory=48520 CPUtime=0.47 cores=0-7
/proc/3421/stat : 3421 (java) S 3418 3421 3377 0 -1 1077944320 10481 0 0 0 45 2 0 0 20 0 20 0 179828744 26624892928 12130 33554432000 4194304 4196468 140735053997312 140735053979856 139792964988663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
/proc/3421/statm: 6500218 12130 3712 1 0 6487932 0
[pid=3421/tid=3423] ppid=3418 vsize=26000872 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/3421/task/3423/stat : 3423 (java) R 3418 3421 3377 0 -1 4202560 7399 0 0 0 27 1 0 0 20 0 20 0 179828745 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792969213520 139792949069150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3424] ppid=3418 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3424/stat : 3424 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792932547088 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3425] ppid=3418 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3425/stat : 3425 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792522283664 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3426] ppid=3418 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3426/stat : 3426 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792521230608 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3427] ppid=3418 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3427/stat : 3427 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792520178064 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3428] ppid=3418 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/3421/task/3428/stat : 3428 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792519126032 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3429] ppid=3418 vsize=26000872 memory=140167532868527 CPUtime=0 cores=0-7
/proc/3421/task/3429/stat : 3429 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792518073488 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3430] ppid=3418 vsize=26000872 memory=140167532870832 CPUtime=0 cores=0-7
/proc/3421/task/3430/stat : 3430 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792517020432 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3431] ppid=3418 vsize=26000872 memory=140167532873136 CPUtime=0 cores=0-7
/proc/3421/task/3431/stat : 3431 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792515967888 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3432] ppid=3418 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3432/stat : 3432 (java) S 3418 3421 3377 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179828747 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792361617648 139792964999810 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3433] ppid=3418 vsize=26000872 memory=280335065753232 CPUtime=0 cores=0-7
/proc/3421/task/3433/stat : 3433 (java) S 3418 3421 3377 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 179828748 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792360563872 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3434] ppid=3418 vsize=26000872 memory=280335065760144 CPUtime=0 cores=0-7
/proc/3421/task/3434/stat : 3434 (java) S 3418 3421 3377 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 179828748 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792359510768 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3435] ppid=3418 vsize=26000872 memory=280335065701424 CPUtime=0 cores=0-7
/proc/3421/task/3435/stat : 3435 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828750 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792358459344 139792965007259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3436] ppid=3418 vsize=26000872 memory=280335065773968 CPUtime=0.02 cores=0-7
/proc/3421/task/3436/stat : 3436 (java) S 3418 3421 3377 0 -1 1077944384 487 0 0 0 2 0 0 0 20 0 20 0 179828750 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792357407472 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3437] ppid=3418 vsize=26000872 memory=280335065780880 CPUtime=0.02 cores=0-7
/proc/3421/task/3437/stat : 3437 (java) S 3418 3421 3377 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 179828750 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792356354928 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3438] ppid=3418 vsize=26000872 memory=280335065778576 CPUtime=0.03 cores=0-7
/proc/3421/task/3438/stat : 3438 (java) S 3418 3421 3377 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 20 0 179828750 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792355301872 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3439] ppid=3418 vsize=26000872 memory=280335065795184 CPUtime=0.08 cores=0-7
/proc/3421/task/3439/stat : 3439 (java) S 3418 3421 3377 0 -1 1077944384 563 0 0 0 8 0 0 0 20 0 20 0 179828750 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792354249328 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3440] ppid=3418 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3440/stat : 3440 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828750 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792353196512 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3441] ppid=3418 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/3421/task/3441/stat : 3441 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828751 26624892928 12130 33554432000 4194304 4196468 140735053997312 139792352144048 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 48520 KiB

[startup+0.700875 s]
/proc/loadavg: 6.88 7.32 7.37 5/198 3441
/proc/meminfo: memFree=24047052/32770624 swapFree=67108860/67108860
[pid=3421] ppid=3418 vsize=26002920 memory=114244 CPUtime=1.67 cores=0-7
/proc/3421/stat : 3421 (java) S 3418 3421 3377 0 -1 1077944320 14072 0 0 0 163 4 0 0 20 0 20 0 179828744 26626990080 28561 33554432000 4194304 4196468 140735053997312 140735053979856 139792964988663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
/proc/3421/statm: 6500730 28561 3777 1 0 6488444 0
[pid=3421/tid=3423] ppid=3418 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/3421/task/3423/stat : 3423 (java) R 3418 3421 3377 0 -1 4202560 8079 0 0 0 65 2 0 0 20 0 20 0 179828745 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792969222104 139792947277991 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3424] ppid=3418 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3424/stat : 3424 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792932547088 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3425] ppid=3418 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3425/stat : 3425 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792522283664 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3426] ppid=3418 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/3421/task/3426/stat : 3426 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792521230608 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3427] ppid=3418 vsize=26002920 memory=1944 CPUtime=0 cores=0-7
/proc/3421/task/3427/stat : 3427 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792520178064 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3428] ppid=3418 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/3421/task/3428/stat : 3428 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792519126032 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3429] ppid=3418 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/3421/task/3429/stat : 3429 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792518073488 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3430] ppid=3418 vsize=26002920 memory=8748 CPUtime=0 cores=0-7
/proc/3421/task/3430/stat : 3430 (java) S 3418 3421 3377 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792517020432 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3431] ppid=3418 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/3421/task/3431/stat : 3431 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 179828746 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792515967888 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3432] ppid=3418 vsize=26002920 memory=4052 CPUtime=0 cores=0-7
/proc/3421/task/3432/stat : 3432 (java) S 3418 3421 3377 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 179828747 26626990080 28561 33554432000 4194304 4196468 140735053997312 139792361617648 139792964999810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0

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

[pid=3421/tid=3439] ppid=3418 vsize=27344476 memory=0 CPUtime=1.24 cores=0-7
/proc/3421/task/3439/stat : 3439 (java) S 3418 3421 3377 0 -1 1077944384 26251 0 0 0 120 4 0 0 20 0 40 0 179828750 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792354249328 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3440] ppid=3418 vsize=27344476 memory=960 CPUtime=0 cores=0-7
/proc/3421/task/3440/stat : 3440 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 179828750 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792353196512 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3441] ppid=3418 vsize=27344476 memory=1232 CPUtime=1.51 cores=0-7
/proc/3421/task/3441/stat : 3441 (java) S 3418 3421 3377 0 -1 1077944384 3636 0 0 0 77 74 0 0 20 0 40 0 179828751 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792352144048 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3442] ppid=3418 vsize=27344476 memory=2428 CPUtime=0 cores=0-7
/proc/3421/task/3442/stat : 3442 (java) S 3418 3421 3377 0 -1 1077944384 1668 0 0 0 0 0 0 0 20 0 40 0 179832442 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792341852704 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3443] ppid=3418 vsize=27344476 memory=8601208 CPUtime=7.18 cores=0-7
/proc/3421/task/3443/stat : 3443 (java) S 3418 3421 3377 0 -1 1077944384 11405 0 0 0 392 326 0 0 20 0 40 0 179832454 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792338703264 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3444] ppid=3418 vsize=27344476 memory=8595460 CPUtime=2178.61 cores=0-7
/proc/3421/task/3444/stat : 3444 (java) R 3418 3421 3377 0 -1 4202560 173791 0 0 0 217271 590 0 0 20 0 40 0 179832464 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792335548184 139792611530105 0 4 0 16800975 0 0 0 -1 6 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3445] ppid=3418 vsize=27344476 memory=8601208 CPUtime=0.15 cores=0-7
/proc/3421/task/3445/stat : 3445 (java) S 3418 3421 3377 0 -1 1077944384 352 0 0 0 15 0 0 0 20 0 40 0 179832465 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792334501648 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3446] ppid=3418 vsize=27344476 memory=4612 CPUtime=1370.33 cores=0-7
/proc/3421/task/3446/stat : 3446 (java) S 3418 3421 3377 0 -1 1077944384 115412 0 0 0 136678 355 0 0 20 0 40 0 179832465 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792333448592 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3447] ppid=3418 vsize=27344476 memory=8601208 CPUtime=0.14 cores=0-7
/proc/3421/task/3447/stat : 3447 (java) S 3418 3421 3377 0 -1 1077944384 724 0 0 0 14 0 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792332396048 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3448] ppid=3418 vsize=27344476 memory=8601208 CPUtime=370.45 cores=0-7
/proc/3421/task/3448/stat : 3448 (java) S 3418 3421 3377 0 -1 1077944384 68896 0 0 0 36900 145 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792331342992 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3449] ppid=3418 vsize=27344476 memory=8594296 CPUtime=0.12 cores=0-7
/proc/3421/task/3449/stat : 3449 (java) S 3418 3421 3377 0 -1 1077944384 349 0 0 0 12 0 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792330290448 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3450] ppid=3418 vsize=27344476 memory=8601208 CPUtime=911.68 cores=0-7
/proc/3421/task/3450/stat : 3450 (java) R 3418 3421 3377 0 -1 4202560 75373 0 0 0 90963 205 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792329234080 139792609031372 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3451] ppid=3418 vsize=27344476 memory=8601208 CPUtime=2182.81 cores=0-7
/proc/3421/task/3451/stat : 3451 (java) R 3418 3421 3377 0 -1 4202560 175161 0 0 0 217724 557 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792328178592 139792610865632 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3452] ppid=3418 vsize=27344476 memory=8601208 CPUtime=2179.65 cores=0-7
/proc/3421/task/3452/stat : 3452 (java) R 3418 3421 3377 0 -1 4202560 229843 0 0 0 217345 620 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792125775640 139792606556308 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3453] ppid=3418 vsize=27344476 memory=8601208 CPUtime=2172.83 cores=0-7
/proc/3421/task/3453/stat : 3453 (java) R 3418 3421 3377 0 -1 4202560 164159 0 0 0 216782 501 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792124722960 139792610865694 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3454] ppid=3418 vsize=27344476 memory=8601208 CPUtime=2179.62 cores=0-7
/proc/3421/task/3454/stat : 3454 (java) R 3418 3421 3377 0 -1 4202560 175891 0 0 0 217351 611 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792123670040 139792609031381 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3455] ppid=3418 vsize=27344476 memory=8601208 CPUtime=2176.07 cores=0-7
/proc/3421/task/3455/stat : 3455 (java) R 3418 3421 3377 0 -1 4202560 181034 0 0 0 217114 493 0 0 20 0 40 0 179832468 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792122617496 139792609031381 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3456] ppid=3418 vsize=27344476 memory=8601208 CPUtime=804.08 cores=0-7
/proc/3421/task/3456/stat : 3456 (java) R 3418 3421 3377 0 -1 4202560 57751 0 0 0 80229 179 0 0 20 0 40 0 179845617 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792119430424 139792606556288 0 4 0 16800975 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3457] ppid=3418 vsize=27344476 memory=8601208 CPUtime=0 cores=0-7
/proc/3421/task/3457/stat : 3457 (java) S 3418 3421 3377 0 -1 1077944384 739 0 0 0 0 0 0 0 20 0 40 0 179845619 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792118383888 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3458] ppid=3418 vsize=27344476 memory=2428 CPUtime=0 cores=0-7
/proc/3421/task/3458/stat : 3458 (java) S 3418 3421 3377 0 -1 1077944384 797 0 0 0 0 0 0 0 20 0 40 0 179845619 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792117330832 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3459] ppid=3418 vsize=27344476 memory=1840 CPUtime=0 cores=0-7
/proc/3421/task/3459/stat : 3459 (java) S 3418 3421 3377 0 -1 1077944384 1094 0 0 0 0 0 0 0 20 0 40 0 179845620 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792116278288 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3460] ppid=3418 vsize=27344476 memory=792 CPUtime=896.37 cores=0-7
/proc/3421/task/3460/stat : 3460 (java) S 3418 3421 3377 0 -1 1077944384 38387 0 0 0 89524 113 0 0 20 0 40 0 179845621 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792115226256 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3461] ppid=3418 vsize=27344476 memory=10096 CPUtime=0 cores=0-7
/proc/3421/task/3461/stat : 3461 (java) S 3418 3421 3377 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 40 0 179845621 28000743424 2150302 33554432000 4194304 4196468 140735053997312 139792114173712 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
Current children cumulated CPU time: 19639.7 s
Current children cumulated vsize: 27344476 KiB
Current children cumulated memory: 8601208 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.65 8.75 8.63 9/218 3518
/proc/meminfo: memFree=15510804/32770624 swapFree=67108860/67108860
[pid=3421] ppid=3418 vsize=27344476 memory=8601304 CPUtime=19780.5 cores=0-7
/proc/3421/stat : 3421 (java) S 3418 3421 3377 0 -1 1077944320 2689873 0 0 0 1972941 5111 0 0 20 0 40 0 179828744 28000743424 2150326 33554432000 4194304 4196468 140735053997312 140735053979856 139792964988663 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
/proc/3421/statm: 6836119 2150326 3865 1 0 6823312 0
[pid=3421/tid=3423] ppid=3418 vsize=27344476 memory=8112282956445269571 CPUtime=36.85 cores=0-7
/proc/3421/task/3423/stat : 3423 (java) S 3418 3421 3377 0 -1 1077944384 21091 0 0 0 3572 113 0 0 20 0 40 0 179828745 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792969226368 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3424] ppid=3418 vsize=27344476 memory=50068 CPUtime=271.62 cores=0-7
/proc/3421/task/3424/stat : 3424 (java) S 3418 3421 3377 0 -1 1077944384 119005 0 0 0 27096 66 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792932547088 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3425] ppid=3418 vsize=27344476 memory=4144 CPUtime=271.56 cores=0-7
/proc/3421/task/3425/stat : 3425 (java) S 3418 3421 3377 0 -1 1077944384 128042 0 0 0 27083 73 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792522283664 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3426] ppid=3418 vsize=27344476 memory=50068 CPUtime=271.82 cores=0-7
/proc/3421/task/3426/stat : 3426 (java) S 3418 3421 3377 0 -1 1077944384 129836 0 0 0 27117 65 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792521230608 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3427] ppid=3418 vsize=27344476 memory=4126316290023845779 CPUtime=271.68 cores=0-7
/proc/3421/task/3427/stat : 3427 (java) S 3418 3421 3377 0 -1 1077944384 133043 0 0 0 27105 63 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792520178064 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 19 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3428] ppid=3418 vsize=27344476 memory=15876 CPUtime=271.78 cores=0-7
/proc/3421/task/3428/stat : 3428 (java) S 3418 3421 3377 0 -1 1077944384 120640 0 0 0 27109 69 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792519126032 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3429] ppid=3418 vsize=27344476 memory=4052 CPUtime=271.78 cores=0-7
/proc/3421/task/3429/stat : 3429 (java) S 3418 3421 3377 0 -1 1077944384 125310 0 0 0 27106 72 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792518073488 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 17 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3430] ppid=3418 vsize=27344476 memory=28512 CPUtime=271.94 cores=0-7
/proc/3421/task/3430/stat : 3430 (java) S 3418 3421 3377 0 -1 1077944384 124680 0 0 0 27131 63 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792517020432 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3431] ppid=3418 vsize=27344476 memory=18472 CPUtime=271.87 cores=0-7
/proc/3421/task/3431/stat : 3431 (java) S 3418 3421 3377 0 -1 1077944384 121146 0 0 0 27120 67 0 0 20 0 40 0 179828746 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792515967888 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3432] ppid=3418 vsize=27344476 memory=640 CPUtime=4.06 cores=0-7
/proc/3421/task/3432/stat : 3432 (java) S 3418 3421 3377 0 -1 1077944384 104866 0 0 0 374 32 0 0 20 0 40 0 179828747 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792361617648 139792964999810 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3433] ppid=3418 vsize=27344476 memory=1796 CPUtime=0 cores=0-7
/proc/3421/task/3433/stat : 3433 (java) S 3418 3421 3377 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 40 0 179828748 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792360563936 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3434] ppid=3418 vsize=27344476 memory=960 CPUtime=0 cores=0-7
/proc/3421/task/3434/stat : 3434 (java) S 3418 3421 3377 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 40 0 179828748 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792359510784 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3435] ppid=3418 vsize=27344476 memory=1232 CPUtime=0 cores=0-7
/proc/3421/task/3435/stat : 3435 (java) S 3418 3421 3377 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 40 0 179828750 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792358459344 139792965007259 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3436] ppid=3418 vsize=27344476 memory=2428 CPUtime=2.72 cores=0-7
/proc/3421/task/3436/stat : 3436 (java) S 3418 3421 3377 0 -1 1077944384 18400 0 0 0 267 5 0 0 20 0 40 0 179828750 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792357407472 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3437] ppid=3418 vsize=27344476 memory=932 CPUtime=2.92 cores=0-7
/proc/3421/task/3437/stat : 3437 (java) S 3418 3421 3377 0 -1 1077944384 17682 0 0 0 288 4 0 0 20 0 40 0 179828750 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792356354928 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3438] ppid=3418 vsize=27344476 memory=1580 CPUtime=2.68 cores=0-7
/proc/3421/task/3438/stat : 3438 (java) S 3418 3421 3377 0 -1 1077944384 15945 0 0 0 264 4 0 0 20 0 40 0 179828750 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792355301872 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3439] ppid=3418 vsize=27344476 memory=8601304 CPUtime=1.24 cores=0-7
/proc/3421/task/3439/stat : 3439 (java) S 3418 3421 3377 0 -1 1077944384 26253 0 0 0 120 4 0 0 20 0 40 0 179828750 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792354249328 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3440] ppid=3418 vsize=27344476 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3421/task/3440/stat : 3440 (java) S 3418 3421 3377 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 40 0 179828750 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792353196512 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3441] ppid=3418 vsize=27344476 memory=14411505886058655 CPUtime=1.53 cores=0-7
/proc/3421/task/3441/stat : 3441 (java) S 3418 3421 3377 0 -1 1077944384 3638 0 0 0 78 75 0 0 20 0 40 0 179828751 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792352144048 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3442] ppid=3418 vsize=27344476 memory=14411505886058655 CPUtime=0 cores=0-7
/proc/3421/task/3442/stat : 3442 (java) S 3418 3421 3377 0 -1 1077944384 1668 0 0 0 0 0 0 0 20 0 40 0 179832442 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792341852704 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3443] ppid=3418 vsize=27344476 memory=-7957962119327172001 CPUtime=7.22 cores=0-7
/proc/3421/task/3443/stat : 3443 (java) S 3418 3421 3377 0 -1 1077944384 11429 0 0 0 395 327 0 0 20 0 40 0 179832454 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792338703264 139792964999810 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3444] ppid=3418 vsize=27344476 memory=-3621219749712857441 CPUtime=2194.19 cores=0-7
/proc/3421/task/3444/stat : 3444 (java) R 3418 3421 3377 0 -1 4202560 174699 0 0 0 218826 593 0 0 20 0 40 0 179832464 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792335548048 139792610865672 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3445] ppid=3418 vsize=27344476 memory=-6948614817169703622 CPUtime=0.15 cores=0-7
/proc/3421/task/3445/stat : 3445 (java) S 3418 3421 3377 0 -1 1077944384 352 0 0 0 15 0 0 0 20 0 40 0 179832465 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792334501648 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3446] ppid=3418 vsize=27344476 memory=6944613755328037015 CPUtime=1370.33 cores=0-7
/proc/3421/task/3446/stat : 3446 (java) S 3418 3421 3377 0 -1 1077944384 115412 0 0 0 136678 355 0 0 20 0 40 0 179832465 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792333448592 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3447] ppid=3418 vsize=27344476 memory=3529 CPUtime=0.14 cores=0-7
/proc/3421/task/3447/stat : 3447 (java) S 3418 3421 3377 0 -1 1077944384 724 0 0 0 14 0 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792332396048 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3448] ppid=3418 vsize=27344476 memory=6944656592387989600 CPUtime=370.45 cores=0-7
/proc/3421/task/3448/stat : 3448 (java) S 3418 3421 3377 0 -1 1077944384 68896 0 0 0 36900 145 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792331342992 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3449] ppid=3418 vsize=27344476 memory=6944656592387989600 CPUtime=0.12 cores=0-7
/proc/3421/task/3449/stat : 3449 (java) S 3418 3421 3377 0 -1 1077944384 349 0 0 0 12 0 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792330290448 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3450] ppid=3418 vsize=27344476 memory=6944656592387989600 CPUtime=927.06 cores=0-7
/proc/3421/task/3450/stat : 3450 (java) R 3418 3421 3377 0 -1 4202560 76074 0 0 0 92499 207 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792329231384 139792610865680 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3451] ppid=3418 vsize=27344476 memory=6944656592387989600 CPUtime=2198.37 cores=0-7
/proc/3421/task/3451/stat : 3451 (java) R 3418 3421 3377 0 -1 4202560 175830 0 0 0 219278 559 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792328181648 139792606556322 0 4 0 16800975 0 0 0 -1 0 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3452] ppid=3418 vsize=27344476 memory=6944656592387989600 CPUtime=2194.96 cores=0-7
/proc/3421/task/3452/stat : 3452 (java) R 3418 3421 3377 0 -1 4202560 230746 0 0 0 218871 625 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792125775504 139792609031360 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3453] ppid=3418 vsize=27344476 memory=8601296 CPUtime=2188.38 cores=0-7
/proc/3421/task/3453/stat : 3453 (java) R 3418 3421 3377 0 -1 4202560 164777 0 0 0 218336 502 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792124723096 139792610865656 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3454] ppid=3418 vsize=27344476 memory=288230596050944315 CPUtime=2195.15 cores=0-7
/proc/3421/task/3454/stat : 3454 (java) R 3418 3421 3377 0 -1 4202560 176511 0 0 0 218899 616 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792123669016 139792606556322 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3455] ppid=3418 vsize=27344476 memory=13846369811040823 CPUtime=2191.64 cores=0-7
/proc/3421/task/3455/stat : 3455 (java) R 3418 3421 3377 0 -1 4202560 181776 0 0 0 218671 493 0 0 20 0 40 0 179832468 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792122617496 139792604940958 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3456] ppid=3418 vsize=27344476 memory=916 CPUtime=819.63 cores=0-7
/proc/3421/task/3456/stat : 3456 (java) R 3418 3421 3377 0 -1 4202560 58339 0 0 0 81783 180 0 0 20 0 40 0 179845617 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792119431616 139792610865640 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3457] ppid=3418 vsize=27344476 memory=3888 CPUtime=0 cores=0-7
/proc/3421/task/3457/stat : 3457 (java) S 3418 3421 3377 0 -1 1077944384 739 0 0 0 0 0 0 0 20 0 40 0 179845619 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792118383888 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3458] ppid=3418 vsize=27344476 memory=1156 CPUtime=0 cores=0-7
/proc/3421/task/3458/stat : 3458 (java) S 3418 3421 3377 0 -1 1077944384 797 0 0 0 0 0 0 0 20 0 40 0 179845619 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792117330832 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3459] ppid=3418 vsize=27344476 memory=4360 CPUtime=0 cores=0-7
/proc/3421/task/3459/stat : 3459 (java) S 3418 3421 3377 0 -1 1077944384 1094 0 0 0 0 0 0 0 20 0 40 0 179845620 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792116278288 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3460] ppid=3418 vsize=27344476 memory=8601208 CPUtime=896.37 cores=0-7
/proc/3421/task/3460/stat : 3460 (java) S 3418 3421 3377 0 -1 1077944384 38387 0 0 0 89524 113 0 0 20 0 40 0 179845621 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792115226256 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
[pid=3421/tid=3461] ppid=3418 vsize=27344476 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/3421/task/3461/stat : 3461 (java) S 3418 3421 3377 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 40 0 179845621 28000743424 2150326 33554432000 4194304 4196468 140735053997312 139792114173712 139792964998869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140735054005345 140735054005531 140735054005531 140735054008271 0
Current children cumulated CPU time: 19780.5 s
Current children cumulated vsize: 27344476 KiB
Current children cumulated memory: 8601304 KiB

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

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

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

[startup+2520.12 s]*
/proc/loadavg: 8.65 8.75 8.63 2/180 3520
/proc/meminfo: memFree=17352648/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): 19781.4
CPU user time (s): 19730.2
CPU system time (s): 51.1634
CPU usage (%): 784.926
Max. virtual memory (cumulated for all children) (KiB): 27344476
Max. memory (cumulated for all children) (KiB): 8601304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19730.2
system time used= 51.1634
maximum resident set size= 8601944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2690966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 404292
involuntary context switches= 392180


# summary of solver processes directly reported to runsolver:
#   pid: 3421
#   total CPU time (s): 19781.4
#   total CPU user time (s): 19730.2
#   total CPU system time (s): 51.1634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.7364 second user time and 40.5825 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 4285612

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