Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - ALNS 2017-07-26 | SAT (TO) | 42 | 2520.05 | 2443.54 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml |
| MD5SUM | f189c1eeae9c695eff92bc09b1867153 |
| 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.1299 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2401 |
| Number of constraints | 18424 |
| Number of domains | 1 |
| Minimum domain size | 1176 |
| Maximum domain size | 1176 |
| Distribution of domain sizes | [{"size":1176,"count":1176}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 48 |
| Distribution of variable degrees | [{"degree":0,"count":1225},{"degree":48,"count":1176}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":18424}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 18424 |
| Distribution of constraint types | [{"type":"intension","count":18424}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.22/0.41 c version: 2017-07-26 0.22/0.41 c seed: 1390563491 0.22/0.41 c timeout: 2520 0.22/0.41 c memlimit: 11000 0.22/0.41 c nbcore: 4 0.40/0.43 c Parsing instance... 6.95/2.59 c Parsing done, starting search... 32.55/26.89 o 1175 347.70/329.60 o 1152 366.91/348.30 o 1151 373.84/355.02 o 1149 564.49/541.28 o 47 702.16/674.94 o 46 850.38/818.42 o 45 1555.53/1505.28 o 44 2332.79/2261.50 o 43 2441.55/2367.13 o 42 2520.00/2443.50 s SATISFIABLE 2520.00/2443.51 v <instantiation> 2520.00/2443.51 v <list> 2520.00/2443.51 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[0][47] x[0][48] 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[1][47] x[1][48] 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[2][47] x[2][48] 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[3][47] x[3][48] 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[4][47] x[4][48] 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[5][47] x[5][48] 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[6][47] x[6][48] 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[7][47] x[7][48] 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[8][47] x[8][48] 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[9][47] x[9][48] 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[10][47] x[10][48] 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[11][47] x[11][48] 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[12][47] x[12][48] 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[13][47] x[13][48] 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[14][47] x[14][48] 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[15][47] x[15][48] 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[16][47] x[16][48] 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[17][47] x[17][48] 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[18][47] x[18][48] 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[19][47] x[19][48] 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[20][47] x[20][48] 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[21][47] x[21][48] 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[22][47] x[22][48] 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[23][47] x[23][48] 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[24][47] x[24][48] 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[25][47] x[25][48] 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[26][47] x[26][48] 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[27][47] x[27][48] 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[28][47] x[28][48] 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[29][47] x[29][48] 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[30][47] x[30][48] 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[31][47] x[31][48] 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[32][47] x[32][48] 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[33][47] x[33][48] 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[34][47] x[34][48] 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[35][47] x[35][48] 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[36][47] x[36][48] 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[37][47] x[37][48] 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[38][47] x[38][48] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[44][45] x[44][46] x[44][47] x[44][48] x[45][46] x[45][47] x[45][48] x[46][47] x[46][48] x[47][48] 2520.00/2443.51 v </list> 2520.00/2443.51 v <values> 2520.00/2443.51 v 42 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 41 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 40 40 40 40 40 40 40 40 40 40 40 40 40 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 39 39 39 39 39 39 39 39 39 39 39 39 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 38 38 38 38 38 38 38 38 38 38 38 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 37 37 37 37 37 37 37 37 37 37 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 36 36 36 36 36 36 36 36 36 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 35 35 35 35 35 35 35 35 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 34 34 34 34 34 34 34 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 33 33 33 33 33 33 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 32 32 32 32 32 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 31 31 31 31 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 30 30 30 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 29 29 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 28 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 42 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 40 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 38 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 37 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 36 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 35 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 34 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 33 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 32 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 31 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 30 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 29 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 28 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 27 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 26 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 25 24 24 24 24 24 24 24 24 24 24 24 24 24 24 24 23 23 23 23 23 23 23 23 23 23 23 23 23 23 22 22 22 22 22 22 22 22 22 22 22 22 22 21 21 21 21 21 21 21 21 21 21 21 21 20 20 20 20 20 20 20 20 20 20 20 19 19 19 19 19 19 19 19 19 19 18 18 18 18 18 18 18 18 18 17 17 17 17 17 17 17 17 16 16 16 16 16 16 16 15 15 15 15 15 15 14 14 14 14 14 13 13 13 13 12 12 12 11 11 10 2520.00/2443.51 v </values> 2520.00/2443.51 v </instantiation>
OK 42
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 (11537 MiB free)
memory of node 1: 16384 MiB (15366 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273359-1502908989/watcher-4273359-1502908989 -o /tmp/evaluation-result-4273359-1502908989/solver-4273359-1502908989 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4850 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1390563491 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273359-1502908989.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5898, runsolver pid=5895
[startup+0.10011 s]*
/proc/loadavg: 1.21 1.33 1.36 2/200 5899
/proc/meminfo: memFree=27549592/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=356952 memory=5516 CPUtime=0 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 1745 0 0 0 0 0 0 0 20 0 2 0 190551434 365518848 1379 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 89238 1379 1044 1 0 79208 0
[pid=5898/tid=5900] ppid=5895 vsize=356952 memory=-1597232446413093188 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) S 5895 5898 7084 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 190551444 365518848 1379 18446744073709551615 4194304 4196468 140731746202032 139863564147104 139863559916162 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 356952 KiB
Current children cumulated memory: 5516 KiB
[startup+0.209626 s]*
/proc/loadavg: 1.21 1.33 1.36 2/213 5912
/proc/meminfo: memFree=27537684/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13976388 memory=26096 CPUtime=0.06 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 6018 0 0 0 6 0 0 0 20 0 15 0 190551434 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3494097 6524 3284 1 0 3482876 0
[pid=5898/tid=5900] ppid=5895 vsize=13976388 memory=-1597232446413093188 CPUtime=0.05 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 4125 0 0 0 5 0 0 0 20 0 15 0 190551444 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139863564147296 139863559926941 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13976388 memory=732370045826186213 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13976388 memory=139907488732800 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 190551445 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13976388 memory=139907488732800 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 190551446 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 190551447 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862476002080 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 190551447 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862474949744 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13976388 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) S 5895 5898 7084 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 190551449 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862472845936 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551449 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862471793136 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13976388 memory=139907488732800 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) R 5895 5898 7084 0 -1 4202560 225 0 0 0 0 0 0 0 20 0 15 0 190551449 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916950 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13976388 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13976388 memory=139907488732800 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551455 14311821312 6524 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13976388 KiB
Current children cumulated memory: 26096 KiB
[startup+0.310366 s]*
/proc/loadavg: 1.21 1.33 1.36 3/214 5913
/proc/meminfo: memFree=27524380/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13975920 memory=39976 CPUtime=0.22 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 10279 0 0 0 20 2 0 0 20 0 15 0 190551434 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3493980 9994 3489 1 0 3482759 0
[pid=5898/tid=5900] ppid=5895 vsize=13975920 memory=6655300316396806240 CPUtime=0.16 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 8020 0 0 0 14 2 0 0 20 0 15 0 190551444 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139863564113168 139863545585175 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13975920 memory=4211833730499757833 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13975920 memory=139907488732800 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 190551445 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13975920 memory=139907488732800 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 190551446 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 190551447 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862476002080 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 190551447 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862474949744 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) R 5895 5898 7084 0 -1 4202560 460 0 0 0 1 0 0 0 20 0 15 0 190551449 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862472845936 139863552890057 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) S 5895 5898 7084 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 15 0 190551449 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862471793136 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13975920 memory=139907488732800 CPUtime=0.04 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) S 5895 5898 7084 0 -1 1077944384 385 0 0 0 4 0 0 0 20 0 15 0 190551449 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13975920 memory=139907488732800 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551455 14311342080 9994 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39976 KiB
[startup+0.700854 s]
/proc/loadavg: 1.21 1.33 1.36 3/214 5913
/proc/meminfo: memFree=27510636/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13977988 memory=92972 CPUtime=1.09 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 15368 0 0 0 104 5 0 0 20 0 15 0 190551434 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3494497 23243 3727 1 0 3483271 0
[pid=5898/tid=5900] ppid=5895 vsize=13977988 memory=211 CPUtime=0.54 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 10332 0 0 0 50 4 0 0 20 0 15 0 190551444 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139863564138632 139863543948645 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13977988 memory=7165352523810944569 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551445 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13977988 memory=5787495302022849088 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 190551445 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13977988 memory=5788930165031592000 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 190551446 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13977988 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 190551447 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862476002080 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13977988 memory=7897517683652307531 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 190551447 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862474949744 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13977988 memory=-5345911753256963030 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13977988 memory=-7384994778349281184 CPUtime=0.17 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) R 5895 5898 7084 0 -1 4202560 1787 0 0 0 17 0 0 0 20 0 15 0 190551449 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862472834728 139863544303355 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13977988 memory=-6804530832991035292 CPUtime=0.18 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) R 5895 5898 7084 0 -1 4202560 1108 0 0 0 18 0 0 0 20 0 15 0 190551449 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862471774152 139863544813919 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13977988 memory=7752549240514114323 CPUtime=0.18 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) R 5895 5898 7084 0 -1 1077944384 766 0 0 0 18 0 0 0 20 0 15 0 190551449 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916162 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13977988 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13977988 memory=-6512121203659200609 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551455 14313459712 23243 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 92972 KiB
[startup+1.50071 s]
/proc/loadavg: 1.21 1.33 1.36 5/214 5913
/proc/meminfo: memFree=27388516/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13977988 memory=229624 CPUtime=3.77 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 20008 0 0 0 369 8 0 0 20 0 15 0 190551434 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3494497 57406 3780 1 0 3483271 0
[pid=5898/tid=5900] ppid=5895 vsize=13977988 memory=219976 CPUtime=1.3 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 10685 0 0 0 125 5 0 0 20 0 15 0 190551444 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139863564139280 139863206305482 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13977988 memory=131008 CPUtime=0.02 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 15 0 190551445 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13977988 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 5 0 0 0 1 0 0 0 20 0 15 0 190551445 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13977988 memory=4356259848051909271 CPUtime=0.01 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 190551445 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13977988 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 15 0 190551445 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13977988 memory=279814703496256 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 190551446 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13977988 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 190551447 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862476002080 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 190551447 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862474949744 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13977988 memory=139907351857072 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13977988 memory=25596438 CPUtime=0.91 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) R 5895 5898 7084 0 -1 4202560 3018 0 0 0 91 0 0 0 20 0 15 0 190551449 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862472834640 139863541258658 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13977988 memory=25851419 CPUtime=0.91 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) R 5895 5898 7084 0 -1 4202560 1902 0 0 0 91 0 0 0 20 0 15 0 190551449 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862471773464 139863543401799 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13977988 memory=7680170660397595203 CPUtime=0.54 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) S 5895 5898 7084 0 -1 1077944384 2859 0 0 0 54 0 0 0 20 0 15 0 190551449 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 190551455 14313459712 57406 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 3.77 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 229624 KiB
[startup+3.11032 s]
/proc/loadavg: 1.35 1.36 1.37 3/214 5913
/proc/meminfo: memFree=27047028/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13982084 memory=596316 CPUtime=8.43 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 27545 0 0 0 816 27 0 0 20 0 15 0 190551434 14317654016 149079 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3495521 149079 3803 1 0 3484295 0
################
# More data... #
################
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 167002 0 0 0 235647 86 0 0 20 0 15 0 190551444 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139863564142768 139863205218922 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13982084 memory=1958948 CPUtime=22.29 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 32518 0 0 0 2209 20 0 0 20 0 15 0 190551445 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13982084 memory=1942532 CPUtime=22.35 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 29276 0 0 0 2213 22 0 0 20 0 15 0 190551445 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13982084 memory=1942532 CPUtime=22.34 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 30907 0 0 0 2214 20 0 0 20 0 15 0 190551445 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13982084 memory=1935864 CPUtime=22.37 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 30904 0 0 0 2216 21 0 0 20 0 15 0 190551445 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13982084 memory=279814704507232 CPUtime=1.03 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 62444 0 0 0 84 19 0 0 20 0 15 0 190551446 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 70 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13982084 memory=636 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862476002144 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13982084 memory=1935864 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862474949760 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13982084 memory=1935864 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13982084 memory=1935864 CPUtime=3.27 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) S 5895 5898 7084 0 -1 1077944384 16347 0 0 0 325 2 0 0 20 0 15 0 190551449 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862472845936 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13982084 memory=1935864 CPUtime=3.53 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) S 5895 5898 7084 0 -1 1077944384 19601 0 0 0 351 2 0 0 20 0 15 0 190551449 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862471793136 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13982084 memory=1949200 CPUtime=1.14 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) S 5895 5898 7084 0 -1 1077944384 18970 0 0 0 112 2 0 0 20 0 15 0 190551449 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13982084 memory=1836 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13982084 memory=796 CPUtime=1.45 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1518 0 0 0 65 80 0 0 20 0 15 0 190551455 14317654016 483966 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 78 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 2457.22 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1935864 KiB
[startup+2442.3 s]
/proc/loadavg: 0.79 1.22 1.40 2/192 6136
/proc/meminfo: memFree=29468908/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13982084 memory=1867632 CPUtime=2518.8 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 415000 0 0 0 251621 259 0 0 20 0 15 0 190551434 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3495521 466908 3835 1 0 3484295 0
[pid=5898/tid=5900] ppid=5895 vsize=13982084 memory=1867632 CPUtime=2416.78 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 168569 0 0 0 241591 87 0 0 20 0 15 0 190551444 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863564142736 139863212124962 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13982084 memory=1867632 CPUtime=22.81 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 32841 0 0 0 2261 20 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13982084 memory=1878408 CPUtime=22.86 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 29712 0 0 0 2264 22 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13982084 memory=1875328 CPUtime=22.86 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 31882 0 0 0 2266 20 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13982084 memory=1889180 CPUtime=22.89 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 31369 0 0 0 2268 21 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13982084 memory=1875328 CPUtime=1.05 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 62690 0 0 0 86 19 0 0 20 0 15 0 190551446 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 70 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862476002144 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862474949760 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13982084 memory=1889180 CPUtime=3.27 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) S 5895 5898 7084 0 -1 1077944384 16350 0 0 0 325 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862472845936 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13982084 memory=1867632 CPUtime=3.53 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) S 5895 5898 7084 0 -1 1077944384 19605 0 0 0 351 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862471793136 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13982084 memory=1236 CPUtime=1.14 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) S 5895 5898 7084 0 -1 1077944384 18977 0 0 0 112 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13982084 memory=279814704507232 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13982084 memory=288230574492221466 CPUtime=1.49 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1544 0 0 0 67 82 0 0 20 0 15 0 190551455 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 78 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 2518.8 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1867632 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2443.5 s]
/proc/loadavg: 0.81 1.22 1.40 2/192 6136
/proc/meminfo: memFree=29468908/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13982084 memory=1867632 CPUtime=2520 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 415000 0 0 0 251741 259 0 0 20 0 15 0 190551434 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3495521 466908 3835 1 0 3484295 0
[pid=5898/tid=5900] ppid=5895 vsize=13982084 memory=1878408 CPUtime=2417.98 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 168569 0 0 0 241711 87 0 0 20 0 15 0 190551444 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863564142736 139863205218944 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13982084 memory=1875328 CPUtime=22.81 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 32841 0 0 0 2261 20 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13982084 memory=1889180 CPUtime=22.86 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 29712 0 0 0 2264 22 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13982084 memory=1875328 CPUtime=22.86 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 31882 0 0 0 2266 20 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13982084 memory=1867632 CPUtime=22.89 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 31369 0 0 0 2268 21 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13982084 memory=1889180 CPUtime=1.05 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 62690 0 0 0 86 19 0 0 20 0 15 0 190551446 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 70 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862476002144 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862474949760 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13982084 memory=1236 CPUtime=3.27 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) S 5895 5898 7084 0 -1 1077944384 16350 0 0 0 325 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862472845936 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13982084 memory=279814704507232 CPUtime=3.53 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) S 5895 5898 7084 0 -1 1077944384 19605 0 0 0 351 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862471793136 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13982084 memory=1867632 CPUtime=1.14 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) S 5895 5898 7084 0 -1 1077944384 18977 0 0 0 112 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13982084 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13982084 memory=15884 CPUtime=1.49 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1544 0 0 0 67 82 0 0 20 0 15 0 190551455 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 78 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1867632 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2443.54 s]
# the end of solver process 5898 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.44 s, system=2.61488 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2443.5 s]
/proc/loadavg: 0.81 1.22 1.40 2/192 6136
/proc/meminfo: memFree=29468908/32770624 swapFree=67108776/67108860
[pid=5898] ppid=5895 vsize=13982084 memory=1867632 CPUtime=2520 cores=1,3,5,7
/proc/5898/stat : 5898 (java) S 5895 5898 7084 0 -1 1077944320 415000 0 0 0 251741 259 0 0 20 0 15 0 190551434 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 140731746184576 139863559905015 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
/proc/5898/statm: 3495521 466908 3835 1 0 3484295 0
[pid=5898/tid=5900] ppid=5895 vsize=13982084 memory=1878408 CPUtime=2417.98 cores=1,3,5,7
/proc/5898/task/5900/stat : 5900 (java) R 5895 5898 7084 0 -1 4202560 168569 0 0 0 241711 87 0 0 20 0 15 0 190551444 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863564142736 139863205218944 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5901] ppid=5895 vsize=13982084 memory=1875328 CPUtime=22.81 cores=1,3,5,7
/proc/5898/task/5901/stat : 5901 (java) S 5895 5898 7084 0 -1 1077944384 32841 0 0 0 2261 20 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863160548240 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5902] ppid=5895 vsize=13982084 memory=1889180 CPUtime=22.86 cores=1,3,5,7
/proc/5898/task/5902/stat : 5902 (java) S 5895 5898 7084 0 -1 1077944384 29712 0 0 0 2264 22 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863159495440 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5903] ppid=5895 vsize=13982084 memory=1875328 CPUtime=22.86 cores=1,3,5,7
/proc/5898/task/5903/stat : 5903 (java) S 5895 5898 7084 0 -1 1077944384 31882 0 0 0 2266 20 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863158443152 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5904] ppid=5895 vsize=13982084 memory=1867632 CPUtime=22.89 cores=1,3,5,7
/proc/5898/task/5904/stat : 5904 (java) S 5895 5898 7084 0 -1 1077944384 31369 0 0 0 2268 21 0 0 20 0 15 0 190551445 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139863157390352 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5905] ppid=5895 vsize=13982084 memory=1889180 CPUtime=1.05 cores=1,3,5,7
/proc/5898/task/5905/stat : 5905 (java) S 5895 5898 7084 0 -1 1077944384 62690 0 0 0 86 19 0 0 20 0 15 0 190551446 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862477056112 139863559916162 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 70 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5906] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5906/stat : 5906 (java) S 5895 5898 7084 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862476002144 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5907] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5907/stat : 5907 (java) S 5895 5898 7084 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 190551447 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862474949760 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5908] ppid=5895 vsize=13982084 memory=1867632 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5908/stat : 5908 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862473898064 139863559923611 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5909] ppid=5895 vsize=13982084 memory=1236 CPUtime=3.27 cores=1,3,5,7
/proc/5898/task/5909/stat : 5909 (java) S 5895 5898 7084 0 -1 1077944384 16350 0 0 0 325 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862472845936 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5910] ppid=5895 vsize=13982084 memory=279814704507232 CPUtime=3.53 cores=1,3,5,7
/proc/5898/task/5910/stat : 5910 (java) S 5895 5898 7084 0 -1 1077944384 19605 0 0 0 351 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862471793136 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5911] ppid=5895 vsize=13982084 memory=1867632 CPUtime=1.14 cores=1,3,5,7
/proc/5898/task/5911/stat : 5911 (java) S 5895 5898 7084 0 -1 1077944384 18977 0 0 0 112 2 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862470740848 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5912] ppid=5895 vsize=13982084 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/5898/task/5912/stat : 5912 (java) S 5895 5898 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 190551449 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862469688288 139863559915221 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
[pid=5898/tid=5913] ppid=5895 vsize=13982084 memory=15884 CPUtime=1.49 cores=1,3,5,7
/proc/5898/task/5913/stat : 5913 (java) S 5895 5898 7084 0 -1 1077944384 1544 0 0 0 67 82 0 0 20 0 15 0 190551455 14317654016 466908 18446744073709551615 4194304 4196468 140731746202032 139862468635056 139863559916162 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 78 0 0 6293624 6294260 39235584 140731746206068 140731746206249 140731746206249 140731746209743 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1867632 KiB
Child status: 143
Real time (s): 2443.54
CPU time (s): 2520.05
CPU user time (s): 2517.44
CPU system time (s): 2.61488
CPU usage (%): 103.131
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 4186176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.44
system time used= 2.61488
maximum resident set size= 4186408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 416648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71763
involuntary context switches= 3760
# summary of solver processes directly reported to runsolver:
# pid: 5898
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.44
# total CPU system time (s): 2.61488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1138 second user time and 23.0472 second system time
The end
Begin job on node132 at 2017-08-16 20:28:42 IDJOB=4273359 IDBENCH=140594 IDSOLVER=2665 FILE ID=node132/4273359-1502908989 RUNJOBID= node132-1502658038-4850 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - ALNS 2017-07-26 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4273359-1502908989/watcher-4273359-1502908989 -o /tmp/evaluation-result-4273359-1502908989/solver-4273359-1502908989 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4850 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1390563491 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273359-1502908989.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153 RANDOM SEED=1390563491 node132.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.74 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.74 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.74 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.74 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: 27549864 kB MemAvailable: 28218336 kB Buffers: 312792 kB Cached: 668500 kB SwapCached: 84 kB Active: 4434120 kB Inactive: 332876 kB Active(anon): 3733688 kB Inactive(anon): 109976 kB Active(file): 700432 kB Inactive(file): 222900 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108776 kB Dirty: 43160 kB Writeback: 4 kB AnonPages: 3781708 kB Mapped: 86704 kB Shmem: 57960 kB Slab: 148952 kB SReclaimable: 121948 kB SUnreclaim: 27004 kB KernelStack: 3504 kB PageTables: 12892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4898944 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3651584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61988 MiB End job on node132 at 2017-08-16 21:09:25