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-14 | SAT (TO) | 13882 | 252.09 | 245.831 |
| 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 | 12296 |
| Best CPU time to get the best result obtained on this benchmark | 252.074 |
| 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.56 c version: 2018-08-14 0.67/0.56 c seed: 184273818 0.67/0.56 c timeout: 252 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 4 0.67/0.58 c Parsing instance... 5.46/2.71 c Parsing done, starting search... 6.07/2.98 o 14181 6.72/3.25 o 14137 6.72/3.26 o 14123 6.72/3.26 o 14117 7.05/3.35 o 14105 7.05/3.37 o 14089 12.32/7.27 o 14070 12.32/7.27 o 14041 12.55/7.46 o 14034 12.55/7.47 o 14017 13.11/7.96 o 13997 13.11/7.97 o 13987 13.11/7.97 o 13981 18.62/13.17 o 13963 18.62/13.18 o 13947 18.62/13.19 o 13934 18.72/13.22 o 13930 18.72/13.28 o 13923 18.72/13.29 o 13913 18.82/13.34 o 13907 18.82/13.34 o 13905 18.82/13.35 o 13903 18.82/13.35 o 13899 18.82/13.35 o 13886 18.82/13.36 o 13882 252.04/245.80 s SATISFIABLE 252.04/245.80 v <instantiation> 252.04/245.80 v <list> 252.04/245.80 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] 252.04/245.80 v </list> 252.04/245.80 v <values> 252.04/245.80 v 39 31 28 35 7 12 27 2 25 22 18 13 43 16 4 32 47 30 21 15 20 33 1 5 37 9 11 19 6 36 17 8 29 24 42 0 14 41 44 26 23 38 48 45 34 46 10 40 3 2 1 5 2 5 0 5 1 0 0 0 2 0 2 1 5 5 10 5 0 4 2 5 0 1 10 0 5 0 0 0 0 5 2 0 0 1 0 5 2 0 5 4 5 0 10 0 1 0 5 5 0 2 0 0 1 5 5 0 10 3 10 0 2 5 6 5 0 2 1 6 5 0 0 10 1 0 1 5 0 0 2 5 2 0 0 2 0 2 0 5 0 0 5 0 0 0 2 0 0 5 3 2 1 1 1 4 0 3 0 0 1 5 5 5 1 5 4 10 5 5 2 5 3 2 5 1 3 5 0 5 2 1 5 3 10 5 2 5 10 2 2 5 2 0 10 0 5 1 0 10 2 1 0 0 5 6 1 2 0 5 0 1 5 0 5 0 5 4 0 5 4 3 3 10 1 2 10 0 2 2 0 10 5 0 0 2 0 0 0 10 0 0 10 2 5 2 4 5 2 5 5 1 5 0 10 4 1 0 0 1 5 0 5 5 0 0 5 10 0 0 2 5 1 0 0 5 2 5 3 2 2 1 0 5 5 0 0 2 2 0 5 0 3 0 0 0 1 0 2 0 2 2 1 0 10 0 0 5 2 3 5 1 3 1 1 0 0 5 6 0 5 5 3 2 1 0 0 0 2 5 5 1 5 0 0 4 1 0 0 6 2 1 10 0 0 2 0 0 10 1 2 0 5 0 2 1 5 2 10 4 0 2 2 0 2 10 1 5 3 1 5 0 2 10 2 0 3 0 1 2 5 0 10 2 0 1 1 0 10 1 2 2 10 6 0 5 1 0 0 0 3 1 1 0 0 2 0 5 2 0 5 5 5 2 0 5 2 0 0 0 0 1 2 2 4 2 4 2 5 10 1 2 2 0 2 0 10 5 10 0 5 5 2 2 3 5 2 2 0 2 10 10 10 2 5 1 0 5 1 2 2 2 2 0 0 0 5 0 0 4 0 4 0 1 10 0 2 0 2 1 0 4 0 0 2 5 1 2 0 0 0 2 0 6 1 1 1 0 1 0 6 4 5 0 0 10 5 2 5 2 6 0 1 1 0 0 1 5 0 5 0 5 0 1 0 2 1 2 0 0 0 2 5 0 5 5 2 2 2 5 6 5 0 2 5 2 0 4 2 5 2 1 0 5 2 5 6 10 2 10 1 5 2 5 4 2 0 0 5 5 5 0 5 4 1 0 5 5 3 1 0 5 0 0 0 0 1 5 1 1 0 1 1 1 1 5 0 2 0 5 0 1 2 1 0 3 5 3 0 4 0 0 0 5 5 5 1 2 0 0 2 0 3 1 0 2 2 0 3 10 10 5 5 2 10 3 0 0 5 2 6 0 0 1 4 0 1 0 1 0 1 5 3 2 5 2 5 0 0 2 0 1 2 2 0 5 2 0 0 1 0 5 2 3 0 10 10 10 0 1 10 1 0 5 2 2 5 3 2 1 10 1 1 0 4 1 6 0 1 2 1 5 10 5 3 3 2 0 5 0 5 1 3 2 5 0 0 0 1 3 5 2 10 0 10 0 2 2 1 5 5 0 2 10 10 5 2 5 5 0 0 1 1 5 1 2 0 0 0 0 2 10 0 10 0 5 4 0 5 0 5 4 0 0 1 0 3 2 0 0 5 5 5 5 0 0 2 1 2 5 5 2 0 5 1 1 1 6 0 3 10 10 5 1 0 1 2 0 0 0 2 0 5 2 5 0 5 5 5 1 0 5 2 0 1 0 5 1 5 0 0 0 0 2 0 5 0 2 0 2 10 0 2 0 2 3 6 5 5 5 0 0 6 0 0 2 2 5 10 6 10 2 4 1 1 10 10 10 3 0 2 5 5 2 5 5 0 2 5 0 1 2 0 0 10 5 3 1 0 0 10 0 5 5 0 2 5 2 0 1 0 0 2 1 5 5 0 5 1 1 2 10 2 2 5 10 2 1 0 10 10 5 2 0 5 2 5 5 1 0 0 0 3 5 0 2 1 0 0 0 2 5 0 0 5 5 5 5 10 10 2 5 0 3 2 5 4 0 2 3 0 2 5 1 10 0 3 5 1 10 0 2 5 1 0 0 2 10 0 0 10 0 0 2 0 2 10 1 1 5 5 2 2 5 1 0 4 0 2 0 2 5 0 5 0 0 10 4 2 2 10 0 5 5 2 10 1 0 0 5 2 5 2 2 2 0 5 6 6 2 3 6 1 10 0 1 2 1 1 6 1 0 5 5 0 0 5 3 0 10 0 0 4 10 2 2 2 1 0 2 0 0 2 4 2 2 0 0 0 4 10 5 0 1 2 3 5 0 0 5 6 2 3 0 0 2 10 2 3 2 10 2 1 0 5 1 0 5 4 5 1 0 2 2 1 2 5 0 0 1 2 0 4 2 0 0 0 5 5 5 0 0 0 0 5 0 3 10 2 1 5 0 0 5 5 0 2 5 3 0 1 5 0 0 6 5 3 5 2 0 2 0 5 1 0 5 1 5 2 0 2 0 0 0 0 4 3 2 5 2 4 1 0 0 2 5 5 1 10 2 5 2 2 0 0 2 5 2 10 2 0 2 5 2 0 0 1 5 2 2 2 0 0 0 0 3 10 0 2 3 5 5 0 0 2 4 2 2 2 0 5 2 0 1 0 0 1 10 2 0 10 1 5 1 5 252.04/245.80 v </values> 252.04/245.80 v </instantiation>
OK 13882
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 (6964 MiB free)
memory of node 1: 16384 MiB (10824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310039-1534330576/watcher-4310039-1534330576 -o /tmp/evaluation-result-4310039-1534330576/solver-4310039-1534330576 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534329088-25481 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 184273818 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310039-1534330576.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=26487, runsolver pid=26484
Current StackSize limit: 8192 KiB
[startup+0.100118 s]*
/proc/loadavg: 1.81 1.66 1.56 3/215 26502
/proc/meminfo: memFree=18191228/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14082736 memory=31244 CPUtime=0.12 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 6721 0 0 0 11 1 0 0 20 0 15 0 250620888 14420721664 7811 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3520684 7811 3152 1 0 3482761 0
[pid=26487/tid=26489] ppid=26484 vsize=14082736 memory=-6966721798027829888 CPUtime=0.08 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 4757 0 0 0 8 0 0 0 20 0 15 0 250620888 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119943624368 140119896026515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14082736 memory=5793855319524501945 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620890 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620891 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119412553120 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620891 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119411500528 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) S 26484 26487 25450 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 250620893 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119408343152 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0.01 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) S 26484 26487 25450 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 15 0 250620893 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119407290608 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620894 14420721664 7811 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31244 KiB
[startup+0.21085 s]*
/proc/loadavg: 1.81 1.66 1.56 5/215 26502
/proc/meminfo: memFree=18175848/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14082736 memory=47036 CPUtime=0.3 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 10387 0 0 0 28 2 0 0 20 0 15 0 250620888 14420721664 11759 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3520684 11759 3354 1 0 3482761 0
[pid=26487/tid=26489] ppid=26484 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 8088 0 0 0 18 1 0 0 20 0 15 0 250620888 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119943638608 140119939423638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14082736 memory=4211973794719399306 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250620890 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620891 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119412553120 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620891 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119411500528 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) R 26484 26487 25450 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 15 0 250620893 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) R 26484 26487 25450 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 15 0 250620893 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119408334656 140119917391403 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0.06 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) R 26484 26487 25450 0 -1 4202560 308 0 0 0 6 0 0 0 20 0 15 0 250620893 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119407286336 140119918067585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620894 14420721664 11759 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47036 KiB
[startup+0.310504 s]*
/proc/loadavg: 1.81 1.66 1.56 4/215 26502
/proc/meminfo: memFree=18172560/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14082736 memory=50464 CPUtime=0.44 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 10789 0 0 0 41 3 0 0 20 0 15 0 250620888 14420721664 12616 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3520684 12616 3357 1 0 3482761 0
[pid=26487/tid=26489] ppid=26484 vsize=14082736 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 8449 0 0 0 28 2 0 0 20 0 15 0 250620888 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119943629616 140119923492190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14082736 memory=4211973794719399306 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14082736 memory=280136927701376 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14082736 memory=280136826212864 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14082736 memory=140068413092623 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620889 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14082736 memory=280136927708288 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250620890 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14082736 memory=140068413097231 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620891 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119412553120 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14082736 memory=140068413125017 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620891 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119411500528 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14082736 memory=140068413127322 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) S 26484 26487 25450 0 -1 1077944384 525 0 0 0 2 0 0 0 20 0 15 0 250620893 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) S 26484 26487 25450 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 250620893 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119408343152 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14082736 memory=140068514608768 CPUtime=0.08 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) S 26484 26487 25450 0 -1 1077944384 329 0 0 0 8 0 0 0 20 0 15 0 250620893 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119407290608 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14082736 memory=140068514640012 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620894 14420721664 12616 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50464 KiB
[startup+0.700718 s]
/proc/loadavg: 1.81 1.66 1.56 4/215 26502
/proc/meminfo: memFree=18148376/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14084804 memory=88856 CPUtime=0.98 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 17637 0 0 0 94 4 0 0 20 0 15 0 250620888 14422839296 22214 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3521201 22214 3500 1 0 3483273 0
[pid=26487/tid=26489] ppid=26484 vsize=14084804 memory=53 CPUtime=0.67 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 14893 0 0 0 64 3 0 0 20 0 15 0 250620888 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119943635920 140119939433629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14084804 memory=79 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14084804 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620889 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14084804 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250620890 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14084804 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250620891 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119412553120 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14084804 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250620891 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119411500528 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14084804 memory=7200 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14084804 memory=748 CPUtime=0.07 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) S 26484 26487 25450 0 -1 1077944384 686 0 0 0 7 0 0 0 20 0 15 0 250620893 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14084804 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) S 26484 26487 25450 0 -1 1077944384 251 0 0 0 7 0 0 0 20 0 15 0 250620893 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119408343152 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14084804 memory=1220 CPUtime=0.15 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) S 26484 26487 25450 0 -1 1077944384 426 0 0 0 15 0 0 0 20 0 15 0 250620893 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119407290608 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14084804 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14084804 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620894 14422839296 22214 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88856 KiB
[startup+1.50085 s]
/proc/loadavg: 1.81 1.66 1.56 4/215 26502
/proc/meminfo: memFree=18109724/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14090948 memory=175880 CPUtime=3.05 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 26750 0 0 0 296 9 0 0 20 0 15 0 250620888 14429130752 43970 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3522737 43970 3549 1 0 3484809 0
[pid=26487/tid=26489] ppid=26484 vsize=14090948 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 20216 0 0 0 141 6 0 0 20 0 15 0 250620888 14429130752 43970 33554432000 4194304 4196468 140731309269520 140119943644688 140119566744220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14429130752 43970 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14090948 memory=79 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14429130752 43970 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14090948 memory=1 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250620889 14429130752 43970 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250620889 14429130752 43970 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 15 0 250620890 14429130752 43970 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
################
# More data... #
################
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 36214 0 0 0 16120 52 0 0 20 0 15 0 250620888 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119943649856 140119576170648 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14090948 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 2196 0 0 0 30 17 0 0 20 0 15 0 250620889 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14090948 memory=15840 CPUtime=0.47 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 1755 0 0 0 30 17 0 0 20 0 15 0 250620889 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14090948 memory=38412 CPUtime=0.47 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 1838 0 0 0 30 17 0 0 20 0 15 0 250620889 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14090948 memory=3304 CPUtime=0.47 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 943 0 0 0 31 16 0 0 20 0 15 0 250620889 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14090948 memory=496 CPUtime=0.02 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 2854 0 0 0 2 0 0 0 20 0 15 0 250620890 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14090948 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119412553184 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119411500544 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14090948 memory=2380 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14090948 memory=1752 CPUtime=1.83 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) S 26484 26487 25450 0 -1 1077944384 5877 0 0 0 183 0 0 0 20 0 15 0 250620893 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14090948 memory=1620 CPUtime=1.84 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) S 26484 26487 25450 0 -1 1077944384 4228 0 0 0 183 1 0 0 20 0 15 0 250620893 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119408343152 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14090948 memory=4744 CPUtime=0.94 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) S 26484 26487 25450 0 -1 1077944384 8414 0 0 0 93 1 0 0 20 0 15 0 250620893 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119407290608 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14090948 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14090948 memory=8564 CPUtime=0.06 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 317 0 0 0 4 2 0 0 20 0 15 0 250620894 14429130752 963521 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 168.41 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3854084 KiB
[startup+222.301 s]
/proc/loadavg: 2.10 1.73 1.61 3/215 26506
/proc/meminfo: memFree=14510696/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14090948 memory=3766668 CPUtime=228.51 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 72583 0 0 0 22720 131 0 0 20 0 15 0 250620888 14429130752 941667 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3522737 941667 3595 1 0 3484809 0
[pid=26487/tid=26489] ppid=26484 vsize=14090948 memory=0 CPUtime=221.68 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 40831 0 0 0 22115 53 0 0 20 0 15 0 250620888 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119943649568 140119577383081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14090948 memory=8 CPUtime=0.5 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 2798 0 0 0 33 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14090948 memory=3 CPUtime=0.5 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 2087 0 0 0 33 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14090948 memory=872 CPUtime=0.5 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 2433 0 0 0 33 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14090948 memory=1220 CPUtime=0.51 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 1048 0 0 0 34 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14090948 memory=1108 CPUtime=0.03 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 3090 0 0 0 2 1 0 0 20 0 15 0 250620890 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14090948 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119412553184 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14090948 memory=15840 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119411500544 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14090948 memory=38412 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14090948 memory=3304 CPUtime=1.83 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) S 26484 26487 25450 0 -1 1077944384 5880 0 0 0 183 0 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14090948 memory=496 CPUtime=1.84 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) S 26484 26487 25450 0 -1 1077944384 4231 0 0 0 183 1 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119408343152 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14090948 memory=1616 CPUtime=0.94 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) S 26484 26487 25450 0 -1 1077944384 8421 0 0 0 93 1 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119407290608 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14090948 memory=1168 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14090948 memory=928 CPUtime=0.09 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 341 0 0 0 5 4 0 0 20 0 15 0 250620894 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 228.51 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3766668 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+245.801 s]
/proc/loadavg: 2.07 1.75 1.62 3/210 26588
/proc/meminfo: memFree=14663200/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14090948 memory=3766668 CPUtime=252.04 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 74069 0 0 0 25073 131 0 0 20 0 15 0 250620888 14429130752 941667 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3522737 941667 3595 1 0 3484809 0
[pid=26487/tid=26489] ppid=26484 vsize=14090948 memory=3766668 CPUtime=245.16 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 42228 0 0 0 24463 53 0 0 20 0 15 0 250620888 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119943649856 140119577335932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.51 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 2800 0 0 0 34 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14090948 memory=227590317068028 CPUtime=0.51 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 2088 0 0 0 34 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.51 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 2471 0 0 0 34 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.52 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 1049 0 0 0 35 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.03 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 3096 0 0 0 2 1 0 0 20 0 15 0 250620890 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14090948 memory=3856960 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119412553184 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119411500544 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14090948 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14090948 memory=1572 CPUtime=1.83 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) S 26484 26487 25450 0 -1 1077944384 5884 0 0 0 183 0 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14090948 memory=3766668 CPUtime=1.84 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) S 26484 26487 25450 0 -1 1077944384 4234 0 0 0 183 1 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119408343152 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14090948 memory=7200 CPUtime=0.94 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) S 26484 26487 25450 0 -1 1077944384 8429 0 0 0 93 1 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119407290608 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.1 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 367 0 0 0 6 4 0 0 20 0 15 0 250620894 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3766668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+245.831 s]
# the end of solver process 26487 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.748 s, system=1.34143 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+245.801 s]
/proc/loadavg: 2.07 1.75 1.62 3/210 26588
/proc/meminfo: memFree=14663200/32770624 swapFree=67108792/67108860
[pid=26487] ppid=26484 vsize=14090948 memory=3766668 CPUtime=252.04 cores=0,2,4,6
/proc/26487/stat : 26487 (java) S 26484 26487 25450 0 -1 1077944320 74069 0 0 0 25073 131 0 0 20 0 15 0 250620888 14429130752 941667 33554432000 4194304 4196468 140731309269520 140731309252064 140119939411703 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
/proc/26487/statm: 3522737 941667 3595 1 0 3484809 0
[pid=26487/tid=26489] ppid=26484 vsize=14090948 memory=3766668 CPUtime=245.16 cores=0,2,4,6
/proc/26487/task/26489/stat : 26489 (java) R 26484 26487 25450 0 -1 4202560 42228 0 0 0 24463 53 0 0 20 0 15 0 250620888 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119943649856 140119577335932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26490] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.51 cores=0,2,4,6
/proc/26487/task/26490/stat : 26490 (java) S 26484 26487 25450 0 -1 1077944384 2800 0 0 0 34 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119892031760 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26491] ppid=26484 vsize=14090948 memory=227590317068028 CPUtime=0.51 cores=0,2,4,6
/proc/26487/task/26491/stat : 26491 (java) S 26484 26487 25450 0 -1 1077944384 2088 0 0 0 34 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119890979216 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26492] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.51 cores=0,2,4,6
/proc/26487/task/26492/stat : 26492 (java) S 26484 26487 25450 0 -1 1077944384 2471 0 0 0 34 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119889926672 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26493] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.52 cores=0,2,4,6
/proc/26487/task/26493/stat : 26493 (java) S 26484 26487 25450 0 -1 1077944384 1049 0 0 0 35 17 0 0 20 0 15 0 250620889 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119888874128 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26494] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.03 cores=0,2,4,6
/proc/26487/task/26494/stat : 26494 (java) S 26484 26487 25450 0 -1 1077944384 3096 0 0 0 2 1 0 0 20 0 15 0 250620890 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119413606896 140119939422850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26495] ppid=26484 vsize=14090948 memory=3856960 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26495/stat : 26495 (java) S 26484 26487 25450 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119412553184 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26496] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26496/stat : 26496 (java) S 26484 26487 25450 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 250620891 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119411500544 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26497] ppid=26484 vsize=14090948 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26497/stat : 26497 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119410449104 140119939430299 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26498] ppid=26484 vsize=14090948 memory=1572 CPUtime=1.83 cores=0,2,4,6
/proc/26487/task/26498/stat : 26498 (java) S 26484 26487 25450 0 -1 1077944384 5884 0 0 0 183 0 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119409395696 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26499] ppid=26484 vsize=14090948 memory=3766668 CPUtime=1.84 cores=0,2,4,6
/proc/26487/task/26499/stat : 26499 (java) S 26484 26487 25450 0 -1 1077944384 4234 0 0 0 183 1 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119408343152 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26500] ppid=26484 vsize=14090948 memory=7200 CPUtime=0.94 cores=0,2,4,6
/proc/26487/task/26500/stat : 26500 (java) S 26484 26487 25450 0 -1 1077944384 8429 0 0 0 93 1 0 0 20 0 15 0 250620893 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119407290608 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26501] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0 cores=0,2,4,6
/proc/26487/task/26501/stat : 26501 (java) S 26484 26487 25450 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250620894 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119406238304 140119939421909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
[pid=26487/tid=26502] ppid=26484 vsize=14090948 memory=3766668 CPUtime=0.1 cores=0,2,4,6
/proc/26487/task/26502/stat : 26502 (java) S 26484 26487 25450 0 -1 1077944384 367 0 0 0 6 4 0 0 20 0 15 0 250620894 14429130752 941667 33554432000 4194304 4196468 140731309269520 140119405185840 140119939422850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35328000 140731309278287 140731309278478 140731309278478 140731309281231 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3766668 KiB
Child status: 143
Real time (s): 245.831
CPU time (s): 252.09
CPU user time (s): 250.748
CPU system time (s): 1.34143
CPU usage (%): 102.546
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 3856960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.748
system time used= 1.34143
maximum resident set size= 3860228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75553
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9401
involuntary context switches= 397
# summary of solver processes directly reported to runsolver:
# pid: 26487
# total CPU time (s): 252.09
# total CPU user time (s): 250.748
# total CPU system time (s): 1.34143
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11277 second user time and 2.62705 second system time
The end
Begin job on node150 at 2018-08-15 12:56:16 IDJOB=4310039 IDBENCH=141251 IDSOLVER=2795 FILE ID=node150/4310039-1534330576 RUNJOBID= node150-1534329088-25481 PBS_JOBID= 21038155 Free space on /tmp= 37896 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14 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 NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310039-1534330576/watcher-4310039-1534330576 -o /tmp/evaluation-result-4310039-1534330576/solver-4310039-1534330576 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534329088-25481 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 184273818 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310039-1534330576.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69d2b1c9cf4919b13dd8bc483772d8bf RANDOM SEED=184273818 node150.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.76 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.76 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.76 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.76 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: 18215548 kB MemAvailable: 31679868 kB Buffers: 249536 kB Cached: 13382036 kB SwapCached: 32 kB Active: 6636832 kB Inactive: 7264808 kB Active(anon): 221448 kB Inactive(anon): 109136 kB Active(file): 6415384 kB Inactive(file): 7155672 kB Unevictable: 7740 kB Mlocked: 7740 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 38640 kB Writeback: 0 kB AnonPages: 277780 kB Mapped: 69904 kB Shmem: 57924 kB Slab: 350168 kB SReclaimable: 321724 kB SUnreclaim: 28444 kB KernelStack: 3504 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1332588 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 155648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 37864 MiB End job on node150 at 2018-08-15 13:00:22