| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco 1.1 | ? (TO) | 2400.04 | 2400.31 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K14-P07.xml |
| MD5SUM | 539390230adc3c5191c5e54bc0e1cdf0 |
| 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 | 1554 |
| Number of constraints | 723 |
| Number of domains | 2 |
| Minimum domain size | 721 |
| Maximum domain size | 722 |
| Distribution of domain sizes | [{"size":721,"count":721},{"size":722,"count":98}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":0,"count":735},{"degree":2,"count":721},{"degree":15,"count":28},{"degree":16,"count":70}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 721 |
| Distribution of constraint arities | [{"arity":3,"count":721},{"arity":98,"count":1},{"arity":721,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 721 |
| Distribution of constraint types | [{"type":"intension","count":721},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.79/0.88 c root propagations : 0 0.79/0.88 c restarts enabled, print stats at every restarts 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c This is cosoco 1.0 -- 0.79/0.88 c 0.79/0.88 c ========================================[ Problem Statistics ]=========================================== 0.79/0.88 c | 0.79/0.88 c | Parse time : 0.86 s 0.79/0.88 c | 0.79/0.88 c | Variables: 1554 0.79/0.88 c | Domain Sizes: 721..722 0.79/0.88 c | 0.79/0.88 c | Constraints: 723 0.79/0.88 c | Arity: 3..721 -- Ternary: 721 0.79/0.88 c | 0.79/0.88 c | Types: 0.79/0.88 c | All Different: 2 0.79/0.88 c | Intension: 721 0.79/0.88 c | 0.79/0.88 c ========================================================================================================= 0.79/0.88 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.79/0.88 c remove useless variable ce[0][0][0] 0.79/0.88 c remove useless variable ce[0][1][0] 0.79/0.88 c remove useless variable ce[0][1][1] 0.79/0.88 c remove useless variable ce[0][2][0] 0.79/0.88 c remove useless variable ce[0][2][1] 0.79/0.88 c remove useless variable ce[0][2][2] 0.79/0.88 c remove useless variable ce[0][3][0] 0.79/0.88 c remove useless variable ce[0][3][1] 0.79/0.88 c remove useless variable ce[0][3][2] 0.79/0.88 c remove useless variable ce[0][3][3] 0.79/0.88 c remove useless variable ce[0][4][0] 0.79/0.88 c remove useless variable ce[0][4][1] 0.79/0.88 c remove useless variable ce[0][4][2] 0.79/0.88 c remove useless variable ce[0][4][3] 0.79/0.88 c remove useless variable ce[0][4][4] 0.79/0.88 c remove useless variable ce[0][5][0] 0.79/0.88 c remove useless variable ce[0][5][1] 0.79/0.88 c remove useless variable ce[0][5][2] 0.79/0.88 c remove useless variable ce[0][5][3] 0.79/0.88 c remove useless variable ce[0][5][4] 0.79/0.88 c remove useless variable ce[0][5][5] 0.79/0.88 c remove useless variable ce[0][6][0] 0.79/0.88 c remove useless variable ce[0][6][1] 0.79/0.88 c remove useless variable ce[0][6][2] 0.79/0.88 c remove useless variable ce[0][6][3] 0.79/0.88 c remove useless variable ce[0][6][4] 0.79/0.88 c remove useless variable ce[0][6][5] 0.79/0.88 c remove useless variable ce[0][6][6] 0.79/0.88 c remove useless variable ce[0][7][0] 0.79/0.88 c remove useless variable ce[0][7][1] 0.79/0.88 c remove useless variable ce[0][7][2] 0.79/0.88 c remove useless variable ce[0][7][3] 0.79/0.88 c remove useless variable ce[0][7][4] 0.79/0.88 c remove useless variable ce[0][7][5] 0.79/0.88 c remove useless variable ce[0][7][6] 0.79/0.88 c remove useless variable ce[0][7][7] 0.79/0.88 c remove useless variable ce[0][8][0] 0.79/0.88 c remove useless variable ce[0][8][1] 0.79/0.88 c remove useless variable ce[0][8][2] 0.79/0.88 c remove useless variable ce[0][8][3] 0.79/0.88 c remove useless variable ce[0][8][4] 0.79/0.88 c remove useless variable ce[0][8][5] 0.79/0.88 c remove useless variable ce[0][8][6] 0.79/0.88 c remove useless variable ce[0][8][7] 0.79/0.88 c remove useless variable ce[0][8][8] 0.79/0.88 c remove useless variable ce[0][9][0] 0.79/0.88 c remove useless variable ce[0][9][1] 0.79/0.88 c remove useless variable ce[0][9][2] 0.79/0.88 c remove useless variable ce[0][9][3] 0.79/0.88 c remove useless variable ce[0][9][4] 0.79/0.88 c remove useless variable ce[0][9][5] 0.79/0.88 c remove useless variable ce[0][9][6] 0.79/0.88 c remove useless variable ce[0][9][7] 0.79/0.88 c remove useless variable ce[0][9][8] 0.79/0.88 c remove useless variable ce[0][9][9] 0.79/0.88 c remove useless variable ce[0][10][0] 0.79/0.88 c remove useless variable ce[0][10][1] 0.79/0.88 c remove useless variable ce[0][10][2] 0.79/0.88 c remove useless variable ce[0][10][3] 0.79/0.88 c remove useless variable ce[0][10][4] 0.79/0.88 c remove useless variable ce[0][10][5] 0.79/0.88 c remove useless variable ce[0][10][6] 0.79/0.88 c remove useless variable ce[0][10][7] 0.79/0.88 c remove useless variable ce[0][10][8] 0.79/0.88 c remove useless variable ce[0][10][9] 0.79/0.88 c remove useless variable ce[0][10][10] 0.79/0.88 c remove useless variable ce[0][11][0] 0.79/0.88 c remove useless variable ce[0][11][1] 0.79/0.88 c remove useless variable ce[0][11][2] 0.79/0.88 c remove useless variable ce[0][11][3] 0.79/0.88 c remove useless variable ce[0][11][4] 0.79/0.88 c remove useless variable ce[0][11][5] 0.79/0.88 c remove useless variable ce[0][11][6] 0.79/0.88 c remove useless variable ce[0][11][7] 0.79/0.88 c remove useless variable ce[0][11][8] 0.79/0.88 c remove useless variable ce[0][11][9] 0.79/0.88 c remove useless variable ce[0][11][10] 0.79/0.88 c remove useless variable ce[0][11][11] 0.79/0.88 c remove useless variable ce[0][12][0] 0.79/0.88 c remove useless variable ce[0][12][1] 0.79/0.88 c remove useless variable ce[0][12][2] 0.79/0.88 c remove useless variable ce[0][12][3] 0.79/0.88 c remove useless variable ce[0][12][4] 0.79/0.88 c remove useless variable ce[0][12][5] 0.79/0.88 c remove useless variable ce[0][12][6] 0.79/0.88 c remove useless variable ce[0][12][7] 0.79/0.88 c remove useless variable ce[0][12][8] 0.79/0.88 c remove useless variable ce[0][12][9] 0.79/0.88 c remove useless variable ce[0][12][10] 0.79/0.88 c remove useless variable ce[0][12][11] 0.79/0.88 c remove useless variable ce[0][12][12] 0.79/0.88 c remove useless variable ce[0][13][0] 0.79/0.88 c remove useless variable ce[0][13][1] 0.79/0.88 c remove useless variable ce[0][13][2] 0.79/0.88 c remove useless variable ce[0][13][3] 0.79/0.88 c remove useless variable ce[0][13][4] 0.79/0.88 c remove useless variable ce[0][13][5] 0.79/0.88 c remove useless variable ce[0][13][6] 0.79/0.88 c remove useless variable ce[0][13][7] 0.79/0.88 c remove useless variable ce[0][13][8] 0.79/0.88 c remove useless variable ce[0][13][9] 0.79/0.88 c remove useless variable ce[0][13][10] 0.79/0.88 c remove useless variable ce[0][13][11] 0.79/0.88 c remove useless variable ce[0][13][12] 0.79/0.88 c remove useless variable ce[0][13][13] 0.79/0.88 c remove useless variable ce[1][0][0] 0.79/0.88 c remove useless variable ce[1][1][0] 0.79/0.88 c remove useless variable ce[1][1][1] 0.79/0.88 c remove useless variable ce[1][2][0] 0.79/0.88 c remove useless variable ce[1][2][1] 0.79/0.88 c remove useless variable ce[1][2][2] 0.79/0.88 c remove useless variable ce[1][3][0] 0.79/0.88 c remove useless variable ce[1][3][1] 0.79/0.88 c remove useless variable ce[1][3][2] 0.79/0.88 c remove useless variable ce[1][3][3] 0.79/0.88 c remove useless variable ce[1][4][0] 0.79/0.88 c remove useless variable ce[1][4][1] 0.79/0.88 c remove useless variable ce[1][4][2] 0.79/0.88 c remove useless variable ce[1][4][3] 0.79/0.88 c remove useless variable ce[1][4][4] 0.79/0.88 c remove useless variable ce[1][5][0] 0.79/0.88 c remove useless variable ce[1][5][1] 0.79/0.88 c remove useless variable ce[1][5][2] 0.79/0.88 c remove useless variable ce[1][5][3] 0.79/0.88 c remove useless variable ce[1][5][4] 0.79/0.88 c remove useless variable ce[1][5][5] 0.79/0.88 c remove useless variable ce[1][6][0] 0.79/0.88 c remove useless variable ce[1][6][1] 0.79/0.88 c remove useless variable ce[1][6][2] 0.79/0.88 c remove useless variable ce[1][6][3] 0.79/0.88 c remove useless variable ce[1][6][4] 0.79/0.88 c remove useless variable ce[1][6][5] 0.79/0.88 c remove useless variable ce[1][6][6] 0.79/0.88 c remove useless variable ce[1][7][0] 0.79/0.88 c remove useless variable ce[1][7][1] 0.79/0.88 c remove useless variable ce[1][7][2] 0.79/0.88 c remove useless variable ce[1][7][3] 0.79/0.88 c remove useless variable ce[1][7][4] 0.79/0.88 c remove useless variable ce[1][7][5] 0.79/0.88 c remove useless variable ce[1][7][6] 0.79/0.88 c remove useless variable ce[1][7][7] 0.79/0.88 c remove useless variable ce[1][8][0] 0.79/0.88 c remove useless variable ce[1][8][1] 0.79/0.88 c remove useless variable ce[1][8][2] 0.79/0.88 c remove useless variable ce[1][8][3] 0.79/0.88 c remove useless variable ce[1][8][4] 0.79/0.88 c remove useless variable ce[1][8][5] 0.79/0.88 c remove useless variable ce[1][8][6] 0.79/0.88 c remove useless variable ce[1][8][7] 0.79/0.88 c remove useless variable ce[1][8][8] 0.79/0.88 c remove useless variable ce[1][9][0] 0.79/0.88 c remove useless variable ce[1][9][1] 0.79/0.88 c remove useless variable ce[1][9][2] 0.79/0.88 c remove useless variable ce[1][9][3] 0.79/0.88 c remove useless variable ce[1][9][4] 0.79/0.88 c remove useless variable ce[1][9][5] 0.79/0.88 c remove useless variable ce[1][9][6] 0.79/0.88 c remove useless variable ce[1][9][7] 0.79/0.88 c remove useless variable ce[1][9][8] 0.79/0.88 c remove useless variable ce[1][9][9] 0.79/0.88 c remove useless variable ce[1][10][0] 0.79/0.88 c remove useless variable ce[1][10][1] 0.79/0.88 c remove useless variable ce[1][10][2] 0.79/0.88 c remove useless variable ce[1][10][3] 0.79/0.88 c remove useless variable ce[1][10][4] 0.79/0.88 c remove useless variable ce[1][10][5] 0.79/0.88 c remove useless variable ce[1][10][6] 0.79/0.88 c remove useless variable ce[1][10][7] 0.79/0.88 c remove useless variable ce[1][10][8] 0.79/0.88 c remove useless variable ce[1][10][9] 0.79/0.88 c remove useless variable ce[1][10][10] 0.79/0.88 c remove useless variable ce[1][11][0] 0.79/0.88 c remove useless variable ce[1][11][1] 0.79/0.88 c remove useless variable ce[1][11][2] 0.79/0.88 c remove useless variable ce[1][11][3] 0.79/0.88 c remove useless variable ce[1][11][4] 0.79/0.88 c remove useless variable ce[1][11][5] 0.79/0.88 c remove useless variable ce[1][11][6] 0.79/0.88 c remove useless variable ce[1][11][7] 0.79/0.88 c remove useless variable ce[1][11][8] 0.79/0.88 c remove useless variable ce[1][11][9] 0.79/0.88 c remove useless variable ce[1][11][10] 0.79/0.88 c remove useless variable ce[1][11][11] 0.79/0.88 c remove useless variable ce[1][12][0] 0.79/0.88 c remove useless variable ce[1][12][1] 0.79/0.88 c remove useless variable ce[1][12][2] 0.79/0.88 c remove useless variable ce[1][12][3] 0.79/0.88 c remove useless variable ce[1][12][4] 0.79/0.88 c remove useless variable ce[1][12][5] 0.79/0.88 c remove useless variable ce[1][12][6] 0.79/0.88 c remove useless variable ce[1][12][7] 0.79/0.88 c remove useless variable ce[1][12][8] 0.79/0.88 c remove useless variable ce[1][12][9] 0.79/0.88 c remove useless variable ce[1][12][10] 0.79/0.88 c remove useless variable ce[1][12][11] 0.79/0.88 c remove useless variable ce[1][12][12] 0.79/0.88 c remove useless variable ce[1][13][0] 0.79/0.88 c remove useless variable ce[1][13][1] 0.79/0.88 c remove useless variable ce[1][13][2] 0.79/0.88 c remove useless variable ce[1][13][3] 0.79/0.88 c remove useless variable ce[1][13][4] 0.79/0.88 c remove useless variable ce[1][13][5] 0.79/0.88 c remove useless variable ce[1][13][6] 0.79/0.88 c remove useless variable ce[1][13][7] 0.79/0.88 c remove useless variable ce[1][13][8] 0.79/0.88 c remove useless variable ce[1][13][9] 0.79/0.88 c remove useless variable ce[1][13][10] 0.79/0.88 c remove useless variable ce[1][13][11] 0.79/0.88 c remove useless variable ce[1][13][12] 0.79/0.88 c remove useless variable ce[1][13][13] 0.79/0.88 c remove useless variable ce[2][0][0] 0.79/0.88 c remove useless variable ce[2][1][0] 0.79/0.88 c remove useless variable ce[2][1][1] 0.79/0.88 c remove useless variable ce[2][2][0] 0.79/0.88 c remove useless variable ce[2][2][1] 0.79/0.88 c remove useless variable ce[2][2][2] 0.79/0.88 c remove useless variable ce[2][3][0] 0.79/0.88 c remove useless variable ce[2][3][1] 0.79/0.88 c remove useless variable ce[2][3][2] 0.79/0.88 c remove useless variable ce[2][3][3] 0.79/0.88 c remove useless variable ce[2][4][0] 0.79/0.88 c remove useless variable ce[2][4][1] 0.79/0.88 c remove useless variable ce[2][4][2] 0.79/0.88 c remove useless variable ce[2][4][3] 0.79/0.88 c remove useless variable ce[2][4][4] 0.79/0.88 c remove useless variable ce[2][5][0] 0.79/0.88 c remove useless variable ce[2][5][1] 0.79/0.88 c remove useless variable ce[2][5][2] 0.79/0.88 c remove useless variable ce[2][5][3] 0.79/0.88 c remove useless variable ce[2][5][4] 0.79/0.88 c remove useless variable ce[2][5][5] 0.79/0.88 c remove useless variable ce[2][6][0] 0.79/0.88 c remove useless variable ce[2][6][1] 0.79/0.88 c remove useless variable ce[2][6][2] 0.79/0.88 c remove useless variable ce[2][6][3] 0.79/0.88 c remove useless variable ce[2][6][4] 0.79/0.88 c remove useless variable ce[2][6][5] 0.79/0.88 c remove useless variable ce[2][6][6] 0.79/0.88 c remove useless variable ce[2][7][0] 0.79/0.88 c remove useless variable ce[2][7][1] 0.79/0.88 c remove useless variable ce[2][7][2] 0.79/0.88 c remove useless variable ce[2][7][3] 0.79/0.88 c remove useless variable ce[2][7][4] 0.79/0.88 c remove useless variable ce[2][7][5] 0.79/0.88 c remove useless variable ce[2][7][6] 0.79/0.88 c remove useless variable ce[2][7][7] 0.79/0.88 c remove useless variable ce[2][8][0] 0.79/0.88 c remove useless variable ce[2][8][1] 0.79/0.88 c remove useless variable ce[2][8][2] 0.79/0.88 c remove useless variable ce[2][8][3] 0.79/0.88 c remove useless variable ce[2][8][4] 0.79/0.88 c remove useless variable ce[2][8][5] 0.79/0.88 c remove useless variable ce[2][8][6] 0.79/0.88 c remove useless variable ce[2][8][7] 0.79/0.88 c remove useless variable ce[2][8][8] 0.79/0.88 c remove useless variable ce[2][9][0] 0.79/0.88 c remove useless variable ce[2][9][1] 0.79/0.88 c remove useless variable ce[2][9][2] 0.79/0.88 c remove useless variable ce[2][9][3] 0.79/0.88 c remove useless variable ce[2][9][4] 0.79/0.88 c remove useless variable ce[2][9][5] 0.79/0.88 c remove useless variable ce[2][9][6] 0.79/0.88 c remove useless variable ce[2][9][7] 0.79/0.88 c remove useless variable ce[2][9][8] 0.79/0.88 c remove useless variable ce[2][9][9] 0.79/0.88 c remove useless variable ce[2][10][0] 0.79/0.88 c remove useless variable ce[2][10][1] 0.79/0.88 c remove useless variable ce[2][10][2] 0.79/0.88 c remove useless variable ce[2][10][3] 0.79/0.88 c remove useless variable ce[2][10][4] 0.79/0.88 c remove useless variable ce[2][10][5] 0.79/0.88 c remove useless variable ce[2][10][6] 0.79/0.88 c remove useless variable ce[2][10][7] 0.79/0.88 c remove useless variable ce[2][10][8] 0.79/0.88 c remove useless variable ce[2][10][9] 0.79/0.88 c remove useless variable ce[2][10][10] 0.79/0.88 c remove useless variable ce[2][11][0] 0.79/0.88 c remove useless variable ce[2][11][1] 0.79/0.88 c remove useless variable ce[2][11][2] 0.79/0.88 c remove useless variable ce[2][11][3] 0.79/0.88 c remove useless variable ce[2][11][4] 0.79/0.88 c remove useless variable ce[2][11][5] 0.79/0.88 c remove useless variable ce[2][11][6] 0.79/0.88 c remove useless variable ce[2][11][7] 0.79/0.88 c remove useless variable ce[2][11][8] 0.79/0.88 c remove useless variable ce[2][11][9] 0.79/0.88 c remove useless variable ce[2][11][10] 0.79/0.88 c remove useless variable ce[2][11][11] 0.79/0.88 c remove useless variable ce[2][12][0] 0.79/0.88 c remove useless variable ce[2][12][1] 0.79/0.88 c remove useless variable ce[2][12][2] 0.79/0.88 c remove useless variable ce[2][12][3] 0.79/0.88 c remove useless variable ce[2][12][4] 0.79/0.88 c remove useless variable ce[2][12][5] 0.79/0.88 c remove useless variable ce[2][12][6] 0.79/0.88 c remove useless variable ce[2][12][7] 0.79/0.88 c remove useless variable ce[2][12][8] 0.79/0.88 c remove useless variable ce[2][12][9] 0.79/0.88 c remove useless variable ce[2][12][10] 0.79/0.88 c remove useless variable ce[2][12][11] 0.79/0.88 c remove useless variable ce[2][12][12] 0.79/0.88 c remove useless variable ce[2][13][0] 0.79/0.88 c remove useless variable ce[2][13][1] 0.79/0.88 c remove useless variable ce[2][13][2] 0.79/0.88 c remove useless variable ce[2][13][3] 0.79/0.88 c remove useless variable ce[2][13][4] 0.79/0.88 c remove useless variable ce[2][13][5] 0.79/0.88 c remove useless variable ce[2][13][6] 0.79/0.88 c remove useless variable ce[2][13][7] 0.79/0.88 c remove useless variable ce[2][13][8] 0.79/0.88 c remove useless variable ce[2][13][9] 0.79/0.88 c remove useless variable ce[2][13][10] 0.79/0.88 c remove useless variable ce[2][13][11] 0.79/0.88 c remove useless variable ce[2][13][12] 0.79/0.88 c remove useless variable ce[2][13][13] 0.79/0.88 c remove useless variable ce[3][0][0] 0.79/0.88 c remove useless variable ce[3][1][0] 0.79/0.88 c remove useless variable ce[3][1][1] 0.79/0.88 c remove useless variable ce[3][2][0] 0.79/0.88 c remove useless variable ce[3][2][1] 0.79/0.88 c remove useless variable ce[3][2][2] 0.79/0.88 c remove useless variable ce[3][3][0] 0.79/0.88 c remove useless variable ce[3][3][1] 0.79/0.88 c remove useless variable ce[3][3][2] 0.79/0.88 c remove useless variable ce[3][3][3] 0.79/0.88 c remove useless variable ce[3][4][0] 0.79/0.88 c remove useless variable ce[3][4][1] 0.79/0.88 c remove useless variable ce[3][4][2] 0.79/0.88 c remove useless variable ce[3][4][3] 0.79/0.88 c remove useless variable ce[3][4][4] 0.79/0.88 c remove useless variable ce[3][5][0] 0.79/0.88 c remove useless variable ce[3][5][1] 0.79/0.88 c remove useless variable ce[3][5][2] 0.79/0.88 c remove useless variable ce[3][5][3] 0.79/0.88 c remove useless variable ce[3][5][4] 0.79/0.88 c remove useless variable ce[3][5][5] 0.79/0.88 c remove useless variable ce[3][6][0] 0.79/0.88 c remove useless variable ce[3][6][1] 0.79/0.88 c remove useless variable ce[3][6][2] 0.79/0.88 c remove useless variable ce[3][6][3] 0.79/0.88 c remove useless variable ce[3][6][4] 0.79/0.88 c remove useless variable ce[3][6][5] 0.79/0.88 c remove useless variable ce[3][6][6] 0.79/0.88 c remove useless variable ce[3][7][0] 0.79/0.88 c remove useless variable ce[3][7][1] 0.79/0.88 c remove useless variable ce[3][7][2] 0.79/0.88 c remove useless variable ce[3][7][3] 0.79/0.88 c remove useless variable ce[3][7][4] 0.79/0.88 c remove useless variable ce[3][7][5] 0.79/0.88 c remove useless variable ce[3][7][6] 0.79/0.88 c remove useless variable ce[3][7][7] 0.79/0.88 c remove useless variable ce[3][8][0] 0.79/0.88 c remove useless variable ce[3][8][1] 0.79/0.88 c remove useless variable ce[3][8][2] 0.79/0.88 c remove useless variable ce[3][8][3] 0.79/0.88 c remove useless variable ce[3][8][4] 0.79/0.88 c remove useless variable ce[3][8][5] 0.79/0.88 c remove useless variable ce[3][8][6] 0.79/0.88 c remove useless variable ce[3][8][7] 0.79/0.88 c remove useless variable ce[3][8][8] 0.79/0.88 c remove useless variable ce[3][9][0] 0.79/0.88 c remove useless variable ce[3][9][1] 0.79/0.88 c remove useless variable ce[3][9][2] 0.79/0.88 c remove useless variable ce[3][9][3] 0.79/0.88 c remove useless variable ce[3][9][4] 0.79/0.88 c remove useless variable ce[3][9][5] 0.79/0.88 c remove useless variable ce[3][9][6] 0.79/0.88 c remove useless variable ce[3][9][7] 0.79/0.88 c remove useless variable ce[3][9][8] 0.79/0.88 c remove useless variable ce[3][9][9] 0.79/0.88 c remove useless variable ce[3][10][0] 0.79/0.88 c remove useless variable ce[3][10][1] 0.79/0.88 c remove useless variable ce[3][10][2] 0.79/0.88 c remove useless variable ce[3][10][3] 0.79/0.88 c remove useless variable ce[3][10][4] 0.79/0.88 c remove useless variable ce[3][10][5] 0.79/0.88 c remove useless variable ce[3][10][6] 0.79/0.88 c remove useless variable ce[3][10][7] 0.79/0.88 c remove useless variable ce[3][10][8] 0.79/0.88 c remove useless variable ce[3][10][9] 0.79/0.88 c remove useless variable ce[3][10][10] 0.79/0.88 c remove useless variable ce[3][11][0] 0.79/0.88 c remove useless variable ce[3][11][1] 0.79/0.88 c remove useless variable ce[3][11][2] 0.79/0.88 c remove useless variable ce[3][11][3] 0.79/0.88 c remove useless variable ce[3][11][4] 0.79/0.88 c remove useless variable ce[3][11][5] 0.79/0.88 c remove useless variable ce[3][11][6] 0.79/0.88 c remove useless variable ce[3][11][7] 0.79/0.88 c remove useless variable ce[3][11][8] 0.79/0.88 c remove useless variable ce[3][11][9] 0.79/0.88 c remove useless variable ce[3][11][10] 0.79/0.88 c remove useless variable ce[3][11][11] 0.79/0.88 c remove useless variable ce[3][12][0] 0.79/0.88 c remove useless variable ce[3][12][1] 0.79/0.88 c remove useless variable ce[3][12][2] 0.79/0.88 c remove useless variable ce[3][12][3] 0.79/0.88 c remove useless variable ce[3][12][4] 0.79/0.88 c remove useless variable ce[3][12][5] 0.79/0.88 c remove useless variable ce[3][12][6] 0.79/0.88 c remove useless variable ce[3][12][7] 0.79/0.88 c remove useless variable ce[3][12][8] 0.79/0.88 c remove useless variable ce[3][12][9] 0.79/0.88 c remove useless variable ce[3][12][10] 0.79/0.88 c remove useless variable ce[3][12][11] 0.79/0.88 c remove useless variable ce[3][12][12] 0.79/0.88 c remove useless variable ce[3][13][0] 0.79/0.88 c remove useless variable ce[3][13][1] 0.79/0.88 c remove useless variable ce[3][13][2] 0.79/0.88 c remove useless variable ce[3][13][3] 0.79/0.88 c remove useless variable ce[3][13][4] 0.79/0.88 c remove useless variable ce[3][13][5] 0.79/0.88 c remove useless variable ce[3][13][6] 0.79/0.88 c remove useless variable ce[3][13][7] 0.79/0.88 c remove useless variable ce[3][13][8] 0.79/0.88 c remove useless variable ce[3][13][9] 0.79/0.88 c remove useless variable ce[3][13][10] 0.79/0.88 c remove useless variable ce[3][13][11] 0.79/0.88 c remove useless variable ce[3][13][12] 0.79/0.88 c remove useless variable ce[3][13][13] 0.79/0.88 c remove useless variable ce[4][0][0] 0.79/0.88 c remove useless variable ce[4][1][0] 0.79/0.88 c remove useless variable ce[4][1][1] 0.79/0.88 c remove useless variable ce[4][2][0] 0.79/0.88 c remove useless variable ce[4][2][1] 0.79/0.88 c remove useless variable ce[4][2][2] 0.79/0.88 c remove useless variable ce[4][3][0] 0.79/0.88 c remove useless variable ce[4][3][1] 0.79/0.88 c remove useless variable ce[4][3][2] 0.79/0.88 c remove useless variable ce[4][3][3] 0.79/0.88 c remove useless variable ce[4][4][0] 0.79/0.88 c remove useless variable ce[4][4][1] 0.79/0.88 c remove useless variable ce[4][4][2] 0.79/0.88 c remove useless variable ce[4][4][3] 0.79/0.88 c remove useless variable ce[4][4][4] 0.79/0.88 c remove useless variable ce[4][5][0] 0.79/0.88 c remove useless variable ce[4][5][1] 0.79/0.88 c remove useless variable ce[4][5][2] 0.79/0.88 c remove useless variable ce[4][5][3] 0.79/0.88 c remove useless variable ce[4][5][4] 0.79/0.88 c remove useless variable ce[4][5][5] 0.79/0.88 c remove useless variable ce[4][6][0] 0.79/0.88 c remove useless variable ce[4][6][1] 0.79/0.88 c remove useless variable ce[4][6][2] 0.79/0.88 c remove useless variable ce[4][6][3] 0.79/0.88 c remove useless variable ce[4][6][4] 0.79/0.88 c remove useless variable ce[4][6][5] 0.79/0.88 c remove useless variable ce[4][6][6] 0.79/0.88 c remove useless variable ce[4][7][0] 0.79/0.88 c remove useless variable ce[4][7][1] 0.79/0.88 c remove useless variable ce[4][7][2] 0.79/0.88 c remove useless variable ce[4][7][3] 0.79/0.88 c remove useless variable ce[4][7][4] 0.79/0.88 c remove useless variable ce[4][7][5] 0.79/0.88 c remove useless variable ce[4][7][6] 0.79/0.88 c remove useless variable ce[4][7][7] 0.79/0.88 c remove useless variable ce[4][8][0] 0.79/0.88 c remove useless variable ce[4][8][1] 0.79/0.88 c remove useless variable ce[4][8][2] 0.79/0.88 c remove useless variable ce[4][8][3] 0.79/0.88 c remove useless variable ce[4][8][4] 0.79/0.88 c remove useless variable ce[4][8][5] 0.79/0.88 c remove useless variable ce[4][8][6] 0.79/0.88 c remove useless variable ce[4][8][7] 0.79/0.88 c remove useless variable ce[4][8][8] 0.79/0.88 c remove useless variable ce[4][9][0] 0.79/0.88 c remove useless variable ce[4][9][1] 0.79/0.88 c remove useless variable ce[4][9][2] 0.79/0.88 c remove useless variable ce[4][9][3] 0.79/0.88 c remove useless variable ce[4][9][4] 0.79/0.88 c remove useless variable ce[4][9][5] 0.79/0.88 c remove useless variable ce[4][9][6] 0.79/0.88 c remove useless variable ce[4][9][7] 0.79/0.88 c remove useless variable ce[4][9][8] 0.79/0.88 c remove useless variable ce[4][9][9] 0.79/0.88 c remove useless variable ce[4][10][0] 0.79/0.88 c remove useless variable ce[4][10][1] 0.79/0.88 c remove useless variable ce[4][10][2] 0.79/0.88 c remove useless variable ce[4][10][3] 0.79/0.88 c remove useless variable ce[4][10][4] 0.79/0.88 c remove useless variable ce[4][10][5] 0.79/0.88 c remove useless variable ce[4][10][6] 0.79/0.88 c remove useless variable ce[4][10][7] 0.79/0.88 c remove useless variable ce[4][10][8] 0.79/0.88 c remove useless variable ce[4][10][9] 0.79/0.88 c remove useless variable ce[4][10][10] 0.79/0.88 c remove useless variable ce[4][11][0] 0.79/0.88 c remove useless variable ce[4][11][1] 0.79/0.88 c remove useless variable ce[4][11][2] 0.79/0.88 c remove useless variable ce[4][11][3] 0.79/0.88 c remove useless variable ce[4][11][4] 0.79/0.88 c remove useless variable ce[4][11][5] 0.79/0.88 c remove useless variable ce[4][11][6] 0.79/0.88 c remove useless variable ce[4][11][7] 0.79/0.88 c remove useless variable ce[4][11][8] 0.79/0.88 c remove useless variable ce[4][11][9] 0.79/0.88 c remove useless variable ce[4][11][10] 0.79/0.88 c remove useless variable ce[4][11][11] 0.79/0.88 c remove useless variable ce[4][12][0] 0.79/0.88 c remove useless variable ce[4][12][1] 0.79/0.88 c remove useless variable ce[4][12][2] 0.79/0.88 c remove useless variable ce[4][12][3] 0.79/0.88 c remove useless variable ce[4][12][4] 0.79/0.88 c remove useless variable ce[4][12][5] 0.79/0.88 c remove useless variable ce[4][12][6] 0.79/0.88 c remove useless variable ce[4][12][7] 0.79/0.88 c remove useless variable ce[4][12][8] 0.79/0.88 c remove useless variable ce[4][12][9] 0.79/0.88 c remove useless variable ce[4][12][10] 0.79/0.88 c remove useless variable ce[4][12][11] 0.79/0.88 c remove useless variable ce[4][12][12] 0.79/0.88 c remove useless variable ce[4][13][0] 0.79/0.88 c remove useless variable ce[4][13][1] 0.79/0.88 c remove useless variable ce[4][13][2] 0.79/0.88 c remove useless variable ce[4][13][3] 0.79/0.88 c remove useless variable ce[4][13][4] 0.79/0.88 c remove useless variable ce[4][13][5] 0.79/0.88 c remove useless variable ce[4][13][6] 0.79/0.88 c remove useless variable ce[4][13][7] 0.79/0.88 c remove useless variable ce[4][13][8] 0.79/0.88 c remove useless variable ce[4][13][9] 0.79/0.88 c remove useless variable ce[4][13][10] 0.79/0.88 c remove useless variable ce[4][13][11] 0.79/0.88 c remove useless variable ce[4][13][12] 0.79/0.88 c remove useless variable ce[4][13][13] 0.79/0.88 c remove useless variable ce[5][0][0] 0.79/0.88 c remove useless variable ce[5][1][0] 0.79/0.88 c remove useless variable ce[5][1][1] 0.79/0.88 c remove useless variable ce[5][2][0] 0.79/0.88 c remove useless variable ce[5][2][1] 0.79/0.88 c remove useless variable ce[5][2][2] 0.79/0.88 c remove useless variable ce[5][3][0] 0.79/0.88 c remove useless variable ce[5][3][1] 0.79/0.88 c remove useless variable ce[5][3][2] 0.79/0.88 c remove useless variable ce[5][3][3] 0.79/0.88 c remove useless variable ce[5][4][0] 0.79/0.88 c remove useless variable ce[5][4][1] 0.79/0.88 c remove useless variable ce[5][4][2] 0.79/0.88 c remove useless variable ce[5][4][3] 0.79/0.88 c remove useless variable ce[5][4][4] 0.79/0.88 c remove useless variable ce[5][5][0] 0.79/0.88 c remove useless variable ce[5][5][1] 0.79/0.88 c remove useless variable ce[5][5][2] 0.79/0.88 c remove useless variable ce[5][5][3] 0.79/0.88 c remove useless variable ce[5][5][4] 0.79/0.88 c remove useless variable ce[5][5][5] 0.79/0.88 c remove useless variable ce[5][6][0] 0.79/0.88 c remove useless variable ce[5][6][1] 0.79/0.88 c remove useless variable ce[5][6][2] 0.79/0.88 c remove useless variable ce[5][6][3] 0.79/0.88 c remove useless variable ce[5][6][4] 0.79/0.88 c remove useless variable ce[5][6][5] 0.79/0.88 c remove useless variable ce[5][6][6] 0.79/0.88 c remove useless variable ce[5][7][0] 0.79/0.88 c remove useless variable ce[5][7][1] 0.79/0.88 c remove useless variable ce[5][7][2] 0.79/0.88 c remove useless variable ce[5][7][3] 0.79/0.88 c remove useless variable ce[5][7][4] 0.79/0.88 c remove useless variable ce[5][7][5] 0.79/0.88 c remove useless variable ce[5][7][6] 0.79/0.88 c remove useless variable ce[5][7][7] 0.79/0.88 c remove useless variable ce[5][8][0] 0.79/0.88 c remove useless variable ce[5][8][1] 0.79/0.88 c remove useless variable ce[5][8][2] 0.79/0.88 c remove useless variable ce[5][8][3] 0.79/0.88 c remove useless variable ce[5][8][4] 0.79/0.88 c remove useless variable ce[5][8][5] 0.79/0.88 c remove useless variable ce[5][8][6] 0.79/0.88 c remove useless variable ce[5][8][7] 0.79/0.88 c remove useless variable ce[5][8][8] 0.79/0.88 c remove useless variable ce[5][9][0] 0.79/0.88 c remove useless variable ce[5][9][1] 0.79/0.88 c remove useless variable ce[5][9][2] 0.79/0.88 c remove useless variable ce[5][9][3] 0.79/0.88 c remove useless variable ce[5][9][4] 0.79/0.88 c remove useless variable ce[5][9][5] 0.79/0.88 c remove useless variable ce[5][9][6] 0.79/0.88 c remove useless variable ce[5][9][7] 0.79/0.88 c remove useless variable ce[5][9][8] 0.79/0.88 c remove useless variable ce[5][9][9] 0.79/0.88 c remove useless variable ce[5][10][0] 0.79/0.88 c remove useless variable ce[5][10][1] 0.79/0.88 c remove useless variable ce[5][10][2] 0.79/0.88 c remove useless variable ce[5][10][3] 0.79/0.88 c remove useless variable ce[5][10][4] 0.79/0.88 c remove useless variable ce[5][10][5] 0.79/0.88 c remove useless variable ce[5][10][6] 0.79/0.88 c remove useless variable ce[5][10][7] 0.79/0.88 c remove useless variable ce[5][10][8] 0.79/0.88 c remove useless variable ce[5][10][9] 0.79/0.88 c remove useless variable ce[5][10][10] 0.79/0.88 c remove useless variable ce[5][11][0] 0.79/0.88 c remove useless variable ce[5][11][1] 0.79/0.88 c remove useless variable ce[5][11][2] 0.79/0.88 c remove useless variable ce[5][11][3] 0.79/0.88 c remove useless variable ce[5][11][4] 0.79/0.88 c remove useless variable ce[5][11][5] 0.79/0.88 c remove useless variable ce[5][11][6] 0.79/0.88 c remove useless variable ce[5][11][7] 0.79/0.88 c remove useless variable ce[5][11][8] 0.79/0.88 c remove useless variable ce[5][11][9] 0.79/0.88 c remove useless variable ce[5][11][10] 0.79/0.88 c remove useless variable ce[5][11][11] 0.79/0.88 c remove useless variable ce[5][12][0] 0.79/0.88 c remove useless variable ce[5][12][1] 0.79/0.88 c remove useless variable ce[5][12][2] 0.79/0.88 c remove useless variable ce[5][12][3] 0.79/0.88 c remove useless variable ce[5][12][4] 0.79/0.88 c remove useless variable ce[5][12][5] 0.79/0.88 c remove useless variable ce[5][12][6] 0.79/0.88 c remove useless variable ce[5][12][7] 0.79/0.88 c remove useless variable ce[5][12][8] 0.79/0.88 c remove useless variable ce[5][12][9] 0.79/0.88 c remove useless variable ce[5][12][10] 0.79/0.88 c remove useless variable ce[5][12][11] 0.79/0.88 c remove useless variable ce[5][12][12] 0.79/0.88 c remove useless variable ce[5][13][0] 0.79/0.88 c remove useless variable ce[5][13][1] 0.79/0.88 c remove useless variable ce[5][13][2] 0.79/0.88 c remove useless variable ce[5][13][3] 0.79/0.88 c remove useless variable ce[5][13][4] 0.79/0.88 c remove useless variable ce[5][13][5] 0.79/0.88 c remove useless variable ce[5][13][6] 0.79/0.88 c remove useless variable ce[5][13][7] 0.79/0.88 c remove useless variable ce[5][13][8] 0.79/0.88 c remove useless variable ce[5][13][9] 0.79/0.88 c remove useless variable ce[5][13][10] 0.79/0.88 c remove useless variable ce[5][13][11] 0.79/0.88 c remove useless variable ce[5][13][12] 0.79/0.88 c remove useless variable ce[5][13][13] 0.79/0.88 c remove useless variable ce[6][0][0] 0.79/0.88 c remove useless variable ce[6][1][0] 0.79/0.88 c remove useless variable ce[6][1][1] 0.79/0.88 c remove useless variable ce[6][2][0] 0.79/0.88 c remove useless variable ce[6][2][1] 0.79/0.88 c remove useless variable ce[6][2][2] 0.79/0.88 c remove useless variable ce[6][3][0] 0.79/0.88 c remove useless variable ce[6][3][1] 0.79/0.88 c remove useless variable ce[6][3][2] 0.79/0.88 c remove useless variable ce[6][3][3] 0.79/0.88 c remove useless variable ce[6][4][0] 0.79/0.88 c remove useless variable ce[6][4][1] 0.79/0.88 c remove useless variable ce[6][4][2] 0.79/0.88 c remove useless variable ce[6][4][3] 0.79/0.88 c remove useless variable ce[6][4][4] 0.79/0.88 c remove useless variable ce[6][5][0] 0.79/0.88 c remove useless variable ce[6][5][1] 0.79/0.88 c remove useless variable ce[6][5][2] 0.79/0.88 c remove useless variable ce[6][5][3] 0.79/0.88 c remove useless variable ce[6][5][4] 0.79/0.88 c remove useless variable ce[6][5][5] 0.79/0.88 c remove useless variable ce[6][6][0] 0.79/0.88 c remove useless variable ce[6][6][1] 0.79/0.88 c remove useless variable ce[6][6][2] 0.79/0.88 c remove useless variable ce[6][6][3] 0.79/0.88 c remove useless variable ce[6][6][4] 0.79/0.88 c remove useless variable ce[6][6][5] 0.79/0.88 c remove useless variable ce[6][6][6] 0.79/0.88 c remove useless variable ce[6][7][0] 0.79/0.88 c remove useless variable ce[6][7][1] 0.79/0.88 c remove useless variable ce[6][7][2] 0.79/0.88 c remove useless variable ce[6][7][3] 0.79/0.88 c remove useless variable ce[6][7][4] 0.79/0.88 c remove useless variable ce[6][7][5] 0.79/0.88 c remove useless variable ce[6][7][6] 0.79/0.88 c remove useless variable ce[6][7][7] 0.79/0.88 c remove useless variable ce[6][8][0] 0.79/0.88 c remove useless variable ce[6][8][1] 0.79/0.88 c remove useless variable ce[6][8][2] 0.79/0.88 c remove useless variable ce[6][8][3] 0.79/0.88 c remove useless variable ce[6][8][4] 0.79/0.88 c remove useless variable ce[6][8][5] 0.79/0.88 c remove useless variable ce[6][8][6] 0.79/0.88 c remove useless variable ce[6][8][7] 0.79/0.88 c remove useless variable ce[6][8][8] 0.79/0.88 c remove useless variable ce[6][9][0] 0.79/0.88 c remove useless variable ce[6][9][1] 0.79/0.88 c remove useless variable ce[6][9][2] 0.79/0.88 c remove useless variable ce[6][9][3] 0.79/0.88 c remove useless variable ce[6][9][4] 0.79/0.88 c remove useless variable ce[6][9][5] 0.79/0.88 c remove useless variable ce[6][9][6] 0.79/0.88 c remove useless variable ce[6][9][7] 0.79/0.88 c remove useless variable ce[6][9][8] 0.79/0.88 c remove useless variable ce[6][9][9] 0.79/0.88 c remove useless variable ce[6][10][0] 0.79/0.88 c remove useless variable ce[6][10][1] 0.79/0.88 c remove useless variable ce[6][10][2] 0.79/0.88 c remove useless variable ce[6][10][3] 0.79/0.88 c remove useless variable ce[6][10][4] 0.79/0.88 c remove useless variable ce[6][10][5] 0.79/0.88 c remove useless variable ce[6][10][6] 0.79/0.88 c remove useless variable ce[6][10][7] 0.79/0.88 c remove useless variable ce[6][10][8] 0.79/0.88 c remove useless variable ce[6][10][9] 0.79/0.88 c remove useless variable ce[6][10][10] 0.79/0.88 c remove useless variable ce[6][11][0] 0.79/0.88 c remove useless variable ce[6][11][1] 0.79/0.88 c remove useless variable ce[6][11][2] 0.79/0.88 c remove useless variable ce[6][11][3] 0.79/0.88 c remove useless variable ce[6][11][4] 0.79/0.88 c remove useless variable ce[6][11][5] 0.79/0.88 c remove useless variable ce[6][11][6] 0.79/0.88 c remove useless variable ce[6][11][7] 0.79/0.88 c remove useless variable ce[6][11][8] 0.79/0.88 c remove useless variable ce[6][11][9] 0.79/0.88 c remove useless variable ce[6][11][10] 0.79/0.88 c remove useless variable ce[6][11][11] 0.79/0.88 c remove useless variable ce[6][12][0] 0.79/0.88 c remove useless variable ce[6][12][1] 0.79/0.88 c remove useless variable ce[6][12][2] 0.79/0.88 c remove useless variable ce[6][12][3] 0.79/0.88 c remove useless variable ce[6][12][4] 0.79/0.88 c remove useless variable ce[6][12][5] 0.79/0.88 c remove useless variable ce[6][12][6] 0.79/0.88 c remove useless variable ce[6][12][7] 0.79/0.88 c remove useless variable ce[6][12][8] 0.79/0.88 c remove useless variable ce[6][12][9] 0.79/0.88 c remove useless variable ce[6][12][10] 0.79/0.88 c remove useless variable ce[6][12][11] 0.79/0.88 c remove useless variable ce[6][12][12] 0.79/0.88 c remove useless variable ce[6][13][0] 0.79/0.88 c remove useless variable ce[6][13][1] 0.79/0.88 c remove useless variable ce[6][13][2] 0.79/0.88 c remove useless variable ce[6][13][3] 0.79/0.88 c remove useless variable ce[6][13][4] 0.79/0.88 c remove useless variable ce[6][13][5] 0.79/0.88 c remove useless variable ce[6][13][6] 0.79/0.88 c remove useless variable ce[6][13][7] 0.79/0.88 c remove useless variable ce[6][13][8] 0.79/0.88 c remove useless variable ce[6][13][9] 0.79/0.88 c remove useless variable ce[6][13][10] 0.79/0.88 c remove useless variable ce[6][13][11] 0.79/0.88 c remove useless variable ce[6][13][12] 0.79/0.88 c remove useless variable ce[6][13][13] 2.09/2.10 c 101 822 263356 271941 0 0 722 722 714 3.29/3.40 c 211 1481 511042 1618421 0 0 4 550 540 4.58/4.66 c 332 2088 742505 2780238 0 0 6 487 432 5.68/5.72 c 465 2596 935074 3224019 0 0 4 376 265 6.69/6.77 c 611 3145 1129318 3728521 0 0 3 404 164 6.88/6.93 c 771 3333 1141230 4585022 0 0 3 29 25 7.88/7.95 c 947 3940 1335656 5152024 0 0 4 432 104 8.08/8.11 c 1140 4197 1346616 5782106 0 0 3 65 37 9.08/9.14 c 1352 4854 1536074 6604660 0 0 3 446 131 10.08/10.10 c 1585 5546 1722179 7441544 0 0 3 460 65 10.28/10.33 c 1841 5868 1736715 8606307 0 0 3 67 41 10.48/10.55 c 2122 6232 1748555 9749376 0 0 3 84 53 10.78/10.84 c 2431 6595 1765271 11456097 0 0 3 55 43 11.88/11.91 c 2770 7486 1963871 12778610 0 0 3 553 159 12.88/12.97 c 3142 8412 2154340 14520356 0 0 3 555 70 13.30/13.32 c 3551 8946 2171836 16391167 0 0 3 126 62 13.59/13.69 c 4000 9508 2192701 18340317 0 0 7 113 77 14.89/14.93 c 4493 10036 2224050 25193050 0 0 8 36 34 15.50/15.55 c 5035 10603 2251308 29413508 0 0 5 26 25 16.09/16.11 c 5631 11306 2279839 32023825 0 0 4 108 83 18.99/19.02 c 6286 12022 2322524 47865522 0 0 8 62 58 21.09/21.17 c 7006 13465 2606032 55320132 0 0 722 722 720 21.69/21.77 c 7798 14283 2636430 57894517 0 0 18 26 18 22.69/22.76 c 8669 15172 2684076 62976245 0 0 17 18 17 23.09/23.17 c 9627 16162 2717095 65076166 0 0 9 32 31 23.59/23.67 c 10680 17235 2766164 68547575 0 0 12 20 19 26.39/26.49 c 11838 18465 2814406 86038445 0 0 7 72 70 29.39/29.41 c 13111 20461 3116652 100116762 0 0 722 722 721 29.99/30.04 c 14511 21896 3167258 103636944 0 0 24 35 34 32.69/32.76 c 16051 23486 3244202 117706495 0 0 7 49 28 34.39/34.43 c 17745 25213 3308382 126488854 0 0 12 32 31 40.58/40.63 c 19608 27091 3414967 135531987 0 0 13 14 13 40.98/41.04 c 21657 29165 3490742 138494564 0 0 5 24 23 41.38/41.45 c 23910 31432 3591585 141725863 0 0 12 12 11 41.79/41.89 c 26388 33923 3677361 145277250 0 0 11 11 10 53.38/53.41 c 29113 36747 3850381 212898779 0 0 17 70 68 53.88/53.93 c 32110 39757 3955548 217182676 0 0 10 10 9 55.78/55.89 c 35406 43102 4088262 231175225 0 0 19 32 31 70.28/70.32 c 39031 46827 4319213 313681150 0 0 8 61 60 73.47/73.55 c 43018 51548 4669830 332154522 0 0 722 722 721 78.87/78.98 c 47403 55976 4933158 358808329 0 0 5 38 37 79.97/80.05 c 52226 60813 5093015 368308693 0 0 9 9 8 83.37/83.45 c 57531 66202 5308422 393389496 0 0 6 44 41 98.67/98.73 c 63366 72122 5715234 491617498 0 0 8 68 59 103.07/103.10 c 69784 79285 6117766 519847258 0 0 722 722 721 126.96/127.09 c 76843 86393 6818581 627744045 0 0 5 40 39 148.86/148.92 c 84607 94212 7545737 715491230 0 0 5 45 44 160.06/160.14 c 93147 102817 7809309 794051409 0 0 8 49 48 164.76/164.82 c 102541 112260 8203088 829584751 0 0 7 24 23 172.66/172.77 c 112874 122777 8438729 870020491 0 0 5 168 165 175.26/175.37 c 124240 134169 8824190 893692063 0 0 12 12 11 178.06/178.14 c 136742 146713 9363229 915132412 0 0 12 26 25 180.66/180.71 c 150494 160496 9815705 938059828 0 0 13 13 12 198.75/198.87 c 165621 175674 10572355 1039089773 0 0 4 31 27 206.95/207.07 c 182260 192702 10889206 1081549520 0 0 6 168 152 210.06/210.19 c 200562 211089 11671666 1108318372 0 0 8 12 11 221.85/221.92 c 220694 231418 12495600 1198963852 0 0 4 30 29 241.15/241.29 c 242839 254029 13151171 1294418043 0 0 4 126 121 245.05/245.16 c 267198 278433 14186398 1329184776 0 0 13 13 12 271.55/271.62 c 293992 305288 15408336 1495116651 0 0 4 25 24 382.03/382.16 c 323465 334866 18534987 1972685476 0 0 10 62 61 387.14/387.28 c 355885 367338 19906503 2018937397 0 0 8 8 7 410.24/410.32 c 391547 403062 21406996 2193728660 0 0 4 13 12 480.42/480.50 c 430775 442389 23633045 2556274215 0 0 4 44 43 580.31/580.49 c 473925 489745 25405098 3177560304 0 0 5 67 56 626.60/626.71 c 521390 537319 27298616 3548049323 0 0 3 43 39 647.81/647.95 c 573601 589609 29535871 3695837205 0 0 8 8 7 696.31/696.43 c 631033 647151 31781705 4091598278 0 0 4 30 29 730.41/730.58 c 694208 711333 34106680 4338852905 0 0 4 78 74 793.40/793.56 c 763700 781362 36340942 4704139317 0 0 5 123 116 834.39/834.53 c 840141 857924 39426051 5027707170 0 0 5 15 14 920.18/920.32 c 924226 942156 42861462 5711075489 0 0 4 29 28 941.59/941.74 c 1016719 1034836 45896718 5874084737 0 0 4 56 55 966.08/966.20 c 1118461 1137060 46768695 5980978335 0 0 5 275 254 1125.56/1125.75 c 1230377 1249786 52466397 6888968396 0 0 3 73 71 1162.35/1162.50 c 1353484 1373462 53483506 7069268205 0 0 5 304 277 1181.25/1181.48 c 1488901 1510168 54137228 7097037277 0 0 4 565 551 1199.55/1199.76 c 1637859 1660497 54723752 7108023809 0 0 4 567 560 1365.63/1365.84 c 1801712 1824630 61283473 8506910896 0 0 7 46 45 1468.02/1468.28 c 1981950 2005198 66947752 9363381857 0 0 4 72 71 1587.30/1587.53 c 2180211 2203793 74490385 10313986135 0 0 4 51 50 1701.09/1701.30 c 2398298 2422284 82095296 11205974095 0 0 4 90 89 2029.15/2029.46 c 2638193 2665720 88885583 13289122337 0 0 4 113 112 2386.82/2387.17 c 2902077 2931466 97859007 16145378486 0 0 722 722 721
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240231-1500624135/watcher-4240231-1500624135 -o /tmp/evaluation-result-4240231-1500624135/solver-4240231-1500624135 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5524 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240231-1500624135.xml pid=5954 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.93 1.40 0.67 3/187 5957 /proc/meminfo: memFree=30886760/32770624 swapFree=6132/916968 [pid=5957] ppid=5954 vsize=27652 CPUtime=0 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 1103 0 0 0 0 0 0 0 20 0 1 0 15849685 28315648 897 33554432000 4194304 5970956 140722778448160 140722778444808 140703219059685 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 6913 897 702 434 0 277 0 [startup+0.100164 s] /proc/loadavg: 1.93 1.40 0.67 3/187 5957 /proc/meminfo: memFree=30886760/32770624 swapFree=6132/916968 [pid=5957] ppid=5954 vsize=37960 CPUtime=0.09 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 3774 0 0 0 9 0 0 0 20 0 1 0 15849685 38871040 3591 33554432000 4194304 5970956 140722778448160 140722778441752 140703219059685 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 9490 3591 783 434 0 2854 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37960 [startup+0.200395 s] /proc/loadavg: 1.93 1.40 0.67 3/187 5957 /proc/meminfo: memFree=30886760/32770624 swapFree=6132/916968 [pid=5957] ppid=5954 vsize=41540 CPUtime=0.19 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 4666 0 0 0 19 0 0 0 20 0 1 0 15849685 42536960 4488 33554432000 4194304 5970956 140722778448160 140722778441752 140703219059685 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 10385 4488 783 434 0 3749 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 41540 [startup+0.300253 s] /proc/loadavg: 1.93 1.40 0.67 3/187 5957 /proc/meminfo: memFree=30886760/32770624 swapFree=6132/916968 [pid=5957] ppid=5954 vsize=45956 CPUtime=0.29 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 5760 0 0 0 29 0 0 0 20 0 1 0 15849685 47058944 5559 33554432000 4194304 5970956 140722778448160 140722778441592 4966541 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 11489 5559 783 434 0 4853 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45956 [startup+0.700221 s] /proc/loadavg: 1.93 1.40 0.67 3/187 5957 /proc/meminfo: memFree=30886760/32770624 swapFree=6132/916968 [pid=5957] ppid=5954 vsize=63328 CPUtime=0.69 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 10124 0 0 0 68 1 0 0 20 0 1 0 15849685 64847872 9936 33554432000 4194304 5970956 140722778448160 140722778441752 140703219059685 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 15832 9936 783 434 0 9196 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 63328 [startup+1.50022 s] /proc/loadavg: 1.93 1.40 0.67 3/188 5958 /proc/meminfo: memFree=30841736/32770624 swapFree=6132/916972 [pid=5957] ppid=5954 vsize=72380 CPUtime=1.49 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 12385 0 0 0 148 1 0 0 20 0 1 0 15849685 74117120 12217 33554432000 4194304 5970956 140722778448160 140722778445448 5323389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 18095 12217 826 434 0 11459 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 72380 [startup+3.10022 s] /proc/loadavg: 1.93 1.40 0.67 3/188 5958 /proc/meminfo: memFree=30837644/32770624 swapFree=6132/916972 [pid=5957] ppid=5954 vsize=75032 CPUtime=3.09 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 15902 0 0 0 308 1 0 0 20 0 1 0 15849685 76832768 12895 33554432000 4194304 5970956 140722778448160 140722778445496 5327850 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 18758 12895 828 434 0 12122 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 75032 [startup+6.30022 s] /proc/loadavg: 1.94 1.41 0.68 3/188 5958 /proc/meminfo: memFree=30837548/32770624 swapFree=6132/916980 [pid=5957] ppid=5954 vsize=75032 CPUtime=6.28 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 19032 0 0 0 627 1 0 0 20 0 1 0 15849685 76832768 12895 33554432000 4194304 5970956 140722778448160 140722778445496 5322960 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 18758 12895 828 434 0 12122 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 75032 [startup+12.7002 s] /proc/loadavg: 2.02 1.43 0.69 3/188 5958 /proc/meminfo: memFree=30836812/32770624 swapFree=6132/916988 [pid=5957] ppid=5954 vsize=75560 CPUtime=12.68 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 22665 0 0 0 1267 1 0 0 20 0 1 0 15849685 77373440 13020 33554432000 4194304 5970956 140722778448160 140722778445224 5322986 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 18890 13020 828 434 0 12254 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 75560 [startup+25.5003 s] /proc/loadavg: 2.02 1.46 0.71 3/188 5958 /proc/meminfo: memFree=30833464/32770624 swapFree=6132/917008 [pid=5957] ppid=5954 vsize=78728 CPUtime=25.49 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 31193 0 0 0 2547 2 0 0 20 0 1 0 15849685 80617472 13814 33554432000 4194304 5970956 140722778448160 140722778445224 5319649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 19682 13814 828 434 0 13046 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78728 [startup+51.1003 s] /proc/loadavg: 2.01 1.50 0.74 3/188 5958 /proc/meminfo: memFree=30832320/32770624 swapFree=6132/917036 [pid=5957] ppid=5954 vsize=80444 CPUtime=51.08 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 36610 0 0 0 5106 2 0 0 20 0 1 0 15849685 82374656 14211 33554432000 4194304 5970956 140722778448160 140722778445224 4964389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20111 14211 828 434 0 13475 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 80444 [startup+102.3 s] /proc/loadavg: 2.10 1.61 0.82 3/188 5959 /proc/meminfo: memFree=30831452/32770624 swapFree=6132/917080 [pid=5957] ppid=5954 vsize=81236 CPUtime=102.27 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 39577 0 0 0 10225 2 0 0 20 0 1 0 15849685 83185664 14416 33554432000 4194304 5970956 140722778448160 140722778445224 5069728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20309 14416 828 434 0 13673 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 81236 [startup+162.3 s] /proc/loadavg: 2.15 1.71 0.90 3/188 5960 /proc/meminfo: memFree=30831268/32770624 swapFree=6132/917136 [pid=5957] ppid=5954 vsize=81632 CPUtime=162.26 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 40468 0 0 0 16224 2 0 0 20 0 1 0 15849685 83591168 14512 33554432000 4194304 5970956 140722778448160 140722778445224 4964363 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20408 14512 828 434 0 13772 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 81632 [startup+222.306 s] /proc/loadavg: 2.21 1.81 0.99 3/187 5961 /proc/meminfo: memFree=30830288/32770624 swapFree=6132/917200 [pid=5957] ppid=5954 vsize=82292 CPUtime=222.26 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 41057 0 0 0 22224 2 0 0 20 0 1 0 15849685 84267008 14675 33554432000 4194304 5970956 140722778448160 140722778445496 4968239 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20573 14675 828 434 0 13937 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 82292 [startup+282.3 s] /proc/loadavg: 2.11 1.86 1.06 3/187 5962 /proc/meminfo: memFree=30829632/32770624 swapFree=6132/917244 [pid=5957] ppid=5954 vsize=82688 CPUtime=282.24 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 41652 0 0 0 28222 2 0 0 20 0 1 0 15849685 84672512 14762 33554432000 4194304 5970956 140722778448160 140722778445224 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20672 14762 828 434 0 14036 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 82688 [startup+342.3 s] /proc/loadavg: 2.04 1.88 1.12 3/187 5963 /proc/meminfo: memFree=30829012/32770624 swapFree=6132/917292 [pid=5957] ppid=5954 vsize=82688 CPUtime=342.24 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 42142 0 0 0 34222 2 0 0 20 0 1 0 15849685 84672512 14819 33554432000 4194304 5970956 140722778448160 140722778445224 5070791 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20672 14819 828 434 0 14036 0 Current children cumulated CPU time (s) 342.24 Current children cumulated vsize (KiB) 82688 [startup+402.3 s] /proc/loadavg: 2.02 1.90 1.17 3/187 5964 /proc/meminfo: memFree=30829012/32770624 swapFree=6132/917336 [pid=5957] ppid=5954 vsize=82688 CPUtime=402.23 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 42696 0 0 0 40221 2 0 0 20 0 1 0 15849685 84672512 14819 33554432000 4194304 5970956 140722778448160 140722778445496 4967787 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20672 14819 828 434 0 14036 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 82688 [startup+462.3 s] /proc/loadavg: 2.01 1.92 1.22 3/187 5965 /proc/meminfo: memFree=30829380/32770624 swapFree=6132/917368 [pid=5957] ppid=5954 vsize=82820 CPUtime=462.22 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 43233 0 0 0 46220 2 0 0 20 0 1 0 15849685 84807680 14841 33554432000 4194304 5970956 140722778448160 140722778445224 5069728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20705 14841 828 434 0 14069 0 Current children cumulated CPU time (s) 462.22 Current children cumulated vsize (KiB) 82820 [startup+522.3 s] /proc/loadavg: 2.00 1.94 1.27 3/188 5974 /proc/meminfo: memFree=30828260/32770624 swapFree=6132/917416 [pid=5957] ppid=5954 vsize=82952 CPUtime=522.22 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 43837 0 0 0 52220 2 0 0 20 0 1 0 15849685 84942848 14846 33554432000 4194304 5970956 140722778448160 140722778445224 5319739 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20738 14846 828 434 0 14102 0 Current children cumulated CPU time (s) 522.22 Current children cumulated vsize (KiB) 82952 [startup+582.3 s] /proc/loadavg: 2.00 1.95 1.32 3/188 5975 /proc/meminfo: memFree=30828508/32770624 swapFree=6132/917452 [pid=5957] ppid=5954 vsize=82952 CPUtime=582.21 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 44372 0 0 0 58219 2 0 0 20 0 1 0 15849685 84942848 14865 33554432000 4194304 5970956 140722778448160 140722778445496 4968229 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 20738 14865 828 434 0 14102 0 Current children cumulated CPU time (s) 582.21 Current children cumulated vsize (KiB) 82952 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.03 1.78 3/187 6000 /proc/meminfo: memFree=30824764/32770624 swapFree=6132/918052 [pid=5957] ppid=5954 vsize=86384 CPUtime=1542.11 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 54309 0 0 0 154208 3 0 0 20 0 1 0 15849685 88457216 15742 33554432000 4194304 5970956 140722778448160 140722778445496 5069728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21596 15742 828 434 0 14960 0 Current children cumulated CPU time (s) 1542.11 Current children cumulated vsize (KiB) 86384 [startup+1602.3 s] /proc/loadavg: 2.01 2.03 1.79 3/187 6002 /proc/meminfo: memFree=30824276/32770624 swapFree=6132/918096 [pid=5957] ppid=5954 vsize=86384 CPUtime=1602.1 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 54778 0 0 0 160207 3 0 0 20 0 1 0 15849685 88457216 15743 33554432000 4194304 5970956 140722778448160 140722778445496 5319840 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21596 15743 828 434 0 14960 0 Current children cumulated CPU time (s) 1602.1 Current children cumulated vsize (KiB) 86384 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 1.80 3/187 6003 /proc/meminfo: memFree=30824524/32770624 swapFree=6132/918128 [pid=5957] ppid=5954 vsize=86384 CPUtime=1662.1 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 55080 0 0 0 166207 3 0 0 20 0 1 0 15849685 88457216 15746 33554432000 4194304 5970956 140722778448160 140722778445496 5070830 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21596 15746 828 434 0 14960 0 Current children cumulated CPU time (s) 1662.1 Current children cumulated vsize (KiB) 86384 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 1.81 3/187 6011 /proc/meminfo: memFree=30824024/32770624 swapFree=6132/918172 [pid=5957] ppid=5954 vsize=86516 CPUtime=1722.09 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 55580 0 0 0 172206 3 0 0 20 0 1 0 15849685 88592384 15750 33554432000 4194304 5970956 140722778448160 140722778445224 4967778 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21629 15750 828 434 0 14993 0 Current children cumulated CPU time (s) 1722.09 Current children cumulated vsize (KiB) 86516 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.82 3/187 6012 /proc/meminfo: memFree=30824360/32770624 swapFree=6132/918212 [pid=5957] ppid=5954 vsize=86516 CPUtime=1782.08 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 55923 0 0 0 178205 3 0 0 20 0 1 0 15849685 88592384 15771 33554432000 4194304 5970956 140722778448160 140722778445224 5070768 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21629 15771 828 434 0 14993 0 Current children cumulated CPU time (s) 1782.08 Current children cumulated vsize (KiB) 86516 [startup+1842.3 s] /proc/loadavg: 2.08 2.03 1.84 3/187 6013 /proc/meminfo: memFree=30823992/32770624 swapFree=6132/918240 [pid=5957] ppid=5954 vsize=86516 CPUtime=1842.07 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 56270 0 0 0 184204 3 0 0 20 0 1 0 15849685 88592384 15774 33554432000 4194304 5970956 140722778448160 140722778445224 4969752 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21629 15774 828 434 0 14993 0 Current children cumulated CPU time (s) 1842.07 Current children cumulated vsize (KiB) 86516 [startup+1902.3 s] /proc/loadavg: 2.11 2.04 1.86 3/187 6014 /proc/meminfo: memFree=30824244/32770624 swapFree=6132/918276 [pid=5957] ppid=5954 vsize=86648 CPUtime=1902.07 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 56625 0 0 0 190204 3 0 0 20 0 1 0 15849685 88727552 15778 33554432000 4194304 5970956 140722778448160 140722778445224 4964452 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21662 15778 828 434 0 15026 0 Current children cumulated CPU time (s) 1902.07 Current children cumulated vsize (KiB) 86648 [startup+1962.3 s] /proc/loadavg: 2.04 2.04 1.87 3/187 6015 /proc/meminfo: memFree=30824372/32770624 swapFree=6132/918308 [pid=5957] ppid=5954 vsize=86648 CPUtime=1962.06 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 56989 0 0 0 196203 3 0 0 20 0 1 0 15849685 88727552 15783 33554432000 4194304 5970956 140722778448160 140722778445224 5108512 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21662 15783 828 434 0 15026 0 Current children cumulated CPU time (s) 1962.06 Current children cumulated vsize (KiB) 86648 [startup+2022.3 s] /proc/loadavg: 2.01 2.03 1.87 3/187 6016 /proc/meminfo: memFree=30823384/32770624 swapFree=6132/918336 [pid=5957] ppid=5954 vsize=86648 CPUtime=2022.05 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 57353 0 0 0 202202 3 0 0 20 0 1 0 15849685 88727552 15794 33554432000 4194304 5970956 140722778448160 140722778445224 4970610 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21662 15794 828 434 0 15026 0 Current children cumulated CPU time (s) 2022.05 Current children cumulated vsize (KiB) 86648 [startup+2082.3 s] /proc/loadavg: 2.06 2.04 1.88 3/187 6078 /proc/meminfo: memFree=30780068/32770624 swapFree=6132/918440 [pid=5957] ppid=5954 vsize=86780 CPUtime=2082.05 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 58242 0 0 0 208202 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778444856 5108593 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2082.05 Current children cumulated vsize (KiB) 86780 [startup+2142.3 s] /proc/loadavg: 2.02 2.04 1.89 3/187 6139 /proc/meminfo: memFree=30823672/32770624 swapFree=6132/918584 [pid=5957] ppid=5954 vsize=86780 CPUtime=2142.04 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 58557 0 0 0 214201 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778444856 5052093 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2142.04 Current children cumulated vsize (KiB) 86780 [startup+2202.31 s] /proc/loadavg: 2.01 2.03 1.90 3/187 6140 /proc/meminfo: memFree=30823276/32770624 swapFree=6132/918668 [pid=5957] ppid=5954 vsize=86780 CPUtime=2202.04 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 58872 0 0 0 220201 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778444856 4967758 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2202.04 Current children cumulated vsize (KiB) 86780 [startup+2262.3 s] /proc/loadavg: 2.14 2.06 1.91 3/187 6141 /proc/meminfo: memFree=30823572/32770624 swapFree=6132/918716 [pid=5957] ppid=5954 vsize=86780 CPUtime=2262.03 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 59188 0 0 0 226200 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778444856 4964366 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2262.03 Current children cumulated vsize (KiB) 86780 [startup+2322.3 s] /proc/loadavg: 2.05 2.04 1.92 3/188 6150 /proc/meminfo: memFree=30823144/32770624 swapFree=6132/918780 [pid=5957] ppid=5954 vsize=86780 CPUtime=2322.02 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 59503 0 0 0 232199 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778444856 4971070 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2322.02 Current children cumulated vsize (KiB) 86780 [startup+2382.3 s] /proc/loadavg: 2.18 2.10 1.95 3/188 6954 /proc/meminfo: memFree=30806516/32770624 swapFree=6132/919412 [pid=5957] ppid=5954 vsize=86780 CPUtime=2382.02 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 59819 0 0 0 238199 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778444856 4974237 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2382.02 Current children cumulated vsize (KiB) 86780 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.31 s] /proc/loadavg: 2.14 2.09 1.95 3/188 6954 /proc/meminfo: memFree=30806080/32770624 swapFree=6132/919432 [pid=5957] ppid=5954 vsize=86780 CPUtime=2400.02 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 60784 0 0 0 239999 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778445496 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 86780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 5957 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.31 s] /proc/loadavg: 2.14 2.09 1.95 3/188 6954 /proc/meminfo: memFree=30806080/32770624 swapFree=6132/919432 [pid=5957] ppid=5954 vsize=86780 CPUtime=2400.02 cores=1,3,5,7 /proc/5957/stat : 5957 (cosoco) R 5954 5957 5492 0 -1 4202496 60784 0 0 0 239999 3 0 0 20 0 1 0 15849685 88862720 15825 33554432000 4194304 5970956 140722778448160 140722778445496 5098928 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 33869824 140722778449089 140722778449219 140722778449219 140722778451918 0 /proc/5957/statm: 21695 15825 828 434 0 15059 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 86780 Child status: 1 Real time (s): 2400.31 CPU time (s): 2400.04 CPU user time (s): 2400 CPU system time (s): 0.039995 CPU usage (%): 99.9888 Max. virtual memory (cumulated for all children) (KiB): 86780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.039995 maximum resident set size= 63344 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 60812 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= 22 involuntary context switches= 120240 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.68304 second user time and 8.3111 second system time The end
Begin job on node140 at 2017-07-21 10:02:15 IDJOB=4240231 IDBENCH=120756 IDSOLVER=2620 FILE ID=node140/4240231-1500624135 RUNJOBID= node140-1500623777-5524 PBS_JOBID= 20622993 Free space on /tmp= 61860 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P07.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240231-1500624135/watcher-4240231-1500624135 -o /tmp/evaluation-result-4240231-1500624135/solver-4240231-1500624135 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5524 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240231-1500624135.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 539390230adc3c5191c5e54bc0e1cdf0 RANDOM SEED=1295090434 node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.45 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 : 2267.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 : 1600.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.45 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 : 1600.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.45 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 : 1600.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 : 1600.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.45 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 : 1600.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: 30886596 kB MemAvailable: 32005344 kB Buffers: 156540 kB Cached: 1240084 kB SwapCached: 0 kB Active: 533264 kB Inactive: 925872 kB Active(anon): 65144 kB Inactive(anon): 8904 kB Active(file): 468120 kB Inactive(file): 916968 kB Unevictable: 6132 kB Mlocked: 6140 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2384 kB Writeback: 0 kB AnonPages: 68420 kB Mapped: 34192 kB Shmem: 8852 kB Slab: 124048 kB SReclaimable: 98992 kB SUnreclaim: 25056 kB KernelStack: 3360 kB PageTables: 4968 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 327808 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61860 MiB End job on node140 at 2017-07-21 10:42:16