Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Hybrid 2017-07-26 | SAT (TO) | 1068 | 255.88 | 240.04201 |
| 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 | 252.004 |
| 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 |
0.26/0.37 c version: 2017-07-26 0.26/0.37 c seed: 1609045155 0.26/0.37 c timeout: 264 0.26/0.37 c memlimit: 11000 0.26/0.37 c nbcore: 4 0.26/0.39 c Parsing instance... 6.90/2.41 c Parsing done, starting first complete search... 26.84/20.65 o 1080 35.44/28.12 c First complete search done, starting ALNS search... 158.62/145.50 o 1068 222.79/207.97 c ALNS done, starting second complete search 222.79/207.97 c Best operator: ValGuided(541,MaxVal)_WeightDeg(Min) with improvement of: 12 255.82/240.00 s SATISFIABLE 255.82/240.01 v <instantiation> 255.82/240.01 v <list> 255.82/240.01 v x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[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] 255.82/240.01 v </list> 255.82/240.01 v <values> 255.82/240.01 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 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 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1060 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1061 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1062 1063 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1063 1064 1065 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1064 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1065 1066 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1066 1067 1068 1 1 1 1 1 1 1 1 1 1 1 1 1067 1 1 1 1 1 1 1 1 1 1 1 1 1 1068 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 4 4 4 4 4 4 4 4 4 4 5 5 5 5 5 5 5 5 5 6 6 6 6 6 6 6 6 7 7 7 7 7 7 7 8 8 8 8 8 8 9 9 9 9 9 10 10 10 10 11 11 11 12 12 13 255.82/240.01 v </values> 255.82/240.01 v </instantiation>
OK 1068
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256718-1501995618/watcher-4256718-1501995618 -o /tmp/evaluation-result-4256718-1501995618/solver-4256718-1501995618 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501986359-8060 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1609045155 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256718-1501995618.xml pid=15840 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.83 1.70 1.66 2/199 15843 /proc/meminfo: memFree=27517220/32770624 swapFree=0/296976 [pid=15843] ppid=15840 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/15843/stat : 15843 (runsolver) D 15840 15843 30500 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 47377126 24240128 108 18446744073709551615 4194304 4338465 140732892233120 140732892230760 140229964522199 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29052928 140732892237937 140732892238412 140732892238412 140732892241866 0 /proc/15843/statm: 5918 108 54 36 0 2156 0 [startup+0.100162 s] /proc/loadavg: 1.83 1.70 1.66 2/199 15843 /proc/meminfo: memFree=27517220/32770624 swapFree=0/296976 [pid=15843] ppid=15840 vsize=13358552 CPUtime=0 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 3382 0 0 0 0 0 0 0 20 0 6 0 47377126 13679157248 3568 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3339638 3568 1900 1 0 3329135 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 13358552 [startup+0.200302 s] /proc/loadavg: 1.83 1.70 1.66 2/199 15843 /proc/meminfo: memFree=27517220/32770624 swapFree=0/296976 [pid=15843] ppid=15840 vsize=13975920 CPUtime=0.08 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 6693 0 0 0 7 1 0 0 20 0 15 0 47377126 14311342080 7358 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3493980 7358 3347 1 0 3482759 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 13975920 [startup+0.306557 s] /proc/loadavg: 1.83 1.70 1.66 2/199 15843 /proc/meminfo: memFree=27517220/32770624 swapFree=0/296976 [pid=15843] ppid=15840 vsize=13975920 CPUtime=0.26 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 10553 0 0 0 23 3 0 0 20 0 15 0 47377126 14311342080 9838 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3493980 9838 3527 1 0 3482759 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 13975920 [startup+0.700597 s] /proc/loadavg: 1.83 1.70 1.66 2/199 15843 /proc/meminfo: memFree=27517220/32770624 swapFree=0/296976 [pid=15843] ppid=15840 vsize=13977988 CPUtime=1.23 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 16126 0 0 0 118 5 0 0 20 0 15 0 47377126 14313459712 23494 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3494497 23494 3728 1 0 3483271 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 13977988 [startup+1.5016 s] /proc/loadavg: 1.83 1.70 1.66 5/214 15858 /proc/meminfo: memFree=27316276/32770624 swapFree=0/296996 [pid=15843] ppid=15840 vsize=13977988 CPUtime=3.96 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 20325 0 0 0 387 9 0 0 20 0 15 0 47377126 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3494497 56186 3783 1 0 3483271 0 [pid=15843/tid=15845] ppid=15840 vsize=13977988 CPUtime=1.33 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) R 15840 15843 30500 0 -1 4202560 10672 0 0 0 129 4 0 0 20 0 15 0 47377134 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140065098061832 140064738464448 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13977988 CPUtime=0.01 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) S 15840 15843 30500 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 15 0 47377135 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13977988 CPUtime=0.01 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) S 15840 15843 30500 0 -1 1077944384 7 0 0 0 1 0 0 0 20 0 15 0 47377135 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064692898704 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13977988 CPUtime=0.01 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) S 15840 15843 30500 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 15 0 47377135 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13977988 CPUtime=0.01 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) S 15840 15843 30500 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 47377135 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 47377136 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064011257840 140065093839490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47377137 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064010204064 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47377137 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064009151472 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15854] ppid=15840 vsize=13977988 CPUtime=0.98 cores=1,3,5,7 /proc/15843/task/15854/stat : 15854 (java) R 15840 15843 30500 0 -1 4202560 2819 0 0 0 98 0 0 0 20 0 15 0 47377139 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064007033792 140065077354877 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15855] ppid=15840 vsize=13977988 CPUtime=0.98 cores=1,3,5,7 /proc/15843/task/15855/stat : 15855 (java) R 15840 15843 30500 0 -1 4202560 2531 0 0 0 97 1 0 0 20 0 15 0 47377139 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064005986336 140065071577768 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15856] ppid=15840 vsize=13977988 CPUtime=0.54 cores=1,3,5,7 /proc/15843/task/15856/stat : 15856 (java) S 15840 15843 30500 0 -1 1077944384 2761 0 0 0 54 0 0 0 20 0 15 0 47377139 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064004942576 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15857] ppid=15840 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13977988 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 47377143 14313459712 56186 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 13977988 [startup+3.10258 s] /proc/loadavg: 1.83 1.70 1.66 6/214 15858 /proc/meminfo: memFree=27172696/32770624 swapFree=0/296996 [pid=15843] ppid=15840 vsize=13982084 CPUtime=8.47 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 29843 0 0 0 813 34 0 0 20 0 15 0 47377126 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3495521 185362 3803 1 0 3484295 0 [pid=15843/tid=15845] ppid=15840 vsize=13982084 CPUtime=2.72 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) S 15840 15843 30500 0 -1 1077944384 13931 0 0 0 261 11 0 0 20 0 15 0 47377134 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140065098066464 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13982084 CPUtime=0.2 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) R 15840 15843 30500 0 -1 4202560 237 0 0 0 16 4 0 0 20 0 15 0 47377135 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065086456551 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13982084 CPUtime=0.14 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) R 15840 15843 30500 0 -1 4202560 164 0 0 0 11 3 0 0 20 0 15 0 47377135 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064692898824 140065086456551 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13982084 CPUtime=0.17 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) R 15840 15843 30500 0 -1 4202560 204 0 0 0 13 4 0 0 20 0 15 0 47377135 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065086456551 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13982084 CPUtime=0.19 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) R 15840 15843 30500 0 -1 4202560 324 0 0 0 15 4 0 0 20 0 15 0 47377135 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065073023488 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 47377136 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064011256352 140065093838549 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064010204128 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064009151488 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15854] ppid=15840 vsize=13982084 CPUtime=2.1 cores=1,3,5,7 /proc/15843/task/15854/stat : 15854 (java) S 15840 15843 30500 0 -1 1077944384 3849 0 0 0 210 0 0 0 20 0 15 0 47377139 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064007047664 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15855] ppid=15840 vsize=13982084 CPUtime=2.05 cores=1,3,5,7 /proc/15843/task/15855/stat : 15855 (java) S 15840 15843 30500 0 -1 1077944384 3978 0 0 0 202 3 0 0 20 0 15 0 47377139 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064005995120 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15856] ppid=15840 vsize=13982084 CPUtime=0.81 cores=1,3,5,7 /proc/15843/task/15856/stat : 15856 (java) S 15840 15843 30500 0 -1 1077944384 5575 0 0 0 80 1 0 0 20 0 15 0 47377139 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064004942576 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15857] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 47377143 14317654016 185362 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 8.47 Current children cumulated vsize (KiB) 13982084 [startup+6.30071 s] /proc/loadavg: 2.08 1.75 1.68 3/214 15858 /proc/meminfo: memFree=26227780/32770624 swapFree=0/296996 [pid=15843] ppid=15840 vsize=13982084 CPUtime=12.01 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 33482 0 0 0 1140 61 0 0 20 0 15 0 47377126 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3495521 538643 3803 1 0 3484295 0 [pid=15843/tid=15845] ppid=15840 vsize=13982084 CPUtime=5.81 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) R 15840 15843 30500 0 -1 4202560 16283 0 0 0 551 30 0 0 20 0 15 0 47377134 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140065098064648 140064744011460 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13982084 CPUtime=0.3 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) S 15840 15843 30500 0 -1 1077944384 326 0 0 0 24 6 0 0 20 0 15 0 47377135 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13982084 CPUtime=0.25 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) S 15840 15843 30500 0 -1 1077944384 294 0 0 0 20 5 0 0 20 0 15 0 47377135 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064692898704 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13982084 CPUtime=0.27 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) S 15840 15843 30500 0 -1 1077944384 331 0 0 0 21 6 0 0 20 0 15 0 47377135 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13982084 CPUtime=0.29 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) S 15840 15843 30500 0 -1 1077944384 458 0 0 0 23 6 0 0 20 0 15 0 47377135 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 1014 0 0 0 1 0 0 0 20 0 15 0 47377136 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064011257840 140065093839490 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064010204128 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064009151488 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15854] ppid=15840 vsize=13982084 CPUtime=2.11 cores=1,3,5,7 /proc/15843/task/15854/stat : 15854 (java) S 15840 15843 30500 0 -1 1077944384 3851 0 0 0 211 0 0 0 20 0 15 0 47377139 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064007047664 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15855] ppid=15840 vsize=13982084 CPUtime=2.06 cores=1,3,5,7 /proc/15843/task/15855/stat : 15855 (java) S 15840 15843 30500 0 -1 1077944384 3980 0 0 0 203 3 0 0 20 0 15 0 47377139 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064005995120 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15856] ppid=15840 vsize=13982084 CPUtime=0.81 cores=1,3,5,7 /proc/15843/task/15856/stat : 15856 (java) S 15840 15843 30500 0 -1 1077944384 5576 0 0 0 80 1 0 0 20 0 15 0 47377139 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064004942576 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15857] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 47377143 14317654016 538643 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 12.01 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 2.00 1.74 1.67 3/214 15858 /proc/meminfo: memFree=23960408/32770624 swapFree=0/296996 [pid=15843] ppid=15840 vsize=13982084 CPUtime=18.75 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 36014 0 0 0 1791 84 0 0 20 0 15 0 47377126 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3495521 888810 3803 1 0 3484295 0 [pid=15843/tid=15845] ppid=15840 vsize=13982084 CPUtime=12.12 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) R 15840 15843 30500 0 -1 4202560 17416 0 0 0 1164 48 0 0 20 0 15 0 47377134 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140065098066704 140064744011883 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13982084 CPUtime=0.38 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) S 15840 15843 30500 0 -1 1077944384 521 0 0 0 31 7 0 0 20 0 15 0 47377135 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13982084 CPUtime=0.32 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) S 15840 15843 30500 0 -1 1077944384 533 0 0 0 26 6 0 0 20 0 15 0 47377135 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140064692898704 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13982084 CPUtime=0.35 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) S 15840 15843 30500 0 -1 1077944384 394 0 0 0 28 7 0 0 20 0 15 0 47377135 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13982084 CPUtime=0.37 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) S 15840 15843 30500 0 -1 1077944384 580 0 0 0 30 7 0 0 20 0 15 0 47377135 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13982084 CPUtime=0.01 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 1774 0 0 0 1 0 0 0 20 0 15 0 47377136 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140064011257840 140065093839490 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140064010204128 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140064009151488 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14317654016 888810 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 ################ # More data... # ################ /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14317654016 999729 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13982084 CPUtime=0.02 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 47377143 14317654016 999729 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 60.33 Current children cumulated vsize (KiB) 13982084 [startup+102.301 s] /proc/loadavg: 1.52 1.66 1.65 3/214 15861 /proc/meminfo: memFree=23621900/32770624 swapFree=0/297036 [pid=15843] ppid=15840 vsize=13982084 CPUtime=113.71 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 74629 0 0 0 11260 111 0 0 20 0 15 0 47377126 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3495521 1013638 3810 1 0 3484295 0 [pid=15843/tid=15845] ppid=15840 vsize=13982084 CPUtime=100.71 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) R 15840 15843 30500 0 -1 4202560 33285 0 0 0 10017 54 0 0 20 0 15 0 47377134 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140065098065040 140064737568722 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13982084 CPUtime=1.36 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) S 15840 15843 30500 0 -1 1077944384 2490 0 0 0 124 12 0 0 20 0 15 0 47377135 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13982084 CPUtime=1.31 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) S 15840 15843 30500 0 -1 1077944384 1798 0 0 0 121 10 0 0 20 0 15 0 47377135 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064692898704 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13982084 CPUtime=1.32 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) S 15840 15843 30500 0 -1 1077944384 1937 0 0 0 122 10 0 0 20 0 15 0 47377135 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13982084 CPUtime=1.35 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) S 15840 15843 30500 0 -1 1077944384 1610 0 0 0 124 11 0 0 20 0 15 0 47377135 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13982084 CPUtime=0.05 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 2464 0 0 0 4 1 0 0 20 0 15 0 47377136 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064011257840 140065093839490 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064010204128 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064009151488 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15854] ppid=15840 vsize=13982084 CPUtime=3.28 cores=1,3,5,7 /proc/15843/task/15854/stat : 15854 (java) S 15840 15843 30500 0 -1 1077944384 9543 0 0 0 327 1 0 0 20 0 15 0 47377139 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064007047664 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15855] ppid=15840 vsize=13982084 CPUtime=3.12 cores=1,3,5,7 /proc/15843/task/15855/stat : 15855 (java) S 15840 15843 30500 0 -1 1077944384 9367 0 0 0 308 4 0 0 20 0 15 0 47377139 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064005995120 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15856] ppid=15840 vsize=13982084 CPUtime=1.05 cores=1,3,5,7 /proc/15843/task/15856/stat : 15856 (java) S 15840 15843 30500 0 -1 1077944384 10354 0 0 0 103 2 0 0 20 0 15 0 47377139 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064004942576 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15857] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13982084 CPUtime=0.05 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 394 0 0 0 2 3 0 0 20 0 15 0 47377143 14317654016 1013638 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 113.71 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.84 1.72 1.68 3/212 15940 /proc/meminfo: memFree=23930508/32770624 swapFree=0/297044 [pid=15843] ppid=15840 vsize=13982084 CPUtime=175.86 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 85316 0 0 0 17469 117 0 0 20 0 15 0 47377126 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3495521 1015313 3813 1 0 3484295 0 [pid=15843/tid=15845] ppid=15840 vsize=13982084 CPUtime=160.2 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) R 15840 15843 30500 0 -1 4202560 36696 0 0 0 15965 55 0 0 20 0 15 0 47377134 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140065098065984 140064739019679 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13982084 CPUtime=1.85 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) S 15840 15843 30500 0 -1 1077944384 3189 0 0 0 172 13 0 0 20 0 15 0 47377135 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13982084 CPUtime=1.81 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) S 15840 15843 30500 0 -1 1077944384 2175 0 0 0 171 10 0 0 20 0 15 0 47377135 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064692898704 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13982084 CPUtime=1.82 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) S 15840 15843 30500 0 -1 1077944384 2267 0 0 0 171 11 0 0 20 0 15 0 47377135 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13982084 CPUtime=1.83 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) S 15840 15843 30500 0 -1 1077944384 1926 0 0 0 172 11 0 0 20 0 15 0 47377135 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13982084 CPUtime=0.06 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 2498 0 0 0 5 1 0 0 20 0 15 0 47377136 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064011257840 140065093839490 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064010204128 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064009151488 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15854] ppid=15840 vsize=13982084 CPUtime=3.73 cores=1,3,5,7 /proc/15843/task/15854/stat : 15854 (java) S 15840 15843 30500 0 -1 1077944384 13310 0 0 0 371 2 0 0 20 0 15 0 47377139 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064007047664 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15855] ppid=15840 vsize=13982084 CPUtime=3.27 cores=1,3,5,7 /proc/15843/task/15855/stat : 15855 (java) S 15840 15843 30500 0 -1 1077944384 9836 0 0 0 323 4 0 0 20 0 15 0 47377139 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064005995120 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15856] ppid=15840 vsize=13982084 CPUtime=1.11 cores=1,3,5,7 /proc/15843/task/15856/stat : 15856 (java) S 15840 15843 30500 0 -1 1077944384 11604 0 0 0 108 3 0 0 20 0 15 0 47377139 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064004942576 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15857] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13982084 CPUtime=0.09 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 421 0 0 0 4 5 0 0 20 0 15 0 47377143 14317654016 1015313 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 175.86 Current children cumulated vsize (KiB) 13982084 [startup+222.307 s] /proc/loadavg: 1.66 1.68 1.67 3/213 15943 /proc/meminfo: memFree=23611252/32770624 swapFree=0/297080 [pid=15843] ppid=15840 vsize=13982084 CPUtime=237.61 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 102779 0 0 0 23639 122 0 0 20 0 15 0 47377126 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3495521 976822 3813 1 0 3484295 0 [pid=15843/tid=15845] ppid=15840 vsize=13982084 CPUtime=219.81 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) R 15840 15843 30500 0 -1 4202560 41051 0 0 0 21925 56 0 0 20 0 15 0 47377134 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140065098066560 140064744409484 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13982084 CPUtime=2.22 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) S 15840 15843 30500 0 -1 1077944384 3940 0 0 0 209 13 0 0 20 0 15 0 47377135 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13982084 CPUtime=2.18 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) S 15840 15843 30500 0 -1 1077944384 2713 0 0 0 207 11 0 0 20 0 15 0 47377135 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064692898704 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13982084 CPUtime=2.19 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) S 15840 15843 30500 0 -1 1077944384 2899 0 0 0 207 12 0 0 20 0 15 0 47377135 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13982084 CPUtime=2.2 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) S 15840 15843 30500 0 -1 1077944384 2147 0 0 0 208 12 0 0 20 0 15 0 47377135 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13982084 CPUtime=0.07 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 2944 0 0 0 6 1 0 0 20 0 15 0 47377136 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064011257840 140065093839490 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064010204128 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064009151488 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15854] ppid=15840 vsize=13982084 CPUtime=4.06 cores=1,3,5,7 /proc/15843/task/15854/stat : 15854 (java) S 15840 15843 30500 0 -1 1077944384 18428 0 0 0 404 2 0 0 20 0 15 0 47377139 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064007047664 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15855] ppid=15840 vsize=13982084 CPUtime=3.53 cores=1,3,5,7 /proc/15843/task/15855/stat : 15855 (java) S 15840 15843 30500 0 -1 1077944384 14049 0 0 0 349 4 0 0 20 0 15 0 47377139 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064005995120 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15856] ppid=15840 vsize=13982084 CPUtime=1.12 cores=1,3,5,7 /proc/15843/task/15856/stat : 15856 (java) S 15840 15843 30500 0 -1 1077944384 12758 0 0 0 109 3 0 0 20 0 15 0 47377139 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064004942576 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15857] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13982084 CPUtime=0.12 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 450 0 0 0 5 7 0 0 20 0 15 0 47377143 14317654016 976822 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 237.61 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.69 1.69 1.67 3/217 15958 /proc/meminfo: memFree=23638832/32770624 swapFree=0/297132 [pid=15843] ppid=15840 vsize=13982084 CPUtime=255.82 cores=1,3,5,7 /proc/15843/stat : 15843 (java) S 15840 15843 30500 0 -1 1077944320 105604 0 0 0 25458 124 0 0 20 0 15 0 47377126 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140724442132320 140065093828343 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 /proc/15843/statm: 3495521 964766 3813 1 0 3484295 0 [pid=15843/tid=15845] ppid=15840 vsize=13982084 CPUtime=237.33 cores=1,3,5,7 /proc/15843/task/15845/stat : 15845 (java) R 15840 15843 30500 0 -1 4202560 43092 0 0 0 23677 56 0 0 20 0 15 0 47377134 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140065098066432 140064744409789 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15846] ppid=15840 vsize=13982084 CPUtime=2.38 cores=1,3,5,7 /proc/15843/task/15846/stat : 15846 (java) S 15840 15843 30500 0 -1 1077944384 4114 0 0 0 225 13 0 0 20 0 15 0 47377135 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140065059109648 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15847] ppid=15840 vsize=13982084 CPUtime=2.35 cores=1,3,5,7 /proc/15843/task/15847/stat : 15847 (java) S 15840 15843 30500 0 -1 1077944384 2761 0 0 0 224 11 0 0 20 0 15 0 47377135 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064692898704 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15848] ppid=15840 vsize=13982084 CPUtime=2.36 cores=1,3,5,7 /proc/15843/task/15848/stat : 15848 (java) S 15840 15843 30500 0 -1 1077944384 2937 0 0 0 224 12 0 0 20 0 15 0 47377135 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064691846160 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15849] ppid=15840 vsize=13982084 CPUtime=2.37 cores=1,3,5,7 /proc/15843/task/15849/stat : 15849 (java) S 15840 15843 30500 0 -1 1077944384 2191 0 0 0 225 12 0 0 20 0 15 0 47377135 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064690793616 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15850] ppid=15840 vsize=13982084 CPUtime=0.08 cores=1,3,5,7 /proc/15843/task/15850/stat : 15850 (java) S 15840 15843 30500 0 -1 1077944384 2949 0 0 0 7 1 0 0 20 0 15 0 47377136 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064011257840 140065093839490 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15851] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15851/stat : 15851 (java) S 15840 15843 30500 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064010204128 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15852] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15852/stat : 15852 (java) S 15840 15843 30500 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 47377137 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064009151488 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15853] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15853/stat : 15853 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377139 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064008100048 140065093846939 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15854] ppid=15840 vsize=13982084 CPUtime=4.06 cores=1,3,5,7 /proc/15843/task/15854/stat : 15854 (java) S 15840 15843 30500 0 -1 1077944384 18428 0 0 0 404 2 0 0 20 0 15 0 47377139 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064007047664 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15855] ppid=15840 vsize=13982084 CPUtime=3.53 cores=1,3,5,7 /proc/15843/task/15855/stat : 15855 (java) S 15840 15843 30500 0 -1 1077944384 14516 0 0 0 349 4 0 0 20 0 15 0 47377139 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064005995120 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15856] ppid=15840 vsize=13982084 CPUtime=1.12 cores=1,3,5,7 /proc/15843/task/15856/stat : 15856 (java) S 15840 15843 30500 0 -1 1077944384 12758 0 0 0 109 3 0 0 20 0 15 0 47377139 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064004942576 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15857] ppid=15840 vsize=13982084 CPUtime=0 cores=1,3,5,7 /proc/15843/task/15857/stat : 15857 (java) S 15840 15843 30500 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 47377140 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064003890272 140065093838549 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 [pid=15843/tid=15858] ppid=15840 vsize=13982084 CPUtime=0.14 cores=1,3,5,7 /proc/15843/task/15858/stat : 15858 (java) S 15840 15843 30500 0 -1 1077944384 458 0 0 0 6 8 0 0 20 0 15 0 47377143 14317654016 964766 18446744073709551615 4194304 4196468 140724442149776 140064002836784 140065093839490 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23838720 140724442157467 140724442157649 140724442157649 140724442161103 0 Current children cumulated CPU time (s) 255.82 Current children cumulated vsize (KiB) 13982084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 15843 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.042 CPU time (s): 255.88 CPU user time (s): 254.616 CPU system time (s): 1.26392 CPU usage (%): 106.598 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 254.616 system time used= 1.26392 maximum resident set size= 4081776 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106830 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10282 involuntary context switches= 461 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.96537 second user time and 1.64327 second system time The end
Begin job on node133 at 2017-08-06 06:46:11 IDJOB=4256718 IDBENCH=140592 IDSOLVER=2640 FILE ID=node133/4256718-1501995618 RUNJOBID= node133-1501986359-8060 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - Hybrid 2017-07-26 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256718-1501995618/watcher-4256718-1501995618 -o /tmp/evaluation-result-4256718-1501995618/solver-4256718-1501995618 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501986359-8060 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1609045155 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256718-1501995618.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509 RANDOM SEED=1609045155 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27517560 kB MemAvailable: 27976240 kB Buffers: 178356 kB Cached: 564348 kB SwapCached: 0 kB Active: 4512684 kB Inactive: 313704 kB Active(anon): 4084032 kB Inactive(anon): 16728 kB Active(file): 428652 kB Inactive(file): 296976 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 43148 kB Writeback: 0 kB AnonPages: 4083344 kB Mapped: 52564 kB Shmem: 17084 kB Slab: 124496 kB SReclaimable: 97772 kB SUnreclaim: 26724 kB KernelStack: 3520 kB PageTables: 12924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4847956 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3954688 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 61948 MiB End job on node133 at 2017-08-06 06:50:12