Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 13675 | 2520.1 | 2484.53 |
| Name | QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml |
| MD5SUM | 69d2b1c9cf4919b13dd8bc483772d8bf |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 12137 |
| Best CPU time to get the best result obtained on this benchmark | 2520.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2450 |
| Number of constraints | 1177 |
| Number of domains | 2 |
| Minimum domain size | 8 |
| Maximum domain size | 49 |
| Distribution of domain sizes | [{"size":8,"count":1176},{"size":49,"count":49}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 49 |
| Distribution of variable degrees | [{"degree":0,"count":1225},{"degree":2,"count":1176},{"degree":49,"count":49}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 49 |
| Distribution of constraint arities | [{"arity":3,"count":1176},{"arity":49,"count":1}] |
| Number of extensional constraints | 1176 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":1176},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.67/0.55 c version: 2018-08-17 0.67/0.55 c seed: 2039967607 0.67/0.55 c timeout: 2520 0.67/0.55 c memlimit: 11000 0.67/0.56 c nbcore: 1 0.67/0.58 c Parsing instance... 5.23/2.70 c Parsing done, starting search... 6.00/2.97 o 14181 6.70/3.26 o 14137 6.70/3.27 o 14123 6.70/3.27 o 14117 7.02/3.35 o 14105 7.02/3.37 o 14089 8.95/4.34 o 14055 8.95/4.34 o 14053 9.92/5.19 o 14045 27.86/22.29 o 14043 28.17/22.51 o 14031 29.78/24.16 o 13987 29.88/24.21 o 13966 29.88/24.21 o 13956 72.82/66.92 o 13938 72.82/66.93 o 13929 73.22/67.38 o 13928 73.22/67.39 o 13919 84.03/78.12 o 13908 84.03/78.14 o 13885 84.03/78.16 o 13866 84.03/78.16 o 13848 84.15/78.20 o 13825 84.84/78.91 o 13807 84.84/78.92 o 13802 87.75/81.87 o 13792 87.85/81.95 o 13778 87.85/81.96 o 13776 87.85/81.96 o 13748 87.85/81.97 o 13718 87.85/81.98 o 13706 87.97/82.01 o 13675 2520.05/2484.50 s SATISFIABLE 2520.05/2484.50 v <instantiation> 2520.05/2484.50 v <list> 2520.05/2484.50 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[25][26] d[25][27] d[25][28] d[25][29] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[26][27] d[26][28] d[26][29] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[27][28] d[27][29] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[28][29] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[35][36] d[35][37] d[35][38] d[35][39] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[36][37] d[36][38] d[36][39] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[37][38] d[37][39] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[38][39] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[44][45] d[44][46] d[44][47] d[44][48] d[45][46] d[45][47] d[45][48] d[46][47] d[46][48] d[47][48] 2520.05/2484.50 v </list> 2520.05/2484.50 v <values> 2520.05/2484.50 v 38 35 37 33 16 19 43 22 17 5 7 14 41 47 9 13 40 26 46 6 2 36 42 0 21 8 27 24 44 25 31 11 10 18 45 4 32 23 28 3 29 30 15 12 34 39 48 20 1 0 5 0 3 0 5 2 2 5 5 0 0 2 0 1 0 2 5 1 0 2 2 0 0 2 5 0 2 5 0 4 5 0 2 5 1 2 5 0 0 0 5 1 3 0 0 5 2 0 2 10 0 0 0 5 5 2 3 10 0 1 1 0 2 10 5 0 0 4 3 5 4 2 5 1 10 5 5 5 5 2 2 1 10 0 0 0 0 6 5 0 5 2 1 0 6 3 0 5 2 2 2 10 5 5 3 2 5 0 10 5 0 5 0 5 5 0 5 6 0 10 0 6 1 4 0 3 2 2 2 5 2 0 5 0 0 2 0 0 0 5 2 4 0 0 10 10 1 5 5 5 10 2 0 5 1 1 0 1 0 2 0 10 1 3 2 0 0 2 2 1 5 0 1 5 5 0 10 2 10 0 0 4 2 0 5 0 10 0 0 0 2 2 0 2 5 1 3 2 2 4 1 0 5 1 5 0 2 5 0 0 10 3 0 1 0 5 0 0 1 10 5 0 0 0 2 0 1 1 1 4 2 10 2 0 5 5 0 0 2 2 10 5 0 2 0 10 0 0 4 10 2 2 2 0 0 2 6 5 0 10 1 5 2 2 5 0 2 2 0 0 5 0 2 5 5 10 0 0 2 0 0 1 0 1 1 3 0 0 5 4 5 0 1 0 2 0 5 1 5 1 1 5 1 1 1 3 5 2 0 0 2 1 0 5 0 1 10 4 0 10 2 2 0 10 0 0 10 0 4 0 2 5 1 0 1 2 1 2 4 5 2 2 10 0 3 0 0 10 5 0 1 0 0 1 5 2 5 4 10 5 1 6 6 0 0 5 1 0 0 0 5 2 2 0 5 4 0 2 5 0 5 0 0 1 5 2 2 1 2 0 0 0 3 0 0 0 2 0 5 10 0 5 2 0 5 2 10 10 5 1 1 0 10 5 0 1 2 3 1 0 5 5 5 1 0 0 10 1 1 0 5 1 0 10 5 10 4 4 0 5 0 5 0 0 1 0 0 2 0 0 5 0 0 5 1 2 0 0 5 2 2 0 3 5 5 5 2 0 2 1 5 5 5 0 10 0 2 0 4 1 10 0 0 6 1 10 0 5 2 2 5 2 3 2 0 5 2 2 5 5 2 0 5 3 0 0 0 2 2 0 0 4 10 4 5 10 6 4 0 5 2 2 5 5 2 0 2 2 1 6 2 3 2 1 0 2 2 0 5 5 5 1 0 3 0 3 1 2 3 0 5 2 0 5 0 1 1 1 2 1 5 0 2 2 0 0 5 0 5 3 1 3 0 2 0 10 5 10 1 10 5 10 5 0 2 0 5 5 1 3 10 2 3 2 1 5 3 0 1 2 6 3 1 4 0 0 2 1 2 10 1 0 2 3 10 5 5 2 5 5 5 2 0 5 0 2 2 5 5 2 6 2 5 0 2 2 1 2 0 2 0 5 2 0 0 0 5 5 10 5 0 2 0 5 0 5 2 2 10 2 5 0 5 0 1 2 1 3 10 5 2 5 1 5 10 0 2 2 1 0 1 5 2 5 5 5 2 2 0 5 0 0 1 1 1 2 5 3 0 2 2 2 2 1 3 0 5 5 5 0 0 1 0 1 1 1 1 0 3 5 5 0 2 0 0 2 0 0 0 2 1 0 4 0 6 0 0 2 0 0 0 0 3 6 0 6 0 2 0 4 10 2 5 4 6 1 10 2 5 0 6 0 0 2 1 5 1 0 0 1 2 2 2 0 3 1 0 2 0 10 1 1 0 5 0 1 0 0 10 10 0 2 3 5 0 3 1 10 0 5 5 0 0 10 2 1 0 0 5 0 4 10 2 2 4 3 0 0 1 2 0 1 2 10 5 0 0 1 0 5 1 0 5 5 2 3 0 0 0 1 0 1 2 5 5 0 2 5 2 2 2 2 2 0 3 2 2 5 0 5 0 1 5 2 3 1 0 0 0 2 5 0 2 0 5 5 0 0 5 0 5 2 6 2 1 2 2 2 0 3 5 5 5 0 1 10 5 4 0 0 0 3 2 1 10 0 0 0 1 1 10 3 4 3 1 0 10 5 0 1 2 5 10 0 2 2 1 2 0 10 5 5 1 0 0 0 5 0 2 4 0 2 4 0 5 10 0 1 10 5 5 1 1 0 5 1 5 1 2 0 0 5 0 0 0 2 0 5 2 0 0 2 5 2 5 2 1 0 5 1 2 0 0 6 1 0 2 2 0 0 5 5 10 5 3 5 2 5 1 5 1 10 2 0 0 0 5 0 3 10 2 0 0 5 2 6 0 5 2 2 5 2 5 0 2 0 0 0 10 5 1 5 2 0 0 10 0 0 1 5 0 1 4 0 5 1 4 0 5 0 1 10 2 0 5 1 2 0 1 2 5 10 0 0 5 5 0 0 6 1 0 1 0 10 0 1 0 0 0 5 4 2 0 5 10 2 4 2 0 5 10 2 2 2 0 3 0 2 0 6 10 5 0 2 1 1 10 0 0 1 10 5 10 0 1 0 2 2 5 0 2 2 0 1 2 5 1 3 5 5 0 0 5 5 2 1 0 2 1 5 5 0 2 0 0 10 5 5 5 5 5 10 0 10 3 1 5 2 10 5 5 5 0 0 0 5 4 6 5 5 0 2 0 1 0 2520.05/2484.50 v </values> 2520.05/2484.50 v </instantiation>
OK 13675
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 (10873 MiB free)
memory of node 1: 16384 MiB (10951 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311667-1534551039/watcher-4311667-1534551039 -o /tmp/evaluation-result-4311667-1534551039/solver-4311667-1534551039 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534541038-5587 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2039967607 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311667-1534551039.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
solver pid=6802, runsolver pid=6799
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 1.59 1.47 1.39 3/216 6817
/proc/meminfo: memFree=22329936/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14082736 memory=31424 CPUtime=0.11 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 6765 0 0 0 11 0 0 0 20 0 15 0 272667108 14420721664 7856 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3520684 7856 3153 1 0 3482761 0
[pid=6802/tid=6804] ppid=6799 vsize=14082736 memory=-8681636579440948416 CPUtime=0.09 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 4813 0 0 0 9 0 0 0 20 0 15 0 272667108 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591740830832 140591720678750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667110 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272667111 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591209489184 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272667111 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591208436848 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) S 6799 6802 5555 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591206333040 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0.01 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) S 6799 6802 5555 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 272667113 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591204227952 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667114 14420721664 7856 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31424 KiB
[startup+0.210487 s]*
/proc/loadavg: 1.59 1.47 1.39 6/216 6817
/proc/meminfo: memFree=22314580/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14082736 memory=47228 CPUtime=0.3 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 10408 0 0 0 29 1 0 0 20 0 15 0 272667108 14420721664 11807 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3520684 11807 3361 1 0 3482761 0
[pid=6802/tid=6804] ppid=6799 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 8141 0 0 0 19 1 0 0 20 0 15 0 272667108 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591740826704 140591343583957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14082736 memory=342 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14082736 memory=139661744027067 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272667110 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272667111 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591209489184 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272667111 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591208436848 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) R 6799 6802 5555 0 -1 4202560 559 0 0 0 2 0 0 0 20 0 15 0 272667113 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591206324544 140591718142836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) R 6799 6802 5555 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0.06 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) R 6799 6802 5555 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 15 0 272667113 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591204227952 140591714967105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667114 14420721664 11807 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47228 KiB
[startup+0.310515 s]*
/proc/loadavg: 1.59 1.47 1.39 3/216 6817
/proc/meminfo: memFree=22311540/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14082736 memory=50568 CPUtime=0.44 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 10776 0 0 0 43 1 0 0 20 0 15 0 272667108 14420721664 12642 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3520684 12642 3364 1 0 3482761 0
[pid=6802/tid=6804] ppid=6799 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 8474 0 0 0 29 1 0 0 20 0 15 0 272667108 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591740809776 140591721763907 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14082736 memory=290763875203416087 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14082736 memory=15677097685554840 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667109 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272667110 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272667111 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591209489184 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272667111 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591208436848 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) S 6799 6802 5555 0 -1 1077944384 575 0 0 0 3 0 0 0 20 0 15 0 272667113 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591206333040 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) S 6799 6802 5555 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 272667113 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0.08 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) S 6799 6802 5555 0 -1 1077944384 311 0 0 0 8 0 0 0 20 0 15 0 272667113 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591204227952 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14082736 memory=139661744019072 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667114 14420721664 12642 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50568 KiB
[startup+0.700773 s]
/proc/loadavg: 1.59 1.47 1.39 5/216 6817
/proc/meminfo: memFree=22287356/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14084804 memory=89192 CPUtime=0.99 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 17641 0 0 0 96 3 0 0 20 0 15 0 272667108 14422839296 22298 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3521201 22298 3499 1 0 3483273 0
[pid=6802/tid=6804] ppid=6799 vsize=14084804 memory=1760 CPUtime=0.68 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 14930 0 0 0 65 3 0 0 20 0 15 0 272667108 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591740821632 140591720678750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14084804 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14084804 memory=5356 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14084804 memory=872 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667109 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14084804 memory=8736 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272667110 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14084804 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272667111 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591209489184 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14084804 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272667111 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591208436848 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14084804 memory=4639098309541127013 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14084804 memory=5938120801962453074 CPUtime=0.07 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) S 6799 6802 5555 0 -1 1077944384 705 0 0 0 7 0 0 0 20 0 15 0 272667113 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591206333040 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14084804 memory=7523071198212214892 CPUtime=0.07 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) S 6799 6802 5555 0 -1 1077944384 221 0 0 0 7 0 0 0 20 0 15 0 272667113 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) S 6799 6802 5555 0 -1 1077944384 404 0 0 0 15 0 0 0 20 0 15 0 272667113 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591204227952 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667114 14422839296 22298 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89192 KiB
[startup+1.50077 s]
/proc/loadavg: 1.59 1.47 1.39 5/216 6817
/proc/meminfo: memFree=22247960/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14090948 memory=178264 CPUtime=3 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 26085 0 0 0 294 6 0 0 20 0 15 0 272667108 14429130752 44566 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3522737 44566 3550 1 0 3484809 0
[pid=6802/tid=6804] ppid=6799 vsize=14090948 memory=8112282956445269571 CPUtime=1.47 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 19673 0 0 0 143 4 0 0 20 0 15 0 272667108 14429130752 44566 33554432000 4194304 4196468 140721597211312 140591740832288 140591736610198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14090948 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14429130752 44566 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14090948 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14429130752 44566 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14090948 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272667109 14429130752 44566 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14090948 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272667109 14429130752 44566 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14090948 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 15 0 272667110 14429130752 44566 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
################
# More data... #
################
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 101957 0 0 0 236505 73 0 0 20 0 15 0 272667108 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591740836528 140591352588063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14090948 memory=3178020 CPUtime=10.24 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 40580 0 0 0 978 46 0 0 20 0 15 0 272667109 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14090948 memory=3178020 CPUtime=10.22 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 35190 0 0 0 977 45 0 0 20 0 15 0 272667109 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14090948 memory=3178020 CPUtime=10.23 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 40810 0 0 0 973 50 0 0 20 0 15 0 272667109 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14090948 memory=3178020 CPUtime=10.23 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 32116 0 0 0 977 46 0 0 20 0 15 0 272667109 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14090948 memory=3178020 CPUtime=3.69 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 25852 0 0 0 338 31 0 0 20 0 15 0 272667110 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14090948 memory=3178020 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591209489248 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14090948 memory=3178020 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591208436864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14090948 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14090948 memory=164 CPUtime=1.92 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) S 6799 6802 5555 0 -1 1077944384 7146 0 0 0 191 1 0 0 20 0 15 0 272667113 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591206333040 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14090948 memory=3178020 CPUtime=1.85 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) S 6799 6802 5555 0 -1 1077944384 6767 0 0 0 184 1 0 0 20 0 15 0 272667113 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14090948 memory=3178020 CPUtime=0.99 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) S 6799 6802 5555 0 -1 1077944384 11954 0 0 0 96 3 0 0 20 0 15 0 272667113 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591204227952 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14090948 memory=3178020 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14090948 memory=3178020 CPUtime=1.21 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 1847 0 0 0 55 66 0 0 20 0 15 0 272667114 14429130752 794505 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 2416.45 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3178020 KiB
[startup+2442.3 s]
/proc/loadavg: 2.16 1.86 1.70 3/216 6964
/proc/meminfo: memFree=15500516/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14090948 memory=3169812 CPUtime=2477.27 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 310145 0 0 0 247393 334 0 0 20 0 15 0 272667108 14429130752 792453 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3522737 792453 3612 1 0 3484809 0
[pid=6802/tid=6804] ppid=6799 vsize=14090948 memory=3178020 CPUtime=2425.26 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 103567 0 0 0 242453 73 0 0 20 0 15 0 272667108 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591740836240 140591352280535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14090948 memory=3178020 CPUtime=10.54 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 40873 0 0 0 1007 47 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14090948 memory=1396 CPUtime=10.52 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 35756 0 0 0 1006 46 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14090948 memory=3176992 CPUtime=10.53 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 41604 0 0 0 1002 51 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14090948 memory=3178020 CPUtime=10.53 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 32780 0 0 0 1006 47 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14090948 memory=3170836 CPUtime=3.82 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 26370 0 0 0 350 32 0 0 20 0 15 0 272667110 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14090948 memory=3169812 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591209489248 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14090948 memory=3169812 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591208436864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14090948 memory=3169812 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14090948 memory=3169812 CPUtime=1.92 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) S 6799 6802 5555 0 -1 1077944384 7152 0 0 0 191 1 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591206333040 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14090948 memory=3178020 CPUtime=1.85 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) S 6799 6802 5555 0 -1 1077944384 6773 0 0 0 184 1 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14090948 memory=288230574492221466 CPUtime=0.99 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) S 6799 6802 5555 0 -1 1077944384 11960 0 0 0 96 3 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591204227952 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14090948 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14090948 memory=3178020 CPUtime=1.25 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 1886 0 0 0 57 68 0 0 20 0 15 0 272667114 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 2477.27 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3169812 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2484.5 s]
/proc/loadavg: 2.23 1.91 1.72 3/216 6965
/proc/meminfo: memFree=15598148/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14090948 memory=3169812 CPUtime=2520.05 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 312988 0 0 0 251667 338 0 0 20 0 15 0 272667108 14429130752 792453 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3522737 792453 3612 1 0 3484809 0
[pid=6802/tid=6804] ppid=6799 vsize=14090948 memory=3169812 CPUtime=2467.11 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 104492 0 0 0 246638 73 0 0 20 0 15 0 272667108 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591740836528 140591352280552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.75 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 41133 0 0 0 1027 48 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.73 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 36318 0 0 0 1026 47 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.72 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 42119 0 0 0 1021 51 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.72 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 32977 0 0 0 1025 47 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14090948 memory=3169812 CPUtime=3.91 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 26716 0 0 0 359 32 0 0 20 0 15 0 272667110 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14090948 memory=3169812 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591209489248 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14090948 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591208436864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14090948 memory=100 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14090948 memory=3169812 CPUtime=1.92 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) S 6799 6802 5555 0 -1 1077944384 7156 0 0 0 191 1 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591206333040 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14090948 memory=3169812 CPUtime=1.85 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) S 6799 6802 5555 0 -1 1077944384 6777 0 0 0 184 1 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14090948 memory=3169812 CPUtime=0.99 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) S 6799 6802 5555 0 -1 1077944384 11964 0 0 0 96 3 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591204227952 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14090948 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14090948 memory=1140 CPUtime=1.26 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 1912 0 0 0 57 69 0 0 20 0 15 0 272667114 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3169812 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2484.53 s]
# the end of solver process 6802 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.69 s, system=3.40498 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2484.5 s]
/proc/loadavg: 2.23 1.91 1.72 3/216 6965
/proc/meminfo: memFree=15598148/32770624 swapFree=67108836/67108860
[pid=6802] ppid=6799 vsize=14090948 memory=3169812 CPUtime=2520.05 cores=1,3,5,7
/proc/6802/stat : 6802 (java) S 6799 6802 5555 0 -1 1077944320 312988 0 0 0 251667 338 0 0 20 0 15 0 272667108 14429130752 792453 33554432000 4194304 4196468 140721597211312 140721597193856 140591736598263 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
/proc/6802/statm: 3522737 792453 3612 1 0 3484809 0
[pid=6802/tid=6804] ppid=6799 vsize=14090948 memory=3169812 CPUtime=2467.11 cores=1,3,5,7
/proc/6802/task/6804/stat : 6804 (java) R 6799 6802 5555 0 -1 4202560 104492 0 0 0 246638 73 0 0 20 0 15 0 272667108 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591740836528 140591352280552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6805] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.75 cores=1,3,5,7
/proc/6802/task/6805/stat : 6805 (java) S 6799 6802 5555 0 -1 1077944384 41133 0 0 0 1027 48 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591666686864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6806] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.73 cores=1,3,5,7
/proc/6802/task/6806/stat : 6806 (java) S 6799 6802 5555 0 -1 1077944384 36318 0 0 0 1026 47 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591665634064 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6807] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.72 cores=1,3,5,7
/proc/6802/task/6807/stat : 6807 (java) S 6799 6802 5555 0 -1 1077944384 42119 0 0 0 1021 51 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591664581776 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6808] ppid=6799 vsize=14090948 memory=3169812 CPUtime=10.72 cores=1,3,5,7
/proc/6802/task/6808/stat : 6808 (java) S 6799 6802 5555 0 -1 1077944384 32977 0 0 0 1025 47 0 0 20 0 15 0 272667109 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591663528976 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6809] ppid=6799 vsize=14090948 memory=3169812 CPUtime=3.91 cores=1,3,5,7
/proc/6802/task/6809/stat : 6809 (java) S 6799 6802 5555 0 -1 1077944384 26716 0 0 0 359 32 0 0 20 0 15 0 272667110 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591210543216 140591736609410 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6810] ppid=6799 vsize=14090948 memory=3169812 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6810/stat : 6810 (java) S 6799 6802 5555 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591209489248 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6811] ppid=6799 vsize=14090948 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6811/stat : 6811 (java) S 6799 6802 5555 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 272667111 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591208436864 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6812] ppid=6799 vsize=14090948 memory=100 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6812/stat : 6812 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591207385168 140591736616859 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6813] ppid=6799 vsize=14090948 memory=3169812 CPUtime=1.92 cores=1,3,5,7
/proc/6802/task/6813/stat : 6813 (java) S 6799 6802 5555 0 -1 1077944384 7156 0 0 0 191 1 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591206333040 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6814] ppid=6799 vsize=14090948 memory=3169812 CPUtime=1.85 cores=1,3,5,7
/proc/6802/task/6814/stat : 6814 (java) S 6799 6802 5555 0 -1 1077944384 6777 0 0 0 184 1 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591205280240 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6815] ppid=6799 vsize=14090948 memory=3169812 CPUtime=0.99 cores=1,3,5,7
/proc/6802/task/6815/stat : 6815 (java) S 6799 6802 5555 0 -1 1077944384 11964 0 0 0 96 3 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591204227952 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6816] ppid=6799 vsize=14090948 memory=1832 CPUtime=0 cores=1,3,5,7
/proc/6802/task/6816/stat : 6816 (java) S 6799 6802 5555 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272667113 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591203175392 140591736608469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
[pid=6802/tid=6817] ppid=6799 vsize=14090948 memory=1140 CPUtime=1.26 cores=1,3,5,7
/proc/6802/task/6817/stat : 6817 (java) S 6799 6802 5555 0 -1 1077944384 1912 0 0 0 57 69 0 0 20 0 15 0 272667114 14429130752 792453 33554432000 4194304 4196468 140721597211312 140591202122160 140591736609410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12570624 140721597219912 140721597220105 140721597220105 140721597222863 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3169812 KiB
Child status: 143
Real time (s): 2484.53
CPU time (s): 2520.1
CPU user time (s): 2516.69
CPU system time (s): 3.40498
CPU usage (%): 101.431
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3849660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.69
system time used= 3.40498
maximum resident set size= 3852924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 313516
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155809
involuntary context switches= 5984
# summary of solver processes directly reported to runsolver:
# pid: 6802
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.69
# total CPU system time (s): 3.40498
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7403 second user time and 23.3402 second system time
The end
Begin job on node139 at 2018-08-18 02:10:39 IDJOB=4311667 IDBENCH=141251 IDSOLVER=2799 FILE ID=node139/4311667-1534551039 RUNJOBID= node139-1534541038-5587 PBS_JOBID= 21038632 Free space on /tmp= 44196 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko49_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4311667-1534551039/watcher-4311667-1534551039 -o /tmp/evaluation-result-4311667-1534551039/solver-4311667-1534551039 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534541038-5587 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2039967607 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311667-1534551039.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69d2b1c9cf4919b13dd8bc483772d8bf RANDOM SEED=2039967607 node139.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.80 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.80 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.80 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.80 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: 22349092 kB MemAvailable: 31445908 kB Buffers: 243412 kB Cached: 9059628 kB SwapCached: 16 kB Active: 5538908 kB Inactive: 4259264 kB Active(anon): 473656 kB Inactive(anon): 90468 kB Active(file): 5065252 kB Inactive(file): 4168796 kB Unevictable: 7156 kB Mlocked: 7156 kB SwapTotal: 67108860 kB SwapFree: 67108836 kB Dirty: 35856 kB Writeback: 0 kB AnonPages: 473952 kB Mapped: 35816 kB Shmem: 66164 kB Slab: 319828 kB SReclaimable: 291228 kB SUnreclaim: 28600 kB KernelStack: 3680 kB PageTables: 6032 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1429732 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 405504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 43952 MiB End job on node139 at 2018-08-18 02:52:04