| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2.0 | ? (TO) | 2519.61 | 2520.01 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K13-P08.xml |
| MD5SUM | f6de09233a74707b341bbe4fbe6d65e2 |
| 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 | 1547 |
| Number of constraints | 717 |
| Number of domains | 2 |
| Minimum domain size | 715 |
| Maximum domain size | 716 |
| Distribution of domain sizes | [{"size":715,"count":715},{"size":716,"count":104}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 15 |
| Distribution of variable degrees | [{"degree":0,"count":728},{"degree":2,"count":715},{"degree":14,"count":26},{"degree":15,"count":78}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 715 |
| Distribution of constraint arities | [{"arity":3,"count":715},{"arity":104,"count":1},{"arity":715,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 715 |
| Distribution of constraint types | [{"type":"intension","count":715},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.20/0.27 c root propagations : 0 0.20/0.27 c restarts enabled, print stats at every restarts 0.20/0.27 c 0.20/0.27 c 0.20/0.27 c 0.20/0.27 c This is cosoco 2.00 -- 0.20/0.27 c 0.20/0.27 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396907-1568575305.xml 0.20/0.27 c ========================================[ Problem Statistics ]=========================================== 0.20/0.27 c | 0.20/0.27 c | Parse time : 0.24 s 0.20/0.27 c | 0.20/0.27 c | Variables: 1547 0.20/0.27 c | Domain Sizes: 715..716 0.20/0.27 c | 0.20/0.27 c | Constraints: 717 0.20/0.27 c | Arity: 3..715 -- Ternary: 715 0.20/0.27 c | 0.20/0.27 c | Types: 0.20/0.27 c | All Different: 2 0.20/0.27 c | Intension: 715 0.20/0.27 c | 0.20/0.27 c ========================================================================================================= 0.20/0.27 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.20/0.27 c remove useless variable ce[0][0][0] 0.20/0.27 c remove useless variable ce[0][1][0] 0.20/0.27 c remove useless variable ce[0][1][1] 0.20/0.27 c remove useless variable ce[0][2][0] 0.20/0.27 c remove useless variable ce[0][2][1] 0.20/0.27 c remove useless variable ce[0][2][2] 0.20/0.27 c remove useless variable ce[0][3][0] 0.20/0.27 c remove useless variable ce[0][3][1] 0.20/0.27 c remove useless variable ce[0][3][2] 0.20/0.27 c remove useless variable ce[0][3][3] 0.20/0.27 c remove useless variable ce[0][4][0] 0.20/0.27 c remove useless variable ce[0][4][1] 0.20/0.27 c remove useless variable ce[0][4][2] 0.20/0.27 c remove useless variable ce[0][4][3] 0.20/0.27 c remove useless variable ce[0][4][4] 0.20/0.27 c remove useless variable ce[0][5][0] 0.20/0.27 c remove useless variable ce[0][5][1] 0.20/0.27 c remove useless variable ce[0][5][2] 0.20/0.27 c remove useless variable ce[0][5][3] 0.20/0.27 c remove useless variable ce[0][5][4] 0.20/0.27 c remove useless variable ce[0][5][5] 0.20/0.27 c remove useless variable ce[0][6][0] 0.20/0.27 c remove useless variable ce[0][6][1] 0.20/0.27 c remove useless variable ce[0][6][2] 0.20/0.27 c remove useless variable ce[0][6][3] 0.20/0.27 c remove useless variable ce[0][6][4] 0.20/0.27 c remove useless variable ce[0][6][5] 0.20/0.27 c remove useless variable ce[0][6][6] 0.20/0.27 c remove useless variable ce[0][7][0] 0.20/0.27 c remove useless variable ce[0][7][1] 0.20/0.27 c remove useless variable ce[0][7][2] 0.20/0.27 c remove useless variable ce[0][7][3] 0.20/0.27 c remove useless variable ce[0][7][4] 0.20/0.27 c remove useless variable ce[0][7][5] 0.20/0.27 c remove useless variable ce[0][7][6] 0.20/0.27 c remove useless variable ce[0][7][7] 0.20/0.27 c remove useless variable ce[0][8][0] 0.20/0.27 c remove useless variable ce[0][8][1] 0.20/0.27 c remove useless variable ce[0][8][2] 0.20/0.27 c remove useless variable ce[0][8][3] 0.20/0.27 c remove useless variable ce[0][8][4] 0.20/0.27 c remove useless variable ce[0][8][5] 0.20/0.27 c remove useless variable ce[0][8][6] 0.20/0.27 c remove useless variable ce[0][8][7] 0.20/0.27 c remove useless variable ce[0][8][8] 0.20/0.27 c remove useless variable ce[0][9][0] 0.20/0.27 c remove useless variable ce[0][9][1] 0.20/0.27 c remove useless variable ce[0][9][2] 0.20/0.27 c remove useless variable ce[0][9][3] 0.20/0.27 c remove useless variable ce[0][9][4] 0.20/0.27 c remove useless variable ce[0][9][5] 0.20/0.27 c remove useless variable ce[0][9][6] 0.20/0.27 c remove useless variable ce[0][9][7] 0.20/0.27 c remove useless variable ce[0][9][8] 0.20/0.27 c remove useless variable ce[0][9][9] 0.20/0.27 c remove useless variable ce[0][10][0] 0.20/0.27 c remove useless variable ce[0][10][1] 0.20/0.27 c remove useless variable ce[0][10][2] 0.20/0.27 c remove useless variable ce[0][10][3] 0.20/0.27 c remove useless variable ce[0][10][4] 0.20/0.27 c remove useless variable ce[0][10][5] 0.20/0.27 c remove useless variable ce[0][10][6] 0.20/0.27 c remove useless variable ce[0][10][7] 0.20/0.27 c remove useless variable ce[0][10][8] 0.20/0.27 c remove useless variable ce[0][10][9] 0.20/0.27 c remove useless variable ce[0][10][10] 0.20/0.27 c remove useless variable ce[0][11][0] 0.20/0.27 c remove useless variable ce[0][11][1] 0.20/0.27 c remove useless variable ce[0][11][2] 0.20/0.27 c remove useless variable ce[0][11][3] 0.20/0.27 c remove useless variable ce[0][11][4] 0.20/0.27 c remove useless variable ce[0][11][5] 0.20/0.27 c remove useless variable ce[0][11][6] 0.20/0.27 c remove useless variable ce[0][11][7] 0.20/0.27 c remove useless variable ce[0][11][8] 0.20/0.27 c remove useless variable ce[0][11][9] 0.20/0.27 c remove useless variable ce[0][11][10] 0.20/0.27 c remove useless variable ce[0][11][11] 0.20/0.27 c remove useless variable ce[0][12][0] 0.20/0.27 c remove useless variable ce[0][12][1] 0.20/0.27 c remove useless variable ce[0][12][2] 0.20/0.27 c remove useless variable ce[0][12][3] 0.20/0.27 c remove useless variable ce[0][12][4] 0.20/0.27 c remove useless variable ce[0][12][5] 0.20/0.27 c remove useless variable ce[0][12][6] 0.20/0.27 c remove useless variable ce[0][12][7] 0.20/0.27 c remove useless variable ce[0][12][8] 0.20/0.27 c remove useless variable ce[0][12][9] 0.20/0.27 c remove useless variable ce[0][12][10] 0.20/0.27 c remove useless variable ce[0][12][11] 0.20/0.27 c remove useless variable ce[0][12][12] 0.20/0.27 c remove useless variable ce[1][0][0] 0.20/0.27 c remove useless variable ce[1][1][0] 0.20/0.27 c remove useless variable ce[1][1][1] 0.20/0.27 c remove useless variable ce[1][2][0] 0.20/0.27 c remove useless variable ce[1][2][1] 0.20/0.27 c remove useless variable ce[1][2][2] 0.20/0.27 c remove useless variable ce[1][3][0] 0.20/0.27 c remove useless variable ce[1][3][1] 0.20/0.27 c remove useless variable ce[1][3][2] 0.20/0.27 c remove useless variable ce[1][3][3] 0.20/0.27 c remove useless variable ce[1][4][0] 0.20/0.27 c remove useless variable ce[1][4][1] 0.20/0.27 c remove useless variable ce[1][4][2] 0.20/0.27 c remove useless variable ce[1][4][3] 0.20/0.27 c remove useless variable ce[1][4][4] 0.20/0.27 c remove useless variable ce[1][5][0] 0.20/0.27 c remove useless variable ce[1][5][1] 0.20/0.27 c remove useless variable ce[1][5][2] 0.20/0.27 c remove useless variable ce[1][5][3] 0.20/0.27 c remove useless variable ce[1][5][4] 0.20/0.27 c remove useless variable ce[1][5][5] 0.20/0.27 c remove useless variable ce[1][6][0] 0.20/0.27 c remove useless variable ce[1][6][1] 0.20/0.27 c remove useless variable ce[1][6][2] 0.20/0.27 c remove useless variable ce[1][6][3] 0.20/0.27 c remove useless variable ce[1][6][4] 0.20/0.27 c remove useless variable ce[1][6][5] 0.20/0.27 c remove useless variable ce[1][6][6] 0.20/0.27 c remove useless variable ce[1][7][0] 0.20/0.27 c remove useless variable ce[1][7][1] 0.20/0.27 c remove useless variable ce[1][7][2] 0.20/0.27 c remove useless variable ce[1][7][3] 0.20/0.27 c remove useless variable ce[1][7][4] 0.20/0.27 c remove useless variable ce[1][7][5] 0.20/0.27 c remove useless variable ce[1][7][6] 0.20/0.27 c remove useless variable ce[1][7][7] 0.20/0.27 c remove useless variable ce[1][8][0] 0.20/0.27 c remove useless variable ce[1][8][1] 0.20/0.27 c remove useless variable ce[1][8][2] 0.20/0.27 c remove useless variable ce[1][8][3] 0.20/0.27 c remove useless variable ce[1][8][4] 0.20/0.27 c remove useless variable ce[1][8][5] 0.20/0.27 c remove useless variable ce[1][8][6] 0.20/0.27 c remove useless variable ce[1][8][7] 0.20/0.27 c remove useless variable ce[1][8][8] 0.20/0.27 c remove useless variable ce[1][9][0] 0.20/0.27 c remove useless variable ce[1][9][1] 0.20/0.27 c remove useless variable ce[1][9][2] 0.20/0.27 c remove useless variable ce[1][9][3] 0.20/0.27 c remove useless variable ce[1][9][4] 0.20/0.27 c remove useless variable ce[1][9][5] 0.20/0.27 c remove useless variable ce[1][9][6] 0.20/0.27 c remove useless variable ce[1][9][7] 0.20/0.27 c remove useless variable ce[1][9][8] 0.20/0.27 c remove useless variable ce[1][9][9] 0.20/0.27 c remove useless variable ce[1][10][0] 0.20/0.27 c remove useless variable ce[1][10][1] 0.20/0.27 c remove useless variable ce[1][10][2] 0.20/0.27 c remove useless variable ce[1][10][3] 0.20/0.27 c remove useless variable ce[1][10][4] 0.20/0.27 c remove useless variable ce[1][10][5] 0.20/0.27 c remove useless variable ce[1][10][6] 0.20/0.27 c remove useless variable ce[1][10][7] 0.20/0.27 c remove useless variable ce[1][10][8] 0.20/0.27 c remove useless variable ce[1][10][9] 0.20/0.27 c remove useless variable ce[1][10][10] 0.20/0.27 c remove useless variable ce[1][11][0] 0.20/0.27 c remove useless variable ce[1][11][1] 0.20/0.27 c remove useless variable ce[1][11][2] 0.20/0.27 c remove useless variable ce[1][11][3] 0.20/0.27 c remove useless variable ce[1][11][4] 0.20/0.27 c remove useless variable ce[1][11][5] 0.20/0.27 c remove useless variable ce[1][11][6] 0.20/0.27 c remove useless variable ce[1][11][7] 0.20/0.27 c remove useless variable ce[1][11][8] 0.20/0.27 c remove useless variable ce[1][11][9] 0.20/0.27 c remove useless variable ce[1][11][10] 0.20/0.27 c remove useless variable ce[1][11][11] 0.20/0.27 c remove useless variable ce[1][12][0] 0.20/0.27 c remove useless variable ce[1][12][1] 0.20/0.27 c remove useless variable ce[1][12][2] 0.20/0.27 c remove useless variable ce[1][12][3] 0.20/0.27 c remove useless variable ce[1][12][4] 0.20/0.27 c remove useless variable ce[1][12][5] 0.20/0.27 c remove useless variable ce[1][12][6] 0.20/0.27 c remove useless variable ce[1][12][7] 0.20/0.27 c remove useless variable ce[1][12][8] 0.20/0.27 c remove useless variable ce[1][12][9] 0.20/0.27 c remove useless variable ce[1][12][10] 0.20/0.27 c remove useless variable ce[1][12][11] 0.20/0.27 c remove useless variable ce[1][12][12] 0.20/0.27 c remove useless variable ce[2][0][0] 0.20/0.27 c remove useless variable ce[2][1][0] 0.20/0.27 c remove useless variable ce[2][1][1] 0.20/0.27 c remove useless variable ce[2][2][0] 0.20/0.27 c remove useless variable ce[2][2][1] 0.20/0.27 c remove useless variable ce[2][2][2] 0.20/0.27 c remove useless variable ce[2][3][0] 0.20/0.27 c remove useless variable ce[2][3][1] 0.20/0.27 c remove useless variable ce[2][3][2] 0.20/0.27 c remove useless variable ce[2][3][3] 0.20/0.27 c remove useless variable ce[2][4][0] 0.20/0.27 c remove useless variable ce[2][4][1] 0.20/0.27 c remove useless variable ce[2][4][2] 0.20/0.27 c remove useless variable ce[2][4][3] 0.20/0.27 c remove useless variable ce[2][4][4] 0.20/0.27 c remove useless variable ce[2][5][0] 0.20/0.27 c remove useless variable ce[2][5][1] 0.20/0.27 c remove useless variable ce[2][5][2] 0.20/0.27 c remove useless variable ce[2][5][3] 0.20/0.27 c remove useless variable ce[2][5][4] 0.20/0.27 c remove useless variable ce[2][5][5] 0.20/0.27 c remove useless variable ce[2][6][0] 0.20/0.27 c remove useless variable ce[2][6][1] 0.20/0.27 c remove useless variable ce[2][6][2] 0.20/0.27 c remove useless variable ce[2][6][3] 0.20/0.27 c remove useless variable ce[2][6][4] 0.20/0.27 c remove useless variable ce[2][6][5] 0.20/0.27 c remove useless variable ce[2][6][6] 0.20/0.27 c remove useless variable ce[2][7][0] 0.20/0.27 c remove useless variable ce[2][7][1] 0.20/0.27 c remove useless variable ce[2][7][2] 0.20/0.27 c remove useless variable ce[2][7][3] 0.20/0.27 c remove useless variable ce[2][7][4] 0.20/0.27 c remove useless variable ce[2][7][5] 0.20/0.27 c remove useless variable ce[2][7][6] 0.20/0.27 c remove useless variable ce[2][7][7] 0.20/0.27 c remove useless variable ce[2][8][0] 0.20/0.27 c remove useless variable ce[2][8][1] 0.20/0.27 c remove useless variable ce[2][8][2] 0.20/0.27 c remove useless variable ce[2][8][3] 0.20/0.27 c remove useless variable ce[2][8][4] 0.20/0.27 c remove useless variable ce[2][8][5] 0.20/0.27 c remove useless variable ce[2][8][6] 0.20/0.27 c remove useless variable ce[2][8][7] 0.20/0.27 c remove useless variable ce[2][8][8] 0.20/0.27 c remove useless variable ce[2][9][0] 0.20/0.27 c remove useless variable ce[2][9][1] 0.20/0.27 c remove useless variable ce[2][9][2] 0.20/0.27 c remove useless variable ce[2][9][3] 0.20/0.27 c remove useless variable ce[2][9][4] 0.20/0.27 c remove useless variable ce[2][9][5] 0.20/0.27 c remove useless variable ce[2][9][6] 0.20/0.27 c remove useless variable ce[2][9][7] 0.20/0.27 c remove useless variable ce[2][9][8] 0.20/0.27 c remove useless variable ce[2][9][9] 0.20/0.27 c remove useless variable ce[2][10][0] 0.20/0.27 c remove useless variable ce[2][10][1] 0.20/0.27 c remove useless variable ce[2][10][2] 0.20/0.27 c remove useless variable ce[2][10][3] 0.20/0.27 c remove useless variable ce[2][10][4] 0.20/0.27 c remove useless variable ce[2][10][5] 0.20/0.27 c remove useless variable ce[2][10][6] 0.20/0.27 c remove useless variable ce[2][10][7] 0.20/0.27 c remove useless variable ce[2][10][8] 0.20/0.27 c remove useless variable ce[2][10][9] 0.20/0.27 c remove useless variable ce[2][10][10] 0.20/0.27 c remove useless variable ce[2][11][0] 0.20/0.27 c remove useless variable ce[2][11][1] 0.20/0.27 c remove useless variable ce[2][11][2] 0.20/0.27 c remove useless variable ce[2][11][3] 0.20/0.27 c remove useless variable ce[2][11][4] 0.20/0.27 c remove useless variable ce[2][11][5] 0.20/0.27 c remove useless variable ce[2][11][6] 0.20/0.27 c remove useless variable ce[2][11][7] 0.20/0.27 c remove useless variable ce[2][11][8] 0.20/0.27 c remove useless variable ce[2][11][9] 0.20/0.27 c remove useless variable ce[2][11][10] 0.20/0.27 c remove useless variable ce[2][11][11] 0.20/0.27 c remove useless variable ce[2][12][0] 0.20/0.27 c remove useless variable ce[2][12][1] 0.20/0.27 c remove useless variable ce[2][12][2] 0.20/0.27 c remove useless variable ce[2][12][3] 0.20/0.27 c remove useless variable ce[2][12][4] 0.20/0.27 c remove useless variable ce[2][12][5] 0.20/0.27 c remove useless variable ce[2][12][6] 0.20/0.27 c remove useless variable ce[2][12][7] 0.20/0.27 c remove useless variable ce[2][12][8] 0.20/0.27 c remove useless variable ce[2][12][9] 0.20/0.27 c remove useless variable ce[2][12][10] 0.20/0.27 c remove useless variable ce[2][12][11] 0.20/0.27 c remove useless variable ce[2][12][12] 0.20/0.27 c remove useless variable ce[3][0][0] 0.20/0.27 c remove useless variable ce[3][1][0] 0.20/0.27 c remove useless variable ce[3][1][1] 0.20/0.27 c remove useless variable ce[3][2][0] 0.20/0.27 c remove useless variable ce[3][2][1] 0.20/0.27 c remove useless variable ce[3][2][2] 0.20/0.27 c remove useless variable ce[3][3][0] 0.20/0.27 c remove useless variable ce[3][3][1] 0.20/0.27 c remove useless variable ce[3][3][2] 0.20/0.27 c remove useless variable ce[3][3][3] 0.20/0.27 c remove useless variable ce[3][4][0] 0.20/0.27 c remove useless variable ce[3][4][1] 0.20/0.27 c remove useless variable ce[3][4][2] 0.20/0.27 c remove useless variable ce[3][4][3] 0.20/0.27 c remove useless variable ce[3][4][4] 0.20/0.27 c remove useless variable ce[3][5][0] 0.20/0.27 c remove useless variable ce[3][5][1] 0.20/0.27 c remove useless variable ce[3][5][2] 0.20/0.27 c remove useless variable ce[3][5][3] 0.20/0.27 c remove useless variable ce[3][5][4] 0.20/0.27 c remove useless variable ce[3][5][5] 0.20/0.27 c remove useless variable ce[3][6][0] 0.20/0.27 c remove useless variable ce[3][6][1] 0.20/0.27 c remove useless variable ce[3][6][2] 0.20/0.27 c remove useless variable ce[3][6][3] 0.20/0.27 c remove useless variable ce[3][6][4] 0.20/0.27 c remove useless variable ce[3][6][5] 0.20/0.27 c remove useless variable ce[3][6][6] 0.20/0.27 c remove useless variable ce[3][7][0] 0.20/0.27 c remove useless variable ce[3][7][1] 0.20/0.27 c remove useless variable ce[3][7][2] 0.20/0.27 c remove useless variable ce[3][7][3] 0.20/0.27 c remove useless variable ce[3][7][4] 0.20/0.27 c remove useless variable ce[3][7][5] 0.20/0.27 c remove useless variable ce[3][7][6] 0.20/0.27 c remove useless variable ce[3][7][7] 0.20/0.27 c remove useless variable ce[3][8][0] 0.20/0.27 c remove useless variable ce[3][8][1] 0.20/0.27 c remove useless variable ce[3][8][2] 0.20/0.27 c remove useless variable ce[3][8][3] 0.20/0.27 c remove useless variable ce[3][8][4] 0.20/0.27 c remove useless variable ce[3][8][5] 0.20/0.27 c remove useless variable ce[3][8][6] 0.20/0.27 c remove useless variable ce[3][8][7] 0.20/0.27 c remove useless variable ce[3][8][8] 0.20/0.27 c remove useless variable ce[3][9][0] 0.20/0.27 c remove useless variable ce[3][9][1] 0.20/0.27 c remove useless variable ce[3][9][2] 0.20/0.27 c remove useless variable ce[3][9][3] 0.20/0.27 c remove useless variable ce[3][9][4] 0.20/0.27 c remove useless variable ce[3][9][5] 0.20/0.27 c remove useless variable ce[3][9][6] 0.20/0.27 c remove useless variable ce[3][9][7] 0.20/0.27 c remove useless variable ce[3][9][8] 0.20/0.27 c remove useless variable ce[3][9][9] 0.20/0.27 c remove useless variable ce[3][10][0] 0.20/0.27 c remove useless variable ce[3][10][1] 0.20/0.27 c remove useless variable ce[3][10][2] 0.20/0.27 c remove useless variable ce[3][10][3] 0.20/0.27 c remove useless variable ce[3][10][4] 0.20/0.27 c remove useless variable ce[3][10][5] 0.20/0.27 c remove useless variable ce[3][10][6] 0.20/0.27 c remove useless variable ce[3][10][7] 0.20/0.27 c remove useless variable ce[3][10][8] 0.20/0.27 c remove useless variable ce[3][10][9] 0.20/0.27 c remove useless variable ce[3][10][10] 0.20/0.27 c remove useless variable ce[3][11][0] 0.20/0.27 c remove useless variable ce[3][11][1] 0.20/0.27 c remove useless variable ce[3][11][2] 0.20/0.27 c remove useless variable ce[3][11][3] 0.20/0.27 c remove useless variable ce[3][11][4] 0.20/0.27 c remove useless variable ce[3][11][5] 0.20/0.27 c remove useless variable ce[3][11][6] 0.20/0.27 c remove useless variable ce[3][11][7] 0.20/0.27 c remove useless variable ce[3][11][8] 0.20/0.27 c remove useless variable ce[3][11][9] 0.20/0.27 c remove useless variable ce[3][11][10] 0.20/0.27 c remove useless variable ce[3][11][11] 0.20/0.27 c remove useless variable ce[3][12][0] 0.20/0.27 c remove useless variable ce[3][12][1] 0.20/0.27 c remove useless variable ce[3][12][2] 0.20/0.27 c remove useless variable ce[3][12][3] 0.20/0.27 c remove useless variable ce[3][12][4] 0.20/0.27 c remove useless variable ce[3][12][5] 0.20/0.27 c remove useless variable ce[3][12][6] 0.20/0.27 c remove useless variable ce[3][12][7] 0.20/0.27 c remove useless variable ce[3][12][8] 0.20/0.27 c remove useless variable ce[3][12][9] 0.20/0.27 c remove useless variable ce[3][12][10] 0.20/0.27 c remove useless variable ce[3][12][11] 0.20/0.27 c remove useless variable ce[3][12][12] 0.20/0.27 c remove useless variable ce[4][0][0] 0.20/0.27 c remove useless variable ce[4][1][0] 0.20/0.27 c remove useless variable ce[4][1][1] 0.20/0.27 c remove useless variable ce[4][2][0] 0.20/0.27 c remove useless variable ce[4][2][1] 0.20/0.27 c remove useless variable ce[4][2][2] 0.20/0.27 c remove useless variable ce[4][3][0] 0.20/0.27 c remove useless variable ce[4][3][1] 0.20/0.27 c remove useless variable ce[4][3][2] 0.20/0.27 c remove useless variable ce[4][3][3] 0.20/0.27 c remove useless variable ce[4][4][0] 0.20/0.27 c remove useless variable ce[4][4][1] 0.20/0.27 c remove useless variable ce[4][4][2] 0.20/0.27 c remove useless variable ce[4][4][3] 0.20/0.27 c remove useless variable ce[4][4][4] 0.20/0.27 c remove useless variable ce[4][5][0] 0.20/0.27 c remove useless variable ce[4][5][1] 0.20/0.27 c remove useless variable ce[4][5][2] 0.20/0.27 c remove useless variable ce[4][5][3] 0.20/0.27 c remove useless variable ce[4][5][4] 0.20/0.27 c remove useless variable ce[4][5][5] 0.20/0.27 c remove useless variable ce[4][6][0] 0.20/0.27 c remove useless variable ce[4][6][1] 0.20/0.27 c remove useless variable ce[4][6][2] 0.20/0.27 c remove useless variable ce[4][6][3] 0.20/0.27 c remove useless variable ce[4][6][4] 0.20/0.27 c remove useless variable ce[4][6][5] 0.20/0.27 c remove useless variable ce[4][6][6] 0.20/0.27 c remove useless variable ce[4][7][0] 0.20/0.27 c remove useless variable ce[4][7][1] 0.20/0.27 c remove useless variable ce[4][7][2] 0.20/0.27 c remove useless variable ce[4][7][3] 0.20/0.27 c remove useless variable ce[4][7][4] 0.20/0.27 c remove useless variable ce[4][7][5] 0.20/0.27 c remove useless variable ce[4][7][6] 0.20/0.27 c remove useless variable ce[4][7][7] 0.20/0.27 c remove useless variable ce[4][8][0] 0.20/0.27 c remove useless variable ce[4][8][1] 0.20/0.27 c remove useless variable ce[4][8][2] 0.20/0.27 c remove useless variable ce[4][8][3] 0.20/0.27 c remove useless variable ce[4][8][4] 0.20/0.27 c remove useless variable ce[4][8][5] 0.20/0.27 c remove useless variable ce[4][8][6] 0.20/0.27 c remove useless variable ce[4][8][7] 0.20/0.27 c remove useless variable ce[4][8][8] 0.20/0.27 c remove useless variable ce[4][9][0] 0.20/0.27 c remove useless variable ce[4][9][1] 0.20/0.27 c remove useless variable ce[4][9][2] 0.20/0.27 c remove useless variable ce[4][9][3] 0.20/0.27 c remove useless variable ce[4][9][4] 0.20/0.27 c remove useless variable ce[4][9][5] 0.20/0.27 c remove useless variable ce[4][9][6] 0.20/0.27 c remove useless variable ce[4][9][7] 0.20/0.27 c remove useless variable ce[4][9][8] 0.20/0.27 c remove useless variable ce[4][9][9] 0.20/0.27 c remove useless variable ce[4][10][0] 0.20/0.27 c remove useless variable ce[4][10][1] 0.20/0.27 c remove useless variable ce[4][10][2] 0.20/0.27 c remove useless variable ce[4][10][3] 0.20/0.27 c remove useless variable ce[4][10][4] 0.20/0.27 c remove useless variable ce[4][10][5] 0.20/0.27 c remove useless variable ce[4][10][6] 0.20/0.27 c remove useless variable ce[4][10][7] 0.20/0.27 c remove useless variable ce[4][10][8] 0.20/0.27 c remove useless variable ce[4][10][9] 0.20/0.27 c remove useless variable ce[4][10][10] 0.20/0.27 c remove useless variable ce[4][11][0] 0.20/0.27 c remove useless variable ce[4][11][1] 0.20/0.27 c remove useless variable ce[4][11][2] 0.20/0.27 c remove useless variable ce[4][11][3] 0.20/0.27 c remove useless variable ce[4][11][4] 0.20/0.27 c remove useless variable ce[4][11][5] 0.20/0.27 c remove useless variable ce[4][11][6] 0.20/0.27 c remove useless variable ce[4][11][7] 0.20/0.27 c remove useless variable ce[4][11][8] 0.20/0.27 c remove useless variable ce[4][11][9] 0.20/0.27 c remove useless variable ce[4][11][10] 0.20/0.27 c remove useless variable ce[4][11][11] 0.20/0.27 c remove useless variable ce[4][12][0] 0.20/0.27 c remove useless variable ce[4][12][1] 0.20/0.27 c remove useless variable ce[4][12][2] 0.20/0.27 c remove useless variable ce[4][12][3] 0.20/0.27 c remove useless variable ce[4][12][4] 0.20/0.27 c remove useless variable ce[4][12][5] 0.20/0.27 c remove useless variable ce[4][12][6] 0.20/0.27 c remove useless variable ce[4][12][7] 0.20/0.27 c remove useless variable ce[4][12][8] 0.20/0.27 c remove useless variable ce[4][12][9] 0.20/0.27 c remove useless variable ce[4][12][10] 0.20/0.27 c remove useless variable ce[4][12][11] 0.20/0.27 c remove useless variable ce[4][12][12] 0.20/0.27 c remove useless variable ce[5][0][0] 0.20/0.27 c remove useless variable ce[5][1][0] 0.20/0.27 c remove useless variable ce[5][1][1] 0.20/0.27 c remove useless variable ce[5][2][0] 0.20/0.27 c remove useless variable ce[5][2][1] 0.20/0.27 c remove useless variable ce[5][2][2] 0.20/0.27 c remove useless variable ce[5][3][0] 0.20/0.27 c remove useless variable ce[5][3][1] 0.20/0.27 c remove useless variable ce[5][3][2] 0.20/0.27 c remove useless variable ce[5][3][3] 0.20/0.27 c remove useless variable ce[5][4][0] 0.20/0.27 c remove useless variable ce[5][4][1] 0.20/0.27 c remove useless variable ce[5][4][2] 0.20/0.27 c remove useless variable ce[5][4][3] 0.20/0.27 c remove useless variable ce[5][4][4] 0.20/0.27 c remove useless variable ce[5][5][0] 0.20/0.27 c remove useless variable ce[5][5][1] 0.20/0.27 c remove useless variable ce[5][5][2] 0.20/0.27 c remove useless variable ce[5][5][3] 0.20/0.27 c remove useless variable ce[5][5][4] 0.20/0.27 c remove useless variable ce[5][5][5] 0.20/0.27 c remove useless variable ce[5][6][0] 0.20/0.27 c remove useless variable ce[5][6][1] 0.20/0.27 c remove useless variable ce[5][6][2] 0.20/0.27 c remove useless variable ce[5][6][3] 0.20/0.27 c remove useless variable ce[5][6][4] 0.20/0.27 c remove useless variable ce[5][6][5] 0.20/0.27 c remove useless variable ce[5][6][6] 0.20/0.27 c remove useless variable ce[5][7][0] 0.20/0.27 c remove useless variable ce[5][7][1] 0.20/0.27 c remove useless variable ce[5][7][2] 0.20/0.27 c remove useless variable ce[5][7][3] 0.20/0.27 c remove useless variable ce[5][7][4] 0.20/0.27 c remove useless variable ce[5][7][5] 0.20/0.27 c remove useless variable ce[5][7][6] 0.20/0.27 c remove useless variable ce[5][7][7] 0.20/0.27 c remove useless variable ce[5][8][0] 0.20/0.27 c remove useless variable ce[5][8][1] 0.20/0.27 c remove useless variable ce[5][8][2] 0.20/0.27 c remove useless variable ce[5][8][3] 0.20/0.27 c remove useless variable ce[5][8][4] 0.20/0.27 c remove useless variable ce[5][8][5] 0.20/0.27 c remove useless variable ce[5][8][6] 0.20/0.27 c remove useless variable ce[5][8][7] 0.20/0.27 c remove useless variable ce[5][8][8] 0.20/0.27 c remove useless variable ce[5][9][0] 0.20/0.27 c remove useless variable ce[5][9][1] 0.20/0.27 c remove useless variable ce[5][9][2] 0.20/0.27 c remove useless variable ce[5][9][3] 0.20/0.27 c remove useless variable ce[5][9][4] 0.20/0.27 c remove useless variable ce[5][9][5] 0.20/0.27 c remove useless variable ce[5][9][6] 0.20/0.27 c remove useless variable ce[5][9][7] 0.20/0.27 c remove useless variable ce[5][9][8] 0.20/0.27 c remove useless variable ce[5][9][9] 0.20/0.27 c remove useless variable ce[5][10][0] 0.20/0.27 c remove useless variable ce[5][10][1] 0.20/0.27 c remove useless variable ce[5][10][2] 0.20/0.27 c remove useless variable ce[5][10][3] 0.20/0.27 c remove useless variable ce[5][10][4] 0.20/0.27 c remove useless variable ce[5][10][5] 0.20/0.27 c remove useless variable ce[5][10][6] 0.20/0.27 c remove useless variable ce[5][10][7] 0.20/0.27 c remove useless variable ce[5][10][8] 0.20/0.27 c remove useless variable ce[5][10][9] 0.20/0.27 c remove useless variable ce[5][10][10] 0.20/0.27 c remove useless variable ce[5][11][0] 0.20/0.27 c remove useless variable ce[5][11][1] 0.20/0.27 c remove useless variable ce[5][11][2] 0.20/0.27 c remove useless variable ce[5][11][3] 0.20/0.27 c remove useless variable ce[5][11][4] 0.20/0.27 c remove useless variable ce[5][11][5] 0.20/0.27 c remove useless variable ce[5][11][6] 0.20/0.27 c remove useless variable ce[5][11][7] 0.20/0.27 c remove useless variable ce[5][11][8] 0.20/0.27 c remove useless variable ce[5][11][9] 0.20/0.27 c remove useless variable ce[5][11][10] 0.20/0.27 c remove useless variable ce[5][11][11] 0.20/0.27 c remove useless variable ce[5][12][0] 0.20/0.27 c remove useless variable ce[5][12][1] 0.20/0.27 c remove useless variable ce[5][12][2] 0.20/0.27 c remove useless variable ce[5][12][3] 0.20/0.27 c remove useless variable ce[5][12][4] 0.20/0.27 c remove useless variable ce[5][12][5] 0.20/0.27 c remove useless variable ce[5][12][6] 0.20/0.27 c remove useless variable ce[5][12][7] 0.20/0.27 c remove useless variable ce[5][12][8] 0.20/0.27 c remove useless variable ce[5][12][9] 0.20/0.27 c remove useless variable ce[5][12][10] 0.20/0.27 c remove useless variable ce[5][12][11] 0.20/0.27 c remove useless variable ce[5][12][12] 0.20/0.27 c remove useless variable ce[6][0][0] 0.20/0.27 c remove useless variable ce[6][1][0] 0.20/0.27 c remove useless variable ce[6][1][1] 0.20/0.27 c remove useless variable ce[6][2][0] 0.20/0.27 c remove useless variable ce[6][2][1] 0.20/0.27 c remove useless variable ce[6][2][2] 0.20/0.27 c remove useless variable ce[6][3][0] 0.20/0.27 c remove useless variable ce[6][3][1] 0.20/0.27 c remove useless variable ce[6][3][2] 0.20/0.27 c remove useless variable ce[6][3][3] 0.20/0.27 c remove useless variable ce[6][4][0] 0.20/0.27 c remove useless variable ce[6][4][1] 0.20/0.27 c remove useless variable ce[6][4][2] 0.20/0.27 c remove useless variable ce[6][4][3] 0.20/0.27 c remove useless variable ce[6][4][4] 0.20/0.27 c remove useless variable ce[6][5][0] 0.20/0.27 c remove useless variable ce[6][5][1] 0.20/0.27 c remove useless variable ce[6][5][2] 0.20/0.27 c remove useless variable ce[6][5][3] 0.20/0.27 c remove useless variable ce[6][5][4] 0.20/0.27 c remove useless variable ce[6][5][5] 0.20/0.27 c remove useless variable ce[6][6][0] 0.20/0.27 c remove useless variable ce[6][6][1] 0.20/0.27 c remove useless variable ce[6][6][2] 0.20/0.27 c remove useless variable ce[6][6][3] 0.20/0.27 c remove useless variable ce[6][6][4] 0.20/0.27 c remove useless variable ce[6][6][5] 0.20/0.27 c remove useless variable ce[6][6][6] 0.20/0.27 c remove useless variable ce[6][7][0] 0.20/0.27 c remove useless variable ce[6][7][1] 0.20/0.27 c remove useless variable ce[6][7][2] 0.20/0.27 c remove useless variable ce[6][7][3] 0.20/0.27 c remove useless variable ce[6][7][4] 0.20/0.27 c remove useless variable ce[6][7][5] 0.20/0.27 c remove useless variable ce[6][7][6] 0.20/0.27 c remove useless variable ce[6][7][7] 0.20/0.27 c remove useless variable ce[6][8][0] 0.20/0.27 c remove useless variable ce[6][8][1] 0.20/0.27 c remove useless variable ce[6][8][2] 0.20/0.27 c remove useless variable ce[6][8][3] 0.20/0.27 c remove useless variable ce[6][8][4] 0.20/0.27 c remove useless variable ce[6][8][5] 0.20/0.27 c remove useless variable ce[6][8][6] 0.20/0.27 c remove useless variable ce[6][8][7] 0.20/0.27 c remove useless variable ce[6][8][8] 0.20/0.27 c remove useless variable ce[6][9][0] 0.20/0.27 c remove useless variable ce[6][9][1] 0.20/0.27 c remove useless variable ce[6][9][2] 0.20/0.27 c remove useless variable ce[6][9][3] 0.20/0.27 c remove useless variable ce[6][9][4] 0.20/0.27 c remove useless variable ce[6][9][5] 0.20/0.27 c remove useless variable ce[6][9][6] 0.20/0.27 c remove useless variable ce[6][9][7] 0.20/0.27 c remove useless variable ce[6][9][8] 0.20/0.27 c remove useless variable ce[6][9][9] 0.20/0.27 c remove useless variable ce[6][10][0] 0.20/0.27 c remove useless variable ce[6][10][1] 0.20/0.27 c remove useless variable ce[6][10][2] 0.20/0.27 c remove useless variable ce[6][10][3] 0.20/0.27 c remove useless variable ce[6][10][4] 0.20/0.27 c remove useless variable ce[6][10][5] 0.20/0.27 c remove useless variable ce[6][10][6] 0.20/0.27 c remove useless variable ce[6][10][7] 0.20/0.27 c remove useless variable ce[6][10][8] 0.20/0.27 c remove useless variable ce[6][10][9] 0.20/0.27 c remove useless variable ce[6][10][10] 0.20/0.27 c remove useless variable ce[6][11][0] 0.20/0.27 c remove useless variable ce[6][11][1] 0.20/0.27 c remove useless variable ce[6][11][2] 0.20/0.27 c remove useless variable ce[6][11][3] 0.20/0.27 c remove useless variable ce[6][11][4] 0.20/0.27 c remove useless variable ce[6][11][5] 0.20/0.27 c remove useless variable ce[6][11][6] 0.20/0.27 c remove useless variable ce[6][11][7] 0.20/0.27 c remove useless variable ce[6][11][8] 0.20/0.27 c remove useless variable ce[6][11][9] 0.20/0.27 c remove useless variable ce[6][11][10] 0.20/0.27 c remove useless variable ce[6][11][11] 0.20/0.27 c remove useless variable ce[6][12][0] 0.20/0.27 c remove useless variable ce[6][12][1] 0.20/0.27 c remove useless variable ce[6][12][2] 0.20/0.27 c remove useless variable ce[6][12][3] 0.20/0.27 c remove useless variable ce[6][12][4] 0.20/0.27 c remove useless variable ce[6][12][5] 0.20/0.27 c remove useless variable ce[6][12][6] 0.20/0.27 c remove useless variable ce[6][12][7] 0.20/0.27 c remove useless variable ce[6][12][8] 0.20/0.27 c remove useless variable ce[6][12][9] 0.20/0.27 c remove useless variable ce[6][12][10] 0.20/0.27 c remove useless variable ce[6][12][11] 0.20/0.27 c remove useless variable ce[6][12][12] 0.20/0.27 c remove useless variable ce[7][0][0] 0.20/0.27 c remove useless variable ce[7][1][0] 0.20/0.27 c remove useless variable ce[7][1][1] 0.20/0.27 c remove useless variable ce[7][2][0] 0.20/0.27 c remove useless variable ce[7][2][1] 0.20/0.27 c remove useless variable ce[7][2][2] 0.20/0.27 c remove useless variable ce[7][3][0] 0.20/0.27 c remove useless variable ce[7][3][1] 0.20/0.27 c remove useless variable ce[7][3][2] 0.20/0.27 c remove useless variable ce[7][3][3] 0.20/0.27 c remove useless variable ce[7][4][0] 0.20/0.27 c remove useless variable ce[7][4][1] 0.20/0.27 c remove useless variable ce[7][4][2] 0.20/0.27 c remove useless variable ce[7][4][3] 0.20/0.27 c remove useless variable ce[7][4][4] 0.20/0.27 c remove useless variable ce[7][5][0] 0.20/0.27 c remove useless variable ce[7][5][1] 0.20/0.27 c remove useless variable ce[7][5][2] 0.20/0.27 c remove useless variable ce[7][5][3] 0.20/0.27 c remove useless variable ce[7][5][4] 0.20/0.27 c remove useless variable ce[7][5][5] 0.20/0.27 c remove useless variable ce[7][6][0] 0.20/0.27 c remove useless variable ce[7][6][1] 0.20/0.27 c remove useless variable ce[7][6][2] 0.20/0.27 c remove useless variable ce[7][6][3] 0.20/0.27 c remove useless variable ce[7][6][4] 0.20/0.27 c remove useless variable ce[7][6][5] 0.20/0.27 c remove useless variable ce[7][6][6] 0.20/0.27 c remove useless variable ce[7][7][0] 0.20/0.27 c remove useless variable ce[7][7][1] 0.20/0.27 c remove useless variable ce[7][7][2] 0.20/0.27 c remove useless variable ce[7][7][3] 0.20/0.27 c remove useless variable ce[7][7][4] 0.20/0.27 c remove useless variable ce[7][7][5] 0.20/0.27 c remove useless variable ce[7][7][6] 0.20/0.27 c remove useless variable ce[7][7][7] 0.20/0.27 c remove useless variable ce[7][8][0] 0.20/0.27 c remove useless variable ce[7][8][1] 0.20/0.27 c remove useless variable ce[7][8][2] 0.20/0.27 c remove useless variable ce[7][8][3] 0.20/0.27 c remove useless variable ce[7][8][4] 0.20/0.27 c remove useless variable ce[7][8][5] 0.20/0.27 c remove useless variable ce[7][8][6] 0.20/0.27 c remove useless variable ce[7][8][7] 0.20/0.27 c remove useless variable ce[7][8][8] 0.20/0.27 c remove useless variable ce[7][9][0] 0.20/0.27 c remove useless variable ce[7][9][1] 0.20/0.27 c remove useless variable ce[7][9][2] 0.20/0.27 c remove useless variable ce[7][9][3] 0.20/0.27 c remove useless variable ce[7][9][4] 0.20/0.27 c remove useless variable ce[7][9][5] 0.20/0.27 c remove useless variable ce[7][9][6] 0.20/0.27 c remove useless variable ce[7][9][7] 0.20/0.27 c remove useless variable ce[7][9][8] 0.20/0.27 c remove useless variable ce[7][9][9] 0.20/0.27 c remove useless variable ce[7][10][0] 0.20/0.27 c remove useless variable ce[7][10][1] 0.20/0.27 c remove useless variable ce[7][10][2] 0.20/0.27 c remove useless variable ce[7][10][3] 0.20/0.27 c remove useless variable ce[7][10][4] 0.20/0.27 c remove useless variable ce[7][10][5] 0.20/0.27 c remove useless variable ce[7][10][6] 0.20/0.27 c remove useless variable ce[7][10][7] 0.20/0.27 c remove useless variable ce[7][10][8] 0.20/0.27 c remove useless variable ce[7][10][9] 0.20/0.27 c remove useless variable ce[7][10][10] 0.20/0.27 c remove useless variable ce[7][11][0] 0.20/0.27 c remove useless variable ce[7][11][1] 0.20/0.27 c remove useless variable ce[7][11][2] 0.20/0.27 c remove useless variable ce[7][11][3] 0.20/0.27 c remove useless variable ce[7][11][4] 0.20/0.27 c remove useless variable ce[7][11][5] 0.20/0.27 c remove useless variable ce[7][11][6] 0.20/0.27 c remove useless variable ce[7][11][7] 0.20/0.27 c remove useless variable ce[7][11][8] 0.20/0.27 c remove useless variable ce[7][11][9] 0.20/0.27 c remove useless variable ce[7][11][10] 0.20/0.27 c remove useless variable ce[7][11][11] 0.20/0.27 c remove useless variable ce[7][12][0] 0.20/0.27 c remove useless variable ce[7][12][1] 0.20/0.27 c remove useless variable ce[7][12][2] 0.20/0.27 c remove useless variable ce[7][12][3] 0.20/0.27 c remove useless variable ce[7][12][4] 0.20/0.27 c remove useless variable ce[7][12][5] 0.20/0.27 c remove useless variable ce[7][12][6] 0.20/0.27 c remove useless variable ce[7][12][7] 0.20/0.27 c remove useless variable ce[7][12][8] 0.20/0.27 c remove useless variable ce[7][12][9] 0.20/0.27 c remove useless variable ce[7][12][10] 0.20/0.27 c remove useless variable ce[7][12][11] 0.20/0.27 c remove useless variable ce[7][12][12] 1.39/1.49 c 101 816 258931 266739 0 0 716 716 708 3.29/3.34 c 211 1474 503059 1530447 0 0 549 549 544 3.39/3.42 c 332 1600 507776 1533772 0 0 6 6 5 5.28/5.31 c 465 2243 741764 2719751 0 0 8 511 492 6.68/6.71 c 611 2809 946631 3191279 0 0 10 421 379 8.00/8.07 c 771 3415 1151816 3635216 0 0 8 447 307 9.49/9.59 c 947 4050 1349668 4276325 0 0 13 460 315 10.89/10.95 c 1140 4715 1544596 4763718 0 0 23 473 333 12.59/12.65 c 1352 5412 1739013 5693787 0 0 29 486 194 14.79/14.88 c 1585 5681 1752993 7237501 0 0 19 37 35 16.09/16.13 c 1841 6435 1941534 7670281 0 0 52 499 384 16.28/16.36 c 2122 6764 1951868 7738893 0 0 40 49 48 17.78/17.82 c 2431 7624 2146099 8498637 0 0 21 552 285 19.28/19.30 c 2770 8517 2331966 9306561 0 0 16 554 438 20.78/20.86 c 3142 9445 2519760 10155122 0 0 14 556 331 22.28/22.37 c 3551 10412 2701623 10989149 0 0 51 558 444 23.89/23.94 c 4000 11421 2873152 11942854 0 0 50 560 428 27.79/27.89 c 4493 12477 3038755 15519487 0 0 51 563 353 29.99/30.05 c 5035 13282 3092803 17170223 0 0 59 264 188 34.38/34.45 c 5631 14031 3123056 20046455 0 0 41 154 141 37.99/38.01 c 6286 14962 3183068 22935360 0 0 32 277 170 52.78/52.84 c 7006 15714 3257369 30050287 0 0 10 32 31 58.17/58.26 c 7798 16808 3322519 34171036 0 0 14 303 199 58.67/58.76 c 8669 17745 3346017 34222538 0 0 53 53 52 75.17/75.28 c 9627 18779 3418402 44637795 0 0 18 76 74 85.47/85.51 c 10680 19932 3455145 53664580 0 0 21 100 99 85.98/86.09 c 11838 21109 3481067 53686022 0 0 19 19 18 160.06/160.11 c 13111 22429 3665123 86579191 0 0 13 47 46 171.65/171.74 c 14511 23968 3731051 93017986 0 0 16 138 135 184.24/184.40 c 16051 25693 3771241 101999433 0 0 35 184 168 210.74/210.88 c 17745 27431 3883845 111339971 0 0 19 43 42 225.24/225.35 c 19608 29336 3966508 117668775 0 0 20 41 40 251.74/251.86 c 21657 31485 4070531 138204411 0 0 27 96 82 267.24/267.38 c 23910 34461 4295879 159871269 0 0 76 716 711 289.94/290.07 c 26388 37060 4368256 175225599 0 0 20 77 69 305.53/305.66 c 29113 39974 4438225 188162642 0 0 22 164 152 364.13/364.25 c 32110 43691 4854229 237313668 0 0 11 716 246 389.52/389.65 c 35406 47070 4937055 251498568 0 0 35 53 52 414.93/415.09 c 39031 51424 5209980 286151369 0 0 14 716 713 426.32/426.48 c 43018 55487 5287958 295892048 0 0 47 71 70 461.21/461.33 c 47403 60019 5428137 324393263 0 0 25 141 140 467.51/467.61 c 52226 65038 5497687 328627420 0 0 42 190 188 484.92/485.05 c 57531 70678 5581351 343107364 0 0 43 325 313 509.01/509.18 c 63366 76911 5677738 363601481 0 0 65 332 260 551.49/551.66 c 69784 83403 5884683 407420447 0 0 24 48 47 572.90/573.04 c 76843 90514 6055980 422720202 0 0 24 43 42 740.15/740.37 c 84607 98335 6628695 513619937 0 0 36 47 46 788.85/789.02 c 93147 107209 6793493 552708756 0 0 31 143 140 842.94/843.12 c 102541 117011 6931084 598089303 0 0 121 271 258 851.84/852.02 c 112874 128101 7230433 609518407 0 0 14 716 714 911.53/911.72 c 124240 144249 7592531 636801194 0 0 26 63 59 927.42/927.66 c 136742 156802 7954858 655536238 0 0 28 34 33 1031.12/1031.34 c 150494 170625 8266391 718978571 0 0 36 46 40 1106.82/1107.06 c 165621 186058 8482714 787201889 0 0 56 201 200 1271.29/1271.51 c 182260 202982 9037053 917900826 0 0 41 53 46 1317.38/1317.67 c 200562 221546 9830224 958073870 0 0 31 32 31 1518.46/1518.70 c 220694 242129 10410206 1144445356 0 0 80 101 100 1604.05/1604.35 c 242839 265086 11081283 1270716928 0 0 23 716 715 1699.34/1699.65 c 267198 289908 11504894 1347772054 0 0 97 237 224 1781.33/1781.68 c 293992 316755 12564797 1443988119 0 0 16 16 15 2387.31/2387.76 c 323465 349758 14940420 1716427833 0 0 52 60 52 2519.59/2520.00 2519.59/2520.00 c *** INTERRUPTED *** 2519.59/2520.00 c restarts : 61 2519.59/2520.00 c conflicts : 345413 (137 /sec) 2519.59/2520.00 c decisions : 371808 (148 /sec) 2519.59/2520.00 c propagations : 1795115432 (712477 /sec) 2519.59/2520.00 c root propagations : 0 2519.59/2520.00 c filter calls : 15823009 (6280 /sec) 2519.59/2520.00 c useless filter calls : 12345317 (78 %) 2519.59/2520.00 c Memory used : 88.83 MB 2519.59/2520.00 c CPU time : 2519.54 s 2519.59/2520.00 c real time : 2520 s 2519.59/2520.00 2519.59/2520.00 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 (14787 MiB free)
memory of node 1: 16384 MiB (14983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396907-1568575305/watcher-4396907-1568575305 -o /tmp/evaluation-result-4396907-1568575305/solver-4396907-1568575305 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13813 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396907-1568575305.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14196, runsolver pid=14193
Current StackSize limit: 8192 KiB
[startup+0.100266 s]*
/proc/loadavg: 2.00 1.99 1.87 3/195 14214
/proc/meminfo: memFree=30467644/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=50244 memory=26512 CPUtime=0.1 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 6814 0 0 0 9 1 0 0 20 0 1 0 433777864 51449856 6628 33554432000 4194304 6211092 140727346101984 140727346097080 140115807894501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 12561 6628 823 493 0 5866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50244 KiB
Current children cumulated memory: 26512 KiB
[startup+0.209785 s]*
/proc/loadavg: 2.00 1.99 1.87 3/196 14218
/proc/meminfo: memFree=30440348/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=68640 memory=44992 CPUtime=0.2 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 11410 0 0 0 19 1 0 0 20 0 1 0 433777864 70287360 11248 33554432000 4194304 6211092 140727346101984 140727346097080 140115807894501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 17160 11248 823 493 0 10465 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 68640 KiB
Current children cumulated memory: 44992 KiB
[startup+0.309719 s]*
/proc/loadavg: 2.00 1.99 1.87 3/196 14218
/proc/meminfo: memFree=30419388/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=75948 memory=52384 CPUtime=0.3 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 13284 0 0 0 29 1 0 0 20 0 1 0 433777864 77770752 13096 33554432000 4194304 6211092 140727346101984 140727346097080 5081952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 18987 13096 859 493 0 12292 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 52384 KiB
[startup+0.700292 s]
/proc/loadavg: 2.00 1.99 1.87 3/196 14218
/proc/meminfo: memFree=30408228/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=76764 memory=53036 CPUtime=0.68 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 13486 0 0 0 67 1 0 0 20 0 1 0 433777864 78606336 13259 33554432000 4194304 6211092 140727346101984 140727346097080 5397226 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 19191 13259 869 493 0 12496 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 76764 KiB
Current children cumulated memory: 53036 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 14229
/proc/meminfo: memFree=30399288/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=79868 memory=56196 CPUtime=1.49 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 14245 0 0 0 147 2 0 0 20 0 1 0 433777864 81784832 14049 33554432000 4194304 6211092 140727346101984 140727346099432 5396404 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 19967 14049 870 493 0 13272 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 56196 KiB
[startup+3.1095 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 14229
/proc/meminfo: memFree=30376576/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=79868 memory=56328 CPUtime=3.1 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 18469 0 0 0 308 2 0 0 20 0 1 0 433777864 81784832 14082 33554432000 4194304 6211092 140727346101984 140727346099944 5440666 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 19967 14082 870 493 0 13272 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 56328 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 14229
/proc/meminfo: memFree=30346836/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=79868 memory=56328 CPUtime=6.28 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 24142 0 0 0 626 2 0 0 20 0 1 0 433777864 81784832 14082 33554432000 4194304 6211092 140727346101984 140727346099944 5078762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 19967 14082 870 493 0 13272 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 56328 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 14229
/proc/meminfo: memFree=30287316/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=80000 memory=56380 CPUtime=12.69 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 29374 0 0 0 1266 3 0 0 20 0 1 0 433777864 81920000 14095 33554432000 4194304 6211092 140727346101984 140727346099944 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 20000 14095 870 493 0 13305 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 56380 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.87 3/200 14231
/proc/meminfo: memFree=30260132/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=80528 memory=56976 CPUtime=25.49 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 40758 0 0 0 2545 4 0 0 20 0 1 0 433777864 82460672 14244 33554432000 4194304 6211092 140727346101984 140727346099944 5078762 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 20132 14244 870 493 0 13437 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 80528 KiB
Current children cumulated memory: 56976 KiB
[startup+51.1093 s]
/proc/loadavg: 2.00 1.99 1.88 3/200 14232
/proc/meminfo: memFree=30258360/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=81716 memory=58200 CPUtime=51.08 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 41935 0 0 0 5104 4 0 0 20 0 1 0 433777864 83677184 14550 33554432000 4194304 6211092 140727346101984 140727346099640 140115817839448 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 20429 14550 870 493 0 13734 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 81716 KiB
Current children cumulated memory: 58200 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/201 14297
/proc/meminfo: memFree=30269888/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=83960 memory=60376 CPUtime=102.26 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 43525 0 0 0 10222 4 0 0 20 0 1 0 433777864 85975040 15094 33554432000 4194304 6211092 140727346101984 140727346099640 5446226 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 20990 15094 870 493 0 14295 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 83960 KiB
Current children cumulated memory: 60376 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/201 14303
/proc/meminfo: memFree=30268032/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=85280 memory=61692 CPUtime=162.25 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 44799 0 0 0 16221 4 0 0 20 0 1 0 433777864 87326720 15423 33554432000 4194304 6211092 140727346101984 140727346099944 5441131 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 21320 15423 870 493 0 14625 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 85280 KiB
Current children cumulated memory: 61692 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/201 14307
/proc/meminfo: memFree=30267680/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=85940 memory=62324 CPUtime=222.24 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 46123 0 0 0 22220 4 0 0 20 0 1 0 433777864 88002560 15581 33554432000 4194304 6211092 140727346101984 140727346099944 5439825 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 21485 15581 870 493 0 14790 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 85940 KiB
Current children cumulated memory: 62324 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/200 14312
/proc/meminfo: memFree=30267108/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=86600 memory=62900 CPUtime=282.24 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 48201 0 0 0 28219 5 0 0 20 0 1 0 433777864 88678400 15725 33554432000 4194304 6211092 140727346101984 140727346099640 5440580 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 21650 15725 870 493 0 14955 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 86600 KiB
Current children cumulated memory: 62900 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/200 14318
/proc/meminfo: memFree=30266832/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=87260 memory=63496 CPUtime=342.23 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 48923 0 0 0 34218 5 0 0 20 0 1 0 433777864 89354240 15874 33554432000 4194304 6211092 140727346101984 140727346099640 5069548 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 21815 15874 870 493 0 15120 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 87260 KiB
Current children cumulated memory: 63496 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/199 14322
/proc/meminfo: memFree=30266884/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=87392 memory=63792 CPUtime=402.22 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 49818 0 0 0 40217 5 0 0 20 0 1 0 433777864 89489408 15948 33554432000 4194304 6211092 140727346101984 140727346099944 140115817839448 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 21848 15948 870 493 0 15153 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 87392 KiB
Current children cumulated memory: 63792 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/199 14327
/proc/meminfo: memFree=30266636/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=87656 memory=64052 CPUtime=462.21 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 50599 0 0 0 46216 5 0 0 20 0 1 0 433777864 89759744 16013 33554432000 4194304 6211092 140727346101984 140727346099944 5078861 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 21914 16013 870 493 0 15219 0
Current children cumulated CPU time: 462.21 s
Current children cumulated vsize: 87656 KiB
Current children cumulated memory: 64052 KiB
################
# More data... #
################
/proc/14196/statm: 22706 16812 870 493 0 16011 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 90824 KiB
Current children cumulated memory: 67248 KiB
[startup+1782.3 s]
/proc/loadavg: 2.05 2.08 2.04 3/200 14454
/proc/meminfo: memFree=30261648/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90824 memory=67248 CPUtime=1782.03 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 61650 0 0 0 178197 6 0 0 20 0 1 0 433777864 93003776 16812 33554432000 4194304 6211092 140727346101984 140727346099944 5441128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22706 16812 870 493 0 16011 0
Current children cumulated CPU time: 1782.03 s
Current children cumulated vsize: 90824 KiB
Current children cumulated memory: 67248 KiB
[startup+1842.3 s]
/proc/loadavg: 2.02 2.06 2.04 3/200 14458
/proc/meminfo: memFree=30261836/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67276 CPUtime=1842.02 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 62053 0 0 0 184196 6 0 0 20 0 1 0 433777864 93138944 16819 33554432000 4194304 6211092 140727346101984 140727346099640 5442945 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16819 870 493 0 16044 0
Current children cumulated CPU time: 1842.02 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67276 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.05 2.04 3/200 14462
/proc/meminfo: memFree=30261476/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67336 CPUtime=1902.01 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 62448 0 0 0 190195 6 0 0 20 0 1 0 433777864 93138944 16834 33554432000 4194304 6211092 140727346101984 140727346099640 5443042 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16834 870 493 0 16044 0
Current children cumulated CPU time: 1902.01 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67336 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 14468
/proc/meminfo: memFree=30261168/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67336 CPUtime=1962 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 62843 0 0 0 196194 6 0 0 20 0 1 0 433777864 93138944 16834 33554432000 4194304 6211092 140727346101984 140727346099640 140115817839464 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16834 870 493 0 16044 0
Current children cumulated CPU time: 1962 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67336 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/200 14472
/proc/meminfo: memFree=30261384/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2021.99 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 63238 0 0 0 202193 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099640 5164831 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/199 14477
/proc/meminfo: memFree=30261440/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2081.97 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 63634 0 0 0 208191 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099640 5446904 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2081.97 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 14483
/proc/meminfo: memFree=30260996/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2141.96 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 64030 0 0 0 214190 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099640 5476596 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2141.96 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/199 14487
/proc/meminfo: memFree=30260764/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2201.95 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 64425 0 0 0 220189 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099640 5452231 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2201.95 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 14492
/proc/meminfo: memFree=30261320/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2261.94 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 64820 0 0 0 226188 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099640 5164963 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2261.94 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 14498
/proc/meminfo: memFree=30261064/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2321.93 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 65215 0 0 0 232187 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099640 5453912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2321.93 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/200 14510
/proc/meminfo: memFree=30260056/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2381.92 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 65610 0 0 0 238186 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099640 5453912 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2381.92 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 14537
/proc/meminfo: memFree=30259980/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2441.9 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 65881 0 0 0 244184 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099944 5164633 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2441.9 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/201 14543
/proc/meminfo: memFree=30260920/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2501.89 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 66120 0 0 0 250183 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099944 5075266 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2501.89 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.04 3/201 14544
/proc/meminfo: memFree=30261060/32770624 swapFree=66927296/67108860
[pid=14196] ppid=14193 vsize=90956 memory=67340 CPUtime=2519.59 cores=0,2,4,6
/proc/14196/stat : 14196 (cosoco) R 14193 14196 13782 0 -1 4202496 66363 0 0 0 251953 6 0 0 20 0 1 0 433777864 93138944 16835 33554432000 4194304 6211092 140727346101984 140727346099944 5446924 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 11767808 140727346103307 140727346103409 140727346103409 140727346106318 0
/proc/14196/statm: 22739 16835 870 493 0 16044 0
Current children cumulated CPU time: 2519.59 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 14196 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.54 s, system=0.06699 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.61
CPU user time (s): 2519.54
CPU system time (s): 0.06699
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 90956
Max. memory (cumulated for all children) (KiB): 67340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.54
system time used= 0.06699
maximum resident set size= 67404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66407
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= 26
involuntary context switches= 3706
# summary of solver processes directly reported to runsolver:
# pid: 14196
# total CPU time (s): 2519.61
# total CPU user time (s): 2519.54
# total CPU system time (s): 0.06699
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.98364 second user time and 16.97 second system time
The end
Begin job on node137 at 2019-09-15 21:21:03 IDJOB=4396907 IDBENCH=120726 IDSOLVER=2848 FILE ID=node137/4396907-1568575305 RUNJOBID= node137-1568572741-13813 PBS_JOBID= 21703317 Free space on /tmp= 61416 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K13-P08.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396907-1568575305/watcher-4396907-1568575305 -o /tmp/evaluation-result-4396907-1568575305/solver-4396907-1568575305 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568572741-13813 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396907-1568575305.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f6de09233a74707b341bbe4fbe6d65e2 RANDOM SEED=1335061100 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 30485428 kB MemAvailable: 31812176 kB Buffers: 121728 kB Cached: 1492388 kB SwapCached: 77512 kB Active: 1441748 kB Inactive: 252108 kB Active(anon): 4756 kB Inactive(anon): 124992 kB Active(file): 1436992 kB Inactive(file): 127116 kB Unevictable: 109912 kB Mlocked: 109912 kB SwapTotal: 67108860 kB SwapFree: 66927296 kB Dirty: 2528 kB Writeback: 0 kB AnonPages: 113572 kB Mapped: 45472 kB Shmem: 41000 kB Slab: 186060 kB SReclaimable: 156948 kB SUnreclaim: 29112 kB KernelStack: 3408 kB PageTables: 5412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 518920 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61416 MiB End job on node137 at 2019-09-15 22:03:03