| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2 | ? (TO) | 2519.91 | 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.21/0.26 c root propagations : 0 0.21/0.26 c restarts enabled, print stats at every restarts 0.21/0.26 c 0.21/0.26 c 0.21/0.26 c 0.21/0.26 c This is cosoco 2.00 -- 0.21/0.26 c 0.21/0.26 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389627-1568317572.xml 0.21/0.26 c ========================================[ Problem Statistics ]=========================================== 0.21/0.26 c | 0.21/0.26 c | Parse time : 0.23 s 0.21/0.26 c | 0.21/0.26 c | Variables: 1547 0.21/0.26 c | Domain Sizes: 715..716 0.21/0.26 c | 0.21/0.26 c | Constraints: 717 0.21/0.26 c | Arity: 3..715 -- Ternary: 715 0.21/0.26 c | 0.21/0.26 c | Types: 0.21/0.26 c | All Different: 2 0.21/0.26 c | Intension: 715 0.21/0.26 c | 0.21/0.26 c ========================================================================================================= 0.21/0.26 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.26 c remove useless variable ce[0][0][0] 0.21/0.26 c remove useless variable ce[0][1][0] 0.21/0.26 c remove useless variable ce[0][1][1] 0.21/0.26 c remove useless variable ce[0][2][0] 0.21/0.26 c remove useless variable ce[0][2][1] 0.21/0.26 c remove useless variable ce[0][2][2] 0.21/0.26 c remove useless variable ce[0][3][0] 0.21/0.26 c remove useless variable ce[0][3][1] 0.21/0.26 c remove useless variable ce[0][3][2] 0.21/0.26 c remove useless variable ce[0][3][3] 0.21/0.26 c remove useless variable ce[0][4][0] 0.21/0.26 c remove useless variable ce[0][4][1] 0.21/0.26 c remove useless variable ce[0][4][2] 0.21/0.26 c remove useless variable ce[0][4][3] 0.21/0.26 c remove useless variable ce[0][4][4] 0.21/0.26 c remove useless variable ce[0][5][0] 0.21/0.26 c remove useless variable ce[0][5][1] 0.21/0.26 c remove useless variable ce[0][5][2] 0.21/0.26 c remove useless variable ce[0][5][3] 0.21/0.26 c remove useless variable ce[0][5][4] 0.21/0.26 c remove useless variable ce[0][5][5] 0.21/0.26 c remove useless variable ce[0][6][0] 0.21/0.26 c remove useless variable ce[0][6][1] 0.21/0.26 c remove useless variable ce[0][6][2] 0.21/0.26 c remove useless variable ce[0][6][3] 0.21/0.26 c remove useless variable ce[0][6][4] 0.21/0.26 c remove useless variable ce[0][6][5] 0.21/0.26 c remove useless variable ce[0][6][6] 0.21/0.26 c remove useless variable ce[0][7][0] 0.21/0.26 c remove useless variable ce[0][7][1] 0.21/0.26 c remove useless variable ce[0][7][2] 0.21/0.26 c remove useless variable ce[0][7][3] 0.21/0.26 c remove useless variable ce[0][7][4] 0.21/0.26 c remove useless variable ce[0][7][5] 0.21/0.26 c remove useless variable ce[0][7][6] 0.21/0.26 c remove useless variable ce[0][7][7] 0.21/0.26 c remove useless variable ce[0][8][0] 0.21/0.26 c remove useless variable ce[0][8][1] 0.21/0.26 c remove useless variable ce[0][8][2] 0.21/0.26 c remove useless variable ce[0][8][3] 0.21/0.26 c remove useless variable ce[0][8][4] 0.21/0.26 c remove useless variable ce[0][8][5] 0.21/0.26 c remove useless variable ce[0][8][6] 0.21/0.26 c remove useless variable ce[0][8][7] 0.21/0.26 c remove useless variable ce[0][8][8] 0.21/0.26 c remove useless variable ce[0][9][0] 0.21/0.26 c remove useless variable ce[0][9][1] 0.21/0.26 c remove useless variable ce[0][9][2] 0.21/0.26 c remove useless variable ce[0][9][3] 0.21/0.26 c remove useless variable ce[0][9][4] 0.21/0.26 c remove useless variable ce[0][9][5] 0.21/0.26 c remove useless variable ce[0][9][6] 0.21/0.26 c remove useless variable ce[0][9][7] 0.21/0.26 c remove useless variable ce[0][9][8] 0.21/0.26 c remove useless variable ce[0][9][9] 0.21/0.26 c remove useless variable ce[0][10][0] 0.21/0.26 c remove useless variable ce[0][10][1] 0.21/0.26 c remove useless variable ce[0][10][2] 0.21/0.26 c remove useless variable ce[0][10][3] 0.21/0.26 c remove useless variable ce[0][10][4] 0.21/0.26 c remove useless variable ce[0][10][5] 0.21/0.26 c remove useless variable ce[0][10][6] 0.21/0.26 c remove useless variable ce[0][10][7] 0.21/0.26 c remove useless variable ce[0][10][8] 0.21/0.26 c remove useless variable ce[0][10][9] 0.21/0.26 c remove useless variable ce[0][10][10] 0.21/0.26 c remove useless variable ce[0][11][0] 0.21/0.26 c remove useless variable ce[0][11][1] 0.21/0.26 c remove useless variable ce[0][11][2] 0.21/0.26 c remove useless variable ce[0][11][3] 0.21/0.26 c remove useless variable ce[0][11][4] 0.21/0.26 c remove useless variable ce[0][11][5] 0.21/0.26 c remove useless variable ce[0][11][6] 0.21/0.26 c remove useless variable ce[0][11][7] 0.21/0.26 c remove useless variable ce[0][11][8] 0.21/0.26 c remove useless variable ce[0][11][9] 0.21/0.26 c remove useless variable ce[0][11][10] 0.21/0.26 c remove useless variable ce[0][11][11] 0.21/0.26 c remove useless variable ce[0][12][0] 0.21/0.26 c remove useless variable ce[0][12][1] 0.21/0.26 c remove useless variable ce[0][12][2] 0.21/0.26 c remove useless variable ce[0][12][3] 0.21/0.26 c remove useless variable ce[0][12][4] 0.21/0.26 c remove useless variable ce[0][12][5] 0.21/0.26 c remove useless variable ce[0][12][6] 0.21/0.26 c remove useless variable ce[0][12][7] 0.21/0.26 c remove useless variable ce[0][12][8] 0.21/0.26 c remove useless variable ce[0][12][9] 0.21/0.26 c remove useless variable ce[0][12][10] 0.21/0.26 c remove useless variable ce[0][12][11] 0.21/0.26 c remove useless variable ce[0][12][12] 0.21/0.26 c remove useless variable ce[1][0][0] 0.21/0.26 c remove useless variable ce[1][1][0] 0.21/0.26 c remove useless variable ce[1][1][1] 0.21/0.26 c remove useless variable ce[1][2][0] 0.21/0.26 c remove useless variable ce[1][2][1] 0.21/0.26 c remove useless variable ce[1][2][2] 0.21/0.26 c remove useless variable ce[1][3][0] 0.21/0.26 c remove useless variable ce[1][3][1] 0.21/0.26 c remove useless variable ce[1][3][2] 0.21/0.26 c remove useless variable ce[1][3][3] 0.21/0.26 c remove useless variable ce[1][4][0] 0.21/0.26 c remove useless variable ce[1][4][1] 0.21/0.26 c remove useless variable ce[1][4][2] 0.21/0.26 c remove useless variable ce[1][4][3] 0.21/0.26 c remove useless variable ce[1][4][4] 0.21/0.26 c remove useless variable ce[1][5][0] 0.21/0.26 c remove useless variable ce[1][5][1] 0.21/0.26 c remove useless variable ce[1][5][2] 0.21/0.26 c remove useless variable ce[1][5][3] 0.21/0.26 c remove useless variable ce[1][5][4] 0.21/0.26 c remove useless variable ce[1][5][5] 0.21/0.26 c remove useless variable ce[1][6][0] 0.21/0.26 c remove useless variable ce[1][6][1] 0.21/0.26 c remove useless variable ce[1][6][2] 0.21/0.26 c remove useless variable ce[1][6][3] 0.21/0.26 c remove useless variable ce[1][6][4] 0.21/0.26 c remove useless variable ce[1][6][5] 0.21/0.26 c remove useless variable ce[1][6][6] 0.21/0.26 c remove useless variable ce[1][7][0] 0.21/0.26 c remove useless variable ce[1][7][1] 0.21/0.26 c remove useless variable ce[1][7][2] 0.21/0.26 c remove useless variable ce[1][7][3] 0.21/0.26 c remove useless variable ce[1][7][4] 0.21/0.26 c remove useless variable ce[1][7][5] 0.21/0.26 c remove useless variable ce[1][7][6] 0.21/0.26 c remove useless variable ce[1][7][7] 0.21/0.26 c remove useless variable ce[1][8][0] 0.21/0.26 c remove useless variable ce[1][8][1] 0.21/0.26 c remove useless variable ce[1][8][2] 0.21/0.26 c remove useless variable ce[1][8][3] 0.21/0.26 c remove useless variable ce[1][8][4] 0.21/0.26 c remove useless variable ce[1][8][5] 0.21/0.26 c remove useless variable ce[1][8][6] 0.21/0.26 c remove useless variable ce[1][8][7] 0.21/0.26 c remove useless variable ce[1][8][8] 0.21/0.26 c remove useless variable ce[1][9][0] 0.21/0.26 c remove useless variable ce[1][9][1] 0.21/0.26 c remove useless variable ce[1][9][2] 0.21/0.26 c remove useless variable ce[1][9][3] 0.21/0.26 c remove useless variable ce[1][9][4] 0.21/0.26 c remove useless variable ce[1][9][5] 0.21/0.26 c remove useless variable ce[1][9][6] 0.21/0.26 c remove useless variable ce[1][9][7] 0.21/0.26 c remove useless variable ce[1][9][8] 0.21/0.26 c remove useless variable ce[1][9][9] 0.21/0.26 c remove useless variable ce[1][10][0] 0.21/0.26 c remove useless variable ce[1][10][1] 0.21/0.26 c remove useless variable ce[1][10][2] 0.21/0.26 c remove useless variable ce[1][10][3] 0.21/0.26 c remove useless variable ce[1][10][4] 0.21/0.26 c remove useless variable ce[1][10][5] 0.21/0.26 c remove useless variable ce[1][10][6] 0.21/0.26 c remove useless variable ce[1][10][7] 0.21/0.26 c remove useless variable ce[1][10][8] 0.21/0.26 c remove useless variable ce[1][10][9] 0.21/0.26 c remove useless variable ce[1][10][10] 0.21/0.26 c remove useless variable ce[1][11][0] 0.21/0.26 c remove useless variable ce[1][11][1] 0.21/0.26 c remove useless variable ce[1][11][2] 0.21/0.26 c remove useless variable ce[1][11][3] 0.21/0.26 c remove useless variable ce[1][11][4] 0.21/0.26 c remove useless variable ce[1][11][5] 0.21/0.26 c remove useless variable ce[1][11][6] 0.21/0.26 c remove useless variable ce[1][11][7] 0.21/0.26 c remove useless variable ce[1][11][8] 0.21/0.26 c remove useless variable ce[1][11][9] 0.21/0.26 c remove useless variable ce[1][11][10] 0.21/0.26 c remove useless variable ce[1][11][11] 0.21/0.26 c remove useless variable ce[1][12][0] 0.21/0.26 c remove useless variable ce[1][12][1] 0.21/0.26 c remove useless variable ce[1][12][2] 0.21/0.26 c remove useless variable ce[1][12][3] 0.21/0.26 c remove useless variable ce[1][12][4] 0.21/0.26 c remove useless variable ce[1][12][5] 0.21/0.26 c remove useless variable ce[1][12][6] 0.21/0.26 c remove useless variable ce[1][12][7] 0.21/0.26 c remove useless variable ce[1][12][8] 0.21/0.26 c remove useless variable ce[1][12][9] 0.21/0.26 c remove useless variable ce[1][12][10] 0.21/0.26 c remove useless variable ce[1][12][11] 0.21/0.26 c remove useless variable ce[1][12][12] 0.21/0.26 c remove useless variable ce[2][0][0] 0.21/0.26 c remove useless variable ce[2][1][0] 0.21/0.26 c remove useless variable ce[2][1][1] 0.21/0.26 c remove useless variable ce[2][2][0] 0.21/0.26 c remove useless variable ce[2][2][1] 0.21/0.26 c remove useless variable ce[2][2][2] 0.21/0.26 c remove useless variable ce[2][3][0] 0.21/0.26 c remove useless variable ce[2][3][1] 0.21/0.26 c remove useless variable ce[2][3][2] 0.21/0.26 c remove useless variable ce[2][3][3] 0.21/0.26 c remove useless variable ce[2][4][0] 0.21/0.26 c remove useless variable ce[2][4][1] 0.21/0.26 c remove useless variable ce[2][4][2] 0.21/0.26 c remove useless variable ce[2][4][3] 0.21/0.26 c remove useless variable ce[2][4][4] 0.21/0.26 c remove useless variable ce[2][5][0] 0.21/0.26 c remove useless variable ce[2][5][1] 0.21/0.26 c remove useless variable ce[2][5][2] 0.21/0.26 c remove useless variable ce[2][5][3] 0.21/0.26 c remove useless variable ce[2][5][4] 0.21/0.26 c remove useless variable ce[2][5][5] 0.21/0.26 c remove useless variable ce[2][6][0] 0.21/0.26 c remove useless variable ce[2][6][1] 0.21/0.26 c remove useless variable ce[2][6][2] 0.21/0.26 c remove useless variable ce[2][6][3] 0.21/0.26 c remove useless variable ce[2][6][4] 0.21/0.26 c remove useless variable ce[2][6][5] 0.21/0.26 c remove useless variable ce[2][6][6] 0.21/0.26 c remove useless variable ce[2][7][0] 0.21/0.26 c remove useless variable ce[2][7][1] 0.21/0.26 c remove useless variable ce[2][7][2] 0.21/0.26 c remove useless variable ce[2][7][3] 0.21/0.26 c remove useless variable ce[2][7][4] 0.21/0.26 c remove useless variable ce[2][7][5] 0.21/0.26 c remove useless variable ce[2][7][6] 0.21/0.26 c remove useless variable ce[2][7][7] 0.21/0.26 c remove useless variable ce[2][8][0] 0.21/0.26 c remove useless variable ce[2][8][1] 0.21/0.26 c remove useless variable ce[2][8][2] 0.21/0.26 c remove useless variable ce[2][8][3] 0.21/0.26 c remove useless variable ce[2][8][4] 0.21/0.26 c remove useless variable ce[2][8][5] 0.21/0.26 c remove useless variable ce[2][8][6] 0.21/0.26 c remove useless variable ce[2][8][7] 0.21/0.26 c remove useless variable ce[2][8][8] 0.21/0.26 c remove useless variable ce[2][9][0] 0.21/0.26 c remove useless variable ce[2][9][1] 0.21/0.26 c remove useless variable ce[2][9][2] 0.21/0.26 c remove useless variable ce[2][9][3] 0.21/0.26 c remove useless variable ce[2][9][4] 0.21/0.26 c remove useless variable ce[2][9][5] 0.21/0.26 c remove useless variable ce[2][9][6] 0.21/0.26 c remove useless variable ce[2][9][7] 0.21/0.26 c remove useless variable ce[2][9][8] 0.21/0.26 c remove useless variable ce[2][9][9] 0.21/0.26 c remove useless variable ce[2][10][0] 0.21/0.26 c remove useless variable ce[2][10][1] 0.21/0.26 c remove useless variable ce[2][10][2] 0.21/0.26 c remove useless variable ce[2][10][3] 0.21/0.26 c remove useless variable ce[2][10][4] 0.21/0.26 c remove useless variable ce[2][10][5] 0.21/0.26 c remove useless variable ce[2][10][6] 0.21/0.26 c remove useless variable ce[2][10][7] 0.21/0.26 c remove useless variable ce[2][10][8] 0.21/0.26 c remove useless variable ce[2][10][9] 0.21/0.26 c remove useless variable ce[2][10][10] 0.21/0.26 c remove useless variable ce[2][11][0] 0.21/0.26 c remove useless variable ce[2][11][1] 0.21/0.26 c remove useless variable ce[2][11][2] 0.21/0.26 c remove useless variable ce[2][11][3] 0.21/0.26 c remove useless variable ce[2][11][4] 0.21/0.26 c remove useless variable ce[2][11][5] 0.21/0.26 c remove useless variable ce[2][11][6] 0.21/0.26 c remove useless variable ce[2][11][7] 0.21/0.26 c remove useless variable ce[2][11][8] 0.21/0.26 c remove useless variable ce[2][11][9] 0.21/0.26 c remove useless variable ce[2][11][10] 0.21/0.26 c remove useless variable ce[2][11][11] 0.21/0.26 c remove useless variable ce[2][12][0] 0.21/0.26 c remove useless variable ce[2][12][1] 0.21/0.26 c remove useless variable ce[2][12][2] 0.21/0.26 c remove useless variable ce[2][12][3] 0.21/0.26 c remove useless variable ce[2][12][4] 0.21/0.26 c remove useless variable ce[2][12][5] 0.21/0.26 c remove useless variable ce[2][12][6] 0.21/0.26 c remove useless variable ce[2][12][7] 0.21/0.26 c remove useless variable ce[2][12][8] 0.21/0.26 c remove useless variable ce[2][12][9] 0.21/0.26 c remove useless variable ce[2][12][10] 0.21/0.26 c remove useless variable ce[2][12][11] 0.21/0.26 c remove useless variable ce[2][12][12] 0.21/0.26 c remove useless variable ce[3][0][0] 0.21/0.26 c remove useless variable ce[3][1][0] 0.21/0.26 c remove useless variable ce[3][1][1] 0.21/0.26 c remove useless variable ce[3][2][0] 0.21/0.26 c remove useless variable ce[3][2][1] 0.21/0.26 c remove useless variable ce[3][2][2] 0.21/0.26 c remove useless variable ce[3][3][0] 0.21/0.26 c remove useless variable ce[3][3][1] 0.21/0.26 c remove useless variable ce[3][3][2] 0.21/0.26 c remove useless variable ce[3][3][3] 0.21/0.26 c remove useless variable ce[3][4][0] 0.21/0.26 c remove useless variable ce[3][4][1] 0.21/0.26 c remove useless variable ce[3][4][2] 0.21/0.26 c remove useless variable ce[3][4][3] 0.21/0.26 c remove useless variable ce[3][4][4] 0.21/0.26 c remove useless variable ce[3][5][0] 0.21/0.26 c remove useless variable ce[3][5][1] 0.21/0.26 c remove useless variable ce[3][5][2] 0.21/0.26 c remove useless variable ce[3][5][3] 0.21/0.26 c remove useless variable ce[3][5][4] 0.21/0.26 c remove useless variable ce[3][5][5] 0.21/0.26 c remove useless variable ce[3][6][0] 0.21/0.26 c remove useless variable ce[3][6][1] 0.21/0.26 c remove useless variable ce[3][6][2] 0.21/0.26 c remove useless variable ce[3][6][3] 0.21/0.26 c remove useless variable ce[3][6][4] 0.21/0.26 c remove useless variable ce[3][6][5] 0.21/0.26 c remove useless variable ce[3][6][6] 0.21/0.26 c remove useless variable ce[3][7][0] 0.21/0.26 c remove useless variable ce[3][7][1] 0.21/0.26 c remove useless variable ce[3][7][2] 0.21/0.26 c remove useless variable ce[3][7][3] 0.21/0.26 c remove useless variable ce[3][7][4] 0.21/0.26 c remove useless variable ce[3][7][5] 0.21/0.26 c remove useless variable ce[3][7][6] 0.21/0.26 c remove useless variable ce[3][7][7] 0.21/0.26 c remove useless variable ce[3][8][0] 0.21/0.26 c remove useless variable ce[3][8][1] 0.21/0.26 c remove useless variable ce[3][8][2] 0.21/0.26 c remove useless variable ce[3][8][3] 0.21/0.26 c remove useless variable ce[3][8][4] 0.21/0.26 c remove useless variable ce[3][8][5] 0.21/0.26 c remove useless variable ce[3][8][6] 0.21/0.26 c remove useless variable ce[3][8][7] 0.21/0.26 c remove useless variable ce[3][8][8] 0.21/0.26 c remove useless variable ce[3][9][0] 0.21/0.26 c remove useless variable ce[3][9][1] 0.21/0.26 c remove useless variable ce[3][9][2] 0.21/0.26 c remove useless variable ce[3][9][3] 0.21/0.26 c remove useless variable ce[3][9][4] 0.21/0.26 c remove useless variable ce[3][9][5] 0.21/0.26 c remove useless variable ce[3][9][6] 0.21/0.26 c remove useless variable ce[3][9][7] 0.21/0.26 c remove useless variable ce[3][9][8] 0.21/0.26 c remove useless variable ce[3][9][9] 0.21/0.26 c remove useless variable ce[3][10][0] 0.21/0.26 c remove useless variable ce[3][10][1] 0.21/0.26 c remove useless variable ce[3][10][2] 0.21/0.26 c remove useless variable ce[3][10][3] 0.21/0.26 c remove useless variable ce[3][10][4] 0.21/0.26 c remove useless variable ce[3][10][5] 0.21/0.26 c remove useless variable ce[3][10][6] 0.21/0.26 c remove useless variable ce[3][10][7] 0.21/0.26 c remove useless variable ce[3][10][8] 0.21/0.26 c remove useless variable ce[3][10][9] 0.21/0.26 c remove useless variable ce[3][10][10] 0.21/0.26 c remove useless variable ce[3][11][0] 0.21/0.26 c remove useless variable ce[3][11][1] 0.21/0.26 c remove useless variable ce[3][11][2] 0.21/0.26 c remove useless variable ce[3][11][3] 0.21/0.26 c remove useless variable ce[3][11][4] 0.21/0.26 c remove useless variable ce[3][11][5] 0.21/0.26 c remove useless variable ce[3][11][6] 0.21/0.26 c remove useless variable ce[3][11][7] 0.21/0.26 c remove useless variable ce[3][11][8] 0.21/0.26 c remove useless variable ce[3][11][9] 0.21/0.26 c remove useless variable ce[3][11][10] 0.21/0.26 c remove useless variable ce[3][11][11] 0.21/0.26 c remove useless variable ce[3][12][0] 0.21/0.26 c remove useless variable ce[3][12][1] 0.21/0.26 c remove useless variable ce[3][12][2] 0.21/0.26 c remove useless variable ce[3][12][3] 0.21/0.26 c remove useless variable ce[3][12][4] 0.21/0.26 c remove useless variable ce[3][12][5] 0.21/0.26 c remove useless variable ce[3][12][6] 0.21/0.26 c remove useless variable ce[3][12][7] 0.21/0.26 c remove useless variable ce[3][12][8] 0.21/0.26 c remove useless variable ce[3][12][9] 0.21/0.26 c remove useless variable ce[3][12][10] 0.21/0.26 c remove useless variable ce[3][12][11] 0.21/0.26 c remove useless variable ce[3][12][12] 0.21/0.26 c remove useless variable ce[4][0][0] 0.21/0.26 c remove useless variable ce[4][1][0] 0.21/0.26 c remove useless variable ce[4][1][1] 0.21/0.26 c remove useless variable ce[4][2][0] 0.21/0.26 c remove useless variable ce[4][2][1] 0.21/0.26 c remove useless variable ce[4][2][2] 0.21/0.26 c remove useless variable ce[4][3][0] 0.21/0.26 c remove useless variable ce[4][3][1] 0.21/0.26 c remove useless variable ce[4][3][2] 0.21/0.26 c remove useless variable ce[4][3][3] 0.21/0.26 c remove useless variable ce[4][4][0] 0.21/0.26 c remove useless variable ce[4][4][1] 0.21/0.26 c remove useless variable ce[4][4][2] 0.21/0.26 c remove useless variable ce[4][4][3] 0.21/0.26 c remove useless variable ce[4][4][4] 0.21/0.26 c remove useless variable ce[4][5][0] 0.21/0.26 c remove useless variable ce[4][5][1] 0.21/0.26 c remove useless variable ce[4][5][2] 0.21/0.26 c remove useless variable ce[4][5][3] 0.21/0.26 c remove useless variable ce[4][5][4] 0.21/0.26 c remove useless variable ce[4][5][5] 0.21/0.26 c remove useless variable ce[4][6][0] 0.21/0.26 c remove useless variable ce[4][6][1] 0.21/0.26 c remove useless variable ce[4][6][2] 0.21/0.26 c remove useless variable ce[4][6][3] 0.21/0.26 c remove useless variable ce[4][6][4] 0.21/0.26 c remove useless variable ce[4][6][5] 0.21/0.26 c remove useless variable ce[4][6][6] 0.21/0.26 c remove useless variable ce[4][7][0] 0.21/0.26 c remove useless variable ce[4][7][1] 0.21/0.26 c remove useless variable ce[4][7][2] 0.21/0.26 c remove useless variable ce[4][7][3] 0.21/0.26 c remove useless variable ce[4][7][4] 0.21/0.26 c remove useless variable ce[4][7][5] 0.21/0.26 c remove useless variable ce[4][7][6] 0.21/0.26 c remove useless variable ce[4][7][7] 0.21/0.26 c remove useless variable ce[4][8][0] 0.21/0.26 c remove useless variable ce[4][8][1] 0.21/0.26 c remove useless variable ce[4][8][2] 0.21/0.26 c remove useless variable ce[4][8][3] 0.21/0.26 c remove useless variable ce[4][8][4] 0.21/0.26 c remove useless variable ce[4][8][5] 0.21/0.26 c remove useless variable ce[4][8][6] 0.21/0.26 c remove useless variable ce[4][8][7] 0.21/0.26 c remove useless variable ce[4][8][8] 0.21/0.26 c remove useless variable ce[4][9][0] 0.21/0.26 c remove useless variable ce[4][9][1] 0.21/0.26 c remove useless variable ce[4][9][2] 0.21/0.26 c remove useless variable ce[4][9][3] 0.21/0.26 c remove useless variable ce[4][9][4] 0.21/0.26 c remove useless variable ce[4][9][5] 0.21/0.26 c remove useless variable ce[4][9][6] 0.21/0.26 c remove useless variable ce[4][9][7] 0.21/0.26 c remove useless variable ce[4][9][8] 0.21/0.26 c remove useless variable ce[4][9][9] 0.21/0.26 c remove useless variable ce[4][10][0] 0.21/0.26 c remove useless variable ce[4][10][1] 0.21/0.26 c remove useless variable ce[4][10][2] 0.21/0.26 c remove useless variable ce[4][10][3] 0.21/0.26 c remove useless variable ce[4][10][4] 0.21/0.26 c remove useless variable ce[4][10][5] 0.21/0.26 c remove useless variable ce[4][10][6] 0.21/0.26 c remove useless variable ce[4][10][7] 0.21/0.26 c remove useless variable ce[4][10][8] 0.21/0.26 c remove useless variable ce[4][10][9] 0.21/0.26 c remove useless variable ce[4][10][10] 0.21/0.26 c remove useless variable ce[4][11][0] 0.21/0.26 c remove useless variable ce[4][11][1] 0.21/0.26 c remove useless variable ce[4][11][2] 0.21/0.26 c remove useless variable ce[4][11][3] 0.21/0.26 c remove useless variable ce[4][11][4] 0.21/0.26 c remove useless variable ce[4][11][5] 0.21/0.26 c remove useless variable ce[4][11][6] 0.21/0.26 c remove useless variable ce[4][11][7] 0.21/0.26 c remove useless variable ce[4][11][8] 0.21/0.26 c remove useless variable ce[4][11][9] 0.21/0.26 c remove useless variable ce[4][11][10] 0.21/0.26 c remove useless variable ce[4][11][11] 0.21/0.26 c remove useless variable ce[4][12][0] 0.21/0.26 c remove useless variable ce[4][12][1] 0.21/0.26 c remove useless variable ce[4][12][2] 0.21/0.26 c remove useless variable ce[4][12][3] 0.21/0.26 c remove useless variable ce[4][12][4] 0.21/0.26 c remove useless variable ce[4][12][5] 0.21/0.26 c remove useless variable ce[4][12][6] 0.21/0.26 c remove useless variable ce[4][12][7] 0.21/0.26 c remove useless variable ce[4][12][8] 0.21/0.26 c remove useless variable ce[4][12][9] 0.21/0.26 c remove useless variable ce[4][12][10] 0.21/0.26 c remove useless variable ce[4][12][11] 0.21/0.26 c remove useless variable ce[4][12][12] 0.21/0.26 c remove useless variable ce[5][0][0] 0.21/0.26 c remove useless variable ce[5][1][0] 0.21/0.26 c remove useless variable ce[5][1][1] 0.21/0.26 c remove useless variable ce[5][2][0] 0.21/0.26 c remove useless variable ce[5][2][1] 0.21/0.26 c remove useless variable ce[5][2][2] 0.21/0.26 c remove useless variable ce[5][3][0] 0.21/0.26 c remove useless variable ce[5][3][1] 0.21/0.26 c remove useless variable ce[5][3][2] 0.21/0.26 c remove useless variable ce[5][3][3] 0.21/0.26 c remove useless variable ce[5][4][0] 0.21/0.26 c remove useless variable ce[5][4][1] 0.21/0.26 c remove useless variable ce[5][4][2] 0.21/0.26 c remove useless variable ce[5][4][3] 0.21/0.26 c remove useless variable ce[5][4][4] 0.21/0.26 c remove useless variable ce[5][5][0] 0.21/0.26 c remove useless variable ce[5][5][1] 0.21/0.26 c remove useless variable ce[5][5][2] 0.21/0.26 c remove useless variable ce[5][5][3] 0.21/0.26 c remove useless variable ce[5][5][4] 0.21/0.26 c remove useless variable ce[5][5][5] 0.21/0.26 c remove useless variable ce[5][6][0] 0.21/0.26 c remove useless variable ce[5][6][1] 0.21/0.26 c remove useless variable ce[5][6][2] 0.21/0.26 c remove useless variable ce[5][6][3] 0.21/0.26 c remove useless variable ce[5][6][4] 0.21/0.26 c remove useless variable ce[5][6][5] 0.21/0.26 c remove useless variable ce[5][6][6] 0.21/0.26 c remove useless variable ce[5][7][0] 0.21/0.26 c remove useless variable ce[5][7][1] 0.21/0.26 c remove useless variable ce[5][7][2] 0.21/0.26 c remove useless variable ce[5][7][3] 0.21/0.26 c remove useless variable ce[5][7][4] 0.21/0.26 c remove useless variable ce[5][7][5] 0.21/0.26 c remove useless variable ce[5][7][6] 0.21/0.26 c remove useless variable ce[5][7][7] 0.21/0.26 c remove useless variable ce[5][8][0] 0.21/0.26 c remove useless variable ce[5][8][1] 0.21/0.26 c remove useless variable ce[5][8][2] 0.21/0.26 c remove useless variable ce[5][8][3] 0.21/0.26 c remove useless variable ce[5][8][4] 0.21/0.26 c remove useless variable ce[5][8][5] 0.21/0.26 c remove useless variable ce[5][8][6] 0.21/0.26 c remove useless variable ce[5][8][7] 0.21/0.26 c remove useless variable ce[5][8][8] 0.21/0.26 c remove useless variable ce[5][9][0] 0.21/0.26 c remove useless variable ce[5][9][1] 0.21/0.26 c remove useless variable ce[5][9][2] 0.21/0.26 c remove useless variable ce[5][9][3] 0.21/0.26 c remove useless variable ce[5][9][4] 0.21/0.26 c remove useless variable ce[5][9][5] 0.21/0.26 c remove useless variable ce[5][9][6] 0.21/0.26 c remove useless variable ce[5][9][7] 0.21/0.26 c remove useless variable ce[5][9][8] 0.21/0.26 c remove useless variable ce[5][9][9] 0.21/0.26 c remove useless variable ce[5][10][0] 0.21/0.26 c remove useless variable ce[5][10][1] 0.21/0.26 c remove useless variable ce[5][10][2] 0.21/0.26 c remove useless variable ce[5][10][3] 0.21/0.26 c remove useless variable ce[5][10][4] 0.21/0.26 c remove useless variable ce[5][10][5] 0.21/0.26 c remove useless variable ce[5][10][6] 0.21/0.26 c remove useless variable ce[5][10][7] 0.21/0.26 c remove useless variable ce[5][10][8] 0.21/0.26 c remove useless variable ce[5][10][9] 0.21/0.26 c remove useless variable ce[5][10][10] 0.21/0.26 c remove useless variable ce[5][11][0] 0.21/0.26 c remove useless variable ce[5][11][1] 0.21/0.26 c remove useless variable ce[5][11][2] 0.21/0.26 c remove useless variable ce[5][11][3] 0.21/0.26 c remove useless variable ce[5][11][4] 0.21/0.26 c remove useless variable ce[5][11][5] 0.21/0.26 c remove useless variable ce[5][11][6] 0.21/0.26 c remove useless variable ce[5][11][7] 0.21/0.26 c remove useless variable ce[5][11][8] 0.21/0.26 c remove useless variable ce[5][11][9] 0.21/0.26 c remove useless variable ce[5][11][10] 0.21/0.26 c remove useless variable ce[5][11][11] 0.21/0.26 c remove useless variable ce[5][12][0] 0.21/0.26 c remove useless variable ce[5][12][1] 0.21/0.26 c remove useless variable ce[5][12][2] 0.21/0.26 c remove useless variable ce[5][12][3] 0.21/0.26 c remove useless variable ce[5][12][4] 0.21/0.26 c remove useless variable ce[5][12][5] 0.21/0.26 c remove useless variable ce[5][12][6] 0.21/0.26 c remove useless variable ce[5][12][7] 0.21/0.26 c remove useless variable ce[5][12][8] 0.21/0.26 c remove useless variable ce[5][12][9] 0.21/0.26 c remove useless variable ce[5][12][10] 0.21/0.26 c remove useless variable ce[5][12][11] 0.21/0.26 c remove useless variable ce[5][12][12] 0.21/0.26 c remove useless variable ce[6][0][0] 0.21/0.26 c remove useless variable ce[6][1][0] 0.21/0.26 c remove useless variable ce[6][1][1] 0.21/0.26 c remove useless variable ce[6][2][0] 0.21/0.26 c remove useless variable ce[6][2][1] 0.21/0.26 c remove useless variable ce[6][2][2] 0.21/0.26 c remove useless variable ce[6][3][0] 0.21/0.26 c remove useless variable ce[6][3][1] 0.21/0.26 c remove useless variable ce[6][3][2] 0.21/0.26 c remove useless variable ce[6][3][3] 0.21/0.26 c remove useless variable ce[6][4][0] 0.21/0.26 c remove useless variable ce[6][4][1] 0.21/0.26 c remove useless variable ce[6][4][2] 0.21/0.26 c remove useless variable ce[6][4][3] 0.21/0.26 c remove useless variable ce[6][4][4] 0.21/0.26 c remove useless variable ce[6][5][0] 0.21/0.26 c remove useless variable ce[6][5][1] 0.21/0.26 c remove useless variable ce[6][5][2] 0.21/0.26 c remove useless variable ce[6][5][3] 0.21/0.26 c remove useless variable ce[6][5][4] 0.21/0.26 c remove useless variable ce[6][5][5] 0.21/0.26 c remove useless variable ce[6][6][0] 0.21/0.26 c remove useless variable ce[6][6][1] 0.21/0.26 c remove useless variable ce[6][6][2] 0.21/0.26 c remove useless variable ce[6][6][3] 0.21/0.26 c remove useless variable ce[6][6][4] 0.21/0.26 c remove useless variable ce[6][6][5] 0.21/0.26 c remove useless variable ce[6][6][6] 0.21/0.26 c remove useless variable ce[6][7][0] 0.21/0.26 c remove useless variable ce[6][7][1] 0.21/0.26 c remove useless variable ce[6][7][2] 0.21/0.26 c remove useless variable ce[6][7][3] 0.21/0.26 c remove useless variable ce[6][7][4] 0.21/0.26 c remove useless variable ce[6][7][5] 0.21/0.26 c remove useless variable ce[6][7][6] 0.21/0.26 c remove useless variable ce[6][7][7] 0.21/0.26 c remove useless variable ce[6][8][0] 0.21/0.26 c remove useless variable ce[6][8][1] 0.21/0.26 c remove useless variable ce[6][8][2] 0.21/0.26 c remove useless variable ce[6][8][3] 0.21/0.26 c remove useless variable ce[6][8][4] 0.21/0.26 c remove useless variable ce[6][8][5] 0.21/0.26 c remove useless variable ce[6][8][6] 0.21/0.26 c remove useless variable ce[6][8][7] 0.21/0.26 c remove useless variable ce[6][8][8] 0.21/0.26 c remove useless variable ce[6][9][0] 0.21/0.26 c remove useless variable ce[6][9][1] 0.21/0.26 c remove useless variable ce[6][9][2] 0.21/0.26 c remove useless variable ce[6][9][3] 0.21/0.26 c remove useless variable ce[6][9][4] 0.21/0.26 c remove useless variable ce[6][9][5] 0.21/0.26 c remove useless variable ce[6][9][6] 0.21/0.26 c remove useless variable ce[6][9][7] 0.21/0.26 c remove useless variable ce[6][9][8] 0.21/0.26 c remove useless variable ce[6][9][9] 0.21/0.26 c remove useless variable ce[6][10][0] 0.21/0.26 c remove useless variable ce[6][10][1] 0.21/0.26 c remove useless variable ce[6][10][2] 0.21/0.26 c remove useless variable ce[6][10][3] 0.21/0.26 c remove useless variable ce[6][10][4] 0.21/0.26 c remove useless variable ce[6][10][5] 0.21/0.26 c remove useless variable ce[6][10][6] 0.21/0.26 c remove useless variable ce[6][10][7] 0.21/0.26 c remove useless variable ce[6][10][8] 0.21/0.26 c remove useless variable ce[6][10][9] 0.21/0.26 c remove useless variable ce[6][10][10] 0.21/0.26 c remove useless variable ce[6][11][0] 0.21/0.26 c remove useless variable ce[6][11][1] 0.21/0.26 c remove useless variable ce[6][11][2] 0.21/0.26 c remove useless variable ce[6][11][3] 0.21/0.26 c remove useless variable ce[6][11][4] 0.21/0.26 c remove useless variable ce[6][11][5] 0.21/0.26 c remove useless variable ce[6][11][6] 0.21/0.26 c remove useless variable ce[6][11][7] 0.21/0.26 c remove useless variable ce[6][11][8] 0.21/0.26 c remove useless variable ce[6][11][9] 0.21/0.26 c remove useless variable ce[6][11][10] 0.21/0.26 c remove useless variable ce[6][11][11] 0.21/0.26 c remove useless variable ce[6][12][0] 0.21/0.26 c remove useless variable ce[6][12][1] 0.21/0.26 c remove useless variable ce[6][12][2] 0.21/0.26 c remove useless variable ce[6][12][3] 0.21/0.26 c remove useless variable ce[6][12][4] 0.21/0.26 c remove useless variable ce[6][12][5] 0.21/0.26 c remove useless variable ce[6][12][6] 0.21/0.26 c remove useless variable ce[6][12][7] 0.21/0.26 c remove useless variable ce[6][12][8] 0.21/0.26 c remove useless variable ce[6][12][9] 0.21/0.26 c remove useless variable ce[6][12][10] 0.21/0.26 c remove useless variable ce[6][12][11] 0.21/0.26 c remove useless variable ce[6][12][12] 0.21/0.26 c remove useless variable ce[7][0][0] 0.21/0.26 c remove useless variable ce[7][1][0] 0.21/0.26 c remove useless variable ce[7][1][1] 0.21/0.26 c remove useless variable ce[7][2][0] 0.21/0.26 c remove useless variable ce[7][2][1] 0.21/0.26 c remove useless variable ce[7][2][2] 0.21/0.26 c remove useless variable ce[7][3][0] 0.21/0.26 c remove useless variable ce[7][3][1] 0.21/0.26 c remove useless variable ce[7][3][2] 0.21/0.26 c remove useless variable ce[7][3][3] 0.21/0.26 c remove useless variable ce[7][4][0] 0.21/0.26 c remove useless variable ce[7][4][1] 0.21/0.26 c remove useless variable ce[7][4][2] 0.21/0.26 c remove useless variable ce[7][4][3] 0.21/0.26 c remove useless variable ce[7][4][4] 0.21/0.26 c remove useless variable ce[7][5][0] 0.21/0.26 c remove useless variable ce[7][5][1] 0.21/0.26 c remove useless variable ce[7][5][2] 0.21/0.26 c remove useless variable ce[7][5][3] 0.21/0.26 c remove useless variable ce[7][5][4] 0.21/0.26 c remove useless variable ce[7][5][5] 0.21/0.26 c remove useless variable ce[7][6][0] 0.21/0.26 c remove useless variable ce[7][6][1] 0.21/0.26 c remove useless variable ce[7][6][2] 0.21/0.26 c remove useless variable ce[7][6][3] 0.21/0.26 c remove useless variable ce[7][6][4] 0.21/0.26 c remove useless variable ce[7][6][5] 0.21/0.26 c remove useless variable ce[7][6][6] 0.21/0.26 c remove useless variable ce[7][7][0] 0.21/0.26 c remove useless variable ce[7][7][1] 0.21/0.26 c remove useless variable ce[7][7][2] 0.21/0.26 c remove useless variable ce[7][7][3] 0.21/0.26 c remove useless variable ce[7][7][4] 0.21/0.26 c remove useless variable ce[7][7][5] 0.21/0.26 c remove useless variable ce[7][7][6] 0.21/0.26 c remove useless variable ce[7][7][7] 0.21/0.26 c remove useless variable ce[7][8][0] 0.21/0.26 c remove useless variable ce[7][8][1] 0.21/0.26 c remove useless variable ce[7][8][2] 0.21/0.26 c remove useless variable ce[7][8][3] 0.21/0.26 c remove useless variable ce[7][8][4] 0.21/0.26 c remove useless variable ce[7][8][5] 0.21/0.26 c remove useless variable ce[7][8][6] 0.21/0.26 c remove useless variable ce[7][8][7] 0.21/0.26 c remove useless variable ce[7][8][8] 0.21/0.26 c remove useless variable ce[7][9][0] 0.21/0.26 c remove useless variable ce[7][9][1] 0.21/0.26 c remove useless variable ce[7][9][2] 0.21/0.26 c remove useless variable ce[7][9][3] 0.21/0.26 c remove useless variable ce[7][9][4] 0.21/0.26 c remove useless variable ce[7][9][5] 0.21/0.26 c remove useless variable ce[7][9][6] 0.21/0.26 c remove useless variable ce[7][9][7] 0.21/0.26 c remove useless variable ce[7][9][8] 0.21/0.26 c remove useless variable ce[7][9][9] 0.21/0.26 c remove useless variable ce[7][10][0] 0.21/0.26 c remove useless variable ce[7][10][1] 0.21/0.26 c remove useless variable ce[7][10][2] 0.21/0.26 c remove useless variable ce[7][10][3] 0.21/0.26 c remove useless variable ce[7][10][4] 0.21/0.26 c remove useless variable ce[7][10][5] 0.21/0.26 c remove useless variable ce[7][10][6] 0.21/0.26 c remove useless variable ce[7][10][7] 0.21/0.26 c remove useless variable ce[7][10][8] 0.21/0.26 c remove useless variable ce[7][10][9] 0.21/0.26 c remove useless variable ce[7][10][10] 0.21/0.26 c remove useless variable ce[7][11][0] 0.21/0.26 c remove useless variable ce[7][11][1] 0.21/0.26 c remove useless variable ce[7][11][2] 0.21/0.26 c remove useless variable ce[7][11][3] 0.21/0.26 c remove useless variable ce[7][11][4] 0.21/0.26 c remove useless variable ce[7][11][5] 0.21/0.26 c remove useless variable ce[7][11][6] 0.21/0.26 c remove useless variable ce[7][11][7] 0.21/0.26 c remove useless variable ce[7][11][8] 0.21/0.26 c remove useless variable ce[7][11][9] 0.21/0.26 c remove useless variable ce[7][11][10] 0.21/0.26 c remove useless variable ce[7][11][11] 0.21/0.26 c remove useless variable ce[7][12][0] 0.21/0.26 c remove useless variable ce[7][12][1] 0.21/0.26 c remove useless variable ce[7][12][2] 0.21/0.26 c remove useless variable ce[7][12][3] 0.21/0.26 c remove useless variable ce[7][12][4] 0.21/0.26 c remove useless variable ce[7][12][5] 0.21/0.26 c remove useless variable ce[7][12][6] 0.21/0.26 c remove useless variable ce[7][12][7] 0.21/0.26 c remove useless variable ce[7][12][8] 0.21/0.26 c remove useless variable ce[7][12][9] 0.21/0.26 c remove useless variable ce[7][12][10] 0.21/0.26 c remove useless variable ce[7][12][11] 0.21/0.26 c remove useless variable ce[7][12][12] 1.49/1.50 c 101 816 258931 266739 0 0 716 716 708 3.29/3.38 c 211 1474 503059 1530447 0 0 549 549 544 3.39/3.46 c 332 1600 507776 1533772 0 0 6 6 5 5.29/5.38 c 465 2243 741764 2719751 0 0 8 511 492 6.79/6.81 c 611 2809 946631 3191279 0 0 10 421 379 8.10/8.18 c 771 3415 1151816 3635216 0 0 8 447 307 9.69/9.74 c 947 4050 1349668 4276325 0 0 13 460 315 11.09/11.12 c 1140 4715 1544596 4763718 0 0 23 473 333 12.79/12.85 c 1352 5412 1739013 5693787 0 0 29 486 194 15.09/15.16 c 1585 5681 1752993 7237501 0 0 19 37 35 16.39/16.43 c 1841 6435 1941534 7670281 0 0 52 499 384 16.59/16.66 c 2122 6764 1951868 7738893 0 0 40 49 48 18.10/18.14 c 2431 7624 2146099 8498637 0 0 21 552 285 19.59/19.65 c 2770 8517 2331966 9306561 0 0 16 554 438 21.19/21.23 c 3142 9445 2519760 10155122 0 0 14 556 331 22.69/22.79 c 3551 10412 2701623 10989149 0 0 51 558 444 24.29/24.38 c 4000 11421 2873152 11942854 0 0 50 560 428 28.38/28.41 c 4493 12477 3038755 15519487 0 0 51 563 353 30.59/30.60 c 5035 13282 3092803 17170223 0 0 59 264 188 35.10/35.13 c 5631 14031 3123056 20046455 0 0 41 154 141 38.79/38.82 c 6286 14962 3183068 22935360 0 0 32 277 170 54.00/54.08 c 7006 15714 3257369 30050287 0 0 10 32 31 59.58/59.65 c 7798 16808 3322519 34171036 0 0 14 303 199 60.09/60.16 c 8669 17745 3346017 34222538 0 0 53 53 52 77.09/77.12 c 9627 18779 3418402 44637795 0 0 18 76 74 87.58/87.60 c 10680 19932 3455145 53664580 0 0 21 100 99 88.09/88.19 c 11838 21109 3481067 53686022 0 0 19 19 18 163.88/163.92 c 13111 22429 3665123 86579191 0 0 13 47 46 175.68/175.75 c 14511 23968 3731051 93017986 0 0 16 138 135 188.58/188.66 c 16051 25693 3771241 101999433 0 0 35 184 168 215.88/215.91 c 17745 27431 3883845 111339971 0 0 19 43 42 230.78/230.80 c 19608 29336 3966508 117668775 0 0 20 41 40 257.88/257.97 c 21657 31485 4070531 138204411 0 0 27 96 82 273.77/273.85 c 23910 34461 4295879 159871269 0 0 76 716 711 296.87/296.99 c 26388 37060 4368256 175225599 0 0 20 77 69 312.77/312.81 c 29113 39974 4438225 188162642 0 0 22 164 152 372.87/372.98 c 32110 43691 4854229 237313668 0 0 11 716 246 398.87/398.92 c 35406 47070 4937055 251498568 0 0 35 53 52 424.87/424.93 c 39031 51424 5209980 286151369 0 0 14 716 713 436.36/436.47 c 43018 55487 5287958 295892048 0 0 47 71 70 471.97/472.02 c 47403 60019 5428137 324393263 0 0 25 141 140 478.36/478.40 c 52226 65038 5497687 328627420 0 0 42 190 188 496.07/496.11 c 57531 70678 5581351 343107364 0 0 43 325 313 520.56/520.63 c 63366 76911 5677738 363601481 0 0 65 332 260 563.86/563.90 c 69784 83403 5884683 407420447 0 0 24 48 47 585.66/585.74 c 76843 90514 6055980 422720202 0 0 24 43 42 756.45/756.57 c 84607 98335 6628695 513619937 0 0 36 47 46 805.85/805.96 c 93147 107209 6793493 552708756 0 0 31 143 140 861.44/861.54 c 102541 117011 6931084 598089303 0 0 121 271 258 870.54/870.66 c 112874 128101 7230433 609518407 0 0 14 716 714 931.34/931.48 c 124240 144249 7592531 636801194 0 0 26 63 59 947.64/947.72 c 136742 156802 7954858 655536238 0 0 28 34 33 1053.74/1053.89 c 150494 170625 8266391 718978571 0 0 36 46 40 1130.63/1130.71 c 165621 186058 8482714 787201889 0 0 56 201 200 1299.73/1299.80 c 182260 202982 9037053 917900826 0 0 41 53 46 1346.93/1347.07 c 200562 221546 9830224 958073870 0 0 31 32 31 1550.22/1550.37 c 220694 242129 10410206 1144445356 0 0 80 101 100 1638.11/1638.22 c 242839 265086 11081283 1270716928 0 0 23 716 715 1734.21/1734.37 c 267198 289908 11504894 1347772054 0 0 97 237 224 1817.70/1817.89 c 293992 316755 12564797 1443988119 0 0 16 16 15 2436.09/2436.22 c 323465 349758 14940420 1716427833 0 0 52 60 52 2519.90/2520.00 2519.90/2520.00 c *** INTERRUPTED *** 2519.90/2520.00 c restarts : 61 2519.90/2520.00 c conflicts : 337016 (134 /sec) 2519.90/2520.00 c decisions : 363398 (144 /sec) 2519.90/2520.00 c propagations : 1764985405 (700436 /sec) 2519.90/2520.00 c root propagations : 0 2519.90/2520.00 c filter calls : 15485265 (6145 /sec) 2519.90/2520.00 c useless filter calls : 12070290 (77 %) 2519.90/2520.00 c Memory used : 88.83 MB 2519.90/2520.00 c CPU time : 2519.84 s 2519.90/2520.00 c real time : 2520.01 s 2519.90/2520.00 2519.90/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 (15121 MiB free)
memory of node 1: 16384 MiB (15398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389627-1568317572/watcher-4389627-1568317572 -o /tmp/evaluation-result-4389627-1568317572/solver-4389627-1568317572 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15585 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389627-1568317572.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
Current StackSize limit: 8192 KiB
solver pid=16640, runsolver pid=16637
[startup+0.100156 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 16641
/proc/meminfo: memFree=31230488/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=51060 memory=27304 CPUtime=0.09 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 7031 0 0 0 9 0 0 0 20 0 1 0 407995955 52285440 6826 33554432000 4194304 6210612 140720849846736 140720849843272 140509339552741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 12765 6826 822 493 0 6070 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 51060 KiB
Current children cumulated memory: 27304 KiB
[startup+0.209655 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 16641
/proc/meminfo: memFree=31210764/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=70400 memory=46576 CPUtime=0.21 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 11855 0 0 0 20 1 0 0 20 0 1 0 407995955 72089600 11644 33554432000 4194304 6210612 140720849846736 140720849841832 140509339552741 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 17600 11644 822 493 0 10905 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 70400 KiB
Current children cumulated memory: 46576 KiB
[startup+0.309519 s]*
/proc/loadavg: 2.01 2.02 2.05 3/199 16641
/proc/meminfo: memFree=31203696/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=75948 memory=52384 CPUtime=0.31 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 13282 0 0 0 30 1 0 0 20 0 1 0 407995955 77770752 13096 33554432000 4194304 6210612 140720849846736 140720849841832 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 18987 13096 858 493 0 12292 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 75948 KiB
Current children cumulated memory: 52384 KiB
[startup+0.700285 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 16641
/proc/meminfo: memFree=31202952/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=76764 memory=53020 CPUtime=0.69 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 13480 0 0 0 68 1 0 0 20 0 1 0 407995955 78606336 13255 33554432000 4194304 6210612 140720849846736 140720849844616 5397063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 19191 13255 864 493 0 12496 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76764 KiB
Current children cumulated memory: 53020 KiB
[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 16641
/proc/meminfo: memFree=31201836/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=79868 memory=56180 CPUtime=1.49 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 14239 0 0 0 147 2 0 0 20 0 1 0 407995955 81784832 14045 33554432000 4194304 6210612 140720849846736 140720849844616 140509349497678 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 19967 14045 865 493 0 13272 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 56180 KiB
[startup+3.1091 s]
/proc/loadavg: 1.85 1.99 2.03 3/199 16643
/proc/meminfo: memFree=31198876/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=79868 memory=56316 CPUtime=3.1 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 18496 0 0 0 308 2 0 0 20 0 1 0 407995955 81784832 14079 33554432000 4194304 6210612 140720849846736 140720849844696 5456146 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 19967 14079 866 493 0 13272 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 56316 KiB
[startup+6.30027 s]
/proc/loadavg: 1.85 1.99 2.03 3/199 16643
/proc/meminfo: memFree=31198900/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=79868 memory=56316 CPUtime=6.29 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 24135 0 0 0 627 2 0 0 20 0 1 0 407995955 81784832 14079 33554432000 4194304 6210612 140720849846736 140720849844696 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 19967 14079 866 493 0 13272 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 79868 KiB
Current children cumulated memory: 56316 KiB
[startup+12.7003 s]
/proc/loadavg: 1.87 1.99 2.03 3/199 16644
/proc/meminfo: memFree=31199004/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=80000 memory=56368 CPUtime=12.69 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 29363 0 0 0 1267 2 0 0 20 0 1 0 407995955 81920000 14092 33554432000 4194304 6210612 140720849846736 140720849844696 5452074 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 20000 14092 866 493 0 13305 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 80000 KiB
Current children cumulated memory: 56368 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.99 2.03 3/199 16644
/proc/meminfo: memFree=31198260/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=80528 memory=56940 CPUtime=25.48 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 40663 0 0 0 2545 3 0 0 20 0 1 0 407995955 82460672 14235 33554432000 4194304 6210612 140720849846736 140720849844696 5081588 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 20132 14235 866 493 0 13437 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 80528 KiB
Current children cumulated memory: 56940 KiB
[startup+51.109 s]
/proc/loadavg: 1.93 1.99 2.03 3/200 16646
/proc/meminfo: memFree=31196576/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=81716 memory=58168 CPUtime=51.1 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 43448 0 0 0 5106 4 0 0 20 0 1 0 407995955 83677184 14542 33554432000 4194304 6210612 140720849846736 140720849844392 5442833 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 20429 14542 866 493 0 13734 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 81716 KiB
Current children cumulated memory: 58168 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/199 16650
/proc/meminfo: memFree=31194164/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=83960 memory=60264 CPUtime=102.28 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 52042 0 0 0 10224 4 0 0 20 0 1 0 407995955 85975040 15066 33554432000 4194304 6210612 140720849846736 140720849844392 5455498 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 20990 15066 866 493 0 14295 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 83960 KiB
Current children cumulated memory: 60264 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 16654
/proc/meminfo: memFree=31192668/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=85280 memory=61592 CPUtime=162.28 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 52837 0 0 0 16223 5 0 0 20 0 1 0 407995955 87326720 15398 33554432000 4194304 6210612 140720849846736 140720849844392 140509340476422 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 21320 15398 866 493 0 14625 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 85280 KiB
Current children cumulated memory: 61592 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 16658
/proc/meminfo: memFree=31191788/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=85940 memory=62312 CPUtime=222.28 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 53823 0 0 0 22223 5 0 0 20 0 1 0 407995955 88002560 15578 33554432000 4194304 6210612 140720849846736 140720849844696 5446006 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 21485 15578 866 493 0 14790 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 85940 KiB
Current children cumulated memory: 62312 KiB
[startup+282.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/200 16672
/proc/meminfo: memFree=31191968/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=86600 memory=62936 CPUtime=282.27 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 54676 0 0 0 28222 5 0 0 20 0 1 0 407995955 88678400 15734 33554432000 4194304 6210612 140720849846736 140720849844392 5442920 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 21650 15734 866 493 0 14955 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 86600 KiB
Current children cumulated memory: 62936 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/200 16676
/proc/meminfo: memFree=31191400/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=87260 memory=63632 CPUtime=342.27 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 55393 0 0 0 34222 5 0 0 20 0 1 0 407995955 89354240 15908 33554432000 4194304 6210612 140720849846736 140720849844392 140509340476913 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 21815 15908 866 493 0 15120 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 87260 KiB
Current children cumulated memory: 63632 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/200 16680
/proc/meminfo: memFree=31191204/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=87392 memory=63672 CPUtime=402.27 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 56349 0 0 0 40222 5 0 0 20 0 1 0 407995955 89489408 15918 33554432000 4194304 6210612 140720849846736 140720849844696 5454023 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 21848 15918 866 493 0 15153 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 87392 KiB
Current children cumulated memory: 63672 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 16686
/proc/meminfo: memFree=31190792/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=87656 memory=64004 CPUtime=462.26 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 57002 0 0 0 46221 5 0 0 20 0 1 0 407995955 89759744 16001 33554432000 4194304 6210612 140720849846736 140720849844392 5164306 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 21914 16001 866 493 0 15219 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 87656 KiB
Current children cumulated memory: 64004 KiB
################
# More data... #
################
/proc/16640/statm: 22706 16802 866 493 0 16011 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 90824 KiB
Current children cumulated memory: 67208 KiB
[startup+1782.3 s]
/proc/loadavg: 1.97 1.98 2.02 3/199 17074
/proc/meminfo: memFree=31150336/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90824 memory=67236 CPUtime=1782.21 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 65920 0 0 0 178215 6 0 0 20 0 1 0 407995955 93003776 16809 33554432000 4194304 6210612 140720849846736 140720849844696 5454028 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22706 16809 866 493 0 16011 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 90824 KiB
Current children cumulated memory: 67236 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/199 17078
/proc/meminfo: memFree=31150988/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90824 memory=67236 CPUtime=1842.2 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 66325 0 0 0 184214 6 0 0 20 0 1 0 407995955 93003776 16809 33554432000 4194304 6210612 140720849846736 140720849844696 5446014 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22706 16809 866 493 0 16011 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 90824 KiB
Current children cumulated memory: 67236 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 17084
/proc/meminfo: memFree=31150488/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67320 CPUtime=1902.2 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 66705 0 0 0 190214 6 0 0 20 0 1 0 407995955 93138944 16830 33554432000 4194304 6210612 140720849846736 140720849844392 5442912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16830 866 493 0 16044 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67320 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 17088
/proc/meminfo: memFree=31150520/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67324 CPUtime=1962.2 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 67085 0 0 0 196214 6 0 0 20 0 1 0 407995955 93138944 16831 33554432000 4194304 6210612 140720849846736 140720849844392 5479434 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16831 866 493 0 16044 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67324 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 17092
/proc/meminfo: memFree=31150648/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2022.2 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 67464 0 0 0 202214 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844392 5451256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 17106
/proc/meminfo: memFree=31150804/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2082.2 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 67843 0 0 0 208214 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844392 140509340476882 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 17110
/proc/meminfo: memFree=31150172/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2142.2 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 68223 0 0 0 214214 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844392 5479559 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.02 4/200 17114
/proc/meminfo: memFree=31150260/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2202.19 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 68602 0 0 0 220213 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844392 5446104 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 17120
/proc/meminfo: memFree=31150984/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2262.19 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 68981 0 0 0 226213 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844392 5446014 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 17124
/proc/meminfo: memFree=31150624/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2322.19 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 69360 0 0 0 232213 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844392 5440930 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 17129
/proc/meminfo: memFree=31150360/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2382.19 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 69739 0 0 0 238213 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844392 5164467 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2442.3 s]
/proc/loadavg: 2.47 2.14 2.07 3/199 17135
/proc/meminfo: memFree=31150008/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2442.19 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 70145 0 0 0 244213 6 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844696 5476445 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
[startup+2502.3 s]
/proc/loadavg: 2.17 2.11 2.07 3/199 17139
/proc/meminfo: memFree=31150228/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2502.19 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 70372 0 0 0 250212 7 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844696 5451993 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.14 2.11 2.07 3/199 17140
/proc/meminfo: memFree=31150468/32770624 swapFree=66940128/67108860
[pid=16640] ppid=16637 vsize=90956 memory=67328 CPUtime=2519.9 cores=0,2,4,6
/proc/16640/stat : 16640 (cosoco) R 16637 16640 15554 0 -1 4202496 70595 0 0 0 251983 7 0 0 20 0 1 0 407995955 93138944 16832 33554432000 4194304 6210612 140720849846736 140720849844696 5439650 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30793728 140720849851403 140720849851505 140720849851505 140720849854414 0
/proc/16640/statm: 22739 16832 866 493 0 16044 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 90956 KiB
Current children cumulated memory: 67328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 16640 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.84 s, system=0.071997 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.91
CPU user time (s): 2519.84
CPU system time (s): 0.071997
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 90956
Max. memory (cumulated for all children) (KiB): 67328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.071997
maximum resident set size= 67396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70644
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= 16
involuntary context switches= 3605
# summary of solver processes directly reported to runsolver:
# pid: 16640
# total CPU time (s): 2519.91
# total CPU user time (s): 2519.84
# total CPU system time (s): 0.071997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.62624 second user time and 16.6072 second system time
The end
Begin job on node149 at 2019-09-12 21:45:35 IDJOB=4389627 IDBENCH=120726 IDSOLVER=2829 FILE ID=node149/4389627-1568317572 RUNJOBID= node149-1568311987-15585 PBS_JOBID= 21701127 Free space on /tmp= 57068 MiB SOLVER NAME= cosoco 2 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-4389627-1568317572/watcher-4389627-1568317572 -o /tmp/evaluation-result-4389627-1568317572/solver-4389627-1568317572 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15585 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389627-1568317572.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f6de09233a74707b341bbe4fbe6d65e2 RANDOM SEED=1515457611 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 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: 31252576 kB MemAvailable: 31859344 kB Buffers: 116808 kB Cached: 789440 kB SwapCached: 61000 kB Active: 376560 kB Inactive: 591856 kB Active(anon): 30720 kB Inactive(anon): 71400 kB Active(file): 345840 kB Inactive(file): 520456 kB Unevictable: 111364 kB Mlocked: 111364 kB SwapTotal: 67108860 kB SwapFree: 66940128 kB Dirty: 2896 kB Writeback: 0 kB AnonPages: 113728 kB Mapped: 43980 kB Shmem: 31072 kB Slab: 141684 kB SReclaimable: 112612 kB SUnreclaim: 29072 kB KernelStack: 3552 kB PageTables: 4984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 528696 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: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 57064 MiB End job on node149 at 2019-09-12 22:27:35