| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.1899 | 2520.27 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K10-P09.xml |
| MD5SUM | 132dbb92a73ed64c3de106a7d099dd2d |
| 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 | 1070 |
| Number of constraints | 487 |
| Number of domains | 2 |
| Minimum domain size | 485 |
| Maximum domain size | 486 |
| Distribution of domain sizes | [{"size":485,"count":485},{"size":486,"count":90}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 12 |
| Distribution of variable degrees | [{"degree":0,"count":495},{"degree":2,"count":485},{"degree":11,"count":20},{"degree":12,"count":70}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 485 |
| Distribution of constraint arities | [{"arity":3,"count":485},{"arity":90,"count":1},{"arity":485,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 485 |
| Distribution of constraint types | [{"type":"intension","count":485},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
9.19/9.23 c SAT : Variables: 519040 -- Clauses: 125630620 9.19/9.25 c root propagations : 0 9.19/9.25 c restarts enabled, print stats at every restarts 9.19/9.25 c 9.19/9.25 c 9.19/9.25 c 9.19/9.25 c This is cosoco 1.12 -- 9.19/9.25 c 9.19/9.25 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266066-1502570691.xml 9.19/9.25 c ========================================[ Problem Statistics ]=========================================== 9.19/9.25 c | 9.19/9.25 c | Parse time : 7.92 s 9.19/9.25 c | 9.19/9.25 c | Variables: 1070 9.19/9.25 c | Domain Sizes: 485..486 9.19/9.25 c | 9.19/9.25 c | Constraints: 487 9.19/9.25 c | Arity: 3..485 -- Ternary: 485 9.19/9.25 c | 9.19/9.25 c | Types: 9.19/9.25 c | All Different: 2 9.19/9.25 c | Intension: 485 9.19/9.25 c | 9.19/9.25 c ========================================================================================================= 9.19/9.25 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 9.19/9.25 c remove useless variable ce[0][0][0] 9.19/9.25 c remove useless variable ce[0][1][0] 9.19/9.25 c remove useless variable ce[0][1][1] 9.19/9.25 c remove useless variable ce[0][2][0] 9.19/9.25 c remove useless variable ce[0][2][1] 9.19/9.25 c remove useless variable ce[0][2][2] 9.19/9.25 c remove useless variable ce[0][3][0] 9.19/9.25 c remove useless variable ce[0][3][1] 9.19/9.25 c remove useless variable ce[0][3][2] 9.19/9.25 c remove useless variable ce[0][3][3] 9.19/9.25 c remove useless variable ce[0][4][0] 9.19/9.25 c remove useless variable ce[0][4][1] 9.19/9.25 c remove useless variable ce[0][4][2] 9.19/9.25 c remove useless variable ce[0][4][3] 9.19/9.25 c remove useless variable ce[0][4][4] 9.19/9.25 c remove useless variable ce[0][5][0] 9.19/9.25 c remove useless variable ce[0][5][1] 9.19/9.25 c remove useless variable ce[0][5][2] 9.19/9.25 c remove useless variable ce[0][5][3] 9.19/9.25 c remove useless variable ce[0][5][4] 9.19/9.25 c remove useless variable ce[0][5][5] 9.19/9.25 c remove useless variable ce[0][6][0] 9.19/9.25 c remove useless variable ce[0][6][1] 9.19/9.25 c remove useless variable ce[0][6][2] 9.19/9.25 c remove useless variable ce[0][6][3] 9.19/9.25 c remove useless variable ce[0][6][4] 9.19/9.25 c remove useless variable ce[0][6][5] 9.19/9.25 c remove useless variable ce[0][6][6] 9.19/9.25 c remove useless variable ce[0][7][0] 9.19/9.25 c remove useless variable ce[0][7][1] 9.19/9.25 c remove useless variable ce[0][7][2] 9.19/9.25 c remove useless variable ce[0][7][3] 9.19/9.25 c remove useless variable ce[0][7][4] 9.19/9.25 c remove useless variable ce[0][7][5] 9.19/9.25 c remove useless variable ce[0][7][6] 9.19/9.25 c remove useless variable ce[0][7][7] 9.19/9.25 c remove useless variable ce[0][8][0] 9.19/9.25 c remove useless variable ce[0][8][1] 9.19/9.25 c remove useless variable ce[0][8][2] 9.19/9.25 c remove useless variable ce[0][8][3] 9.19/9.25 c remove useless variable ce[0][8][4] 9.19/9.25 c remove useless variable ce[0][8][5] 9.19/9.25 c remove useless variable ce[0][8][6] 9.19/9.25 c remove useless variable ce[0][8][7] 9.19/9.25 c remove useless variable ce[0][8][8] 9.19/9.25 c remove useless variable ce[0][9][0] 9.19/9.25 c remove useless variable ce[0][9][1] 9.19/9.25 c remove useless variable ce[0][9][2] 9.19/9.25 c remove useless variable ce[0][9][3] 9.19/9.25 c remove useless variable ce[0][9][4] 9.19/9.25 c remove useless variable ce[0][9][5] 9.19/9.25 c remove useless variable ce[0][9][6] 9.19/9.25 c remove useless variable ce[0][9][7] 9.19/9.25 c remove useless variable ce[0][9][8] 9.19/9.25 c remove useless variable ce[0][9][9] 9.19/9.25 c remove useless variable ce[1][0][0] 9.19/9.25 c remove useless variable ce[1][1][0] 9.19/9.25 c remove useless variable ce[1][1][1] 9.19/9.25 c remove useless variable ce[1][2][0] 9.19/9.25 c remove useless variable ce[1][2][1] 9.19/9.25 c remove useless variable ce[1][2][2] 9.19/9.25 c remove useless variable ce[1][3][0] 9.19/9.25 c remove useless variable ce[1][3][1] 9.19/9.25 c remove useless variable ce[1][3][2] 9.19/9.25 c remove useless variable ce[1][3][3] 9.19/9.25 c remove useless variable ce[1][4][0] 9.19/9.25 c remove useless variable ce[1][4][1] 9.19/9.25 c remove useless variable ce[1][4][2] 9.19/9.25 c remove useless variable ce[1][4][3] 9.19/9.25 c remove useless variable ce[1][4][4] 9.19/9.25 c remove useless variable ce[1][5][0] 9.19/9.25 c remove useless variable ce[1][5][1] 9.19/9.25 c remove useless variable ce[1][5][2] 9.19/9.25 c remove useless variable ce[1][5][3] 9.19/9.25 c remove useless variable ce[1][5][4] 9.19/9.25 c remove useless variable ce[1][5][5] 9.19/9.25 c remove useless variable ce[1][6][0] 9.19/9.25 c remove useless variable ce[1][6][1] 9.19/9.25 c remove useless variable ce[1][6][2] 9.19/9.25 c remove useless variable ce[1][6][3] 9.19/9.25 c remove useless variable ce[1][6][4] 9.19/9.25 c remove useless variable ce[1][6][5] 9.19/9.25 c remove useless variable ce[1][6][6] 9.19/9.25 c remove useless variable ce[1][7][0] 9.19/9.25 c remove useless variable ce[1][7][1] 9.19/9.25 c remove useless variable ce[1][7][2] 9.19/9.25 c remove useless variable ce[1][7][3] 9.19/9.25 c remove useless variable ce[1][7][4] 9.19/9.25 c remove useless variable ce[1][7][5] 9.19/9.25 c remove useless variable ce[1][7][6] 9.19/9.25 c remove useless variable ce[1][7][7] 9.19/9.25 c remove useless variable ce[1][8][0] 9.19/9.25 c remove useless variable ce[1][8][1] 9.19/9.25 c remove useless variable ce[1][8][2] 9.19/9.25 c remove useless variable ce[1][8][3] 9.19/9.25 c remove useless variable ce[1][8][4] 9.19/9.25 c remove useless variable ce[1][8][5] 9.19/9.25 c remove useless variable ce[1][8][6] 9.19/9.25 c remove useless variable ce[1][8][7] 9.19/9.25 c remove useless variable ce[1][8][8] 9.19/9.25 c remove useless variable ce[1][9][0] 9.19/9.25 c remove useless variable ce[1][9][1] 9.19/9.25 c remove useless variable ce[1][9][2] 9.19/9.25 c remove useless variable ce[1][9][3] 9.19/9.25 c remove useless variable ce[1][9][4] 9.19/9.25 c remove useless variable ce[1][9][5] 9.19/9.25 c remove useless variable ce[1][9][6] 9.19/9.25 c remove useless variable ce[1][9][7] 9.19/9.25 c remove useless variable ce[1][9][8] 9.19/9.25 c remove useless variable ce[1][9][9] 9.19/9.25 c remove useless variable ce[2][0][0] 9.19/9.25 c remove useless variable ce[2][1][0] 9.19/9.25 c remove useless variable ce[2][1][1] 9.19/9.25 c remove useless variable ce[2][2][0] 9.19/9.25 c remove useless variable ce[2][2][1] 9.19/9.25 c remove useless variable ce[2][2][2] 9.19/9.25 c remove useless variable ce[2][3][0] 9.19/9.25 c remove useless variable ce[2][3][1] 9.19/9.25 c remove useless variable ce[2][3][2] 9.19/9.25 c remove useless variable ce[2][3][3] 9.19/9.25 c remove useless variable ce[2][4][0] 9.19/9.25 c remove useless variable ce[2][4][1] 9.19/9.25 c remove useless variable ce[2][4][2] 9.19/9.25 c remove useless variable ce[2][4][3] 9.19/9.25 c remove useless variable ce[2][4][4] 9.19/9.25 c remove useless variable ce[2][5][0] 9.19/9.25 c remove useless variable ce[2][5][1] 9.19/9.25 c remove useless variable ce[2][5][2] 9.19/9.25 c remove useless variable ce[2][5][3] 9.19/9.25 c remove useless variable ce[2][5][4] 9.19/9.25 c remove useless variable ce[2][5][5] 9.19/9.25 c remove useless variable ce[2][6][0] 9.19/9.25 c remove useless variable ce[2][6][1] 9.19/9.25 c remove useless variable ce[2][6][2] 9.19/9.25 c remove useless variable ce[2][6][3] 9.19/9.25 c remove useless variable ce[2][6][4] 9.19/9.25 c remove useless variable ce[2][6][5] 9.19/9.25 c remove useless variable ce[2][6][6] 9.19/9.25 c remove useless variable ce[2][7][0] 9.19/9.25 c remove useless variable ce[2][7][1] 9.19/9.25 c remove useless variable ce[2][7][2] 9.19/9.25 c remove useless variable ce[2][7][3] 9.19/9.25 c remove useless variable ce[2][7][4] 9.19/9.25 c remove useless variable ce[2][7][5] 9.19/9.25 c remove useless variable ce[2][7][6] 9.19/9.25 c remove useless variable ce[2][7][7] 9.19/9.25 c remove useless variable ce[2][8][0] 9.19/9.25 c remove useless variable ce[2][8][1] 9.19/9.25 c remove useless variable ce[2][8][2] 9.19/9.25 c remove useless variable ce[2][8][3] 9.19/9.25 c remove useless variable ce[2][8][4] 9.19/9.25 c remove useless variable ce[2][8][5] 9.19/9.25 c remove useless variable ce[2][8][6] 9.19/9.25 c remove useless variable ce[2][8][7] 9.19/9.25 c remove useless variable ce[2][8][8] 9.19/9.25 c remove useless variable ce[2][9][0] 9.19/9.25 c remove useless variable ce[2][9][1] 9.19/9.25 c remove useless variable ce[2][9][2] 9.19/9.25 c remove useless variable ce[2][9][3] 9.19/9.25 c remove useless variable ce[2][9][4] 9.19/9.25 c remove useless variable ce[2][9][5] 9.19/9.25 c remove useless variable ce[2][9][6] 9.19/9.25 c remove useless variable ce[2][9][7] 9.19/9.25 c remove useless variable ce[2][9][8] 9.19/9.25 c remove useless variable ce[2][9][9] 9.19/9.25 c remove useless variable ce[3][0][0] 9.19/9.25 c remove useless variable ce[3][1][0] 9.19/9.25 c remove useless variable ce[3][1][1] 9.19/9.25 c remove useless variable ce[3][2][0] 9.19/9.25 c remove useless variable ce[3][2][1] 9.19/9.25 c remove useless variable ce[3][2][2] 9.19/9.25 c remove useless variable ce[3][3][0] 9.19/9.25 c remove useless variable ce[3][3][1] 9.19/9.25 c remove useless variable ce[3][3][2] 9.19/9.25 c remove useless variable ce[3][3][3] 9.19/9.25 c remove useless variable ce[3][4][0] 9.19/9.25 c remove useless variable ce[3][4][1] 9.19/9.25 c remove useless variable ce[3][4][2] 9.19/9.25 c remove useless variable ce[3][4][3] 9.19/9.25 c remove useless variable ce[3][4][4] 9.19/9.25 c remove useless variable ce[3][5][0] 9.19/9.25 c remove useless variable ce[3][5][1] 9.19/9.25 c remove useless variable ce[3][5][2] 9.19/9.25 c remove useless variable ce[3][5][3] 9.19/9.25 c remove useless variable ce[3][5][4] 9.19/9.25 c remove useless variable ce[3][5][5] 9.19/9.25 c remove useless variable ce[3][6][0] 9.19/9.25 c remove useless variable ce[3][6][1] 9.19/9.25 c remove useless variable ce[3][6][2] 9.19/9.25 c remove useless variable ce[3][6][3] 9.19/9.25 c remove useless variable ce[3][6][4] 9.19/9.25 c remove useless variable ce[3][6][5] 9.19/9.25 c remove useless variable ce[3][6][6] 9.19/9.25 c remove useless variable ce[3][7][0] 9.19/9.25 c remove useless variable ce[3][7][1] 9.19/9.25 c remove useless variable ce[3][7][2] 9.19/9.25 c remove useless variable ce[3][7][3] 9.19/9.25 c remove useless variable ce[3][7][4] 9.19/9.25 c remove useless variable ce[3][7][5] 9.19/9.25 c remove useless variable ce[3][7][6] 9.19/9.25 c remove useless variable ce[3][7][7] 9.19/9.25 c remove useless variable ce[3][8][0] 9.19/9.25 c remove useless variable ce[3][8][1] 9.19/9.25 c remove useless variable ce[3][8][2] 9.19/9.25 c remove useless variable ce[3][8][3] 9.19/9.25 c remove useless variable ce[3][8][4] 9.19/9.25 c remove useless variable ce[3][8][5] 9.19/9.25 c remove useless variable ce[3][8][6] 9.19/9.25 c remove useless variable ce[3][8][7] 9.19/9.25 c remove useless variable ce[3][8][8] 9.19/9.25 c remove useless variable ce[3][9][0] 9.19/9.25 c remove useless variable ce[3][9][1] 9.19/9.25 c remove useless variable ce[3][9][2] 9.19/9.25 c remove useless variable ce[3][9][3] 9.19/9.25 c remove useless variable ce[3][9][4] 9.19/9.25 c remove useless variable ce[3][9][5] 9.19/9.25 c remove useless variable ce[3][9][6] 9.19/9.25 c remove useless variable ce[3][9][7] 9.19/9.25 c remove useless variable ce[3][9][8] 9.19/9.25 c remove useless variable ce[3][9][9] 9.19/9.25 c remove useless variable ce[4][0][0] 9.19/9.25 c remove useless variable ce[4][1][0] 9.19/9.25 c remove useless variable ce[4][1][1] 9.19/9.25 c remove useless variable ce[4][2][0] 9.19/9.25 c remove useless variable ce[4][2][1] 9.19/9.25 c remove useless variable ce[4][2][2] 9.19/9.25 c remove useless variable ce[4][3][0] 9.19/9.25 c remove useless variable ce[4][3][1] 9.19/9.25 c remove useless variable ce[4][3][2] 9.19/9.25 c remove useless variable ce[4][3][3] 9.19/9.25 c remove useless variable ce[4][4][0] 9.19/9.25 c remove useless variable ce[4][4][1] 9.19/9.25 c remove useless variable ce[4][4][2] 9.19/9.25 c remove useless variable ce[4][4][3] 9.19/9.25 c remove useless variable ce[4][4][4] 9.19/9.25 c remove useless variable ce[4][5][0] 9.19/9.25 c remove useless variable ce[4][5][1] 9.19/9.25 c remove useless variable ce[4][5][2] 9.19/9.25 c remove useless variable ce[4][5][3] 9.19/9.25 c remove useless variable ce[4][5][4] 9.19/9.25 c remove useless variable ce[4][5][5] 9.19/9.25 c remove useless variable ce[4][6][0] 9.19/9.25 c remove useless variable ce[4][6][1] 9.19/9.25 c remove useless variable ce[4][6][2] 9.19/9.25 c remove useless variable ce[4][6][3] 9.19/9.25 c remove useless variable ce[4][6][4] 9.19/9.25 c remove useless variable ce[4][6][5] 9.19/9.25 c remove useless variable ce[4][6][6] 9.19/9.25 c remove useless variable ce[4][7][0] 9.19/9.25 c remove useless variable ce[4][7][1] 9.19/9.25 c remove useless variable ce[4][7][2] 9.19/9.25 c remove useless variable ce[4][7][3] 9.19/9.25 c remove useless variable ce[4][7][4] 9.19/9.25 c remove useless variable ce[4][7][5] 9.19/9.25 c remove useless variable ce[4][7][6] 9.19/9.25 c remove useless variable ce[4][7][7] 9.19/9.25 c remove useless variable ce[4][8][0] 9.19/9.25 c remove useless variable ce[4][8][1] 9.19/9.25 c remove useless variable ce[4][8][2] 9.19/9.25 c remove useless variable ce[4][8][3] 9.19/9.25 c remove useless variable ce[4][8][4] 9.19/9.25 c remove useless variable ce[4][8][5] 9.19/9.25 c remove useless variable ce[4][8][6] 9.19/9.25 c remove useless variable ce[4][8][7] 9.19/9.25 c remove useless variable ce[4][8][8] 9.19/9.25 c remove useless variable ce[4][9][0] 9.19/9.25 c remove useless variable ce[4][9][1] 9.19/9.25 c remove useless variable ce[4][9][2] 9.19/9.25 c remove useless variable ce[4][9][3] 9.19/9.25 c remove useless variable ce[4][9][4] 9.19/9.25 c remove useless variable ce[4][9][5] 9.19/9.25 c remove useless variable ce[4][9][6] 9.19/9.25 c remove useless variable ce[4][9][7] 9.19/9.25 c remove useless variable ce[4][9][8] 9.19/9.25 c remove useless variable ce[4][9][9] 9.19/9.25 c remove useless variable ce[5][0][0] 9.19/9.25 c remove useless variable ce[5][1][0] 9.19/9.25 c remove useless variable ce[5][1][1] 9.19/9.25 c remove useless variable ce[5][2][0] 9.19/9.25 c remove useless variable ce[5][2][1] 9.19/9.25 c remove useless variable ce[5][2][2] 9.19/9.25 c remove useless variable ce[5][3][0] 9.19/9.25 c remove useless variable ce[5][3][1] 9.19/9.25 c remove useless variable ce[5][3][2] 9.19/9.25 c remove useless variable ce[5][3][3] 9.19/9.25 c remove useless variable ce[5][4][0] 9.19/9.25 c remove useless variable ce[5][4][1] 9.19/9.25 c remove useless variable ce[5][4][2] 9.19/9.25 c remove useless variable ce[5][4][3] 9.19/9.25 c remove useless variable ce[5][4][4] 9.19/9.25 c remove useless variable ce[5][5][0] 9.19/9.25 c remove useless variable ce[5][5][1] 9.19/9.25 c remove useless variable ce[5][5][2] 9.19/9.25 c remove useless variable ce[5][5][3] 9.19/9.25 c remove useless variable ce[5][5][4] 9.19/9.25 c remove useless variable ce[5][5][5] 9.19/9.25 c remove useless variable ce[5][6][0] 9.19/9.25 c remove useless variable ce[5][6][1] 9.19/9.25 c remove useless variable ce[5][6][2] 9.19/9.25 c remove useless variable ce[5][6][3] 9.19/9.25 c remove useless variable ce[5][6][4] 9.19/9.25 c remove useless variable ce[5][6][5] 9.19/9.25 c remove useless variable ce[5][6][6] 9.19/9.25 c remove useless variable ce[5][7][0] 9.19/9.25 c remove useless variable ce[5][7][1] 9.19/9.25 c remove useless variable ce[5][7][2] 9.19/9.25 c remove useless variable ce[5][7][3] 9.19/9.25 c remove useless variable ce[5][7][4] 9.19/9.25 c remove useless variable ce[5][7][5] 9.19/9.25 c remove useless variable ce[5][7][6] 9.19/9.25 c remove useless variable ce[5][7][7] 9.19/9.25 c remove useless variable ce[5][8][0] 9.19/9.25 c remove useless variable ce[5][8][1] 9.19/9.25 c remove useless variable ce[5][8][2] 9.19/9.25 c remove useless variable ce[5][8][3] 9.19/9.25 c remove useless variable ce[5][8][4] 9.19/9.25 c remove useless variable ce[5][8][5] 9.19/9.25 c remove useless variable ce[5][8][6] 9.19/9.25 c remove useless variable ce[5][8][7] 9.19/9.25 c remove useless variable ce[5][8][8] 9.19/9.25 c remove useless variable ce[5][9][0] 9.19/9.25 c remove useless variable ce[5][9][1] 9.19/9.25 c remove useless variable ce[5][9][2] 9.19/9.25 c remove useless variable ce[5][9][3] 9.19/9.25 c remove useless variable ce[5][9][4] 9.19/9.25 c remove useless variable ce[5][9][5] 9.19/9.25 c remove useless variable ce[5][9][6] 9.19/9.25 c remove useless variable ce[5][9][7] 9.19/9.25 c remove useless variable ce[5][9][8] 9.19/9.25 c remove useless variable ce[5][9][9] 9.19/9.25 c remove useless variable ce[6][0][0] 9.19/9.25 c remove useless variable ce[6][1][0] 9.19/9.25 c remove useless variable ce[6][1][1] 9.19/9.25 c remove useless variable ce[6][2][0] 9.19/9.25 c remove useless variable ce[6][2][1] 9.19/9.25 c remove useless variable ce[6][2][2] 9.19/9.25 c remove useless variable ce[6][3][0] 9.19/9.25 c remove useless variable ce[6][3][1] 9.19/9.25 c remove useless variable ce[6][3][2] 9.19/9.25 c remove useless variable ce[6][3][3] 9.19/9.25 c remove useless variable ce[6][4][0] 9.19/9.25 c remove useless variable ce[6][4][1] 9.19/9.25 c remove useless variable ce[6][4][2] 9.19/9.25 c remove useless variable ce[6][4][3] 9.19/9.25 c remove useless variable ce[6][4][4] 9.19/9.25 c remove useless variable ce[6][5][0] 9.19/9.25 c remove useless variable ce[6][5][1] 9.19/9.25 c remove useless variable ce[6][5][2] 9.19/9.25 c remove useless variable ce[6][5][3] 9.19/9.25 c remove useless variable ce[6][5][4] 9.19/9.25 c remove useless variable ce[6][5][5] 9.19/9.25 c remove useless variable ce[6][6][0] 9.19/9.25 c remove useless variable ce[6][6][1] 9.19/9.25 c remove useless variable ce[6][6][2] 9.19/9.25 c remove useless variable ce[6][6][3] 9.19/9.25 c remove useless variable ce[6][6][4] 9.19/9.25 c remove useless variable ce[6][6][5] 9.19/9.25 c remove useless variable ce[6][6][6] 9.19/9.25 c remove useless variable ce[6][7][0] 9.19/9.25 c remove useless variable ce[6][7][1] 9.19/9.25 c remove useless variable ce[6][7][2] 9.19/9.25 c remove useless variable ce[6][7][3] 9.19/9.25 c remove useless variable ce[6][7][4] 9.19/9.25 c remove useless variable ce[6][7][5] 9.19/9.25 c remove useless variable ce[6][7][6] 9.19/9.25 c remove useless variable ce[6][7][7] 9.19/9.25 c remove useless variable ce[6][8][0] 9.19/9.25 c remove useless variable ce[6][8][1] 9.19/9.25 c remove useless variable ce[6][8][2] 9.19/9.25 c remove useless variable ce[6][8][3] 9.19/9.25 c remove useless variable ce[6][8][4] 9.19/9.25 c remove useless variable ce[6][8][5] 9.19/9.25 c remove useless variable ce[6][8][6] 9.19/9.25 c remove useless variable ce[6][8][7] 9.19/9.25 c remove useless variable ce[6][8][8] 9.19/9.25 c remove useless variable ce[6][9][0] 9.19/9.25 c remove useless variable ce[6][9][1] 9.19/9.25 c remove useless variable ce[6][9][2] 9.19/9.25 c remove useless variable ce[6][9][3] 9.19/9.25 c remove useless variable ce[6][9][4] 9.19/9.25 c remove useless variable ce[6][9][5] 9.19/9.25 c remove useless variable ce[6][9][6] 9.19/9.25 c remove useless variable ce[6][9][7] 9.19/9.25 c remove useless variable ce[6][9][8] 9.19/9.25 c remove useless variable ce[6][9][9] 9.19/9.25 c remove useless variable ce[7][0][0] 9.19/9.25 c remove useless variable ce[7][1][0] 9.19/9.25 c remove useless variable ce[7][1][1] 9.19/9.25 c remove useless variable ce[7][2][0] 9.19/9.25 c remove useless variable ce[7][2][1] 9.19/9.25 c remove useless variable ce[7][2][2] 9.19/9.25 c remove useless variable ce[7][3][0] 9.19/9.25 c remove useless variable ce[7][3][1] 9.19/9.25 c remove useless variable ce[7][3][2] 9.19/9.25 c remove useless variable ce[7][3][3] 9.19/9.25 c remove useless variable ce[7][4][0] 9.19/9.25 c remove useless variable ce[7][4][1] 9.19/9.25 c remove useless variable ce[7][4][2] 9.19/9.25 c remove useless variable ce[7][4][3] 9.19/9.25 c remove useless variable ce[7][4][4] 9.19/9.25 c remove useless variable ce[7][5][0] 9.19/9.25 c remove useless variable ce[7][5][1] 9.19/9.25 c remove useless variable ce[7][5][2] 9.19/9.25 c remove useless variable ce[7][5][3] 9.19/9.25 c remove useless variable ce[7][5][4] 9.19/9.25 c remove useless variable ce[7][5][5] 9.19/9.25 c remove useless variable ce[7][6][0] 9.19/9.25 c remove useless variable ce[7][6][1] 9.19/9.25 c remove useless variable ce[7][6][2] 9.19/9.25 c remove useless variable ce[7][6][3] 9.19/9.25 c remove useless variable ce[7][6][4] 9.19/9.25 c remove useless variable ce[7][6][5] 9.19/9.25 c remove useless variable ce[7][6][6] 9.19/9.25 c remove useless variable ce[7][7][0] 9.19/9.25 c remove useless variable ce[7][7][1] 9.19/9.25 c remove useless variable ce[7][7][2] 9.19/9.25 c remove useless variable ce[7][7][3] 9.19/9.25 c remove useless variable ce[7][7][4] 9.19/9.25 c remove useless variable ce[7][7][5] 9.19/9.25 c remove useless variable ce[7][7][6] 9.19/9.25 c remove useless variable ce[7][7][7] 9.19/9.25 c remove useless variable ce[7][8][0] 9.19/9.25 c remove useless variable ce[7][8][1] 9.19/9.25 c remove useless variable ce[7][8][2] 9.19/9.25 c remove useless variable ce[7][8][3] 9.19/9.25 c remove useless variable ce[7][8][4] 9.19/9.25 c remove useless variable ce[7][8][5] 9.19/9.25 c remove useless variable ce[7][8][6] 9.19/9.25 c remove useless variable ce[7][8][7] 9.19/9.25 c remove useless variable ce[7][8][8] 9.19/9.25 c remove useless variable ce[7][9][0] 9.19/9.25 c remove useless variable ce[7][9][1] 9.19/9.25 c remove useless variable ce[7][9][2] 9.19/9.25 c remove useless variable ce[7][9][3] 9.19/9.25 c remove useless variable ce[7][9][4] 9.19/9.25 c remove useless variable ce[7][9][5] 9.19/9.25 c remove useless variable ce[7][9][6] 9.19/9.25 c remove useless variable ce[7][9][7] 9.19/9.25 c remove useless variable ce[7][9][8] 9.19/9.25 c remove useless variable ce[7][9][9] 9.19/9.25 c remove useless variable ce[8][0][0] 9.19/9.25 c remove useless variable ce[8][1][0] 9.19/9.25 c remove useless variable ce[8][1][1] 9.19/9.25 c remove useless variable ce[8][2][0] 9.19/9.25 c remove useless variable ce[8][2][1] 9.19/9.25 c remove useless variable ce[8][2][2] 9.19/9.25 c remove useless variable ce[8][3][0] 9.19/9.25 c remove useless variable ce[8][3][1] 9.19/9.25 c remove useless variable ce[8][3][2] 9.19/9.25 c remove useless variable ce[8][3][3] 9.19/9.25 c remove useless variable ce[8][4][0] 9.19/9.25 c remove useless variable ce[8][4][1] 9.19/9.25 c remove useless variable ce[8][4][2] 9.19/9.25 c remove useless variable ce[8][4][3] 9.19/9.25 c remove useless variable ce[8][4][4] 9.19/9.25 c remove useless variable ce[8][5][0] 9.19/9.25 c remove useless variable ce[8][5][1] 9.19/9.25 c remove useless variable ce[8][5][2] 9.19/9.25 c remove useless variable ce[8][5][3] 9.19/9.25 c remove useless variable ce[8][5][4] 9.19/9.25 c remove useless variable ce[8][5][5] 9.19/9.25 c remove useless variable ce[8][6][0] 9.19/9.25 c remove useless variable ce[8][6][1] 9.19/9.25 c remove useless variable ce[8][6][2] 9.19/9.25 c remove useless variable ce[8][6][3] 9.19/9.25 c remove useless variable ce[8][6][4] 9.19/9.25 c remove useless variable ce[8][6][5] 9.19/9.25 c remove useless variable ce[8][6][6] 9.19/9.25 c remove useless variable ce[8][7][0] 9.19/9.25 c remove useless variable ce[8][7][1] 9.19/9.25 c remove useless variable ce[8][7][2] 9.19/9.25 c remove useless variable ce[8][7][3] 9.19/9.25 c remove useless variable ce[8][7][4] 9.19/9.25 c remove useless variable ce[8][7][5] 9.19/9.25 c remove useless variable ce[8][7][6] 9.19/9.25 c remove useless variable ce[8][7][7] 9.19/9.25 c remove useless variable ce[8][8][0] 9.19/9.25 c remove useless variable ce[8][8][1] 9.19/9.25 c remove useless variable ce[8][8][2] 9.19/9.25 c remove useless variable ce[8][8][3] 9.19/9.25 c remove useless variable ce[8][8][4] 9.19/9.25 c remove useless variable ce[8][8][5] 9.19/9.25 c remove useless variable ce[8][8][6] 9.19/9.25 c remove useless variable ce[8][8][7] 9.19/9.25 c remove useless variable ce[8][8][8] 9.19/9.25 c remove useless variable ce[8][9][0] 9.19/9.25 c remove useless variable ce[8][9][1] 9.19/9.25 c remove useless variable ce[8][9][2] 9.19/9.25 c remove useless variable ce[8][9][3] 9.19/9.25 c remove useless variable ce[8][9][4] 9.19/9.25 c remove useless variable ce[8][9][5] 9.19/9.25 c remove useless variable ce[8][9][6] 9.19/9.25 c remove useless variable ce[8][9][7] 9.19/9.25 c remove useless variable ce[8][9][8] 9.19/9.25 c remove useless variable ce[8][9][9] 9.59/9.65 c 10 495 118960 123536 0 10 486 486 441 9.89/9.98 c 20 830 223723 236956 0 20 4 326 267 10.29/10.32 c 30 1182 331213 368116 0 30 4 343 98 10.29/10.34 c 40 1206 335345 381962 0 40 3 15 10 10.29/10.36 c 50 1232 338527 401079 0 50 7 17 11 10.29/10.38 c 60 1250 341127 411821 0 60 3 9 6 10.29/10.39 c 70 1271 343840 423190 0 70 6 12 9 10.39/10.40 c 80 1294 347002 436499 0 80 5 14 8 10.39/10.41 c 90 1317 349760 451849 0 90 6 14 10 10.39/10.42 c 100 1342 353414 466566 0 100 5 16 11 10.39/10.43 c 101 1356 356004 472255 0 101 14 14 7 10.39/10.44 c 110 1378 359163 486094 0 110 7 14 10 10.69/10.74 c 120 1647 447729 622993 0 120 260 260 236 10.69/10.75 c 130 1671 450925 637838 0 130 7 15 10 10.69/10.77 c 140 1700 455040 657015 0 140 9 20 12 10.69/10.78 c 150 1720 458188 667436 0 150 3 11 8 10.78/10.80 c 160 1741 460841 679296 0 160 6 12 8 10.78/10.81 c 170 1764 463996 691152 0 170 5 14 9 10.78/10.82 c 180 1784 466644 701096 0 180 6 11 8 10.78/10.83 c 190 1805 469330 711432 0 190 4 12 7 10.78/10.84 c 200 1825 471988 722821 0 200 6 11 7 10.78/10.85 c 210 1846 474692 734109 0 210 4 12 8 10.78/10.86 c 211 1850 475711 735745 0 211 4 4 2 10.78/10.87 c 220 1867 477864 746571 0 220 4 9 6 10.78/10.88 c 230 1890 481062 759875 0 230 6 14 9 10.88/10.90 c 240 1919 484726 777522 0 240 7 20 11 10.88/10.91 c 250 1935 486907 786814 0 250 3 7 5 10.88/10.92 c 260 1956 489558 797232 0 260 6 12 8 10.88/10.93 c 270 1979 492711 809639 0 270 8 14 10 10.88/10.94 c 280 1999 495373 821990 0 280 5 11 8 10.88/10.97 c 290 2028 499581 840124 0 290 12 20 14 10.88/10.98 c 300 2050 502791 852281 0 300 7 13 9 10.88/10.99 c 310 2073 505961 865583 0 310 6 14 9 10.88/11.00 c 320 2096 508679 878492 0 320 7 14 10 10.99/11.02 c 330 2122 512404 896557 0 330 14 17 13 10.99/11.03 c 332 2128 513932 899075 0 332 3 5 2 10.99/11.04 c 340 2144 516060 907009 0 340 4 9 6 10.99/11.05 c 350 2167 519296 919247 0 350 12 14 12 10.99/11.07 c 360 2196 523451 937381 0 360 7 20 11 10.99/11.09 c 370 2215 526111 947627 0 370 3 10 6 11.09/11.11 c 380 2241 529758 965148 0 380 14 17 14 11.09/11.12 c 390 2260 532456 975883 0 390 5 10 6 11.09/11.14 c 400 2289 536588 997232 0 400 17 20 17 11.09/11.15 c 410 2314 539916 1012769 0 410 10 16 12 11.09/11.17 c 420 2340 543571 1029889 0 420 11 17 13 11.09/11.18 c 430 2359 546272 1039656 0 430 3 10 6 11.18/11.20 c 440 2379 548945 1050473 0 440 6 11 8 11.38/11.46 c 450 2609 622509 1154112 0 450 20 221 36 11.38/11.47 c 460 2628 625210 1163879 0 460 3 10 6 11.38/11.49 c 465 2646 628351 1174679 0 465 11 14 9 11.48/11.50 c 470 2664 630969 1185086 0 470 5 14 7 11.48/11.51 c 480 2687 634166 1197910 0 480 6 14 8 11.48/11.52 c 490 2713 637865 1213107 0 490 7 17 11 11.48/11.54 c 500 2735 641038 1225927 0 500 5 13 9 11.48/11.55 c 510 2753 643235 1235303 0 510 4 9 7 11.48/11.56 c 520 2776 646454 1248039 0 520 9 14 11 11.48/11.57 c 530 2802 650147 1262338 0 530 11 17 13 11.48/11.59 c 540 2827 653369 1276100 0 540 7 16 12 11.59/11.60 c 550 2856 657125 1291267 0 550 17 20 16 11.59/11.62 c 560 2878 660310 1302252 0 560 4 13 8 11.59/11.63 c 570 2898 662984 1314199 0 570 8 11 9 11.59/11.64 c 580 2921 666177 1326942 0 580 6 14 9 11.59/11.65 c 590 2947 668959 1342756 0 590 7 17 11 11.59/11.66 c 600 2969 671687 1355596 0 600 5 13 9 11.59/11.68 c 610 2992 674889 1368008 0 610 11 14 11 11.59/11.69 c 611 2998 676407 1370699 0 611 6 6 3 11.69/11.70 c 620 3020 679113 1383922 0 620 4 14 8 11.69/11.71 c 630 3043 681853 1398286 0 630 7 14 11 11.69/11.71 c 640 3066 683673 1411518 0 640 5 14 8 11.69/11.73 c 650 3101 687917 1435337 0 650 17 26 17 11.69/11.74 c 660 3123 691064 1446797 0 660 7 13 9 11.69/11.76 c 670 3146 694345 1458738 0 670 9 14 10 11.69/11.77 c 680 3169 697531 1470202 0 680 4 14 8 11.69/11.79 c 690 3192 700741 1483500 0 690 6 14 10 11.79/11.80 c 700 3211 703435 1494403 0 700 8 10 8 12.00/12.04 c 710 3422 769993 1594901 0 710 14 202 65 12.00/12.05 c 720 3440 772681 1604191 0 720 3 9 6 12.00/12.07 c 730 3466 776436 1617322 0 730 17 17 15 12.00/12.08 c 740 3488 779621 1628307 0 740 4 13 8 12.00/12.09 c 750 3511 782858 1642648 0 750 14 14 12 12.10/12.12 c 760 3551 788969 1665934 0 760 14 31 16 12.10/12.14 c 770 3573 792125 1677313 0 770 5 13 9 12.10/12.15 c 771 3583 794672 1681940 0 771 10 10 5 12.10/12.16 c 780 3602 797354 1690840 0 780 4 11 6 12.10/12.17 c 790 3628 801076 1707007 0 790 10 17 12 12.10/12.19 c 800 3647 803775 1716389 0 800 8 10 8 12.19/12.20 c 810 3673 807059 1731035 0 810 11 17 12 12.19/12.21 c 820 3692 809742 1740980 0 820 5 10 7 12.19/12.22 c 830 3715 812890 1752836 0 830 5 14 10 12.19/12.23 c 840 3735 815125 1766332 0 840 5 11 8 12.19/12.24 c 850 3758 818312 1778197 0 850 5 14 9 12.19/12.25 c 860 3781 821017 1792913 0 860 14 14 12 12.19/12.27 c 870 3804 824200 1805726 0 870 5 14 9 12.19/12.28 c 880 3827 827382 1819496 0 880 5 14 10 12.19/12.29 c 890 3850 830609 1831748 0 890 6 14 9 12.29/12.31 c 900 3873 833776 1845109 0 900 8 14 11 12.29/12.32 c 910 3899 837528 1858706 0 910 17 17 15 12.29/12.33 c 920 3918 839318 1869915 0 920 5 10 7 12.29/12.34 c 930 3941 842450 1883283 0 930 8 14 10 12.29/12.34 c 940 3964 844298 1898286 0 940 8 14 9 12.29/12.35 c 947 3981 846942 1907335 0 947 8 11 9 12.29/12.36 c 950 3994 849467 1913490 0 950 8 11 6 12.29/12.37 c 960 4017 852757 1928671 0 960 14 14 12 12.29/12.38 c 970 4040 855025 1943160 0 970 7 14 9 12.29/12.39 c 980 4063 858251 1957497 0 980 6 14 10 12.39/12.41 c 990 4086 861412 1969911 0 990 7 14 10 12.39/12.43 c 1000 4130 866590 2011626 0 1000 35 35 31 12.39/12.44 c 1010 4151 869306 2025441 0 1010 5 12 9 12.39/12.48 c 1020 4202 875032 2062022 0 1020 10 42 15 12.39/12.49 c 1030 4223 878178 2074829 0 1030 5 12 9 12.49/12.50 c 1040 4246 881375 2085817 0 1040 8 14 9 12.49/12.51 c 1050 4269 884121 2101045 0 1050 5 14 10 12.49/12.52 c 1060 4292 886426 2117348 0 1060 6 14 10 12.49/12.54 c 1070 4343 891195 2158480 0 1070 14 42 24 12.49/12.56 c 1080 4367 894838 2171757 0 1080 5 15 9 12.49/12.57 c 1090 4393 897983 2187586 0 1090 10 17 11 12.49/12.58 c 1100 4412 900704 2200809 0 1100 4 10 8 12.59/12.62 c 1110 4448 906518 2253239 0 1110 14 27 17 12.59/12.62 c 1120 4466 909200 2262614 0 1120 4 9 7 12.59/12.66 c 1130 4506 915067 2340507 0 1130 31 31 28 12.59/12.68 c 1140 4524 917789 2349798 0 1140 5 9 6 12.59/12.68 c 1141 4530 919297 2352489 0 1141 6 6 3 12.69/12.72 c 1150 4565 925566 2409088 0 1150 14 27 19 12.69/12.73 c 1160 4586 928717 2419332 0 1160 3 12 7 12.69/12.75 c 1170 4609 931964 2433997 0 1170 8 14 9 12.69/12.76 c 1180 4635 935611 2452612 0 1180 14 17 13 12.69/12.78 c 1190 4656 938786 2463416 0 1190 4 12 8 12.79/12.82 c 1200 4696 945155 2538073 0 1200 31 31 28 12.79/12.83 c 1210 4717 948400 2550250 0 1210 7 12 8 12.79/12.88 c 1220 4753 954902 2658473 0 1220 27 27 24 12.79/12.89 c 1230 4769 957078 2666322 0 1230 3 7 5 12.89/12.90 c 1240 4789 959745 2675705 0 1240 4 11 7 12.89/12.91 c 1250 4807 961959 2684602 0 1250 7 9 7 12.89/12.93 c 1260 4833 965198 2699719 0 1260 11 17 13 12.89/12.94 c 1270 4852 967909 2712940 0 1270 4 10 8 12.89/12.95 c 1280 4872 970559 2722797 0 1280 4 11 8 12.89/12.99 c 1290 4909 977314 2784702 0 1290 28 28 25 12.89/13.00 c 1300 4930 980522 2795429 0 1300 3 12 7 13.00/13.02 c 1310 4956 984161 2812536 0 1310 14 17 14 13.00/13.03 c 1320 4978 987364 2825198 0 1320 3 13 7 13.19/13.28 c 1330 5218 1059176 2942245 0 1330 231 231 210 13.29/13.30 c 1340 5239 1062356 2952972 0 1340 3 12 7 13.29/13.33 c 1350 5276 1069030 2984189 0 1350 14 28 14 13.29/13.34 c 1352 5284 1071077 2987676 0 1352 3 7 3 13.29/13.37 c 1360 5320 1077703 3041359 0 1360 29 29 25 13.29/13.39 c 1370 5341 1080883 3053033 0 1370 9 12 9 13.39/13.44 c 1380 5378 1088037 3180340 0 1380 28 28 25 13.39/13.45 c 1390 5402 1091765 3192493 0 1390 12 15 12 13.39/13.46 c 1400 5425 1094507 3206285 0 1400 8 14 10 13.39/13.48 c 1410 5448 1097750 3218527 0 1410 9 14 11 13.49/13.51 c 1420 5486 1102996 3262959 0 1420 14 29 17 13.49/13.52 c 1430 5507 1106163 3274249 0 1430 4 12 8 13.49/13.53 c 1440 5530 1109451 3287453 0 1440 14 14 12 13.49/13.57 c 1450 5569 1115154 3355367 0 1450 30 30 27 13.49/13.58 c 1460 5593 1118911 3369511 0 1460 12 15 12 13.49/13.59 c 1470 5616 1122104 3381377 0 1470 5 14 8 13.59/13.60 c 1480 5635 1124843 3396122 0 1480 8 10 8 13.59/13.64 c 1490 5673 1131861 3422728 0 1490 7 29 12 13.59/13.65 c 1500 5697 1135505 3436485 0 1500 5 15 9 13.59/13.66 c 1510 5724 1138739 3458244 0 1510 7 18 9 13.59/13.67 c 1520 5745 1141465 3472059 0 1520 5 12 9 13.69/13.71 c 1530 5784 1148612 3513745 0 1530 14 30 18 13.69/13.72 c 1540 5805 1151329 3527078 0 1540 5 12 9 13.69/13.76 c 1550 5843 1158157 3611069 0 1550 29 29 26 13.69/13.79 c 1560 5902 1164479 3651647 0 1560 12 50 17 13.79/13.81 c 1570 5926 1168107 3665961 0 1570 8 15 11 13.79/13.82 c 1580 5949 1171303 3676399 0 1580 5 14 8 13.79/13.83 c 1585 5963 1173879 3683527 0 1585 6 10 7 13.79/13.84 c 1590 5981 1176533 3692490 0 1590 9 14 10 13.79/13.88 c 1600 6019 1182904 3778673 0 1600 29 29 26 13.79/13.89 c 1610 6043 1186539 3792989 0 1610 8 15 11 13.89/13.93 c 1620 6082 1193135 3852961 0 1620 19 30 25 13.89/13.94 c 1630 6103 1196318 3862825 0 1630 4 12 6 13.89/13.95 c 1640 6131 1199439 3882850 0 1640 14 19 16 13.89/13.96 c 1650 6156 1202219 3899438 0 1650 9 16 11 13.89/14.00 c 1660 6194 1208558 3985070 0 1660 29 29 26 14.00/14.04 c 1670 6253 1214779 4034985 0 1670 15 50 35 14.00/14.04 c 1680 6274 1217496 4048318 0 1680 5 12 9 14.00/14.09 c 1690 6313 1224792 4132668 0 1690 30 30 27 14.10/14.13 c 1700 6353 1231201 4214712 0 1700 31 31 28 14.10/14.14 c 1710 6377 1234837 4229516 0 1710 4 15 10 14.10/14.15 c 1720 6400 1237105 4244657 0 1720 7 14 9 14.10/14.19 c 1730 6440 1245109 4289996 0 1730 10 31 20 14.19/14.22 c 1740 6480 1251348 4318799 0 1740 12 31 14 14.19/14.23 c 1750 6504 1254991 4332076 0 1750 5 15 9 14.19/14.27 c 1760 6544 1262090 4400428 0 1760 31 31 28 14.29/14.31 c 1770 6584 1268501 4482472 0 1770 31 31 28 14.29/14.32 c 1780 6605 1271217 4496287 0 1780 5 12 9 14.29/14.36 c 1790 6644 1278504 4581966 0 1790 30 30 27 14.39/14.40 c 1800 6684 1285005 4677169 0 1800 31 31 28 14.39/14.41 c 1810 6705 1288165 4686634 0 1810 3 12 7 14.39/14.42 c 1820 6730 1291376 4705582 0 1820 5 16 10 14.39/14.46 c 1830 6770 1298496 4765443 0 1830 19 31 26 14.39/14.49 c 1840 6810 1303287 4802709 0 1840 12 31 17 14.49/14.50 c 1841 6827 1307815 4811640 0 1841 17 17 8 14.49/14.52 c 1850 6849 1310967 4824045 0 1850 7 14 10 14.49/14.56 c 1860 6889 1319066 4891997 0 1860 31 31 28 14.79/14.81 c 1870 7139 1388962 5029091 0 1870 16 241 102 14.79/14.82 c 1880 7160 1391678 5042906 0 1880 5 12 9 14.79/14.82 c 1890 7179 1394333 5051970 0 1890 8 10 8 14.79/14.87 c 1900 7219 1402577 5140899 0 1900 31 31 28 14.79/14.89 c 1910 7240 1405742 5152289 0 1910 3 12 7 14.89/14.92 c 1920 7281 1413289 5216377 0 1920 16 32 27 14.89/14.96 c 1930 7349 1420035 5275567 0 1930 4 59 42 14.89/14.98 c 1940 7375 1424626 5291793 0 1940 4 17 10 15.00/15.03 c 1950 7416 1432461 5395103 0 1950 32 32 29 15.00/15.05 c 1960 7442 1437070 5411329 0 1960 4 17 10 15.00/15.07 c 1970 7470 1441634 5428581 0 1970 10 19 12 15.00/15.09 c 1980 7496 1446235 5444807 0 1980 4 17 10 15.00/15.09 c 1990 7515 1448026 5458920 0 1990 5 10 7 15.10/15.11 c 2000 7540 1451660 5473650 0 2000 6 16 9 15.10/15.15 c 2010 7582 1460596 5538134 0 2010 19 33 27 15.10/15.17 c 2020 7603 1463736 5547600 0 2020 3 12 7 15.19/15.21 c 2030 7645 1471771 5616717 0 2030 33 33 30 15.19/15.22 c 2040 7666 1474956 5628104 0 2040 5 12 7 15.19/15.26 c 2050 7708 1483981 5697587 0 2050 16 33 28 15.19/15.27 c 2060 7727 1486700 5707434 0 2060 4 10 8 15.19/15.29 c 2070 7752 1490785 5722717 0 2070 8 16 9 15.29/15.30 c 2080 7772 1493491 5734584 0 2080 5 11 8 15.29/15.35 c 2090 7814 1502509 5799020 0 2090 16 33 28 15.29/15.36 c 2100 7835 1505694 5809266 0 2100 3 12 7 15.39/15.41 c 2110 7877 1514723 5872707 0 2110 16 33 26 15.39/15.42 c 2120 7895 1517411 5881997 0 2120 3 9 6 15.39/15.44 c 2122 7912 1521490 5890864 0 2122 16 16 10 15.39/15.48 c 2130 7952 1530371 5926622 0 2130 19 33 21 15.39/15.49 c 2140 7970 1533080 5937349 0 2140 5 9 7 15.49/15.51 c 2150 7995 1537205 5951201 0 2150 4 16 9 15.49/15.53 c 2160 8023 1541348 5970759 0 2160 11 19 14 15.49/15.55 c 2170 8045 1544967 5981562 0 2170 4 13 8 15.49/15.56 c 2180 8070 1549194 5996727 0 2180 16 16 14 15.49/15.58 c 2190 8090 1551894 6006590 0 2190 8 11 9 15.59/15.60 c 2200 8118 1555625 6026473 0 2200 15 19 15 15.59/15.61 c 2210 8145 1559830 6040604 0 2210 14 18 14 15.59/15.66 c 2220 8187 1568294 6096118 0 2220 14 33 24 15.59/15.68 c 2230 8213 1572976 6111255 0 2230 12 17 15 15.69/15.72 c 2240 8255 1581510 6162567 0 2240 14 33 23 15.69/15.74 c 2250 8284 1586588 6182443 0 2250 20 20 18 15.69/15.75 c 2260 8302 1589271 6190953 0 2260 5 9 7 15.69/15.77 c 2270 8322 1591908 6202420 0 2270 8 11 9 15.79/15.81 c 2280 8364 1600937 6276640 0 2280 33 33 30 15.79/15.83 c 2290 8385 1604109 6286583 0 2290 5 12 7 15.79/15.84 c 2300 8409 1606876 6301033 0 2300 9 15 10 15.79/15.88 c 2310 8451 1614964 6370129 0 2310 33 33 30 15.79/15.89 c 2320 8476 1618731 6383423 0 2320 12 16 13 15.89/15.91 c 2330 8504 1621891 6401932 0 2330 15 19 15 15.89/15.92 c 2340 8525 1625060 6411397 0 2340 3 12 7 15.89/15.95 c 2350 8567 1633029 6449047 0 2350 15 33 18 15.89/15.97 c 2360 8592 1637150 6463275 0 2360 5 16 9 16.00/16.01 c 2370 8634 1645180 6532412 0 2370 33 33 30 16.00/16.04 c 2380 8667 1651443 6580596 0 2380 16 24 18 16.00/16.06 c 2390 8692 1655549 6595376 0 2390 8 16 11 16.00/16.07 c 2400 8720 1658295 6615468 0 2400 14 19 14 16.00/16.08 c 2410 8742 1661924 6628259 0 2410 5 13 10 16.10/16.12 c 2420 8779 1668647 6699722 0 2420 28 28 25 16.10/16.13 c 2430 8800 1671363 6713537 0 2430 5 12 9 16.10/16.16 c 2431 8829 1678317 6734366 0 2431 29 29 14 16.10/16.17 c 2440 8845 1680955 6741421 0 2440 3 8 5 16.19/16.22 c 2450 8884 1688616 6823081 0 2450 30 30 27 16.19/16.23 c 2460 8905 1691778 6834470 0 2460 3 12 6 16.19/16.27 c 2470 8943 1698969 6904928 0 2470 29 29 26 16.19/16.28 c 2480 8968 1703161 6919134 0 2480 12 16 13 16.29/16.31 c 2490 9007 1708895 6993506 0 2490 19 30 25 16.29/16.33 c 2500 9032 1713018 7008785 0 2500 4 16 10 16.29/16.37 c 2510 9070 1719681 7071594 0 2510 29 29 26 16.29/16.38 c 2520 9095 1723795 7086873 0 2520 4 16 10 16.39/16.42 c 2530 9133 1730914 7149691 0 2530 29 29 26 16.39/16.44 c 2540 9155 1734519 7160658 0 2540 3 13 8 16.39/16.47 c 2550 9193 1741531 7191580 0 2550 19 29 18 16.49/16.51 c 2560 9227 1748275 7256324 0 2560 16 25 21 16.49/16.52 c 2570 9252 1752391 7270633 0 2570 4 16 11 16.49/16.56 c 2580 9289 1758540 7322238 0 2580 19 28 23 16.59/16.60 c 2590 9323 1765376 7396388 0 2590 25 25 22 16.59/16.61 c 2600 9345 1769016 7406330 0 2600 3 13 7 16.59/16.65 c 2610 9383 1775317 7492219 0 2610 29 29 26 16.59/16.68 c 2620 9418 1781629 7558277 0 2620 16 26 22 16.69/16.70 c 2630 9443 1785731 7573068 0 2630 4 16 10 16.69/16.74 c 2640 9478 1792523 7655264 0 2640 26 26 23 16.69/16.76 c 2650 9503 1796715 7669470 0 2650 12 16 13 16.69/16.77 c 2660 9536 1800905 7686475 0 2660 24 24 21 16.69/16.79 c 2670 9561 1804510 7702311 0 2670 9 16 11 16.79/16.80 c 2680 9582 1807651 7712254 0 2680 6 12 8 16.79/16.82 c 2690 9615 1812799 7729341 0 2690 24 24 21 16.79/16.83 c 2700 9640 1816437 7744621 0 2700 6 16 10 16.79/16.84 c 2710 9664 1820082 7758379 0 2710 5 15 9 16.79/16.86 c 2720 9696 1824753 7776408 0 2720 23 23 20 16.79/16.88 c 2730 9721 1828392 7791693 0 2730 6 16 10 16.79/16.89 c 2740 9742 1831575 7801557 0 2740 4 12 6 16.89/16.91 c 2750 9774 1837131 7819257 0 2750 10 23 13 16.89/16.92 c 2760 9802 1840909 7838831 0 2760 16 19 17 16.89/16.95 c 2770 9834 1846541 7857847 0 2770 14 23 18 16.89/16.96 c 2771 9853 1850153 7867851 0 2771 19 19 9 16.89/16.98 c 2780 9883 1855317 7885894 0 2780 22 22 19 16.89/17.00 c 2790 9916 1859475 7912574 0 2790 19 24 21 17.00/17.02 c 2800 9941 1863596 7926802 0 2800 5 16 9 17.00/17.03 c 2810 9964 1865902 7941297 0 2810 7 14 10 17.00/17.03 c 2820 9988 1868646 7959245 0 2820 6 15 9 17.00/17.05 c 2830 10020 1872891 7979260 0 2830 14 23 17 17.00/17.07 c 2840 10048 1877146 7998765 0 2840 19 19 17 17.00/17.08 c 2850 10079 1880921 8017760 0 2850 22 22 20 17.10/17.11 c 2860 10112 1885571 8044426 0 2860 19 24 20 17.10/17.12 c 2870 10137 1889694 8058660 0 2870 5 16 9 17.10/17.14 c 2880 10165 1894006 8087263 0 2880 19 19 17 17.10/17.17 c 2890 10203 1899132 8116787 0 2890 24 29 22 17.10/17.18 c 2900 10224 1902325 8126169 0 2900 6 12 8 17.10/17.19 c 2910 10252 1906954 8142886 0 2910 19 19 17 17.19/17.22 c 2920 10290 1911610 8172407 0 2920 24 29 23 17.19/17.23 c 2930 10315 1915732 8186636 0 2930 5 16 9 17.19/17.25 c 2940 10343 1919051 8210911 0 2940 19 19 17 17.19/17.28 c 2950 10387 1924692 8242788 0 2950 29 35 28 17.19/17.29 c 2960 10412 1928815 8257022 0 2960 5 16 9 17.29/17.31 c 2970 10450 1932575 8284533 0 2970 18 29 20 17.29/17.33 c 2980 10475 1936736 8298273 0 2980 12 16 12 17.29/17.35 c 2990 10513 1941476 8325279 0 2990 18 29 20 17.29/17.37 c 3000 10543 1946250 8344685 0 3000 12 21 14 17.29/17.39 c 3010 10572 1949996 8365219 0 3010 16 20 15 17.39/17.40 c 3020 10596 1953640 8378497 0 3020 5 15 9 17.39/17.42 c 3030 10634 1957378 8408869 0 3030 29 29 26 17.39/17.43 c 3040 10664 1961668 8426925 0 3040 15 21 15 17.39/17.46 c 3050 10697 1965816 8453198 0 3050 20 24 19 17.39/17.47 c 3060 10725 1970062 8468369 0 3060 15 19 14 17.39/17.49 c 3070 10758 1974243 8496567 0 3070 24 24 21 17.49/17.50 c 3080 10786 1978480 8511730 0 3080 15 19 15 17.49/17.52 c 3090 10815 1982210 8532269 0 3090 16 20 16 17.49/17.53 c 3100 10842 1985985 8547446 0 3100 15 18 15 17.49/17.55 c 3110 10875 1990134 8574642 0 3110 20 24 20 17.49/17.57 c 3120 10903 1994822 8590745 0 3120 12 19 14 17.49/17.59 c 3130 10932 1998985 8612189 0 3130 13 20 15 17.59/17.60 c 3140 10956 2002654 8625923 0 3140 8 15 12 17.59/17.60 c 3142 10971 2004773 8631708 0 3142 14 14 9 17.59/17.62 c 3150 11007 2008494 8659244 0 3150 29 29 25 17.59/17.64 c 3160 11033 2012668 8674893 0 3160 8 17 13 17.59/17.64 c 3170 11060 2015491 8691204 0 3170 14 18 14 17.59/17.65 c 3180 11086 2018756 8707962 0 3180 9 17 12 17.59/17.66 c 3190 11113 2021531 8725240 0 3190 10 18 13 17.59/17.68 c 3200 11142 2024810 8748199 0 3200 17 20 17 17.59/17.69 c 3210 11166 2028068 8762943 0 3210 8 15 11 17.69/17.71 c 3220 11204 2031806 8791420 0 3220 18 29 19 17.69/17.73 c 3230 11234 2036993 8809406 0 3230 17 21 18 17.69/17.75 c 3240 11267 2040244 8840049 0 3240 20 24 21 17.69/17.76 c 3250 11295 2044443 8857144 0 3250 8 19 11 17.69/17.78 c 3260 11324 2048586 8878597 0 3260 13 20 15 17.69/17.79 c 3270 11351 2052346 8894280 0 3270 11 18 13 17.79/17.82 c 3280 11384 2056982 8922828 0 3280 20 24 21 17.79/17.83 c 3290 11412 2061226 8940319 0 3290 19 19 17 17.79/17.86 c 3300 11450 2066396 8974539 0 3300 24 29 22 17.79/17.87 c 3310 11480 2071103 8992107 0 3310 13 21 14 17.79/17.90 c 3320 11518 2076250 9021610 0 3320 29 29 26 17.89/17.91 c 3330 11540 2079531 9036778 0 3330 8 13 9 17.89/17.92 c 3340 11578 2083234 9066697 0 3340 29 29 26 17.89/17.94 c 3350 11608 2088029 9089989 0 3350 21 21 19 17.89/17.95 c 3360 11630 2090743 9103897 0 3360 6 13 10 17.89/17.97 c 3370 11674 2094943 9138050 0 3370 29 35 27 17.89/17.99 c 3380 11702 2099142 9155145 0 3380 8 19 11 18.00/18.02 c 3390 11746 2104782 9187481 0 3390 29 35 26 18.00/18.03 c 3400 11774 2109026 9204972 0 3400 19 19 17 18.00/18.04 c 3410 11793 2111715 9215957 0 3410 8 10 8 18.00/18.05 c 3420 11815 2114011 9231124 0 3420 7 13 9 18.00/18.06 c 3430 11838 2117159 9243534 0 3430 8 14 10 18.00/18.08 c 3440 11882 2121363 9280979 0 3440 35 35 31 18.00/18.09 c 3450 11902 2124581 9292286 0 3450 4 11 6 18.10/18.11 c 3460 11946 2128783 9329742 0 3460 35 35 31 18.10/18.13 c 3470 11969 2131977 9344022 0 3470 5 14 9 18.10/18.14 c 3480 11992 2135127 9356439 0 3480 8 14 10 18.10/18.17 c 3490 12043 2139814 9398527 0 3490 42 42 38 18.10/18.18 c 3500 12066 2142997 9412810 0 3500 5 14 8 18.10/18.19 c 3510 12086 2145682 9424681 0 3510 6 11 7 18.19/18.20 c 3520 12108 2148841 9435105 0 3520 5 13 9 18.19/18.22 c 3530 12131 2152086 9448893 0 3530 11 14 11 18.19/18.23 c 3540 12158 2156226 9464698 0 3540 10 18 14 18.19/18.24 c 3550 12183 2159888 9478060 0 3550 9 16 12 18.19/18.26 c 3551 12197 2162947 9485658 0 3551 14 14 7 18.19/18.28 c 3560 12247 2167628 9524514 0 3560 42 42 37 18.19/18.29 c 3570 12270 2171309 9537791 0 3570 8 14 10 18.29/18.31 c 3580 12297 2175495 9553534 0 3580 14 18 14 18.29/18.34 c 3590 12341 2181145 9591515 0 3590 35 35 31 18.29/18.36 c 3600 12369 2185559 9635169 0 3600 19 19 17 18.29/18.39 c 3610 12413 2191207 9672693 0 3610 35 35 31 18.39/18.41 c 3620 12441 2195620 9715885 0 3620 19 19 17 18.39/18.43 c 3630 12485 2201265 9752951 0 3630 35 35 31 18.39/18.45 c 3640 12513 2205678 9796153 0 3640 19 19 17 18.39/18.48 c 3650 12564 2211831 9842582 0 3650 35 42 34 18.39/18.50 c 3660 12587 2215496 9855400 0 3660 5 14 9 18.49/18.52 c 3670 12620 2220199 9880629 0 3670 18 24 18 18.49/18.53 c 3680 12643 2223813 9893515 0 3680 8 14 9 18.49/18.57 c 3690 12687 2229461 9930571 0 3690 24 35 28 18.49/18.58 c 3700 12710 2233126 9943389 0 3700 5 14 9 18.59/18.61 c 3710 12754 2238768 9979974 0 3710 35 35 31 18.59/18.63 c 3720 12782 2243008 9997007 0 3720 14 19 16 18.59/18.66 c 3730 12841 2249237 10053299 0 3730 42 50 39 18.59/18.67 c 3740 12864 2252840 10066185 0 3740 8 14 9 18.59/18.69 c 3750 12891 2256583 10081389 0 3750 14 18 15 18.69/18.70 c 3760 12913 2259816 10096155 0 3760 5 13 7 18.69/18.72 c 3770 12946 2264473 10123337 0 3770 18 24 19 18.69/18.74 c 3780 12974 2269147 10139058 0 3780 4 19 14 18.69/18.75 c 3790 12996 2272276 10152041 0 3790 5 13 10 18.69/18.77 c 3800 13047 2277014 10206837 0 3800 42 42 38 18.69/18.79 c 3810 13075 2280782 10222497 0 3810 14 19 15 18.79/18.80 c 3820 13104 2284037 10241114 0 3820 16 20 15 18.79/18.82 c 3830 13127 2287651 10254000 0 3830 8 14 9 18.79/18.83 c 3840 13150 2290793 10266406 0 3840 8 14 10 18.79/18.86 c 3850 13209 2295990 10319667 0 3850 42 50 43 18.79/18.87 c 3860 13232 2299656 10332486 0 3860 5 14 9 18.89/18.91 c 3870 13291 2305832 10379796 0 3870 50 50 45 18.89/18.92 c 3880 13314 2309497 10392614 0 3880 5 14 9 18.89/18.96 c 3890 13382 2315735 10451065 0 3890 50 59 47 18.89/18.98 c 3900 13405 2319400 10463883 0 3900 5 14 9 18.89/19.00 c 3910 13432 2323571 10480090 0 3910 14 18 15 19.00/19.02 c 3920 13465 2327766 10509565 0 3920 16 24 19 19.00/19.03 c 3930 13488 2331457 10522842 0 3930 8 14 10 19.29/19.31 c 3940 13847 2419436 10663233 0 3940 350 350 318 19.29/19.33 c 3950 13867 2422619 10676058 0 3950 5 11 8 19.29/19.34 c 3960 13894 2426329 10692316 0 3960 10 18 10 19.29/19.36 c 3970 13919 2430083 10705145 0 3970 13 16 13 19.29/19.38 c 3980 13946 2434232 10721857 0 3980 11 18 10 19.29/19.39 c 3990 13971 2437906 10736758 0 3990 5 16 10 19.39/19.40 c 4000 13994 2441051 10747754 0 4000 7 14 9 19.39/19.41 c 4001 14004 2443643 10751908 0 4001 10 10 5 19.39/19.43 c 4010 14030 2447344 10767685 0 4010 10 18 10 19.39/19.45 c 4020 14063 2451541 10797292 0 4020 16 24 18 19.39/19.46 c 4030 14086 2455217 10811615 0 4030 7 14 10 19.39/19.48 c 4040 14113 2459425 10828274 0 4040 18 18 16 19.49/19.50 c 4050 14142 2463578 10847905 0 4050 13 20 14 19.49/19.51 c 4060 14165 2466308 10861725 0 4060 5 14 9 19.49/19.55 c 4070 14224 2472961 10904868 0 4070 18 50 23 19.49/19.57 c 4080 14252 2477629 10920569 0 4080 14 19 15 19.49/19.59 c 4090 14285 2481819 10950173 0 4090 20 24 20 19.59/19.62 c 4100 14323 2487062 10990919 0 4100 19 29 22 19.59/19.63 c 4110 14346 2490675 11003825 0 4110 4 14 8 19.59/19.65 c 4120 14373 2494843 11020518 0 4120 14 18 14 19.59/19.66 c 4130 14394 2498044 11030953 0 4130 5 12 8 19.59/19.69 c 4140 14427 2502758 11053227 0 4140 13 24 17 19.69/19.70 c 4150 14447 2505936 11065009 0 4150 4 11 7 19.69/19.73 c 4160 14491 2511612 11102419 0 4160 24 35 27 19.69/19.74 c 4170 14511 2514790 11114201 0 4170 4 11 7 19.69/19.77 c 4180 14555 2520458 11151143 0 4180 35 35 31 19.69/19.78 c 4190 14575 2523612 11160526 0 4190 4 11 6 19.69/19.79 c 4200 14597 2526783 11172386 0 4200 5 13 10 19.79/19.81 c 4210 14624 2530511 11189055 0 4210 14 18 15 19.79/19.82 c 4220 14645 2533680 11199012 0 4220 5 12 7 19.79/19.83 c 4230 14664 2536394 11208005 0 4230 5 10 7 19.79/19.84 c 4240 14691 2539590 11224733 0 4240 7 18 10 19.79/19.86 c 4250 14716 2543320 11238038 0 4250 9 16 12 19.89/19.90 c 4260 14775 2549515 11288159 0 4260 42 50 44 19.89/19.91 c 4270 14798 2552707 11300504 0 4270 5 14 8 19.89/19.95 c 4280 14857 2558885 11343680 0 4280 50 50 45 19.89/19.96 c 4290 14885 2562657 11360329 0 4290 14 19 15 19.89/19.97 c 4300 14910 2565949 11377569 0 4300 9 16 10 19.89/19.99 c 4310 14943 2570189 11401336 0 4310 18 24 17 20.00/20.01 c 4320 14966 2573459 11416083 0 4320 8 14 9 20.19/20.29 c 4330 15321 2660652 11582725 0 4330 24 346 91 20.29/20.31 c 4340 15344 2664305 11596099 0 4340 4 14 9 20.29/20.32 c 4350 15364 2666982 11608450 0 4350 6 11 8 20.29/20.33 c 4360 15391 2670234 11626149 0 4360 6 18 11 20.29/20.35 c 4370 15424 2674414 11656653 0 4370 24 24 21 20.29/20.37 c 4380 15452 2678616 11673750 0 4380 19 19 17 20.39/20.41 c 4390 15531 2685741 11724942 0 4390 50 70 61 20.39/20.42 c 4400 15554 2688932 11738149 0 4400 4 14 9 20.39/20.45 c 4410 15593 2694196 11767050 0 4410 13 30 16 20.39/20.46 c 4420 15613 2697375 11777393 0 4420 4 11 7 20.39/20.47 c 4430 15635 2700551 11788292 0 4430 5 13 9 20.49/20.52 c 4440 15704 2707646 11836906 0 4440 50 60 48 20.49/20.53 c 4450 15727 2710802 11849806 0 4450 7 14 10 20.49/20.54 c 4460 15749 2714034 11862165 0 4460 5 13 8 20.49/20.59 c 4470 15832 2721725 11920983 0 4470 60 74 64 20.59/20.60 c 4480 15857 2725393 11935215 0 4480 5 16 11 20.59/20.64 c 4490 15940 2733074 11995503 0 4490 74 74 67 20.59/20.66 c 4493 15964 2737662 12008739 0 4493 16 22 13 20.59/20.67 c 4500 15986 2740912 12021567 0 4500 12 16 12 20.89/20.95 c 4510 16347 2825765 12200142 0 4510 64 352 293 20.89/20.96 c 4520 16370 2829430 12214465 0 4520 7 14 10 20.89/20.98 c 4530 16397 2833590 12231179 0 4530 11 18 11 20.99/21.02 c 4540 16466 2840261 12274554 0 4540 60 60 54 20.99/21.03 c 4550 16489 2843449 12286901 0 4550 5 14 8 20.99/21.08 c 4560 16571 2851118 12346798 0 4560 50 73 57 20.99/21.09 c 4570 16594 2854294 12359134 0 4570 5 14 9 21.09/21.12 c 4580 16633 2859559 12387089 0 4580 10 30 15 21.09/21.13 c 4590 16656 2863301 12400292 0 4590 11 14 11 21.09/21.18 c 4600 16739 2870522 12454462 0 4600 74 74 67 21.09/21.19 c 4610 16765 2873705 12467266 0 4610 5 17 10 21.19/21.20 c 4620 16785 2876355 12477693 0 4620 6 11 7 21.19/21.21 c 4630 16807 2879544 12490117 0 4630 8 13 9 21.19/21.22 c 4640 16830 2882271 12501511 0 4640 11 14 10 21.19/21.27 c 4650 16900 2888508 12553135 0 4650 18 61 31 21.19/21.28 c 4660 16923 2891679 12565865 0 4660 4 14 9 21.19/21.30 c 4670 16950 2895864 12579615 0 4670 10 18 12 21.29/21.34 c 4680 17019 2902063 12629070 0 4680 16 60 34 21.29/21.35 c 4690 17042 2905239 12644763 0 4690 5 14 10 21.29/21.38 c 4700 17115 2911047 12696233 0 4700 59 64 54 21.29/21.40 c 4710 17138 2914239 12708578 0 4710 5 14 8 21.39/21.41 c 4720 17165 2917543 12723803 0 4720 14 18 14 21.39/21.45 c 4730 17238 2923777 12773947 0 4730 59 64 55 21.39/21.46 c 4740 17261 2927437 12786829 0 4740 7 14 10 21.39/21.49 c 4750 17294 2930770 12812505 0 4750 18 24 16 21.39/21.50 c 4760 17317 2933987 12825348 0 4760 5 14 9 21.49/21.55 c 4770 17405 2940380 12899423 0 4770 59 79 60 21.49/21.56 c 4780 17428 2944028 12911355 0 4780 4 14 9 21.59/21.61 c 4790 17526 2951853 12984447 0 4790 59 89 63 21.59/21.63 c 4800 17549 2955518 12998770 0 4800 7 14 10 21.59/21.67 c 4810 17647 2961897 13068433 0 4810 89 89 80 21.59/21.68 c 4820 17670 2965110 13079832 0 4820 5 14 9 21.69/21.72 c 4830 17743 2972264 13129443 0 4830 64 64 58 21.69/21.74 c 4840 17759 2975037 13160170 0 4840 7 7 6 21.69/21.75 c 4850 17781 2977338 13175821 0 4850 7 13 9 21.69/21.76 c 4860 17804 2980599 13190085 0 4860 11 14 11 21.69/21.77 c 4870 17831 2983881 13207368 0 4870 10 18 13 21.69/21.78 c 4880 17856 2987175 13224609 0 4880 9 16 10 21.79/21.80 c 4890 17883 2991368 13240279 0 4890 11 18 14 21.79/21.85 c 4900 17952 2998031 13290219 0 4900 16 60 23 21.79/21.86 c 4910 17975 3001230 13304482 0 4910 5 14 9 21.89/21.90 c 4920 18044 3007489 13359008 0 4920 30 60 48 21.89/21.91 c 4930 18067 3010703 13371736 0 4930 4 14 8 21.89/21.95 c 4940 18136 3016574 13433375 0 4940 30 60 45 21.89/21.96 c 4950 18159 3019770 13447059 0 4950 4 14 10 21.89/21.99 c 4960 18189 3025419 13461730 0 4960 14 21 17 21.99/22.02 c 4970 18228 3029742 13498363 0 4970 16 30 18 21.99/22.03 c 4980 18252 3033871 13511721 0 4980 7 15 11 21.99/22.08 c 4990 18350 3040330 13592545 0 4990 63 89 63 22.09/22.12 c 5035 18418 3047638 13668224 0 5035 5 24 20 22.38/22.44 c 5631 19357 3133694 14175643 0 5078 16 343 326 22.68/22.73 c 6286 20034 3159749 15944320 0 5268 7 22 21 23.18/23.27 c 7006 20832 3182544 18771644 0 5578 3 71 65 23.79/23.80 c 7798 21652 3216642 21115533 0 5949 23 27 23 24.19/24.26 c 8669 22575 3249115 23758423 0 6398 11 52 50 24.79/24.89 c 9627 23552 3279231 27676667 0 6889 12 16 15 25.39/25.42 c 10680 24663 3311139 30492893 0 7069 4 57 55 25.79/25.86 c 11838 25864 3345093 32892333 0 7324 6 42 40 26.19/26.26 c 13111 27455 3416881 33585544 0 7727 9 314 264 26.39/26.44 c 14511 28865 3464466 34923471 0 8166 9 9 8 26.79/26.84 c 16051 30435 3516008 37321848 0 8292 15 19 18 27.79/27.83 c 17745 32223 3550831 43183636 0 8810 3 92 87 28.10/28.12 c 19608 34101 3608584 45176152 0 9237 6 13 12 30.29/30.39 c 21657 36183 3671739 57561937 0 9494 4 30 29 32.00/32.02 c 23910 38931 3839938 67012252 0 9885 486 486 485 35.29/35.32 c 26388 41483 3947376 84630408 0 10280 5 70 62 35.59/35.66 c 29113 44223 4028574 87212401 0 10598 11 11 10 36.39/36.48 c 32110 47263 4099311 91547803 0 10943 13 38 37 40.19/40.20 c 35406 50620 4225432 113919623 0 11299 6 55 54 41.79/41.86 c 39031 54749 4411416 123307240 0 11664 486 486 485 42.89/42.95 c 43018 58865 4492285 128970329 0 12315 6 58 56 46.19/46.20 c 47403 63270 4656932 143464678 0 12402 6 12 11 47.29/47.33 c 52226 68133 4792945 150377434 0 12611 5 31 30 48.49/48.54 c 57531 73459 4951310 157964520 0 12742 11 11 10 49.79/49.87 c 63366 79316 5114561 166216014 0 12865 3 11 10 53.18/53.26 c 69784 85826 5232375 186860914 0 13268 4 78 77 55.18/55.22 c 76843 92948 5436644 198086526 0 13443 5 39 38 61.29/61.34 c 84607 101050 5601266 236427506 0 13791 5 69 68 62.39/62.44 c 93147 109619 5831706 244752957 0 14191 10 13 10 64.00/64.01 c 102541 119052 6083270 255453240 0 14675 4 21 20 70.39/70.46 c 112874 129543 6391693 299451457 0 14855 5 49 48 71.78/71.87 c 124240 141271 6513787 302380194 0 15408 5 307 275 74.88/74.95 c 136742 153818 6887737 322161037 0 15744 3 20 19 83.09/83.18 c 150494 168035 7183991 383317984 0 16417 4 368 321 94.29/94.32 c 165621 183380 7461683 434676344 0 17144 3 174 170 98.10/98.15 c 182260 200068 7921201 458260769 0 17229 5 15 14 101.10/101.15 c 200562 218433 8400944 478783148 0 17474 4 25 24 112.09/112.17 c 220694 238637 9022435 553350846 0 17921 8 30 29 121.68/121.74 c 242839 261225 9321809 608824591 0 19186 5 144 142 134.99/135.02 c 267198 285652 10090217 697356177 0 19575 5 18 17 141.88/141.98 c 293992 312538 10877785 743114226 0 19939 4 36 35 153.99/154.04 c 323465 342528 11336388 805635692 0 21176 4 128 127 161.38/161.40 c 355885 375040 12231020 851577274 0 21417 3 24 23 173.38/173.48 c 391547 410808 13181179 938970821 0 21917 4 31 30 217.09/217.11 c 430775 450210 14497157 1214589443 0 22279 4 78 77 227.88/227.99 c 473925 493493 15723656 1289252820 0 22742 4 40 39 279.09/279.13 c 521390 542036 16938620 1570115649 0 23420 4 119 117 285.18/285.21 c 573601 594370 18430896 1619262733 0 23575 16 16 15 310.47/310.60 c 631033 664089 19900850 1767379066 0 25161 27 78 76 359.87/359.90 c 694208 728778 21103301 2085332574 0 26558 9 93 92 367.98/368.03 c 763700 798423 23084722 2150878555 0 26786 10 10 9 386.88/387.00 c 840141 875068 25022816 2271418084 0 27032 31 40 39 445.57/445.68 c 924226 964579 27559384 2665785017 0 27746 3 57 55 477.37/477.48 c 1016719 1057868 30015979 2893283684 0 28192 7 17 16 493.27/493.39 c 1118461 1159833 32953770 3005996792 0 28552 4 11 10 533.08/533.18 c 1230377 1274272 34535920 3189033961 0 29500 4 141 132 560.17/560.28 c 1353484 1397681 37761449 3371147421 0 30264 3 35 34 633.17/633.22 c 1488901 1533415 41967594 3863922757 0 30608 6 27 26 791.66/791.72 c 1637859 1682773 49019534 4755265402 0 31234 6 60 59 828.56/828.62 c 1801712 1847369 53525562 4987263804 0 32363 5 36 35 874.56/874.60 c 1981950 2028046 59335792 5324151709 0 32982 7 44 43 890.66/890.72 c 2180211 2228442 60015571 5327809343 0 34227 5 395 387 946.56/946.61 c 2398298 2447595 62147604 5576794275 0 35848 3 243 241 978.65/978.79 c 2638193 2688086 69876087 5812248082 0 36009 6 24 21 1023.26/1023.34 c 2902077 2952876 77135314 6120010576 0 36537 5 37 16 1093.15/1093.22 c 3192349 3243797 85669348 6574657496 0 36873 9 27 26 1145.96/1146.02 c 3511648 3563817 95727321 6933458944 0 37391 5 30 29 1287.34/1287.49 c 3862876 3918969 104787078 8018805984 0 38535 4 44 43 1525.14/1525.22 c 4249226 4317390 115147473 9107693762 0 40530 4 214 186 1576.14/1576.20 c 4674211 4743279 128527771 9509846909 0 41312 20 21 20 1632.34/1632.44 c 5141694 5211765 140880420 9951452710 0 41536 23 25 24 1756.73/1756.89 c 5655925 5727114 155961367 10751005352 0 42138 10 28 27 2041.52/2041.64 c 6221579 6294049 171708770 12466059375 0 42780 10 57 37 2251.72/2251.87 c 6843798 6918184 191247216 13765560808 0 42952 5 67 47 2519.92/2520.01 2519.92/2520.01 c *** INTERRUPTED *** 2519.92/2520.01 c restarts : 592 2519.92/2520.01 c conflicts : 7244571 (2877 /sec) 2519.92/2520.01 c decisions : 7323206 (2908 /sec) 2519.92/2520.01 c propagations : 15115431996 (6002797 /sec) 2519.92/2520.01 c root propagations : 0 2519.92/2520.01 c filter calls : 202672594 (80487 /sec) 2519.92/2520.01 c useless filter calls : 161096278 (79 %) 2519.92/2520.01 c 2519.92/2520.01 c clauses : 125674057 2519.92/2520.01 c SAT propagations : 7444 2519.92/2520.01 c SAT conflicts : 0 (0 learnts) 2519.92/2520.01 c Memory used : 5686.57 MB 2519.92/2520.01 c CPU time : 2518.06 s 2519.92/2520.01 2519.92/2520.01 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 (14434 MiB free)
memory of node 1: 16384 MiB (14110 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266066-1502570691/watcher-4266066-1502570691 -o /tmp/evaluation-result-4266066-1502570691/solver-4266066-1502570691 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24472 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266066-1502570691.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24917, runsolver pid=24914
[startup+0.100201 s]*
/proc/loadavg: 2.21 2.08 1.91 3/188 24918
/proc/meminfo: memFree=29162680/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=34372 memory=10552 CPUtime=0.1 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 2865 0 0 0 10 0 0 0 20 0 1 0 90157240 35196928 2638 33554432000 4194304 5972588 140727050431424 140727050428072 140054189476837 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 8593 2638 787 435 0 1956 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 34372 KiB
Current children cumulated memory: 10552 KiB
[startup+0.209689 s]*
/proc/loadavg: 2.21 2.08 1.91 3/188 24918
/proc/meminfo: memFree=29089552/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=37512 memory=13824 CPUtime=0.21 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 3673 0 0 0 21 0 0 0 20 0 1 0 90157240 38412288 3456 33554432000 4194304 5972588 140727050431424 140727050428072 4967517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 9378 3456 787 435 0 2741 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37512 KiB
Current children cumulated memory: 13824 KiB
[startup+0.309138 s]*
/proc/loadavg: 2.21 2.08 1.91 3/188 24918
/proc/meminfo: memFree=29028520/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=40520 memory=16836 CPUtime=0.31 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 4409 0 0 0 31 0 0 0 20 0 1 0 90157240 41492480 4209 33554432000 4194304 5972588 140727050431424 140727050428072 140054199135584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 10130 4209 787 435 0 3493 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 40520 KiB
Current children cumulated memory: 16836 KiB
[startup+0.700433 s]
/proc/loadavg: 2.21 2.08 1.91 3/188 24918
/proc/meminfo: memFree=28900128/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=154448 memory=112504 CPUtime=0.69 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 22182 0 0 0 66 3 0 0 20 0 1 0 90157240 158154752 28126 33554432000 4194304 5972588 140727050431424 140727050424984 5280489 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 38612 28126 820 435 0 31975 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 154448 KiB
Current children cumulated memory: 112504 KiB
[startup+1.50042 s]
/proc/loadavg: 2.21 2.08 1.91 3/188 24918
/proc/meminfo: memFree=28337644/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=747492 memory=591776 CPUtime=1.49 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 88851 0 0 0 133 16 0 0 20 0 1 0 90157240 765431808 147944 33554432000 4194304 5972588 140727050431424 140727050428216 140054189476837 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 186906 147944 820 435 0 180269 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 747492 KiB
Current children cumulated memory: 591776 KiB
[startup+3.10967 s]
/proc/loadavg: 2.19 2.08 1.91 3/188 24918
/proc/meminfo: memFree=25988820/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=1956000 memory=1541740 CPUtime=3.1 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 216391 0 0 0 268 42 0 0 20 0 1 0 90157240 2002944000 385435 33554432000 4194304 5972588 140727050431424 140727050428216 140054189476837 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 489000 385435 820 435 0 482363 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1956000 KiB
Current children cumulated memory: 1541740 KiB
[startup+6.30042 s]
/proc/loadavg: 2.19 2.08 1.91 3/188 24918
/proc/meminfo: memFree=22509068/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=3759176 memory=3408796 CPUtime=6.29 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 458682 0 0 0 545 84 0 0 20 0 1 0 90157240 3849396224 852199 33554432000 4194304 5972588 140727050431424 140727050428216 140054189476837 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 939794 852199 820 435 0 933157 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3759176 KiB
Current children cumulated memory: 3408796 KiB
[startup+12.7004 s]
/proc/loadavg: 2.17 2.08 1.91 3/188 24918
/proc/meminfo: memFree=17227652/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5813280 memory=5118896 CPUtime=12.69 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 690924 0 0 0 1136 133 0 0 20 0 1 0 90157240 5952798720 1279724 33554432000 4194304 5972588 140727050431424 140727050428728 4978333 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1453320 1279724 837 435 0 1446683 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 5813280 KiB
Current children cumulated memory: 5118896 KiB
[startup+25.5004 s]
/proc/loadavg: 2.14 2.07 1.91 3/188 24918
/proc/meminfo: memFree=9811420/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5815868 memory=5123188 CPUtime=25.49 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 706997 0 0 0 2415 134 0 0 20 0 1 0 90157240 5955448832 1280797 33554432000 4194304 5972588 140727050431424 140727050428456 4965365 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1453967 1280797 837 435 0 1447330 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 5815868 KiB
Current children cumulated memory: 5123188 KiB
[startup+51.1092 s]
/proc/loadavg: 2.09 2.07 1.92 3/188 24918
/proc/meminfo: memFree=9382732/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5817980 memory=5127324 CPUtime=51.09 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 722794 0 0 0 4974 135 0 0 20 0 1 0 90157240 5957611520 1281831 33554432000 4194304 5972588 140727050431424 140727050428728 4965583 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1454495 1281831 837 435 0 1447858 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 5817980 KiB
Current children cumulated memory: 5127324 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.06 1.92 3/188 24919
/proc/meminfo: memFree=9364164/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5819168 memory=5130716 CPUtime=102.29 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 740345 0 0 0 10092 137 0 0 20 0 1 0 90157240 5958828032 1282679 33554432000 4194304 5972588 140727050431424 140727050428728 5053099 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1454792 1282679 837 435 0 1448155 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 5819168 KiB
Current children cumulated memory: 5130716 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 1.93 3/188 24920
/proc/meminfo: memFree=9358208/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5819568 memory=5133160 CPUtime=162.28 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 753475 0 0 0 16090 138 0 0 20 0 1 0 90157240 5959237632 1283290 33554432000 4194304 5972588 140727050431424 140727050428728 5053069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1454892 1283290 837 435 0 1448255 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 5819568 KiB
Current children cumulated memory: 5133160 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 1.93 3/188 24921
/proc/meminfo: memFree=9356468/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5820140 memory=5133740 CPUtime=222.28 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 765185 0 0 0 22089 139 0 0 20 0 1 0 90157240 5959823360 1283435 33554432000 4194304 5972588 140727050431424 140727050428728 4909694 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455035 1283435 837 435 0 1448398 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 5820140 KiB
Current children cumulated memory: 5133740 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/187 24922
/proc/meminfo: memFree=9353600/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5820404 memory=5134024 CPUtime=282.28 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 777729 0 0 0 28089 139 0 0 20 0 1 0 90157240 5960093696 1283506 33554432000 4194304 5972588 140727050431424 140727050428728 5070704 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455101 1283506 837 435 0 1448464 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 5820404 KiB
Current children cumulated memory: 5134024 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/187 24923
/proc/meminfo: memFree=9350312/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5820932 memory=5136492 CPUtime=342.28 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 801360 0 0 0 34087 141 0 0 20 0 1 0 90157240 5960634368 1284123 33554432000 4194304 5972588 140727050431424 140727050428728 4970781 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455233 1284123 837 435 0 1448596 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 5820932 KiB
Current children cumulated memory: 5136492 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 24924
/proc/meminfo: memFree=9350304/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5821064 memory=5136648 CPUtime=402.27 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 817778 0 0 0 40085 142 0 0 20 0 1 0 90157240 5960769536 1284162 33554432000 4194304 5972588 140727050431424 140727050428456 5071069 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455266 1284162 837 435 0 1448629 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 5821064 KiB
Current children cumulated memory: 5136648 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 24925
/proc/meminfo: memFree=9349560/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5821064 memory=5136680 CPUtime=462.27 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 830409 0 0 0 46083 144 0 0 20 0 1 0 90157240 5960769536 1284170 33554432000 4194304 5972588 140727050431424 140727050428728 4977750 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455266 1284170 837 435 0 1448629 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 5821064 KiB
Current children cumulated memory: 5136680 KiB
################
# More data... #
################
/proc/meminfo: memFree=9338524/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142572 CPUtime=1782.23 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1052993 0 0 0 178054 169 0 0 20 0 1 0 90157240 5962530816 1285643 33554432000 4194304 5972588 140727050431424 140727050428728 5094162 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285643 837 435 0 1449059 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142572 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 24997
/proc/meminfo: memFree=9335968/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142604 CPUtime=1842.22 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1061838 0 0 0 184053 169 0 0 20 0 1 0 90157240 5962530816 1285651 33554432000 4194304 5972588 140727050431424 140727050428728 4965562 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285651 837 435 0 1449059 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142604 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 24998
/proc/meminfo: memFree=9336696/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142604 CPUtime=1902.23 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1066852 0 0 0 190052 171 0 0 20 0 1 0 90157240 5962530816 1285651 33554432000 4194304 5972588 140727050431424 140727050428728 4962352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285651 837 435 0 1449059 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142604 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 24999
/proc/meminfo: memFree=9336724/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142604 CPUtime=1962.22 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1074142 0 0 0 196050 172 0 0 20 0 1 0 90157240 5962530816 1285651 33554432000 4194304 5972588 140727050431424 140727050428728 4965339 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285651 837 435 0 1449059 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142604 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25000
/proc/meminfo: memFree=9336752/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142604 CPUtime=2022.22 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1084508 0 0 0 202048 174 0 0 20 0 1 0 90157240 5962530816 1285651 33554432000 4194304 5972588 140727050431424 140727050428728 5071767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285651 837 435 0 1449059 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142604 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 25001
/proc/meminfo: memFree=9336936/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142604 CPUtime=2082.22 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1093698 0 0 0 208047 175 0 0 20 0 1 0 90157240 5962530816 1285651 33554432000 4194304 5972588 140727050431424 140727050428728 4971158 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285651 837 435 0 1449059 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142604 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 25002
/proc/meminfo: memFree=9336972/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142608 CPUtime=2142.22 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1102974 0 0 0 214046 176 0 0 20 0 1 0 90157240 5962530816 1285652 33554432000 4194304 5972588 140727050431424 140727050428728 5320457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285652 837 435 0 1449059 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142608 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 25003
/proc/meminfo: memFree=9336396/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142612 CPUtime=2202.22 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1108684 0 0 0 220044 178 0 0 20 0 1 0 90157240 5962530816 1285653 33554432000 4194304 5972588 140727050431424 140727050428728 5053056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285653 837 435 0 1449059 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142612 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25004
/proc/meminfo: memFree=9336532/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142640 CPUtime=2262.21 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1121104 0 0 0 226042 179 0 0 20 0 1 0 90157240 5962530816 1285660 33554432000 4194304 5972588 140727050431424 140727050428728 5071744 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285660 837 435 0 1449059 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142640 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25005
/proc/meminfo: memFree=9336352/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822784 memory=5142640 CPUtime=2322.21 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1124768 0 0 0 232041 180 0 0 20 0 1 0 90157240 5962530816 1285660 33554432000 4194304 5972588 140727050431424 140727050428728 4909624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455696 1285660 837 435 0 1449059 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 5822784 KiB
Current children cumulated memory: 5142640 KiB
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 25014
/proc/meminfo: memFree=9336052/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822916 memory=5142764 CPUtime=2382.21 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1138361 0 0 0 238040 181 0 0 20 0 1 0 90157240 5962665984 1285691 33554432000 4194304 5972588 140727050431424 140727050428456 4909660 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455729 1285691 837 435 0 1449092 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 5822916 KiB
Current children cumulated memory: 5142764 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 25015
/proc/meminfo: memFree=9336680/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822916 memory=5142776 CPUtime=2442.21 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1150344 0 0 0 244038 183 0 0 20 0 1 0 90157240 5962665984 1285694 33554432000 4194304 5972588 140727050431424 140727050428456 4971896 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455729 1285694 837 435 0 1449092 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 5822916 KiB
Current children cumulated memory: 5142776 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 25016
/proc/meminfo: memFree=9336524/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5822916 memory=5142792 CPUtime=2502.2 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1164376 0 0 0 250035 185 0 0 20 0 1 0 90157240 5962665984 1285698 33554432000 4194304 5972588 140727050431424 140727050428456 4909624 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455729 1285698 837 435 0 1449092 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 5822916 KiB
Current children cumulated memory: 5142792 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 6/201 25045
/proc/meminfo: memFree=24195756/32770624 swapFree=67108860/67108860
[pid=24917] ppid=24914 vsize=5823048 memory=5142800 CPUtime=2519.92 cores=0,2,4,6
/proc/24917/stat : 24917 (cosoco) R 24914 24917 24389 0 -1 4202496 1166470 0 0 0 251806 186 0 0 20 0 1 0 90157240 5962801152 1285700 33554432000 4194304 5972588 140727050431424 140727050428456 4969225 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27529216 140727050437818 140727050437918 140727050437918 140727050440654 0
/proc/24917/statm: 1455762 1285700 837 435 0 1449125 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 5823048 KiB
Current children cumulated memory: 5142800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.27 s]
# the end of solver process 24917 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.07 s, system=2.12393 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 2.01 2.02 2.05 2/185 25051
/proc/meminfo: memFree=25986056/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.27
CPU time (s): 2520.19
CPU user time (s): 2518.07
CPU system time (s): 2.12393
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 5823048
Max. memory (cumulated for all children) (KiB): 5142800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.07
system time used= 2.12393
maximum resident set size= 5142876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1166515
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= 7
involuntary context switches= 1049
# summary of solver processes directly reported to runsolver:
# pid: 24917
# total CPU time (s): 2520.19
# total CPU user time (s): 2518.07
# total CPU system time (s): 2.12393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.13531 second user time and 16.837 second system time
The end
Begin job on node107 at 2017-08-12 22:30:33 IDJOB=4266066 IDBENCH=120758 IDSOLVER=2655 FILE ID=node107/4266066-1502570691 RUNJOBID= node107-1502567255-24472 PBS_JOBID= 20628284 Free space on /tmp= 61660 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P09.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266066-1502570691/watcher-4266066-1502570691 -o /tmp/evaluation-result-4266066-1502570691/solver-4266066-1502570691 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24472 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266066-1502570691.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d RANDOM SEED=544236017 node107.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.84 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.84 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.84 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.84 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: 29243084 kB MemAvailable: 31864656 kB Buffers: 123624 kB Cached: 2791808 kB SwapCached: 0 kB Active: 568580 kB Inactive: 2533504 kB Active(anon): 189808 kB Inactive(anon): 24972 kB Active(file): 378772 kB Inactive(file): 2508532 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4660 kB Writeback: 0 kB AnonPages: 197128 kB Mapped: 44204 kB Shmem: 25228 kB Slab: 125588 kB SReclaimable: 100204 kB SUnreclaim: 25384 kB KernelStack: 3584 kB PageTables: 5476 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 501928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61660 MiB End job on node107 at 2017-08-12 23:12:34