| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-mini 1.12 | ? (TO) | 2400.0701 | 2400.2 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K14-P07.xml |
| MD5SUM | 539390230adc3c5191c5e54bc0e1cdf0 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1554 |
| Number of constraints | 723 |
| Number of domains | 2 |
| Minimum domain size | 721 |
| Maximum domain size | 722 |
| Distribution of domain sizes | [{"size":721,"count":721},{"size":722,"count":98}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 16 |
| Distribution of variable degrees | [{"degree":0,"count":735},{"degree":2,"count":721},{"degree":15,"count":28},{"degree":16,"count":70}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 721 |
| Distribution of constraint arities | [{"arity":3,"count":721},{"arity":98,"count":1},{"arity":721,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 721 |
| Distribution of constraint types | [{"type":"intension","count":721},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.81/0.90 c root propagations : 0 0.81/0.90 c restarts enabled, print stats at every restarts 0.81/0.90 c 0.81/0.90 c 0.81/0.90 c 0.81/0.90 c This is cosoco 1.12 -- 0.81/0.90 c 0.81/0.90 c command line: cosoco -lc -model -restarts HOME/instance-4267269-1502744157.xml 0.81/0.90 c ========================================[ Problem Statistics ]=========================================== 0.81/0.90 c | 0.81/0.90 c | Parse time : 0.80 s 0.81/0.90 c | 0.81/0.90 c | Variables: 1554 0.81/0.90 c | Domain Sizes: 721..722 0.81/0.90 c | 0.81/0.90 c | Constraints: 723 0.81/0.90 c | Arity: 3..721 -- Ternary: 721 0.81/0.90 c | 0.81/0.90 c | Types: 0.81/0.90 c | All Different: 2 0.81/0.90 c | Intension: 721 0.81/0.90 c | 0.81/0.90 c ========================================================================================================= 0.81/0.90 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.81/0.90 c remove useless variable ce[0][0][0] 0.81/0.90 c remove useless variable ce[0][1][0] 0.81/0.90 c remove useless variable ce[0][1][1] 0.81/0.90 c remove useless variable ce[0][2][0] 0.81/0.90 c remove useless variable ce[0][2][1] 0.81/0.90 c remove useless variable ce[0][2][2] 0.81/0.90 c remove useless variable ce[0][3][0] 0.81/0.90 c remove useless variable ce[0][3][1] 0.81/0.90 c remove useless variable ce[0][3][2] 0.81/0.90 c remove useless variable ce[0][3][3] 0.81/0.90 c remove useless variable ce[0][4][0] 0.81/0.90 c remove useless variable ce[0][4][1] 0.81/0.90 c remove useless variable ce[0][4][2] 0.81/0.90 c remove useless variable ce[0][4][3] 0.81/0.90 c remove useless variable ce[0][4][4] 0.81/0.90 c remove useless variable ce[0][5][0] 0.81/0.90 c remove useless variable ce[0][5][1] 0.81/0.90 c remove useless variable ce[0][5][2] 0.81/0.90 c remove useless variable ce[0][5][3] 0.81/0.90 c remove useless variable ce[0][5][4] 0.81/0.90 c remove useless variable ce[0][5][5] 0.81/0.90 c remove useless variable ce[0][6][0] 0.81/0.90 c remove useless variable ce[0][6][1] 0.81/0.90 c remove useless variable ce[0][6][2] 0.81/0.90 c remove useless variable ce[0][6][3] 0.81/0.90 c remove useless variable ce[0][6][4] 0.81/0.90 c remove useless variable ce[0][6][5] 0.81/0.90 c remove useless variable ce[0][6][6] 0.81/0.90 c remove useless variable ce[0][7][0] 0.81/0.90 c remove useless variable ce[0][7][1] 0.81/0.90 c remove useless variable ce[0][7][2] 0.81/0.90 c remove useless variable ce[0][7][3] 0.81/0.90 c remove useless variable ce[0][7][4] 0.81/0.90 c remove useless variable ce[0][7][5] 0.81/0.90 c remove useless variable ce[0][7][6] 0.81/0.90 c remove useless variable ce[0][7][7] 0.81/0.90 c remove useless variable ce[0][8][0] 0.81/0.90 c remove useless variable ce[0][8][1] 0.81/0.90 c remove useless variable ce[0][8][2] 0.81/0.90 c remove useless variable ce[0][8][3] 0.81/0.90 c remove useless variable ce[0][8][4] 0.81/0.90 c remove useless variable ce[0][8][5] 0.81/0.90 c remove useless variable ce[0][8][6] 0.81/0.90 c remove useless variable ce[0][8][7] 0.81/0.90 c remove useless variable ce[0][8][8] 0.81/0.90 c remove useless variable ce[0][9][0] 0.81/0.90 c remove useless variable ce[0][9][1] 0.81/0.90 c remove useless variable ce[0][9][2] 0.81/0.90 c remove useless variable ce[0][9][3] 0.81/0.90 c remove useless variable ce[0][9][4] 0.81/0.90 c remove useless variable ce[0][9][5] 0.81/0.90 c remove useless variable ce[0][9][6] 0.81/0.90 c remove useless variable ce[0][9][7] 0.81/0.90 c remove useless variable ce[0][9][8] 0.81/0.90 c remove useless variable ce[0][9][9] 0.81/0.90 c remove useless variable ce[0][10][0] 0.81/0.90 c remove useless variable ce[0][10][1] 0.81/0.90 c remove useless variable ce[0][10][2] 0.81/0.90 c remove useless variable ce[0][10][3] 0.81/0.90 c remove useless variable ce[0][10][4] 0.81/0.90 c remove useless variable ce[0][10][5] 0.81/0.90 c remove useless variable ce[0][10][6] 0.81/0.90 c remove useless variable ce[0][10][7] 0.81/0.90 c remove useless variable ce[0][10][8] 0.81/0.90 c remove useless variable ce[0][10][9] 0.81/0.90 c remove useless variable ce[0][10][10] 0.81/0.90 c remove useless variable ce[0][11][0] 0.81/0.90 c remove useless variable ce[0][11][1] 0.81/0.90 c remove useless variable ce[0][11][2] 0.81/0.90 c remove useless variable ce[0][11][3] 0.81/0.90 c remove useless variable ce[0][11][4] 0.81/0.90 c remove useless variable ce[0][11][5] 0.81/0.90 c remove useless variable ce[0][11][6] 0.81/0.90 c remove useless variable ce[0][11][7] 0.81/0.90 c remove useless variable ce[0][11][8] 0.81/0.90 c remove useless variable ce[0][11][9] 0.81/0.90 c remove useless variable ce[0][11][10] 0.81/0.90 c remove useless variable ce[0][11][11] 0.81/0.90 c remove useless variable ce[0][12][0] 0.81/0.90 c remove useless variable ce[0][12][1] 0.81/0.90 c remove useless variable ce[0][12][2] 0.81/0.90 c remove useless variable ce[0][12][3] 0.81/0.90 c remove useless variable ce[0][12][4] 0.81/0.90 c remove useless variable ce[0][12][5] 0.81/0.90 c remove useless variable ce[0][12][6] 0.81/0.90 c remove useless variable ce[0][12][7] 0.81/0.90 c remove useless variable ce[0][12][8] 0.81/0.90 c remove useless variable ce[0][12][9] 0.81/0.90 c remove useless variable ce[0][12][10] 0.81/0.90 c remove useless variable ce[0][12][11] 0.81/0.90 c remove useless variable ce[0][12][12] 0.81/0.90 c remove useless variable ce[0][13][0] 0.81/0.90 c remove useless variable ce[0][13][1] 0.81/0.90 c remove useless variable ce[0][13][2] 0.81/0.90 c remove useless variable ce[0][13][3] 0.81/0.90 c remove useless variable ce[0][13][4] 0.81/0.90 c remove useless variable ce[0][13][5] 0.81/0.90 c remove useless variable ce[0][13][6] 0.81/0.90 c remove useless variable ce[0][13][7] 0.81/0.90 c remove useless variable ce[0][13][8] 0.81/0.90 c remove useless variable ce[0][13][9] 0.81/0.90 c remove useless variable ce[0][13][10] 0.81/0.90 c remove useless variable ce[0][13][11] 0.81/0.90 c remove useless variable ce[0][13][12] 0.81/0.90 c remove useless variable ce[0][13][13] 0.81/0.90 c remove useless variable ce[1][0][0] 0.81/0.90 c remove useless variable ce[1][1][0] 0.81/0.90 c remove useless variable ce[1][1][1] 0.81/0.90 c remove useless variable ce[1][2][0] 0.81/0.90 c remove useless variable ce[1][2][1] 0.81/0.90 c remove useless variable ce[1][2][2] 0.81/0.90 c remove useless variable ce[1][3][0] 0.81/0.90 c remove useless variable ce[1][3][1] 0.81/0.90 c remove useless variable ce[1][3][2] 0.81/0.90 c remove useless variable ce[1][3][3] 0.81/0.90 c remove useless variable ce[1][4][0] 0.81/0.90 c remove useless variable ce[1][4][1] 0.81/0.90 c remove useless variable ce[1][4][2] 0.81/0.90 c remove useless variable ce[1][4][3] 0.81/0.90 c remove useless variable ce[1][4][4] 0.81/0.90 c remove useless variable ce[1][5][0] 0.81/0.90 c remove useless variable ce[1][5][1] 0.81/0.90 c remove useless variable ce[1][5][2] 0.81/0.90 c remove useless variable ce[1][5][3] 0.81/0.90 c remove useless variable ce[1][5][4] 0.81/0.90 c remove useless variable ce[1][5][5] 0.81/0.90 c remove useless variable ce[1][6][0] 0.81/0.90 c remove useless variable ce[1][6][1] 0.81/0.90 c remove useless variable ce[1][6][2] 0.81/0.90 c remove useless variable ce[1][6][3] 0.81/0.90 c remove useless variable ce[1][6][4] 0.81/0.90 c remove useless variable ce[1][6][5] 0.81/0.90 c remove useless variable ce[1][6][6] 0.81/0.90 c remove useless variable ce[1][7][0] 0.81/0.90 c remove useless variable ce[1][7][1] 0.81/0.90 c remove useless variable ce[1][7][2] 0.81/0.90 c remove useless variable ce[1][7][3] 0.81/0.90 c remove useless variable ce[1][7][4] 0.81/0.90 c remove useless variable ce[1][7][5] 0.81/0.90 c remove useless variable ce[1][7][6] 0.81/0.90 c remove useless variable ce[1][7][7] 0.81/0.90 c remove useless variable ce[1][8][0] 0.81/0.90 c remove useless variable ce[1][8][1] 0.81/0.90 c remove useless variable ce[1][8][2] 0.81/0.90 c remove useless variable ce[1][8][3] 0.81/0.90 c remove useless variable ce[1][8][4] 0.81/0.90 c remove useless variable ce[1][8][5] 0.81/0.90 c remove useless variable ce[1][8][6] 0.81/0.90 c remove useless variable ce[1][8][7] 0.81/0.90 c remove useless variable ce[1][8][8] 0.81/0.90 c remove useless variable ce[1][9][0] 0.81/0.90 c remove useless variable ce[1][9][1] 0.81/0.90 c remove useless variable ce[1][9][2] 0.81/0.90 c remove useless variable ce[1][9][3] 0.81/0.90 c remove useless variable ce[1][9][4] 0.81/0.90 c remove useless variable ce[1][9][5] 0.81/0.90 c remove useless variable ce[1][9][6] 0.81/0.90 c remove useless variable ce[1][9][7] 0.81/0.90 c remove useless variable ce[1][9][8] 0.81/0.90 c remove useless variable ce[1][9][9] 0.81/0.90 c remove useless variable ce[1][10][0] 0.81/0.90 c remove useless variable ce[1][10][1] 0.81/0.90 c remove useless variable ce[1][10][2] 0.81/0.90 c remove useless variable ce[1][10][3] 0.81/0.90 c remove useless variable ce[1][10][4] 0.81/0.90 c remove useless variable ce[1][10][5] 0.81/0.90 c remove useless variable ce[1][10][6] 0.81/0.90 c remove useless variable ce[1][10][7] 0.81/0.90 c remove useless variable ce[1][10][8] 0.81/0.90 c remove useless variable ce[1][10][9] 0.81/0.90 c remove useless variable ce[1][10][10] 0.81/0.90 c remove useless variable ce[1][11][0] 0.81/0.90 c remove useless variable ce[1][11][1] 0.81/0.90 c remove useless variable ce[1][11][2] 0.81/0.90 c remove useless variable ce[1][11][3] 0.81/0.90 c remove useless variable ce[1][11][4] 0.81/0.90 c remove useless variable ce[1][11][5] 0.81/0.90 c remove useless variable ce[1][11][6] 0.81/0.90 c remove useless variable ce[1][11][7] 0.81/0.90 c remove useless variable ce[1][11][8] 0.81/0.90 c remove useless variable ce[1][11][9] 0.81/0.90 c remove useless variable ce[1][11][10] 0.81/0.90 c remove useless variable ce[1][11][11] 0.81/0.90 c remove useless variable ce[1][12][0] 0.81/0.90 c remove useless variable ce[1][12][1] 0.81/0.90 c remove useless variable ce[1][12][2] 0.81/0.90 c remove useless variable ce[1][12][3] 0.81/0.90 c remove useless variable ce[1][12][4] 0.81/0.90 c remove useless variable ce[1][12][5] 0.81/0.90 c remove useless variable ce[1][12][6] 0.81/0.90 c remove useless variable ce[1][12][7] 0.81/0.90 c remove useless variable ce[1][12][8] 0.81/0.90 c remove useless variable ce[1][12][9] 0.81/0.90 c remove useless variable ce[1][12][10] 0.81/0.90 c remove useless variable ce[1][12][11] 0.81/0.90 c remove useless variable ce[1][12][12] 0.81/0.90 c remove useless variable ce[1][13][0] 0.81/0.90 c remove useless variable ce[1][13][1] 0.81/0.90 c remove useless variable ce[1][13][2] 0.81/0.90 c remove useless variable ce[1][13][3] 0.81/0.90 c remove useless variable ce[1][13][4] 0.81/0.90 c remove useless variable ce[1][13][5] 0.81/0.90 c remove useless variable ce[1][13][6] 0.81/0.90 c remove useless variable ce[1][13][7] 0.81/0.90 c remove useless variable ce[1][13][8] 0.81/0.90 c remove useless variable ce[1][13][9] 0.81/0.90 c remove useless variable ce[1][13][10] 0.81/0.90 c remove useless variable ce[1][13][11] 0.81/0.90 c remove useless variable ce[1][13][12] 0.81/0.90 c remove useless variable ce[1][13][13] 0.81/0.90 c remove useless variable ce[2][0][0] 0.81/0.90 c remove useless variable ce[2][1][0] 0.81/0.90 c remove useless variable ce[2][1][1] 0.81/0.90 c remove useless variable ce[2][2][0] 0.81/0.90 c remove useless variable ce[2][2][1] 0.81/0.90 c remove useless variable ce[2][2][2] 0.81/0.90 c remove useless variable ce[2][3][0] 0.81/0.90 c remove useless variable ce[2][3][1] 0.81/0.90 c remove useless variable ce[2][3][2] 0.81/0.90 c remove useless variable ce[2][3][3] 0.81/0.90 c remove useless variable ce[2][4][0] 0.81/0.90 c remove useless variable ce[2][4][1] 0.81/0.90 c remove useless variable ce[2][4][2] 0.81/0.90 c remove useless variable ce[2][4][3] 0.81/0.90 c remove useless variable ce[2][4][4] 0.81/0.90 c remove useless variable ce[2][5][0] 0.81/0.90 c remove useless variable ce[2][5][1] 0.81/0.90 c remove useless variable ce[2][5][2] 0.81/0.90 c remove useless variable ce[2][5][3] 0.81/0.90 c remove useless variable ce[2][5][4] 0.81/0.90 c remove useless variable ce[2][5][5] 0.81/0.90 c remove useless variable ce[2][6][0] 0.81/0.90 c remove useless variable ce[2][6][1] 0.81/0.90 c remove useless variable ce[2][6][2] 0.81/0.90 c remove useless variable ce[2][6][3] 0.81/0.90 c remove useless variable ce[2][6][4] 0.81/0.90 c remove useless variable ce[2][6][5] 0.81/0.90 c remove useless variable ce[2][6][6] 0.81/0.90 c remove useless variable ce[2][7][0] 0.81/0.90 c remove useless variable ce[2][7][1] 0.81/0.90 c remove useless variable ce[2][7][2] 0.81/0.90 c remove useless variable ce[2][7][3] 0.81/0.90 c remove useless variable ce[2][7][4] 0.81/0.90 c remove useless variable ce[2][7][5] 0.81/0.90 c remove useless variable ce[2][7][6] 0.81/0.90 c remove useless variable ce[2][7][7] 0.81/0.90 c remove useless variable ce[2][8][0] 0.81/0.90 c remove useless variable ce[2][8][1] 0.81/0.90 c remove useless variable ce[2][8][2] 0.81/0.90 c remove useless variable ce[2][8][3] 0.81/0.90 c remove useless variable ce[2][8][4] 0.81/0.90 c remove useless variable ce[2][8][5] 0.81/0.90 c remove useless variable ce[2][8][6] 0.81/0.90 c remove useless variable ce[2][8][7] 0.81/0.90 c remove useless variable ce[2][8][8] 0.81/0.90 c remove useless variable ce[2][9][0] 0.81/0.90 c remove useless variable ce[2][9][1] 0.81/0.90 c remove useless variable ce[2][9][2] 0.81/0.90 c remove useless variable ce[2][9][3] 0.81/0.90 c remove useless variable ce[2][9][4] 0.81/0.90 c remove useless variable ce[2][9][5] 0.81/0.90 c remove useless variable ce[2][9][6] 0.81/0.90 c remove useless variable ce[2][9][7] 0.81/0.90 c remove useless variable ce[2][9][8] 0.81/0.90 c remove useless variable ce[2][9][9] 0.81/0.90 c remove useless variable ce[2][10][0] 0.81/0.90 c remove useless variable ce[2][10][1] 0.81/0.90 c remove useless variable ce[2][10][2] 0.81/0.90 c remove useless variable ce[2][10][3] 0.81/0.90 c remove useless variable ce[2][10][4] 0.81/0.90 c remove useless variable ce[2][10][5] 0.81/0.90 c remove useless variable ce[2][10][6] 0.81/0.90 c remove useless variable ce[2][10][7] 0.81/0.90 c remove useless variable ce[2][10][8] 0.81/0.90 c remove useless variable ce[2][10][9] 0.81/0.90 c remove useless variable ce[2][10][10] 0.81/0.90 c remove useless variable ce[2][11][0] 0.81/0.90 c remove useless variable ce[2][11][1] 0.81/0.90 c remove useless variable ce[2][11][2] 0.81/0.90 c remove useless variable ce[2][11][3] 0.81/0.90 c remove useless variable ce[2][11][4] 0.81/0.90 c remove useless variable ce[2][11][5] 0.81/0.90 c remove useless variable ce[2][11][6] 0.81/0.90 c remove useless variable ce[2][11][7] 0.81/0.90 c remove useless variable ce[2][11][8] 0.81/0.90 c remove useless variable ce[2][11][9] 0.81/0.90 c remove useless variable ce[2][11][10] 0.81/0.90 c remove useless variable ce[2][11][11] 0.81/0.90 c remove useless variable ce[2][12][0] 0.81/0.90 c remove useless variable ce[2][12][1] 0.81/0.90 c remove useless variable ce[2][12][2] 0.81/0.90 c remove useless variable ce[2][12][3] 0.81/0.90 c remove useless variable ce[2][12][4] 0.81/0.90 c remove useless variable ce[2][12][5] 0.81/0.90 c remove useless variable ce[2][12][6] 0.81/0.90 c remove useless variable ce[2][12][7] 0.81/0.90 c remove useless variable ce[2][12][8] 0.81/0.90 c remove useless variable ce[2][12][9] 0.81/0.90 c remove useless variable ce[2][12][10] 0.81/0.90 c remove useless variable ce[2][12][11] 0.81/0.90 c remove useless variable ce[2][12][12] 0.81/0.90 c remove useless variable ce[2][13][0] 0.81/0.90 c remove useless variable ce[2][13][1] 0.81/0.90 c remove useless variable ce[2][13][2] 0.81/0.90 c remove useless variable ce[2][13][3] 0.81/0.90 c remove useless variable ce[2][13][4] 0.81/0.90 c remove useless variable ce[2][13][5] 0.81/0.90 c remove useless variable ce[2][13][6] 0.81/0.90 c remove useless variable ce[2][13][7] 0.81/0.90 c remove useless variable ce[2][13][8] 0.81/0.90 c remove useless variable ce[2][13][9] 0.81/0.90 c remove useless variable ce[2][13][10] 0.81/0.90 c remove useless variable ce[2][13][11] 0.81/0.90 c remove useless variable ce[2][13][12] 0.81/0.90 c remove useless variable ce[2][13][13] 0.81/0.90 c remove useless variable ce[3][0][0] 0.81/0.90 c remove useless variable ce[3][1][0] 0.81/0.90 c remove useless variable ce[3][1][1] 0.81/0.90 c remove useless variable ce[3][2][0] 0.81/0.90 c remove useless variable ce[3][2][1] 0.81/0.90 c remove useless variable ce[3][2][2] 0.81/0.90 c remove useless variable ce[3][3][0] 0.81/0.90 c remove useless variable ce[3][3][1] 0.81/0.90 c remove useless variable ce[3][3][2] 0.81/0.90 c remove useless variable ce[3][3][3] 0.81/0.90 c remove useless variable ce[3][4][0] 0.81/0.90 c remove useless variable ce[3][4][1] 0.81/0.90 c remove useless variable ce[3][4][2] 0.81/0.90 c remove useless variable ce[3][4][3] 0.81/0.90 c remove useless variable ce[3][4][4] 0.81/0.90 c remove useless variable ce[3][5][0] 0.81/0.90 c remove useless variable ce[3][5][1] 0.81/0.90 c remove useless variable ce[3][5][2] 0.81/0.90 c remove useless variable ce[3][5][3] 0.81/0.90 c remove useless variable ce[3][5][4] 0.81/0.90 c remove useless variable ce[3][5][5] 0.81/0.90 c remove useless variable ce[3][6][0] 0.81/0.90 c remove useless variable ce[3][6][1] 0.81/0.90 c remove useless variable ce[3][6][2] 0.81/0.90 c remove useless variable ce[3][6][3] 0.81/0.90 c remove useless variable ce[3][6][4] 0.81/0.90 c remove useless variable ce[3][6][5] 0.81/0.90 c remove useless variable ce[3][6][6] 0.81/0.90 c remove useless variable ce[3][7][0] 0.81/0.90 c remove useless variable ce[3][7][1] 0.81/0.90 c remove useless variable ce[3][7][2] 0.81/0.90 c remove useless variable ce[3][7][3] 0.81/0.90 c remove useless variable ce[3][7][4] 0.81/0.90 c remove useless variable ce[3][7][5] 0.81/0.90 c remove useless variable ce[3][7][6] 0.81/0.90 c remove useless variable ce[3][7][7] 0.81/0.90 c remove useless variable ce[3][8][0] 0.81/0.90 c remove useless variable ce[3][8][1] 0.81/0.90 c remove useless variable ce[3][8][2] 0.81/0.90 c remove useless variable ce[3][8][3] 0.81/0.90 c remove useless variable ce[3][8][4] 0.81/0.90 c remove useless variable ce[3][8][5] 0.81/0.90 c remove useless variable ce[3][8][6] 0.81/0.90 c remove useless variable ce[3][8][7] 0.81/0.90 c remove useless variable ce[3][8][8] 0.81/0.90 c remove useless variable ce[3][9][0] 0.81/0.90 c remove useless variable ce[3][9][1] 0.81/0.90 c remove useless variable ce[3][9][2] 0.81/0.90 c remove useless variable ce[3][9][3] 0.81/0.90 c remove useless variable ce[3][9][4] 0.81/0.90 c remove useless variable ce[3][9][5] 0.81/0.90 c remove useless variable ce[3][9][6] 0.81/0.90 c remove useless variable ce[3][9][7] 0.81/0.90 c remove useless variable ce[3][9][8] 0.81/0.90 c remove useless variable ce[3][9][9] 0.81/0.90 c remove useless variable ce[3][10][0] 0.81/0.90 c remove useless variable ce[3][10][1] 0.81/0.90 c remove useless variable ce[3][10][2] 0.81/0.90 c remove useless variable ce[3][10][3] 0.81/0.90 c remove useless variable ce[3][10][4] 0.81/0.90 c remove useless variable ce[3][10][5] 0.81/0.90 c remove useless variable ce[3][10][6] 0.81/0.90 c remove useless variable ce[3][10][7] 0.81/0.90 c remove useless variable ce[3][10][8] 0.81/0.90 c remove useless variable ce[3][10][9] 0.81/0.90 c remove useless variable ce[3][10][10] 0.81/0.90 c remove useless variable ce[3][11][0] 0.81/0.90 c remove useless variable ce[3][11][1] 0.81/0.90 c remove useless variable ce[3][11][2] 0.81/0.90 c remove useless variable ce[3][11][3] 0.81/0.90 c remove useless variable ce[3][11][4] 0.81/0.90 c remove useless variable ce[3][11][5] 0.81/0.90 c remove useless variable ce[3][11][6] 0.81/0.90 c remove useless variable ce[3][11][7] 0.81/0.90 c remove useless variable ce[3][11][8] 0.81/0.90 c remove useless variable ce[3][11][9] 0.81/0.90 c remove useless variable ce[3][11][10] 0.81/0.90 c remove useless variable ce[3][11][11] 0.81/0.90 c remove useless variable ce[3][12][0] 0.81/0.90 c remove useless variable ce[3][12][1] 0.81/0.90 c remove useless variable ce[3][12][2] 0.81/0.90 c remove useless variable ce[3][12][3] 0.81/0.90 c remove useless variable ce[3][12][4] 0.81/0.90 c remove useless variable ce[3][12][5] 0.81/0.90 c remove useless variable ce[3][12][6] 0.81/0.90 c remove useless variable ce[3][12][7] 0.81/0.90 c remove useless variable ce[3][12][8] 0.81/0.90 c remove useless variable ce[3][12][9] 0.81/0.90 c remove useless variable ce[3][12][10] 0.81/0.90 c remove useless variable ce[3][12][11] 0.81/0.90 c remove useless variable ce[3][12][12] 0.81/0.90 c remove useless variable ce[3][13][0] 0.81/0.90 c remove useless variable ce[3][13][1] 0.81/0.90 c remove useless variable ce[3][13][2] 0.81/0.90 c remove useless variable ce[3][13][3] 0.81/0.90 c remove useless variable ce[3][13][4] 0.81/0.90 c remove useless variable ce[3][13][5] 0.81/0.90 c remove useless variable ce[3][13][6] 0.81/0.90 c remove useless variable ce[3][13][7] 0.81/0.90 c remove useless variable ce[3][13][8] 0.81/0.90 c remove useless variable ce[3][13][9] 0.81/0.90 c remove useless variable ce[3][13][10] 0.81/0.90 c remove useless variable ce[3][13][11] 0.81/0.90 c remove useless variable ce[3][13][12] 0.81/0.90 c remove useless variable ce[3][13][13] 0.81/0.90 c remove useless variable ce[4][0][0] 0.81/0.90 c remove useless variable ce[4][1][0] 0.81/0.90 c remove useless variable ce[4][1][1] 0.81/0.90 c remove useless variable ce[4][2][0] 0.81/0.90 c remove useless variable ce[4][2][1] 0.81/0.90 c remove useless variable ce[4][2][2] 0.81/0.90 c remove useless variable ce[4][3][0] 0.81/0.90 c remove useless variable ce[4][3][1] 0.81/0.90 c remove useless variable ce[4][3][2] 0.81/0.90 c remove useless variable ce[4][3][3] 0.81/0.90 c remove useless variable ce[4][4][0] 0.81/0.90 c remove useless variable ce[4][4][1] 0.81/0.90 c remove useless variable ce[4][4][2] 0.81/0.90 c remove useless variable ce[4][4][3] 0.81/0.90 c remove useless variable ce[4][4][4] 0.81/0.90 c remove useless variable ce[4][5][0] 0.81/0.90 c remove useless variable ce[4][5][1] 0.81/0.90 c remove useless variable ce[4][5][2] 0.81/0.90 c remove useless variable ce[4][5][3] 0.81/0.90 c remove useless variable ce[4][5][4] 0.81/0.90 c remove useless variable ce[4][5][5] 0.81/0.90 c remove useless variable ce[4][6][0] 0.81/0.90 c remove useless variable ce[4][6][1] 0.81/0.90 c remove useless variable ce[4][6][2] 0.81/0.90 c remove useless variable ce[4][6][3] 0.81/0.90 c remove useless variable ce[4][6][4] 0.81/0.90 c remove useless variable ce[4][6][5] 0.81/0.90 c remove useless variable ce[4][6][6] 0.81/0.90 c remove useless variable ce[4][7][0] 0.81/0.90 c remove useless variable ce[4][7][1] 0.81/0.90 c remove useless variable ce[4][7][2] 0.81/0.90 c remove useless variable ce[4][7][3] 0.81/0.90 c remove useless variable ce[4][7][4] 0.81/0.90 c remove useless variable ce[4][7][5] 0.81/0.90 c remove useless variable ce[4][7][6] 0.81/0.90 c remove useless variable ce[4][7][7] 0.81/0.90 c remove useless variable ce[4][8][0] 0.81/0.90 c remove useless variable ce[4][8][1] 0.81/0.90 c remove useless variable ce[4][8][2] 0.81/0.90 c remove useless variable ce[4][8][3] 0.81/0.90 c remove useless variable ce[4][8][4] 0.81/0.90 c remove useless variable ce[4][8][5] 0.81/0.90 c remove useless variable ce[4][8][6] 0.81/0.90 c remove useless variable ce[4][8][7] 0.81/0.90 c remove useless variable ce[4][8][8] 0.81/0.90 c remove useless variable ce[4][9][0] 0.81/0.90 c remove useless variable ce[4][9][1] 0.81/0.90 c remove useless variable ce[4][9][2] 0.81/0.90 c remove useless variable ce[4][9][3] 0.81/0.90 c remove useless variable ce[4][9][4] 0.81/0.90 c remove useless variable ce[4][9][5] 0.81/0.90 c remove useless variable ce[4][9][6] 0.81/0.90 c remove useless variable ce[4][9][7] 0.81/0.90 c remove useless variable ce[4][9][8] 0.81/0.90 c remove useless variable ce[4][9][9] 0.81/0.90 c remove useless variable ce[4][10][0] 0.81/0.90 c remove useless variable ce[4][10][1] 0.81/0.90 c remove useless variable ce[4][10][2] 0.81/0.90 c remove useless variable ce[4][10][3] 0.81/0.90 c remove useless variable ce[4][10][4] 0.81/0.90 c remove useless variable ce[4][10][5] 0.81/0.90 c remove useless variable ce[4][10][6] 0.81/0.90 c remove useless variable ce[4][10][7] 0.81/0.90 c remove useless variable ce[4][10][8] 0.81/0.90 c remove useless variable ce[4][10][9] 0.81/0.90 c remove useless variable ce[4][10][10] 0.81/0.90 c remove useless variable ce[4][11][0] 0.81/0.90 c remove useless variable ce[4][11][1] 0.81/0.90 c remove useless variable ce[4][11][2] 0.81/0.90 c remove useless variable ce[4][11][3] 0.81/0.90 c remove useless variable ce[4][11][4] 0.81/0.90 c remove useless variable ce[4][11][5] 0.81/0.90 c remove useless variable ce[4][11][6] 0.81/0.90 c remove useless variable ce[4][11][7] 0.81/0.90 c remove useless variable ce[4][11][8] 0.81/0.90 c remove useless variable ce[4][11][9] 0.81/0.90 c remove useless variable ce[4][11][10] 0.81/0.90 c remove useless variable ce[4][11][11] 0.81/0.90 c remove useless variable ce[4][12][0] 0.81/0.90 c remove useless variable ce[4][12][1] 0.81/0.90 c remove useless variable ce[4][12][2] 0.81/0.90 c remove useless variable ce[4][12][3] 0.81/0.90 c remove useless variable ce[4][12][4] 0.81/0.90 c remove useless variable ce[4][12][5] 0.81/0.90 c remove useless variable ce[4][12][6] 0.81/0.90 c remove useless variable ce[4][12][7] 0.81/0.90 c remove useless variable ce[4][12][8] 0.81/0.90 c remove useless variable ce[4][12][9] 0.81/0.90 c remove useless variable ce[4][12][10] 0.81/0.90 c remove useless variable ce[4][12][11] 0.81/0.90 c remove useless variable ce[4][12][12] 0.81/0.90 c remove useless variable ce[4][13][0] 0.81/0.90 c remove useless variable ce[4][13][1] 0.81/0.90 c remove useless variable ce[4][13][2] 0.81/0.90 c remove useless variable ce[4][13][3] 0.81/0.90 c remove useless variable ce[4][13][4] 0.81/0.90 c remove useless variable ce[4][13][5] 0.81/0.90 c remove useless variable ce[4][13][6] 0.81/0.90 c remove useless variable ce[4][13][7] 0.81/0.90 c remove useless variable ce[4][13][8] 0.81/0.90 c remove useless variable ce[4][13][9] 0.81/0.90 c remove useless variable ce[4][13][10] 0.81/0.90 c remove useless variable ce[4][13][11] 0.81/0.90 c remove useless variable ce[4][13][12] 0.81/0.90 c remove useless variable ce[4][13][13] 0.81/0.90 c remove useless variable ce[5][0][0] 0.81/0.90 c remove useless variable ce[5][1][0] 0.81/0.90 c remove useless variable ce[5][1][1] 0.81/0.90 c remove useless variable ce[5][2][0] 0.81/0.90 c remove useless variable ce[5][2][1] 0.81/0.90 c remove useless variable ce[5][2][2] 0.81/0.90 c remove useless variable ce[5][3][0] 0.81/0.90 c remove useless variable ce[5][3][1] 0.81/0.90 c remove useless variable ce[5][3][2] 0.81/0.90 c remove useless variable ce[5][3][3] 0.81/0.90 c remove useless variable ce[5][4][0] 0.81/0.90 c remove useless variable ce[5][4][1] 0.81/0.90 c remove useless variable ce[5][4][2] 0.81/0.90 c remove useless variable ce[5][4][3] 0.81/0.90 c remove useless variable ce[5][4][4] 0.81/0.90 c remove useless variable ce[5][5][0] 0.81/0.90 c remove useless variable ce[5][5][1] 0.81/0.90 c remove useless variable ce[5][5][2] 0.81/0.90 c remove useless variable ce[5][5][3] 0.81/0.90 c remove useless variable ce[5][5][4] 0.81/0.90 c remove useless variable ce[5][5][5] 0.81/0.90 c remove useless variable ce[5][6][0] 0.81/0.90 c remove useless variable ce[5][6][1] 0.81/0.90 c remove useless variable ce[5][6][2] 0.81/0.90 c remove useless variable ce[5][6][3] 0.81/0.90 c remove useless variable ce[5][6][4] 0.81/0.90 c remove useless variable ce[5][6][5] 0.81/0.90 c remove useless variable ce[5][6][6] 0.81/0.90 c remove useless variable ce[5][7][0] 0.81/0.90 c remove useless variable ce[5][7][1] 0.81/0.90 c remove useless variable ce[5][7][2] 0.81/0.90 c remove useless variable ce[5][7][3] 0.81/0.90 c remove useless variable ce[5][7][4] 0.81/0.90 c remove useless variable ce[5][7][5] 0.81/0.90 c remove useless variable ce[5][7][6] 0.81/0.90 c remove useless variable ce[5][7][7] 0.81/0.90 c remove useless variable ce[5][8][0] 0.81/0.90 c remove useless variable ce[5][8][1] 0.81/0.90 c remove useless variable ce[5][8][2] 0.81/0.90 c remove useless variable ce[5][8][3] 0.81/0.90 c remove useless variable ce[5][8][4] 0.81/0.90 c remove useless variable ce[5][8][5] 0.81/0.90 c remove useless variable ce[5][8][6] 0.81/0.90 c remove useless variable ce[5][8][7] 0.81/0.90 c remove useless variable ce[5][8][8] 0.81/0.90 c remove useless variable ce[5][9][0] 0.81/0.90 c remove useless variable ce[5][9][1] 0.81/0.90 c remove useless variable ce[5][9][2] 0.81/0.90 c remove useless variable ce[5][9][3] 0.81/0.90 c remove useless variable ce[5][9][4] 0.81/0.90 c remove useless variable ce[5][9][5] 0.81/0.90 c remove useless variable ce[5][9][6] 0.81/0.90 c remove useless variable ce[5][9][7] 0.81/0.90 c remove useless variable ce[5][9][8] 0.81/0.90 c remove useless variable ce[5][9][9] 0.81/0.90 c remove useless variable ce[5][10][0] 0.81/0.90 c remove useless variable ce[5][10][1] 0.81/0.90 c remove useless variable ce[5][10][2] 0.81/0.90 c remove useless variable ce[5][10][3] 0.81/0.90 c remove useless variable ce[5][10][4] 0.81/0.90 c remove useless variable ce[5][10][5] 0.81/0.90 c remove useless variable ce[5][10][6] 0.81/0.90 c remove useless variable ce[5][10][7] 0.81/0.90 c remove useless variable ce[5][10][8] 0.81/0.90 c remove useless variable ce[5][10][9] 0.81/0.90 c remove useless variable ce[5][10][10] 0.81/0.90 c remove useless variable ce[5][11][0] 0.81/0.90 c remove useless variable ce[5][11][1] 0.81/0.90 c remove useless variable ce[5][11][2] 0.81/0.90 c remove useless variable ce[5][11][3] 0.81/0.90 c remove useless variable ce[5][11][4] 0.81/0.90 c remove useless variable ce[5][11][5] 0.81/0.90 c remove useless variable ce[5][11][6] 0.81/0.90 c remove useless variable ce[5][11][7] 0.81/0.90 c remove useless variable ce[5][11][8] 0.81/0.90 c remove useless variable ce[5][11][9] 0.81/0.90 c remove useless variable ce[5][11][10] 0.81/0.90 c remove useless variable ce[5][11][11] 0.81/0.90 c remove useless variable ce[5][12][0] 0.81/0.90 c remove useless variable ce[5][12][1] 0.81/0.90 c remove useless variable ce[5][12][2] 0.81/0.90 c remove useless variable ce[5][12][3] 0.81/0.90 c remove useless variable ce[5][12][4] 0.81/0.90 c remove useless variable ce[5][12][5] 0.81/0.90 c remove useless variable ce[5][12][6] 0.81/0.90 c remove useless variable ce[5][12][7] 0.81/0.90 c remove useless variable ce[5][12][8] 0.81/0.90 c remove useless variable ce[5][12][9] 0.81/0.90 c remove useless variable ce[5][12][10] 0.81/0.90 c remove useless variable ce[5][12][11] 0.81/0.90 c remove useless variable ce[5][12][12] 0.81/0.90 c remove useless variable ce[5][13][0] 0.81/0.90 c remove useless variable ce[5][13][1] 0.81/0.90 c remove useless variable ce[5][13][2] 0.81/0.90 c remove useless variable ce[5][13][3] 0.81/0.90 c remove useless variable ce[5][13][4] 0.81/0.90 c remove useless variable ce[5][13][5] 0.81/0.90 c remove useless variable ce[5][13][6] 0.81/0.90 c remove useless variable ce[5][13][7] 0.81/0.90 c remove useless variable ce[5][13][8] 0.81/0.90 c remove useless variable ce[5][13][9] 0.81/0.90 c remove useless variable ce[5][13][10] 0.81/0.90 c remove useless variable ce[5][13][11] 0.81/0.90 c remove useless variable ce[5][13][12] 0.81/0.90 c remove useless variable ce[5][13][13] 0.81/0.90 c remove useless variable ce[6][0][0] 0.81/0.90 c remove useless variable ce[6][1][0] 0.81/0.90 c remove useless variable ce[6][1][1] 0.81/0.90 c remove useless variable ce[6][2][0] 0.81/0.90 c remove useless variable ce[6][2][1] 0.81/0.90 c remove useless variable ce[6][2][2] 0.81/0.90 c remove useless variable ce[6][3][0] 0.81/0.90 c remove useless variable ce[6][3][1] 0.81/0.90 c remove useless variable ce[6][3][2] 0.81/0.90 c remove useless variable ce[6][3][3] 0.81/0.90 c remove useless variable ce[6][4][0] 0.81/0.90 c remove useless variable ce[6][4][1] 0.81/0.90 c remove useless variable ce[6][4][2] 0.81/0.90 c remove useless variable ce[6][4][3] 0.81/0.90 c remove useless variable ce[6][4][4] 0.81/0.90 c remove useless variable ce[6][5][0] 0.81/0.90 c remove useless variable ce[6][5][1] 0.81/0.90 c remove useless variable ce[6][5][2] 0.81/0.90 c remove useless variable ce[6][5][3] 0.81/0.90 c remove useless variable ce[6][5][4] 0.81/0.90 c remove useless variable ce[6][5][5] 0.81/0.90 c remove useless variable ce[6][6][0] 0.81/0.90 c remove useless variable ce[6][6][1] 0.81/0.90 c remove useless variable ce[6][6][2] 0.81/0.90 c remove useless variable ce[6][6][3] 0.81/0.90 c remove useless variable ce[6][6][4] 0.81/0.90 c remove useless variable ce[6][6][5] 0.81/0.90 c remove useless variable ce[6][6][6] 0.81/0.90 c remove useless variable ce[6][7][0] 0.81/0.90 c remove useless variable ce[6][7][1] 0.81/0.90 c remove useless variable ce[6][7][2] 0.81/0.90 c remove useless variable ce[6][7][3] 0.81/0.90 c remove useless variable ce[6][7][4] 0.81/0.90 c remove useless variable ce[6][7][5] 0.81/0.90 c remove useless variable ce[6][7][6] 0.81/0.90 c remove useless variable ce[6][7][7] 0.81/0.90 c remove useless variable ce[6][8][0] 0.81/0.90 c remove useless variable ce[6][8][1] 0.81/0.90 c remove useless variable ce[6][8][2] 0.81/0.90 c remove useless variable ce[6][8][3] 0.81/0.90 c remove useless variable ce[6][8][4] 0.81/0.90 c remove useless variable ce[6][8][5] 0.81/0.90 c remove useless variable ce[6][8][6] 0.81/0.90 c remove useless variable ce[6][8][7] 0.81/0.90 c remove useless variable ce[6][8][8] 0.81/0.90 c remove useless variable ce[6][9][0] 0.81/0.90 c remove useless variable ce[6][9][1] 0.81/0.90 c remove useless variable ce[6][9][2] 0.81/0.90 c remove useless variable ce[6][9][3] 0.81/0.90 c remove useless variable ce[6][9][4] 0.81/0.90 c remove useless variable ce[6][9][5] 0.81/0.90 c remove useless variable ce[6][9][6] 0.81/0.90 c remove useless variable ce[6][9][7] 0.81/0.90 c remove useless variable ce[6][9][8] 0.81/0.90 c remove useless variable ce[6][9][9] 0.81/0.90 c remove useless variable ce[6][10][0] 0.81/0.90 c remove useless variable ce[6][10][1] 0.81/0.90 c remove useless variable ce[6][10][2] 0.81/0.90 c remove useless variable ce[6][10][3] 0.81/0.90 c remove useless variable ce[6][10][4] 0.81/0.90 c remove useless variable ce[6][10][5] 0.81/0.90 c remove useless variable ce[6][10][6] 0.81/0.90 c remove useless variable ce[6][10][7] 0.81/0.90 c remove useless variable ce[6][10][8] 0.81/0.90 c remove useless variable ce[6][10][9] 0.81/0.90 c remove useless variable ce[6][10][10] 0.81/0.90 c remove useless variable ce[6][11][0] 0.81/0.90 c remove useless variable ce[6][11][1] 0.81/0.90 c remove useless variable ce[6][11][2] 0.81/0.90 c remove useless variable ce[6][11][3] 0.81/0.90 c remove useless variable ce[6][11][4] 0.81/0.90 c remove useless variable ce[6][11][5] 0.81/0.90 c remove useless variable ce[6][11][6] 0.81/0.90 c remove useless variable ce[6][11][7] 0.81/0.90 c remove useless variable ce[6][11][8] 0.81/0.90 c remove useless variable ce[6][11][9] 0.81/0.90 c remove useless variable ce[6][11][10] 0.81/0.90 c remove useless variable ce[6][11][11] 0.81/0.90 c remove useless variable ce[6][12][0] 0.81/0.90 c remove useless variable ce[6][12][1] 0.81/0.90 c remove useless variable ce[6][12][2] 0.81/0.90 c remove useless variable ce[6][12][3] 0.81/0.90 c remove useless variable ce[6][12][4] 0.81/0.90 c remove useless variable ce[6][12][5] 0.81/0.90 c remove useless variable ce[6][12][6] 0.81/0.90 c remove useless variable ce[6][12][7] 0.81/0.90 c remove useless variable ce[6][12][8] 0.81/0.90 c remove useless variable ce[6][12][9] 0.81/0.90 c remove useless variable ce[6][12][10] 0.81/0.90 c remove useless variable ce[6][12][11] 0.81/0.90 c remove useless variable ce[6][12][12] 0.81/0.90 c remove useless variable ce[6][13][0] 0.81/0.90 c remove useless variable ce[6][13][1] 0.81/0.90 c remove useless variable ce[6][13][2] 0.81/0.90 c remove useless variable ce[6][13][3] 0.81/0.90 c remove useless variable ce[6][13][4] 0.81/0.90 c remove useless variable ce[6][13][5] 0.81/0.90 c remove useless variable ce[6][13][6] 0.81/0.90 c remove useless variable ce[6][13][7] 0.81/0.90 c remove useless variable ce[6][13][8] 0.81/0.90 c remove useless variable ce[6][13][9] 0.81/0.90 c remove useless variable ce[6][13][10] 0.81/0.90 c remove useless variable ce[6][13][11] 0.81/0.90 c remove useless variable ce[6][13][12] 0.81/0.90 c remove useless variable ce[6][13][13] 2.11/2.27 c 101 822 263356 271941 0 0 722 722 714 3.61/3.71 c 211 1481 511042 1618421 0 0 4 550 540 5.01/5.11 c 332 2088 742505 2780238 0 0 6 487 432 6.20/6.31 c 465 2596 935074 3224019 0 0 4 376 265 7.30/7.48 c 611 3145 1129318 3728521 0 0 3 404 164 7.51/7.65 c 771 3333 1141230 4585022 0 0 3 29 25 8.61/8.78 c 947 3940 1335656 5152024 0 0 4 432 104 8.81/8.95 c 1140 4197 1346616 5782106 0 0 3 65 37 9.92/10.09 c 1352 4854 1536074 6604660 0 0 3 446 131 11.02/11.17 c 1585 5546 1722179 7441544 0 0 3 460 65 11.31/11.40 c 1841 5868 1736715 8606307 0 0 3 67 41 11.51/11.63 c 2122 6232 1748555 9749376 0 0 3 84 53 11.81/11.93 c 2431 6595 1765271 11456097 0 0 3 55 43 13.02/13.12 c 2770 7486 1963871 12778610 0 0 3 553 159 14.11/14.29 c 3142 8412 2154340 14520356 0 0 3 555 70 14.51/14.64 c 3551 8946 2171836 16391167 0 0 3 126 62 14.92/15.02 c 4000 9508 2192701 18340317 0 0 7 113 77 16.11/16.27 c 4493 10036 2224050 25193050 0 0 8 36 34 16.71/16.88 c 5035 10603 2251308 29413508 0 0 5 26 25 17.31/17.45 c 5631 11306 2279839 32023825 0 0 4 108 83 20.21/20.34 c 6286 12022 2322524 47865522 0 0 8 62 58 22.51/22.65 c 7006 13465 2606032 55320132 0 0 722 722 720 23.11/23.25 c 7798 14283 2636430 57894517 0 0 18 26 18 24.11/24.25 c 8669 15172 2684076 62976245 0 0 17 18 17 24.51/24.67 c 9627 16162 2717095 65076166 0 0 9 32 31 25.02/25.17 c 10680 17235 2766164 68547575 0 0 12 20 19 27.81/27.97 c 11838 18465 2814406 86038445 0 0 7 72 70 30.92/31.04 c 13111 20461 3116652 100116762 0 0 722 722 721 31.51/31.68 c 14511 21896 3167258 103636944 0 0 24 35 34 34.21/34.39 c 16051 23486 3244202 117706495 0 0 7 49 28 35.92/36.07 c 17745 25213 3308382 126488854 0 0 12 32 31 42.51/42.68 c 19608 27091 3414967 135531987 0 0 13 14 13 42.92/43.10 c 21657 29165 3490742 138494564 0 0 5 24 23 43.41/43.52 c 23910 31432 3591585 141725863 0 0 12 12 11 43.81/43.96 c 26388 33923 3677361 145277250 0 0 11 11 10 55.31/55.40 c 29113 36747 3850381 212898779 0 0 17 70 68 55.81/55.93 c 32110 39757 3955548 217182676 0 0 10 10 9 57.81/57.97 c 35406 43102 4088262 231175225 0 0 19 32 31 72.30/72.42 c 39031 46827 4319213 313681150 0 0 8 61 60 75.91/76.06 c 43018 51548 4669830 332154522 0 0 722 722 721 81.40/81.59 c 47403 55976 4933158 358808329 0 0 5 38 37 82.50/82.67 c 52226 60813 5093015 368308693 0 0 9 9 8 86.10/86.20 c 57531 66202 5308422 393389496 0 0 6 44 41 101.40/101.55 c 63366 72122 5715234 491617498 0 0 8 68 59 105.90/106.08 c 69784 79285 6117766 519847258 0 0 722 722 721 129.69/129.80 c 76843 86393 6818581 627744045 0 0 5 40 39 151.19/151.38 c 84607 94212 7545737 715491230 0 0 5 45 44 162.29/162.49 c 93147 102817 7809309 794051409 0 0 8 49 48 167.01/167.12 c 102541 112260 8203088 829584751 0 0 7 24 23 174.91/175.07 c 112874 122777 8438729 870020491 0 0 5 168 165 177.50/177.66 c 124240 134169 8824190 893692063 0 0 12 12 11 180.30/180.45 c 136742 146713 9363229 915132412 0 0 12 26 25 182.91/183.01 c 150494 160496 9815705 938059828 0 0 13 13 12 200.91/201.02 c 165621 175674 10572355 1039089773 0 0 4 31 27 209.10/209.28 c 182260 192702 10889206 1081549520 0 0 6 168 152 212.20/212.38 c 200562 211089 11671666 1108318372 0 0 8 12 11 224.01/224.12 c 220694 231418 12495600 1198963852 0 0 4 30 29 243.40/243.51 c 242839 254029 13151171 1294418043 0 0 4 126 121 247.20/247.36 c 267198 278433 14186398 1329184776 0 0 13 13 12 273.60/273.70 c 293992 305288 15408336 1495116651 0 0 4 25 24 383.09/383.24 c 323465 334866 18534987 1972685476 0 0 10 62 61 388.19/388.33 c 355885 367338 19906503 2018937397 0 0 8 8 7 411.19/411.33 c 391547 403062 21406996 2193728660 0 0 4 13 12 480.59/480.76 c 430775 442389 23633045 2556274215 0 0 4 44 43 579.79/579.91 c 473925 489745 25405098 3177560304 0 0 5 67 56 625.59/625.79 c 521390 537319 27298616 3548049323 0 0 3 43 39 646.79/646.92 c 573601 589609 29535871 3695837205 0 0 8 8 7 694.79/694.99 c 631033 647151 31781705 4091598278 0 0 4 30 29 728.69/728.85 c 694208 711333 34106680 4338852905 0 0 4 78 74 791.58/791.76 c 763700 781362 36340942 4704139317 0 0 5 123 116 832.58/832.72 c 840141 857924 39426051 5027707170 0 0 5 15 14 917.78/917.98 c 924226 942156 42861462 5711075489 0 0 4 29 28 939.18/939.39 c 1016719 1034836 45896718 5874084737 0 0 4 56 55 963.78/963.97 c 1118461 1137060 46768695 5980978335 0 0 5 275 254 1120.08/1120.27 c 1230377 1249786 52466397 6888968396 0 0 3 73 71 1156.89/1157.05 c 1353484 1373462 53483506 7069268205 0 0 5 304 277 1175.89/1176.02 c 1488901 1510168 54137228 7097037277 0 0 4 565 551 1194.08/1194.21 c 1637859 1660497 54723752 7108023809 0 0 4 567 560 1359.27/1359.45 c 1801712 1824630 61283473 8506910896 0 0 7 46 45 1461.47/1461.66 c 1981950 2005198 66947752 9363381857 0 0 4 72 71 1580.17/1580.30 c 2180211 2203793 74490385 10313986135 0 0 4 51 50 1693.07/1693.23 c 2398298 2422284 82095296 11205974095 0 0 4 90 89 2022.56/2022.70 c 2638193 2665720 88885583 13289122337 0 0 4 113 112 2378.56/2378.78 c 2902077 2931466 97859007 16145378486 0 0 722 722 721 2400.06/2400.20 2400.06/2400.20 c *** INTERRUPTED *** 2400.06/2400.20 c restarts : 84 2400.06/2400.20 c conflicts : 2930709 (1221 /sec) 2400.06/2400.20 c decisions : 2960193 (1233 /sec) 2400.06/2400.20 c propagations : 16279030931 (6782842 /sec) 2400.06/2400.20 c root propagations : 0 2400.06/2400.20 c filter calls : 98542978 (41059 /sec) 2400.06/2400.20 c useless filter calls : 71977032 (73 %) 2400.06/2400.20 c Memory used : 84.54 MB 2400.06/2400.20 c CPU time : 2400.03 s 2400.06/2400.20 2400.06/2400.20 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 (15346 MiB free)
memory of node 1: 16384 MiB (15691 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267269-1502744157/watcher-4267269-1502744157 -o /tmp/evaluation-result-4267269-1502744157/solver-4267269-1502744157 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502743321-6959 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267269-1502744157.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6994, runsolver pid=6991
Current StackSize limit: 8192 KiB
[startup+0.101049 s]*
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31761732/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=36412 memory=13068 CPUtime=0.02 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 3444 0 0 0 2 0 0 0 20 0 1 0 2030767 37285888 3267 18446744073709551615 4194304 5748600 140726627450944 140726627447592 140597808933890 0 0 0 0 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 9103 3267 772 380 0 2521 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 36412 KiB
Current children cumulated memory: 13068 KiB
[startup+0.209406 s]*
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31752812/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=41216 memory=17804 CPUtime=0.13 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 4621 0 0 0 13 0 0 0 20 0 1 0 2030767 42205184 4451 18446744073709551615 4194304 5748600 140726627450944 140726627447592 140597808894479 0 0 0 0 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 10304 4451 774 380 0 3722 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 17804 KiB
[startup+0.309105 s]*
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31744380/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=45488 memory=22184 CPUtime=0.23 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 5714 0 0 0 23 0 0 0 20 0 1 0 2030767 46579712 5546 18446744073709551615 4194304 5748600 140726627450944 140726627447592 4908429 0 0 0 0 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 11372 5546 774 380 0 4790 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 45488 KiB
Current children cumulated memory: 22184 KiB
[startup+0.700289 s]
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31727268/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=62216 memory=38772 CPUtime=0.61 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 9878 0 0 0 60 1 0 0 20 0 1 0 2030767 63709184 9693 18446744073709551615 4194304 5748600 140726627450944 140726627444408 140597808896997 0 0 0 0 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 15554 9693 774 380 0 8972 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 62216 KiB
Current children cumulated memory: 38772 KiB
[startup+1.50029 s]
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31697880/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=72160 memory=48556 CPUtime=1.41 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 12344 0 0 0 140 1 0 0 20 0 1 0 2030767 73891840 12139 18446744073709551615 4194304 5748600 140726627450944 140726627447800 4918516 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 18040 12139 815 380 0 11458 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 72160 KiB
Current children cumulated memory: 48556 KiB
[startup+3.10912 s]
/proc/loadavg: 0.52 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31690176/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=74812 memory=51516 CPUtime=3.02 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 15742 0 0 0 301 1 0 0 20 0 1 0 2030767 76607488 12879 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4912896 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 18703 12879 816 380 0 12121 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 74812 KiB
Current children cumulated memory: 51516 KiB
[startup+6.30027 s]
/proc/loadavg: 0.52 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31689980/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=74812 memory=51516 CPUtime=6.2 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 18839 0 0 0 619 1 0 0 20 0 1 0 2030767 76607488 12879 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4906254 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 18703 12879 816 380 0 12121 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 74812 KiB
Current children cumulated memory: 51516 KiB
[startup+12.7003 s]
/proc/loadavg: 0.74 0.90 1.00 3/184 6995
/proc/meminfo: memFree=31690152/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=75208 memory=51808 CPUtime=12.61 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 22289 0 0 0 1259 2 0 0 20 0 1 0 2030767 77012992 12952 18446744073709551615 4194304 5748600 140726627450944 140726627448344 5130768 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 18802 12952 816 380 0 12220 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 75208 KiB
Current children cumulated memory: 51808 KiB
[startup+25.5003 s]
/proc/loadavg: 0.94 0.94 1.01 3/184 6995
/proc/meminfo: memFree=31685372/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=78376 memory=55092 CPUtime=25.41 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 30728 0 0 0 2539 2 0 0 20 0 1 0 2030767 80257024 13773 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4906254 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 19594 13773 816 380 0 13012 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 78376 KiB
Current children cumulated memory: 55092 KiB
[startup+51.109 s]
/proc/loadavg: 1.30 1.02 1.04 3/184 6995
/proc/meminfo: memFree=31681412/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=80224 memory=56800 CPUtime=51.02 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 36267 0 0 0 5100 2 0 0 20 0 1 0 2030767 82149376 14200 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4972000 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20056 14200 816 380 0 13474 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 80224 KiB
Current children cumulated memory: 56800 KiB
[startup+102.3 s]
/proc/loadavg: 1.72 1.19 1.09 3/184 6996
/proc/meminfo: memFree=31678408/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=80884 memory=57540 CPUtime=102.2 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 41468 0 0 0 10218 2 0 0 20 0 1 0 2030767 82825216 14385 18446744073709551615 4194304 5748600 140726627450944 140726627448088 5130800 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20221 14385 816 380 0 13639 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 80884 KiB
Current children cumulated memory: 57540 KiB
[startup+162.3 s]
/proc/loadavg: 1.90 1.34 1.15 3/184 6997
/proc/meminfo: memFree=31678264/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=81280 memory=58012 CPUtime=162.19 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 41927 0 0 0 16217 2 0 0 20 0 1 0 2030767 83230720 14503 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4906495 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20320 14503 816 380 0 13738 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 81280 KiB
Current children cumulated memory: 58012 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.46 1.20 3/183 6998
/proc/meminfo: memFree=31676596/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=82072 memory=58752 CPUtime=222.2 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 42589 0 0 0 22217 3 0 0 20 0 1 0 2030767 84041728 14688 18446744073709551615 4194304 5748600 140726627450944 140726627448344 5000352 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20518 14688 816 380 0 13936 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 82072 KiB
Current children cumulated memory: 58752 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.56 1.25 3/183 6999
/proc/meminfo: memFree=31675980/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=82468 memory=59140 CPUtime=282.2 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 43191 0 0 0 28217 3 0 0 20 0 1 0 2030767 84447232 14785 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4954320 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20617 14785 816 380 0 14035 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 82468 KiB
Current children cumulated memory: 59140 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.64 1.30 3/183 7000
/proc/meminfo: memFree=31676164/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=82468 memory=59228 CPUtime=342.19 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 43652 0 0 0 34216 3 0 0 20 0 1 0 2030767 84447232 14807 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4909713 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20617 14807 816 380 0 14035 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 82468 KiB
Current children cumulated memory: 59228 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.70 1.34 3/183 7001
/proc/meminfo: memFree=31675916/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=82468 memory=59228 CPUtime=402.19 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 44201 0 0 0 40216 3 0 0 20 0 1 0 2030767 84447232 14807 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4973081 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20617 14807 816 380 0 14035 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 82468 KiB
Current children cumulated memory: 59228 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.76 1.39 3/183 7002
/proc/meminfo: memFree=31675548/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=82600 memory=59316 CPUtime=462.19 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 44726 0 0 0 46216 3 0 0 20 0 1 0 2030767 84582400 14829 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4912295 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 20650 14829 816 380 0 14068 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 82600 KiB
Current children cumulated memory: 59316 KiB
################
# More data... #
################
/proc/6994/statm: 21541 15731 816 380 0 14959 0
Current children cumulated CPU time: 1602.17 s
Current children cumulated vsize: 86164 KiB
Current children cumulated memory: 62924 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/183 7100
/proc/meminfo: memFree=31667172/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86164 memory=62936 CPUtime=1662.17 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 54782 0 0 0 166214 3 0 0 20 0 1 0 2030767 88231936 15734 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4973057 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21541 15734 816 380 0 14959 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 86164 KiB
Current children cumulated memory: 62936 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/186 7115
/proc/meminfo: memFree=31663516/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86296 memory=62976 CPUtime=1722.17 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 55263 0 0 0 172214 3 0 0 20 0 1 0 2030767 88367104 15744 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4873912 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21574 15744 816 380 0 14992 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 86296 KiB
Current children cumulated memory: 62976 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/184 7116
/proc/meminfo: memFree=31665896/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86296 memory=63036 CPUtime=1782.17 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 55577 0 0 0 178214 3 0 0 20 0 1 0 2030767 88367104 15759 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4973081 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21574 15759 816 380 0 14992 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 86296 KiB
Current children cumulated memory: 63036 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/183 7117
/proc/meminfo: memFree=31666416/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86296 memory=63052 CPUtime=1842.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 55894 0 0 0 184213 3 0 0 20 0 1 0 2030767 88367104 15763 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4873931 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21574 15763 816 380 0 14992 0
Current children cumulated CPU time: 1842.16 s
Current children cumulated vsize: 86296 KiB
Current children cumulated memory: 63052 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/183 7118
/proc/meminfo: memFree=31666296/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86428 memory=63072 CPUtime=1902.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 56221 0 0 0 190213 3 0 0 20 0 1 0 2030767 88502272 15768 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4906240 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21607 15768 816 380 0 15025 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 86428 KiB
Current children cumulated memory: 63072 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/183 7119
/proc/meminfo: memFree=31666296/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86428 memory=63088 CPUtime=1962.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 56555 0 0 0 196213 3 0 0 20 0 1 0 2030767 88502272 15772 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4972345 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21607 15772 816 380 0 15025 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 86428 KiB
Current children cumulated memory: 63088 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/183 7120
/proc/meminfo: memFree=31666296/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86428 memory=63128 CPUtime=2022.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 56889 0 0 0 202213 3 0 0 20 0 1 0 2030767 88502272 15782 18446744073709551615 4194304 5748600 140726627450944 140726627448088 4909713 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21607 15782 816 380 0 15025 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 86428 KiB
Current children cumulated memory: 63128 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/183 7121
/proc/meminfo: memFree=31666172/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86560 memory=63248 CPUtime=2082.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 57696 0 0 0 208213 3 0 0 20 0 1 0 2030767 88637440 15812 18446744073709551615 4194304 5748600 140726627450944 140726627447720 4972000 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21640 15812 816 380 0 15058 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 63248 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/183 7122
/proc/meminfo: memFree=31666048/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86560 memory=63248 CPUtime=2142.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 57932 0 0 0 214213 3 0 0 20 0 1 0 2030767 88637440 15812 18446744073709551615 4194304 5748600 140726627450944 140726627447720 5010096 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21640 15812 816 380 0 15058 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 63248 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/183 7123
/proc/meminfo: memFree=31664620/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86560 memory=63248 CPUtime=2202.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 58166 0 0 0 220213 3 0 0 20 0 1 0 2030767 88637440 15812 18446744073709551615 4194304 5748600 140726627450944 140726627447720 4909713 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21640 15812 816 380 0 15058 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 63248 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/183 7124
/proc/meminfo: memFree=31665364/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86560 memory=63248 CPUtime=2262.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 58402 0 0 0 226213 3 0 0 20 0 1 0 2030767 88637440 15812 18446744073709551615 4194304 5748600 140726627450944 140726627447720 5000352 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21640 15812 816 380 0 15058 0
Current children cumulated CPU time: 2262.16 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 63248 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/186 7139
/proc/meminfo: memFree=31662984/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86560 memory=63248 CPUtime=2322.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 58637 0 0 0 232213 3 0 0 20 0 1 0 2030767 88637440 15812 18446744073709551615 4194304 5748600 140726627450944 140726627447720 4903251 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21640 15812 816 380 0 15058 0
Current children cumulated CPU time: 2322.16 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 63248 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/184 7140
/proc/meminfo: memFree=31665036/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86560 memory=63248 CPUtime=2382.16 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 59509 0 0 0 238213 3 0 0 20 0 1 0 2030767 88637440 15812 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4873890 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21640 15812 816 380 0 15058 0
Current children cumulated CPU time: 2382.16 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 63248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 1.99 1.92 3/183 7140
/proc/meminfo: memFree=31666292/32770624 swapFree=67108860/67108860
[pid=6994] ppid=6991 vsize=86560 memory=63248 CPUtime=2400.06 cores=1,3,5,7
/proc/6994/stat : 6994 (cosoco) R 6991 6994 2357 34816 6959 4202496 59846 0 0 0 240003 3 0 0 20 0 1 0 2030767 88637440 15812 18446744073709551615 4194304 5748600 140726627450944 140726627448344 4906294 0 0 0 8405026 0 0 0 17 1 0 0 7 0 0 7849824 7854664 13533184 140726627459532 140726627459627 140726627459627 140726627463118 0
/proc/6994/statm: 21640 15812 816 380 0 15058 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 86560 KiB
Current children cumulated memory: 63248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 6994 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.03 s, system=0.037999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.07
CPU user time (s): 2400.03
CPU system time (s): 0.037999
CPU usage (%): 99.9945
Max. virtual memory (cumulated for all children) (KiB): 86560
Max. memory (cumulated for all children) (KiB): 63248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.037999
maximum resident set size= 63312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59890
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= 20
involuntary context switches= 941
# summary of solver processes directly reported to runsolver:
# pid: 6994
# total CPU time (s): 2400.07
# total CPU user time (s): 2400.03
# total CPU system time (s): 0.037999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.24034 second user time and 15.2617 second system time
The end
Begin job on node129 at 2017-08-14 22:42:01 IDJOB=4267269 IDBENCH=120756 IDSOLVER=2657 FILE ID=node129/4267269-1502744157 RUNJOBID= node129-1502743321-6959 PBS_JOBID= Free space on /tmp= 62012 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P07.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267269-1502744157/watcher-4267269-1502744157 -o /tmp/evaluation-result-4267269-1502744157/solver-4267269-1502744157 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502743321-6959 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267269-1502744157.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 539390230adc3c5191c5e54bc0e1cdf0 RANDOM SEED=30172171 node129.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.61 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.61 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.61 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.61 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: 31783652 kB MemAvailable: 32026244 kB Buffers: 97156 kB Cached: 427880 kB SwapCached: 0 kB Active: 259712 kB Inactive: 322304 kB Active(anon): 57256 kB Inactive(anon): 8556 kB Active(file): 202456 kB Inactive(file): 313748 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 3880 kB Writeback: 0 kB AnonPages: 57104 kB Mapped: 29376 kB Shmem: 8872 kB Slab: 108396 kB SReclaimable: 84448 kB SUnreclaim: 23948 kB KernelStack: 3120 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 330100 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62012 MiB End job on node129 at 2017-08-14 23:22:01