| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | ? (TO) | 2400.01 | 2400.11 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K14-P05.xml |
| MD5SUM | 59020dc5d68df7ba2fdec80297510e85 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1106 |
| Number of constraints | 513 |
| Number of domains | 2 |
| Minimum domain size | 511 |
| Maximum domain size | 512 |
| Distribution of domain sizes | [{"size":511,"count":511},{"size":512,"count":70}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":0,"count":525},{"degree":2,"count":511},{"degree":15,"count":28},{"degree":16,"count":42}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 511 |
| Distribution of constraint arities | [{"arity":3,"count":511},{"arity":70,"count":1},{"arity":511,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 511 |
| Distribution of constraint types | [{"type":"intension","count":511},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.09/0.18 c root propagations : 0 0.09/0.18 c restarts enabled, print stats at every restarts 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c This is cosoco 2.00 -- 0.09/0.18 c 0.09/0.18 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397408-1568572875.xml 0.09/0.18 c ========================================[ Problem Statistics ]=========================================== 0.09/0.18 c | 0.09/0.18 c | Parse time : 0.17 s 0.09/0.18 c | 0.09/0.18 c | Variables: 1106 0.09/0.18 c | Domain Sizes: 511..512 0.09/0.18 c | 0.09/0.18 c | Constraints: 513 0.09/0.18 c | Arity: 3..511 -- Ternary: 511 0.09/0.18 c | 0.09/0.18 c | Types: 0.09/0.18 c | All Different: 2 0.09/0.18 c | Intension: 511 0.09/0.18 c | 0.09/0.18 c ========================================================================================================= 0.09/0.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.09/0.18 c remove useless variable ce[0][0][0] 0.09/0.18 c remove useless variable ce[0][1][0] 0.09/0.18 c remove useless variable ce[0][1][1] 0.09/0.18 c remove useless variable ce[0][2][0] 0.09/0.18 c remove useless variable ce[0][2][1] 0.09/0.18 c remove useless variable ce[0][2][2] 0.09/0.18 c remove useless variable ce[0][3][0] 0.09/0.18 c remove useless variable ce[0][3][1] 0.09/0.18 c remove useless variable ce[0][3][2] 0.09/0.18 c remove useless variable ce[0][3][3] 0.09/0.18 c remove useless variable ce[0][4][0] 0.09/0.18 c remove useless variable ce[0][4][1] 0.09/0.18 c remove useless variable ce[0][4][2] 0.09/0.18 c remove useless variable ce[0][4][3] 0.09/0.18 c remove useless variable ce[0][4][4] 0.09/0.18 c remove useless variable ce[0][5][0] 0.09/0.18 c remove useless variable ce[0][5][1] 0.09/0.18 c remove useless variable ce[0][5][2] 0.09/0.18 c remove useless variable ce[0][5][3] 0.09/0.18 c remove useless variable ce[0][5][4] 0.09/0.18 c remove useless variable ce[0][5][5] 0.09/0.18 c remove useless variable ce[0][6][0] 0.09/0.18 c remove useless variable ce[0][6][1] 0.09/0.18 c remove useless variable ce[0][6][2] 0.09/0.18 c remove useless variable ce[0][6][3] 0.09/0.18 c remove useless variable ce[0][6][4] 0.09/0.18 c remove useless variable ce[0][6][5] 0.09/0.18 c remove useless variable ce[0][6][6] 0.09/0.18 c remove useless variable ce[0][7][0] 0.09/0.18 c remove useless variable ce[0][7][1] 0.09/0.18 c remove useless variable ce[0][7][2] 0.09/0.18 c remove useless variable ce[0][7][3] 0.09/0.18 c remove useless variable ce[0][7][4] 0.09/0.18 c remove useless variable ce[0][7][5] 0.09/0.18 c remove useless variable ce[0][7][6] 0.09/0.18 c remove useless variable ce[0][7][7] 0.09/0.18 c remove useless variable ce[0][8][0] 0.09/0.18 c remove useless variable ce[0][8][1] 0.09/0.18 c remove useless variable ce[0][8][2] 0.09/0.18 c remove useless variable ce[0][8][3] 0.09/0.18 c remove useless variable ce[0][8][4] 0.09/0.18 c remove useless variable ce[0][8][5] 0.09/0.18 c remove useless variable ce[0][8][6] 0.09/0.18 c remove useless variable ce[0][8][7] 0.09/0.18 c remove useless variable ce[0][8][8] 0.09/0.18 c remove useless variable ce[0][9][0] 0.09/0.18 c remove useless variable ce[0][9][1] 0.09/0.18 c remove useless variable ce[0][9][2] 0.09/0.18 c remove useless variable ce[0][9][3] 0.09/0.18 c remove useless variable ce[0][9][4] 0.09/0.18 c remove useless variable ce[0][9][5] 0.09/0.18 c remove useless variable ce[0][9][6] 0.09/0.18 c remove useless variable ce[0][9][7] 0.09/0.18 c remove useless variable ce[0][9][8] 0.09/0.18 c remove useless variable ce[0][9][9] 0.09/0.18 c remove useless variable ce[0][10][0] 0.09/0.18 c remove useless variable ce[0][10][1] 0.09/0.18 c remove useless variable ce[0][10][2] 0.09/0.18 c remove useless variable ce[0][10][3] 0.09/0.18 c remove useless variable ce[0][10][4] 0.09/0.18 c remove useless variable ce[0][10][5] 0.09/0.18 c remove useless variable ce[0][10][6] 0.09/0.18 c remove useless variable ce[0][10][7] 0.09/0.18 c remove useless variable ce[0][10][8] 0.09/0.18 c remove useless variable ce[0][10][9] 0.09/0.18 c remove useless variable ce[0][10][10] 0.09/0.18 c remove useless variable ce[0][11][0] 0.09/0.18 c remove useless variable ce[0][11][1] 0.09/0.18 c remove useless variable ce[0][11][2] 0.09/0.18 c remove useless variable ce[0][11][3] 0.09/0.18 c remove useless variable ce[0][11][4] 0.09/0.18 c remove useless variable ce[0][11][5] 0.09/0.18 c remove useless variable ce[0][11][6] 0.09/0.18 c remove useless variable ce[0][11][7] 0.09/0.18 c remove useless variable ce[0][11][8] 0.09/0.18 c remove useless variable ce[0][11][9] 0.09/0.18 c remove useless variable ce[0][11][10] 0.09/0.18 c remove useless variable ce[0][11][11] 0.09/0.18 c remove useless variable ce[0][12][0] 0.09/0.18 c remove useless variable ce[0][12][1] 0.09/0.18 c remove useless variable ce[0][12][2] 0.09/0.18 c remove useless variable ce[0][12][3] 0.09/0.18 c remove useless variable ce[0][12][4] 0.09/0.18 c remove useless variable ce[0][12][5] 0.09/0.18 c remove useless variable ce[0][12][6] 0.09/0.18 c remove useless variable ce[0][12][7] 0.09/0.18 c remove useless variable ce[0][12][8] 0.09/0.18 c remove useless variable ce[0][12][9] 0.09/0.18 c remove useless variable ce[0][12][10] 0.09/0.18 c remove useless variable ce[0][12][11] 0.09/0.18 c remove useless variable ce[0][12][12] 0.09/0.18 c remove useless variable ce[0][13][0] 0.09/0.18 c remove useless variable ce[0][13][1] 0.09/0.18 c remove useless variable ce[0][13][2] 0.09/0.18 c remove useless variable ce[0][13][3] 0.09/0.18 c remove useless variable ce[0][13][4] 0.09/0.18 c remove useless variable ce[0][13][5] 0.09/0.18 c remove useless variable ce[0][13][6] 0.09/0.18 c remove useless variable ce[0][13][7] 0.09/0.18 c remove useless variable ce[0][13][8] 0.09/0.18 c remove useless variable ce[0][13][9] 0.09/0.18 c remove useless variable ce[0][13][10] 0.09/0.18 c remove useless variable ce[0][13][11] 0.09/0.18 c remove useless variable ce[0][13][12] 0.09/0.18 c remove useless variable ce[0][13][13] 0.09/0.18 c remove useless variable ce[1][0][0] 0.09/0.18 c remove useless variable ce[1][1][0] 0.09/0.18 c remove useless variable ce[1][1][1] 0.09/0.18 c remove useless variable ce[1][2][0] 0.09/0.18 c remove useless variable ce[1][2][1] 0.09/0.18 c remove useless variable ce[1][2][2] 0.09/0.18 c remove useless variable ce[1][3][0] 0.09/0.18 c remove useless variable ce[1][3][1] 0.09/0.18 c remove useless variable ce[1][3][2] 0.09/0.18 c remove useless variable ce[1][3][3] 0.09/0.18 c remove useless variable ce[1][4][0] 0.09/0.18 c remove useless variable ce[1][4][1] 0.09/0.18 c remove useless variable ce[1][4][2] 0.09/0.18 c remove useless variable ce[1][4][3] 0.09/0.18 c remove useless variable ce[1][4][4] 0.09/0.18 c remove useless variable ce[1][5][0] 0.09/0.18 c remove useless variable ce[1][5][1] 0.09/0.18 c remove useless variable ce[1][5][2] 0.09/0.18 c remove useless variable ce[1][5][3] 0.09/0.18 c remove useless variable ce[1][5][4] 0.09/0.18 c remove useless variable ce[1][5][5] 0.09/0.18 c remove useless variable ce[1][6][0] 0.09/0.18 c remove useless variable ce[1][6][1] 0.09/0.18 c remove useless variable ce[1][6][2] 0.09/0.18 c remove useless variable ce[1][6][3] 0.09/0.18 c remove useless variable ce[1][6][4] 0.09/0.18 c remove useless variable ce[1][6][5] 0.09/0.18 c remove useless variable ce[1][6][6] 0.09/0.18 c remove useless variable ce[1][7][0] 0.09/0.18 c remove useless variable ce[1][7][1] 0.09/0.18 c remove useless variable ce[1][7][2] 0.09/0.18 c remove useless variable ce[1][7][3] 0.09/0.18 c remove useless variable ce[1][7][4] 0.09/0.18 c remove useless variable ce[1][7][5] 0.09/0.18 c remove useless variable ce[1][7][6] 0.09/0.18 c remove useless variable ce[1][7][7] 0.09/0.18 c remove useless variable ce[1][8][0] 0.09/0.18 c remove useless variable ce[1][8][1] 0.09/0.18 c remove useless variable ce[1][8][2] 0.09/0.18 c remove useless variable ce[1][8][3] 0.09/0.18 c remove useless variable ce[1][8][4] 0.09/0.18 c remove useless variable ce[1][8][5] 0.09/0.18 c remove useless variable ce[1][8][6] 0.09/0.18 c remove useless variable ce[1][8][7] 0.09/0.18 c remove useless variable ce[1][8][8] 0.09/0.18 c remove useless variable ce[1][9][0] 0.09/0.18 c remove useless variable ce[1][9][1] 0.09/0.18 c remove useless variable ce[1][9][2] 0.09/0.18 c remove useless variable ce[1][9][3] 0.09/0.18 c remove useless variable ce[1][9][4] 0.09/0.18 c remove useless variable ce[1][9][5] 0.09/0.18 c remove useless variable ce[1][9][6] 0.09/0.18 c remove useless variable ce[1][9][7] 0.09/0.18 c remove useless variable ce[1][9][8] 0.09/0.18 c remove useless variable ce[1][9][9] 0.09/0.18 c remove useless variable ce[1][10][0] 0.09/0.18 c remove useless variable ce[1][10][1] 0.09/0.18 c remove useless variable ce[1][10][2] 0.09/0.18 c remove useless variable ce[1][10][3] 0.09/0.18 c remove useless variable ce[1][10][4] 0.09/0.18 c remove useless variable ce[1][10][5] 0.09/0.18 c remove useless variable ce[1][10][6] 0.09/0.18 c remove useless variable ce[1][10][7] 0.09/0.18 c remove useless variable ce[1][10][8] 0.09/0.18 c remove useless variable ce[1][10][9] 0.09/0.18 c remove useless variable ce[1][10][10] 0.09/0.18 c remove useless variable ce[1][11][0] 0.09/0.18 c remove useless variable ce[1][11][1] 0.09/0.18 c remove useless variable ce[1][11][2] 0.09/0.18 c remove useless variable ce[1][11][3] 0.09/0.18 c remove useless variable ce[1][11][4] 0.09/0.18 c remove useless variable ce[1][11][5] 0.09/0.18 c remove useless variable ce[1][11][6] 0.09/0.18 c remove useless variable ce[1][11][7] 0.09/0.18 c remove useless variable ce[1][11][8] 0.09/0.18 c remove useless variable ce[1][11][9] 0.09/0.18 c remove useless variable ce[1][11][10] 0.09/0.18 c remove useless variable ce[1][11][11] 0.09/0.18 c remove useless variable ce[1][12][0] 0.09/0.18 c remove useless variable ce[1][12][1] 0.09/0.18 c remove useless variable ce[1][12][2] 0.09/0.18 c remove useless variable ce[1][12][3] 0.09/0.18 c remove useless variable ce[1][12][4] 0.09/0.18 c remove useless variable ce[1][12][5] 0.09/0.18 c remove useless variable ce[1][12][6] 0.09/0.18 c remove useless variable ce[1][12][7] 0.09/0.18 c remove useless variable ce[1][12][8] 0.09/0.18 c remove useless variable ce[1][12][9] 0.09/0.18 c remove useless variable ce[1][12][10] 0.09/0.18 c remove useless variable ce[1][12][11] 0.09/0.18 c remove useless variable ce[1][12][12] 0.09/0.18 c remove useless variable ce[1][13][0] 0.09/0.18 c remove useless variable ce[1][13][1] 0.09/0.18 c remove useless variable ce[1][13][2] 0.09/0.18 c remove useless variable ce[1][13][3] 0.09/0.18 c remove useless variable ce[1][13][4] 0.09/0.18 c remove useless variable ce[1][13][5] 0.09/0.18 c remove useless variable ce[1][13][6] 0.09/0.18 c remove useless variable ce[1][13][7] 0.09/0.18 c remove useless variable ce[1][13][8] 0.09/0.18 c remove useless variable ce[1][13][9] 0.09/0.18 c remove useless variable ce[1][13][10] 0.09/0.18 c remove useless variable ce[1][13][11] 0.09/0.18 c remove useless variable ce[1][13][12] 0.09/0.18 c remove useless variable ce[1][13][13] 0.09/0.18 c remove useless variable ce[2][0][0] 0.09/0.18 c remove useless variable ce[2][1][0] 0.09/0.18 c remove useless variable ce[2][1][1] 0.09/0.18 c remove useless variable ce[2][2][0] 0.09/0.18 c remove useless variable ce[2][2][1] 0.09/0.18 c remove useless variable ce[2][2][2] 0.09/0.18 c remove useless variable ce[2][3][0] 0.09/0.18 c remove useless variable ce[2][3][1] 0.09/0.18 c remove useless variable ce[2][3][2] 0.09/0.18 c remove useless variable ce[2][3][3] 0.09/0.18 c remove useless variable ce[2][4][0] 0.09/0.18 c remove useless variable ce[2][4][1] 0.09/0.18 c remove useless variable ce[2][4][2] 0.09/0.18 c remove useless variable ce[2][4][3] 0.09/0.18 c remove useless variable ce[2][4][4] 0.09/0.18 c remove useless variable ce[2][5][0] 0.09/0.18 c remove useless variable ce[2][5][1] 0.09/0.18 c remove useless variable ce[2][5][2] 0.09/0.18 c remove useless variable ce[2][5][3] 0.09/0.18 c remove useless variable ce[2][5][4] 0.09/0.18 c remove useless variable ce[2][5][5] 0.09/0.18 c remove useless variable ce[2][6][0] 0.09/0.18 c remove useless variable ce[2][6][1] 0.09/0.18 c remove useless variable ce[2][6][2] 0.09/0.18 c remove useless variable ce[2][6][3] 0.09/0.18 c remove useless variable ce[2][6][4] 0.09/0.18 c remove useless variable ce[2][6][5] 0.09/0.18 c remove useless variable ce[2][6][6] 0.09/0.18 c remove useless variable ce[2][7][0] 0.09/0.18 c remove useless variable ce[2][7][1] 0.09/0.18 c remove useless variable ce[2][7][2] 0.09/0.18 c remove useless variable ce[2][7][3] 0.09/0.18 c remove useless variable ce[2][7][4] 0.09/0.18 c remove useless variable ce[2][7][5] 0.09/0.18 c remove useless variable ce[2][7][6] 0.09/0.18 c remove useless variable ce[2][7][7] 0.09/0.18 c remove useless variable ce[2][8][0] 0.09/0.18 c remove useless variable ce[2][8][1] 0.09/0.18 c remove useless variable ce[2][8][2] 0.09/0.18 c remove useless variable ce[2][8][3] 0.09/0.18 c remove useless variable ce[2][8][4] 0.09/0.18 c remove useless variable ce[2][8][5] 0.09/0.18 c remove useless variable ce[2][8][6] 0.09/0.18 c remove useless variable ce[2][8][7] 0.09/0.18 c remove useless variable ce[2][8][8] 0.09/0.18 c remove useless variable ce[2][9][0] 0.09/0.18 c remove useless variable ce[2][9][1] 0.09/0.18 c remove useless variable ce[2][9][2] 0.09/0.18 c remove useless variable ce[2][9][3] 0.09/0.18 c remove useless variable ce[2][9][4] 0.09/0.18 c remove useless variable ce[2][9][5] 0.09/0.18 c remove useless variable ce[2][9][6] 0.09/0.18 c remove useless variable ce[2][9][7] 0.09/0.18 c remove useless variable ce[2][9][8] 0.09/0.18 c remove useless variable ce[2][9][9] 0.09/0.18 c remove useless variable ce[2][10][0] 0.09/0.18 c remove useless variable ce[2][10][1] 0.09/0.18 c remove useless variable ce[2][10][2] 0.09/0.18 c remove useless variable ce[2][10][3] 0.09/0.18 c remove useless variable ce[2][10][4] 0.09/0.18 c remove useless variable ce[2][10][5] 0.09/0.18 c remove useless variable ce[2][10][6] 0.09/0.18 c remove useless variable ce[2][10][7] 0.09/0.18 c remove useless variable ce[2][10][8] 0.09/0.18 c remove useless variable ce[2][10][9] 0.09/0.18 c remove useless variable ce[2][10][10] 0.09/0.18 c remove useless variable ce[2][11][0] 0.09/0.18 c remove useless variable ce[2][11][1] 0.09/0.18 c remove useless variable ce[2][11][2] 0.09/0.18 c remove useless variable ce[2][11][3] 0.09/0.18 c remove useless variable ce[2][11][4] 0.09/0.18 c remove useless variable ce[2][11][5] 0.09/0.18 c remove useless variable ce[2][11][6] 0.09/0.18 c remove useless variable ce[2][11][7] 0.09/0.18 c remove useless variable ce[2][11][8] 0.09/0.18 c remove useless variable ce[2][11][9] 0.09/0.18 c remove useless variable ce[2][11][10] 0.09/0.18 c remove useless variable ce[2][11][11] 0.09/0.18 c remove useless variable ce[2][12][0] 0.09/0.18 c remove useless variable ce[2][12][1] 0.09/0.18 c remove useless variable ce[2][12][2] 0.09/0.18 c remove useless variable ce[2][12][3] 0.09/0.18 c remove useless variable ce[2][12][4] 0.09/0.18 c remove useless variable ce[2][12][5] 0.09/0.18 c remove useless variable ce[2][12][6] 0.09/0.18 c remove useless variable ce[2][12][7] 0.09/0.18 c remove useless variable ce[2][12][8] 0.09/0.18 c remove useless variable ce[2][12][9] 0.09/0.18 c remove useless variable ce[2][12][10] 0.09/0.18 c remove useless variable ce[2][12][11] 0.09/0.18 c remove useless variable ce[2][12][12] 0.09/0.18 c remove useless variable ce[2][13][0] 0.09/0.18 c remove useless variable ce[2][13][1] 0.09/0.18 c remove useless variable ce[2][13][2] 0.09/0.18 c remove useless variable ce[2][13][3] 0.09/0.18 c remove useless variable ce[2][13][4] 0.09/0.18 c remove useless variable ce[2][13][5] 0.09/0.18 c remove useless variable ce[2][13][6] 0.09/0.18 c remove useless variable ce[2][13][7] 0.09/0.18 c remove useless variable ce[2][13][8] 0.09/0.18 c remove useless variable ce[2][13][9] 0.09/0.18 c remove useless variable ce[2][13][10] 0.09/0.18 c remove useless variable ce[2][13][11] 0.09/0.18 c remove useless variable ce[2][13][12] 0.09/0.18 c remove useless variable ce[2][13][13] 0.09/0.18 c remove useless variable ce[3][0][0] 0.09/0.18 c remove useless variable ce[3][1][0] 0.09/0.18 c remove useless variable ce[3][1][1] 0.09/0.18 c remove useless variable ce[3][2][0] 0.09/0.18 c remove useless variable ce[3][2][1] 0.09/0.18 c remove useless variable ce[3][2][2] 0.09/0.18 c remove useless variable ce[3][3][0] 0.09/0.18 c remove useless variable ce[3][3][1] 0.09/0.18 c remove useless variable ce[3][3][2] 0.09/0.18 c remove useless variable ce[3][3][3] 0.09/0.18 c remove useless variable ce[3][4][0] 0.09/0.18 c remove useless variable ce[3][4][1] 0.09/0.18 c remove useless variable ce[3][4][2] 0.09/0.18 c remove useless variable ce[3][4][3] 0.09/0.18 c remove useless variable ce[3][4][4] 0.09/0.18 c remove useless variable ce[3][5][0] 0.09/0.18 c remove useless variable ce[3][5][1] 0.09/0.18 c remove useless variable ce[3][5][2] 0.09/0.18 c remove useless variable ce[3][5][3] 0.09/0.18 c remove useless variable ce[3][5][4] 0.09/0.18 c remove useless variable ce[3][5][5] 0.09/0.18 c remove useless variable ce[3][6][0] 0.09/0.18 c remove useless variable ce[3][6][1] 0.09/0.18 c remove useless variable ce[3][6][2] 0.09/0.18 c remove useless variable ce[3][6][3] 0.09/0.18 c remove useless variable ce[3][6][4] 0.09/0.18 c remove useless variable ce[3][6][5] 0.09/0.18 c remove useless variable ce[3][6][6] 0.09/0.18 c remove useless variable ce[3][7][0] 0.09/0.18 c remove useless variable ce[3][7][1] 0.09/0.18 c remove useless variable ce[3][7][2] 0.09/0.18 c remove useless variable ce[3][7][3] 0.09/0.18 c remove useless variable ce[3][7][4] 0.09/0.18 c remove useless variable ce[3][7][5] 0.09/0.18 c remove useless variable ce[3][7][6] 0.09/0.18 c remove useless variable ce[3][7][7] 0.09/0.18 c remove useless variable ce[3][8][0] 0.09/0.18 c remove useless variable ce[3][8][1] 0.09/0.18 c remove useless variable ce[3][8][2] 0.09/0.18 c remove useless variable ce[3][8][3] 0.09/0.18 c remove useless variable ce[3][8][4] 0.09/0.18 c remove useless variable ce[3][8][5] 0.09/0.18 c remove useless variable ce[3][8][6] 0.09/0.18 c remove useless variable ce[3][8][7] 0.09/0.18 c remove useless variable ce[3][8][8] 0.09/0.18 c remove useless variable ce[3][9][0] 0.09/0.18 c remove useless variable ce[3][9][1] 0.09/0.18 c remove useless variable ce[3][9][2] 0.09/0.18 c remove useless variable ce[3][9][3] 0.09/0.18 c remove useless variable ce[3][9][4] 0.09/0.18 c remove useless variable ce[3][9][5] 0.09/0.18 c remove useless variable ce[3][9][6] 0.09/0.18 c remove useless variable ce[3][9][7] 0.09/0.18 c remove useless variable ce[3][9][8] 0.09/0.18 c remove useless variable ce[3][9][9] 0.09/0.18 c remove useless variable ce[3][10][0] 0.09/0.18 c remove useless variable ce[3][10][1] 0.09/0.18 c remove useless variable ce[3][10][2] 0.09/0.18 c remove useless variable ce[3][10][3] 0.09/0.18 c remove useless variable ce[3][10][4] 0.09/0.18 c remove useless variable ce[3][10][5] 0.09/0.18 c remove useless variable ce[3][10][6] 0.09/0.18 c remove useless variable ce[3][10][7] 0.09/0.18 c remove useless variable ce[3][10][8] 0.09/0.18 c remove useless variable ce[3][10][9] 0.09/0.18 c remove useless variable ce[3][10][10] 0.09/0.18 c remove useless variable ce[3][11][0] 0.09/0.18 c remove useless variable ce[3][11][1] 0.09/0.18 c remove useless variable ce[3][11][2] 0.09/0.18 c remove useless variable ce[3][11][3] 0.09/0.18 c remove useless variable ce[3][11][4] 0.09/0.18 c remove useless variable ce[3][11][5] 0.09/0.18 c remove useless variable ce[3][11][6] 0.09/0.18 c remove useless variable ce[3][11][7] 0.09/0.18 c remove useless variable ce[3][11][8] 0.09/0.18 c remove useless variable ce[3][11][9] 0.09/0.18 c remove useless variable ce[3][11][10] 0.09/0.18 c remove useless variable ce[3][11][11] 0.09/0.18 c remove useless variable ce[3][12][0] 0.09/0.18 c remove useless variable ce[3][12][1] 0.09/0.18 c remove useless variable ce[3][12][2] 0.09/0.18 c remove useless variable ce[3][12][3] 0.09/0.18 c remove useless variable ce[3][12][4] 0.09/0.18 c remove useless variable ce[3][12][5] 0.09/0.18 c remove useless variable ce[3][12][6] 0.09/0.18 c remove useless variable ce[3][12][7] 0.09/0.18 c remove useless variable ce[3][12][8] 0.09/0.18 c remove useless variable ce[3][12][9] 0.09/0.18 c remove useless variable ce[3][12][10] 0.09/0.18 c remove useless variable ce[3][12][11] 0.09/0.18 c remove useless variable ce[3][12][12] 0.09/0.18 c remove useless variable ce[3][13][0] 0.09/0.18 c remove useless variable ce[3][13][1] 0.09/0.18 c remove useless variable ce[3][13][2] 0.09/0.18 c remove useless variable ce[3][13][3] 0.09/0.18 c remove useless variable ce[3][13][4] 0.09/0.18 c remove useless variable ce[3][13][5] 0.09/0.18 c remove useless variable ce[3][13][6] 0.09/0.18 c remove useless variable ce[3][13][7] 0.09/0.18 c remove useless variable ce[3][13][8] 0.09/0.18 c remove useless variable ce[3][13][9] 0.09/0.18 c remove useless variable ce[3][13][10] 0.09/0.18 c remove useless variable ce[3][13][11] 0.09/0.18 c remove useless variable ce[3][13][12] 0.09/0.18 c remove useless variable ce[3][13][13] 0.09/0.18 c remove useless variable ce[4][0][0] 0.09/0.18 c remove useless variable ce[4][1][0] 0.09/0.18 c remove useless variable ce[4][1][1] 0.09/0.18 c remove useless variable ce[4][2][0] 0.09/0.18 c remove useless variable ce[4][2][1] 0.09/0.18 c remove useless variable ce[4][2][2] 0.09/0.18 c remove useless variable ce[4][3][0] 0.09/0.18 c remove useless variable ce[4][3][1] 0.09/0.18 c remove useless variable ce[4][3][2] 0.09/0.18 c remove useless variable ce[4][3][3] 0.09/0.18 c remove useless variable ce[4][4][0] 0.09/0.18 c remove useless variable ce[4][4][1] 0.09/0.18 c remove useless variable ce[4][4][2] 0.09/0.18 c remove useless variable ce[4][4][3] 0.09/0.18 c remove useless variable ce[4][4][4] 0.09/0.18 c remove useless variable ce[4][5][0] 0.09/0.18 c remove useless variable ce[4][5][1] 0.09/0.18 c remove useless variable ce[4][5][2] 0.09/0.18 c remove useless variable ce[4][5][3] 0.09/0.18 c remove useless variable ce[4][5][4] 0.09/0.18 c remove useless variable ce[4][5][5] 0.09/0.18 c remove useless variable ce[4][6][0] 0.09/0.18 c remove useless variable ce[4][6][1] 0.09/0.18 c remove useless variable ce[4][6][2] 0.09/0.18 c remove useless variable ce[4][6][3] 0.09/0.18 c remove useless variable ce[4][6][4] 0.09/0.18 c remove useless variable ce[4][6][5] 0.09/0.18 c remove useless variable ce[4][6][6] 0.09/0.18 c remove useless variable ce[4][7][0] 0.09/0.18 c remove useless variable ce[4][7][1] 0.09/0.18 c remove useless variable ce[4][7][2] 0.09/0.18 c remove useless variable ce[4][7][3] 0.09/0.18 c remove useless variable ce[4][7][4] 0.09/0.18 c remove useless variable ce[4][7][5] 0.09/0.18 c remove useless variable ce[4][7][6] 0.09/0.18 c remove useless variable ce[4][7][7] 0.09/0.18 c remove useless variable ce[4][8][0] 0.09/0.18 c remove useless variable ce[4][8][1] 0.09/0.18 c remove useless variable ce[4][8][2] 0.09/0.18 c remove useless variable ce[4][8][3] 0.09/0.18 c remove useless variable ce[4][8][4] 0.09/0.18 c remove useless variable ce[4][8][5] 0.09/0.18 c remove useless variable ce[4][8][6] 0.09/0.18 c remove useless variable ce[4][8][7] 0.09/0.18 c remove useless variable ce[4][8][8] 0.09/0.18 c remove useless variable ce[4][9][0] 0.09/0.18 c remove useless variable ce[4][9][1] 0.09/0.18 c remove useless variable ce[4][9][2] 0.09/0.18 c remove useless variable ce[4][9][3] 0.09/0.18 c remove useless variable ce[4][9][4] 0.09/0.18 c remove useless variable ce[4][9][5] 0.09/0.18 c remove useless variable ce[4][9][6] 0.09/0.18 c remove useless variable ce[4][9][7] 0.09/0.18 c remove useless variable ce[4][9][8] 0.09/0.18 c remove useless variable ce[4][9][9] 0.09/0.18 c remove useless variable ce[4][10][0] 0.09/0.18 c remove useless variable ce[4][10][1] 0.09/0.18 c remove useless variable ce[4][10][2] 0.09/0.18 c remove useless variable ce[4][10][3] 0.09/0.18 c remove useless variable ce[4][10][4] 0.09/0.18 c remove useless variable ce[4][10][5] 0.09/0.18 c remove useless variable ce[4][10][6] 0.09/0.18 c remove useless variable ce[4][10][7] 0.09/0.18 c remove useless variable ce[4][10][8] 0.09/0.18 c remove useless variable ce[4][10][9] 0.09/0.18 c remove useless variable ce[4][10][10] 0.09/0.18 c remove useless variable ce[4][11][0] 0.09/0.18 c remove useless variable ce[4][11][1] 0.09/0.18 c remove useless variable ce[4][11][2] 0.09/0.18 c remove useless variable ce[4][11][3] 0.09/0.18 c remove useless variable ce[4][11][4] 0.09/0.18 c remove useless variable ce[4][11][5] 0.09/0.18 c remove useless variable ce[4][11][6] 0.09/0.18 c remove useless variable ce[4][11][7] 0.09/0.18 c remove useless variable ce[4][11][8] 0.09/0.18 c remove useless variable ce[4][11][9] 0.09/0.18 c remove useless variable ce[4][11][10] 0.09/0.18 c remove useless variable ce[4][11][11] 0.09/0.18 c remove useless variable ce[4][12][0] 0.09/0.18 c remove useless variable ce[4][12][1] 0.09/0.18 c remove useless variable ce[4][12][2] 0.09/0.18 c remove useless variable ce[4][12][3] 0.09/0.18 c remove useless variable ce[4][12][4] 0.09/0.18 c remove useless variable ce[4][12][5] 0.09/0.18 c remove useless variable ce[4][12][6] 0.09/0.18 c remove useless variable ce[4][12][7] 0.09/0.18 c remove useless variable ce[4][12][8] 0.09/0.18 c remove useless variable ce[4][12][9] 0.09/0.18 c remove useless variable ce[4][12][10] 0.09/0.18 c remove useless variable ce[4][12][11] 0.09/0.18 c remove useless variable ce[4][12][12] 0.09/0.18 c remove useless variable ce[4][13][0] 0.09/0.18 c remove useless variable ce[4][13][1] 0.09/0.18 c remove useless variable ce[4][13][2] 0.09/0.18 c remove useless variable ce[4][13][3] 0.09/0.18 c remove useless variable ce[4][13][4] 0.09/0.18 c remove useless variable ce[4][13][5] 0.09/0.18 c remove useless variable ce[4][13][6] 0.09/0.18 c remove useless variable ce[4][13][7] 0.09/0.18 c remove useless variable ce[4][13][8] 0.09/0.18 c remove useless variable ce[4][13][9] 0.09/0.18 c remove useless variable ce[4][13][10] 0.09/0.18 c remove useless variable ce[4][13][11] 0.09/0.18 c remove useless variable ce[4][13][12] 0.09/0.18 c remove useless variable ce[4][13][13] 0.60/0.62 c 101 612 133471 139044 0 0 512 512 506 1.59/1.60 c 211 1094 256765 1044342 0 0 373 373 369 1.59/1.65 c 332 1220 260790 1046817 0 0 6 6 5 2.59/2.64 c 465 1629 365489 1922576 0 0 8 277 272 2.69/2.70 c 611 1778 369375 1924105 0 0 4 4 3 3.19/3.23 c 771 2117 438037 2249516 0 0 8 180 157 3.79/3.82 c 947 2486 504525 2585849 0 0 12 194 172 4.49/4.51 c 1140 2886 573563 3004281 0 0 9 208 167 5.29/5.34 c 1352 3319 642285 3557944 0 0 9 222 156 6.19/6.28 c 1585 3787 711474 4220864 0 0 12 236 146 6.79/6.83 c 1841 4292 780705 4582454 0 0 12 250 155 6.89/6.93 c 2122 4576 786751 4584388 0 0 4 4 3 7.49/7.53 c 2431 5190 862741 4973722 0 0 15 305 233 7.59/7.64 c 2770 5533 869730 4976409 0 0 5 5 4 8.49/8.52 c 3142 6285 955707 5610822 0 0 15 380 198 9.59/9.64 c 3551 7076 1038072 6511271 0 0 7 382 195 10.49/10.54 c 4000 7909 1119896 7207793 0 0 14 384 202 11.59/11.60 c 4493 8788 1198212 8102958 0 0 7 385 239 13.19/13.25 c 5035 9626 1254622 9632069 0 0 21 297 146 17.28/17.39 c 5631 10289 1275486 12582892 0 0 18 60 58 18.68/18.77 c 6286 11282 1333624 13651324 0 0 8 337 282 23.09/23.14 c 7006 12055 1361635 17498994 0 0 8 53 51 25.78/25.84 c 7798 12930 1384960 19206635 0 0 3 73 27 27.29/27.36 c 8669 14155 1443681 20347860 0 0 10 351 322 31.89/31.94 c 9627 15196 1466469 23057845 0 0 29 75 69 34.29/34.34 c 10680 16617 1523903 24948049 0 0 10 365 287 39.79/39.81 c 11838 17985 1550785 29602689 0 0 14 196 167 47.78/47.85 c 13111 19668 1603373 33948135 0 0 19 169 101 62.88/63.00 c 14511 21635 1702210 42601782 0 0 15 84 58 66.18/66.26 c 16051 23579 1764129 45101825 0 0 16 396 347 72.77/72.84 c 17745 25456 1832047 50899994 0 0 7 84 59 77.37/77.47 c 19608 27572 1866166 54710257 0 0 9 249 231 78.27/78.37 c 21657 30143 1963649 54878866 0 0 150 512 511 87.67/87.73 c 23910 32637 2009325 63413978 0 0 9 190 176 101.37/101.47 c 26388 35357 2061759 76584462 0 0 10 164 161 102.57/102.60 c 29113 38607 2168248 76769922 0 0 64 512 510 119.37/119.42 c 32110 41727 2238248 93749173 0 0 9 116 115 133.08/133.15 c 35406 45102 2381726 106075184 0 0 11 73 72 154.87/154.98 c 39031 48920 2469372 124212487 0 0 12 106 102 156.46/156.56 c 43018 53441 2599648 124448987 0 0 35 512 510 258.97/259.05 c 47403 57870 2976849 191499292 0 0 13 36 35 278.66/278.72 c 52226 62919 3104573 205084862 0 0 25 216 199 280.66/280.70 c 57531 68764 3250977 205353842 0 0 136 512 511 405.46/405.54 c 63366 75469 3702308 274266827 0 0 15 59 35 440.97/441.08 c 69784 82018 3865219 297757519 0 0 17 104 102 526.36/526.47 c 76843 89273 4303771 356251466 0 0 18 62 61 791.54/791.65 c 84607 97077 5079117 450134761 0 0 20 25 24 794.34/794.48 c 93147 105647 5219550 450274250 0 0 14 14 13 1019.23/1019.34 c 102541 115084 6023428 540510489 0 0 20 25 24 1054.84/1054.94 c 112874 125887 6175124 570529441 0 0 25 223 200 1138.53/1138.61 c 124240 137304 6669084 658620816 0 0 23 28 27 1142.94/1143.04 c 136742 150396 6927707 659125991 0 0 38 512 511 1235.33/1235.46 c 150494 164203 7445010 756459360 0 0 23 28 27 1240.63/1240.78 c 165621 179934 7745501 757045484 0 0 37 512 511 1356.73/1356.86 c 182260 196635 8433960 881148724 0 0 23 28 27 1510.22/1510.34 c 200562 215328 8908649 935400982 0 0 23 44 30 2013.40/2013.57 c 220694 235552 10628181 1116328865 0 0 22 49 48 2341.19/2341.36 c 242839 257766 11623321 1245075991 0 0 24 24 23 2400.00/2400.10 2400.00/2400.10 c *** INTERRUPTED *** 2400.00/2400.10 c restarts : 58 2400.00/2400.10 c conflicts : 246992 (103 /sec) 2400.00/2400.10 c decisions : 261978 (109 /sec) 2400.00/2400.10 c propagations : 1271962563 (529997 /sec) 2400.00/2400.10 c root propagations : 0 2400.00/2400.10 c filter calls : 11826399 (4928 /sec) 2400.00/2400.10 c useless filter calls : 8654697 (73 %) 2400.00/2400.10 c Memory used : 61.07 MB 2400.00/2400.10 c CPU time : 2399.94 s 2400.00/2400.10 c real time : 2400.1 s 2400.00/2400.10 2400.00/2400.10 s UNKNOWN
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 (15063 MiB free)
memory of node 1: 16384 MiB (14867 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397408-1568572875/watcher-4397408-1568572875 -o /tmp/evaluation-result-4397408-1568572875/solver-4397408-1568572875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397408-1568572875.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5807, runsolver pid=5804
[startup+0.100169 s]*
/proc/loadavg: 1.56 0.53 0.23 3/203 5808
/proc/meminfo: memFree=30633100/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=44012 memory=20356 CPUtime=0.09 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 5254 0 0 0 9 0 0 0 20 0 1 0 433537097 45068288 5089 33554432000 4194304 6211092 140721092852480 140721092849016 140057539492837 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 11003 5089 823 493 0 4308 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44012 KiB
Current children cumulated memory: 20356 KiB
[startup+0.209912 s]*
/proc/loadavg: 1.56 0.53 0.23 3/203 5808
/proc/meminfo: memFree=30622684/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=53664 memory=30124 CPUtime=0.21 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 7712 0 0 0 20 1 0 0 20 0 1 0 433537097 54951936 7531 33554432000 4194304 6211092 140721092852480 140721092849016 5393072 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 13416 7531 865 493 0 6721 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 53664 KiB
Current children cumulated memory: 30124 KiB
[startup+0.309745 s]*
/proc/loadavg: 1.56 0.53 0.23 3/203 5808
/proc/meminfo: memFree=30621592/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=53988 memory=30548 CPUtime=0.31 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 7835 0 0 0 30 1 0 0 20 0 1 0 433537097 55283712 7637 33554432000 4194304 6211092 140721092852480 140721092849016 5081965 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 13497 7637 867 493 0 6802 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53988 KiB
Current children cumulated memory: 30548 KiB
[startup+0.70028 s]
/proc/loadavg: 1.56 0.53 0.23 3/203 5808
/proc/meminfo: memFree=30620848/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=55936 memory=32016 CPUtime=0.69 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 8192 0 0 0 68 1 0 0 20 0 1 0 433537097 57278464 8004 33554432000 4194304 6211092 140721092852480 140721092849016 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 13984 8004 868 493 0 7289 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55936 KiB
Current children cumulated memory: 32016 KiB
[startup+1.50028 s]
/proc/loadavg: 1.59 0.56 0.24 3/203 5808
/proc/meminfo: memFree=30620040/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=55936 memory=32016 CPUtime=1.49 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 8192 0 0 0 148 1 0 0 20 0 1 0 433537097 57278464 8004 33554432000 4194304 6211092 140721092852480 140721092850440 4982624 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 13984 8004 868 493 0 7289 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55936 KiB
Current children cumulated memory: 32016 KiB
[startup+3.10941 s]
/proc/loadavg: 1.59 0.56 0.24 3/203 5808
/proc/meminfo: memFree=30620048/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=55936 memory=32112 CPUtime=3.1 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 9034 0 0 0 309 1 0 0 20 0 1 0 433537097 57278464 8028 33554432000 4194304 6211092 140721092852480 140721092850440 5479725 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 13984 8028 868 493 0 7289 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 55936 KiB
Current children cumulated memory: 32112 KiB
[startup+6.30027 s]
/proc/loadavg: 1.62 0.58 0.25 3/203 5808
/proc/meminfo: memFree=30619952/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=56332 memory=32420 CPUtime=6.29 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 14660 0 0 0 628 1 0 0 20 0 1 0 433537097 57683968 8105 33554432000 4194304 6211092 140721092852480 140721092850440 5081968 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 14083 8105 868 493 0 7388 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 56332 KiB
Current children cumulated memory: 32420 KiB
[startup+12.7003 s]
/proc/loadavg: 1.65 0.60 0.25 3/203 5808
/proc/meminfo: memFree=30619480/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=56728 memory=32900 CPUtime=12.69 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 18750 0 0 0 1268 1 0 0 20 0 1 0 433537097 58089472 8225 33554432000 4194304 6211092 140721092852480 140721092850136 5451595 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 14182 8225 868 493 0 7487 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 56728 KiB
Current children cumulated memory: 32900 KiB
[startup+25.5003 s]
/proc/loadavg: 1.71 0.65 0.27 3/204 5810
/proc/meminfo: memFree=30618276/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=57652 memory=33808 CPUtime=25.48 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 24303 0 0 0 2547 1 0 0 20 0 1 0 433537097 59035648 8452 33554432000 4194304 6211092 140721092852480 140721092850136 5069553 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 14413 8452 868 493 0 7718 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 57652 KiB
Current children cumulated memory: 33808 KiB
[startup+51.1093 s]
/proc/loadavg: 1.82 0.78 0.33 3/203 5811
/proc/meminfo: memFree=30617544/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=59236 memory=35344 CPUtime=51.09 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 31682 0 0 0 5107 2 0 0 20 0 1 0 433537097 60657664 8836 33554432000 4194304 6211092 140721092852480 140721092850136 5454160 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 14809 8836 868 493 0 8114 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 59236 KiB
Current children cumulated memory: 35344 KiB
[startup+102.3 s]
/proc/loadavg: 1.92 0.97 0.42 3/202 5815
/proc/meminfo: memFree=30617108/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=60292 memory=36356 CPUtime=102.27 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 37303 0 0 0 10225 2 0 0 20 0 1 0 433537097 61739008 9089 33554432000 4194304 6211092 140721092852480 140721092850440 5446260 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15073 9089 868 493 0 8378 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 60292 KiB
Current children cumulated memory: 36356 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.15 0.52 3/204 5884
/proc/meminfo: memFree=30535892/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=60820 memory=36888 CPUtime=162.26 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 38224 0 0 0 16223 3 0 0 20 0 1 0 433537097 62279680 9222 33554432000 4194304 6211092 140721092852480 140721092850440 5068981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15205 9222 868 493 0 8510 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 60820 KiB
Current children cumulated memory: 36888 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.31 0.61 4/203 6013
/proc/meminfo: memFree=30621120/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=60820 memory=37040 CPUtime=222.27 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 38991 0 0 0 22223 4 0 0 20 0 1 0 433537097 62279680 9260 33554432000 4194304 6211092 140721092852480 140721092850136 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15205 9260 868 493 0 8510 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 60820 KiB
Current children cumulated memory: 37040 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.43 0.70 4/204 6018
/proc/meminfo: memFree=30619260/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=61348 memory=37560 CPUtime=282.26 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 40036 0 0 0 28222 4 0 0 20 0 1 0 433537097 62820352 9390 33554432000 4194304 6211092 140721092852480 140721092850440 140057540413347 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15337 9390 868 493 0 8642 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 61348 KiB
Current children cumulated memory: 37560 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.54 0.78 4/204 6024
/proc/meminfo: memFree=30618140/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=61480 memory=37624 CPUtime=342.25 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 40769 0 0 0 34221 4 0 0 20 0 1 0 433537097 62955520 9406 33554432000 4194304 6211092 140721092852480 140721092850136 5453908 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15370 9406 868 493 0 8675 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 61480 KiB
Current children cumulated memory: 37624 KiB
[startup+402.3 s]
/proc/loadavg: 2.73 1.80 0.91 4/204 6028
/proc/meminfo: memFree=30616968/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=61480 memory=37636 CPUtime=402.26 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 41072 0 0 0 40221 5 0 0 20 0 1 0 433537097 62955520 9409 33554432000 4194304 6211092 140721092852480 140721092850136 5452234 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15370 9409 868 493 0 8675 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 61480 KiB
Current children cumulated memory: 37636 KiB
[startup+462.3 s]
/proc/loadavg: 2.56 1.95 1.02 4/202 6032
/proc/meminfo: memFree=30616716/32770624 swapFree=66970012/67108860
[pid=5807] ppid=5804 vsize=61612 memory=37736 CPUtime=462.26 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 41573 0 0 0 46221 5 0 0 20 0 1 0 433537097 63090688 9434 33554432000 4194304 6211092 140721092852480 140721092850440 5476596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15403 9434 868 493 0 8708 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 61612 KiB
Current children cumulated memory: 37736 KiB
################
# More data... #
################
/proc/5807/statm: 15634 9665 868 493 0 8939 0
Current children cumulated CPU time: 1662.21 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38660 KiB
[startup+1722.3 s]
/proc/loadavg: 1.93 2.00 1.75 3/203 6238
/proc/meminfo: memFree=30591292/32770624 swapFree=66970024/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38664 CPUtime=1722.21 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 51916 0 0 0 172215 6 0 0 20 0 1 0 433537097 64036864 9666 33554432000 4194304 6211092 140721092852480 140721092850136 5451536 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9666 868 493 0 8939 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38664 KiB
[startup+1782.3 s]
/proc/loadavg: 1.98 2.00 1.77 3/204 6252
/proc/meminfo: memFree=30589864/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38664 CPUtime=1782.21 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 52398 0 0 0 178215 6 0 0 20 0 1 0 433537097 64036864 9666 33554432000 4194304 6211092 140721092852480 140721092850136 5009663 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9666 868 493 0 8939 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38664 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 1.78 3/204 6256
/proc/meminfo: memFree=30589244/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38668 CPUtime=1842.21 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 52882 0 0 0 184215 6 0 0 20 0 1 0 433537097 64036864 9667 33554432000 4194304 6211092 140721092852480 140721092850136 5451618 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9667 868 493 0 8939 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38668 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.79 3/204 6260
/proc/meminfo: memFree=30589908/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38668 CPUtime=1902.21 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 53365 0 0 0 190215 6 0 0 20 0 1 0 433537097 64036864 9667 33554432000 4194304 6211092 140721092852480 140721092850136 5451507 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9667 868 493 0 8939 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38668 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/204 6267
/proc/meminfo: memFree=30590168/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38668 CPUtime=1962.2 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 53852 0 0 0 196214 6 0 0 20 0 1 0 433537097 64036864 9667 33554432000 4194304 6211092 140721092852480 140721092850136 4982096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9667 868 493 0 8939 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38668 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/204 6271
/proc/meminfo: memFree=30590168/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38668 CPUtime=2022.2 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 54461 0 0 0 202214 6 0 0 20 0 1 0 433537097 64036864 9667 33554432000 4194304 6211092 140721092852480 140721092850440 5446240 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9667 868 493 0 8939 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38668 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/203 6275
/proc/meminfo: memFree=30590424/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38688 CPUtime=2082.2 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 55050 0 0 0 208214 6 0 0 20 0 1 0 433537097 64036864 9672 33554432000 4194304 6211092 140721092852480 140721092850440 5452226 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9672 868 493 0 8939 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38688 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/203 6281
/proc/meminfo: memFree=30590144/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38688 CPUtime=2142.2 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 55634 0 0 0 214214 6 0 0 20 0 1 0 433537097 64036864 9672 33554432000 4194304 6211092 140721092852480 140721092850440 5451554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9672 868 493 0 8939 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38688 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/203 6285
/proc/meminfo: memFree=30590504/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38692 CPUtime=2202.2 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 56218 0 0 0 220214 6 0 0 20 0 1 0 433537097 64036864 9673 33554432000 4194304 6211092 140721092852480 140721092850440 5442910 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9673 868 493 0 8939 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38692 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/202 6289
/proc/meminfo: memFree=30589812/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38692 CPUtime=2262.19 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 56802 0 0 0 226213 6 0 0 20 0 1 0 433537097 64036864 9673 33554432000 4194304 6211092 140721092852480 140721092850440 5476491 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9673 868 493 0 8939 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38692 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/202 6295
/proc/meminfo: memFree=30590392/32770624 swapFree=66970028/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38692 CPUtime=2322.19 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 57386 0 0 0 232213 6 0 0 20 0 1 0 433537097 64036864 9673 33554432000 4194304 6211092 140721092852480 140721092850440 5451482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9673 868 493 0 8939 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38692 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/203 6307
/proc/meminfo: memFree=30590136/32770624 swapFree=66970032/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38692 CPUtime=2382.19 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 57988 0 0 0 238213 6 0 0 20 0 1 0 433537097 64036864 9673 33554432000 4194304 6211092 140721092852480 140721092850440 5451602 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9673 868 493 0 8939 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38692 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 1.88 3/203 6307
/proc/meminfo: memFree=30589936/32770624 swapFree=66970032/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38692 CPUtime=2400 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 58461 0 0 0 239994 6 0 0 20 0 1 0 433537097 64036864 9673 33554432000 4194304 6211092 140721092852480 140721092850440 5479691 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9673 868 493 0 8939 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 5807 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.94 s, system=0.067997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 1.88 3/203 6307
/proc/meminfo: memFree=30589936/32770624 swapFree=66970032/67108860
[pid=5807] ppid=5804 vsize=62536 memory=38692 CPUtime=2400 cores=1,3,5,7
/proc/5807/stat : 5807 (cosoco) R 5804 5807 5549 0 -1 4202496 58461 0 0 0 239994 6 0 0 20 0 1 0 433537097 64036864 9673 33554432000 4194304 6211092 140721092852480 140721092850440 5479691 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38154240 140721092854795 140721092854897 140721092854897 140721092857806 0
/proc/5807/statm: 15634 9673 868 493 0 8939 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 62536 KiB
Current children cumulated memory: 38692 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.01
CPU user time (s): 2399.94
CPU system time (s): 0.067997
CPU usage (%): 99.9959
Max. virtual memory (cumulated for all children) (KiB): 62536
Max. memory (cumulated for all children) (KiB): 38692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.067997
maximum resident set size= 38756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 1672
# summary of solver processes directly reported to runsolver:
# pid: 5807
# total CPU time (s): 2400.01
# total CPU user time (s): 2399.94
# total CPU system time (s): 0.067997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.77752 second user time and 15.6351 second system time
The end
Begin job on node135 at 2019-09-15 20:40:35 IDJOB=4397408 IDBENCH=120762 IDSOLVER=2849 FILE ID=node135/4397408-1568572875 RUNJOBID= node135-1568572744-5581 PBS_JOBID= 21703319 Free space on /tmp= 61368 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P05.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397408-1568572875/watcher-4397408-1568572875 -o /tmp/evaluation-result-4397408-1568572875/solver-4397408-1568572875 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568572744-5581 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397408-1568572875.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59020dc5d68df7ba2fdec80297510e85 RANDOM SEED=1007110592 node135.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: 30648888 kB MemAvailable: 31818676 kB Buffers: 183420 kB Cached: 1264880 kB SwapCached: 33336 kB Active: 616092 kB Inactive: 906396 kB Active(anon): 47748 kB Inactive(anon): 69428 kB Active(file): 568344 kB Inactive(file): 836968 kB Unevictable: 109480 kB Mlocked: 109480 kB SwapTotal: 67108860 kB SwapFree: 66970012 kB Dirty: 2840 kB Writeback: 0 kB AnonPages: 179592 kB Mapped: 42904 kB Shmem: 34112 kB Slab: 191236 kB SReclaimable: 160620 kB SUnreclaim: 30616 kB KernelStack: 3824 kB PageTables: 5772 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 571508 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 133120 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61360 MiB End job on node135 at 2019-09-15 21:20:36