Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: OscaR - ALNS 2017-06-30 | SAT (TO) | 12 | 2400.0601 | 2323.23 |
| 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.28/0.35 c version: 2017-06-30 0.28/0.35 c seed: 2092215545 0.28/0.35 c timeout: 2400 0.28/0.35 c memlimit: 15500 0.28/0.35 c nbcore: 4 0.28/0.37 c Parsing instance... 6.46/2.38 c Parsing done, starting search... 32.19/26.08 o 1175 311.95/291.60 o 1174 338.49/317.56 o 1172 368.07/346.37 o 1171 383.26/361.11 o 1170 433.67/410.38 o 28 559.73/533.20 o 27 719.57/688.68 o 26 1207.87/1164.13 o 25 1350.05/1302.32 o 24 1379.00/1330.50 o 23 1409.94/1360.82 o 22 1428.55/1378.95 o 21 1438.13/1387.72 o 20 1465.23/1414.30 o 19 1467.62/1416.65 o 18 1497.03/1445.32 o 17 1503.97/1452.02 o 16 1758.42/1699.49 o 15 1771.05/1711.76 o 12 2400.01/2323.20 s SATISFIABLE 2400.01/2323.21 v <instantiation> 2400.01/2323.21 v <list> 2400.01/2323.21 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] 2400.01/2323.21 v </list> 2400.01/2323.21 v <values> 2400.01/2323.21 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 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 3 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 4 2 4 2 4 4 5 2 2 3 4 3 3 2 2 5 3 2 2 2 2 2 2 4 4 3 4 4 2 3 4 4 4 4 4 3 5 3 5 5 5 3 4 5 5 2 4 3 3 2 3 3 4 5 2 2 2 2 5 5 2 3 3 3 3 3 3 5 2 3 3 12 2 5 3 5 12 12 3 4 4 4 12 12 12 3 12 12 12 2 12 2 5 2 2 2 12 4 4 2 2 2 12 12 2 2 12 3 4 3 3 12 3 4 3 2 4 4 3 3 3 4 4 3 2 3 3 3 4 3 3 3 2 3 2 4 4 2 2 5 3 2 2 2 2 3 3 2 2 4 4 4 5 5 3 2 5 3 3 12 5 3 3 5 3 3 3 3 3 3 12 5 4 3 2 3 2 12 2 2 2 12 4 2 2 2 2 3 3 2 3 3 5 3 12 12 3 2 2 3 12 12 11 11 12 4 12 3 11 11 11 4 11 4 4 2 11 2 3 2 2 2 3 12 2 2 12 2 11 4 2 3 3 3 3 3 3 11 2 4 3 3 2 4 2 2 2 5 2 2 2 2 2 2 2 3 2 3 2 3 3 3 2 2 4 3 4 12 2 2 3 12 2 2 12 3 2 2 3 3 3 5 5 3 12 4 4 4 4 4 5 3 3 5 2 5 12 12 2 2 12 4 3 2 2 2 12 4 4 2 12 5 5 12 4 4 4 2 5 3 3 11 3 3 3 3 3 3 11 12 12 3 2 3 2 11 2 2 2 11 11 3 12 2 2 3 3 2 3 3 12 3 11 11 3 2 5 5 11 3 4 2 4 4 4 3 12 12 5 2 5 2 12 2 2 2 5 11 3 12 4 2 5 12 2 2 3 3 3 5 3 4 2 10 3 4 4 2 4 10 10 4 10 11 11 2 10 2 3 12 3 2 3 12 2 2 12 2 10 11 12 2 11 3 4 3 3 10 12 3 4 12 2 4 4 4 3 9 11 11 2 9 2 3 12 12 2 11 12 12 2 12 2 9 11 12 2 11 3 4 3 3 4 12 3 3 3 3 3 3 5 12 12 3 2 3 2 5 2 2 2 12 10 3 12 2 2 3 3 2 3 3 12 3 4 4 3 2 5 12 5 5 5 12 4 5 5 2 4 11 11 2 2 11 3 5 2 2 2 11 5 5 2 2 12 5 11 12 12 5 2 2 12 12 12 12 12 12 4 2 4 2 3 11 11 2 3 11 2 2 11 2 12 12 2 2 12 3 5 3 3 12 11 2 2 2 2 3 2 2 3 12 12 4 4 4 12 2 2 12 3 12 4 2 2 3 12 2 2 2 2 2 2 3 10 10 11 4 11 11 2 10 2 3 2 12 2 3 12 2 2 2 12 10 11 2 2 11 3 5 3 3 10 12 9 11 4 11 4 2 9 2 3 12 12 2 3 12 2 2 12 12 9 11 12 2 11 3 5 3 3 9 12 11 9 11 4 2 8 2 3 2 2 2 3 12 2 2 2 2 8 11 2 2 11 3 5 3 3 8 2 4 5 12 2 12 2 10 2 2 2 3 4 12 2 2 2 3 10 3 2 10 12 12 10 4 11 2 11 11 2 8 3 3 3 2 3 3 12 2 2 2 4 4 11 2 3 3 3 3 3 3 9 2 10 2 11 2 3 3 2 3 3 12 2 2 12 2 11 10 2 2 3 3 3 3 3 11 12 3 11 2 3 2 2 2 3 12 11 2 12 2 4 9 3 2 10 4 4 3 3 4 12 2 12 2 12 12 4 2 2 3 12 3 3 3 2 12 3 3 3 3 2 2 2 12 2 3 12 12 2 3 12 10 2 2 2 4 11 12 2 4 4 4 12 12 7 2 2 11 11 10 2 3 3 11 3 3 3 4 11 4 4 2 2 4 2 3 11 2 2 4 10 3 2 2 2 3 3 3 2 2 12 5 10 4 10 3 3 10 4 4 4 3 10 3 11 2 2 10 5 2 2 2 2 11 2 10 12 2 2 3 9 3 3 3 12 9 4 2 12 4 2 2 2 9 12 2 3 12 3 10 2 2 12 4 2 2 10 2 12 2 12 3 2 4 2 3 11 3 2 2 10 11 12 10 9 3 3 2 2 10 2 12 12 2 3 3 3 3 3 3 12 2 3 11 4 12 2 3 5 12 11 2 2 2 2 3 3 3 3 2 4 3 12 11 3 2 2 2 8 4 4 12 11 5 12 4 2 4 2 2 4 2 2 3 4 12 2 4 2 12 2 5 11 2 4 11 12 5 3 3 7 12 3 12 9 11 12 12 3 11 12 3 3 3 3 11 2 2 8 2 2 11 2 2 2 3 11 12 11 11 11 3 5 5 12 3 2 11 12 5 2 10 3 2 3 11 12 2400.01/2323.21 v </values> 2400.01/2323.21 v </instantiation>
OK 12
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-4248594-1502147131/watcher-4248594-1502147131 -o /tmp/evaluation-result-4248594-1502147131/solver-4248594-1502147131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502141573-29674 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 2092215545 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248594-1502147131.xml pid=30305 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.15 1.32 1.38 2/202 30308 /proc/meminfo: memFree=29296104/32770624 swapFree=0/359672 [pid=30308] ppid=30305 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/30308/stat : 30308 (runsolver) D 30305 30308 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 62528359 24240128 106 18446744073709551615 4194304 4338465 140721028249984 140721028247624 139955365077719 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 12410880 140721028251755 140721028252233 140721028252233 140721028255690 0 /proc/30308/statm: 5918 106 53 36 0 2156 0 [startup+0.100135 s] /proc/loadavg: 1.15 1.32 1.38 2/202 30308 /proc/meminfo: memFree=29296104/32770624 swapFree=0/359672 [pid=30308] ppid=30305 vsize=12512256 CPUtime=0.03 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 3924 0 0 0 2 1 0 0 20 0 9 0 62528359 12812550144 4512 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3128064 4512 2112 1 0 3117561 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12512256 [startup+0.200236 s] /proc/loadavg: 1.15 1.32 1.38 2/202 30308 /proc/meminfo: memFree=29296104/32770624 swapFree=0/359672 [pid=30308] ppid=30305 vsize=12915536 CPUtime=0.11 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 8050 0 0 0 9 2 0 0 20 0 15 0 62528359 13225508864 7870 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3228884 7870 3385 1 0 3217663 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 12915536 [startup+0.30025 s] /proc/loadavg: 1.15 1.32 1.38 2/202 30308 /proc/meminfo: memFree=29296104/32770624 swapFree=0/359672 [pid=30308] ppid=30305 vsize=12914512 CPUtime=0.28 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 10686 0 0 0 25 3 0 0 20 0 15 0 62528359 13224460288 9887 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3228628 9887 3538 1 0 3217407 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12914512 [startup+0.700181 s] /proc/loadavg: 1.15 1.32 1.38 2/202 30308 /proc/meminfo: memFree=29296104/32770624 swapFree=0/359672 [pid=30308] ppid=30305 vsize=12916580 CPUtime=1.27 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 15459 0 0 0 122 5 0 0 20 0 15 0 62528359 13226577920 23344 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3229145 23344 3726 1 0 3217919 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 12916580 [startup+1.50148 s] /proc/loadavg: 1.15 1.32 1.38 6/217 30323 /proc/meminfo: memFree=29095392/32770624 swapFree=0/359956 [pid=30308] ppid=30305 vsize=12916580 CPUtime=3.85 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 18258 0 0 0 374 11 0 0 20 0 15 0 62528359 13226577920 59723 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3229145 59723 3782 1 0 3217919 0 [pid=30308/tid=30310] ppid=30305 vsize=12916580 CPUtime=1.33 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) S 30305 30308 25100 0 -1 1077944384 10340 0 0 0 128 5 0 0 20 0 15 0 62528365 13226577920 59723 18446744073709551615 4194304 4196468 140723293201056 140570749416512 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12916580 CPUtime=0.02 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) R 30305 30308 25100 0 -1 4202560 80 0 0 0 2 0 0 0 20 0 15 0 62528366 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570668006232 140570730207778 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12916580 CPUtime=0.01 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) R 30305 30308 25100 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 15 0 62528366 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570738279742 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12916580 CPUtime=0.02 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) R 30305 30308 25100 0 -1 4202560 36 0 0 0 2 0 0 0 20 0 15 0 62528366 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570665900632 140570730207737 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12916580 CPUtime=0.01 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) R 30305 30308 25100 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 15 0 62528366 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570738279742 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12916580 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 62528367 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570228368800 140570745190101 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12916580 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62528367 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570227316256 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12916580 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62528368 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570226263408 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12916580 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30319] ppid=30305 vsize=12916580 CPUtime=0.92 cores=1,3,5,7 /proc/30308/task/30319/stat : 30319 (java) D 30305 30308 25100 0 -1 4202560 2382 0 0 0 92 0 0 0 20 0 15 0 62528370 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570224145112 140570737897047 0 4 1 16800974 18446744071582151463 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30320] ppid=30305 vsize=12916580 CPUtime=0.92 cores=1,3,5,7 /proc/30308/task/30320/stat : 30320 (java) S 30305 30308 25100 0 -1 1077944384 1816 0 0 0 92 0 0 0 20 0 15 0 62528370 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570223091280 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30321] ppid=30305 vsize=12916580 CPUtime=0.52 cores=1,3,5,7 /proc/30308/task/30321/stat : 30321 (java) S 30305 30308 25100 0 -1 1077944384 2097 0 0 0 52 0 0 0 20 0 15 0 62528370 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570222053488 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30322] ppid=30305 vsize=12916580 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12916580 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528375 13226577920 60235 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 3.85 Current children cumulated vsize (KiB) 12916580 [startup+3.10066 s] /proc/loadavg: 1.30 1.35 1.39 5/217 30323 /proc/meminfo: memFree=28900624/32770624 swapFree=0/359952 [pid=30308] ppid=30305 vsize=12920676 CPUtime=8.24 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 27013 0 0 0 787 37 0 0 20 0 15 0 62528359 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3230169 186017 3802 1 0 3218943 0 [pid=30308/tid=30310] ppid=30305 vsize=12920676 CPUtime=2.75 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) R 30305 30308 25100 0 -1 4202560 13462 0 0 0 263 12 0 0 20 0 15 0 62528365 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570749417968 140570346581626 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12920676 CPUtime=0.19 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) S 30305 30308 25100 0 -1 1077944384 186 0 0 0 14 5 0 0 20 0 15 0 62528366 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570668006032 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12920676 CPUtime=0.16 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) S 30305 30308 25100 0 -1 1077944384 119 0 0 0 11 5 0 0 20 0 15 0 62528366 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12920676 CPUtime=0.18 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) S 30305 30308 25100 0 -1 1077944384 143 0 0 0 13 5 0 0 20 0 15 0 62528366 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570665900432 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12920676 CPUtime=0.17 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) S 30305 30308 25100 0 -1 1077944384 203 0 0 0 12 5 0 0 20 0 15 0 62528366 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12920676 CPUtime=0.01 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 15 0 62528367 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570228370288 140570745191042 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 62528367 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570227316320 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62528368 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570226263424 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30319] ppid=30305 vsize=12920676 CPUtime=1.97 cores=1,3,5,7 /proc/30308/task/30319/stat : 30319 (java) S 30305 30308 25100 0 -1 1077944384 3567 0 0 0 196 1 0 0 20 0 15 0 62528370 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570224159088 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30320] ppid=30305 vsize=12920676 CPUtime=1.94 cores=1,3,5,7 /proc/30308/task/30320/stat : 30320 (java) S 30305 30308 25100 0 -1 1077944384 3418 0 0 0 194 0 0 0 20 0 15 0 62528370 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570223106288 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30321] ppid=30305 vsize=12920676 CPUtime=0.79 cores=1,3,5,7 /proc/30308/task/30321/stat : 30321 (java) S 30305 30308 25100 0 -1 1077944384 4021 0 0 0 78 1 0 0 20 0 15 0 62528370 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570222053488 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30322] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528375 13230772224 186017 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 8.24 Current children cumulated vsize (KiB) 12920676 [startup+6.30065 s] /proc/loadavg: 1.30 1.35 1.39 3/217 30324 /proc/meminfo: memFree=27958852/32770624 swapFree=0/359952 [pid=30308] ppid=30305 vsize=12920676 CPUtime=11.78 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 28886 0 0 0 1112 66 0 0 20 0 15 0 62528359 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3230169 553278 3802 1 0 3218943 0 [pid=30308/tid=30310] ppid=30305 vsize=12920676 CPUtime=5.83 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) R 30305 30308 25100 0 -1 4202560 14394 0 0 0 549 34 0 0 20 0 15 0 62528365 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570749416136 140570346562136 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12920676 CPUtime=0.3 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) S 30305 30308 25100 0 -1 1077944384 215 0 0 0 23 7 0 0 20 0 15 0 62528366 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570668006032 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12920676 CPUtime=0.27 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) S 30305 30308 25100 0 -1 1077944384 321 0 0 0 20 7 0 0 20 0 15 0 62528366 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12920676 CPUtime=0.28 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) S 30305 30308 25100 0 -1 1077944384 253 0 0 0 22 6 0 0 20 0 15 0 62528366 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570665900432 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12920676 CPUtime=0.27 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) S 30305 30308 25100 0 -1 1077944384 298 0 0 0 21 6 0 0 20 0 15 0 62528366 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12920676 CPUtime=0.01 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 1026 0 0 0 1 0 0 0 20 0 15 0 62528367 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570228370288 140570745191042 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 62528367 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570227316320 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62528368 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570226263424 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30319] ppid=30305 vsize=12920676 CPUtime=1.98 cores=1,3,5,7 /proc/30308/task/30319/stat : 30319 (java) S 30305 30308 25100 0 -1 1077944384 3567 0 0 0 197 1 0 0 20 0 15 0 62528370 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570224159088 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30320] ppid=30305 vsize=12920676 CPUtime=1.96 cores=1,3,5,7 /proc/30308/task/30320/stat : 30320 (java) S 30305 30308 25100 0 -1 1077944384 3419 0 0 0 196 0 0 0 20 0 15 0 62528370 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570223106288 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30321] ppid=30305 vsize=12920676 CPUtime=0.79 cores=1,3,5,7 /proc/30308/task/30321/stat : 30321 (java) S 30305 30308 25100 0 -1 1077944384 4021 0 0 0 78 1 0 0 20 0 15 0 62528370 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570222053488 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30322] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528375 13230772224 553278 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 11.78 Current children cumulated vsize (KiB) 12920676 [startup+12.7007 s] /proc/loadavg: 1.25 1.33 1.39 2/196 30372 /proc/meminfo: memFree=27817864/32770624 swapFree=0/359940 [pid=30308] ppid=30305 vsize=12920676 CPUtime=18.54 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 30759 0 0 0 1763 91 0 0 20 0 15 0 62528359 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3230169 878862 3802 1 0 3218943 0 [pid=30308/tid=30310] ppid=30305 vsize=12920676 CPUtime=12.14 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) R 30305 30308 25100 0 -1 4202560 15570 0 0 0 1161 53 0 0 20 0 15 0 62528365 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570749418208 140570346363466 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12920676 CPUtime=0.38 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) S 30305 30308 25100 0 -1 1077944384 463 0 0 0 30 8 0 0 20 0 15 0 62528366 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570668006032 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12920676 CPUtime=0.35 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) S 30305 30308 25100 0 -1 1077944384 443 0 0 0 27 8 0 0 20 0 15 0 62528366 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12920676 CPUtime=0.36 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) S 30305 30308 25100 0 -1 1077944384 398 0 0 0 29 7 0 0 20 0 15 0 62528366 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570665900432 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12920676 CPUtime=0.36 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) S 30305 30308 25100 0 -1 1077944384 389 0 0 0 28 8 0 0 20 0 15 0 62528366 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12920676 CPUtime=0.02 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 1100 0 0 0 2 0 0 0 20 0 15 0 62528367 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570228370288 140570745191042 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 62528367 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570227316320 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 62528368 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570226263424 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 878862 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 ################ # More data... # ################ /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 326972 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12920676 CPUtime=1.43 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 1189 0 0 0 61 82 0 0 20 0 15 0 62528375 13230772224 326972 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 2275.68 Current children cumulated vsize (KiB) 12920676 [startup+2262.3 s] /proc/loadavg: 0.84 0.77 0.85 2/193 30536 /proc/meminfo: memFree=29968196/32770624 swapFree=0/360288 [pid=30308] ppid=30305 vsize=12920676 CPUtime=2337.67 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 295840 0 0 0 233451 316 0 0 20 0 15 0 62528359 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3230169 341986 3829 1 0 3218943 0 [pid=30308/tid=30310] ppid=30305 vsize=12920676 CPUtime=2238.69 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) R 30305 30308 25100 0 -1 4202560 113362 0 0 0 223782 87 0 0 20 0 15 0 62528365 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570749417840 140570344504680 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12920676 CPUtime=22.17 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) S 30305 30308 25100 0 -1 1077944384 25189 0 0 0 2181 36 0 0 20 0 15 0 62528366 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570668006032 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12920676 CPUtime=22.15 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) S 30305 30308 25100 0 -1 1077944384 17806 0 0 0 2182 33 0 0 20 0 15 0 62528366 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12920676 CPUtime=22.16 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) S 30305 30308 25100 0 -1 1077944384 17108 0 0 0 2184 32 0 0 20 0 15 0 62528366 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570665900432 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12920676 CPUtime=22.14 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) S 30305 30308 25100 0 -1 1077944384 22067 0 0 0 2180 34 0 0 20 0 15 0 62528366 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12920676 CPUtime=1.05 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 44320 0 0 0 83 22 0 0 20 0 15 0 62528367 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570228370288 140570745191042 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62528367 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570227316320 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 62528368 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570226263424 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30319] ppid=30305 vsize=12920676 CPUtime=3.34 cores=1,3,5,7 /proc/30308/task/30319/stat : 30319 (java) S 30305 30308 25100 0 -1 1077944384 17855 0 0 0 331 3 0 0 20 0 15 0 62528370 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570224159088 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30320] ppid=30305 vsize=12920676 CPUtime=3.25 cores=1,3,5,7 /proc/30308/task/30320/stat : 30320 (java) S 30305 30308 25100 0 -1 1077944384 17011 0 0 0 322 3 0 0 20 0 15 0 62528370 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570223106288 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30321] ppid=30305 vsize=12920676 CPUtime=1.16 cores=1,3,5,7 /proc/30308/task/30321/stat : 30321 (java) S 30305 30308 25100 0 -1 1077944384 18479 0 0 0 113 3 0 0 20 0 15 0 62528370 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570222053488 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30322] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12920676 CPUtime=1.46 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 1204 0 0 0 62 84 0 0 20 0 15 0 62528375 13230772224 341986 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 2337.67 Current children cumulated vsize (KiB) 12920676 [startup+2322.31 s] /proc/loadavg: 0.64 0.73 0.83 2/197 30553 /proc/meminfo: memFree=30063508/32770624 swapFree=0/360300 [pid=30308] ppid=30305 vsize=12920676 CPUtime=2399.08 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 296566 0 0 0 239589 319 0 0 20 0 15 0 62528359 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3230169 317619 3829 1 0 3218943 0 [pid=30308/tid=30310] ppid=30305 vsize=12920676 CPUtime=2298.2 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) R 30305 30308 25100 0 -1 4202560 113735 0 0 0 229733 87 0 0 20 0 15 0 62528365 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570749417728 140570346251313 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12920676 CPUtime=22.62 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) S 30305 30308 25100 0 -1 1077944384 25333 0 0 0 2226 36 0 0 20 0 15 0 62528366 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570668006032 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12920676 CPUtime=22.62 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) S 30305 30308 25100 0 -1 1077944384 17816 0 0 0 2228 34 0 0 20 0 15 0 62528366 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12920676 CPUtime=22.62 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) S 30305 30308 25100 0 -1 1077944384 17175 0 0 0 2230 32 0 0 20 0 15 0 62528366 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570665900432 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12920676 CPUtime=22.6 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) S 30305 30308 25100 0 -1 1077944384 22156 0 0 0 2225 35 0 0 20 0 15 0 62528366 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12920676 CPUtime=1.07 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 44339 0 0 0 84 23 0 0 20 0 15 0 62528367 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570228370288 140570745191042 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62528367 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570227316320 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 62528368 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570226263424 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30319] ppid=30305 vsize=12920676 CPUtime=3.34 cores=1,3,5,7 /proc/30308/task/30319/stat : 30319 (java) S 30305 30308 25100 0 -1 1077944384 17857 0 0 0 331 3 0 0 20 0 15 0 62528370 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570224159088 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30320] ppid=30305 vsize=12920676 CPUtime=3.25 cores=1,3,5,7 /proc/30308/task/30320/stat : 30320 (java) S 30305 30308 25100 0 -1 1077944384 17013 0 0 0 322 3 0 0 20 0 15 0 62528370 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570223106288 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30321] ppid=30305 vsize=12920676 CPUtime=1.17 cores=1,3,5,7 /proc/30308/task/30321/stat : 30321 (java) S 30305 30308 25100 0 -1 1077944384 18481 0 0 0 114 3 0 0 20 0 15 0 62528370 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570222053488 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30322] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12920676 CPUtime=1.5 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 1222 0 0 0 64 86 0 0 20 0 15 0 62528375 13230772224 317619 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 2399.08 Current children cumulated vsize (KiB) 12920676 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2323.2 s] /proc/loadavg: 0.64 0.73 0.83 2/197 30553 /proc/meminfo: memFree=30063508/32770624 swapFree=0/360300 [pid=30308] ppid=30305 vsize=12920676 CPUtime=2400.01 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 297042 0 0 0 239682 319 0 0 20 0 15 0 62528359 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3230169 316850 3829 1 0 3218943 0 [pid=30308/tid=30310] ppid=30305 vsize=12920676 CPUtime=2299.08 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) R 30305 30308 25100 0 -1 4202560 113861 0 0 0 229821 87 0 0 20 0 15 0 62528365 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570749417616 140570346251313 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12920676 CPUtime=22.63 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) S 30305 30308 25100 0 -1 1077944384 25350 0 0 0 2227 36 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570668006032 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12920676 CPUtime=22.63 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) S 30305 30308 25100 0 -1 1077944384 17987 0 0 0 2229 34 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12920676 CPUtime=22.63 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) S 30305 30308 25100 0 -1 1077944384 17178 0 0 0 2231 32 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570665900432 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12920676 CPUtime=22.61 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) S 30305 30308 25100 0 -1 1077944384 22161 0 0 0 2226 35 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12920676 CPUtime=1.08 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 44493 0 0 0 85 23 0 0 20 0 15 0 62528367 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570228370288 140570745191042 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62528367 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570227316320 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 62528368 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570226263424 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30319] ppid=30305 vsize=12920676 CPUtime=3.34 cores=1,3,5,7 /proc/30308/task/30319/stat : 30319 (java) S 30305 30308 25100 0 -1 1077944384 17857 0 0 0 331 3 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570224159088 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30320] ppid=30305 vsize=12920676 CPUtime=3.25 cores=1,3,5,7 /proc/30308/task/30320/stat : 30320 (java) S 30305 30308 25100 0 -1 1077944384 17013 0 0 0 322 3 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570223106288 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30321] ppid=30305 vsize=12920676 CPUtime=1.17 cores=1,3,5,7 /proc/30308/task/30321/stat : 30321 (java) S 30305 30308 25100 0 -1 1077944384 18481 0 0 0 114 3 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570222053488 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30322] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12920676 CPUtime=1.51 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 1222 0 0 0 64 87 0 0 20 0 15 0 62528375 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 12920676 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 30308 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2323.2 s] /proc/loadavg: 0.64 0.73 0.83 2/197 30553 /proc/meminfo: memFree=30063508/32770624 swapFree=0/360300 [pid=30308] ppid=30305 vsize=12920676 CPUtime=2400.01 cores=1,3,5,7 /proc/30308/stat : 30308 (java) S 30305 30308 25100 0 -1 1077944320 297042 0 0 0 239682 319 0 0 20 0 15 0 62528359 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140723293183600 140570745179895 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 /proc/30308/statm: 3230169 316850 3829 1 0 3218943 0 [pid=30308/tid=30310] ppid=30305 vsize=12920676 CPUtime=2299.08 cores=1,3,5,7 /proc/30308/task/30310/stat : 30310 (java) R 30305 30308 25100 0 -1 4202560 113861 0 0 0 229821 87 0 0 20 0 15 0 62528365 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570749417616 140570346251313 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30311] ppid=30305 vsize=12920676 CPUtime=22.63 cores=1,3,5,7 /proc/30308/task/30311/stat : 30311 (java) S 30305 30308 25100 0 -1 1077944384 25350 0 0 0 2227 36 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570668006032 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30312] ppid=30305 vsize=12920676 CPUtime=22.63 cores=1,3,5,7 /proc/30308/task/30312/stat : 30312 (java) S 30305 30308 25100 0 -1 1077944384 17987 0 0 0 2229 34 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570666953232 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30313] ppid=30305 vsize=12920676 CPUtime=22.63 cores=1,3,5,7 /proc/30308/task/30313/stat : 30313 (java) S 30305 30308 25100 0 -1 1077944384 17178 0 0 0 2231 32 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570665900432 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30314] ppid=30305 vsize=12920676 CPUtime=22.61 cores=1,3,5,7 /proc/30308/task/30314/stat : 30314 (java) S 30305 30308 25100 0 -1 1077944384 22161 0 0 0 2226 35 0 0 20 0 15 0 62528366 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570664847632 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30315] ppid=30305 vsize=12920676 CPUtime=1.08 cores=1,3,5,7 /proc/30308/task/30315/stat : 30315 (java) S 30305 30308 25100 0 -1 1077944384 44493 0 0 0 85 23 0 0 20 0 15 0 62528367 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570228370288 140570745191042 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30316] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30316/stat : 30316 (java) S 30305 30308 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62528367 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570227316320 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30317] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30317/stat : 30317 (java) S 30305 30308 25100 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 62528368 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570226263424 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30318] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30318/stat : 30318 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570225211728 140570745198491 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30319] ppid=30305 vsize=12920676 CPUtime=3.34 cores=1,3,5,7 /proc/30308/task/30319/stat : 30319 (java) S 30305 30308 25100 0 -1 1077944384 17857 0 0 0 331 3 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570224159088 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30320] ppid=30305 vsize=12920676 CPUtime=3.25 cores=1,3,5,7 /proc/30308/task/30320/stat : 30320 (java) S 30305 30308 25100 0 -1 1077944384 17013 0 0 0 322 3 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570223106288 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30321] ppid=30305 vsize=12920676 CPUtime=1.17 cores=1,3,5,7 /proc/30308/task/30321/stat : 30321 (java) S 30305 30308 25100 0 -1 1077944384 18481 0 0 0 114 3 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570222053488 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30322] ppid=30305 vsize=12920676 CPUtime=0 cores=1,3,5,7 /proc/30308/task/30322/stat : 30322 (java) S 30305 30308 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62528370 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570221000928 140570745190101 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 [pid=30308/tid=30323] ppid=30305 vsize=12920676 CPUtime=1.51 cores=1,3,5,7 /proc/30308/task/30323/stat : 30323 (java) S 30305 30308 25100 0 -1 1077944384 1222 0 0 0 64 87 0 0 20 0 15 0 62528375 13230772224 316850 18446744073709551615 4194304 4196468 140723293201056 140570219949232 140570745191042 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12623872 140723293204889 140723293205070 140723293205070 140723293208527 0 Current children cumulated CPU time (s) 2400.01 Current children cumulated vsize (KiB) 12920676 Child status: 143 Real time (s): 2323.23 CPU time (s): 2400.06 CPU user time (s): 2396.86 CPU system time (s): 3.20653 CPU usage (%): 103.307 Max. virtual memory (cumulated for all children) (KiB): 12920676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2396.86 system time used= 3.20653 maximum resident set size= 3872364 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 297518 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2872 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 69854 involuntary context switches= 4730 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5039 second user time and 14.5144 second system time The end
Begin job on node133 at 2017-08-08 00:51:24 IDJOB=4248594 IDBENCH=140594 IDSOLVER=2627 FILE ID=node133/4248594-1502147131 RUNJOBID= node133-1502141573-29674 PBS_JOBID= Free space on /tmp= 61988 MiB SOLVER NAME= OscaR - ALNS 2017-06-30 BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248594-1502147131/watcher-4248594-1502147131 -o /tmp/evaluation-result-4248594-1502147131/solver-4248594-1502147131 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502141573-29674 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 2092215545 --timelimit 2400 --memlimit 15500 --nbcore 4 HOME/instance-4248594-1502147131.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153 RANDOM SEED=2092215545 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: 29296548 kB MemAvailable: 29999652 kB Buffers: 243936 kB Cached: 748628 kB SwapCached: 0 kB Active: 2656568 kB Inactive: 384592 kB Active(anon): 2049072 kB Inactive(anon): 24920 kB Active(file): 607496 kB Inactive(file): 359672 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42800 kB Writeback: 0 kB AnonPages: 2101816 kB Mapped: 58300 kB Shmem: 25276 kB Slab: 130804 kB SReclaimable: 103540 kB SUnreclaim: 27264 kB KernelStack: 3824 kB PageTables: 9516 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2849444 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2027520 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= 61988 MiB End job on node133 at 2017-08-08 01:30:07