| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco-sat 1.1 | ? (TO) | 2400.76 | 2408.37 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K12-P09.xml |
| MD5SUM | 32cec65ed71b36923f34d2db18851218 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1500 |
| Number of constraints | 692 |
| Number of domains | 2 |
| Minimum domain size | 690 |
| Maximum domain size | 691 |
| Distribution of domain sizes | [{"size":690,"count":690},{"size":691,"count":108}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 14 |
| Distribution of variable degrees | [{"degree":0,"count":702},{"degree":2,"count":690},{"degree":13,"count":24},{"degree":14,"count":84}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 690 |
| Distribution of constraint arities | [{"arity":3,"count":690},{"arity":108,"count":1},{"arity":690,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 690 |
| Distribution of constraint types | [{"type":"intension","count":690},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
30.18/37.18 c SAT : Variables: 1035108 -- Clauses: 356633520 30.25/37.22 c root propagations : 0 30.25/37.22 c restarts enabled, print stats at every restarts 30.25/37.22 c 30.25/37.22 c 30.25/37.22 c 30.25/37.22 c This is cosoco 1.0 -- 30.25/37.22 c 30.25/37.22 c ========================================[ Problem Statistics ]=========================================== 30.25/37.22 c | 30.25/37.22 c | Parse time : 24.89 s 30.25/37.22 c | 30.25/37.22 c | Variables: 1500 30.25/37.22 c | Domain Sizes: 690..691 30.25/37.22 c | 30.25/37.22 c | Constraints: 692 30.25/37.22 c | Arity: 3..690 -- Ternary: 690 30.25/37.22 c | 30.25/37.22 c | Types: 30.25/37.22 c | All Different: 2 30.25/37.22 c | Intension: 690 30.25/37.22 c | 30.25/37.22 c ========================================================================================================= 30.25/37.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 30.25/37.22 c remove useless variable ce[0][0][0] 30.25/37.22 c remove useless variable ce[0][1][0] 30.25/37.22 c remove useless variable ce[0][1][1] 30.25/37.22 c remove useless variable ce[0][2][0] 30.25/37.22 c remove useless variable ce[0][2][1] 30.25/37.22 c remove useless variable ce[0][2][2] 30.25/37.22 c remove useless variable ce[0][3][0] 30.25/37.22 c remove useless variable ce[0][3][1] 30.25/37.22 c remove useless variable ce[0][3][2] 30.25/37.22 c remove useless variable ce[0][3][3] 30.25/37.22 c remove useless variable ce[0][4][0] 30.25/37.22 c remove useless variable ce[0][4][1] 30.25/37.22 c remove useless variable ce[0][4][2] 30.25/37.22 c remove useless variable ce[0][4][3] 30.25/37.22 c remove useless variable ce[0][4][4] 30.25/37.22 c remove useless variable ce[0][5][0] 30.25/37.22 c remove useless variable ce[0][5][1] 30.25/37.22 c remove useless variable ce[0][5][2] 30.25/37.22 c remove useless variable ce[0][5][3] 30.25/37.22 c remove useless variable ce[0][5][4] 30.25/37.22 c remove useless variable ce[0][5][5] 30.25/37.22 c remove useless variable ce[0][6][0] 30.25/37.22 c remove useless variable ce[0][6][1] 30.25/37.22 c remove useless variable ce[0][6][2] 30.25/37.22 c remove useless variable ce[0][6][3] 30.25/37.22 c remove useless variable ce[0][6][4] 30.25/37.22 c remove useless variable ce[0][6][5] 30.25/37.22 c remove useless variable ce[0][6][6] 30.25/37.22 c remove useless variable ce[0][7][0] 30.25/37.22 c remove useless variable ce[0][7][1] 30.25/37.22 c remove useless variable ce[0][7][2] 30.25/37.22 c remove useless variable ce[0][7][3] 30.25/37.22 c remove useless variable ce[0][7][4] 30.25/37.22 c remove useless variable ce[0][7][5] 30.25/37.22 c remove useless variable ce[0][7][6] 30.25/37.22 c remove useless variable ce[0][7][7] 30.25/37.22 c remove useless variable ce[0][8][0] 30.25/37.22 c remove useless variable ce[0][8][1] 30.25/37.22 c remove useless variable ce[0][8][2] 30.25/37.22 c remove useless variable ce[0][8][3] 30.25/37.22 c remove useless variable ce[0][8][4] 30.25/37.22 c remove useless variable ce[0][8][5] 30.25/37.22 c remove useless variable ce[0][8][6] 30.25/37.22 c remove useless variable ce[0][8][7] 30.25/37.22 c remove useless variable ce[0][8][8] 30.25/37.22 c remove useless variable ce[0][9][0] 30.25/37.22 c remove useless variable ce[0][9][1] 30.25/37.22 c remove useless variable ce[0][9][2] 30.25/37.22 c remove useless variable ce[0][9][3] 30.25/37.22 c remove useless variable ce[0][9][4] 30.25/37.22 c remove useless variable ce[0][9][5] 30.25/37.22 c remove useless variable ce[0][9][6] 30.25/37.22 c remove useless variable ce[0][9][7] 30.25/37.22 c remove useless variable ce[0][9][8] 30.25/37.22 c remove useless variable ce[0][9][9] 30.25/37.22 c remove useless variable ce[0][10][0] 30.25/37.22 c remove useless variable ce[0][10][1] 30.25/37.22 c remove useless variable ce[0][10][2] 30.25/37.22 c remove useless variable ce[0][10][3] 30.25/37.22 c remove useless variable ce[0][10][4] 30.25/37.22 c remove useless variable ce[0][10][5] 30.25/37.22 c remove useless variable ce[0][10][6] 30.25/37.22 c remove useless variable ce[0][10][7] 30.25/37.22 c remove useless variable ce[0][10][8] 30.25/37.22 c remove useless variable ce[0][10][9] 30.25/37.22 c remove useless variable ce[0][10][10] 30.25/37.22 c remove useless variable ce[0][11][0] 30.25/37.22 c remove useless variable ce[0][11][1] 30.25/37.22 c remove useless variable ce[0][11][2] 30.25/37.22 c remove useless variable ce[0][11][3] 30.25/37.22 c remove useless variable ce[0][11][4] 30.25/37.22 c remove useless variable ce[0][11][5] 30.25/37.22 c remove useless variable ce[0][11][6] 30.25/37.22 c remove useless variable ce[0][11][7] 30.25/37.22 c remove useless variable ce[0][11][8] 30.25/37.22 c remove useless variable ce[0][11][9] 30.25/37.22 c remove useless variable ce[0][11][10] 30.25/37.22 c remove useless variable ce[0][11][11] 30.25/37.22 c remove useless variable ce[1][0][0] 30.25/37.22 c remove useless variable ce[1][1][0] 30.25/37.22 c remove useless variable ce[1][1][1] 30.25/37.22 c remove useless variable ce[1][2][0] 30.25/37.22 c remove useless variable ce[1][2][1] 30.25/37.22 c remove useless variable ce[1][2][2] 30.25/37.22 c remove useless variable ce[1][3][0] 30.25/37.22 c remove useless variable ce[1][3][1] 30.25/37.22 c remove useless variable ce[1][3][2] 30.25/37.22 c remove useless variable ce[1][3][3] 30.25/37.22 c remove useless variable ce[1][4][0] 30.25/37.22 c remove useless variable ce[1][4][1] 30.25/37.22 c remove useless variable ce[1][4][2] 30.25/37.22 c remove useless variable ce[1][4][3] 30.25/37.22 c remove useless variable ce[1][4][4] 30.25/37.22 c remove useless variable ce[1][5][0] 30.25/37.22 c remove useless variable ce[1][5][1] 30.25/37.22 c remove useless variable ce[1][5][2] 30.25/37.22 c remove useless variable ce[1][5][3] 30.25/37.22 c remove useless variable ce[1][5][4] 30.25/37.22 c remove useless variable ce[1][5][5] 30.25/37.22 c remove useless variable ce[1][6][0] 30.25/37.22 c remove useless variable ce[1][6][1] 30.25/37.22 c remove useless variable ce[1][6][2] 30.25/37.22 c remove useless variable ce[1][6][3] 30.25/37.22 c remove useless variable ce[1][6][4] 30.25/37.22 c remove useless variable ce[1][6][5] 30.25/37.22 c remove useless variable ce[1][6][6] 30.25/37.22 c remove useless variable ce[1][7][0] 30.25/37.22 c remove useless variable ce[1][7][1] 30.25/37.22 c remove useless variable ce[1][7][2] 30.25/37.22 c remove useless variable ce[1][7][3] 30.25/37.22 c remove useless variable ce[1][7][4] 30.25/37.22 c remove useless variable ce[1][7][5] 30.25/37.22 c remove useless variable ce[1][7][6] 30.25/37.22 c remove useless variable ce[1][7][7] 30.25/37.22 c remove useless variable ce[1][8][0] 30.25/37.22 c remove useless variable ce[1][8][1] 30.25/37.22 c remove useless variable ce[1][8][2] 30.25/37.22 c remove useless variable ce[1][8][3] 30.25/37.22 c remove useless variable ce[1][8][4] 30.25/37.22 c remove useless variable ce[1][8][5] 30.25/37.22 c remove useless variable ce[1][8][6] 30.25/37.22 c remove useless variable ce[1][8][7] 30.25/37.22 c remove useless variable ce[1][8][8] 30.25/37.22 c remove useless variable ce[1][9][0] 30.25/37.22 c remove useless variable ce[1][9][1] 30.25/37.22 c remove useless variable ce[1][9][2] 30.25/37.22 c remove useless variable ce[1][9][3] 30.25/37.22 c remove useless variable ce[1][9][4] 30.25/37.22 c remove useless variable ce[1][9][5] 30.25/37.22 c remove useless variable ce[1][9][6] 30.25/37.22 c remove useless variable ce[1][9][7] 30.25/37.22 c remove useless variable ce[1][9][8] 30.25/37.22 c remove useless variable ce[1][9][9] 30.25/37.22 c remove useless variable ce[1][10][0] 30.25/37.22 c remove useless variable ce[1][10][1] 30.25/37.22 c remove useless variable ce[1][10][2] 30.25/37.22 c remove useless variable ce[1][10][3] 30.25/37.22 c remove useless variable ce[1][10][4] 30.25/37.22 c remove useless variable ce[1][10][5] 30.25/37.22 c remove useless variable ce[1][10][6] 30.25/37.22 c remove useless variable ce[1][10][7] 30.25/37.22 c remove useless variable ce[1][10][8] 30.25/37.22 c remove useless variable ce[1][10][9] 30.25/37.22 c remove useless variable ce[1][10][10] 30.25/37.22 c remove useless variable ce[1][11][0] 30.25/37.22 c remove useless variable ce[1][11][1] 30.25/37.22 c remove useless variable ce[1][11][2] 30.25/37.22 c remove useless variable ce[1][11][3] 30.25/37.22 c remove useless variable ce[1][11][4] 30.25/37.22 c remove useless variable ce[1][11][5] 30.25/37.22 c remove useless variable ce[1][11][6] 30.25/37.22 c remove useless variable ce[1][11][7] 30.25/37.22 c remove useless variable ce[1][11][8] 30.25/37.22 c remove useless variable ce[1][11][9] 30.25/37.22 c remove useless variable ce[1][11][10] 30.25/37.22 c remove useless variable ce[1][11][11] 30.25/37.22 c remove useless variable ce[2][0][0] 30.25/37.22 c remove useless variable ce[2][1][0] 30.25/37.22 c remove useless variable ce[2][1][1] 30.25/37.22 c remove useless variable ce[2][2][0] 30.25/37.22 c remove useless variable ce[2][2][1] 30.25/37.22 c remove useless variable ce[2][2][2] 30.25/37.22 c remove useless variable ce[2][3][0] 30.25/37.22 c remove useless variable ce[2][3][1] 30.25/37.22 c remove useless variable ce[2][3][2] 30.25/37.22 c remove useless variable ce[2][3][3] 30.25/37.22 c remove useless variable ce[2][4][0] 30.25/37.22 c remove useless variable ce[2][4][1] 30.25/37.22 c remove useless variable ce[2][4][2] 30.25/37.22 c remove useless variable ce[2][4][3] 30.25/37.22 c remove useless variable ce[2][4][4] 30.25/37.22 c remove useless variable ce[2][5][0] 30.25/37.22 c remove useless variable ce[2][5][1] 30.25/37.22 c remove useless variable ce[2][5][2] 30.25/37.22 c remove useless variable ce[2][5][3] 30.25/37.22 c remove useless variable ce[2][5][4] 30.25/37.22 c remove useless variable ce[2][5][5] 30.25/37.22 c remove useless variable ce[2][6][0] 30.25/37.22 c remove useless variable ce[2][6][1] 30.25/37.22 c remove useless variable ce[2][6][2] 30.25/37.22 c remove useless variable ce[2][6][3] 30.25/37.22 c remove useless variable ce[2][6][4] 30.25/37.22 c remove useless variable ce[2][6][5] 30.25/37.22 c remove useless variable ce[2][6][6] 30.25/37.22 c remove useless variable ce[2][7][0] 30.25/37.22 c remove useless variable ce[2][7][1] 30.25/37.22 c remove useless variable ce[2][7][2] 30.25/37.22 c remove useless variable ce[2][7][3] 30.25/37.22 c remove useless variable ce[2][7][4] 30.25/37.22 c remove useless variable ce[2][7][5] 30.25/37.22 c remove useless variable ce[2][7][6] 30.25/37.22 c remove useless variable ce[2][7][7] 30.25/37.22 c remove useless variable ce[2][8][0] 30.25/37.22 c remove useless variable ce[2][8][1] 30.25/37.22 c remove useless variable ce[2][8][2] 30.25/37.22 c remove useless variable ce[2][8][3] 30.25/37.22 c remove useless variable ce[2][8][4] 30.25/37.22 c remove useless variable ce[2][8][5] 30.25/37.22 c remove useless variable ce[2][8][6] 30.25/37.22 c remove useless variable ce[2][8][7] 30.25/37.22 c remove useless variable ce[2][8][8] 30.25/37.22 c remove useless variable ce[2][9][0] 30.25/37.22 c remove useless variable ce[2][9][1] 30.25/37.22 c remove useless variable ce[2][9][2] 30.25/37.22 c remove useless variable ce[2][9][3] 30.25/37.22 c remove useless variable ce[2][9][4] 30.25/37.22 c remove useless variable ce[2][9][5] 30.25/37.22 c remove useless variable ce[2][9][6] 30.25/37.22 c remove useless variable ce[2][9][7] 30.25/37.22 c remove useless variable ce[2][9][8] 30.25/37.22 c remove useless variable ce[2][9][9] 30.25/37.22 c remove useless variable ce[2][10][0] 30.25/37.22 c remove useless variable ce[2][10][1] 30.25/37.22 c remove useless variable ce[2][10][2] 30.25/37.22 c remove useless variable ce[2][10][3] 30.25/37.22 c remove useless variable ce[2][10][4] 30.25/37.22 c remove useless variable ce[2][10][5] 30.25/37.22 c remove useless variable ce[2][10][6] 30.25/37.22 c remove useless variable ce[2][10][7] 30.25/37.22 c remove useless variable ce[2][10][8] 30.25/37.22 c remove useless variable ce[2][10][9] 30.25/37.22 c remove useless variable ce[2][10][10] 30.25/37.22 c remove useless variable ce[2][11][0] 30.25/37.22 c remove useless variable ce[2][11][1] 30.25/37.22 c remove useless variable ce[2][11][2] 30.25/37.22 c remove useless variable ce[2][11][3] 30.25/37.22 c remove useless variable ce[2][11][4] 30.25/37.22 c remove useless variable ce[2][11][5] 30.25/37.22 c remove useless variable ce[2][11][6] 30.25/37.22 c remove useless variable ce[2][11][7] 30.25/37.22 c remove useless variable ce[2][11][8] 30.25/37.22 c remove useless variable ce[2][11][9] 30.25/37.22 c remove useless variable ce[2][11][10] 30.25/37.22 c remove useless variable ce[2][11][11] 30.25/37.22 c remove useless variable ce[3][0][0] 30.25/37.22 c remove useless variable ce[3][1][0] 30.25/37.22 c remove useless variable ce[3][1][1] 30.25/37.22 c remove useless variable ce[3][2][0] 30.25/37.22 c remove useless variable ce[3][2][1] 30.25/37.22 c remove useless variable ce[3][2][2] 30.25/37.22 c remove useless variable ce[3][3][0] 30.25/37.22 c remove useless variable ce[3][3][1] 30.25/37.22 c remove useless variable ce[3][3][2] 30.25/37.22 c remove useless variable ce[3][3][3] 30.25/37.22 c remove useless variable ce[3][4][0] 30.25/37.22 c remove useless variable ce[3][4][1] 30.25/37.22 c remove useless variable ce[3][4][2] 30.25/37.22 c remove useless variable ce[3][4][3] 30.25/37.22 c remove useless variable ce[3][4][4] 30.25/37.22 c remove useless variable ce[3][5][0] 30.25/37.22 c remove useless variable ce[3][5][1] 30.25/37.22 c remove useless variable ce[3][5][2] 30.25/37.22 c remove useless variable ce[3][5][3] 30.25/37.22 c remove useless variable ce[3][5][4] 30.25/37.22 c remove useless variable ce[3][5][5] 30.25/37.22 c remove useless variable ce[3][6][0] 30.25/37.22 c remove useless variable ce[3][6][1] 30.25/37.22 c remove useless variable ce[3][6][2] 30.25/37.22 c remove useless variable ce[3][6][3] 30.25/37.22 c remove useless variable ce[3][6][4] 30.25/37.22 c remove useless variable ce[3][6][5] 30.25/37.22 c remove useless variable ce[3][6][6] 30.25/37.22 c remove useless variable ce[3][7][0] 30.25/37.22 c remove useless variable ce[3][7][1] 30.25/37.22 c remove useless variable ce[3][7][2] 30.25/37.22 c remove useless variable ce[3][7][3] 30.25/37.22 c remove useless variable ce[3][7][4] 30.25/37.22 c remove useless variable ce[3][7][5] 30.25/37.22 c remove useless variable ce[3][7][6] 30.25/37.22 c remove useless variable ce[3][7][7] 30.25/37.22 c remove useless variable ce[3][8][0] 30.25/37.22 c remove useless variable ce[3][8][1] 30.25/37.22 c remove useless variable ce[3][8][2] 30.25/37.22 c remove useless variable ce[3][8][3] 30.25/37.22 c remove useless variable ce[3][8][4] 30.25/37.22 c remove useless variable ce[3][8][5] 30.25/37.22 c remove useless variable ce[3][8][6] 30.25/37.22 c remove useless variable ce[3][8][7] 30.25/37.22 c remove useless variable ce[3][8][8] 30.25/37.22 c remove useless variable ce[3][9][0] 30.25/37.22 c remove useless variable ce[3][9][1] 30.25/37.22 c remove useless variable ce[3][9][2] 30.25/37.22 c remove useless variable ce[3][9][3] 30.25/37.22 c remove useless variable ce[3][9][4] 30.25/37.22 c remove useless variable ce[3][9][5] 30.25/37.22 c remove useless variable ce[3][9][6] 30.25/37.22 c remove useless variable ce[3][9][7] 30.25/37.22 c remove useless variable ce[3][9][8] 30.25/37.22 c remove useless variable ce[3][9][9] 30.25/37.22 c remove useless variable ce[3][10][0] 30.25/37.22 c remove useless variable ce[3][10][1] 30.25/37.22 c remove useless variable ce[3][10][2] 30.25/37.22 c remove useless variable ce[3][10][3] 30.25/37.22 c remove useless variable ce[3][10][4] 30.25/37.22 c remove useless variable ce[3][10][5] 30.25/37.22 c remove useless variable ce[3][10][6] 30.25/37.22 c remove useless variable ce[3][10][7] 30.25/37.22 c remove useless variable ce[3][10][8] 30.25/37.22 c remove useless variable ce[3][10][9] 30.25/37.22 c remove useless variable ce[3][10][10] 30.25/37.22 c remove useless variable ce[3][11][0] 30.25/37.22 c remove useless variable ce[3][11][1] 30.25/37.22 c remove useless variable ce[3][11][2] 30.25/37.22 c remove useless variable ce[3][11][3] 30.25/37.22 c remove useless variable ce[3][11][4] 30.25/37.22 c remove useless variable ce[3][11][5] 30.25/37.22 c remove useless variable ce[3][11][6] 30.25/37.22 c remove useless variable ce[3][11][7] 30.25/37.22 c remove useless variable ce[3][11][8] 30.25/37.22 c remove useless variable ce[3][11][9] 30.25/37.22 c remove useless variable ce[3][11][10] 30.25/37.22 c remove useless variable ce[3][11][11] 30.25/37.22 c remove useless variable ce[4][0][0] 30.25/37.22 c remove useless variable ce[4][1][0] 30.25/37.22 c remove useless variable ce[4][1][1] 30.25/37.22 c remove useless variable ce[4][2][0] 30.25/37.22 c remove useless variable ce[4][2][1] 30.25/37.22 c remove useless variable ce[4][2][2] 30.25/37.22 c remove useless variable ce[4][3][0] 30.25/37.22 c remove useless variable ce[4][3][1] 30.25/37.22 c remove useless variable ce[4][3][2] 30.25/37.22 c remove useless variable ce[4][3][3] 30.25/37.22 c remove useless variable ce[4][4][0] 30.25/37.22 c remove useless variable ce[4][4][1] 30.25/37.22 c remove useless variable ce[4][4][2] 30.25/37.22 c remove useless variable ce[4][4][3] 30.25/37.22 c remove useless variable ce[4][4][4] 30.25/37.22 c remove useless variable ce[4][5][0] 30.25/37.22 c remove useless variable ce[4][5][1] 30.25/37.22 c remove useless variable ce[4][5][2] 30.25/37.22 c remove useless variable ce[4][5][3] 30.25/37.22 c remove useless variable ce[4][5][4] 30.25/37.22 c remove useless variable ce[4][5][5] 30.25/37.22 c remove useless variable ce[4][6][0] 30.25/37.22 c remove useless variable ce[4][6][1] 30.25/37.22 c remove useless variable ce[4][6][2] 30.25/37.22 c remove useless variable ce[4][6][3] 30.25/37.22 c remove useless variable ce[4][6][4] 30.25/37.22 c remove useless variable ce[4][6][5] 30.25/37.22 c remove useless variable ce[4][6][6] 30.25/37.22 c remove useless variable ce[4][7][0] 30.25/37.22 c remove useless variable ce[4][7][1] 30.25/37.22 c remove useless variable ce[4][7][2] 30.25/37.22 c remove useless variable ce[4][7][3] 30.25/37.22 c remove useless variable ce[4][7][4] 30.25/37.22 c remove useless variable ce[4][7][5] 30.25/37.22 c remove useless variable ce[4][7][6] 30.25/37.22 c remove useless variable ce[4][7][7] 30.25/37.22 c remove useless variable ce[4][8][0] 30.25/37.22 c remove useless variable ce[4][8][1] 30.25/37.22 c remove useless variable ce[4][8][2] 30.25/37.22 c remove useless variable ce[4][8][3] 30.25/37.22 c remove useless variable ce[4][8][4] 30.25/37.22 c remove useless variable ce[4][8][5] 30.25/37.22 c remove useless variable ce[4][8][6] 30.25/37.22 c remove useless variable ce[4][8][7] 30.25/37.22 c remove useless variable ce[4][8][8] 30.25/37.22 c remove useless variable ce[4][9][0] 30.25/37.22 c remove useless variable ce[4][9][1] 30.25/37.22 c remove useless variable ce[4][9][2] 30.25/37.22 c remove useless variable ce[4][9][3] 30.25/37.22 c remove useless variable ce[4][9][4] 30.25/37.22 c remove useless variable ce[4][9][5] 30.25/37.22 c remove useless variable ce[4][9][6] 30.25/37.22 c remove useless variable ce[4][9][7] 30.25/37.22 c remove useless variable ce[4][9][8] 30.25/37.22 c remove useless variable ce[4][9][9] 30.25/37.22 c remove useless variable ce[4][10][0] 30.25/37.22 c remove useless variable ce[4][10][1] 30.25/37.22 c remove useless variable ce[4][10][2] 30.25/37.22 c remove useless variable ce[4][10][3] 30.25/37.22 c remove useless variable ce[4][10][4] 30.25/37.22 c remove useless variable ce[4][10][5] 30.25/37.22 c remove useless variable ce[4][10][6] 30.25/37.22 c remove useless variable ce[4][10][7] 30.25/37.22 c remove useless variable ce[4][10][8] 30.25/37.22 c remove useless variable ce[4][10][9] 30.25/37.22 c remove useless variable ce[4][10][10] 30.25/37.22 c remove useless variable ce[4][11][0] 30.25/37.22 c remove useless variable ce[4][11][1] 30.25/37.22 c remove useless variable ce[4][11][2] 30.25/37.22 c remove useless variable ce[4][11][3] 30.25/37.22 c remove useless variable ce[4][11][4] 30.25/37.22 c remove useless variable ce[4][11][5] 30.25/37.22 c remove useless variable ce[4][11][6] 30.25/37.22 c remove useless variable ce[4][11][7] 30.25/37.22 c remove useless variable ce[4][11][8] 30.25/37.22 c remove useless variable ce[4][11][9] 30.25/37.22 c remove useless variable ce[4][11][10] 30.25/37.22 c remove useless variable ce[4][11][11] 30.25/37.22 c remove useless variable ce[5][0][0] 30.25/37.22 c remove useless variable ce[5][1][0] 30.25/37.22 c remove useless variable ce[5][1][1] 30.25/37.22 c remove useless variable ce[5][2][0] 30.25/37.22 c remove useless variable ce[5][2][1] 30.25/37.22 c remove useless variable ce[5][2][2] 30.25/37.22 c remove useless variable ce[5][3][0] 30.25/37.22 c remove useless variable ce[5][3][1] 30.25/37.22 c remove useless variable ce[5][3][2] 30.25/37.22 c remove useless variable ce[5][3][3] 30.25/37.22 c remove useless variable ce[5][4][0] 30.25/37.22 c remove useless variable ce[5][4][1] 30.25/37.22 c remove useless variable ce[5][4][2] 30.25/37.22 c remove useless variable ce[5][4][3] 30.25/37.22 c remove useless variable ce[5][4][4] 30.25/37.22 c remove useless variable ce[5][5][0] 30.25/37.22 c remove useless variable ce[5][5][1] 30.25/37.22 c remove useless variable ce[5][5][2] 30.25/37.22 c remove useless variable ce[5][5][3] 30.25/37.22 c remove useless variable ce[5][5][4] 30.25/37.22 c remove useless variable ce[5][5][5] 30.25/37.22 c remove useless variable ce[5][6][0] 30.25/37.22 c remove useless variable ce[5][6][1] 30.25/37.22 c remove useless variable ce[5][6][2] 30.25/37.22 c remove useless variable ce[5][6][3] 30.25/37.22 c remove useless variable ce[5][6][4] 30.25/37.22 c remove useless variable ce[5][6][5] 30.25/37.22 c remove useless variable ce[5][6][6] 30.25/37.22 c remove useless variable ce[5][7][0] 30.25/37.22 c remove useless variable ce[5][7][1] 30.25/37.22 c remove useless variable ce[5][7][2] 30.25/37.22 c remove useless variable ce[5][7][3] 30.25/37.22 c remove useless variable ce[5][7][4] 30.25/37.22 c remove useless variable ce[5][7][5] 30.25/37.22 c remove useless variable ce[5][7][6] 30.25/37.22 c remove useless variable ce[5][7][7] 30.25/37.22 c remove useless variable ce[5][8][0] 30.25/37.22 c remove useless variable ce[5][8][1] 30.25/37.22 c remove useless variable ce[5][8][2] 30.25/37.22 c remove useless variable ce[5][8][3] 30.25/37.22 c remove useless variable ce[5][8][4] 30.25/37.23 c remove useless variable ce[5][8][5] 30.25/37.23 c remove useless variable ce[5][8][6] 30.25/37.23 c remove useless variable ce[5][8][7] 30.25/37.23 c remove useless variable ce[5][8][8] 30.25/37.23 c remove useless variable ce[5][9][0] 30.25/37.23 c remove useless variable ce[5][9][1] 30.25/37.23 c remove useless variable ce[5][9][2] 30.25/37.23 c remove useless variable ce[5][9][3] 30.25/37.23 c remove useless variable ce[5][9][4] 30.25/37.23 c remove useless variable ce[5][9][5] 30.25/37.23 c remove useless variable ce[5][9][6] 30.25/37.23 c remove useless variable ce[5][9][7] 30.25/37.23 c remove useless variable ce[5][9][8] 30.25/37.23 c remove useless variable ce[5][9][9] 30.25/37.23 c remove useless variable ce[5][10][0] 30.25/37.23 c remove useless variable ce[5][10][1] 30.25/37.23 c remove useless variable ce[5][10][2] 30.25/37.23 c remove useless variable ce[5][10][3] 30.25/37.23 c remove useless variable ce[5][10][4] 30.25/37.23 c remove useless variable ce[5][10][5] 30.25/37.23 c remove useless variable ce[5][10][6] 30.25/37.23 c remove useless variable ce[5][10][7] 30.25/37.23 c remove useless variable ce[5][10][8] 30.25/37.23 c remove useless variable ce[5][10][9] 30.25/37.23 c remove useless variable ce[5][10][10] 30.25/37.23 c remove useless variable ce[5][11][0] 30.25/37.23 c remove useless variable ce[5][11][1] 30.25/37.23 c remove useless variable ce[5][11][2] 30.25/37.23 c remove useless variable ce[5][11][3] 30.25/37.23 c remove useless variable ce[5][11][4] 30.25/37.23 c remove useless variable ce[5][11][5] 30.25/37.23 c remove useless variable ce[5][11][6] 30.25/37.23 c remove useless variable ce[5][11][7] 30.25/37.23 c remove useless variable ce[5][11][8] 30.25/37.23 c remove useless variable ce[5][11][9] 30.25/37.23 c remove useless variable ce[5][11][10] 30.25/37.23 c remove useless variable ce[5][11][11] 30.25/37.23 c remove useless variable ce[6][0][0] 30.25/37.23 c remove useless variable ce[6][1][0] 30.25/37.23 c remove useless variable ce[6][1][1] 30.25/37.23 c remove useless variable ce[6][2][0] 30.25/37.23 c remove useless variable ce[6][2][1] 30.25/37.23 c remove useless variable ce[6][2][2] 30.25/37.23 c remove useless variable ce[6][3][0] 30.25/37.23 c remove useless variable ce[6][3][1] 30.25/37.23 c remove useless variable ce[6][3][2] 30.25/37.23 c remove useless variable ce[6][3][3] 30.25/37.23 c remove useless variable ce[6][4][0] 30.25/37.23 c remove useless variable ce[6][4][1] 30.25/37.23 c remove useless variable ce[6][4][2] 30.25/37.23 c remove useless variable ce[6][4][3] 30.25/37.23 c remove useless variable ce[6][4][4] 30.25/37.23 c remove useless variable ce[6][5][0] 30.25/37.23 c remove useless variable ce[6][5][1] 30.25/37.23 c remove useless variable ce[6][5][2] 30.25/37.23 c remove useless variable ce[6][5][3] 30.25/37.23 c remove useless variable ce[6][5][4] 30.25/37.23 c remove useless variable ce[6][5][5] 30.25/37.23 c remove useless variable ce[6][6][0] 30.25/37.23 c remove useless variable ce[6][6][1] 30.25/37.23 c remove useless variable ce[6][6][2] 30.25/37.23 c remove useless variable ce[6][6][3] 30.25/37.23 c remove useless variable ce[6][6][4] 30.25/37.23 c remove useless variable ce[6][6][5] 30.25/37.23 c remove useless variable ce[6][6][6] 30.25/37.23 c remove useless variable ce[6][7][0] 30.25/37.23 c remove useless variable ce[6][7][1] 30.25/37.23 c remove useless variable ce[6][7][2] 30.25/37.23 c remove useless variable ce[6][7][3] 30.25/37.23 c remove useless variable ce[6][7][4] 30.25/37.23 c remove useless variable ce[6][7][5] 30.25/37.23 c remove useless variable ce[6][7][6] 30.25/37.23 c remove useless variable ce[6][7][7] 30.25/37.23 c remove useless variable ce[6][8][0] 30.25/37.23 c remove useless variable ce[6][8][1] 30.25/37.23 c remove useless variable ce[6][8][2] 30.25/37.23 c remove useless variable ce[6][8][3] 30.25/37.23 c remove useless variable ce[6][8][4] 30.25/37.23 c remove useless variable ce[6][8][5] 30.25/37.23 c remove useless variable ce[6][8][6] 30.25/37.23 c remove useless variable ce[6][8][7] 30.25/37.23 c remove useless variable ce[6][8][8] 30.25/37.23 c remove useless variable ce[6][9][0] 30.25/37.23 c remove useless variable ce[6][9][1] 30.25/37.23 c remove useless variable ce[6][9][2] 30.25/37.23 c remove useless variable ce[6][9][3] 30.25/37.23 c remove useless variable ce[6][9][4] 30.25/37.23 c remove useless variable ce[6][9][5] 30.25/37.23 c remove useless variable ce[6][9][6] 30.25/37.23 c remove useless variable ce[6][9][7] 30.25/37.23 c remove useless variable ce[6][9][8] 30.25/37.23 c remove useless variable ce[6][9][9] 30.25/37.23 c remove useless variable ce[6][10][0] 30.25/37.23 c remove useless variable ce[6][10][1] 30.25/37.23 c remove useless variable ce[6][10][2] 30.25/37.23 c remove useless variable ce[6][10][3] 30.25/37.23 c remove useless variable ce[6][10][4] 30.25/37.23 c remove useless variable ce[6][10][5] 30.25/37.23 c remove useless variable ce[6][10][6] 30.25/37.23 c remove useless variable ce[6][10][7] 30.25/37.23 c remove useless variable ce[6][10][8] 30.25/37.23 c remove useless variable ce[6][10][9] 30.25/37.23 c remove useless variable ce[6][10][10] 30.25/37.23 c remove useless variable ce[6][11][0] 30.25/37.23 c remove useless variable ce[6][11][1] 30.25/37.23 c remove useless variable ce[6][11][2] 30.25/37.23 c remove useless variable ce[6][11][3] 30.25/37.23 c remove useless variable ce[6][11][4] 30.25/37.23 c remove useless variable ce[6][11][5] 30.25/37.23 c remove useless variable ce[6][11][6] 30.25/37.23 c remove useless variable ce[6][11][7] 30.25/37.23 c remove useless variable ce[6][11][8] 30.25/37.23 c remove useless variable ce[6][11][9] 30.25/37.23 c remove useless variable ce[6][11][10] 30.25/37.23 c remove useless variable ce[6][11][11] 30.25/37.23 c remove useless variable ce[7][0][0] 30.25/37.23 c remove useless variable ce[7][1][0] 30.25/37.23 c remove useless variable ce[7][1][1] 30.25/37.23 c remove useless variable ce[7][2][0] 30.25/37.23 c remove useless variable ce[7][2][1] 30.25/37.23 c remove useless variable ce[7][2][2] 30.25/37.23 c remove useless variable ce[7][3][0] 30.25/37.23 c remove useless variable ce[7][3][1] 30.25/37.23 c remove useless variable ce[7][3][2] 30.25/37.23 c remove useless variable ce[7][3][3] 30.25/37.23 c remove useless variable ce[7][4][0] 30.25/37.23 c remove useless variable ce[7][4][1] 30.25/37.23 c remove useless variable ce[7][4][2] 30.25/37.23 c remove useless variable ce[7][4][3] 30.25/37.23 c remove useless variable ce[7][4][4] 30.25/37.23 c remove useless variable ce[7][5][0] 30.25/37.23 c remove useless variable ce[7][5][1] 30.25/37.23 c remove useless variable ce[7][5][2] 30.25/37.23 c remove useless variable ce[7][5][3] 30.25/37.23 c remove useless variable ce[7][5][4] 30.25/37.23 c remove useless variable ce[7][5][5] 30.25/37.23 c remove useless variable ce[7][6][0] 30.25/37.23 c remove useless variable ce[7][6][1] 30.25/37.23 c remove useless variable ce[7][6][2] 30.25/37.23 c remove useless variable ce[7][6][3] 30.25/37.23 c remove useless variable ce[7][6][4] 30.25/37.23 c remove useless variable ce[7][6][5] 30.25/37.23 c remove useless variable ce[7][6][6] 30.25/37.23 c remove useless variable ce[7][7][0] 30.25/37.23 c remove useless variable ce[7][7][1] 30.25/37.23 c remove useless variable ce[7][7][2] 30.25/37.23 c remove useless variable ce[7][7][3] 30.25/37.23 c remove useless variable ce[7][7][4] 30.25/37.23 c remove useless variable ce[7][7][5] 30.25/37.23 c remove useless variable ce[7][7][6] 30.25/37.23 c remove useless variable ce[7][7][7] 30.25/37.23 c remove useless variable ce[7][8][0] 30.25/37.23 c remove useless variable ce[7][8][1] 30.25/37.23 c remove useless variable ce[7][8][2] 30.25/37.23 c remove useless variable ce[7][8][3] 30.25/37.23 c remove useless variable ce[7][8][4] 30.25/37.23 c remove useless variable ce[7][8][5] 30.25/37.23 c remove useless variable ce[7][8][6] 30.25/37.23 c remove useless variable ce[7][8][7] 30.25/37.23 c remove useless variable ce[7][8][8] 30.25/37.23 c remove useless variable ce[7][9][0] 30.25/37.23 c remove useless variable ce[7][9][1] 30.25/37.23 c remove useless variable ce[7][9][2] 30.25/37.23 c remove useless variable ce[7][9][3] 30.25/37.23 c remove useless variable ce[7][9][4] 30.25/37.23 c remove useless variable ce[7][9][5] 30.25/37.23 c remove useless variable ce[7][9][6] 30.25/37.23 c remove useless variable ce[7][9][7] 30.25/37.23 c remove useless variable ce[7][9][8] 30.25/37.23 c remove useless variable ce[7][9][9] 30.25/37.23 c remove useless variable ce[7][10][0] 30.25/37.23 c remove useless variable ce[7][10][1] 30.25/37.23 c remove useless variable ce[7][10][2] 30.25/37.23 c remove useless variable ce[7][10][3] 30.25/37.23 c remove useless variable ce[7][10][4] 30.25/37.23 c remove useless variable ce[7][10][5] 30.25/37.23 c remove useless variable ce[7][10][6] 30.25/37.23 c remove useless variable ce[7][10][7] 30.25/37.23 c remove useless variable ce[7][10][8] 30.25/37.23 c remove useless variable ce[7][10][9] 30.25/37.23 c remove useless variable ce[7][10][10] 30.25/37.23 c remove useless variable ce[7][11][0] 30.25/37.23 c remove useless variable ce[7][11][1] 30.25/37.23 c remove useless variable ce[7][11][2] 30.25/37.23 c remove useless variable ce[7][11][3] 30.25/37.23 c remove useless variable ce[7][11][4] 30.25/37.23 c remove useless variable ce[7][11][5] 30.25/37.23 c remove useless variable ce[7][11][6] 30.25/37.23 c remove useless variable ce[7][11][7] 30.25/37.23 c remove useless variable ce[7][11][8] 30.25/37.23 c remove useless variable ce[7][11][9] 30.25/37.23 c remove useless variable ce[7][11][10] 30.25/37.23 c remove useless variable ce[7][11][11] 30.25/37.23 c remove useless variable ce[8][0][0] 30.25/37.23 c remove useless variable ce[8][1][0] 30.25/37.23 c remove useless variable ce[8][1][1] 30.25/37.23 c remove useless variable ce[8][2][0] 30.25/37.23 c remove useless variable ce[8][2][1] 30.25/37.23 c remove useless variable ce[8][2][2] 30.25/37.23 c remove useless variable ce[8][3][0] 30.25/37.23 c remove useless variable ce[8][3][1] 30.25/37.23 c remove useless variable ce[8][3][2] 30.25/37.23 c remove useless variable ce[8][3][3] 30.25/37.23 c remove useless variable ce[8][4][0] 30.25/37.23 c remove useless variable ce[8][4][1] 30.25/37.23 c remove useless variable ce[8][4][2] 30.25/37.23 c remove useless variable ce[8][4][3] 30.25/37.23 c remove useless variable ce[8][4][4] 30.25/37.23 c remove useless variable ce[8][5][0] 30.25/37.23 c remove useless variable ce[8][5][1] 30.25/37.23 c remove useless variable ce[8][5][2] 30.25/37.23 c remove useless variable ce[8][5][3] 30.25/37.23 c remove useless variable ce[8][5][4] 30.25/37.23 c remove useless variable ce[8][5][5] 30.25/37.23 c remove useless variable ce[8][6][0] 30.25/37.23 c remove useless variable ce[8][6][1] 30.25/37.23 c remove useless variable ce[8][6][2] 30.25/37.23 c remove useless variable ce[8][6][3] 30.25/37.23 c remove useless variable ce[8][6][4] 30.25/37.23 c remove useless variable ce[8][6][5] 30.25/37.23 c remove useless variable ce[8][6][6] 30.25/37.23 c remove useless variable ce[8][7][0] 30.25/37.23 c remove useless variable ce[8][7][1] 30.25/37.23 c remove useless variable ce[8][7][2] 30.25/37.23 c remove useless variable ce[8][7][3] 30.25/37.23 c remove useless variable ce[8][7][4] 30.25/37.23 c remove useless variable ce[8][7][5] 30.25/37.23 c remove useless variable ce[8][7][6] 30.25/37.23 c remove useless variable ce[8][7][7] 30.25/37.23 c remove useless variable ce[8][8][0] 30.25/37.23 c remove useless variable ce[8][8][1] 30.25/37.23 c remove useless variable ce[8][8][2] 30.25/37.23 c remove useless variable ce[8][8][3] 30.25/37.23 c remove useless variable ce[8][8][4] 30.25/37.23 c remove useless variable ce[8][8][5] 30.25/37.23 c remove useless variable ce[8][8][6] 30.25/37.23 c remove useless variable ce[8][8][7] 30.25/37.23 c remove useless variable ce[8][8][8] 30.25/37.23 c remove useless variable ce[8][9][0] 30.25/37.23 c remove useless variable ce[8][9][1] 30.25/37.23 c remove useless variable ce[8][9][2] 30.25/37.23 c remove useless variable ce[8][9][3] 30.25/37.23 c remove useless variable ce[8][9][4] 30.25/37.23 c remove useless variable ce[8][9][5] 30.25/37.23 c remove useless variable ce[8][9][6] 30.25/37.23 c remove useless variable ce[8][9][7] 30.25/37.23 c remove useless variable ce[8][9][8] 30.25/37.23 c remove useless variable ce[8][9][9] 30.25/37.23 c remove useless variable ce[8][10][0] 30.25/37.23 c remove useless variable ce[8][10][1] 30.25/37.23 c remove useless variable ce[8][10][2] 30.25/37.23 c remove useless variable ce[8][10][3] 30.25/37.23 c remove useless variable ce[8][10][4] 30.25/37.23 c remove useless variable ce[8][10][5] 30.25/37.23 c remove useless variable ce[8][10][6] 30.25/37.23 c remove useless variable ce[8][10][7] 30.25/37.23 c remove useless variable ce[8][10][8] 30.25/37.23 c remove useless variable ce[8][10][9] 30.25/37.23 c remove useless variable ce[8][10][10] 30.25/37.23 c remove useless variable ce[8][11][0] 30.25/37.23 c remove useless variable ce[8][11][1] 30.25/37.23 c remove useless variable ce[8][11][2] 30.25/37.23 c remove useless variable ce[8][11][3] 30.25/37.23 c remove useless variable ce[8][11][4] 30.25/37.23 c remove useless variable ce[8][11][5] 30.25/37.23 c remove useless variable ce[8][11][6] 30.25/37.23 c remove useless variable ce[8][11][7] 30.25/37.23 c remove useless variable ce[8][11][8] 30.25/37.23 c remove useless variable ce[8][11][9] 30.25/37.23 c remove useless variable ce[8][11][10] 30.25/37.23 c remove useless variable ce[8][11][11] 31.44/38.46 c 10 700 239932 247856 0 10 691 691 628 32.55/39.54 c 20 1197 457411 477359 0 20 4 488 399 33.64/40.64 c 30 1728 681477 739161 0 30 4 522 147 33.64/40.69 c 40 1752 687293 758819 0 40 3 15 10 33.74/40.73 c 50 1778 691747 786003 0 50 7 17 11 33.74/40.76 c 60 1796 695398 801273 0 60 3 9 6 33.74/40.79 c 70 1817 699186 817411 0 70 6 12 9 33.84/40.82 c 80 1840 703620 836309 0 80 5 14 8 33.84/40.84 c 90 1863 707457 858086 0 90 6 14 10 33.84/40.87 c 100 1888 712588 879007 0 100 5 16 11 33.84/40.89 c 101 1902 716229 887023 0 101 14 14 7 33.93/40.91 c 110 1924 720660 906674 0 110 7 14 10 34.83/41.87 c 120 2304 902437 1170950 0 120 371 371 337 34.93/41.90 c 130 2328 906909 1192017 0 130 7 15 10 34.93/41.94 c 140 2357 912702 1219279 0 140 9 20 12 34.93/41.97 c 150 2377 917120 1234059 0 150 3 11 8 35.03/42.00 c 160 2398 920836 1250893 0 160 6 12 8 35.03/42.03 c 170 2421 925261 1267723 0 170 5 14 9 35.03/42.05 c 180 2441 928972 1281821 0 180 6 11 8 35.03/42.07 c 190 2462 932727 1296498 0 190 4 12 7 35.14/42.10 c 200 2482 936450 1312656 0 200 6 11 7 35.14/42.12 c 210 2503 940227 1328695 0 210 4 12 8 35.14/42.13 c 211 2507 941664 1330982 0 211 4 4 2 35.14/42.16 c 220 2524 944673 1346354 0 220 4 9 6 35.14/42.18 c 230 2547 949151 1365247 0 230 6 14 9 35.24/42.22 c 240 2576 954294 1390346 0 240 7 20 11 35.24/42.24 c 250 2592 957337 1403551 0 250 3 7 5 35.24/42.27 c 260 2613 961051 1418328 0 260 6 12 8 35.34/42.30 c 270 2636 965474 1435932 0 270 8 14 10 35.34/42.32 c 280 2656 969201 1453462 0 280 5 11 8 35.34/42.37 c 290 2685 975103 1479253 0 290 12 20 14 35.44/42.40 c 300 2707 979595 1496553 0 300 7 13 9 35.44/42.43 c 310 2730 984039 1515444 0 310 6 14 9 35.44/42.45 c 320 2753 987830 1533755 0 320 7 14 10 35.44/42.49 c 330 2779 993046 1559459 0 330 14 17 13 35.54/42.51 c 332 2785 995201 1563020 0 332 3 5 2 35.54/42.53 c 340 2801 998181 1574270 0 340 4 9 6 35.54/42.56 c 350 2824 1002701 1591669 0 350 12 14 12 35.64/42.61 c 360 2853 1008542 1617460 0 360 7 20 11 35.64/42.64 c 370 2872 1012267 1632029 0 370 3 10 6 35.64/42.68 c 380 2898 1017385 1656966 0 380 14 17 14 35.75/42.71 c 390 2917 1021156 1672229 0 390 5 10 6 35.75/42.76 c 400 2946 1026962 1702634 0 400 17 20 17 35.75/42.79 c 410 2971 1031592 1724749 0 410 10 16 12 35.85/42.83 c 420 2997 1036722 1749098 0 420 11 17 13 35.85/42.86 c 430 3016 1040496 1762983 0 430 3 10 6 35.85/42.89 c 440 3036 1044236 1778346 0 440 6 11 8 36.74/43.75 c 450 3345 1192762 1970448 0 450 20 300 43 36.74/43.78 c 460 3364 1196536 1984333 0 460 3 10 6 36.85/43.81 c 465 3382 1200945 1999679 0 465 11 14 9 36.85/43.84 c 470 3400 1204620 2014445 0 470 5 14 7 36.85/43.87 c 480 3423 1209097 2032653 0 480 6 14 8 36.85/43.90 c 490 3449 1214283 2054259 0 490 7 17 11 36.95/43.93 c 500 3471 1218730 2072463 0 500 5 13 9 36.95/43.95 c 510 3489 1221791 2085770 0 510 4 9 7 36.95/43.98 c 520 3512 1226292 2103872 0 520 9 14 11 37.04/44.01 c 530 3538 1231470 2124188 0 530 11 17 13 37.04/44.04 c 540 3563 1235974 2143744 0 540 7 16 12 37.04/44.07 c 550 3592 1241225 2165320 0 550 17 20 16 37.14/44.11 c 560 3614 1245688 2180887 0 560 4 13 8 37.14/44.13 c 570 3634 1249429 2197826 0 570 8 11 9 37.14/44.16 c 580 3657 1253900 2215935 0 580 6 14 9 37.14/44.19 c 590 3683 1257765 2238381 0 590 7 17 11 37.24/44.21 c 600 3705 1261570 2256605 0 600 5 13 9 37.24/44.25 c 610 3728 1266050 2274214 0 610 11 14 11 37.24/44.26 c 611 3734 1268193 2277984 0 611 6 6 3 37.24/44.29 c 620 3756 1271972 2296778 0 620 4 14 8 37.34/44.31 c 630 3779 1275789 2317159 0 630 7 14 11 37.34/44.32 c 640 3802 1278282 2335847 0 640 5 14 8 37.34/44.36 c 650 3837 1284226 2369783 0 650 17 26 17 37.34/44.38 c 660 3859 1288643 2386030 0 660 7 13 9 37.44/44.42 c 670 3882 1293218 2402963 0 670 9 14 10 37.44/44.45 c 680 3905 1297682 2419214 0 680 4 14 8 37.44/44.48 c 690 3928 1302174 2438101 0 690 6 14 10 37.54/44.50 c 700 3947 1305939 2453568 0 700 8 10 8 38.34/45.30 c 710 4233 1442688 2639157 0 710 14 277 86 38.34/45.33 c 720 4251 1446447 2652360 0 720 3 9 6 38.34/45.37 c 730 4277 1451697 2671062 0 730 17 17 15 38.44/45.40 c 740 4299 1456160 2686629 0 740 4 13 8 38.44/45.43 c 750 4322 1460683 2706987 0 750 14 14 12 38.54/45.50 c 760 4362 1469308 2740185 0 760 14 31 16 38.54/45.53 c 770 4384 1473736 2756333 0 770 5 13 9 38.54/45.55 c 771 4394 1477328 2762859 0 771 10 10 5 38.54/45.58 c 780 4413 1481079 2775485 0 780 4 11 6 38.64/45.61 c 790 4439 1486292 2798471 0 790 10 17 12 38.64/45.64 c 800 4458 1490062 2811784 0 800 8 10 8 38.64/45.67 c 810 4484 1494638 2832616 0 810 11 17 12 38.74/45.70 c 820 4503 1498390 2846715 0 820 5 10 7 38.74/45.72 c 830 4526 1502808 2863545 0 830 5 14 10 38.74/45.74 c 840 4546 1505913 2882666 0 840 5 11 8 38.74/45.77 c 850 4569 1510376 2899505 0 850 5 14 9 38.74/45.79 c 860 4592 1514152 2920425 0 860 14 14 12 38.84/45.81 c 870 4615 1518611 2938622 0 870 5 14 9 38.84/45.84 c 880 4638 1523071 2958186 0 880 5 14 10 38.84/45.88 c 890 4661 1527582 2975599 0 890 6 14 9 38.94/45.91 c 900 4684 1532023 2994567 0 900 8 14 11 38.94/45.94 c 910 4710 1537268 3013940 0 910 17 17 15 38.94/45.95 c 920 4729 1539727 3029767 0 920 5 10 7 38.94/45.98 c 930 4752 1544125 3048742 0 930 8 14 10 38.94/45.99 c 940 4775 1546632 3072354 0 940 5 14 8 39.04/46.01 c 947 4792 1550337 3085165 0 947 8 11 9 39.04/46.03 c 950 4805 1553903 3093852 0 950 8 11 6 39.04/46.06 c 960 4828 1558489 3115442 0 960 14 14 12 39.04/46.07 c 970 4851 1561631 3135966 0 970 7 14 9 39.04/46.10 c 980 4874 1566141 3156320 0 980 6 14 10 39.14/46.13 c 990 4897 1570574 3173931 0 990 7 14 10 39.14/46.18 c 1000 4941 1577860 3233553 0 1000 35 35 31 39.24/46.20 c 1010 4962 1581649 3253162 0 1010 5 12 9 39.24/46.27 c 1020 5013 1589694 3305413 0 1020 10 42 15 39.24/46.29 c 1030 5034 1594110 3323604 0 1030 5 12 9 39.34/46.32 c 1040 5057 1598585 3339174 0 1040 8 14 9 39.34/46.34 c 1050 5080 1602410 3360811 0 1050 5 14 10 39.34/46.36 c 1060 5103 1605593 3383836 0 1060 6 14 10 39.44/46.42 c 1070 5154 1612271 3442652 0 1070 14 42 24 39.44/46.44 c 1080 5178 1617391 3461518 0 1080 5 15 9 39.44/46.48 c 1090 5204 1621802 3483997 0 1090 10 17 11 39.54/46.50 c 1100 5223 1625600 3502791 0 1100 4 10 8 39.54/46.57 c 1110 5259 1633751 3577807 0 1110 14 27 17 39.54/46.59 c 1120 5277 1637504 3591113 0 1120 4 9 7 39.64/46.68 c 1130 5317 1645708 3702662 0 1130 31 31 28 39.74/46.70 c 1140 5335 1649507 3715866 0 1140 5 9 6 39.74/46.71 c 1141 5341 1651638 3719636 0 1141 6 6 3 39.74/46.79 c 1150 5376 1660443 3800666 0 1150 14 27 19 39.84/46.82 c 1160 5397 1664866 3815233 0 1160 3 12 7 39.84/46.86 c 1170 5420 1669401 3836084 0 1170 8 14 9 39.94/46.90 c 1180 5446 1674521 3862561 0 1180 14 17 13 39.94/46.93 c 1190 5467 1678972 3877911 0 1190 4 12 8 40.04/47.02 c 1200 5507 1687876 3984778 0 1200 31 31 28 40.04/47.05 c 1210 5531 1693094 4002074 0 1210 12 15 12 40.04/47.06 c 1220 5554 1695633 4023905 0 1220 8 14 10 40.14/47.10 c 1230 5580 1700753 4050317 0 1230 14 17 15 40.14/47.14 c 1240 5605 1705865 4070757 0 1240 10 16 11 40.14/47.17 c 1250 5631 1710313 4097252 0 1250 11 17 13 40.14/47.20 c 1260 5652 1714754 4112610 0 1260 4 12 7 40.24/47.28 c 1270 5688 1723655 4201738 0 1270 14 27 18 40.33/47.31 c 1280 5706 1727379 4215041 0 1280 4 9 7 40.33/47.38 c 1290 5743 1736161 4304205 0 1290 28 28 25 40.43/47.41 c 1300 5761 1739898 4318882 0 1300 4 9 7 40.43/47.43 c 1310 5781 1743681 4333573 0 1310 4 11 7 40.53/47.51 c 1320 5821 1752478 4418133 0 1320 14 31 22 40.53/47.54 c 1330 5842 1756924 4433390 0 1330 3 12 7 41.34/48.36 c 1340 6163 1903778 4645778 0 1340 312 312 283 41.34/48.39 c 1350 6181 1907540 4657613 0 1350 3 9 6 41.43/48.40 c 1352 6191 1910442 4664822 0 1352 9 9 6 41.43/48.49 c 1360 6226 1919591 4828289 0 1360 28 28 24 41.53/48.53 c 1370 6247 1924037 4843545 0 1370 3 12 8 41.63/48.61 c 1380 6285 1934026 4888713 0 1380 21 29 19 41.63/48.64 c 1390 6306 1938504 4903968 0 1390 3 12 7 41.73/48.73 c 1400 6345 1949069 4953348 0 1400 21 30 19 41.73/48.76 c 1410 6366 1953525 4969960 0 1410 9 12 9 41.83/48.86 c 1420 6404 1963864 5093567 0 1420 29 29 26 41.83/48.89 c 1430 6425 1968360 5109503 0 1430 7 12 8 41.93/48.99 c 1440 6464 1979200 5206754 0 1440 30 30 27 42.03/49.02 c 1450 6488 1984437 5223367 0 1450 15 15 13 42.03/49.05 c 1460 6511 1988258 5242953 0 1460 8 14 10 42.13/49.14 c 1470 6549 1998556 5357103 0 1470 18 29 25 42.13/49.18 c 1480 6573 2003817 5375081 0 1480 12 15 12 42.23/49.24 c 1490 6612 2011130 5424471 0 1490 14 30 17 42.23/49.27 c 1500 6636 2016301 5443919 0 1500 7 15 10 42.34/49.35 c 1510 6674 2026224 5483870 0 1510 7 29 11 42.34/49.40 c 1520 6703 2032793 5512077 0 1520 15 20 16 42.44/49.44 c 1530 6728 2038036 5533502 0 1530 5 16 9 42.44/49.48 c 1540 6754 2043120 5558618 0 1540 7 17 12 42.53/49.51 c 1550 6775 2047550 5574659 0 1550 4 12 8 42.53/49.54 c 1560 6798 2052120 5593434 0 1560 14 14 12 42.63/49.60 c 1570 6837 2059441 5671139 0 1570 17 30 23 42.63/49.63 c 1580 6861 2064730 5691944 0 1580 15 15 13 42.63/49.65 c 1585 6873 2067664 5699853 0 1585 5 8 6 42.73/49.73 c 1590 6906 2077634 5763362 0 1590 14 29 21 42.73/49.75 c 1600 6927 2082114 5781459 0 1600 9 12 10 42.83/49.84 c 1610 6966 2092197 5878196 0 1610 30 30 27 42.83/49.86 c 1620 6987 2096637 5896388 0 1620 5 12 9 42.83/49.88 c 1630 7010 2100525 5918853 0 1630 6 14 10 42.83/49.89 c 1640 7033 2103697 5940986 0 1640 7 14 10 42.93/49.98 c 1650 7071 2113916 6061397 0 1650 29 29 26 42.93/49.99 c 1660 7092 2117741 6081693 0 1660 5 12 9 43.03/50.02 c 1670 7111 2121518 6094521 0 1670 7 10 8 43.03/50.04 c 1680 7131 2125252 6107835 0 1680 4 11 7 43.03/50.07 c 1690 7152 2129063 6124665 0 1690 5 12 9 43.13/50.14 c 1700 7191 2138982 6162598 0 1700 7 30 12 43.13/50.16 c 1710 7210 2142779 6176581 0 1710 4 10 8 43.13/50.19 c 1720 7230 2146492 6190574 0 1720 4 11 8 43.23/50.22 c 1730 7253 2150988 6210056 0 1730 6 14 8 43.23/50.23 c 1740 7273 2153460 6227951 0 1740 5 11 8 43.23/50.25 c 1750 7296 2157854 6248298 0 1750 8 14 9 43.23/50.28 c 1760 7316 2161633 6265139 0 1760 5 11 8 43.33/50.37 c 1770 7354 2171411 6417141 0 1770 29 29 26 43.45/50.41 c 1780 7375 2175875 6431706 0 1780 7 12 8 43.45/50.50 c 1790 7414 2186439 6474408 0 1790 19 30 18 43.55/50.56 c 1800 7443 2193596 6502731 0 1800 20 20 18 43.64/50.61 c 1810 7474 2200884 6535413 0 1810 16 22 15 43.64/50.64 c 1820 7498 2206005 6554964 0 1820 5 15 9 43.74/50.70 c 1830 7536 2213987 6609169 0 1830 14 29 16 43.74/50.73 c 1840 7560 2219119 6628720 0 1840 5 15 9 43.74/50.74 c 1841 7567 2221985 6632010 0 1841 7 7 3 43.74/50.75 c 1850 7589 2225128 6651158 0 1850 7 14 9 43.74/50.77 c 1860 7612 2228305 6673852 0 1860 7 14 10 43.84/50.84 c 1870 7651 2238912 6724709 0 1870 10 30 16 43.84/50.86 c 1880 7672 2242702 6743631 0 1880 5 12 9 43.94/50.94 c 1890 7710 2251591 6863969 0 1890 29 29 26 43.94/50.97 c 1900 7734 2256729 6884297 0 1900 8 15 11 43.94/50.99 c 1910 7757 2261203 6899094 0 1910 5 14 8 44.04/51.02 c 1920 7780 2265646 6917401 0 1920 6 14 9 44.04/51.05 c 1930 7808 2270846 6948852 0 1930 7 19 10 44.04/51.08 c 1940 7832 2275979 6968404 0 1940 5 15 9 44.14/51.17 c 1950 7871 2286042 7065804 0 1950 30 30 27 44.14/51.20 c 1960 7892 2290477 7079901 0 1960 6 12 8 44.24/51.21 c 1970 7915 2293626 7102573 0 1970 5 14 8 44.34/51.30 c 1980 7953 2302756 7271214 0 1980 19 29 24 44.34/51.33 c 1990 7974 2307184 7287370 0 1990 6 12 8 44.34/51.36 c 2000 7997 2311732 7306243 0 2000 5 14 10 44.44/51.46 c 2010 8036 2322643 7437258 0 2010 30 30 27 44.44/51.49 c 2020 8060 2327839 7456604 0 2020 12 15 12 44.54/51.52 c 2030 8080 2331610 7470603 0 2030 8 11 9 44.64/51.62 c 2040 8120 2342286 7532660 0 2040 19 31 21 44.64/51.65 c 2050 8141 2346779 7547228 0 2050 3 12 7 44.74/51.75 c 2060 8180 2357758 7678303 0 2060 14 30 24 44.74/51.78 c 2070 8201 2362174 7692869 0 2070 3 12 8 44.84/51.88 c 2080 8241 2373629 7784022 0 2080 14 31 26 44.94/51.97 c 2090 8283 2383129 7880488 0 2090 33 33 30 45.04/52.00 c 2100 8304 2387605 7895745 0 2100 3 12 7 45.04/52.09 c 2110 8344 2398988 7933569 0 2110 14 31 14 45.14/52.11 c 2120 8362 2402749 7945403 0 2120 3 9 6 45.24/52.20 c 2122 8393 2412690 7990445 0 2122 30 30 20 45.24/52.24 c 2130 8415 2417837 8009796 0 2130 12 15 11 45.34/52.32 c 2140 8455 2427826 8078067 0 2140 19 31 22 45.34/52.35 c 2150 8476 2432293 8094791 0 2150 7 12 9 45.34/52.38 c 2160 8499 2436844 8112889 0 2160 14 14 12 45.44/52.47 c 2170 8538 2447533 8163526 0 2170 10 30 14 45.54/52.56 c 2180 8580 2457625 8235768 0 2180 20 33 24 45.54/52.59 c 2190 8601 2462035 8251908 0 2190 6 12 9 45.64/52.69 c 2200 8641 2473495 8349141 0 2200 31 31 28 45.74/52.72 c 2210 8662 2477999 8364399 0 2210 5 12 7 45.84/52.81 c 2220 8701 2488752 8408327 0 2220 14 30 14 45.84/52.83 c 2230 8719 2492532 8420162 0 2230 3 9 6 45.84/52.86 c 2240 8742 2496977 8436982 0 2240 6 14 11 45.93/52.95 c 2250 8782 2507663 8511271 0 2250 14 31 22 45.93/52.98 c 2260 8806 2512878 8531423 0 2260 12 15 12 46.03/53.01 c 2270 8829 2517375 8550312 0 2270 8 14 11 46.03/53.03 c 2280 8852 2521785 8566553 0 2280 8 14 9 46.03/53.06 c 2290 8875 2526283 8585446 0 2290 10 14 12 46.13/53.17 c 2300 8914 2537235 8713122 0 2300 30 30 27 46.23/53.20 c 2310 8938 2542468 8731788 0 2310 12 15 12 46.33/53.30 c 2320 8978 2553900 8824286 0 2320 19 31 27 46.33/53.33 c 2330 8999 2558337 8839636 0 2330 4 12 9 46.43/53.42 c 2340 9038 2568948 8884964 0 2340 19 30 18 46.53/53.51 c 2350 9080 2579143 8986237 0 2350 33 33 30 46.53/53.54 c 2360 9101 2583573 9002278 0 2360 4 12 8 46.63/53.64 c 2370 9141 2595047 9100108 0 2370 31 31 28 46.74/53.73 c 2380 9183 2605236 9179012 0 2380 15 33 23 46.74/53.76 c 2390 9201 2609035 9192901 0 2390 5 9 6 46.74/53.79 c 2400 9224 2613541 9208948 0 2400 11 14 11 46.84/53.87 c 2410 9264 2624295 9306172 0 2410 31 31 28 46.84/53.89 c 2420 9285 2628747 9326410 0 2420 5 12 9 46.93/53.92 c 2430 9308 2633224 9342662 0 2430 9 14 10 46.93/53.93 c 2431 9312 2634651 9344949 0 2431 4 4 2 46.93/53.96 c 2440 9331 2638332 9359829 0 2440 8 11 9 46.93/53.99 c 2450 9354 2642890 9378693 0 2450 12 14 12 47.03/54.02 c 2460 9377 2647334 9396312 0 2460 7 14 10 47.13/54.11 c 2470 9416 2657537 9486281 0 2470 14 30 21 47.13/54.14 c 2480 9440 2662748 9505722 0 2480 12 15 12 47.13/54.16 c 2490 9463 2665904 9526904 0 2490 5 14 9 47.23/54.24 c 2500 9502 2676170 9658005 0 2500 30 30 27 47.23/54.27 c 2510 9523 2680626 9672102 0 2510 5 12 7 47.33/54.36 c 2520 9563 2691976 9709216 0 2520 14 31 14 47.43/54.43 c 2530 9605 2700164 9792233 0 2530 15 33 20 47.43/54.45 c 2540 9626 2703976 9811842 0 2540 5 12 9 47.53/54.54 c 2550 9666 2715402 9909904 0 2550 31 31 28 47.63/54.62 c 2560 9708 2724883 9991031 0 2560 15 33 25 47.63/54.69 c 2570 9748 2734281 10045116 0 2570 12 31 17 47.73/54.76 c 2580 9790 2742590 10192193 0 2580 33 33 30 47.84/54.83 c 2590 9830 2752002 10288751 0 2590 31 31 28 47.94/54.92 c 2600 9872 2761230 10463414 0 2600 33 33 30 48.03/55.00 c 2610 9912 2771324 10560637 0 2610 31 31 28 48.03/55.06 c 2620 9955 2780706 10592253 0 2620 34 34 30 48.03/55.10 c 2630 9980 2785820 10613965 0 2630 6 16 10 48.13/55.12 c 2640 10004 2790942 10633517 0 2640 5 15 9 48.13/55.19 c 2650 10041 2799632 10663903 0 2650 14 28 19 48.23/55.22 c 2660 10063 2804107 10678699 0 2660 5 13 7 48.23/55.24 c 2670 10087 2807928 10704135 0 2670 6 15 9 48.23/55.25 c 2680 10110 2811116 10724665 0 2680 7 14 10 48.33/55.31 c 2690 10148 2821063 10753148 0 2690 15 29 25 48.33/55.35 c 2700 10173 2826177 10774856 0 2700 6 16 10 48.43/55.40 c 2710 10210 2834888 10804552 0 2710 15 28 18 48.43/55.44 c 2720 10238 2840860 10832329 0 2720 19 19 17 48.43/55.49 c 2730 10275 2848182 10864197 0 2730 14 28 19 48.53/55.54 c 2740 10308 2854730 10902210 0 2740 19 24 20 48.53/55.57 c 2750 10333 2860535 10922443 0 2750 5 16 9 48.63/55.61 c 2760 10369 2867177 10950827 0 2760 27 27 24 48.63/55.67 c 2770 10407 2874404 10992928 0 2770 24 29 22 48.73/55.70 c 2771 10423 2880136 11004243 0 2771 16 16 8 48.73/55.74 c 2780 10454 2886064 11027897 0 2780 23 23 20 48.83/55.80 c 2790 10498 2894027 11073376 0 2790 29 35 28 48.83/55.83 c 2800 10523 2899832 11093609 0 2800 5 16 9 48.83/55.87 c 2810 10555 2905780 11131451 0 2810 23 23 20 48.93/55.93 c 2820 10599 2913717 11176943 0 2820 35 35 31 48.93/55.97 c 2830 10631 2921042 11203263 0 2830 15 23 15 49.04/56.01 c 2840 10660 2926257 11232483 0 2840 16 20 16 49.04/56.03 c 2850 10684 2931378 11251350 0 2850 5 15 9 49.04/56.06 c 2860 10715 2936652 11278412 0 2860 22 22 20 49.13/56.10 c 2870 10744 2941898 11307628 0 2870 16 20 15 49.13/56.14 c 2880 10775 2948513 11332568 0 2880 22 22 20 49.13/56.18 c 2890 10808 2954346 11369983 0 2890 20 24 19 49.23/56.22 c 2900 10836 2960294 11391563 0 2900 15 19 14 49.23/56.26 c 2910 10869 2966116 11430312 0 2910 20 24 20 49.23/56.29 c 2920 10893 2971274 11449173 0 2920 5 15 10 49.33/56.31 c 2930 10924 2976537 11477152 0 2930 14 22 14 49.33/56.36 c 2940 10953 2982397 11509737 0 2940 13 20 15 49.43/56.40 c 2950 10984 2989695 11534705 0 2950 12 22 15 49.43/56.44 c 2960 11013 2995542 11565241 0 2960 13 20 15 49.43/56.48 c 2970 11041 3002131 11588163 0 2970 12 19 14 49.53/56.53 c 2980 11074 3008630 11626860 0 2980 20 24 20 49.53/56.57 c 2990 11102 3015225 11649770 0 2990 15 19 16 49.63/56.60 c 3000 11128 3020389 11670087 0 3000 9 17 13 49.63/56.62 c 3010 11156 3024887 11693088 0 3010 19 19 17 49.63/56.64 c 3020 11182 3029451 11716888 0 3020 9 17 12 49.63/56.66 c 3030 11210 3033987 11741426 0 3030 10 19 14 49.73/56.70 c 3040 11239 3038563 11774092 0 3040 17 20 17 49.73/56.72 c 3050 11263 3043098 11795040 0 3050 8 15 11 49.73/56.77 c 3060 11301 3048402 11842456 0 3060 19 29 18 49.84/56.80 c 3070 11327 3054266 11864719 0 3070 8 17 13 49.84/56.83 c 3080 11365 3059458 11907418 0 3080 29 29 26 49.84/56.88 c 3090 11396 3067430 11933020 0 3090 17 22 19 49.94/56.91 c 3100 11429 3071974 11976650 0 3100 20 24 21 49.94/56.94 c 3110 11453 3076509 11997598 0 3110 8 15 11 49.94/56.97 c 3120 11491 3081701 12040308 0 3120 29 29 26 50.04/57.03 c 3130 11522 3089862 12110668 0 3130 22 22 20 50.04/57.07 c 3140 11560 3095085 12153429 0 3140 29 29 26 50.14/57.12 c 3142 11583 3102983 12185137 0 3142 22 22 14 50.14/57.16 c 3150 11625 3108240 12233976 0 3150 29 35 29 50.14/57.19 c 3160 11649 3112775 12254924 0 3160 8 15 11 50.24/57.23 c 3170 11693 3118653 12309091 0 3170 35 35 31 50.24/57.26 c 3180 11722 3124587 12332684 0 3180 15 20 17 50.24/57.28 c 3190 11748 3128464 12356528 0 3190 6 17 10 50.34/57.31 c 3200 11776 3134302 12381724 0 3200 9 19 13 50.34/57.33 c 3210 11802 3138225 12403516 0 3210 17 17 15 50.34/57.38 c 3220 11853 3144811 12463752 0 3220 35 42 32 50.44/57.41 c 3230 11877 3149346 12484700 0 3230 8 15 11 50.44/57.46 c 3240 11936 3156665 12561058 0 3240 42 50 39 50.44/57.49 c 3250 11959 3161812 12579261 0 3250 5 14 9 50.54/57.52 c 3260 11982 3166232 12596875 0 3260 8 14 10 50.54/57.57 c 3270 12041 3173517 12667196 0 3270 50 50 45 50.64/57.61 c 3280 12070 3180137 12691450 0 3280 14 20 17 50.64/57.63 c 3290 12103 3184024 12718762 0 3290 17 24 18 50.64/57.66 c 3300 12126 3188485 12739041 0 3300 5 14 9 50.74/57.71 c 3310 12154 3195031 12762091 0 3310 14 19 15 50.74/57.75 c 3320 12183 3200864 12792635 0 3320 13 20 15 50.74/57.78 c 3330 12203 3205366 12808693 0 3330 4 11 6 50.83/57.82 c 3340 12231 3211870 12831143 0 3340 10 19 14 50.83/57.84 c 3350 12253 3216267 12848847 0 3350 10 13 11 50.83/57.89 c 3360 12312 3223546 12914479 0 3360 50 50 45 50.93/57.92 c 3370 12332 3228048 12930537 0 3370 4 11 6 50.93/57.96 c 3380 12360 3234683 12975389 0 3380 19 19 17 51.03/58.00 c 3390 12389 3240513 13003988 0 3390 13 20 15 51.03/58.03 c 3400 12409 3244894 13020915 0 3400 4 11 8 51.03/58.07 c 3410 12468 3252170 13084545 0 3410 50 50 45 51.14/58.12 c 3420 12497 3258925 13142107 0 3420 20 20 18 51.14/58.15 c 3430 12516 3262671 13156990 0 3430 4 10 8 51.14/58.19 c 3440 12543 3268452 13178108 0 3440 5 18 11 51.24/58.23 c 3450 12576 3274334 13220328 0 3450 5 24 19 51.24/58.26 c 3460 12596 3278715 13237255 0 3460 4 11 8 51.24/58.27 c 3470 12618 3281890 13261454 0 3470 6 13 9 51.33/58.30 c 3480 12641 3286308 13279061 0 3480 8 14 10 51.33/58.32 c 3490 12660 3290095 13295314 0 3490 8 10 8 51.33/58.35 c 3500 12682 3294519 13312940 0 3500 7 13 9 51.33/58.38 c 3510 12702 3298273 13329785 0 3510 6 11 7 51.43/58.41 c 3520 12721 3301999 13343885 0 3520 6 10 7 51.43/58.43 c 3530 12743 3306466 13361506 0 3530 8 13 9 51.43/58.46 c 3540 12766 3310918 13380388 0 3540 5 14 10 51.43/58.48 c 3550 12788 3314738 13400768 0 3550 7 13 10 51.53/58.50 c 3551 12794 3316882 13404538 0 3551 6 6 3 51.53/58.51 c 3560 12815 3320014 13423910 0 3560 7 13 9 51.53/58.54 c 3570 12838 3324444 13440747 0 3570 6 14 8 51.53/58.58 c 3580 12866 3330969 13463805 0 3580 7 19 11 51.63/58.61 c 3590 12888 3335435 13480640 0 3590 5 13 9 51.63/58.66 c 3600 12947 3342709 13544281 0 3600 50 50 45 51.73/58.71 c 3610 12976 3350003 13566449 0 3610 11 20 12 51.73/58.76 c 3620 13009 3356547 13607164 0 3620 20 24 21 51.73/58.79 c 3630 13032 3361724 13626031 0 3630 8 14 10 51.83/58.85 c 3640 13060 3368336 13659254 0 3640 19 19 17 51.93/58.90 c 3650 13098 3375636 13708100 0 3650 24 29 22 51.93/58.95 c 3660 13129 3382924 13736477 0 3660 13 22 14 52.03/59.00 c 3670 13167 3390201 13778556 0 3670 29 29 26 52.03/59.04 c 3680 13198 3397523 13806173 0 3680 22 22 20 52.03/59.07 c 3690 13227 3402083 13834748 0 3690 13 20 13 52.13/59.12 c 3700 13255 3408697 13854207 0 3700 11 19 12 52.13/59.18 c 3710 13299 3416675 13900350 0 3710 29 35 26 52.24/59.21 c 3720 13322 3421774 13917171 0 3720 5 14 10 52.24/59.27 c 3730 13360 3428735 13996683 0 3730 19 29 18 52.34/59.30 c 3740 13382 3433221 14014302 0 3740 8 13 9 52.34/59.32 c 3750 13409 3437148 14041229 0 3750 13 18 15 52.34/59.37 c 3760 13447 3443744 14088165 0 3760 24 29 23 52.43/59.40 c 3770 13469 3448141 14107228 0 3770 10 13 11 52.43/59.43 c 3780 13497 3454008 14127566 0 3780 13 19 14 52.43/59.47 c 3790 13522 3459274 14147801 0 3790 13 16 14 52.53/59.52 c 3800 13560 3465894 14191994 0 3800 29 29 26 52.53/59.56 c 3810 13590 3472563 14221082 0 3810 21 21 19 52.63/59.62 c 3820 13634 3480545 14275330 0 3820 35 35 31 52.63/59.64 c 3830 13657 3485006 14295609 0 3830 5 14 9 52.63/59.69 c 3840 13684 3490861 14319344 0 3840 14 18 13 52.73/59.72 c 3850 13706 3495341 14336878 0 3850 5 13 9 52.73/59.75 c 3860 13733 3500546 14359261 0 3860 18 18 16 52.73/59.77 c 3870 13752 3504344 14374828 0 3870 7 10 8 52.73/59.79 c 3880 13779 3508215 14400013 0 3880 13 18 14 52.83/59.82 c 3890 13801 3512648 14415568 0 3890 11 13 11 52.83/59.88 c 3900 13845 3519306 14473199 0 3900 18 35 24 52.93/59.92 c 3910 13868 3524461 14490031 0 3910 6 14 8 52.93/59.95 c 3920 13891 3528994 14509613 0 3920 11 14 11 52.93/59.97 c 3930 13918 3532812 14533294 0 3930 18 18 16 53.03/60.00 c 3940 13940 3537275 14552966 0 3940 13 13 11 53.03/60.04 c 3950 13984 3543883 14604692 0 3950 35 35 31 53.03/60.06 c 3960 14004 3547011 14620077 0 3960 4 11 7 53.03/60.09 c 3970 14026 3551484 14637695 0 3970 8 13 10 53.13/60.13 c 3980 14053 3557382 14658581 0 3980 14 18 15 53.13/60.15 c 3990 14075 3561944 14680243 0 3990 9 13 9 53.13/60.19 c 4000 14102 3567741 14702042 0 4000 9 18 12 53.23/60.23 c 4001 14131 3574245 14725841 0 4001 29 29 14 53.23/60.28 c 4010 14160 3580791 14748956 0 4010 16 21 16 53.34/60.32 c 4020 14198 3587387 14791128 0 4020 29 29 26 53.34/60.38 c 4030 14236 3594681 14839957 0 4030 21 29 23 53.44/60.42 c 4040 14264 3601242 14861616 0 4040 14 19 15 53.44/60.48 c 4050 14308 3608541 14914570 0 4050 29 35 29 53.53/60.51 c 4060 14331 3613626 14932858 0 4060 8 14 9 53.53/60.57 c 4070 14364 3620229 14966789 0 4070 18 24 18 53.63/60.63 c 4080 14402 3627592 15025032 0 4080 19 29 22 53.63/60.65 c 4090 14422 3631973 15041959 0 4090 4 11 8 53.73/60.70 c 4100 14466 3637867 15094077 0 4100 18 35 27 53.73/60.73 c 4110 14486 3642331 15110231 0 4110 6 11 8 53.73/60.76 c 4120 14530 3646374 15170698 0 4120 18 35 20 53.73/60.79 c 4130 14550 3650899 15186755 0 4130 6 11 7 53.83/60.82 c 4140 14577 3656719 15208545 0 4140 9 18 12 53.83/60.86 c 4150 14606 3661949 15237054 0 4150 13 20 13 53.83/60.89 c 4160 14633 3667204 15259351 0 4160 11 18 13 53.93/60.93 c 4170 14666 3671772 15296789 0 4170 20 24 20 53.93/60.95 c 4180 14686 3676209 15312258 0 4180 6 11 7 53.93/60.99 c 4190 14730 3682086 15365745 0 4190 35 35 31 54.03/61.04 c 4200 14758 3688715 15385199 0 4200 11 19 13 54.03/61.08 c 4210 14791 3694621 15427889 0 4210 24 24 21 54.13/61.14 c 4220 14835 3702602 15485367 0 4220 29 35 30 54.13/61.18 c 4230 14863 3709181 15507701 0 4230 14 19 15 54.23/61.24 c 4240 14907 3716473 15562041 0 4240 35 35 31 54.33/61.30 c 4250 14945 3723838 15622315 0 4250 19 29 23 54.33/61.37 c 4260 14997 3733206 15696446 0 4260 43 43 39 54.44/61.40 c 4270 15020 3738278 15714734 0 4270 8 14 9 54.44/61.45 c 4280 15047 3744163 15737768 0 4280 18 18 16 54.44/61.48 c 4290 15072 3749356 15756077 0 4290 13 16 14 54.54/61.52 c 4300 15098 3754544 15774270 0 4300 14 17 13 54.54/61.58 c 4310 15150 3761877 15839270 0 4310 24 43 27 54.63/61.61 c 4320 15177 3767121 15861567 0 4320 11 18 13 55.33/62.39 c 4330 15522 3912180 16099239 0 4330 43 336 119 55.43/62.42 c 4340 15545 3916639 16119521 0 4340 5 14 8 55.43/62.46 c 4350 15571 3921843 16142570 0 4350 17 17 15 55.53/62.52 c 4360 15604 3927756 16177962 0 4360 20 24 18 55.53/62.55 c 4370 15627 3932911 16196854 0 4370 11 14 11 55.53/62.58 c 4380 15653 3937493 16218490 0 4380 14 17 14 55.63/62.62 c 4390 15678 3942675 16236098 0 4390 13 16 14 55.63/62.68 c 4400 15711 3949305 16268585 0 4400 17 24 16 55.73/62.74 c 4410 15749 3955958 16309193 0 4410 18 29 18 55.73/62.77 c 4420 15776 3961840 16330858 0 4420 14 18 14 55.83/62.82 c 4430 15820 3969111 16383861 0 4430 35 35 31 55.83/62.87 c 4440 15853 3975728 16417060 0 4440 4 24 16 55.93/62.90 c 4450 15880 3981609 16438724 0 4450 14 18 14 55.93/62.98 c 4460 15949 3991617 16512444 0 4460 35 60 38 56.04/63.01 c 4470 15969 3995998 16529371 0 4470 4 11 8 56.04/63.05 c 4480 16002 4002541 16564713 0 4480 17 24 18 56.14/63.10 c 4490 16040 4009169 16619655 0 4490 29 29 26 56.14/63.15 c 4493 16067 4016333 16647401 0 4493 18 25 17 56.14/63.17 c 4500 16081 4020026 16657372 0 4500 3 8 5 56.14/63.18 c 4510 16103 4023161 16675921 0 4510 5 13 8 56.24/63.21 c 4520 16123 4026887 16690700 0 4520 6 11 8 56.24/63.24 c 4530 16149 4032013 16713786 0 4530 7 17 10 56.24/63.29 c 4540 16182 4037918 16753818 0 4540 20 24 20 56.34/63.32 c 4550 16202 4042378 16768487 0 4550 7 11 8 56.44/63.40 c 4560 16270 4052460 16827272 0 4560 17 59 23 56.44/63.43 c 4570 16290 4056897 16841272 0 4570 4 11 7 56.54/63.50 c 4580 16358 4066907 16912159 0 4580 59 59 53 56.54/63.54 c 4590 16385 4072172 16931614 0 4590 11 18 13 56.64/63.62 c 4600 16453 4081007 17021266 0 4600 24 59 30 56.64/63.65 c 4610 16473 4085432 17035259 0 4610 4 11 7 56.64/63.67 c 4620 16499 4089956 17056997 0 4620 17 17 15 56.74/63.77 c 4630 16577 4099464 17174951 0 4630 29 69 53 56.84/63.81 c 4640 16600 4104619 17191783 0 4640 6 14 8 56.84/63.84 c 4650 16629 4109230 17222293 0 4650 16 20 15 56.84/63.87 c 4660 16649 4113668 17236283 0 4660 4 11 8 56.94/63.95 c 4670 16717 4121766 17330528 0 4670 17 59 42 56.94/63.97 c 4680 16734 4125550 17344526 0 4680 4 8 6 57.04/64.01 c 4690 16759 4130727 17362047 0 4690 10 16 10 57.74/64.80 c 4700 17116 4272178 17628501 0 4700 17 348 152 57.84/64.83 c 4710 17139 4277325 17647386 0 4710 5 14 9 57.93/64.93 c 4720 17228 4287533 17754277 0 4720 43 80 67 57.93/64.96 c 4730 17251 4292680 17773162 0 4730 5 14 9 58.83/65.83 c 4740 17784 4477169 18142992 0 4740 70 524 187 58.83/65.87 c 4750 17807 4482316 18161877 0 4750 5 14 9 58.93/65.95 c 4760 17875 4491095 18236048 0 4760 16 59 22 58.93/65.98 c 4770 17901 4496344 18256275 0 4770 14 17 14 59.03/66.01 c 4780 17924 4500818 18274470 0 4780 11 14 12 59.83/66.80 c 4790 18365 4659293 18560042 0 4790 13 432 72 59.83/66.83 c 4800 18388 4664441 18578928 0 4800 5 14 9 60.63/67.63 c 4810 18841 4826240 18850293 0 4810 92 444 275 60.63/67.67 c 4820 18864 4831388 18869179 0 4820 5 14 9 61.43/68.46 c 4830 19295 4988313 19158500 0 4830 71 422 170 61.43/68.49 c 4840 19318 4993461 19177386 0 4840 5 14 9 61.63/68.60 c 4850 19425 5005005 19317334 0 4850 71 98 76 61.63/68.63 c 4860 19448 5010153 19336220 0 4860 5 14 9 61.73/68.72 c 4870 19551 5021075 19437882 0 4870 94 94 85 61.73/68.74 c 4880 19571 5024175 19452580 0 4880 4 11 7 61.73/68.76 c 4890 19593 5028666 19472936 0 4890 13 13 11 61.83/68.88 c 4900 19674 5039476 19576817 0 4900 16 72 30 61.93/68.91 c 4910 19694 5043917 19590914 0 4910 3 11 7 61.93/68.93 c 4920 19719 5047782 19609927 0 4920 7 16 10 61.93/68.96 c 4930 19742 5052213 19628908 0 4930 7 14 10 61.93/68.98 c 4940 19764 5056703 19648589 0 4940 13 13 11 62.14/69.10 c 4950 19875 5067699 19778712 0 4950 59 102 78 62.14/69.13 c 4960 19895 5072140 19792809 0 4960 3 11 7 62.14/69.14 c 4970 19917 5074656 19811115 0 4970 5 13 8 62.14/69.17 c 4980 19939 5079101 19827358 0 4980 8 13 10 62.24/69.20 c 4990 19968 5084970 19851126 0 4990 8 20 11 62.33/69.35 c 5035 20114 5095314 20099997 0 5035 17 102 71 63.34/70.31 c 5631 20804 5128434 24266517 0 5631 14 95 92 63.63/70.67 c 6286 21464 5159267 26060340 0 6286 4 6 5 64.73/71.73 c 7006 22652 5324476 27662493 0 6776 8 468 334 66.23/73.23 c 7798 23484 5370724 34801609 0 6921 8 40 39 67.33/74.31 c 8669 24847 5534846 36677260 0 7584 3 492 345 68.43/75.42 c 9627 26308 5693066 39341426 0 8344 6 504 299 69.93/76.96 c 10680 27442 5749875 47799481 0 8719 9 81 38 71.83/78.82 c 11838 29292 6013439 52632159 0 9201 691 691 690 72.63/79.69 c 13111 30652 6057071 56215989 0 9873 5 87 84 75.72/82.74 c 14511 32745 6368762 64653373 0 9910 8 691 355 77.33/84.36 c 16051 34382 6411122 72963027 0 10261 6 96 91 79.73/86.80 c 17745 36771 6689874 82564117 0 10602 691 691 690 82.42/89.40 c 19608 38729 6760936 93854517 0 11273 8 94 88 83.92/90.93 c 21657 40870 6835034 102092896 0 12061 9 91 85 85.33/92.33 c 23910 43631 6978611 105976581 0 12893 4 502 361 86.43/93.42 c 26388 46142 7061596 111763869 0 13322 10 16 15 88.42/95.47 c 29113 49034 7120862 122003399 0 13899 4 164 147 90.92/97.97 c 32110 52071 7233251 136583596 0 14216 5 37 36 92.72/99.75 c 35406 55552 7312583 145347247 0 15359 6 161 143 95.13/102.18 c 39031 59230 7431142 159190416 0 15655 8 39 33 96.62/103.64 c 43018 63250 7562335 167827235 0 16291 7 29 28 98.22/105.24 c 47403 68252 7730887 171817522 0 17764 10 522 454 102.62/109.67 c 52226 73385 7841417 199946472 0 19437 12 179 163 103.62/110.64 c 57531 78713 8011604 207196208 0 19934 17 17 16 107.02/114.05 c 63366 84582 8213393 226130540 0 20401 27 27 26 122.91/129.91 c 69784 91101 8520205 298983150 0 20830 5 92 90 124.92/131.92 c 76843 98200 8755214 311901266 0 21073 8 12 11 136.91/143.91 c 84607 106001 9119324 371259108 0 21357 4 27 26 142.11/149.11 c 93147 114690 9355446 402089232 0 21854 5 137 134 150.91/157.94 c 102541 124700 9630912 466873285 0 22398 8 558 535 163.41/170.41 c 112874 135299 9921210 534748509 0 22966 4 246 239 165.31/172.38 c 124240 146693 10288195 550271679 0 23420 8 13 12 173.21/180.22 c 136742 159387 10681588 605486593 0 23831 4 31 30 178.90/185.99 c 150494 173203 11111661 643680459 0 24263 5 45 44 187.80/194.89 c 165621 188556 11454226 694929548 0 25568 4 190 186 198.99/206.01 c 182260 205264 12080067 742906698 0 26287 6 46 45 210.99/218.02 c 200562 223644 12662732 824229487 0 26693 7 44 43 214.49/221.52 c 220694 243817 13308943 851830951 0 27134 13 13 12 227.88/234.99 c 242839 266079 13995072 949095962 0 27849 4 23 22 232.58/239.66 c 267198 290507 14885725 983121037 0 28181 5 34 33 243.17/250.26 c 293992 317505 15701952 1056427392 0 28455 4 45 44 275.16/282.21 c 323465 347261 16356307 1251871269 0 29740 6 226 223 280.86/287.95 c 355885 379745 17525796 1296462633 0 30168 18 18 17 287.05/294.17 c 391547 415641 18674736 1345362638 0 30522 23 27 26 302.75/309.85 c 430775 455127 19874895 1452136588 0 30932 9 30 29 314.34/321.46 c 473925 498546 21286683 1531033810 0 31391 4 18 17 419.72/426.85 c 521390 546188 23082594 2074522191 0 32368 8 100 99 428.51/435.60 c 573601 598485 24749567 2145681589 0 33054 12 12 11 476.00/483.19 c 631033 656048 26736280 2402625644 0 33788 27 46 45 623.36/630.51 c 694208 719429 30251820 3095522521 0 34593 9 102 101 634.75/641.97 c 763700 789027 32464669 3190212034 0 34698 6 6 5 654.96/662.16 c 840141 865593 34772457 3329367067 0 34978 4 14 13 800.61/807.80 c 924226 950967 38197001 4133735928 0 35794 6 47 46 874.80/882.07 c 1016719 1044401 41341671 4538558353 0 37551 4 109 105 950.48/957.79 c 1118461 1147493 44783370 5056290581 0 38094 5 56 54 979.97/987.23 c 1230377 1259611 48346804 5255362943 0 38476 5 36 34 1065.64/1072.97 c 1353484 1382926 52548828 5881283166 0 38830 9 25 24 1101.64/1108.92 c 1488901 1518571 56922660 6131282175 0 39546 4 28 27 1142.53/1149.86 c 1637859 1667783 61348821 6413751619 0 40400 4 33 32 1268.39/1275.73 c 1801712 1831970 68757201 6970905979 0 40921 4 75 74 1394.16/1401.53 c 1981950 2013710 73166175 7939614464 0 41081 691 691 690 1523.53/1530.95 c 2180211 2212343 78186065 8809194326 0 42016 9 66 65 1581.71/1589.11 c 2398298 2430754 85218613 9259822661 0 42641 8 8 7 1704.67/1712.17 c 2638193 2671025 93721959 10082026692 0 43079 4 21 20 1859.33/1866.83 c 2902077 2935408 102243454 11042226422 0 43933 7 94 92 2092.57/2100.18 c 3192349 3228403 106998739 12492968343 0 45649 6 150 142 2191.74/2199.33 c 3511648 3548206 117585838 13248915246 0 46504 6 29 28
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240228-1500623962/watcher-4240228-1500623962 -o /tmp/evaluation-result-4240228-1500623962/solver-4240228-1500623962 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240228-1500623962.xml pid=6175 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 4.47 1.81 0.71 3/188 6178 /proc/meminfo: memFree=7917168/32770624 swapFree=6304/8856220 [pid=6178] ppid=6175 vsize=27652 CPUtime=0 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 1120 0 0 0 0 0 0 0 20 0 1 0 17143286 28315648 898 33554432000 4194304 5970956 140733945723184 140733945719832 140065532156901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 6913 898 702 434 0 277 0 [startup+0.100119 s] /proc/loadavg: 4.47 1.81 0.71 3/188 6178 /proc/meminfo: memFree=7917168/32770624 swapFree=6304/8856220 [pid=6178] ppid=6175 vsize=37172 CPUtime=0.09 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 3560 0 0 0 9 0 0 0 20 0 1 0 17143286 38064128 3346 33554432000 4194304 5970956 140733945723184 140733945716776 140065541488848 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 9293 3346 783 434 0 2657 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37172 [startup+0.200319 s] /proc/loadavg: 4.47 1.81 0.71 3/188 6178 /proc/meminfo: memFree=7917168/32770624 swapFree=6304/8856220 [pid=6178] ppid=6175 vsize=40592 CPUtime=0.18 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 4441 0 0 0 18 0 0 0 20 0 1 0 17143286 41566208 4270 33554432000 4194304 5970956 140733945723184 140733945716776 140065532156901 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 10148 4270 783 434 0 3512 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 40592 [startup+0.300203 s] /proc/loadavg: 4.47 1.81 0.71 3/188 6178 /proc/meminfo: memFree=7917168/32770624 swapFree=6304/8856220 [pid=6178] ppid=6175 vsize=44840 CPUtime=0.29 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 5480 0 0 0 28 1 0 0 20 0 1 0 17143286 45916160 5260 33554432000 4194304 5970956 140733945723184 140733945716776 140065541798199 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 11210 5260 783 434 0 4574 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44840 [startup+0.700178 s] /proc/loadavg: 4.47 1.81 0.71 3/188 6178 /proc/meminfo: memFree=7917168/32770624 swapFree=6304/8856220 [pid=6178] ppid=6175 vsize=61396 CPUtime=0.69 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 9619 0 0 0 67 2 0 0 20 0 1 0 17143286 62869504 9403 33554432000 4194304 5970956 140733945723184 140733945716776 140065542099305 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 15349 9403 783 434 0 8713 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61396 [startup+1.50024 s] /proc/loadavg: 4.47 1.81 0.71 2/189 6179 /proc/meminfo: memFree=7646116/32770624 swapFree=6304/8929832 [pid=6178] ppid=6175 vsize=521820 CPUtime=1.48 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 69989 0 0 0 136 12 0 0 20 0 1 0 17143286 534343680 106052 33554432000 4194304 5970956 140733945723184 140733945720008 140065532226091 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 130455 106052 817 434 0 123819 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 521820 [startup+3.10025 s] /proc/loadavg: 4.51 1.86 0.73 2/189 6179 /proc/meminfo: memFree=6963732/32770624 swapFree=6304/8978940 [pid=6178] ppid=6175 vsize=1443092 CPUtime=3.09 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 192758 0 0 0 272 37 0 0 20 0 1 0 17143286 1477726208 330790 33554432000 4194304 5970956 140733945723184 140733945720008 140065532226091 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 360773 330790 817 434 0 354137 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1443092 [startup+6.30024 s] /proc/loadavg: 4.51 1.86 0.73 2/189 6179 /proc/meminfo: memFree=5015028/32770624 swapFree=6304/9099812 [pid=6178] ppid=6175 vsize=3475028 CPUtime=6.29 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 428450 0 0 0 546 83 0 0 20 0 1 0 17143286 3558428672 770433 33554432000 4194304 5970956 140733945723184 140733945720008 140065532226091 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 868757 770433 817 434 0 862121 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3475028 [startup+12.7002 s] /proc/loadavg: 4.58 1.97 0.78 2/189 6179 /proc/meminfo: memFree=1447628/32770624 swapFree=6304/9094060 [pid=6178] ppid=6175 vsize=8094088 CPUtime=12.69 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 880851 0 0 0 1096 173 0 0 20 0 1 0 17143286 8288346112 1625287 33554432000 4194304 5970956 140733945723184 140733945720008 5245656 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 2023522 1625353 817 434 0 2016886 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8094088 [startup+25.5004 s] /proc/loadavg: 4.65 2.07 0.82 4/189 6179 /proc/meminfo: memFree=205204/32770624 swapFree=6312/4104060 [pid=6178] ppid=6175 vsize=14674532 CPUtime=25.31 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 1917592 0 0 0 2104 427 0 0 20 0 1 0 17143286 15026720768 3161806 33554432000 4194304 5970956 140733945723184 140733945720008 140065532156901 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3668633 3161806 817 434 0 3661997 0 Current children cumulated CPU time (s) 25.31 Current children cumulated vsize (KiB) 14674532 [startup+51.1002 s] /proc/loadavg: 5.21 2.40 0.97 2/190 6180 /proc/meminfo: memFree=186500/32770624 swapFree=6312/1887436 [pid=6178] ppid=6175 vsize=15825968 CPUtime=44.14 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2410022 0 0 0 3874 540 0 0 20 0 1 0 17143286 16205791232 3707195 33554432000 4194304 5970956 140733945723184 140733945720520 4964956 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3956492 3707195 836 434 0 3949856 0 Current children cumulated CPU time (s) 44.14 Current children cumulated vsize (KiB) 15825968 [startup+102.3 s] /proc/loadavg: 5.52 2.97 1.24 2/190 6209 /proc/meminfo: memFree=212784/32770624 swapFree=6312/1857684 [pid=6178] ppid=6175 vsize=15833240 CPUtime=95.32 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2471265 0 0 0 8983 549 0 0 20 0 1 0 17143286 16213237760 3710410 33554432000 4194304 5970956 140733945723184 140733945720520 4909007 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3958310 3710410 836 434 0 3951674 0 Current children cumulated CPU time (s) 95.32 Current children cumulated vsize (KiB) 15833240 [startup+162.3 s] /proc/loadavg: 5.22 3.37 1.49 2/190 6210 /proc/meminfo: memFree=186404/32770624 swapFree=6312/1886856 [pid=6178] ppid=6175 vsize=15835488 CPUtime=155.3 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2506165 0 0 0 14977 553 0 0 20 0 1 0 17143286 16215539712 3712036 33554432000 4194304 5970956 140733945723184 140733945720248 4976586 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3958872 3712036 836 434 0 3952236 0 Current children cumulated CPU time (s) 155.3 Current children cumulated vsize (KiB) 15835488 [startup+222.3 s] /proc/loadavg: 4.93 3.62 1.69 2/190 6211 /proc/meminfo: memFree=212368/32770624 swapFree=6312/1869952 [pid=6178] ppid=6175 vsize=15836280 CPUtime=215.29 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2521313 0 0 0 20956 573 0 0 20 0 1 0 17143286 16216350720 3712269 33554432000 4194304 5970956 140733945723184 140733945720520 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959070 3712269 836 434 0 3952434 0 Current children cumulated CPU time (s) 215.29 Current children cumulated vsize (KiB) 15836280 [startup+282.3 s] /proc/loadavg: 4.85 3.82 1.87 2/190 6212 /proc/meminfo: memFree=209304/32770624 swapFree=6312/1839500 [pid=6178] ppid=6175 vsize=15836952 CPUtime=275.26 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2538371 0 0 0 26950 576 0 0 20 0 1 0 17143286 16217038848 3712687 33554432000 4194304 5970956 140733945723184 140733945720520 4964386 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959238 3712687 836 434 0 3952602 0 Current children cumulated CPU time (s) 275.26 Current children cumulated vsize (KiB) 15836952 [startup+342.3 s] /proc/loadavg: 5.00 4.07 2.09 2/190 6213 /proc/meminfo: memFree=200916/32770624 swapFree=6312/1889820 [pid=6178] ppid=6175 vsize=15837480 CPUtime=335.24 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2553896 0 0 0 32944 580 0 0 20 0 1 0 17143286 16217579520 3712865 33554432000 4194304 5970956 140733945723184 140733945720248 4964452 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959370 3712865 836 434 0 3952734 0 Current children cumulated CPU time (s) 335.24 Current children cumulated vsize (KiB) 15837480 [startup+402.3 s] /proc/loadavg: 4.80 4.16 2.24 3/189 6214 /proc/meminfo: memFree=223896/32770624 swapFree=6312/1875600 [pid=6178] ppid=6175 vsize=15837480 CPUtime=395.22 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2556815 0 0 0 38939 583 0 0 20 0 1 0 17143286 16217579520 3712865 33554432000 4194304 5970956 140733945723184 140733945720248 4964492 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959370 3712865 836 434 0 3952734 0 Current children cumulated CPU time (s) 395.22 Current children cumulated vsize (KiB) 15837480 [startup+462.3 s] /proc/loadavg: 4.62 4.25 2.40 2/189 6215 /proc/meminfo: memFree=200036/32770624 swapFree=6312/1894968 [pid=6178] ppid=6175 vsize=15837616 CPUtime=455.21 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2567876 0 0 0 44933 588 0 0 20 0 1 0 17143286 16217718784 3712993 33554432000 4194304 5970956 140733945723184 140733945720520 5070793 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959404 3712993 836 434 0 3952768 0 Current children cumulated CPU time (s) 455.21 Current children cumulated vsize (KiB) 15837616 [startup+522.3 s] /proc/loadavg: 3.82 4.11 2.47 3/188 6280 /proc/meminfo: memFree=17076184/32770624 swapFree=6312/13216 [pid=6178] ppid=6175 vsize=15837880 CPUtime=515.2 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2581271 0 0 0 50929 591 0 0 20 0 1 0 17143286 16217989120 3713102 33554432000 4194304 5970956 140733945723184 140733945720248 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959470 3713102 836 434 0 3952834 0 Current children cumulated CPU time (s) 515.2 Current children cumulated vsize (KiB) 15837880 [startup+582.3 s] /proc/loadavg: 2.67 3.72 2.44 3/188 6281 /proc/meminfo: memFree=17075892/32770624 swapFree=6312/13308 [pid=6178] ppid=6175 vsize=15837880 CPUtime=575.17 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2584687 0 0 0 56923 594 0 0 20 0 1 0 17143286 16217989120 3713102 33554432000 4194304 5970956 140733945723184 140733945720248 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959470 3713102 836 434 0 3952834 0 Current children cumulated CPU time (s) 575.17 Current children cumulated vsize (KiB) 15837880 ################ # More data... # ################ [startup+1602.3 s] /proc/loadavg: 2.01 2.09 2.17 3/187 6559 /proc/meminfo: memFree=13196156/32770624 swapFree=6312/14288 [pid=6178] ppid=6175 vsize=15839464 CPUtime=1594.91 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2732967 0 0 0 158833 658 0 0 20 0 1 0 17143286 16219611136 3714576 33554432000 4194304 5970956 140733945723184 140733945720520 4908926 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959866 3714576 836 434 0 3953230 0 Current children cumulated CPU time (s) 1594.91 Current children cumulated vsize (KiB) 15839464 [startup+1662.3 s] /proc/loadavg: 2.01 2.07 2.16 3/187 6560 /proc/meminfo: memFree=13195544/32770624 swapFree=6312/14316 [pid=6178] ppid=6175 vsize=15839464 CPUtime=1654.89 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2736179 0 0 0 164827 662 0 0 20 0 1 0 17143286 16219611136 3714576 33554432000 4194304 5970956 140733945723184 140733945720520 4967807 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959866 3714576 836 434 0 3953230 0 Current children cumulated CPU time (s) 1654.89 Current children cumulated vsize (KiB) 15839464 [startup+1722.3 s] /proc/loadavg: 2.00 2.06 2.15 3/187 6562 /proc/meminfo: memFree=13195408/32770624 swapFree=6312/14368 [pid=6178] ppid=6175 vsize=15839596 CPUtime=1714.88 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2747703 0 0 0 170822 666 0 0 20 0 1 0 17143286 16219746304 3714581 33554432000 4194304 5970956 140733945723184 140733945720520 4969805 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959899 3714581 836 434 0 3953263 0 Current children cumulated CPU time (s) 1714.88 Current children cumulated vsize (KiB) 15839596 [startup+1782.3 s] /proc/loadavg: 2.09 2.08 2.15 3/187 6563 /proc/meminfo: memFree=13194448/32770624 swapFree=6312/14408 [pid=6178] ppid=6175 vsize=15839596 CPUtime=1774.86 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2750743 0 0 0 176817 669 0 0 20 0 1 0 17143286 16219746304 3714582 33554432000 4194304 5970956 140733945723184 140733945720520 4974816 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959899 3714582 836 434 0 3953263 0 Current children cumulated CPU time (s) 1774.86 Current children cumulated vsize (KiB) 15839596 [startup+1842.3 s] /proc/loadavg: 2.03 2.06 2.13 3/188 6632 /proc/meminfo: memFree=17132440/32770624 swapFree=6312/14520 [pid=6178] ppid=6175 vsize=15839596 CPUtime=1834.85 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2753751 0 0 0 182812 673 0 0 20 0 1 0 17143286 16219746304 3714583 33554432000 4194304 5970956 140733945723184 140733945720520 4964552 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959899 3714583 836 434 0 3953263 0 Current children cumulated CPU time (s) 1834.85 Current children cumulated vsize (KiB) 15839596 [startup+1902.3 s] /proc/loadavg: 2.01 2.05 2.13 3/188 6633 /proc/meminfo: memFree=17134048/32770624 swapFree=6312/14620 [pid=6178] ppid=6175 vsize=15839728 CPUtime=1894.82 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2769450 0 0 0 188803 679 0 0 20 0 1 0 17143286 16219881472 3714619 33554432000 4194304 5970956 140733945723184 140733945720248 5306275 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959932 3714619 836 434 0 3953296 0 Current children cumulated CPU time (s) 1894.82 Current children cumulated vsize (KiB) 15839728 [startup+1962.31 s] /proc/loadavg: 2.07 2.06 2.13 2/186 6634 /proc/meminfo: memFree=17134416/32770624 swapFree=6312/14692 [pid=6178] ppid=6175 vsize=15839728 CPUtime=1954.82 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2775356 0 0 0 194799 683 0 0 20 0 1 0 17143286 16219881472 3714636 33554432000 4194304 5970956 140733945723184 140733945720248 5052132 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959932 3714636 836 434 0 3953296 0 Current children cumulated CPU time (s) 1954.82 Current children cumulated vsize (KiB) 15839728 [startup+2022.3 s] /proc/loadavg: 2.03 2.05 2.12 3/188 6820 /proc/meminfo: memFree=17091684/32770624 swapFree=6312/16300 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2014.79 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2785183 0 0 0 200791 688 0 0 20 0 1 0 17143286 16220028928 3714647 33554432000 4194304 5970956 140733945723184 140733945720248 4961271 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714647 836 434 0 3953332 0 Current children cumulated CPU time (s) 2014.79 Current children cumulated vsize (KiB) 15839872 [startup+2082.3 s] /proc/loadavg: 1.98 2.02 2.11 3/188 6821 /proc/meminfo: memFree=17084792/32770624 swapFree=6312/16296 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2074.77 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2788925 0 0 0 206786 691 0 0 20 0 1 0 17143286 16220028928 3714648 33554432000 4194304 5970956 140733945723184 140733945720248 5319631 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714648 836 434 0 3953332 0 Current children cumulated CPU time (s) 2074.77 Current children cumulated vsize (KiB) 15839872 [startup+2142.3 s] /proc/loadavg: 1.99 2.02 2.11 3/187 6822 /proc/meminfo: memFree=17084732/32770624 swapFree=6312/16364 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2134.75 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2798022 0 0 0 212780 695 0 0 20 0 1 0 17143286 16220028928 3714662 33554432000 4194304 5970956 140733945723184 140733945720520 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714662 836 434 0 3953332 0 Current children cumulated CPU time (s) 2134.75 Current children cumulated vsize (KiB) 15839872 [startup+2202.3 s] /proc/loadavg: 2.06 2.03 2.10 3/187 6823 /proc/meminfo: memFree=17082900/32770624 swapFree=6312/16424 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2194.74 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2805433 0 0 0 218774 700 0 0 20 0 1 0 17143286 16220028928 3714666 33554432000 4194304 5970956 140733945723184 140733945720520 4961400 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714666 836 434 0 3953332 0 Current children cumulated CPU time (s) 2194.74 Current children cumulated vsize (KiB) 15839872 [startup+2262.3 s] /proc/loadavg: 2.07 2.04 2.10 3/187 6824 /proc/meminfo: memFree=17082664/32770624 swapFree=6312/16480 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2254.72 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2808424 0 0 0 224768 704 0 0 20 0 1 0 17143286 16220028928 3714666 33554432000 4194304 5970956 140733945723184 140733945720520 4971081 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714666 836 434 0 3953332 0 Current children cumulated CPU time (s) 2254.72 Current children cumulated vsize (KiB) 15839872 [startup+2322.3 s] /proc/loadavg: 2.16 2.07 2.11 3/187 6825 /proc/meminfo: memFree=17083200/32770624 swapFree=6312/16532 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2314.71 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2811530 0 0 0 230762 709 0 0 20 0 1 0 17143286 16220028928 3714666 33554432000 4194304 5970956 140733945723184 140733945720520 5070809 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714666 836 434 0 3953332 0 Current children cumulated CPU time (s) 2314.71 Current children cumulated vsize (KiB) 15839872 [startup+2382.3 s] /proc/loadavg: 2.11 2.07 2.11 3/187 6826 /proc/meminfo: memFree=17082680/32770624 swapFree=6312/16572 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2374.69 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2814339 0 0 0 236757 712 0 0 20 0 1 0 17143286 16220028928 3714666 33554432000 4194304 5970956 140733945723184 140733945720520 5239672 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714666 836 434 0 3953332 0 Current children cumulated CPU time (s) 2374.69 Current children cumulated vsize (KiB) 15839872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2407.7 s] /proc/loadavg: 2.07 2.06 2.11 3/187 6826 /proc/meminfo: memFree=17083864/32770624 swapFree=6312/16588 [pid=6178] ppid=6175 vsize=15839872 CPUtime=2400.09 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202496 2816244 0 0 0 239295 714 0 0 20 0 1 0 17143286 16220028928 3714666 33554432000 4194304 5970956 140733945723184 140733945720520 4964406 0 0 4096 8405026 0 0 0 17 0 0 0 669 0 0 8070896 8075904 32227328 140733945730236 140733945730371 140733945730371 140733945733070 0 /proc/6178/statm: 3959968 3714666 836 434 0 3953332 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 15839872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 6178 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2408.1 s] /proc/loadavg: 2.07 2.06 2.11 3/187 6826 /proc/meminfo: memFree=17083864/32770624 swapFree=6312/16588 [pid=6178] ppid=6175 vsize=0 CPUtime=2400.48 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202500 2816272 0 0 0 239295 753 0 0 20 0 1 0 17143286 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 0 0 0 669 0 0 0 0 0 0 0 0 0 0 /proc/6178/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.48 Current children cumulated vsize (KiB) 0 [startup+2408.3 s] /proc/loadavg: 2.07 2.06 2.11 3/187 6826 /proc/meminfo: memFree=17083864/32770624 swapFree=6312/16588 [pid=6178] ppid=6175 vsize=0 CPUtime=2400.68 cores=0,2,4,6 /proc/6178/stat : 6178 (cosoco) R 6175 6178 5313 0 -1 4202500 2816272 0 0 0 239295 773 0 0 20 0 1 0 17143286 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 0 0 0 669 0 0 0 0 0 0 0 0 0 0 /proc/6178/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2400.68 Current children cumulated vsize (KiB) 0 Child status: 1 Real time (s): 2408.37 CPU time (s): 2400.76 CPU user time (s): 2392.95 CPU system time (s): 7.80409 CPU usage (%): 99.6841 Max. virtual memory (cumulated for all children) (KiB): 15839872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2392.95 system time used= 7.80409 maximum resident set size= 14858704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2816272 page faults= 0 swaps= 0 block input operations= 0 block output operations= 58024 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 152 involuntary context switches= 124049 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.01985 second user time and 8.60826 second system time The end
Begin job on node104 at 2017-07-21 09:59:22 IDJOB=4240228 IDBENCH=120754 IDSOLVER=2621 FILE ID=node104/4240228-1500623962 RUNJOBID= node104-1500623789-5344 PBS_JOBID= 20623023 Free space on /tmp= 57900 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240228-1500623962/watcher-4240228-1500623962 -o /tmp/evaluation-result-4240228-1500623962/solver-4240228-1500623962 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500623789-5344 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240228-1500623962.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32cec65ed71b36923f34d2db18851218 RANDOM SEED=1260261476 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1600.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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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 : 1600.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.50 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 : 1600.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 : 1867.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.50 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 : 1600.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: 7922244 kB MemAvailable: 16967744 kB Buffers: 164420 kB Cached: 8998180 kB SwapCached: 0 kB Active: 15280452 kB Inactive: 8868724 kB Active(anon): 14989980 kB Inactive(anon): 16924 kB Active(file): 290472 kB Inactive(file): 8851800 kB Unevictable: 6304 kB Mlocked: 6312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2853056 kB Writeback: 49648 kB AnonPages: 14993152 kB Mapped: 34888 kB Shmem: 17044 kB Slab: 364864 kB SReclaimable: 331688 kB SUnreclaim: 33176 kB KernelStack: 3328 kB PageTables: 34848 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 15451752 kB VmallocTotal: 34359738367 kB VmallocUsed: 350244 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3858432 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62012 MiB End job on node104 at 2017-07-21 10:39:31