| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-mini 1.12 | ? (TO) | 2400.0901 | 2400.3 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K12-P09.xml |
| MD5SUM | 32cec65ed71b36923f34d2db18851218 |
| 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 | 1500 |
| Number of constraints | 692 |
| Number of domains | 2 |
| Minimum domain size | 690 |
| Maximum domain size | 691 |
| Distribution of domain sizes | [{"size":690,"count":690},{"size":691,"count":108}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 14 |
| Distribution of variable degrees | [{"degree":0,"count":702},{"degree":2,"count":690},{"degree":13,"count":24},{"degree":14,"count":84}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 690 |
| Distribution of constraint arities | [{"arity":3,"count":690},{"arity":108,"count":1},{"arity":690,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 690 |
| Distribution of constraint types | [{"type":"intension","count":690},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.71/0.88 c root propagations : 0 0.71/0.88 c restarts enabled, print stats at every restarts 0.71/0.88 c 0.71/0.88 c 0.71/0.88 c 0.71/0.88 c This is cosoco 1.12 -- 0.71/0.88 c 0.71/0.88 c command line: cosoco -lc -model -restarts HOME/instance-4267268-1502744157.xml 0.71/0.88 c ========================================[ Problem Statistics ]=========================================== 0.71/0.88 c | 0.71/0.88 c | Parse time : 0.78 s 0.71/0.88 c | 0.71/0.88 c | Variables: 1500 0.71/0.88 c | Domain Sizes: 690..691 0.71/0.88 c | 0.71/0.88 c | Constraints: 692 0.71/0.88 c | Arity: 3..690 -- Ternary: 690 0.71/0.88 c | 0.71/0.88 c | Types: 0.71/0.88 c | All Different: 2 0.71/0.88 c | Intension: 690 0.71/0.88 c | 0.71/0.88 c ========================================================================================================= 0.71/0.88 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.71/0.88 c remove useless variable ce[0][0][0] 0.71/0.88 c remove useless variable ce[0][1][0] 0.71/0.88 c remove useless variable ce[0][1][1] 0.71/0.88 c remove useless variable ce[0][2][0] 0.71/0.88 c remove useless variable ce[0][2][1] 0.71/0.88 c remove useless variable ce[0][2][2] 0.71/0.88 c remove useless variable ce[0][3][0] 0.71/0.88 c remove useless variable ce[0][3][1] 0.71/0.88 c remove useless variable ce[0][3][2] 0.71/0.88 c remove useless variable ce[0][3][3] 0.71/0.88 c remove useless variable ce[0][4][0] 0.71/0.88 c remove useless variable ce[0][4][1] 0.71/0.88 c remove useless variable ce[0][4][2] 0.71/0.88 c remove useless variable ce[0][4][3] 0.71/0.88 c remove useless variable ce[0][4][4] 0.71/0.88 c remove useless variable ce[0][5][0] 0.71/0.88 c remove useless variable ce[0][5][1] 0.71/0.88 c remove useless variable ce[0][5][2] 0.71/0.88 c remove useless variable ce[0][5][3] 0.71/0.88 c remove useless variable ce[0][5][4] 0.71/0.88 c remove useless variable ce[0][5][5] 0.71/0.88 c remove useless variable ce[0][6][0] 0.71/0.88 c remove useless variable ce[0][6][1] 0.71/0.88 c remove useless variable ce[0][6][2] 0.71/0.88 c remove useless variable ce[0][6][3] 0.71/0.88 c remove useless variable ce[0][6][4] 0.71/0.88 c remove useless variable ce[0][6][5] 0.71/0.88 c remove useless variable ce[0][6][6] 0.71/0.88 c remove useless variable ce[0][7][0] 0.71/0.88 c remove useless variable ce[0][7][1] 0.71/0.88 c remove useless variable ce[0][7][2] 0.71/0.88 c remove useless variable ce[0][7][3] 0.71/0.88 c remove useless variable ce[0][7][4] 0.71/0.88 c remove useless variable ce[0][7][5] 0.71/0.88 c remove useless variable ce[0][7][6] 0.71/0.88 c remove useless variable ce[0][7][7] 0.71/0.88 c remove useless variable ce[0][8][0] 0.71/0.88 c remove useless variable ce[0][8][1] 0.71/0.88 c remove useless variable ce[0][8][2] 0.71/0.88 c remove useless variable ce[0][8][3] 0.71/0.88 c remove useless variable ce[0][8][4] 0.71/0.88 c remove useless variable ce[0][8][5] 0.71/0.88 c remove useless variable ce[0][8][6] 0.71/0.88 c remove useless variable ce[0][8][7] 0.71/0.88 c remove useless variable ce[0][8][8] 0.71/0.88 c remove useless variable ce[0][9][0] 0.71/0.88 c remove useless variable ce[0][9][1] 0.71/0.88 c remove useless variable ce[0][9][2] 0.71/0.88 c remove useless variable ce[0][9][3] 0.71/0.88 c remove useless variable ce[0][9][4] 0.71/0.88 c remove useless variable ce[0][9][5] 0.71/0.88 c remove useless variable ce[0][9][6] 0.71/0.88 c remove useless variable ce[0][9][7] 0.71/0.88 c remove useless variable ce[0][9][8] 0.71/0.88 c remove useless variable ce[0][9][9] 0.71/0.88 c remove useless variable ce[0][10][0] 0.71/0.88 c remove useless variable ce[0][10][1] 0.71/0.88 c remove useless variable ce[0][10][2] 0.71/0.88 c remove useless variable ce[0][10][3] 0.71/0.88 c remove useless variable ce[0][10][4] 0.71/0.88 c remove useless variable ce[0][10][5] 0.71/0.88 c remove useless variable ce[0][10][6] 0.71/0.88 c remove useless variable ce[0][10][7] 0.71/0.88 c remove useless variable ce[0][10][8] 0.71/0.88 c remove useless variable ce[0][10][9] 0.71/0.88 c remove useless variable ce[0][10][10] 0.71/0.88 c remove useless variable ce[0][11][0] 0.71/0.88 c remove useless variable ce[0][11][1] 0.71/0.88 c remove useless variable ce[0][11][2] 0.71/0.88 c remove useless variable ce[0][11][3] 0.71/0.88 c remove useless variable ce[0][11][4] 0.71/0.88 c remove useless variable ce[0][11][5] 0.71/0.88 c remove useless variable ce[0][11][6] 0.71/0.88 c remove useless variable ce[0][11][7] 0.71/0.88 c remove useless variable ce[0][11][8] 0.71/0.88 c remove useless variable ce[0][11][9] 0.71/0.88 c remove useless variable ce[0][11][10] 0.71/0.88 c remove useless variable ce[0][11][11] 0.71/0.88 c remove useless variable ce[1][0][0] 0.71/0.88 c remove useless variable ce[1][1][0] 0.71/0.88 c remove useless variable ce[1][1][1] 0.71/0.88 c remove useless variable ce[1][2][0] 0.71/0.88 c remove useless variable ce[1][2][1] 0.71/0.88 c remove useless variable ce[1][2][2] 0.71/0.88 c remove useless variable ce[1][3][0] 0.71/0.88 c remove useless variable ce[1][3][1] 0.71/0.88 c remove useless variable ce[1][3][2] 0.71/0.88 c remove useless variable ce[1][3][3] 0.71/0.88 c remove useless variable ce[1][4][0] 0.71/0.88 c remove useless variable ce[1][4][1] 0.71/0.88 c remove useless variable ce[1][4][2] 0.71/0.88 c remove useless variable ce[1][4][3] 0.71/0.88 c remove useless variable ce[1][4][4] 0.71/0.88 c remove useless variable ce[1][5][0] 0.71/0.88 c remove useless variable ce[1][5][1] 0.71/0.88 c remove useless variable ce[1][5][2] 0.71/0.88 c remove useless variable ce[1][5][3] 0.71/0.88 c remove useless variable ce[1][5][4] 0.71/0.88 c remove useless variable ce[1][5][5] 0.71/0.88 c remove useless variable ce[1][6][0] 0.71/0.88 c remove useless variable ce[1][6][1] 0.71/0.88 c remove useless variable ce[1][6][2] 0.71/0.88 c remove useless variable ce[1][6][3] 0.71/0.88 c remove useless variable ce[1][6][4] 0.71/0.88 c remove useless variable ce[1][6][5] 0.71/0.88 c remove useless variable ce[1][6][6] 0.71/0.88 c remove useless variable ce[1][7][0] 0.71/0.88 c remove useless variable ce[1][7][1] 0.71/0.88 c remove useless variable ce[1][7][2] 0.71/0.88 c remove useless variable ce[1][7][3] 0.71/0.88 c remove useless variable ce[1][7][4] 0.71/0.88 c remove useless variable ce[1][7][5] 0.71/0.88 c remove useless variable ce[1][7][6] 0.71/0.88 c remove useless variable ce[1][7][7] 0.71/0.88 c remove useless variable ce[1][8][0] 0.71/0.88 c remove useless variable ce[1][8][1] 0.71/0.88 c remove useless variable ce[1][8][2] 0.71/0.88 c remove useless variable ce[1][8][3] 0.71/0.88 c remove useless variable ce[1][8][4] 0.71/0.88 c remove useless variable ce[1][8][5] 0.71/0.88 c remove useless variable ce[1][8][6] 0.71/0.88 c remove useless variable ce[1][8][7] 0.71/0.88 c remove useless variable ce[1][8][8] 0.71/0.88 c remove useless variable ce[1][9][0] 0.71/0.88 c remove useless variable ce[1][9][1] 0.71/0.88 c remove useless variable ce[1][9][2] 0.71/0.88 c remove useless variable ce[1][9][3] 0.71/0.88 c remove useless variable ce[1][9][4] 0.71/0.88 c remove useless variable ce[1][9][5] 0.71/0.88 c remove useless variable ce[1][9][6] 0.71/0.88 c remove useless variable ce[1][9][7] 0.71/0.88 c remove useless variable ce[1][9][8] 0.71/0.88 c remove useless variable ce[1][9][9] 0.71/0.88 c remove useless variable ce[1][10][0] 0.71/0.88 c remove useless variable ce[1][10][1] 0.71/0.88 c remove useless variable ce[1][10][2] 0.71/0.88 c remove useless variable ce[1][10][3] 0.71/0.88 c remove useless variable ce[1][10][4] 0.71/0.88 c remove useless variable ce[1][10][5] 0.71/0.88 c remove useless variable ce[1][10][6] 0.71/0.88 c remove useless variable ce[1][10][7] 0.71/0.88 c remove useless variable ce[1][10][8] 0.71/0.88 c remove useless variable ce[1][10][9] 0.71/0.88 c remove useless variable ce[1][10][10] 0.71/0.88 c remove useless variable ce[1][11][0] 0.71/0.88 c remove useless variable ce[1][11][1] 0.71/0.88 c remove useless variable ce[1][11][2] 0.71/0.88 c remove useless variable ce[1][11][3] 0.71/0.88 c remove useless variable ce[1][11][4] 0.71/0.88 c remove useless variable ce[1][11][5] 0.71/0.88 c remove useless variable ce[1][11][6] 0.71/0.88 c remove useless variable ce[1][11][7] 0.71/0.88 c remove useless variable ce[1][11][8] 0.71/0.88 c remove useless variable ce[1][11][9] 0.71/0.88 c remove useless variable ce[1][11][10] 0.71/0.88 c remove useless variable ce[1][11][11] 0.71/0.88 c remove useless variable ce[2][0][0] 0.71/0.88 c remove useless variable ce[2][1][0] 0.71/0.88 c remove useless variable ce[2][1][1] 0.71/0.88 c remove useless variable ce[2][2][0] 0.71/0.88 c remove useless variable ce[2][2][1] 0.71/0.88 c remove useless variable ce[2][2][2] 0.71/0.88 c remove useless variable ce[2][3][0] 0.71/0.88 c remove useless variable ce[2][3][1] 0.71/0.88 c remove useless variable ce[2][3][2] 0.71/0.88 c remove useless variable ce[2][3][3] 0.71/0.88 c remove useless variable ce[2][4][0] 0.71/0.88 c remove useless variable ce[2][4][1] 0.71/0.88 c remove useless variable ce[2][4][2] 0.71/0.88 c remove useless variable ce[2][4][3] 0.71/0.88 c remove useless variable ce[2][4][4] 0.71/0.88 c remove useless variable ce[2][5][0] 0.71/0.88 c remove useless variable ce[2][5][1] 0.71/0.88 c remove useless variable ce[2][5][2] 0.71/0.88 c remove useless variable ce[2][5][3] 0.71/0.88 c remove useless variable ce[2][5][4] 0.71/0.88 c remove useless variable ce[2][5][5] 0.71/0.88 c remove useless variable ce[2][6][0] 0.71/0.88 c remove useless variable ce[2][6][1] 0.71/0.88 c remove useless variable ce[2][6][2] 0.71/0.88 c remove useless variable ce[2][6][3] 0.71/0.88 c remove useless variable ce[2][6][4] 0.71/0.88 c remove useless variable ce[2][6][5] 0.71/0.88 c remove useless variable ce[2][6][6] 0.71/0.88 c remove useless variable ce[2][7][0] 0.71/0.88 c remove useless variable ce[2][7][1] 0.71/0.88 c remove useless variable ce[2][7][2] 0.71/0.88 c remove useless variable ce[2][7][3] 0.71/0.88 c remove useless variable ce[2][7][4] 0.71/0.88 c remove useless variable ce[2][7][5] 0.71/0.88 c remove useless variable ce[2][7][6] 0.71/0.88 c remove useless variable ce[2][7][7] 0.71/0.88 c remove useless variable ce[2][8][0] 0.71/0.88 c remove useless variable ce[2][8][1] 0.71/0.88 c remove useless variable ce[2][8][2] 0.71/0.88 c remove useless variable ce[2][8][3] 0.71/0.88 c remove useless variable ce[2][8][4] 0.71/0.88 c remove useless variable ce[2][8][5] 0.71/0.88 c remove useless variable ce[2][8][6] 0.71/0.88 c remove useless variable ce[2][8][7] 0.71/0.88 c remove useless variable ce[2][8][8] 0.71/0.88 c remove useless variable ce[2][9][0] 0.71/0.88 c remove useless variable ce[2][9][1] 0.71/0.88 c remove useless variable ce[2][9][2] 0.71/0.88 c remove useless variable ce[2][9][3] 0.71/0.88 c remove useless variable ce[2][9][4] 0.71/0.88 c remove useless variable ce[2][9][5] 0.71/0.88 c remove useless variable ce[2][9][6] 0.71/0.88 c remove useless variable ce[2][9][7] 0.71/0.88 c remove useless variable ce[2][9][8] 0.71/0.88 c remove useless variable ce[2][9][9] 0.71/0.88 c remove useless variable ce[2][10][0] 0.71/0.88 c remove useless variable ce[2][10][1] 0.71/0.88 c remove useless variable ce[2][10][2] 0.71/0.88 c remove useless variable ce[2][10][3] 0.71/0.88 c remove useless variable ce[2][10][4] 0.71/0.88 c remove useless variable ce[2][10][5] 0.71/0.88 c remove useless variable ce[2][10][6] 0.71/0.88 c remove useless variable ce[2][10][7] 0.71/0.88 c remove useless variable ce[2][10][8] 0.71/0.88 c remove useless variable ce[2][10][9] 0.71/0.88 c remove useless variable ce[2][10][10] 0.71/0.88 c remove useless variable ce[2][11][0] 0.71/0.88 c remove useless variable ce[2][11][1] 0.71/0.88 c remove useless variable ce[2][11][2] 0.71/0.88 c remove useless variable ce[2][11][3] 0.71/0.88 c remove useless variable ce[2][11][4] 0.71/0.88 c remove useless variable ce[2][11][5] 0.71/0.88 c remove useless variable ce[2][11][6] 0.71/0.88 c remove useless variable ce[2][11][7] 0.71/0.88 c remove useless variable ce[2][11][8] 0.71/0.88 c remove useless variable ce[2][11][9] 0.71/0.88 c remove useless variable ce[2][11][10] 0.71/0.88 c remove useless variable ce[2][11][11] 0.71/0.88 c remove useless variable ce[3][0][0] 0.71/0.88 c remove useless variable ce[3][1][0] 0.71/0.88 c remove useless variable ce[3][1][1] 0.71/0.88 c remove useless variable ce[3][2][0] 0.71/0.88 c remove useless variable ce[3][2][1] 0.71/0.88 c remove useless variable ce[3][2][2] 0.71/0.88 c remove useless variable ce[3][3][0] 0.71/0.88 c remove useless variable ce[3][3][1] 0.71/0.88 c remove useless variable ce[3][3][2] 0.71/0.88 c remove useless variable ce[3][3][3] 0.71/0.88 c remove useless variable ce[3][4][0] 0.71/0.88 c remove useless variable ce[3][4][1] 0.71/0.88 c remove useless variable ce[3][4][2] 0.71/0.88 c remove useless variable ce[3][4][3] 0.71/0.88 c remove useless variable ce[3][4][4] 0.71/0.88 c remove useless variable ce[3][5][0] 0.71/0.88 c remove useless variable ce[3][5][1] 0.71/0.88 c remove useless variable ce[3][5][2] 0.71/0.88 c remove useless variable ce[3][5][3] 0.71/0.88 c remove useless variable ce[3][5][4] 0.71/0.88 c remove useless variable ce[3][5][5] 0.71/0.88 c remove useless variable ce[3][6][0] 0.71/0.88 c remove useless variable ce[3][6][1] 0.71/0.88 c remove useless variable ce[3][6][2] 0.71/0.88 c remove useless variable ce[3][6][3] 0.71/0.88 c remove useless variable ce[3][6][4] 0.71/0.88 c remove useless variable ce[3][6][5] 0.71/0.88 c remove useless variable ce[3][6][6] 0.71/0.88 c remove useless variable ce[3][7][0] 0.71/0.88 c remove useless variable ce[3][7][1] 0.71/0.88 c remove useless variable ce[3][7][2] 0.71/0.88 c remove useless variable ce[3][7][3] 0.71/0.88 c remove useless variable ce[3][7][4] 0.71/0.88 c remove useless variable ce[3][7][5] 0.71/0.88 c remove useless variable ce[3][7][6] 0.71/0.88 c remove useless variable ce[3][7][7] 0.71/0.88 c remove useless variable ce[3][8][0] 0.71/0.88 c remove useless variable ce[3][8][1] 0.71/0.88 c remove useless variable ce[3][8][2] 0.71/0.88 c remove useless variable ce[3][8][3] 0.71/0.88 c remove useless variable ce[3][8][4] 0.71/0.88 c remove useless variable ce[3][8][5] 0.71/0.88 c remove useless variable ce[3][8][6] 0.71/0.88 c remove useless variable ce[3][8][7] 0.71/0.88 c remove useless variable ce[3][8][8] 0.71/0.88 c remove useless variable ce[3][9][0] 0.71/0.88 c remove useless variable ce[3][9][1] 0.71/0.88 c remove useless variable ce[3][9][2] 0.71/0.88 c remove useless variable ce[3][9][3] 0.71/0.88 c remove useless variable ce[3][9][4] 0.71/0.88 c remove useless variable ce[3][9][5] 0.71/0.88 c remove useless variable ce[3][9][6] 0.71/0.88 c remove useless variable ce[3][9][7] 0.71/0.88 c remove useless variable ce[3][9][8] 0.71/0.88 c remove useless variable ce[3][9][9] 0.71/0.88 c remove useless variable ce[3][10][0] 0.71/0.88 c remove useless variable ce[3][10][1] 0.71/0.88 c remove useless variable ce[3][10][2] 0.71/0.88 c remove useless variable ce[3][10][3] 0.71/0.88 c remove useless variable ce[3][10][4] 0.71/0.88 c remove useless variable ce[3][10][5] 0.71/0.88 c remove useless variable ce[3][10][6] 0.71/0.88 c remove useless variable ce[3][10][7] 0.71/0.88 c remove useless variable ce[3][10][8] 0.71/0.88 c remove useless variable ce[3][10][9] 0.71/0.88 c remove useless variable ce[3][10][10] 0.71/0.88 c remove useless variable ce[3][11][0] 0.71/0.88 c remove useless variable ce[3][11][1] 0.71/0.88 c remove useless variable ce[3][11][2] 0.71/0.88 c remove useless variable ce[3][11][3] 0.71/0.88 c remove useless variable ce[3][11][4] 0.71/0.88 c remove useless variable ce[3][11][5] 0.71/0.88 c remove useless variable ce[3][11][6] 0.71/0.88 c remove useless variable ce[3][11][7] 0.71/0.88 c remove useless variable ce[3][11][8] 0.71/0.88 c remove useless variable ce[3][11][9] 0.71/0.88 c remove useless variable ce[3][11][10] 0.71/0.88 c remove useless variable ce[3][11][11] 0.71/0.88 c remove useless variable ce[4][0][0] 0.71/0.88 c remove useless variable ce[4][1][0] 0.71/0.88 c remove useless variable ce[4][1][1] 0.71/0.88 c remove useless variable ce[4][2][0] 0.71/0.88 c remove useless variable ce[4][2][1] 0.71/0.88 c remove useless variable ce[4][2][2] 0.71/0.88 c remove useless variable ce[4][3][0] 0.71/0.88 c remove useless variable ce[4][3][1] 0.71/0.88 c remove useless variable ce[4][3][2] 0.71/0.89 c remove useless variable ce[4][3][3] 0.71/0.89 c remove useless variable ce[4][4][0] 0.71/0.89 c remove useless variable ce[4][4][1] 0.71/0.89 c remove useless variable ce[4][4][2] 0.71/0.89 c remove useless variable ce[4][4][3] 0.71/0.89 c remove useless variable ce[4][4][4] 0.71/0.89 c remove useless variable ce[4][5][0] 0.71/0.89 c remove useless variable ce[4][5][1] 0.71/0.89 c remove useless variable ce[4][5][2] 0.71/0.89 c remove useless variable ce[4][5][3] 0.71/0.89 c remove useless variable ce[4][5][4] 0.71/0.89 c remove useless variable ce[4][5][5] 0.71/0.89 c remove useless variable ce[4][6][0] 0.71/0.89 c remove useless variable ce[4][6][1] 0.71/0.89 c remove useless variable ce[4][6][2] 0.71/0.89 c remove useless variable ce[4][6][3] 0.71/0.89 c remove useless variable ce[4][6][4] 0.71/0.89 c remove useless variable ce[4][6][5] 0.71/0.89 c remove useless variable ce[4][6][6] 0.71/0.89 c remove useless variable ce[4][7][0] 0.71/0.89 c remove useless variable ce[4][7][1] 0.71/0.89 c remove useless variable ce[4][7][2] 0.71/0.89 c remove useless variable ce[4][7][3] 0.71/0.89 c remove useless variable ce[4][7][4] 0.71/0.89 c remove useless variable ce[4][7][5] 0.71/0.89 c remove useless variable ce[4][7][6] 0.71/0.89 c remove useless variable ce[4][7][7] 0.71/0.89 c remove useless variable ce[4][8][0] 0.71/0.89 c remove useless variable ce[4][8][1] 0.71/0.89 c remove useless variable ce[4][8][2] 0.71/0.89 c remove useless variable ce[4][8][3] 0.71/0.89 c remove useless variable ce[4][8][4] 0.71/0.89 c remove useless variable ce[4][8][5] 0.71/0.89 c remove useless variable ce[4][8][6] 0.71/0.89 c remove useless variable ce[4][8][7] 0.71/0.89 c remove useless variable ce[4][8][8] 0.71/0.89 c remove useless variable ce[4][9][0] 0.71/0.89 c remove useless variable ce[4][9][1] 0.71/0.89 c remove useless variable ce[4][9][2] 0.71/0.89 c remove useless variable ce[4][9][3] 0.71/0.89 c remove useless variable ce[4][9][4] 0.71/0.89 c remove useless variable ce[4][9][5] 0.71/0.89 c remove useless variable ce[4][9][6] 0.71/0.89 c remove useless variable ce[4][9][7] 0.71/0.89 c remove useless variable ce[4][9][8] 0.71/0.89 c remove useless variable ce[4][9][9] 0.71/0.89 c remove useless variable ce[4][10][0] 0.71/0.89 c remove useless variable ce[4][10][1] 0.71/0.89 c remove useless variable ce[4][10][2] 0.71/0.89 c remove useless variable ce[4][10][3] 0.71/0.89 c remove useless variable ce[4][10][4] 0.71/0.89 c remove useless variable ce[4][10][5] 0.71/0.89 c remove useless variable ce[4][10][6] 0.71/0.89 c remove useless variable ce[4][10][7] 0.71/0.89 c remove useless variable ce[4][10][8] 0.71/0.89 c remove useless variable ce[4][10][9] 0.71/0.89 c remove useless variable ce[4][10][10] 0.71/0.89 c remove useless variable ce[4][11][0] 0.71/0.89 c remove useless variable ce[4][11][1] 0.71/0.89 c remove useless variable ce[4][11][2] 0.71/0.89 c remove useless variable ce[4][11][3] 0.71/0.89 c remove useless variable ce[4][11][4] 0.71/0.89 c remove useless variable ce[4][11][5] 0.71/0.89 c remove useless variable ce[4][11][6] 0.71/0.89 c remove useless variable ce[4][11][7] 0.71/0.89 c remove useless variable ce[4][11][8] 0.71/0.89 c remove useless variable ce[4][11][9] 0.71/0.89 c remove useless variable ce[4][11][10] 0.71/0.89 c remove useless variable ce[4][11][11] 0.71/0.89 c remove useless variable ce[5][0][0] 0.71/0.89 c remove useless variable ce[5][1][0] 0.71/0.89 c remove useless variable ce[5][1][1] 0.71/0.89 c remove useless variable ce[5][2][0] 0.71/0.89 c remove useless variable ce[5][2][1] 0.71/0.89 c remove useless variable ce[5][2][2] 0.71/0.89 c remove useless variable ce[5][3][0] 0.71/0.89 c remove useless variable ce[5][3][1] 0.71/0.89 c remove useless variable ce[5][3][2] 0.71/0.89 c remove useless variable ce[5][3][3] 0.71/0.89 c remove useless variable ce[5][4][0] 0.71/0.89 c remove useless variable ce[5][4][1] 0.71/0.89 c remove useless variable ce[5][4][2] 0.71/0.89 c remove useless variable ce[5][4][3] 0.71/0.89 c remove useless variable ce[5][4][4] 0.71/0.89 c remove useless variable ce[5][5][0] 0.71/0.89 c remove useless variable ce[5][5][1] 0.71/0.89 c remove useless variable ce[5][5][2] 0.71/0.89 c remove useless variable ce[5][5][3] 0.71/0.89 c remove useless variable ce[5][5][4] 0.71/0.89 c remove useless variable ce[5][5][5] 0.71/0.89 c remove useless variable ce[5][6][0] 0.71/0.89 c remove useless variable ce[5][6][1] 0.71/0.89 c remove useless variable ce[5][6][2] 0.71/0.89 c remove useless variable ce[5][6][3] 0.71/0.89 c remove useless variable ce[5][6][4] 0.71/0.89 c remove useless variable ce[5][6][5] 0.71/0.89 c remove useless variable ce[5][6][6] 0.71/0.89 c remove useless variable ce[5][7][0] 0.71/0.89 c remove useless variable ce[5][7][1] 0.71/0.89 c remove useless variable ce[5][7][2] 0.71/0.89 c remove useless variable ce[5][7][3] 0.71/0.89 c remove useless variable ce[5][7][4] 0.71/0.89 c remove useless variable ce[5][7][5] 0.71/0.89 c remove useless variable ce[5][7][6] 0.71/0.89 c remove useless variable ce[5][7][7] 0.71/0.89 c remove useless variable ce[5][8][0] 0.71/0.89 c remove useless variable ce[5][8][1] 0.71/0.89 c remove useless variable ce[5][8][2] 0.71/0.89 c remove useless variable ce[5][8][3] 0.71/0.89 c remove useless variable ce[5][8][4] 0.71/0.89 c remove useless variable ce[5][8][5] 0.71/0.89 c remove useless variable ce[5][8][6] 0.71/0.89 c remove useless variable ce[5][8][7] 0.71/0.89 c remove useless variable ce[5][8][8] 0.71/0.89 c remove useless variable ce[5][9][0] 0.71/0.89 c remove useless variable ce[5][9][1] 0.71/0.89 c remove useless variable ce[5][9][2] 0.71/0.89 c remove useless variable ce[5][9][3] 0.71/0.89 c remove useless variable ce[5][9][4] 0.71/0.89 c remove useless variable ce[5][9][5] 0.71/0.89 c remove useless variable ce[5][9][6] 0.71/0.89 c remove useless variable ce[5][9][7] 0.71/0.89 c remove useless variable ce[5][9][8] 0.71/0.89 c remove useless variable ce[5][9][9] 0.71/0.89 c remove useless variable ce[5][10][0] 0.71/0.89 c remove useless variable ce[5][10][1] 0.71/0.89 c remove useless variable ce[5][10][2] 0.71/0.89 c remove useless variable ce[5][10][3] 0.71/0.89 c remove useless variable ce[5][10][4] 0.71/0.89 c remove useless variable ce[5][10][5] 0.71/0.89 c remove useless variable ce[5][10][6] 0.71/0.89 c remove useless variable ce[5][10][7] 0.71/0.89 c remove useless variable ce[5][10][8] 0.71/0.89 c remove useless variable ce[5][10][9] 0.71/0.89 c remove useless variable ce[5][10][10] 0.71/0.89 c remove useless variable ce[5][11][0] 0.71/0.89 c remove useless variable ce[5][11][1] 0.71/0.89 c remove useless variable ce[5][11][2] 0.71/0.89 c remove useless variable ce[5][11][3] 0.71/0.89 c remove useless variable ce[5][11][4] 0.71/0.89 c remove useless variable ce[5][11][5] 0.71/0.89 c remove useless variable ce[5][11][6] 0.71/0.89 c remove useless variable ce[5][11][7] 0.71/0.89 c remove useless variable ce[5][11][8] 0.71/0.89 c remove useless variable ce[5][11][9] 0.71/0.89 c remove useless variable ce[5][11][10] 0.71/0.89 c remove useless variable ce[5][11][11] 0.71/0.89 c remove useless variable ce[6][0][0] 0.71/0.89 c remove useless variable ce[6][1][0] 0.71/0.89 c remove useless variable ce[6][1][1] 0.71/0.89 c remove useless variable ce[6][2][0] 0.71/0.89 c remove useless variable ce[6][2][1] 0.71/0.89 c remove useless variable ce[6][2][2] 0.71/0.89 c remove useless variable ce[6][3][0] 0.71/0.89 c remove useless variable ce[6][3][1] 0.71/0.89 c remove useless variable ce[6][3][2] 0.71/0.89 c remove useless variable ce[6][3][3] 0.71/0.89 c remove useless variable ce[6][4][0] 0.71/0.89 c remove useless variable ce[6][4][1] 0.71/0.89 c remove useless variable ce[6][4][2] 0.71/0.89 c remove useless variable ce[6][4][3] 0.71/0.89 c remove useless variable ce[6][4][4] 0.71/0.89 c remove useless variable ce[6][5][0] 0.71/0.89 c remove useless variable ce[6][5][1] 0.71/0.89 c remove useless variable ce[6][5][2] 0.71/0.89 c remove useless variable ce[6][5][3] 0.71/0.89 c remove useless variable ce[6][5][4] 0.71/0.89 c remove useless variable ce[6][5][5] 0.71/0.89 c remove useless variable ce[6][6][0] 0.71/0.89 c remove useless variable ce[6][6][1] 0.71/0.89 c remove useless variable ce[6][6][2] 0.71/0.89 c remove useless variable ce[6][6][3] 0.71/0.89 c remove useless variable ce[6][6][4] 0.71/0.89 c remove useless variable ce[6][6][5] 0.71/0.89 c remove useless variable ce[6][6][6] 0.71/0.89 c remove useless variable ce[6][7][0] 0.71/0.89 c remove useless variable ce[6][7][1] 0.71/0.89 c remove useless variable ce[6][7][2] 0.71/0.89 c remove useless variable ce[6][7][3] 0.71/0.89 c remove useless variable ce[6][7][4] 0.71/0.89 c remove useless variable ce[6][7][5] 0.71/0.89 c remove useless variable ce[6][7][6] 0.71/0.89 c remove useless variable ce[6][7][7] 0.71/0.89 c remove useless variable ce[6][8][0] 0.71/0.89 c remove useless variable ce[6][8][1] 0.71/0.89 c remove useless variable ce[6][8][2] 0.71/0.89 c remove useless variable ce[6][8][3] 0.71/0.89 c remove useless variable ce[6][8][4] 0.71/0.89 c remove useless variable ce[6][8][5] 0.71/0.89 c remove useless variable ce[6][8][6] 0.71/0.89 c remove useless variable ce[6][8][7] 0.71/0.89 c remove useless variable ce[6][8][8] 0.71/0.89 c remove useless variable ce[6][9][0] 0.71/0.89 c remove useless variable ce[6][9][1] 0.71/0.89 c remove useless variable ce[6][9][2] 0.71/0.89 c remove useless variable ce[6][9][3] 0.71/0.89 c remove useless variable ce[6][9][4] 0.71/0.89 c remove useless variable ce[6][9][5] 0.71/0.89 c remove useless variable ce[6][9][6] 0.71/0.89 c remove useless variable ce[6][9][7] 0.71/0.89 c remove useless variable ce[6][9][8] 0.71/0.89 c remove useless variable ce[6][9][9] 0.71/0.89 c remove useless variable ce[6][10][0] 0.71/0.89 c remove useless variable ce[6][10][1] 0.71/0.89 c remove useless variable ce[6][10][2] 0.71/0.89 c remove useless variable ce[6][10][3] 0.71/0.89 c remove useless variable ce[6][10][4] 0.71/0.89 c remove useless variable ce[6][10][5] 0.71/0.89 c remove useless variable ce[6][10][6] 0.71/0.89 c remove useless variable ce[6][10][7] 0.71/0.89 c remove useless variable ce[6][10][8] 0.71/0.89 c remove useless variable ce[6][10][9] 0.71/0.89 c remove useless variable ce[6][10][10] 0.71/0.89 c remove useless variable ce[6][11][0] 0.71/0.89 c remove useless variable ce[6][11][1] 0.71/0.89 c remove useless variable ce[6][11][2] 0.71/0.89 c remove useless variable ce[6][11][3] 0.71/0.89 c remove useless variable ce[6][11][4] 0.71/0.89 c remove useless variable ce[6][11][5] 0.71/0.89 c remove useless variable ce[6][11][6] 0.71/0.89 c remove useless variable ce[6][11][7] 0.71/0.89 c remove useless variable ce[6][11][8] 0.71/0.89 c remove useless variable ce[6][11][9] 0.71/0.89 c remove useless variable ce[6][11][10] 0.71/0.89 c remove useless variable ce[6][11][11] 0.71/0.89 c remove useless variable ce[7][0][0] 0.71/0.89 c remove useless variable ce[7][1][0] 0.71/0.89 c remove useless variable ce[7][1][1] 0.71/0.89 c remove useless variable ce[7][2][0] 0.71/0.89 c remove useless variable ce[7][2][1] 0.71/0.89 c remove useless variable ce[7][2][2] 0.71/0.89 c remove useless variable ce[7][3][0] 0.71/0.89 c remove useless variable ce[7][3][1] 0.71/0.89 c remove useless variable ce[7][3][2] 0.71/0.89 c remove useless variable ce[7][3][3] 0.71/0.89 c remove useless variable ce[7][4][0] 0.71/0.89 c remove useless variable ce[7][4][1] 0.71/0.89 c remove useless variable ce[7][4][2] 0.71/0.89 c remove useless variable ce[7][4][3] 0.71/0.89 c remove useless variable ce[7][4][4] 0.71/0.89 c remove useless variable ce[7][5][0] 0.71/0.89 c remove useless variable ce[7][5][1] 0.71/0.89 c remove useless variable ce[7][5][2] 0.71/0.89 c remove useless variable ce[7][5][3] 0.71/0.89 c remove useless variable ce[7][5][4] 0.71/0.89 c remove useless variable ce[7][5][5] 0.71/0.89 c remove useless variable ce[7][6][0] 0.71/0.89 c remove useless variable ce[7][6][1] 0.71/0.89 c remove useless variable ce[7][6][2] 0.71/0.89 c remove useless variable ce[7][6][3] 0.71/0.89 c remove useless variable ce[7][6][4] 0.71/0.89 c remove useless variable ce[7][6][5] 0.71/0.89 c remove useless variable ce[7][6][6] 0.71/0.89 c remove useless variable ce[7][7][0] 0.71/0.89 c remove useless variable ce[7][7][1] 0.71/0.89 c remove useless variable ce[7][7][2] 0.71/0.89 c remove useless variable ce[7][7][3] 0.71/0.89 c remove useless variable ce[7][7][4] 0.71/0.89 c remove useless variable ce[7][7][5] 0.71/0.89 c remove useless variable ce[7][7][6] 0.71/0.89 c remove useless variable ce[7][7][7] 0.71/0.89 c remove useless variable ce[7][8][0] 0.71/0.89 c remove useless variable ce[7][8][1] 0.71/0.89 c remove useless variable ce[7][8][2] 0.71/0.89 c remove useless variable ce[7][8][3] 0.71/0.89 c remove useless variable ce[7][8][4] 0.71/0.89 c remove useless variable ce[7][8][5] 0.71/0.89 c remove useless variable ce[7][8][6] 0.71/0.89 c remove useless variable ce[7][8][7] 0.71/0.89 c remove useless variable ce[7][8][8] 0.71/0.89 c remove useless variable ce[7][9][0] 0.71/0.89 c remove useless variable ce[7][9][1] 0.71/0.89 c remove useless variable ce[7][9][2] 0.71/0.89 c remove useless variable ce[7][9][3] 0.71/0.89 c remove useless variable ce[7][9][4] 0.71/0.89 c remove useless variable ce[7][9][5] 0.71/0.89 c remove useless variable ce[7][9][6] 0.71/0.89 c remove useless variable ce[7][9][7] 0.71/0.89 c remove useless variable ce[7][9][8] 0.71/0.89 c remove useless variable ce[7][9][9] 0.71/0.89 c remove useless variable ce[7][10][0] 0.71/0.89 c remove useless variable ce[7][10][1] 0.71/0.89 c remove useless variable ce[7][10][2] 0.71/0.89 c remove useless variable ce[7][10][3] 0.71/0.89 c remove useless variable ce[7][10][4] 0.71/0.89 c remove useless variable ce[7][10][5] 0.71/0.89 c remove useless variable ce[7][10][6] 0.71/0.89 c remove useless variable ce[7][10][7] 0.71/0.89 c remove useless variable ce[7][10][8] 0.71/0.89 c remove useless variable ce[7][10][9] 0.71/0.89 c remove useless variable ce[7][10][10] 0.71/0.89 c remove useless variable ce[7][11][0] 0.71/0.89 c remove useless variable ce[7][11][1] 0.71/0.89 c remove useless variable ce[7][11][2] 0.71/0.89 c remove useless variable ce[7][11][3] 0.71/0.89 c remove useless variable ce[7][11][4] 0.71/0.89 c remove useless variable ce[7][11][5] 0.71/0.89 c remove useless variable ce[7][11][6] 0.71/0.89 c remove useless variable ce[7][11][7] 0.71/0.89 c remove useless variable ce[7][11][8] 0.71/0.89 c remove useless variable ce[7][11][9] 0.71/0.89 c remove useless variable ce[7][11][10] 0.71/0.89 c remove useless variable ce[7][11][11] 0.71/0.89 c remove useless variable ce[8][0][0] 0.71/0.89 c remove useless variable ce[8][1][0] 0.71/0.89 c remove useless variable ce[8][1][1] 0.71/0.89 c remove useless variable ce[8][2][0] 0.71/0.89 c remove useless variable ce[8][2][1] 0.71/0.89 c remove useless variable ce[8][2][2] 0.71/0.89 c remove useless variable ce[8][3][0] 0.71/0.89 c remove useless variable ce[8][3][1] 0.71/0.89 c remove useless variable ce[8][3][2] 0.71/0.89 c remove useless variable ce[8][3][3] 0.71/0.89 c remove useless variable ce[8][4][0] 0.71/0.89 c remove useless variable ce[8][4][1] 0.71/0.89 c remove useless variable ce[8][4][2] 0.71/0.89 c remove useless variable ce[8][4][3] 0.71/0.89 c remove useless variable ce[8][4][4] 0.71/0.89 c remove useless variable ce[8][5][0] 0.71/0.89 c remove useless variable ce[8][5][1] 0.71/0.89 c remove useless variable ce[8][5][2] 0.71/0.89 c remove useless variable ce[8][5][3] 0.71/0.89 c remove useless variable ce[8][5][4] 0.71/0.89 c remove useless variable ce[8][5][5] 0.71/0.89 c remove useless variable ce[8][6][0] 0.71/0.89 c remove useless variable ce[8][6][1] 0.71/0.89 c remove useless variable ce[8][6][2] 0.71/0.89 c remove useless variable ce[8][6][3] 0.71/0.89 c remove useless variable ce[8][6][4] 0.71/0.89 c remove useless variable ce[8][6][5] 0.71/0.89 c remove useless variable ce[8][6][6] 0.71/0.89 c remove useless variable ce[8][7][0] 0.71/0.89 c remove useless variable ce[8][7][1] 0.71/0.89 c remove useless variable ce[8][7][2] 0.71/0.89 c remove useless variable ce[8][7][3] 0.71/0.89 c remove useless variable ce[8][7][4] 0.71/0.89 c remove useless variable ce[8][7][5] 0.71/0.89 c remove useless variable ce[8][7][6] 0.71/0.89 c remove useless variable ce[8][7][7] 0.71/0.89 c remove useless variable ce[8][8][0] 0.71/0.89 c remove useless variable ce[8][8][1] 0.71/0.89 c remove useless variable ce[8][8][2] 0.71/0.89 c remove useless variable ce[8][8][3] 0.71/0.89 c remove useless variable ce[8][8][4] 0.71/0.89 c remove useless variable ce[8][8][5] 0.71/0.89 c remove useless variable ce[8][8][6] 0.71/0.89 c remove useless variable ce[8][8][7] 0.71/0.89 c remove useless variable ce[8][8][8] 0.71/0.89 c remove useless variable ce[8][9][0] 0.71/0.89 c remove useless variable ce[8][9][1] 0.71/0.89 c remove useless variable ce[8][9][2] 0.71/0.89 c remove useless variable ce[8][9][3] 0.71/0.89 c remove useless variable ce[8][9][4] 0.71/0.89 c remove useless variable ce[8][9][5] 0.71/0.89 c remove useless variable ce[8][9][6] 0.71/0.89 c remove useless variable ce[8][9][7] 0.71/0.89 c remove useless variable ce[8][9][8] 0.71/0.89 c remove useless variable ce[8][9][9] 0.71/0.89 c remove useless variable ce[8][10][0] 0.71/0.89 c remove useless variable ce[8][10][1] 0.71/0.89 c remove useless variable ce[8][10][2] 0.71/0.89 c remove useless variable ce[8][10][3] 0.71/0.89 c remove useless variable ce[8][10][4] 0.71/0.89 c remove useless variable ce[8][10][5] 0.71/0.89 c remove useless variable ce[8][10][6] 0.71/0.89 c remove useless variable ce[8][10][7] 0.71/0.89 c remove useless variable ce[8][10][8] 0.71/0.89 c remove useless variable ce[8][10][9] 0.71/0.89 c remove useless variable ce[8][10][10] 0.71/0.89 c remove useless variable ce[8][11][0] 0.71/0.89 c remove useless variable ce[8][11][1] 0.71/0.89 c remove useless variable ce[8][11][2] 0.71/0.89 c remove useless variable ce[8][11][3] 0.71/0.89 c remove useless variable ce[8][11][4] 0.71/0.89 c remove useless variable ce[8][11][5] 0.71/0.89 c remove useless variable ce[8][11][6] 0.71/0.89 c remove useless variable ce[8][11][7] 0.71/0.89 c remove useless variable ce[8][11][8] 0.71/0.89 c remove useless variable ce[8][11][9] 0.71/0.89 c remove useless variable ce[8][11][10] 0.71/0.89 c remove useless variable ce[8][11][11] 1.92/2.08 c 101 791 241204 248219 0 0 691 691 684 3.12/3.25 c 211 1388 459183 567522 0 0 4 488 479 4.41/4.53 c 332 2030 684429 1741775 0 0 6 522 488 4.51/4.60 c 465 2192 694567 1938216 0 0 5 30 22 5.51/5.64 c 611 2708 872230 2479968 0 0 4 371 138 6.41/6.50 c 771 3155 1010078 2972183 0 0 8 288 40 7.21/7.39 c 947 3630 1149920 3545998 0 0 8 300 55 7.41/7.53 c 1140 3879 1161312 4020408 0 0 5 57 35 8.31/8.43 c 1352 4414 1304077 4737366 0 0 7 324 77 8.51/8.66 c 1585 4689 1319157 5764743 0 0 5 43 32 9.41/9.54 c 1841 5280 1458639 6586121 0 0 5 336 70 9.71/9.81 c 2122 5585 1474055 7777349 0 0 9 25 23 9.92/10.05 c 2431 5982 1487700 8825600 0 0 8 89 49 10.21/10.36 c 2770 6395 1501778 10003856 0 0 8 75 63 10.71/10.84 c 3142 6789 1519235 12440377 0 0 7 23 22 11.81/11.91 c 3551 7699 1694285 13452054 0 0 3 502 313 12.81/12.90 c 4000 8579 1842618 14648501 0 0 5 432 232 13.51/13.65 c 4493 9149 1871351 18744756 0 0 5 50 37 15.31/15.42 c 5035 10381 2125247 23499645 0 0 691 691 689 16.11/16.24 c 5631 11070 2161673 27360441 0 0 6 94 82 17.41/17.55 c 6286 11844 2200205 33674965 0 0 8 120 106 18.21/18.36 c 7006 12661 2237235 37322907 0 0 7 97 92 18.71/18.84 c 7798 13469 2276841 40033111 0 0 15 16 15 19.31/19.49 c 8669 14419 2315244 43286695 0 0 7 79 77 20.11/20.27 c 9627 15541 2349081 47430851 0 0 13 120 105 21.71/21.83 c 10680 16615 2396474 55138434 0 0 20 21 20 22.81/22.94 c 11838 17786 2448304 61203234 0 0 12 12 11 23.81/23.97 c 13111 19088 2508844 67230649 0 0 5 29 28 25.11/25.24 c 14511 20626 2548663 73894398 0 0 8 134 122 26.81/26.90 c 16051 23825 2633700 79329172 0 0 10 42 36 27.31/27.45 c 17745 25549 2693146 82592562 0 0 10 29 28 31.61/31.78 c 19608 27520 2769079 107651131 0 0 14 107 103 33.81/33.93 c 21657 30266 3047265 115062781 0 0 691 691 690 35.41/35.57 c 23910 32578 3132585 123386434 0 0 5 57 56 37.31/37.45 c 26388 35084 3223179 135615449 0 0 4 26 25 39.81/39.96 c 29113 37856 3321333 150736665 0 0 6 42 36 41.92/42.05 c 32110 40901 3435355 165190920 0 0 11 25 24 43.51/43.63 c 35406 44401 3555110 172808088 0 0 12 200 124 45.11/45.27 c 39031 48138 3698729 183826884 0 0 3 108 23 47.61/47.74 c 43018 52355 3774544 195730409 0 0 6 224 194 48.51/48.67 c 47403 56758 3941017 202669049 0 0 7 13 12 51.11/51.27 c 52226 61612 4137913 217277378 0 0 4 24 20 56.81/56.97 c 57531 67053 4363369 248980868 0 0 5 129 88 58.81/59.00 c 63366 72910 4594099 260898830 0 0 3 15 14 63.01/63.15 c 69784 79445 4807147 287100560 0 0 5 99 54 69.91/70.01 c 76843 86593 4990785 331742203 0 0 3 75 74 73.80/73.91 c 84607 94403 5262353 361866327 0 0 7 36 35 78.40/78.50 c 93147 103205 5418304 383692318 0 0 7 248 213 79.91/80.05 c 102541 112633 5769366 396595236 0 0 8 22 21 88.01/88.15 c 112874 123046 6159170 456239600 0 0 4 66 57 100.20/100.37 c 124240 134530 6555891 513614424 0 0 4 95 79 102.80/102.97 c 136742 147111 6995889 533382826 0 0 4 26 25 110.80/110.90 c 150494 160951 7473164 594068105 0 0 4 29 28 121.00/121.19 c 165621 176150 8006366 674809897 0 0 4 51 50 130.90/131.02 c 182260 192847 8606649 750232932 0 0 6 35 34 147.19/147.35 c 200562 211242 9338116 839601880 0 0 4 67 56 158.09/158.28 c 220694 231423 10038521 921655079 0 0 5 21 20 162.59/162.78 c 242839 253631 10801837 958172697 0 0 4 32 29 179.09/179.28 c 267198 278060 11658913 1087823408 0 0 8 35 32 193.69/193.82 c 293992 304956 12626900 1182940268 0 0 4 63 54 228.00/228.15 c 323465 334729 13853453 1330630674 0 0 6 71 70 263.29/263.41 c 355885 367972 14994228 1604013743 0 0 691 691 690 317.09/317.24 c 391547 403718 16703099 1926570877 0 0 32 32 31 339.49/339.70 c 430775 443024 18364275 2102709622 0 0 22 22 21 363.39/363.57 c 473925 486320 19851245 2282608204 0 0 19 21 20 391.69/391.83 c 521390 534170 20884076 2442440627 0 0 4 126 118 412.18/412.33 c 573601 586566 22590919 2582688900 0 0 6 34 33 460.99/461.17 c 631033 644872 23955436 2935558775 0 0 7 138 135 511.48/511.68 c 694208 708186 26389834 3317593407 0 0 11 46 45 523.58/523.71 c 763700 778857 28770965 3418200111 0 0 3 26 25 590.67/590.81 c 840141 856126 31379761 3952695136 0 0 4 56 54 607.88/608.07 c 924226 940361 34440632 4088160568 0 0 4 27 26 669.47/669.68 c 1016719 1033007 37689373 4559967273 0 0 4 18 17 706.57/706.77 c 1118461 1136570 40195937 4804151987 0 0 4 170 167 771.76/771.93 c 1230377 1249193 44004641 5318083956 0 0 5 40 39 818.66/818.81 c 1353484 1375653 45199714 5631440538 0 0 6 244 213 881.36/881.58 c 1488901 1511306 49850041 6148852440 0 0 4 35 34 917.87/918.05 c 1637859 1660536 54181228 6409221586 0 0 4 50 49 1011.75/1011.94 c 1801712 1824803 59437308 6907677117 0 0 5 88 85 1035.96/1036.19 c 1981950 2006144 60148154 6938192798 0 0 5 447 442 1071.55/1071.76 c 2180211 2204776 66213971 7211763195 0 0 3 72 71 1131.34/1131.59 c 2398298 2430449 67744320 7484091291 0 0 4 472 465 1182.64/1182.84 c 2638193 2671983 69102419 7672227703 0 0 5 513 503 1217.95/1218.15 c 2902077 2937617 70097420 7699624477 0 0 4 515 507 1773.81/1774.01 c 3192349 3359611 87127778 10311437214 0 0 6 96 90 1826.70/1826.90 c 3511648 3679401 96592303 10729739357 0 0 10 17 16 2145.69/2145.92 c 3862876 4035464 106995104 13380190994 0 0 4 84 83 2400.07/2400.30 2400.07/2400.30 c *** INTERRUPTED *** 2400.07/2400.30 c restarts : 87 2400.07/2400.30 c conflicts : 4002690 (1668 /sec) 2400.07/2400.30 c decisions : 4175585 (1740 /sec) 2400.07/2400.30 c propagations : 14758294227 (6149192 /sec) 2400.07/2400.30 c root propagations : 0 2400.07/2400.30 c filter calls : 112296973 (46790 /sec) 2400.07/2400.30 c useless filter calls : 81672853 (72 %) 2400.07/2400.30 c Memory used : 81.94 MB 2400.07/2400.30 c CPU time : 2400.04 s 2400.07/2400.30 2400.07/2400.30 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 (15692 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267268-1502744157/watcher-4267268-1502744157 -o /tmp/evaluation-result-4267268-1502744157/solver-4267268-1502744157 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502743321-6958 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267268-1502744157.xml
running on 4 cores: 0,2,4,6
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=6984, runsolver pid=6981
Current StackSize limit: 8192 KiB
[startup+0.100405 s]*
/proc/loadavg: 0.47 0.86 0.99 2/184 6995
/proc/meminfo: memFree=31774488/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=35880 memory=12308 CPUtime=0.02 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 3301 0 0 0 2 0 0 0 20 0 1 0 2030759 36741120 3077 18446744073709551615 4194304 5748600 140729785194384 140729785191032 4908429 0 0 0 0 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 8970 3077 767 380 0 2388 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 35880 KiB
Current children cumulated memory: 12308 KiB
[startup+0.209406 s]*
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31760252/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=40372 memory=16968 CPUtime=0.13 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 4410 0 0 0 13 0 0 0 20 0 1 0 2030759 41340928 4242 18446744073709551615 4194304 5748600 140729785194384 140729785191032 4908429 0 0 0 0 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 10093 4242 774 380 0 3511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 40372 KiB
Current children cumulated memory: 16968 KiB
[startup+0.309091 s]*
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31750952/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=44452 memory=20984 CPUtime=0.23 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 5428 0 0 0 23 0 0 0 20 0 1 0 2030759 45518848 5246 18446744073709551615 4194304 5748600 140729785194384 140729785191032 4908429 0 0 0 0 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 11113 5246 774 380 0 4531 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 44452 KiB
Current children cumulated memory: 20984 KiB
[startup+0.700347 s]
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31734336/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=60084 memory=36644 CPUtime=0.61 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 9336 0 0 0 60 1 0 0 20 0 1 0 2030759 61526016 9161 18446744073709551615 4194304 5748600 140729785194384 140729785188008 4996739 0 0 0 0 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 15021 9161 774 380 0 8439 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 60084 KiB
Current children cumulated memory: 36644 KiB
[startup+1.50035 s]
/proc/loadavg: 0.47 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31698252/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=68688 memory=45068 CPUtime=1.41 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 11487 0 0 0 140 1 0 0 20 0 1 0 2030759 70336512 11267 18446744073709551615 4194304 5748600 140729785194384 140729785191752 4918525 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 17172 11267 815 380 0 10590 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 68688 KiB
Current children cumulated memory: 45068 KiB
[startup+3.10932 s]
/proc/loadavg: 0.52 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31690176/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=71208 memory=47736 CPUtime=3.02 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 14890 0 0 0 300 2 0 0 20 0 1 0 2030759 72916992 11934 18446744073709551615 4194304 5748600 140729785194384 140729785191784 4912157 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 17802 11934 816 380 0 11220 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 71208 KiB
Current children cumulated memory: 47736 KiB
[startup+6.30034 s]
/proc/loadavg: 0.52 0.86 0.99 3/184 6995
/proc/meminfo: memFree=31689980/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=71208 memory=47736 CPUtime=6.21 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 17872 0 0 0 619 2 0 0 20 0 1 0 2030759 72916992 11934 18446744073709551615 4194304 5748600 140729785194384 140729785191784 4918516 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 17802 11934 816 380 0 11220 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 71208 KiB
Current children cumulated memory: 47736 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=6984] ppid=6981 vsize=71868 memory=48364 CPUtime=12.61 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 21308 0 0 0 1259 2 0 0 20 0 1 0 2030759 73592832 12091 18446744073709551615 4194304 5748600 140729785194384 140729785191160 4915322 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 17967 12091 816 380 0 11385 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 71868 KiB
Current children cumulated memory: 48364 KiB
[startup+25.5004 s]
/proc/loadavg: 0.94 0.94 1.01 3/184 6995
/proc/meminfo: memFree=31685372/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=74640 memory=51132 CPUtime=25.41 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 29555 0 0 0 2538 3 0 0 20 0 1 0 2030759 76431360 12783 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4910125 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 18660 12783 816 380 0 12078 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 74640 KiB
Current children cumulated memory: 51132 KiB
[startup+51.1089 s]
/proc/loadavg: 1.30 1.02 1.04 3/184 6995
/proc/meminfo: memFree=31681412/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=76620 memory=53120 CPUtime=51.02 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 35244 0 0 0 5099 3 0 0 20 0 1 0 2030759 78458880 13280 18446744073709551615 4194304 5748600 140729785194384 140729785191528 5000352 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19155 13280 816 380 0 12573 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 76620 KiB
Current children cumulated memory: 53120 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=6984] ppid=6981 vsize=77808 memory=54280 CPUtime=102.2 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 38053 0 0 0 10217 3 0 0 20 0 1 0 2030759 79675392 13570 18446744073709551615 4194304 5748600 140729785194384 140729785191784 4972000 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19452 13570 816 380 0 12870 0
Current children cumulated CPU time: 102.2 s
Current children cumulated vsize: 77808 KiB
Current children cumulated memory: 54280 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=6984] ppid=6981 vsize=78336 memory=54720 CPUtime=162.19 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 38990 0 0 0 16216 3 0 0 20 0 1 0 2030759 80216064 13680 18446744073709551615 4194304 5748600 140729785194384 140729785191784 4873931 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19584 13680 816 380 0 13002 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 78336 KiB
Current children cumulated memory: 54720 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=6984] ppid=6981 vsize=78468 memory=54952 CPUtime=222.19 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 39926 0 0 0 22216 3 0 0 20 0 1 0 2030759 80351232 13738 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4906365 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19617 13738 816 380 0 13035 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 78468 KiB
Current children cumulated memory: 54952 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=6984] ppid=6981 vsize=78996 memory=55356 CPUtime=282.19 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 41495 0 0 0 28215 4 0 0 20 0 1 0 2030759 80891904 13839 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4909685 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19749 13839 816 380 0 13167 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 78996 KiB
Current children cumulated memory: 55356 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=6984] ppid=6981 vsize=78996 memory=55520 CPUtime=342.19 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 42096 0 0 0 34215 4 0 0 20 0 1 0 2030759 80891904 13880 18446744073709551615 4194304 5748600 140729785194384 140729785191784 4918953 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19749 13880 816 380 0 13167 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 78996 KiB
Current children cumulated memory: 55520 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=6984] ppid=6981 vsize=79260 memory=55568 CPUtime=402.19 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 42818 0 0 0 40215 4 0 0 20 0 1 0 2030759 81162240 13892 18446744073709551615 4194304 5748600 140729785194384 140729785191528 5000352 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19815 13892 816 380 0 13233 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 79260 KiB
Current children cumulated memory: 55568 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=6984] ppid=6981 vsize=79524 memory=56044 CPUtime=462.18 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 43448 0 0 0 46214 4 0 0 20 0 1 0 2030759 81432576 14011 18446744073709551615 4194304 5748600 140729785194384 140729785191784 4873948 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 19881 14011 816 380 0 13299 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 79524 KiB
Current children cumulated memory: 56044 KiB
################
# More data... #
################
/proc/6984/statm: 20843 14988 816 380 0 14261 0
Current children cumulated CPU time: 1662.11 s
Current children cumulated vsize: 83372 KiB
Current children cumulated memory: 59952 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=6984] ppid=6981 vsize=83372 memory=59952 CPUtime=1722.11 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 57280 0 0 0 172207 4 0 0 20 0 1 0 2030759 85372928 14988 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4954365 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20843 14988 816 380 0 14261 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 83372 KiB
Current children cumulated memory: 59952 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=6984] ppid=6981 vsize=83372 memory=59952 CPUtime=1782.11 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 57907 0 0 0 178207 4 0 0 20 0 1 0 2030759 85372928 14988 18446744073709551615 4194304 5748600 140729785194384 140729785191784 5127490 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20843 14988 816 380 0 14261 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 83372 KiB
Current children cumulated memory: 59952 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=6984] ppid=6981 vsize=83636 memory=59968 CPUtime=1842.1 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 58650 0 0 0 184206 4 0 0 20 0 1 0 2030759 85643264 14992 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4910152 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20909 14992 816 380 0 14327 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 83636 KiB
Current children cumulated memory: 59968 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=6984] ppid=6981 vsize=83636 memory=60144 CPUtime=1902.1 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 59339 0 0 0 190206 4 0 0 20 0 1 0 2030759 85643264 15036 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4873942 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20909 15036 816 380 0 14327 0
Current children cumulated CPU time: 1902.1 s
Current children cumulated vsize: 83636 KiB
Current children cumulated memory: 60144 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=6984] ppid=6981 vsize=83636 memory=60184 CPUtime=1962.1 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 60034 0 0 0 196206 4 0 0 20 0 1 0 2030759 85643264 15046 18446744073709551615 4194304 5748600 140729785194384 140729785191528 5010096 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20909 15046 816 380 0 14327 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 83636 KiB
Current children cumulated memory: 60184 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=6984] ppid=6981 vsize=83636 memory=60212 CPUtime=2022.09 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 60734 0 0 0 202205 4 0 0 20 0 1 0 2030759 85643264 15053 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4873967 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20909 15053 816 380 0 14327 0
Current children cumulated CPU time: 2022.09 s
Current children cumulated vsize: 83636 KiB
Current children cumulated memory: 60212 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=6984] ppid=6981 vsize=83768 memory=60236 CPUtime=2082.09 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 61441 0 0 0 208205 4 0 0 20 0 1 0 2030759 85778432 15059 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4972000 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20942 15059 816 380 0 14360 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 83768 KiB
Current children cumulated memory: 60236 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=6984] ppid=6981 vsize=83768 memory=60276 CPUtime=2142.09 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 62167 0 0 0 214205 4 0 0 20 0 1 0 2030759 85778432 15069 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4917880 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20942 15069 816 380 0 14360 0
Current children cumulated CPU time: 2142.09 s
Current children cumulated vsize: 83768 KiB
Current children cumulated memory: 60276 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=6984] ppid=6981 vsize=83900 memory=60488 CPUtime=2202.08 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 62850 0 0 0 220204 4 0 0 20 0 1 0 2030759 85913600 15122 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4915412 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20975 15122 816 380 0 14393 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 83900 KiB
Current children cumulated memory: 60488 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=6984] ppid=6981 vsize=83900 memory=60488 CPUtime=2262.08 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 63194 0 0 0 226204 4 0 0 20 0 1 0 2030759 85913600 15122 18446744073709551615 4194304 5748600 140729785194384 140729785191528 5000352 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20975 15122 816 380 0 14393 0
Current children cumulated CPU time: 2262.08 s
Current children cumulated vsize: 83900 KiB
Current children cumulated memory: 60488 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=6984] ppid=6981 vsize=83900 memory=60488 CPUtime=2322.08 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 63538 0 0 0 232204 4 0 0 20 0 1 0 2030759 85913600 15122 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4917909 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20975 15122 816 380 0 14393 0
Current children cumulated CPU time: 2322.08 s
Current children cumulated vsize: 83900 KiB
Current children cumulated memory: 60488 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=6984] ppid=6981 vsize=83900 memory=60488 CPUtime=2382.07 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 63882 0 0 0 238203 4 0 0 20 0 1 0 2030759 85913600 15122 18446744073709551615 4194304 5748600 140729785194384 140729785191528 5000352 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20975 15122 816 380 0 14393 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 83900 KiB
Current children cumulated memory: 60488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/183 7140
/proc/meminfo: memFree=31666292/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=83900 memory=60488 CPUtime=2400.07 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 64226 0 0 0 240003 4 0 0 20 0 1 0 2030759 85913600 15122 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4910137 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20975 15122 816 380 0 14393 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 83900 KiB
Current children cumulated memory: 60488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 6984 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.04 s, system=0.047997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/183 7140
/proc/meminfo: memFree=31666292/32770624 swapFree=67108860/67108860
[pid=6984] ppid=6981 vsize=83900 memory=60488 CPUtime=2400.07 cores=0,2,4,6
/proc/6984/stat : 6984 (cosoco) R 6981 6984 2357 34816 6959 4202496 64226 0 0 0 240003 4 0 0 20 0 1 0 2030759 85913600 15122 18446744073709551615 4194304 5748600 140729785194384 140729785191528 4910137 0 0 0 8405026 0 0 0 17 4 0 0 7 0 0 7849824 7854664 23359488 140729785201100 140729785201195 140729785201195 140729785204686 0
/proc/6984/statm: 20975 15122 816 380 0 14393 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 83900 KiB
Current children cumulated memory: 60488 KiB
Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.09
CPU user time (s): 2400.04
CPU system time (s): 0.047997
CPU usage (%): 99.991
Max. virtual memory (cumulated for all children) (KiB): 83900
Max. memory (cumulated for all children) (KiB): 60488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.047997
maximum resident set size= 60552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64274
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= 29
involuntary context switches= 3003
# summary of solver processes directly reported to runsolver:
# pid: 6984
# total CPU time (s): 2400.09
# total CPU user time (s): 2400.04
# total CPU system time (s): 0.047997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.67732 second user time and 16.4216 second system time
The end
Begin job on node129 at 2017-08-14 22:42:01 IDJOB=4267268 IDBENCH=120754 IDSOLVER=2657 FILE ID=node129/4267268-1502744157 RUNJOBID= node129-1502743321-6958 PBS_JOBID= Free space on /tmp= 62016 MiB SOLVER NAME= cosoco-mini 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267268-1502744157/watcher-4267268-1502744157 -o /tmp/evaluation-result-4267268-1502744157/solver-4267268-1502744157 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1502743321-6958 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267268-1502744157.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32cec65ed71b36923f34d2db18851218 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: 31786356 kB MemAvailable: 32026868 kB Buffers: 97144 kB Cached: 425952 kB SwapCached: 0 kB Active: 255160 kB Inactive: 324384 kB Active(anon): 56864 kB Inactive(anon): 8556 kB Active(file): 198296 kB Inactive(file): 315828 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1940 kB Writeback: 0 kB AnonPages: 56424 kB Mapped: 29084 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: 287712 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