| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco-sat 1.12 | ? (TO) | 2520.3401 | 2520.46 |
| 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 |
26.58/26.69 c SAT : Variables: 1035108 -- Clauses: 356633520 26.68/26.71 c root propagations : 0 26.68/26.71 c restarts enabled, print stats at every restarts 26.68/26.71 c 26.68/26.71 c 26.68/26.71 c 26.68/26.71 c This is cosoco 1.12 -- 26.68/26.71 c 26.68/26.71 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266068-1502570690.xml 26.68/26.71 c ========================================[ Problem Statistics ]=========================================== 26.68/26.71 c | 26.68/26.71 c | Parse time : 23.00 s 26.68/26.71 c | 26.68/26.71 c | Variables: 1500 26.68/26.71 c | Domain Sizes: 690..691 26.68/26.71 c | 26.68/26.71 c | Constraints: 692 26.68/26.71 c | Arity: 3..690 -- Ternary: 690 26.68/26.71 c | 26.68/26.71 c | Types: 26.68/26.71 c | All Different: 2 26.68/26.71 c | Intension: 690 26.68/26.71 c | 26.68/26.71 c ========================================================================================================= 26.68/26.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 26.68/26.71 c remove useless variable ce[0][0][0] 26.68/26.71 c remove useless variable ce[0][1][0] 26.68/26.71 c remove useless variable ce[0][1][1] 26.68/26.71 c remove useless variable ce[0][2][0] 26.68/26.71 c remove useless variable ce[0][2][1] 26.68/26.71 c remove useless variable ce[0][2][2] 26.68/26.71 c remove useless variable ce[0][3][0] 26.68/26.71 c remove useless variable ce[0][3][1] 26.68/26.71 c remove useless variable ce[0][3][2] 26.68/26.71 c remove useless variable ce[0][3][3] 26.68/26.71 c remove useless variable ce[0][4][0] 26.68/26.71 c remove useless variable ce[0][4][1] 26.68/26.71 c remove useless variable ce[0][4][2] 26.68/26.71 c remove useless variable ce[0][4][3] 26.68/26.71 c remove useless variable ce[0][4][4] 26.68/26.71 c remove useless variable ce[0][5][0] 26.68/26.71 c remove useless variable ce[0][5][1] 26.68/26.71 c remove useless variable ce[0][5][2] 26.68/26.71 c remove useless variable ce[0][5][3] 26.68/26.71 c remove useless variable ce[0][5][4] 26.68/26.71 c remove useless variable ce[0][5][5] 26.68/26.71 c remove useless variable ce[0][6][0] 26.68/26.71 c remove useless variable ce[0][6][1] 26.68/26.71 c remove useless variable ce[0][6][2] 26.68/26.71 c remove useless variable ce[0][6][3] 26.68/26.71 c remove useless variable ce[0][6][4] 26.68/26.71 c remove useless variable ce[0][6][5] 26.68/26.71 c remove useless variable ce[0][6][6] 26.68/26.71 c remove useless variable ce[0][7][0] 26.68/26.71 c remove useless variable ce[0][7][1] 26.68/26.71 c remove useless variable ce[0][7][2] 26.68/26.71 c remove useless variable ce[0][7][3] 26.68/26.71 c remove useless variable ce[0][7][4] 26.68/26.71 c remove useless variable ce[0][7][5] 26.68/26.71 c remove useless variable ce[0][7][6] 26.68/26.71 c remove useless variable ce[0][7][7] 26.68/26.71 c remove useless variable ce[0][8][0] 26.68/26.71 c remove useless variable ce[0][8][1] 26.68/26.71 c remove useless variable ce[0][8][2] 26.68/26.71 c remove useless variable ce[0][8][3] 26.68/26.71 c remove useless variable ce[0][8][4] 26.68/26.71 c remove useless variable ce[0][8][5] 26.68/26.71 c remove useless variable ce[0][8][6] 26.68/26.71 c remove useless variable ce[0][8][7] 26.68/26.71 c remove useless variable ce[0][8][8] 26.68/26.71 c remove useless variable ce[0][9][0] 26.68/26.71 c remove useless variable ce[0][9][1] 26.68/26.71 c remove useless variable ce[0][9][2] 26.68/26.71 c remove useless variable ce[0][9][3] 26.68/26.71 c remove useless variable ce[0][9][4] 26.68/26.71 c remove useless variable ce[0][9][5] 26.68/26.71 c remove useless variable ce[0][9][6] 26.68/26.71 c remove useless variable ce[0][9][7] 26.68/26.71 c remove useless variable ce[0][9][8] 26.68/26.71 c remove useless variable ce[0][9][9] 26.68/26.71 c remove useless variable ce[0][10][0] 26.68/26.71 c remove useless variable ce[0][10][1] 26.68/26.71 c remove useless variable ce[0][10][2] 26.68/26.71 c remove useless variable ce[0][10][3] 26.68/26.71 c remove useless variable ce[0][10][4] 26.68/26.71 c remove useless variable ce[0][10][5] 26.68/26.71 c remove useless variable ce[0][10][6] 26.68/26.71 c remove useless variable ce[0][10][7] 26.68/26.71 c remove useless variable ce[0][10][8] 26.68/26.71 c remove useless variable ce[0][10][9] 26.68/26.71 c remove useless variable ce[0][10][10] 26.68/26.71 c remove useless variable ce[0][11][0] 26.68/26.71 c remove useless variable ce[0][11][1] 26.68/26.71 c remove useless variable ce[0][11][2] 26.68/26.71 c remove useless variable ce[0][11][3] 26.68/26.71 c remove useless variable ce[0][11][4] 26.68/26.71 c remove useless variable ce[0][11][5] 26.68/26.71 c remove useless variable ce[0][11][6] 26.68/26.71 c remove useless variable ce[0][11][7] 26.68/26.71 c remove useless variable ce[0][11][8] 26.68/26.71 c remove useless variable ce[0][11][9] 26.68/26.71 c remove useless variable ce[0][11][10] 26.68/26.71 c remove useless variable ce[0][11][11] 26.68/26.71 c remove useless variable ce[1][0][0] 26.68/26.71 c remove useless variable ce[1][1][0] 26.68/26.71 c remove useless variable ce[1][1][1] 26.68/26.71 c remove useless variable ce[1][2][0] 26.68/26.71 c remove useless variable ce[1][2][1] 26.68/26.71 c remove useless variable ce[1][2][2] 26.68/26.71 c remove useless variable ce[1][3][0] 26.68/26.71 c remove useless variable ce[1][3][1] 26.68/26.71 c remove useless variable ce[1][3][2] 26.68/26.71 c remove useless variable ce[1][3][3] 26.68/26.71 c remove useless variable ce[1][4][0] 26.68/26.71 c remove useless variable ce[1][4][1] 26.68/26.71 c remove useless variable ce[1][4][2] 26.68/26.71 c remove useless variable ce[1][4][3] 26.68/26.71 c remove useless variable ce[1][4][4] 26.68/26.71 c remove useless variable ce[1][5][0] 26.68/26.71 c remove useless variable ce[1][5][1] 26.68/26.71 c remove useless variable ce[1][5][2] 26.68/26.71 c remove useless variable ce[1][5][3] 26.68/26.71 c remove useless variable ce[1][5][4] 26.68/26.71 c remove useless variable ce[1][5][5] 26.68/26.71 c remove useless variable ce[1][6][0] 26.68/26.71 c remove useless variable ce[1][6][1] 26.68/26.71 c remove useless variable ce[1][6][2] 26.68/26.71 c remove useless variable ce[1][6][3] 26.68/26.71 c remove useless variable ce[1][6][4] 26.68/26.71 c remove useless variable ce[1][6][5] 26.68/26.71 c remove useless variable ce[1][6][6] 26.68/26.71 c remove useless variable ce[1][7][0] 26.68/26.71 c remove useless variable ce[1][7][1] 26.68/26.71 c remove useless variable ce[1][7][2] 26.68/26.71 c remove useless variable ce[1][7][3] 26.68/26.71 c remove useless variable ce[1][7][4] 26.68/26.71 c remove useless variable ce[1][7][5] 26.68/26.71 c remove useless variable ce[1][7][6] 26.68/26.71 c remove useless variable ce[1][7][7] 26.68/26.71 c remove useless variable ce[1][8][0] 26.68/26.71 c remove useless variable ce[1][8][1] 26.68/26.71 c remove useless variable ce[1][8][2] 26.68/26.71 c remove useless variable ce[1][8][3] 26.68/26.71 c remove useless variable ce[1][8][4] 26.68/26.71 c remove useless variable ce[1][8][5] 26.68/26.71 c remove useless variable ce[1][8][6] 26.68/26.71 c remove useless variable ce[1][8][7] 26.68/26.71 c remove useless variable ce[1][8][8] 26.68/26.71 c remove useless variable ce[1][9][0] 26.68/26.71 c remove useless variable ce[1][9][1] 26.68/26.71 c remove useless variable ce[1][9][2] 26.68/26.71 c remove useless variable ce[1][9][3] 26.68/26.71 c remove useless variable ce[1][9][4] 26.68/26.71 c remove useless variable ce[1][9][5] 26.68/26.71 c remove useless variable ce[1][9][6] 26.68/26.71 c remove useless variable ce[1][9][7] 26.68/26.71 c remove useless variable ce[1][9][8] 26.68/26.71 c remove useless variable ce[1][9][9] 26.68/26.71 c remove useless variable ce[1][10][0] 26.68/26.71 c remove useless variable ce[1][10][1] 26.68/26.71 c remove useless variable ce[1][10][2] 26.68/26.71 c remove useless variable ce[1][10][3] 26.68/26.71 c remove useless variable ce[1][10][4] 26.68/26.71 c remove useless variable ce[1][10][5] 26.68/26.71 c remove useless variable ce[1][10][6] 26.68/26.71 c remove useless variable ce[1][10][7] 26.68/26.71 c remove useless variable ce[1][10][8] 26.68/26.71 c remove useless variable ce[1][10][9] 26.68/26.71 c remove useless variable ce[1][10][10] 26.68/26.71 c remove useless variable ce[1][11][0] 26.68/26.71 c remove useless variable ce[1][11][1] 26.68/26.71 c remove useless variable ce[1][11][2] 26.68/26.71 c remove useless variable ce[1][11][3] 26.68/26.71 c remove useless variable ce[1][11][4] 26.68/26.71 c remove useless variable ce[1][11][5] 26.68/26.71 c remove useless variable ce[1][11][6] 26.68/26.71 c remove useless variable ce[1][11][7] 26.68/26.71 c remove useless variable ce[1][11][8] 26.68/26.71 c remove useless variable ce[1][11][9] 26.68/26.71 c remove useless variable ce[1][11][10] 26.68/26.71 c remove useless variable ce[1][11][11] 26.68/26.71 c remove useless variable ce[2][0][0] 26.68/26.71 c remove useless variable ce[2][1][0] 26.68/26.71 c remove useless variable ce[2][1][1] 26.68/26.71 c remove useless variable ce[2][2][0] 26.68/26.71 c remove useless variable ce[2][2][1] 26.68/26.71 c remove useless variable ce[2][2][2] 26.68/26.71 c remove useless variable ce[2][3][0] 26.68/26.71 c remove useless variable ce[2][3][1] 26.68/26.71 c remove useless variable ce[2][3][2] 26.68/26.71 c remove useless variable ce[2][3][3] 26.68/26.71 c remove useless variable ce[2][4][0] 26.68/26.71 c remove useless variable ce[2][4][1] 26.68/26.71 c remove useless variable ce[2][4][2] 26.68/26.71 c remove useless variable ce[2][4][3] 26.68/26.71 c remove useless variable ce[2][4][4] 26.68/26.71 c remove useless variable ce[2][5][0] 26.68/26.71 c remove useless variable ce[2][5][1] 26.68/26.71 c remove useless variable ce[2][5][2] 26.68/26.71 c remove useless variable ce[2][5][3] 26.68/26.71 c remove useless variable ce[2][5][4] 26.68/26.71 c remove useless variable ce[2][5][5] 26.68/26.71 c remove useless variable ce[2][6][0] 26.68/26.71 c remove useless variable ce[2][6][1] 26.68/26.71 c remove useless variable ce[2][6][2] 26.68/26.71 c remove useless variable ce[2][6][3] 26.68/26.71 c remove useless variable ce[2][6][4] 26.68/26.71 c remove useless variable ce[2][6][5] 26.68/26.71 c remove useless variable ce[2][6][6] 26.68/26.71 c remove useless variable ce[2][7][0] 26.68/26.71 c remove useless variable ce[2][7][1] 26.68/26.71 c remove useless variable ce[2][7][2] 26.68/26.71 c remove useless variable ce[2][7][3] 26.68/26.71 c remove useless variable ce[2][7][4] 26.68/26.71 c remove useless variable ce[2][7][5] 26.68/26.71 c remove useless variable ce[2][7][6] 26.68/26.71 c remove useless variable ce[2][7][7] 26.68/26.71 c remove useless variable ce[2][8][0] 26.68/26.71 c remove useless variable ce[2][8][1] 26.68/26.71 c remove useless variable ce[2][8][2] 26.68/26.71 c remove useless variable ce[2][8][3] 26.68/26.71 c remove useless variable ce[2][8][4] 26.68/26.71 c remove useless variable ce[2][8][5] 26.68/26.71 c remove useless variable ce[2][8][6] 26.68/26.71 c remove useless variable ce[2][8][7] 26.68/26.71 c remove useless variable ce[2][8][8] 26.68/26.71 c remove useless variable ce[2][9][0] 26.68/26.71 c remove useless variable ce[2][9][1] 26.68/26.71 c remove useless variable ce[2][9][2] 26.68/26.71 c remove useless variable ce[2][9][3] 26.68/26.71 c remove useless variable ce[2][9][4] 26.68/26.71 c remove useless variable ce[2][9][5] 26.68/26.71 c remove useless variable ce[2][9][6] 26.68/26.71 c remove useless variable ce[2][9][7] 26.68/26.71 c remove useless variable ce[2][9][8] 26.68/26.71 c remove useless variable ce[2][9][9] 26.68/26.71 c remove useless variable ce[2][10][0] 26.68/26.71 c remove useless variable ce[2][10][1] 26.68/26.71 c remove useless variable ce[2][10][2] 26.68/26.71 c remove useless variable ce[2][10][3] 26.68/26.71 c remove useless variable ce[2][10][4] 26.68/26.71 c remove useless variable ce[2][10][5] 26.68/26.71 c remove useless variable ce[2][10][6] 26.68/26.71 c remove useless variable ce[2][10][7] 26.68/26.71 c remove useless variable ce[2][10][8] 26.68/26.71 c remove useless variable ce[2][10][9] 26.68/26.71 c remove useless variable ce[2][10][10] 26.68/26.71 c remove useless variable ce[2][11][0] 26.68/26.71 c remove useless variable ce[2][11][1] 26.68/26.71 c remove useless variable ce[2][11][2] 26.68/26.71 c remove useless variable ce[2][11][3] 26.68/26.71 c remove useless variable ce[2][11][4] 26.68/26.71 c remove useless variable ce[2][11][5] 26.68/26.71 c remove useless variable ce[2][11][6] 26.68/26.71 c remove useless variable ce[2][11][7] 26.68/26.71 c remove useless variable ce[2][11][8] 26.68/26.71 c remove useless variable ce[2][11][9] 26.68/26.71 c remove useless variable ce[2][11][10] 26.68/26.71 c remove useless variable ce[2][11][11] 26.68/26.71 c remove useless variable ce[3][0][0] 26.68/26.71 c remove useless variable ce[3][1][0] 26.68/26.71 c remove useless variable ce[3][1][1] 26.68/26.71 c remove useless variable ce[3][2][0] 26.68/26.71 c remove useless variable ce[3][2][1] 26.68/26.71 c remove useless variable ce[3][2][2] 26.68/26.71 c remove useless variable ce[3][3][0] 26.68/26.71 c remove useless variable ce[3][3][1] 26.68/26.71 c remove useless variable ce[3][3][2] 26.68/26.71 c remove useless variable ce[3][3][3] 26.68/26.71 c remove useless variable ce[3][4][0] 26.68/26.71 c remove useless variable ce[3][4][1] 26.68/26.71 c remove useless variable ce[3][4][2] 26.68/26.71 c remove useless variable ce[3][4][3] 26.68/26.71 c remove useless variable ce[3][4][4] 26.68/26.71 c remove useless variable ce[3][5][0] 26.68/26.71 c remove useless variable ce[3][5][1] 26.68/26.71 c remove useless variable ce[3][5][2] 26.68/26.71 c remove useless variable ce[3][5][3] 26.68/26.71 c remove useless variable ce[3][5][4] 26.68/26.71 c remove useless variable ce[3][5][5] 26.68/26.71 c remove useless variable ce[3][6][0] 26.68/26.71 c remove useless variable ce[3][6][1] 26.68/26.71 c remove useless variable ce[3][6][2] 26.68/26.71 c remove useless variable ce[3][6][3] 26.68/26.71 c remove useless variable ce[3][6][4] 26.68/26.71 c remove useless variable ce[3][6][5] 26.68/26.71 c remove useless variable ce[3][6][6] 26.68/26.71 c remove useless variable ce[3][7][0] 26.68/26.71 c remove useless variable ce[3][7][1] 26.68/26.71 c remove useless variable ce[3][7][2] 26.68/26.71 c remove useless variable ce[3][7][3] 26.68/26.71 c remove useless variable ce[3][7][4] 26.68/26.71 c remove useless variable ce[3][7][5] 26.68/26.71 c remove useless variable ce[3][7][6] 26.68/26.71 c remove useless variable ce[3][7][7] 26.68/26.71 c remove useless variable ce[3][8][0] 26.68/26.71 c remove useless variable ce[3][8][1] 26.68/26.71 c remove useless variable ce[3][8][2] 26.68/26.71 c remove useless variable ce[3][8][3] 26.68/26.71 c remove useless variable ce[3][8][4] 26.68/26.71 c remove useless variable ce[3][8][5] 26.68/26.71 c remove useless variable ce[3][8][6] 26.68/26.71 c remove useless variable ce[3][8][7] 26.68/26.71 c remove useless variable ce[3][8][8] 26.68/26.71 c remove useless variable ce[3][9][0] 26.68/26.71 c remove useless variable ce[3][9][1] 26.68/26.71 c remove useless variable ce[3][9][2] 26.68/26.71 c remove useless variable ce[3][9][3] 26.68/26.71 c remove useless variable ce[3][9][4] 26.68/26.71 c remove useless variable ce[3][9][5] 26.68/26.71 c remove useless variable ce[3][9][6] 26.68/26.71 c remove useless variable ce[3][9][7] 26.68/26.71 c remove useless variable ce[3][9][8] 26.68/26.71 c remove useless variable ce[3][9][9] 26.68/26.71 c remove useless variable ce[3][10][0] 26.68/26.71 c remove useless variable ce[3][10][1] 26.68/26.71 c remove useless variable ce[3][10][2] 26.68/26.71 c remove useless variable ce[3][10][3] 26.68/26.71 c remove useless variable ce[3][10][4] 26.68/26.71 c remove useless variable ce[3][10][5] 26.68/26.71 c remove useless variable ce[3][10][6] 26.68/26.71 c remove useless variable ce[3][10][7] 26.68/26.71 c remove useless variable ce[3][10][8] 26.68/26.71 c remove useless variable ce[3][10][9] 26.68/26.71 c remove useless variable ce[3][10][10] 26.68/26.71 c remove useless variable ce[3][11][0] 26.68/26.71 c remove useless variable ce[3][11][1] 26.68/26.71 c remove useless variable ce[3][11][2] 26.68/26.71 c remove useless variable ce[3][11][3] 26.68/26.71 c remove useless variable ce[3][11][4] 26.68/26.71 c remove useless variable ce[3][11][5] 26.68/26.71 c remove useless variable ce[3][11][6] 26.68/26.71 c remove useless variable ce[3][11][7] 26.68/26.71 c remove useless variable ce[3][11][8] 26.68/26.71 c remove useless variable ce[3][11][9] 26.68/26.71 c remove useless variable ce[3][11][10] 26.68/26.71 c remove useless variable ce[3][11][11] 26.68/26.71 c remove useless variable ce[4][0][0] 26.68/26.71 c remove useless variable ce[4][1][0] 26.68/26.71 c remove useless variable ce[4][1][1] 26.68/26.71 c remove useless variable ce[4][2][0] 26.68/26.71 c remove useless variable ce[4][2][1] 26.68/26.71 c remove useless variable ce[4][2][2] 26.68/26.71 c remove useless variable ce[4][3][0] 26.68/26.71 c remove useless variable ce[4][3][1] 26.68/26.71 c remove useless variable ce[4][3][2] 26.68/26.71 c remove useless variable ce[4][3][3] 26.68/26.71 c remove useless variable ce[4][4][0] 26.68/26.71 c remove useless variable ce[4][4][1] 26.68/26.71 c remove useless variable ce[4][4][2] 26.68/26.71 c remove useless variable ce[4][4][3] 26.68/26.71 c remove useless variable ce[4][4][4] 26.68/26.71 c remove useless variable ce[4][5][0] 26.68/26.71 c remove useless variable ce[4][5][1] 26.68/26.71 c remove useless variable ce[4][5][2] 26.68/26.71 c remove useless variable ce[4][5][3] 26.68/26.71 c remove useless variable ce[4][5][4] 26.68/26.71 c remove useless variable ce[4][5][5] 26.68/26.71 c remove useless variable ce[4][6][0] 26.68/26.71 c remove useless variable ce[4][6][1] 26.68/26.71 c remove useless variable ce[4][6][2] 26.68/26.71 c remove useless variable ce[4][6][3] 26.68/26.71 c remove useless variable ce[4][6][4] 26.68/26.71 c remove useless variable ce[4][6][5] 26.68/26.71 c remove useless variable ce[4][6][6] 26.68/26.71 c remove useless variable ce[4][7][0] 26.68/26.71 c remove useless variable ce[4][7][1] 26.68/26.71 c remove useless variable ce[4][7][2] 26.68/26.71 c remove useless variable ce[4][7][3] 26.68/26.71 c remove useless variable ce[4][7][4] 26.68/26.71 c remove useless variable ce[4][7][5] 26.68/26.71 c remove useless variable ce[4][7][6] 26.68/26.71 c remove useless variable ce[4][7][7] 26.68/26.71 c remove useless variable ce[4][8][0] 26.68/26.71 c remove useless variable ce[4][8][1] 26.68/26.71 c remove useless variable ce[4][8][2] 26.68/26.71 c remove useless variable ce[4][8][3] 26.68/26.71 c remove useless variable ce[4][8][4] 26.68/26.71 c remove useless variable ce[4][8][5] 26.68/26.71 c remove useless variable ce[4][8][6] 26.68/26.71 c remove useless variable ce[4][8][7] 26.68/26.71 c remove useless variable ce[4][8][8] 26.68/26.71 c remove useless variable ce[4][9][0] 26.68/26.71 c remove useless variable ce[4][9][1] 26.68/26.71 c remove useless variable ce[4][9][2] 26.68/26.71 c remove useless variable ce[4][9][3] 26.68/26.71 c remove useless variable ce[4][9][4] 26.68/26.71 c remove useless variable ce[4][9][5] 26.68/26.71 c remove useless variable ce[4][9][6] 26.68/26.71 c remove useless variable ce[4][9][7] 26.68/26.71 c remove useless variable ce[4][9][8] 26.68/26.71 c remove useless variable ce[4][9][9] 26.68/26.71 c remove useless variable ce[4][10][0] 26.68/26.71 c remove useless variable ce[4][10][1] 26.68/26.71 c remove useless variable ce[4][10][2] 26.68/26.71 c remove useless variable ce[4][10][3] 26.68/26.71 c remove useless variable ce[4][10][4] 26.68/26.71 c remove useless variable ce[4][10][5] 26.68/26.71 c remove useless variable ce[4][10][6] 26.68/26.71 c remove useless variable ce[4][10][7] 26.68/26.71 c remove useless variable ce[4][10][8] 26.68/26.71 c remove useless variable ce[4][10][9] 26.68/26.71 c remove useless variable ce[4][10][10] 26.68/26.71 c remove useless variable ce[4][11][0] 26.68/26.71 c remove useless variable ce[4][11][1] 26.68/26.71 c remove useless variable ce[4][11][2] 26.68/26.71 c remove useless variable ce[4][11][3] 26.68/26.71 c remove useless variable ce[4][11][4] 26.68/26.71 c remove useless variable ce[4][11][5] 26.68/26.71 c remove useless variable ce[4][11][6] 26.68/26.71 c remove useless variable ce[4][11][7] 26.68/26.71 c remove useless variable ce[4][11][8] 26.68/26.71 c remove useless variable ce[4][11][9] 26.68/26.71 c remove useless variable ce[4][11][10] 26.68/26.71 c remove useless variable ce[4][11][11] 26.68/26.71 c remove useless variable ce[5][0][0] 26.68/26.71 c remove useless variable ce[5][1][0] 26.68/26.71 c remove useless variable ce[5][1][1] 26.68/26.71 c remove useless variable ce[5][2][0] 26.68/26.71 c remove useless variable ce[5][2][1] 26.68/26.71 c remove useless variable ce[5][2][2] 26.68/26.71 c remove useless variable ce[5][3][0] 26.68/26.71 c remove useless variable ce[5][3][1] 26.68/26.71 c remove useless variable ce[5][3][2] 26.68/26.71 c remove useless variable ce[5][3][3] 26.68/26.71 c remove useless variable ce[5][4][0] 26.68/26.71 c remove useless variable ce[5][4][1] 26.68/26.71 c remove useless variable ce[5][4][2] 26.68/26.71 c remove useless variable ce[5][4][3] 26.68/26.71 c remove useless variable ce[5][4][4] 26.68/26.71 c remove useless variable ce[5][5][0] 26.68/26.71 c remove useless variable ce[5][5][1] 26.68/26.71 c remove useless variable ce[5][5][2] 26.68/26.71 c remove useless variable ce[5][5][3] 26.68/26.71 c remove useless variable ce[5][5][4] 26.68/26.71 c remove useless variable ce[5][5][5] 26.68/26.71 c remove useless variable ce[5][6][0] 26.68/26.71 c remove useless variable ce[5][6][1] 26.68/26.71 c remove useless variable ce[5][6][2] 26.68/26.71 c remove useless variable ce[5][6][3] 26.68/26.71 c remove useless variable ce[5][6][4] 26.68/26.71 c remove useless variable ce[5][6][5] 26.68/26.71 c remove useless variable ce[5][6][6] 26.68/26.71 c remove useless variable ce[5][7][0] 26.68/26.71 c remove useless variable ce[5][7][1] 26.68/26.71 c remove useless variable ce[5][7][2] 26.68/26.71 c remove useless variable ce[5][7][3] 26.68/26.71 c remove useless variable ce[5][7][4] 26.68/26.71 c remove useless variable ce[5][7][5] 26.68/26.71 c remove useless variable ce[5][7][6] 26.68/26.71 c remove useless variable ce[5][7][7] 26.68/26.71 c remove useless variable ce[5][8][0] 26.68/26.71 c remove useless variable ce[5][8][1] 26.68/26.71 c remove useless variable ce[5][8][2] 26.68/26.71 c remove useless variable ce[5][8][3] 26.68/26.71 c remove useless variable ce[5][8][4] 26.68/26.71 c remove useless variable ce[5][8][5] 26.68/26.71 c remove useless variable ce[5][8][6] 26.68/26.71 c remove useless variable ce[5][8][7] 26.68/26.71 c remove useless variable ce[5][8][8] 26.68/26.71 c remove useless variable ce[5][9][0] 26.68/26.71 c remove useless variable ce[5][9][1] 26.68/26.71 c remove useless variable ce[5][9][2] 26.68/26.71 c remove useless variable ce[5][9][3] 26.68/26.71 c remove useless variable ce[5][9][4] 26.68/26.71 c remove useless variable ce[5][9][5] 26.68/26.71 c remove useless variable ce[5][9][6] 26.68/26.71 c remove useless variable ce[5][9][7] 26.68/26.71 c remove useless variable ce[5][9][8] 26.68/26.71 c remove useless variable ce[5][9][9] 26.68/26.71 c remove useless variable ce[5][10][0] 26.68/26.71 c remove useless variable ce[5][10][1] 26.68/26.71 c remove useless variable ce[5][10][2] 26.68/26.71 c remove useless variable ce[5][10][3] 26.68/26.71 c remove useless variable ce[5][10][4] 26.68/26.71 c remove useless variable ce[5][10][5] 26.68/26.71 c remove useless variable ce[5][10][6] 26.68/26.71 c remove useless variable ce[5][10][7] 26.68/26.71 c remove useless variable ce[5][10][8] 26.68/26.71 c remove useless variable ce[5][10][9] 26.68/26.71 c remove useless variable ce[5][10][10] 26.68/26.71 c remove useless variable ce[5][11][0] 26.68/26.71 c remove useless variable ce[5][11][1] 26.68/26.71 c remove useless variable ce[5][11][2] 26.68/26.71 c remove useless variable ce[5][11][3] 26.68/26.71 c remove useless variable ce[5][11][4] 26.68/26.71 c remove useless variable ce[5][11][5] 26.68/26.71 c remove useless variable ce[5][11][6] 26.68/26.71 c remove useless variable ce[5][11][7] 26.68/26.71 c remove useless variable ce[5][11][8] 26.68/26.71 c remove useless variable ce[5][11][9] 26.68/26.71 c remove useless variable ce[5][11][10] 26.68/26.71 c remove useless variable ce[5][11][11] 26.68/26.71 c remove useless variable ce[6][0][0] 26.68/26.71 c remove useless variable ce[6][1][0] 26.68/26.71 c remove useless variable ce[6][1][1] 26.68/26.71 c remove useless variable ce[6][2][0] 26.68/26.71 c remove useless variable ce[6][2][1] 26.68/26.71 c remove useless variable ce[6][2][2] 26.68/26.71 c remove useless variable ce[6][3][0] 26.68/26.71 c remove useless variable ce[6][3][1] 26.68/26.71 c remove useless variable ce[6][3][2] 26.68/26.71 c remove useless variable ce[6][3][3] 26.68/26.71 c remove useless variable ce[6][4][0] 26.68/26.71 c remove useless variable ce[6][4][1] 26.68/26.71 c remove useless variable ce[6][4][2] 26.68/26.71 c remove useless variable ce[6][4][3] 26.68/26.71 c remove useless variable ce[6][4][4] 26.68/26.71 c remove useless variable ce[6][5][0] 26.68/26.71 c remove useless variable ce[6][5][1] 26.68/26.71 c remove useless variable ce[6][5][2] 26.68/26.71 c remove useless variable ce[6][5][3] 26.68/26.71 c remove useless variable ce[6][5][4] 26.68/26.71 c remove useless variable ce[6][5][5] 26.68/26.71 c remove useless variable ce[6][6][0] 26.68/26.71 c remove useless variable ce[6][6][1] 26.68/26.71 c remove useless variable ce[6][6][2] 26.68/26.71 c remove useless variable ce[6][6][3] 26.68/26.71 c remove useless variable ce[6][6][4] 26.68/26.71 c remove useless variable ce[6][6][5] 26.68/26.71 c remove useless variable ce[6][6][6] 26.68/26.71 c remove useless variable ce[6][7][0] 26.68/26.71 c remove useless variable ce[6][7][1] 26.68/26.71 c remove useless variable ce[6][7][2] 26.68/26.71 c remove useless variable ce[6][7][3] 26.68/26.71 c remove useless variable ce[6][7][4] 26.68/26.71 c remove useless variable ce[6][7][5] 26.68/26.71 c remove useless variable ce[6][7][6] 26.68/26.71 c remove useless variable ce[6][7][7] 26.68/26.71 c remove useless variable ce[6][8][0] 26.68/26.71 c remove useless variable ce[6][8][1] 26.68/26.71 c remove useless variable ce[6][8][2] 26.68/26.71 c remove useless variable ce[6][8][3] 26.68/26.71 c remove useless variable ce[6][8][4] 26.68/26.71 c remove useless variable ce[6][8][5] 26.68/26.71 c remove useless variable ce[6][8][6] 26.68/26.71 c remove useless variable ce[6][8][7] 26.68/26.71 c remove useless variable ce[6][8][8] 26.68/26.71 c remove useless variable ce[6][9][0] 26.68/26.71 c remove useless variable ce[6][9][1] 26.68/26.71 c remove useless variable ce[6][9][2] 26.68/26.71 c remove useless variable ce[6][9][3] 26.68/26.71 c remove useless variable ce[6][9][4] 26.68/26.71 c remove useless variable ce[6][9][5] 26.68/26.71 c remove useless variable ce[6][9][6] 26.68/26.71 c remove useless variable ce[6][9][7] 26.68/26.71 c remove useless variable ce[6][9][8] 26.68/26.71 c remove useless variable ce[6][9][9] 26.68/26.71 c remove useless variable ce[6][10][0] 26.68/26.71 c remove useless variable ce[6][10][1] 26.68/26.71 c remove useless variable ce[6][10][2] 26.68/26.71 c remove useless variable ce[6][10][3] 26.68/26.71 c remove useless variable ce[6][10][4] 26.68/26.71 c remove useless variable ce[6][10][5] 26.68/26.71 c remove useless variable ce[6][10][6] 26.68/26.71 c remove useless variable ce[6][10][7] 26.68/26.71 c remove useless variable ce[6][10][8] 26.68/26.71 c remove useless variable ce[6][10][9] 26.68/26.71 c remove useless variable ce[6][10][10] 26.68/26.71 c remove useless variable ce[6][11][0] 26.68/26.71 c remove useless variable ce[6][11][1] 26.68/26.71 c remove useless variable ce[6][11][2] 26.68/26.71 c remove useless variable ce[6][11][3] 26.68/26.71 c remove useless variable ce[6][11][4] 26.68/26.71 c remove useless variable ce[6][11][5] 26.68/26.71 c remove useless variable ce[6][11][6] 26.68/26.71 c remove useless variable ce[6][11][7] 26.68/26.71 c remove useless variable ce[6][11][8] 26.68/26.71 c remove useless variable ce[6][11][9] 26.68/26.71 c remove useless variable ce[6][11][10] 26.68/26.71 c remove useless variable ce[6][11][11] 26.68/26.71 c remove useless variable ce[7][0][0] 26.68/26.71 c remove useless variable ce[7][1][0] 26.68/26.71 c remove useless variable ce[7][1][1] 26.68/26.71 c remove useless variable ce[7][2][0] 26.68/26.71 c remove useless variable ce[7][2][1] 26.68/26.71 c remove useless variable ce[7][2][2] 26.68/26.71 c remove useless variable ce[7][3][0] 26.68/26.71 c remove useless variable ce[7][3][1] 26.68/26.71 c remove useless variable ce[7][3][2] 26.68/26.71 c remove useless variable ce[7][3][3] 26.68/26.71 c remove useless variable ce[7][4][0] 26.68/26.71 c remove useless variable ce[7][4][1] 26.68/26.71 c remove useless variable ce[7][4][2] 26.68/26.71 c remove useless variable ce[7][4][3] 26.68/26.71 c remove useless variable ce[7][4][4] 26.68/26.71 c remove useless variable ce[7][5][0] 26.68/26.71 c remove useless variable ce[7][5][1] 26.68/26.71 c remove useless variable ce[7][5][2] 26.68/26.71 c remove useless variable ce[7][5][3] 26.68/26.71 c remove useless variable ce[7][5][4] 26.68/26.71 c remove useless variable ce[7][5][5] 26.68/26.71 c remove useless variable ce[7][6][0] 26.68/26.71 c remove useless variable ce[7][6][1] 26.68/26.71 c remove useless variable ce[7][6][2] 26.68/26.71 c remove useless variable ce[7][6][3] 26.68/26.71 c remove useless variable ce[7][6][4] 26.68/26.71 c remove useless variable ce[7][6][5] 26.68/26.71 c remove useless variable ce[7][6][6] 26.68/26.71 c remove useless variable ce[7][7][0] 26.68/26.71 c remove useless variable ce[7][7][1] 26.68/26.71 c remove useless variable ce[7][7][2] 26.68/26.71 c remove useless variable ce[7][7][3] 26.68/26.71 c remove useless variable ce[7][7][4] 26.68/26.71 c remove useless variable ce[7][7][5] 26.68/26.71 c remove useless variable ce[7][7][6] 26.68/26.71 c remove useless variable ce[7][7][7] 26.68/26.71 c remove useless variable ce[7][8][0] 26.68/26.71 c remove useless variable ce[7][8][1] 26.68/26.71 c remove useless variable ce[7][8][2] 26.68/26.71 c remove useless variable ce[7][8][3] 26.68/26.71 c remove useless variable ce[7][8][4] 26.68/26.71 c remove useless variable ce[7][8][5] 26.68/26.71 c remove useless variable ce[7][8][6] 26.68/26.71 c remove useless variable ce[7][8][7] 26.68/26.71 c remove useless variable ce[7][8][8] 26.68/26.71 c remove useless variable ce[7][9][0] 26.68/26.71 c remove useless variable ce[7][9][1] 26.68/26.71 c remove useless variable ce[7][9][2] 26.68/26.71 c remove useless variable ce[7][9][3] 26.68/26.71 c remove useless variable ce[7][9][4] 26.68/26.71 c remove useless variable ce[7][9][5] 26.68/26.71 c remove useless variable ce[7][9][6] 26.68/26.71 c remove useless variable ce[7][9][7] 26.68/26.71 c remove useless variable ce[7][9][8] 26.68/26.71 c remove useless variable ce[7][9][9] 26.68/26.71 c remove useless variable ce[7][10][0] 26.68/26.71 c remove useless variable ce[7][10][1] 26.68/26.71 c remove useless variable ce[7][10][2] 26.68/26.71 c remove useless variable ce[7][10][3] 26.68/26.71 c remove useless variable ce[7][10][4] 26.68/26.71 c remove useless variable ce[7][10][5] 26.68/26.71 c remove useless variable ce[7][10][6] 26.68/26.71 c remove useless variable ce[7][10][7] 26.68/26.71 c remove useless variable ce[7][10][8] 26.68/26.71 c remove useless variable ce[7][10][9] 26.68/26.71 c remove useless variable ce[7][10][10] 26.68/26.71 c remove useless variable ce[7][11][0] 26.68/26.71 c remove useless variable ce[7][11][1] 26.68/26.71 c remove useless variable ce[7][11][2] 26.68/26.71 c remove useless variable ce[7][11][3] 26.68/26.71 c remove useless variable ce[7][11][4] 26.68/26.71 c remove useless variable ce[7][11][5] 26.68/26.71 c remove useless variable ce[7][11][6] 26.68/26.71 c remove useless variable ce[7][11][7] 26.68/26.71 c remove useless variable ce[7][11][8] 26.68/26.71 c remove useless variable ce[7][11][9] 26.68/26.71 c remove useless variable ce[7][11][10] 26.68/26.71 c remove useless variable ce[7][11][11] 26.68/26.71 c remove useless variable ce[8][0][0] 26.68/26.71 c remove useless variable ce[8][1][0] 26.68/26.71 c remove useless variable ce[8][1][1] 26.68/26.71 c remove useless variable ce[8][2][0] 26.68/26.71 c remove useless variable ce[8][2][1] 26.68/26.71 c remove useless variable ce[8][2][2] 26.68/26.71 c remove useless variable ce[8][3][0] 26.68/26.71 c remove useless variable ce[8][3][1] 26.68/26.71 c remove useless variable ce[8][3][2] 26.68/26.71 c remove useless variable ce[8][3][3] 26.68/26.71 c remove useless variable ce[8][4][0] 26.68/26.71 c remove useless variable ce[8][4][1] 26.68/26.71 c remove useless variable ce[8][4][2] 26.68/26.71 c remove useless variable ce[8][4][3] 26.68/26.71 c remove useless variable ce[8][4][4] 26.68/26.71 c remove useless variable ce[8][5][0] 26.68/26.71 c remove useless variable ce[8][5][1] 26.68/26.71 c remove useless variable ce[8][5][2] 26.68/26.71 c remove useless variable ce[8][5][3] 26.68/26.71 c remove useless variable ce[8][5][4] 26.68/26.71 c remove useless variable ce[8][5][5] 26.68/26.71 c remove useless variable ce[8][6][0] 26.68/26.71 c remove useless variable ce[8][6][1] 26.68/26.71 c remove useless variable ce[8][6][2] 26.68/26.71 c remove useless variable ce[8][6][3] 26.68/26.71 c remove useless variable ce[8][6][4] 26.68/26.71 c remove useless variable ce[8][6][5] 26.68/26.71 c remove useless variable ce[8][6][6] 26.68/26.71 c remove useless variable ce[8][7][0] 26.68/26.71 c remove useless variable ce[8][7][1] 26.68/26.71 c remove useless variable ce[8][7][2] 26.68/26.71 c remove useless variable ce[8][7][3] 26.68/26.71 c remove useless variable ce[8][7][4] 26.68/26.71 c remove useless variable ce[8][7][5] 26.68/26.71 c remove useless variable ce[8][7][6] 26.68/26.71 c remove useless variable ce[8][7][7] 26.68/26.71 c remove useless variable ce[8][8][0] 26.68/26.71 c remove useless variable ce[8][8][1] 26.68/26.71 c remove useless variable ce[8][8][2] 26.68/26.71 c remove useless variable ce[8][8][3] 26.68/26.71 c remove useless variable ce[8][8][4] 26.68/26.71 c remove useless variable ce[8][8][5] 26.68/26.71 c remove useless variable ce[8][8][6] 26.68/26.71 c remove useless variable ce[8][8][7] 26.68/26.71 c remove useless variable ce[8][8][8] 26.68/26.71 c remove useless variable ce[8][9][0] 26.68/26.71 c remove useless variable ce[8][9][1] 26.68/26.71 c remove useless variable ce[8][9][2] 26.68/26.71 c remove useless variable ce[8][9][3] 26.68/26.71 c remove useless variable ce[8][9][4] 26.68/26.71 c remove useless variable ce[8][9][5] 26.68/26.71 c remove useless variable ce[8][9][6] 26.68/26.71 c remove useless variable ce[8][9][7] 26.68/26.71 c remove useless variable ce[8][9][8] 26.68/26.71 c remove useless variable ce[8][9][9] 26.68/26.71 c remove useless variable ce[8][10][0] 26.68/26.71 c remove useless variable ce[8][10][1] 26.68/26.71 c remove useless variable ce[8][10][2] 26.68/26.71 c remove useless variable ce[8][10][3] 26.68/26.71 c remove useless variable ce[8][10][4] 26.68/26.71 c remove useless variable ce[8][10][5] 26.68/26.71 c remove useless variable ce[8][10][6] 26.68/26.71 c remove useless variable ce[8][10][7] 26.68/26.71 c remove useless variable ce[8][10][8] 26.68/26.71 c remove useless variable ce[8][10][9] 26.68/26.71 c remove useless variable ce[8][10][10] 26.68/26.71 c remove useless variable ce[8][11][0] 26.68/26.71 c remove useless variable ce[8][11][1] 26.68/26.71 c remove useless variable ce[8][11][2] 26.68/26.71 c remove useless variable ce[8][11][3] 26.68/26.71 c remove useless variable ce[8][11][4] 26.68/26.71 c remove useless variable ce[8][11][5] 26.68/26.71 c remove useless variable ce[8][11][6] 26.68/26.71 c remove useless variable ce[8][11][7] 26.68/26.71 c remove useless variable ce[8][11][8] 26.68/26.71 c remove useless variable ce[8][11][9] 26.68/26.71 c remove useless variable ce[8][11][10] 26.68/26.71 c remove useless variable ce[8][11][11] 27.67/27.74 c 10 700 239932 247856 0 10 691 691 628 28.57/28.62 c 20 1197 457411 477359 0 20 4 488 399 29.47/29.51 c 30 1728 681477 739161 0 30 4 522 147 29.47/29.55 c 40 1752 687293 758819 0 40 3 15 10 29.47/29.59 c 50 1778 691747 786003 0 50 7 17 11 29.57/29.61 c 60 1796 695398 801273 0 60 3 9 6 29.57/29.64 c 70 1817 699186 817411 0 70 6 12 9 29.57/29.66 c 80 1840 703620 836309 0 80 5 14 8 29.57/29.67 c 90 1863 707457 858086 0 90 6 14 10 29.67/29.70 c 100 1888 712588 879007 0 100 5 16 11 29.67/29.71 c 101 1902 716229 887023 0 101 14 14 7 29.67/29.73 c 110 1924 720660 906674 0 110 7 14 10 30.47/30.51 c 120 2304 902437 1170950 0 120 371 371 337 30.47/30.54 c 130 2328 906909 1192017 0 130 7 15 10 30.47/30.57 c 140 2357 912702 1219279 0 140 9 20 12 30.47/30.59 c 150 2377 917120 1234059 0 150 3 11 8 30.57/30.61 c 160 2398 920836 1250893 0 160 6 12 8 30.57/30.63 c 170 2421 925261 1267723 0 170 5 14 9 30.57/30.65 c 180 2441 928972 1281821 0 180 6 11 8 30.57/30.67 c 190 2462 932727 1296498 0 190 4 12 7 30.57/30.69 c 200 2482 936450 1312656 0 200 6 11 7 30.67/30.71 c 210 2503 940227 1328695 0 210 4 12 8 30.67/30.72 c 211 2507 941664 1330982 0 211 4 4 2 30.67/30.74 c 220 2524 944673 1346354 0 220 4 9 6 30.67/30.76 c 230 2547 949151 1365247 0 230 6 14 9 30.67/30.79 c 240 2576 954294 1390346 0 240 7 20 11 30.77/30.80 c 250 2592 957337 1403551 0 250 3 7 5 30.77/30.83 c 260 2613 961051 1418328 0 260 6 12 8 30.77/30.85 c 270 2636 965474 1435932 0 270 8 14 10 30.77/30.87 c 280 2656 969201 1453462 0 280 5 11 8 30.87/30.91 c 290 2685 975103 1479253 0 290 12 20 14 30.87/30.93 c 300 2707 979595 1496553 0 300 7 13 9 30.87/30.95 c 310 2730 984039 1515444 0 310 6 14 9 30.87/30.97 c 320 2753 987830 1533755 0 320 7 14 10 30.87/31.00 c 330 2779 993046 1559459 0 330 14 17 13 30.97/31.02 c 332 2785 995201 1563020 0 332 3 5 2 30.97/31.03 c 340 2801 998181 1574270 0 340 4 9 6 30.97/31.06 c 350 2824 1002701 1591669 0 350 12 14 12 30.97/31.09 c 360 2853 1008542 1617460 0 360 7 20 11 31.07/31.11 c 370 2872 1012267 1632029 0 370 3 10 6 31.07/31.15 c 380 2898 1017385 1656966 0 380 14 17 14 31.07/31.17 c 390 2917 1021156 1672229 0 390 5 10 6 31.16/31.21 c 400 2946 1026962 1702634 0 400 17 20 17 31.16/31.24 c 410 2971 1031592 1724749 0 410 10 16 12 31.16/31.27 c 420 2997 1036722 1749098 0 420 11 17 13 31.16/31.29 c 430 3016 1040496 1762983 0 430 3 10 6 31.26/31.31 c 440 3036 1044236 1778346 0 440 6 11 8 31.86/31.99 c 450 3345 1192762 1970448 0 450 20 300 43 31.97/32.01 c 460 3364 1196536 1984333 0 460 3 10 6 31.97/32.04 c 465 3382 1200945 1999679 0 465 11 14 9 31.97/32.05 c 470 3400 1204620 2014445 0 470 5 14 7 31.97/32.08 c 480 3423 1209097 2032653 0 480 6 14 8 31.97/32.10 c 490 3449 1214283 2054259 0 490 7 17 11 32.07/32.12 c 500 3471 1218730 2072463 0 500 5 13 9 32.07/32.14 c 510 3489 1221791 2085770 0 510 4 9 7 32.07/32.17 c 520 3512 1226292 2103872 0 520 9 14 11 32.07/32.19 c 530 3538 1231470 2124188 0 530 11 17 13 32.16/32.21 c 540 3563 1235974 2143744 0 540 7 16 12 32.16/32.24 c 550 3592 1241225 2165320 0 550 17 20 16 32.16/32.26 c 560 3614 1245688 2180887 0 560 4 13 8 32.16/32.28 c 570 3634 1249429 2197826 0 570 8 11 9 32.26/32.31 c 580 3657 1253900 2215935 0 580 6 14 9 32.26/32.33 c 590 3683 1257765 2238381 0 590 7 17 11 32.26/32.35 c 600 3705 1261570 2256605 0 600 5 13 9 32.26/32.37 c 610 3728 1266050 2274214 0 610 11 14 11 32.26/32.38 c 611 3734 1268193 2277984 0 611 6 6 3 32.36/32.40 c 620 3756 1271972 2296778 0 620 4 14 8 32.36/32.42 c 630 3779 1275789 2317159 0 630 7 14 11 32.36/32.43 c 640 3802 1278282 2335847 0 640 5 14 8 32.36/32.46 c 650 3837 1284226 2369783 0 650 17 26 17 32.36/32.48 c 660 3859 1288643 2386030 0 660 7 13 9 32.46/32.51 c 670 3882 1293218 2402963 0 670 9 14 10 32.46/32.53 c 680 3905 1297682 2419214 0 680 4 14 8 32.46/32.56 c 690 3928 1302174 2438101 0 690 6 14 10 32.46/32.57 c 700 3947 1305939 2453568 0 700 8 10 8 33.16/33.20 c 710 4233 1442688 2639157 0 710 14 277 86 33.16/33.22 c 720 4251 1446447 2652360 0 720 3 9 6 33.16/33.25 c 730 4277 1451697 2671062 0 730 17 17 15 33.16/33.28 c 740 4299 1456160 2686629 0 740 4 13 8 33.26/33.30 c 750 4322 1460683 2706987 0 750 14 14 12 33.26/33.36 c 760 4362 1469308 2740185 0 760 14 31 16 33.26/33.38 c 770 4384 1473736 2756333 0 770 5 13 9 33.26/33.40 c 771 4394 1477328 2762859 0 771 10 10 5 33.36/33.42 c 780 4413 1481079 2775485 0 780 4 11 6 33.36/33.44 c 790 4439 1486292 2798471 0 790 10 17 12 33.36/33.46 c 800 4458 1490062 2811784 0 800 8 10 8 33.36/33.49 c 810 4484 1494638 2832616 0 810 11 17 12 33.46/33.51 c 820 4503 1498390 2846715 0 820 5 10 7 33.46/33.53 c 830 4526 1502808 2863545 0 830 5 14 10 33.46/33.54 c 840 4546 1505913 2882666 0 840 5 11 8 33.46/33.56 c 850 4569 1510376 2899505 0 850 5 14 9 33.46/33.58 c 860 4592 1514152 2920425 0 860 14 14 12 33.56/33.60 c 870 4615 1518611 2938622 0 870 5 14 9 33.56/33.62 c 880 4638 1523071 2958186 0 880 5 14 10 33.56/33.65 c 890 4661 1527582 2975599 0 890 6 14 9 33.56/33.67 c 900 4684 1532023 2994567 0 900 8 14 11 33.66/33.70 c 910 4710 1537268 3013940 0 910 17 17 15 33.66/33.71 c 920 4729 1539727 3029767 0 920 5 10 7 33.66/33.72 c 930 4752 1544125 3048742 0 930 8 14 10 33.66/33.73 c 940 4775 1546632 3072354 0 940 5 14 8 33.66/33.75 c 947 4792 1550337 3085165 0 947 8 11 9 33.66/33.76 c 950 4805 1553903 3093852 0 950 8 11 6 33.66/33.79 c 960 4828 1558489 3115442 0 960 14 14 12 33.76/33.80 c 970 4851 1561631 3135966 0 970 7 14 9 33.76/33.82 c 980 4874 1566141 3156320 0 980 6 14 10 33.76/33.84 c 990 4897 1570574 3173931 0 990 7 14 10 33.76/33.89 c 1000 4941 1577860 3233553 0 1000 35 35 31 33.86/33.90 c 1010 4962 1581649 3253162 0 1010 5 12 9 33.86/33.96 c 1020 5013 1589694 3305413 0 1020 10 42 15 33.86/33.98 c 1030 5034 1594110 3323604 0 1030 5 12 9 33.86/34.00 c 1040 5057 1598585 3339174 0 1040 8 14 9 33.97/34.02 c 1050 5080 1602410 3360811 0 1050 5 14 10 33.97/34.03 c 1060 5103 1605593 3383836 0 1060 6 14 10 33.97/34.08 c 1070 5154 1612271 3442652 0 1070 14 42 24 33.97/34.10 c 1080 5178 1617391 3461518 0 1080 5 15 9 34.07/34.12 c 1090 5204 1621802 3483997 0 1090 10 17 11 34.07/34.14 c 1100 5223 1625600 3502791 0 1100 4 10 8 34.16/34.20 c 1110 5259 1633751 3577807 0 1110 14 27 17 34.16/34.22 c 1120 5277 1637504 3591113 0 1120 4 9 7 34.16/34.28 c 1130 5317 1645708 3702662 0 1130 31 31 28 34.26/34.30 c 1140 5335 1649507 3715866 0 1140 5 9 6 34.26/34.31 c 1141 5341 1651638 3719636 0 1141 6 6 3 34.26/34.38 c 1150 5376 1660443 3800666 0 1150 14 27 19 34.37/34.40 c 1160 5397 1664866 3815233 0 1160 3 12 7 34.37/34.42 c 1170 5420 1669401 3836084 0 1170 8 14 9 34.37/34.46 c 1180 5446 1674521 3862561 0 1180 14 17 13 34.37/34.48 c 1190 5467 1678972 3877911 0 1190 4 12 8 34.47/34.55 c 1200 5507 1687876 3984778 0 1200 31 31 28 34.47/34.58 c 1210 5531 1693094 4002074 0 1210 12 15 12 34.47/34.59 c 1220 5554 1695633 4023905 0 1220 8 14 10 34.57/34.62 c 1230 5580 1700753 4050317 0 1230 14 17 15 34.57/34.64 c 1240 5605 1705865 4070757 0 1240 10 16 11 34.57/34.67 c 1250 5631 1710313 4097252 0 1250 11 17 13 34.57/34.69 c 1260 5652 1714754 4112610 0 1260 4 12 7 34.67/34.76 c 1270 5688 1723655 4201738 0 1270 14 27 18 34.67/34.77 c 1280 5706 1727379 4215041 0 1280 4 9 7 34.77/34.84 c 1290 5743 1736161 4304205 0 1290 28 28 25 34.77/34.85 c 1300 5761 1739898 4318882 0 1300 4 9 7 34.77/34.87 c 1310 5781 1743681 4333573 0 1310 4 11 7 34.87/34.93 c 1320 5821 1752478 4418133 0 1320 14 31 22 34.87/34.96 c 1330 5842 1756924 4433390 0 1330 3 12 7 35.57/35.62 c 1340 6163 1903778 4645778 0 1340 312 312 283 35.57/35.64 c 1350 6181 1907540 4657613 0 1350 3 9 6 35.57/35.65 c 1352 6191 1910442 4664822 0 1352 9 9 6 35.67/35.73 c 1360 6226 1919591 4828289 0 1360 28 28 24 35.67/35.75 c 1370 6247 1924037 4843545 0 1370 3 12 8 35.77/35.82 c 1380 6285 1934026 4888713 0 1380 21 29 19 35.77/35.84 c 1390 6306 1938504 4903968 0 1390 3 12 7 35.87/35.91 c 1400 6345 1949069 4953348 0 1400 21 30 19 35.87/35.94 c 1410 6366 1953525 4969960 0 1410 9 12 9 35.98/36.01 c 1420 6404 1963864 5093567 0 1420 29 29 26 35.98/36.04 c 1430 6425 1968360 5109503 0 1430 7 12 8 36.08/36.11 c 1440 6464 1979200 5206754 0 1440 30 30 27 36.08/36.14 c 1450 6488 1984437 5223367 0 1450 15 15 13 36.08/36.16 c 1460 6511 1988258 5242953 0 1460 8 14 10 36.17/36.23 c 1470 6549 1998556 5357103 0 1470 18 29 25 36.17/36.26 c 1480 6573 2003817 5375081 0 1480 12 15 12 36.27/36.31 c 1490 6612 2011130 5424471 0 1490 14 30 17 36.27/36.34 c 1500 6636 2016301 5443919 0 1500 7 15 10 36.27/36.39 c 1510 6674 2026224 5483870 0 1510 7 29 11 36.37/36.43 c 1520 6703 2032793 5512077 0 1520 15 20 16 36.37/36.46 c 1530 6728 2038036 5533502 0 1530 5 16 9 36.47/36.50 c 1540 6754 2043120 5558618 0 1540 7 17 12 36.47/36.52 c 1550 6775 2047550 5574659 0 1550 4 12 8 36.47/36.54 c 1560 6798 2052120 5593434 0 1560 14 14 12 36.47/36.59 c 1570 6837 2059441 5671139 0 1570 17 30 23 36.57/36.61 c 1580 6861 2064730 5691944 0 1580 15 15 13 36.57/36.63 c 1585 6873 2067664 5699853 0 1585 5 8 6 36.57/36.69 c 1590 6906 2077634 5763362 0 1590 14 29 21 36.67/36.71 c 1600 6927 2082114 5781459 0 1600 9 12 10 36.67/36.77 c 1610 6966 2092197 5878196 0 1610 30 30 27 36.67/36.79 c 1620 6987 2096637 5896388 0 1620 5 12 9 36.77/36.81 c 1630 7010 2100525 5918853 0 1630 6 14 10 36.77/36.82 c 1640 7033 2103697 5940986 0 1640 7 14 10 36.77/36.88 c 1650 7071 2113916 6061397 0 1650 29 29 26 36.87/36.90 c 1660 7092 2117741 6081693 0 1660 5 12 9 36.87/36.92 c 1670 7111 2121518 6094521 0 1670 7 10 8 36.87/36.94 c 1680 7131 2125252 6107835 0 1680 4 11 7 36.87/36.96 c 1690 7152 2129063 6124665 0 1690 5 12 9 36.98/37.01 c 1700 7191 2138982 6162598 0 1700 7 30 12 36.98/37.03 c 1710 7210 2142779 6176581 0 1710 4 10 8 36.98/37.05 c 1720 7230 2146492 6190574 0 1720 4 11 8 36.98/37.08 c 1730 7253 2150988 6210056 0 1730 6 14 8 36.98/37.09 c 1740 7273 2153460 6227951 0 1740 5 11 8 36.98/37.10 c 1750 7296 2157854 6248298 0 1750 8 14 9 37.08/37.12 c 1760 7316 2161633 6265139 0 1760 5 11 8 37.17/37.20 c 1770 7354 2171411 6417141 0 1770 29 29 26 37.17/37.22 c 1780 7375 2175875 6431706 0 1780 7 12 8 37.17/37.29 c 1790 7414 2186439 6474408 0 1790 19 30 18 37.27/37.34 c 1800 7443 2193596 6502731 0 1800 20 20 18 37.27/37.38 c 1810 7474 2200884 6535413 0 1810 16 22 15 37.37/37.40 c 1820 7498 2206005 6554964 0 1820 5 15 9 37.37/37.45 c 1830 7536 2213987 6609169 0 1830 14 29 16 37.37/37.47 c 1840 7560 2219119 6628720 0 1840 5 15 9 37.37/37.48 c 1841 7567 2221985 6632010 0 1841 7 7 3 37.37/37.49 c 1850 7589 2225128 6651158 0 1850 7 14 9 37.47/37.51 c 1860 7612 2228305 6673852 0 1860 7 14 10 37.47/37.56 c 1870 7651 2238912 6724709 0 1870 10 30 16 37.47/37.58 c 1880 7672 2242702 6743631 0 1880 5 12 9 37.57/37.64 c 1890 7710 2251591 6863969 0 1890 29 29 26 37.57/37.67 c 1900 7734 2256729 6884297 0 1900 8 15 11 37.57/37.69 c 1910 7757 2261203 6899094 0 1910 5 14 8 37.67/37.71 c 1920 7780 2265646 6917401 0 1920 6 14 9 37.67/37.73 c 1930 7808 2270846 6948852 0 1930 7 19 10 37.67/37.75 c 1940 7832 2275979 6968404 0 1940 5 15 9 37.77/37.82 c 1950 7871 2286042 7065804 0 1950 30 30 27 37.77/37.84 c 1960 7892 2290477 7079901 0 1960 6 12 8 37.77/37.86 c 1970 7915 2293626 7102573 0 1970 5 14 8 37.87/37.93 c 1980 7953 2302756 7271214 0 1980 19 29 24 37.87/37.95 c 1990 7974 2307184 7287370 0 1990 6 12 8 37.87/37.97 c 2000 7997 2311732 7306243 0 2000 5 14 10 37.98/38.05 c 2010 8036 2322643 7437258 0 2010 30 30 27 37.98/38.08 c 2020 8060 2327839 7456604 0 2020 12 15 12 37.98/38.10 c 2030 8080 2331610 7470603 0 2030 8 11 9 38.08/38.18 c 2040 8120 2342286 7532660 0 2040 19 31 21 38.17/38.20 c 2050 8141 2346779 7547228 0 2050 3 12 7 38.17/38.28 c 2060 8180 2357758 7678303 0 2060 14 30 24 38.27/38.30 c 2070 8201 2362174 7692869 0 2070 3 12 8 38.27/38.38 c 2080 8241 2373629 7784022 0 2080 14 31 26 38.37/38.45 c 2090 8283 2383129 7880488 0 2090 33 33 30 38.37/38.48 c 2100 8304 2387605 7895745 0 2100 3 12 7 38.47/38.54 c 2110 8344 2398988 7933569 0 2110 14 31 14 38.47/38.56 c 2120 8362 2402749 7945403 0 2120 3 9 6 38.57/38.63 c 2122 8393 2412690 7990445 0 2122 30 30 20 38.57/38.65 c 2130 8415 2417837 8009796 0 2130 12 15 11 38.67/38.72 c 2140 8455 2427826 8078067 0 2140 19 31 22 38.67/38.74 c 2150 8476 2432293 8094791 0 2150 7 12 9 38.67/38.77 c 2160 8499 2436844 8112889 0 2160 14 14 12 38.77/38.84 c 2170 8538 2447533 8163526 0 2170 10 30 14 38.87/38.91 c 2180 8580 2457625 8235768 0 2180 20 33 24 38.87/38.93 c 2190 8601 2462035 8251908 0 2190 6 12 9 38.98/39.01 c 2200 8641 2473495 8349141 0 2200 31 31 28 38.98/39.03 c 2210 8662 2477999 8364399 0 2210 5 12 7 38.98/39.09 c 2220 8701 2488752 8408327 0 2220 14 30 14 39.08/39.11 c 2230 8719 2492532 8420162 0 2230 3 9 6 39.08/39.14 c 2240 8742 2496977 8436982 0 2240 6 14 11 39.17/39.21 c 2250 8782 2507663 8511271 0 2250 14 31 22 39.17/39.23 c 2260 8806 2512878 8531423 0 2260 12 15 12 39.17/39.25 c 2270 8829 2517375 8550312 0 2270 8 14 11 39.17/39.27 c 2280 8852 2521785 8566553 0 2280 8 14 9 39.17/39.29 c 2290 8875 2526283 8585446 0 2290 10 14 12 39.27/39.37 c 2300 8914 2537235 8713122 0 2300 30 30 27 39.37/39.40 c 2310 8938 2542468 8731788 0 2310 12 15 12 39.37/39.48 c 2320 8978 2553900 8824286 0 2320 19 31 27 39.47/39.50 c 2330 8999 2558337 8839636 0 2330 4 12 9 39.47/39.57 c 2340 9038 2568948 8884964 0 2340 19 30 18 39.57/39.64 c 2350 9080 2579143 8986237 0 2350 33 33 30 39.57/39.66 c 2360 9101 2583573 9002278 0 2360 4 12 8 39.67/39.74 c 2370 9141 2595047 9100108 0 2370 31 31 28 39.77/39.81 c 2380 9183 2605236 9179012 0 2380 15 33 23 39.77/39.83 c 2390 9201 2609035 9192901 0 2390 5 9 6 39.77/39.86 c 2400 9224 2613541 9208948 0 2400 11 14 11 39.87/39.92 c 2410 9264 2624295 9306172 0 2410 31 31 28 39.87/39.94 c 2420 9285 2628747 9326410 0 2420 5 12 9 39.87/39.96 c 2430 9308 2633224 9342662 0 2430 9 14 10 39.87/39.97 c 2431 9312 2634651 9344949 0 2431 4 4 2 39.87/39.99 c 2440 9331 2638332 9359829 0 2440 8 11 9 39.98/40.01 c 2450 9354 2642890 9378693 0 2450 12 14 12 39.98/40.03 c 2460 9377 2647334 9396312 0 2460 7 14 10 39.98/40.10 c 2470 9416 2657537 9486281 0 2470 14 30 21 40.08/40.13 c 2480 9440 2662748 9505722 0 2480 12 15 12 40.08/40.14 c 2490 9463 2665904 9526904 0 2490 5 14 9 40.17/40.21 c 2500 9502 2676170 9658005 0 2500 30 30 27 40.17/40.23 c 2510 9523 2680626 9672102 0 2510 5 12 7 40.27/40.30 c 2520 9563 2691976 9709216 0 2520 14 31 14 40.27/40.36 c 2530 9605 2700164 9792233 0 2530 15 33 20 40.27/40.37 c 2540 9626 2703976 9811842 0 2540 5 12 9 40.37/40.44 c 2550 9666 2715402 9909904 0 2550 31 31 28 40.47/40.51 c 2560 9708 2724883 9991031 0 2560 15 33 25 40.47/40.56 c 2570 9748 2734281 10045116 0 2570 12 31 17 40.57/40.62 c 2580 9790 2742590 10192193 0 2580 33 33 30 40.57/40.67 c 2590 9830 2752002 10288751 0 2590 31 31 28 40.67/40.74 c 2600 9872 2761230 10463414 0 2600 33 33 30 40.77/40.80 c 2610 9912 2771324 10560637 0 2610 31 31 28 40.77/40.85 c 2620 9955 2780706 10592253 0 2620 34 34 30 40.77/40.88 c 2630 9980 2785820 10613965 0 2630 6 16 10 40.87/40.90 c 2640 10004 2790942 10633517 0 2640 5 15 9 40.87/40.95 c 2650 10041 2799632 10663903 0 2650 14 28 19 40.87/40.98 c 2660 10063 2804107 10678699 0 2660 5 13 7 40.87/40.99 c 2670 10087 2807928 10704135 0 2670 6 15 9 40.87/41.00 c 2680 10110 2811116 10724665 0 2680 7 14 10 40.97/41.05 c 2690 10148 2821063 10753148 0 2690 15 29 25 40.97/41.08 c 2700 10173 2826177 10774856 0 2700 6 16 10 41.08/41.12 c 2710 10210 2834888 10804552 0 2710 15 28 18 41.08/41.15 c 2720 10238 2840860 10832329 0 2720 19 19 17 41.08/41.19 c 2730 10275 2848182 10864197 0 2730 14 28 19 41.17/41.23 c 2740 10308 2854730 10902210 0 2740 19 24 20 41.17/41.25 c 2750 10333 2860535 10922443 0 2750 5 16 9 41.17/41.29 c 2760 10369 2867177 10950827 0 2760 27 27 24 41.26/41.33 c 2770 10407 2874404 10992928 0 2770 24 29 22 41.26/41.35 c 2771 10423 2880136 11004243 0 2771 16 16 8 41.26/41.38 c 2780 10454 2886064 11027897 0 2780 23 23 20 41.36/41.43 c 2790 10498 2894027 11073376 0 2790 29 35 28 41.36/41.45 c 2800 10523 2899832 11093609 0 2800 5 16 9 41.36/41.48 c 2810 10555 2905780 11131451 0 2810 23 23 20 41.46/41.53 c 2820 10599 2913717 11176943 0 2820 35 35 31 41.46/41.56 c 2830 10631 2921042 11203263 0 2830 15 23 15 41.46/41.58 c 2840 10660 2926257 11232483 0 2840 16 20 16 41.56/41.61 c 2850 10684 2931378 11251350 0 2850 5 15 9 41.56/41.63 c 2860 10715 2936652 11278412 0 2860 22 22 20 41.56/41.65 c 2870 10744 2941898 11307628 0 2870 16 20 15 41.56/41.68 c 2880 10775 2948513 11332568 0 2880 22 22 20 41.66/41.72 c 2890 10808 2954346 11369983 0 2890 20 24 19 41.66/41.75 c 2900 10836 2960294 11391563 0 2900 15 19 14 41.66/41.78 c 2910 10869 2966116 11430312 0 2910 20 24 20 41.76/41.80 c 2920 10893 2971274 11449173 0 2920 5 15 10 41.76/41.82 c 2930 10924 2976537 11477152 0 2930 14 22 14 41.76/41.86 c 2940 10953 2982397 11509737 0 2940 13 20 15 41.76/41.89 c 2950 10984 2989695 11534705 0 2950 12 22 15 41.86/41.93 c 2960 11013 2995542 11565241 0 2960 13 20 15 41.86/41.95 c 2970 11041 3002131 11588163 0 2970 12 19 14 41.86/41.99 c 2980 11074 3008630 11626860 0 2980 20 24 20 41.97/42.02 c 2990 11102 3015225 11649770 0 2990 15 19 16 41.97/42.05 c 3000 11128 3020389 11670087 0 3000 9 17 13 41.97/42.06 c 3010 11156 3024887 11693088 0 3010 19 19 17 41.97/42.08 c 3020 11182 3029451 11716888 0 3020 9 17 12 41.97/42.10 c 3030 11210 3033987 11741426 0 3030 10 19 14 42.07/42.13 c 3040 11239 3038563 11774092 0 3040 17 20 17 42.07/42.14 c 3050 11263 3043098 11795040 0 3050 8 15 11 42.07/42.19 c 3060 11301 3048402 11842456 0 3060 19 29 18 42.16/42.21 c 3070 11327 3054266 11864719 0 3070 8 17 13 42.16/42.23 c 3080 11365 3059458 11907418 0 3080 29 29 26 42.16/42.27 c 3090 11396 3067430 11933020 0 3090 17 22 19 42.26/42.30 c 3100 11429 3071974 11976650 0 3100 20 24 21 42.26/42.32 c 3110 11453 3076509 11997598 0 3110 8 15 11 42.26/42.34 c 3120 11491 3081701 12040308 0 3120 29 29 26 42.26/42.39 c 3130 11522 3089862 12110668 0 3130 22 22 20 42.36/42.42 c 3140 11560 3095085 12153429 0 3140 29 29 26 42.36/42.46 c 3142 11583 3102983 12185137 0 3142 22 22 14 42.46/42.50 c 3150 11625 3108240 12233976 0 3150 29 35 29 42.46/42.52 c 3160 11649 3112775 12254924 0 3160 8 15 11 42.46/42.55 c 3170 11693 3118653 12309091 0 3170 35 35 31 42.46/42.58 c 3180 11722 3124587 12332684 0 3180 15 20 17 42.46/42.59 c 3190 11748 3128464 12356528 0 3190 6 17 10 42.56/42.62 c 3200 11776 3134302 12381724 0 3200 9 19 13 42.56/42.63 c 3210 11802 3138225 12403516 0 3210 17 17 15 42.56/42.67 c 3220 11853 3144811 12463752 0 3220 35 42 32 42.56/42.69 c 3230 11877 3149346 12484700 0 3230 8 15 11 42.66/42.74 c 3240 11936 3156665 12561058 0 3240 42 50 39 42.66/42.76 c 3250 11959 3161812 12579261 0 3250 5 14 9 42.66/42.79 c 3260 11982 3166232 12596875 0 3260 8 14 10 42.76/42.82 c 3270 12041 3173517 12667196 0 3270 50 50 45 42.76/42.85 c 3280 12070 3180137 12691450 0 3280 14 20 17 42.76/42.87 c 3290 12103 3184024 12718762 0 3290 17 24 18 42.76/42.89 c 3300 12126 3188485 12739041 0 3300 5 14 9 42.86/42.93 c 3310 12154 3195031 12762091 0 3310 14 19 15 42.86/42.96 c 3320 12183 3200864 12792635 0 3320 13 20 15 42.86/42.98 c 3330 12203 3205366 12808693 0 3330 4 11 6 42.97/43.01 c 3340 12231 3211870 12831143 0 3340 10 19 14 42.97/43.03 c 3350 12253 3216267 12848847 0 3350 10 13 11 42.97/43.07 c 3360 12312 3223546 12914479 0 3360 50 50 45 42.97/43.09 c 3370 12332 3228048 12930537 0 3370 4 11 6 43.07/43.12 c 3380 12360 3234683 12975389 0 3380 19 19 17 43.07/43.16 c 3390 12389 3240513 13003988 0 3390 13 20 15 43.07/43.18 c 3400 12409 3244894 13020915 0 3400 4 11 8 43.16/43.22 c 3410 12468 3252170 13084545 0 3410 50 50 45 43.16/43.26 c 3420 12497 3258925 13142107 0 3420 20 20 18 43.16/43.27 c 3430 12516 3262671 13156990 0 3430 4 10 8 43.26/43.30 c 3440 12543 3268452 13178108 0 3440 5 18 11 43.26/43.34 c 3450 12576 3274334 13220328 0 3450 5 24 19 43.26/43.36 c 3460 12596 3278715 13237255 0 3460 4 11 8 43.26/43.37 c 3470 12618 3281890 13261454 0 3470 6 13 9 43.26/43.39 c 3480 12641 3286308 13279061 0 3480 8 14 10 43.36/43.41 c 3490 12660 3290095 13295314 0 3490 8 10 8 43.36/43.43 c 3500 12682 3294519 13312940 0 3500 7 13 9 43.36/43.45 c 3510 12702 3298273 13329785 0 3510 6 11 7 43.36/43.47 c 3520 12721 3301999 13343885 0 3520 6 10 7 43.36/43.49 c 3530 12743 3306466 13361506 0 3530 8 13 9 43.46/43.51 c 3540 12766 3310918 13380388 0 3540 5 14 10 43.46/43.53 c 3550 12788 3314738 13400768 0 3550 7 13 10 43.46/43.54 c 3551 12794 3316882 13404538 0 3551 6 6 3 43.46/43.55 c 3560 12815 3320014 13423910 0 3560 7 13 9 43.46/43.58 c 3570 12838 3324444 13440747 0 3570 6 14 8 43.56/43.61 c 3580 12866 3330969 13463805 0 3580 7 19 11 43.56/43.63 c 3590 12888 3335435 13480640 0 3590 5 13 9 43.56/43.67 c 3600 12947 3342709 13544281 0 3600 50 50 45 43.66/43.70 c 3610 12976 3350003 13566449 0 3610 11 20 12 43.66/43.74 c 3620 13009 3356547 13607164 0 3620 20 24 21 43.66/43.76 c 3630 13032 3361724 13626031 0 3630 8 14 10 43.76/43.81 c 3640 13060 3368336 13659254 0 3640 19 19 17 43.76/43.85 c 3650 13098 3375636 13708100 0 3650 24 29 22 43.76/43.89 c 3660 13129 3382924 13736477 0 3660 13 22 14 43.86/43.92 c 3670 13167 3390201 13778556 0 3670 29 29 26 43.86/43.96 c 3680 13198 3397523 13806173 0 3680 22 22 20 43.86/43.98 c 3690 13227 3402083 13834748 0 3690 13 20 13 43.97/44.02 c 3700 13255 3408697 13854207 0 3700 11 19 12 43.97/44.07 c 3710 13299 3416675 13900350 0 3710 29 35 26 43.97/44.09 c 3720 13322 3421774 13917171 0 3720 5 14 10 44.07/44.14 c 3730 13360 3428735 13996683 0 3730 19 29 18 44.07/44.16 c 3740 13382 3433221 14014302 0 3740 8 13 9 44.07/44.18 c 3750 13409 3437148 14041229 0 3750 13 18 15 44.16/44.22 c 3760 13447 3443744 14088165 0 3760 24 29 23 44.16/44.24 c 3770 13469 3448141 14107228 0 3770 10 13 11 44.16/44.27 c 3780 13497 3454008 14127566 0 3780 13 19 14 44.16/44.29 c 3790 13522 3459274 14147801 0 3790 13 16 14 44.26/44.34 c 3800 13560 3465894 14191994 0 3800 29 29 26 44.26/44.37 c 3810 13590 3472563 14221082 0 3810 21 21 19 44.36/44.41 c 3820 13634 3480545 14275330 0 3820 35 35 31 44.36/44.43 c 3830 13657 3485006 14295609 0 3830 5 14 9 44.36/44.46 c 3840 13684 3490861 14319344 0 3840 14 18 13 44.36/44.49 c 3850 13706 3495341 14336878 0 3850 5 13 9 44.46/44.51 c 3860 13733 3500546 14359261 0 3860 18 18 16 44.46/44.53 c 3870 13752 3504344 14374828 0 3870 7 10 8 44.46/44.54 c 3880 13779 3508215 14400013 0 3880 13 18 14 44.46/44.56 c 3890 13801 3512648 14415568 0 3890 11 13 11 44.56/44.62 c 3900 13845 3519306 14473199 0 3900 18 35 24 44.56/44.64 c 3910 13868 3524461 14490031 0 3910 6 14 8 44.56/44.67 c 3920 13891 3528994 14509613 0 3920 11 14 11 44.56/44.68 c 3930 13918 3532812 14533294 0 3930 18 18 16 44.66/44.70 c 3940 13940 3537275 14552966 0 3940 13 13 11 44.66/44.74 c 3950 13984 3543883 14604692 0 3950 35 35 31 44.66/44.75 c 3960 14004 3547011 14620077 0 3960 4 11 7 44.66/44.77 c 3970 14026 3551484 14637695 0 3970 8 13 10 44.76/44.80 c 3980 14053 3557382 14658581 0 3980 14 18 15 44.76/44.82 c 3990 14075 3561944 14680243 0 3990 9 13 9 44.76/44.85 c 4000 14102 3567741 14702042 0 4000 9 18 12 44.76/44.88 c 4001 14131 3574245 14725841 0 4001 29 29 14 44.86/44.92 c 4010 14160 3580791 14748956 0 4010 16 21 16 44.86/44.95 c 4020 14198 3587387 14791128 0 4020 29 29 26 44.86/45.00 c 4030 14236 3594681 14839957 0 4030 21 29 23 44.97/45.03 c 4040 14264 3601242 14861616 0 4040 14 19 15 44.97/45.07 c 4050 14308 3608541 14914570 0 4050 29 35 29 44.97/45.10 c 4060 14331 3613626 14932858 0 4060 8 14 9 45.07/45.14 c 4070 14364 3620229 14966789 0 4070 18 24 18 45.07/45.19 c 4080 14402 3627592 15025032 0 4080 19 29 22 45.16/45.21 c 4090 14422 3631973 15041959 0 4090 4 11 8 45.16/45.25 c 4100 14466 3637867 15094077 0 4100 18 35 27 45.16/45.28 c 4110 14486 3642331 15110231 0 4110 6 11 8 45.26/45.31 c 4120 14530 3646374 15170698 0 4120 18 35 20 45.26/45.33 c 4130 14550 3650899 15186755 0 4130 6 11 7 45.26/45.35 c 4140 14577 3656719 15208545 0 4140 9 18 12 45.26/45.38 c 4150 14606 3661949 15237054 0 4150 13 20 13 45.36/45.41 c 4160 14633 3667204 15259351 0 4160 11 18 13 45.36/45.44 c 4170 14666 3671772 15296789 0 4170 20 24 20 45.36/45.46 c 4180 14686 3676209 15312258 0 4180 6 11 7 45.36/45.49 c 4190 14730 3682086 15365745 0 4190 35 35 31 45.46/45.52 c 4200 14758 3688715 15385199 0 4200 11 19 13 45.46/45.56 c 4210 14791 3694621 15427889 0 4210 24 24 21 45.56/45.61 c 4220 14835 3702602 15485367 0 4220 29 35 30 45.56/45.64 c 4230 14863 3709181 15507701 0 4230 14 19 15 45.56/45.68 c 4240 14907 3716473 15562041 0 4240 35 35 31 45.66/45.73 c 4250 14945 3723838 15622315 0 4250 19 29 23 45.66/45.79 c 4260 14997 3733206 15696446 0 4260 43 43 39 45.76/45.81 c 4270 15020 3738278 15714734 0 4270 8 14 9 45.76/45.84 c 4280 15047 3744163 15737768 0 4280 18 18 16 45.76/45.87 c 4290 15072 3749356 15756077 0 4290 13 16 14 45.86/45.90 c 4300 15098 3754544 15774270 0 4300 14 17 13 45.86/45.95 c 4310 15150 3761877 15839270 0 4310 24 43 27 45.86/45.97 c 4320 15177 3767121 15861567 0 4320 11 18 13 46.57/46.60 c 4330 15522 3912180 16099239 0 4330 43 336 119 46.57/46.62 c 4340 15545 3916639 16119521 0 4340 5 14 8 46.57/46.65 c 4350 15571 3921843 16142570 0 4350 17 17 15 46.67/46.70 c 4360 15604 3927756 16177962 0 4360 20 24 18 46.67/46.73 c 4370 15627 3932911 16196854 0 4370 11 14 11 46.67/46.75 c 4380 15653 3937493 16218490 0 4380 14 17 14 46.67/46.78 c 4390 15678 3942675 16236098 0 4390 13 16 14 46.77/46.83 c 4400 15711 3949305 16268585 0 4400 17 24 16 46.77/46.87 c 4410 15749 3955958 16309193 0 4410 18 29 18 46.87/46.90 c 4420 15776 3961840 16330858 0 4420 14 18 14 46.87/46.94 c 4430 15820 3969111 16383861 0 4430 35 35 31 46.87/46.98 c 4440 15853 3975728 16417060 0 4440 4 24 16 46.98/47.01 c 4450 15880 3981609 16438724 0 4450 14 18 14 46.98/47.07 c 4460 15949 3991617 16512444 0 4460 35 60 38 46.98/47.09 c 4470 15969 3995998 16529371 0 4470 4 11 8 47.08/47.12 c 4480 16002 4002541 16564713 0 4480 17 24 18 47.08/47.16 c 4490 16040 4009169 16619655 0 4490 29 29 26 47.17/47.20 c 4493 16067 4016333 16647401 0 4493 18 25 17 47.17/47.22 c 4500 16081 4020026 16657372 0 4500 3 8 5 47.17/47.23 c 4510 16103 4023161 16675921 0 4510 5 13 8 47.17/47.25 c 4520 16123 4026887 16690700 0 4520 6 11 8 47.17/47.28 c 4530 16149 4032013 16713786 0 4530 7 17 10 47.27/47.32 c 4540 16182 4037918 16753818 0 4540 20 24 20 47.27/47.34 c 4550 16202 4042378 16768487 0 4550 7 11 8 47.37/47.40 c 4560 16270 4052460 16827272 0 4560 17 59 23 47.37/47.42 c 4570 16290 4056897 16841272 0 4570 4 11 7 47.37/47.48 c 4580 16358 4066907 16912159 0 4580 59 59 53 47.47/47.51 c 4590 16385 4072172 16931614 0 4590 11 18 13 47.47/47.58 c 4600 16453 4081007 17021266 0 4600 24 59 30 47.57/47.60 c 4610 16473 4085432 17035259 0 4610 4 11 7 47.57/47.62 c 4620 16499 4089956 17056997 0 4620 17 17 15 47.67/47.70 c 4630 16577 4099464 17174951 0 4630 29 69 53 47.67/47.72 c 4640 16600 4104619 17191783 0 4640 6 14 8 47.67/47.75 c 4650 16629 4109230 17222293 0 4650 16 20 15 47.67/47.77 c 4660 16649 4113668 17236283 0 4660 4 11 8 47.77/47.84 c 4670 16717 4121766 17330528 0 4670 17 59 42 47.77/47.86 c 4680 16734 4125550 17344526 0 4680 4 8 6 47.77/47.89 c 4690 16759 4130727 17362047 0 4690 10 16 10 48.47/48.53 c 4700 17116 4272178 17628501 0 4700 17 348 152 48.47/48.55 c 4710 17139 4277325 17647386 0 4710 5 14 9 48.57/48.64 c 4720 17228 4287533 17754277 0 4720 43 80 67 48.57/48.66 c 4730 17251 4292680 17773162 0 4730 5 14 9 49.27/49.39 c 4740 17784 4477169 18142992 0 4740 70 524 187 49.37/49.41 c 4750 17807 4482316 18161877 0 4750 5 14 9 49.37/49.49 c 4760 17875 4491095 18236048 0 4760 16 59 22 49.47/49.51 c 4770 17901 4496344 18256275 0 4770 14 17 14 49.47/49.53 c 4780 17924 4500818 18274470 0 4780 11 14 12 50.08/50.19 c 4790 18365 4659293 18560042 0 4790 13 432 72 50.17/50.22 c 4800 18388 4664441 18578928 0 4800 5 14 9 50.77/50.88 c 4810 18841 4826240 18850293 0 4810 92 444 275 50.87/50.90 c 4820 18864 4831388 18869179 0 4820 5 14 9 51.47/51.56 c 4830 19295 4988313 19158500 0 4830 71 422 170 51.47/51.58 c 4840 19318 4993461 19177386 0 4840 5 14 9 51.57/51.67 c 4850 19425 5005005 19317334 0 4850 71 98 76 51.67/51.70 c 4860 19448 5010153 19336220 0 4860 5 14 9 51.67/51.77 c 4870 19551 5021075 19437882 0 4870 94 94 85 51.67/51.79 c 4880 19571 5024175 19452580 0 4880 4 11 7 51.77/51.81 c 4890 19593 5028666 19472936 0 4890 13 13 11 51.86/51.90 c 4900 19674 5039476 19576817 0 4900 16 72 30 51.86/51.92 c 4910 19694 5043917 19590914 0 4910 3 11 7 51.86/51.94 c 4920 19719 5047782 19609927 0 4920 7 16 10 51.86/51.96 c 4930 19742 5052213 19628908 0 4930 7 14 10 51.86/51.98 c 4940 19764 5056703 19648589 0 4940 13 13 11 51.97/52.08 c 4950 19875 5067699 19778712 0 4950 59 102 78 51.97/52.10 c 4960 19895 5072140 19792809 0 4960 3 11 7 52.07/52.11 c 4970 19917 5074656 19811115 0 4970 5 13 8 52.07/52.13 c 4980 19939 5079101 19827358 0 4980 8 13 10 52.07/52.16 c 4990 19968 5084970 19851126 0 4990 8 20 11 52.16/52.29 c 5035 20114 5095314 20099997 0 5035 17 102 71 53.07/53.18 c 5631 20804 5128434 24266517 0 5631 14 95 92 53.46/53.52 c 6286 21464 5159267 26060340 0 6286 4 6 5 54.36/54.43 c 7006 22652 5324476 27662493 0 6776 8 468 334 55.76/55.85 c 7798 23484 5370724 34801609 0 6921 8 40 39 56.66/56.79 c 8669 24847 5534846 36677260 0 7584 3 492 345 57.66/57.77 c 9627 26308 5693066 39341426 0 8344 6 504 299 59.16/59.22 c 10680 27442 5749875 47799481 0 8719 9 81 38 60.75/60.83 c 11838 29292 6013439 52632159 0 9201 691 691 690 61.55/61.61 c 13111 30652 6057071 56215989 0 9873 5 87 84 64.26/64.33 c 14511 32745 6368762 64653373 0 9910 8 691 355 65.76/65.84 c 16051 34382 6411122 72963027 0 10261 6 96 91 67.86/67.99 c 17745 36771 6689874 82564117 0 10602 691 691 690 70.36/70.45 c 19608 38729 6760936 93854517 0 11273 8 94 88 71.76/71.89 c 21657 40870 6835034 102092896 0 12061 9 91 85 73.07/73.15 c 23910 43631 6978611 105976581 0 12893 4 502 361 74.07/74.19 c 26388 46142 7061596 111763869 0 13322 10 16 15 76.07/76.11 c 29113 49034 7120862 122003399 0 13899 4 164 147 78.36/78.47 c 32110 52071 7233251 136583596 0 14216 5 37 36 80.07/80.12 c 35406 55552 7312583 145347247 0 15359 6 161 143 82.36/82.41 c 39031 59230 7431142 159190416 0 15655 8 39 33 83.66/83.78 c 43018 63250 7562335 167827235 0 16291 7 29 28 85.16/85.22 c 47403 68252 7730887 171817522 0 17764 10 522 454 89.35/89.42 c 52226 73385 7841417 199946472 0 19437 12 179 163 90.25/90.34 c 57531 78713 8011604 207196208 0 19934 17 17 16 93.45/93.56 c 63366 84582 8213393 226130540 0 20401 27 27 26 108.65/108.74 c 69784 91101 8520205 298983150 0 20830 5 92 90 110.55/110.62 c 76843 98200 8755214 311901266 0 21073 8 12 11 121.97/122.03 c 84607 106001 9119324 371259108 0 21357 4 27 26 126.86/126.98 c 93147 114690 9355446 402089232 0 21854 5 137 134 135.25/135.36 c 102541 124700 9630912 466873285 0 22398 8 558 535 147.06/147.16 c 112874 135299 9921210 534748509 0 22966 4 246 239 148.96/149.04 c 124240 146693 10288195 550271679 0 23420 8 13 12 156.25/156.35 c 136742 159387 10681588 605486593 0 23831 4 31 30 161.75/161.83 c 150494 173203 11111661 643680459 0 24263 5 45 44 170.06/170.18 c 165621 188556 11454226 694929548 0 25568 4 190 186 180.65/180.78 c 182260 205264 12080067 742906698 0 26287 6 46 45 192.15/192.21 c 200562 223644 12662732 824229487 0 26693 7 44 43 195.44/195.56 c 220694 243817 13308943 851830951 0 27134 13 13 12 208.24/208.39 c 242839 266079 13995072 949095962 0 27849 4 23 22 212.75/212.86 c 267198 290507 14885725 983121037 0 28181 5 34 33 222.75/222.88 c 293992 317505 15701952 1056427392 0 28455 4 45 44 253.15/253.29 c 323465 347261 16356307 1251871269 0 29740 6 226 223 258.65/258.79 c 355885 379745 17525796 1296462633 0 30168 18 18 17 264.65/264.78 c 391547 415641 18674736 1345362638 0 30522 23 27 26 279.55/279.63 c 430775 455127 19874895 1452136588 0 30932 9 30 29 290.55/290.63 c 473925 498546 21286683 1531033810 0 31391 4 18 17 391.05/391.16 c 521390 546188 23082594 2074522191 0 32368 8 100 99 399.54/399.61 c 573601 598485 24749567 2145681589 0 33054 12 12 11 444.95/445.09 c 631033 656048 26736280 2402625644 0 33788 27 46 45 588.53/588.65 c 694208 719429 30251820 3095522521 0 34593 9 102 101 599.73/599.87 c 763700 789027 32464669 3190212034 0 34698 6 6 5 619.64/619.72 c 840141 865593 34772457 3329367067 0 34978 4 14 13 763.43/763.53 c 924226 950967 38197001 4133735928 0 35794 6 47 46 836.73/836.85 c 1016719 1044401 41341671 4538558353 0 37551 4 109 105 911.33/911.48 c 1118461 1147493 44783370 5056290581 0 38094 5 56 54 940.32/940.42 c 1230377 1259611 48346804 5255362943 0 38476 5 36 34 1024.82/1024.96 c 1353484 1382926 52548828 5881283166 0 38830 9 25 24 1060.12/1060.22 c 1488901 1518571 56922660 6131282175 0 39546 4 28 27 1100.42/1100.58 c 1637859 1667783 61348821 6413751619 0 40400 4 33 32 1225.62/1225.72 c 1801712 1831970 68757201 6970905979 0 40921 4 75 74 1350.72/1350.81 c 1981950 2013710 73166175 7939614464 0 41081 691 691 690 1478.02/1478.14 c 2180211 2212343 78186065 8809194326 0 42016 9 66 65 1535.10/1535.29 c 2398298 2430754 85218613 9259822661 0 42641 8 8 7 1656.50/1656.65 c 2638193 2671025 93721959 10082026692 0 43079 4 21 20 1810.50/1810.66 c 2902077 2935408 102243454 11042226422 0 43933 7 94 92 2039.89/2040.07 c 3192349 3228403 106998739 12492968343 0 45649 6 150 142 2138.19/2138.30 c 3511648 3548206 117585838 13248915246 0 46504 6 29 28 2407.38/2407.59 c 3862876 3899999 128212758 15022333544 0 47621 11 35 34 2519.88/2520.00 2519.88/2520.00 c *** INTERRUPTED *** 2519.88/2520.00 c restarts : 586 2519.88/2520.00 c conflicts : 4058629 (1613 /sec) 2519.88/2520.00 c decisions : 4097226 (1629 /sec) 2519.88/2520.00 c propagations : 15901220907 (6320845 /sec) 2519.88/2520.00 c root propagations : 0 2519.88/2520.00 c filter calls : 134597815 (53504 /sec) 2519.88/2520.00 c useless filter calls : 106465144 (79 %) 2519.88/2520.00 c 2519.88/2520.00 c clauses : 356681831 2519.88/2520.00 c SAT propagations : 7515 2519.88/2520.00 c SAT conflicts : 0 (0 learnts) 2519.88/2520.00 c Memory used : 15468.62 MB 2519.88/2520.00 c CPU time : 2515.68 s 2519.88/2520.00 2519.88/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14439 MiB free)
memory of node 1: 16384 MiB (14254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266068-1502570690/watcher-4266068-1502570690 -o /tmp/evaluation-result-4266068-1502570690/solver-4266068-1502570690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24473 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266068-1502570690.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24856, runsolver pid=24853
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 2.21 2.08 1.91 3/187 24872
/proc/meminfo: memFree=29371996/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=39360 memory=15700 CPUtime=0.1 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 4138 0 0 0 10 0 0 0 20 0 1 0 90157145 40304640 3925 33554432000 4194304 5972588 140725668676720 140725668673368 139796361451820 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 9840 3925 787 435 0 3203 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39360 KiB
Current children cumulated memory: 15700 KiB
[startup+0.209914 s]*
/proc/loadavg: 2.21 2.08 1.91 4/201 24886
/proc/meminfo: memFree=29347448/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=44024 memory=20452 CPUtime=0.2 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 5293 0 0 0 20 0 0 0 20 0 1 0 90157145 45080576 5113 33554432000 4194304 5972588 140725668676720 140725668673368 4967517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 11006 5113 787 435 0 4369 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44024 KiB
Current children cumulated memory: 20452 KiB
[startup+0.309223 s]*
/proc/loadavg: 2.21 2.08 1.91 3/201 24886
/proc/meminfo: memFree=29337340/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=48236 memory=24584 CPUtime=0.31 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 6356 0 0 0 30 1 0 0 20 0 1 0 90157145 49393664 6146 33554432000 4194304 5972588 140725668676720 140725668670120 139796361451924 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 12059 6146 787 435 0 5422 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 48236 KiB
Current children cumulated memory: 24584 KiB
[startup+0.700271 s]
/proc/loadavg: 2.21 2.08 1.91 5/201 24886
/proc/meminfo: memFree=29314728/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=64244 memory=40620 CPUtime=0.69 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 10338 0 0 0 68 1 0 0 20 0 1 0 90157145 65785856 10155 33554432000 4194304 5972588 140725668676720 140725668670120 4967517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 16061 10155 787 435 0 9424 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 64244 KiB
Current children cumulated memory: 40620 KiB
[startup+1.50039 s]
/proc/loadavg: 2.21 2.08 1.91 3/188 24918
/proc/meminfo: memFree=29190592/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=576328 memory=486124 CPUtime=1.49 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 77800 0 0 0 136 13 0 0 20 0 1 0 90157145 590159872 121531 33554432000 4194304 5972588 140725668676720 140725668673512 139796351810533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 144082 121531 820 435 0 137445 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 576328 KiB
Current children cumulated memory: 486124 KiB
[startup+3.10965 s]
/proc/loadavg: 2.21 2.08 1.91 3/188 24918
/proc/meminfo: memFree=27092368/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=1503780 memory=1430288 CPUtime=3.1 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 206780 0 0 0 274 36 0 0 20 0 1 0 90157145 1539870720 357572 33554432000 4194304 5972588 140725668676720 140725668673512 139796351810533 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 375978 357572 820 435 0 369341 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1503780 KiB
Current children cumulated memory: 1430288 KiB
[startup+6.30037 s]
/proc/loadavg: 2.19 2.08 1.91 3/188 24918
/proc/meminfo: memFree=23602700/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=3569468 memory=3262872 CPUtime=6.29 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 451682 0 0 0 547 82 0 0 20 0 1 0 90157145 3655135232 815718 33554432000 4194304 5972588 140725668676720 140725668673512 139796351879723 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 892367 815718 820 435 0 885730 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 3569468 KiB
Current children cumulated memory: 3262872 KiB
[startup+12.7004 s]
/proc/loadavg: 2.17 2.08 1.91 3/188 24918
/proc/meminfo: memFree=17764632/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=8311040 memory=6875488 CPUtime=12.68 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 929539 0 0 0 1092 176 0 0 20 0 1 0 90157145 8510504960 1718872 33554432000 4194304 5972588 140725668676720 140725668673512 139796351879723 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 2077760 1718872 820 435 0 2071123 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 8311040 KiB
Current children cumulated memory: 6875488 KiB
[startup+25.5004 s]
/proc/loadavg: 2.14 2.07 1.91 3/188 24918
/proc/meminfo: memFree=10351072/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15475000 memory=14158144 CPUtime=25.48 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 1885488 0 0 0 2196 352 0 0 20 0 1 0 90157145 15846400000 3539536 33554432000 4194304 5972588 140725668676720 140725668673512 139796351879723 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3868750 3539536 820 435 0 3862113 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 15475000 KiB
Current children cumulated memory: 14158144 KiB
[startup+51.1092 s]
/proc/loadavg: 2.09 2.07 1.92 3/188 24918
/proc/meminfo: memFree=9382732/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15826616 memory=14834068 CPUtime=51.08 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 1994839 0 0 0 4737 371 0 0 20 0 1 0 90157145 16206454784 3708517 33554432000 4194304 5972588 140725668676720 140725668674024 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3956654 3708517 839 435 0 3950017 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 15826616 KiB
Current children cumulated memory: 14834068 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.06 1.92 3/188 24919
/proc/meminfo: memFree=9364164/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15834560 memory=14849276 CPUtime=102.25 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2038122 0 0 0 9851 374 0 0 20 0 1 0 90157145 16214589440 3712319 33554432000 4194304 5972588 140725668676720 140725668673752 4962405 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3958640 3712319 839 435 0 3952003 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 15834560 KiB
Current children cumulated memory: 14849276 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 1.93 3/188 24920
/proc/meminfo: memFree=9358084/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15835880 memory=14852780 CPUtime=162.25 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2060091 0 0 0 15850 375 0 0 20 0 1 0 90157145 16215941120 3713195 33554432000 4194304 5972588 140725668676720 140725668674024 4971896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3958970 3713195 839 435 0 3952333 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 15835880 KiB
Current children cumulated memory: 14852780 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.04 1.93 3/188 24921
/proc/meminfo: memFree=9356468/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15836276 memory=14853280 CPUtime=222.25 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2068830 0 0 0 21849 376 0 0 20 0 1 0 90157145 16216346624 3713320 33554432000 4194304 5972588 140725668676720 140725668674024 4977701 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959069 3713320 839 435 0 3952432 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 15836276 KiB
Current children cumulated memory: 14853280 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/187 24922
/proc/meminfo: memFree=9353600/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15836948 memory=14855988 CPUtime=282.25 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2084949 0 0 0 27848 377 0 0 20 0 1 0 90157145 16217034752 3713997 33554432000 4194304 5972588 140725668676720 140725668674024 4965365 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959237 3713997 839 435 0 3952600 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 15836948 KiB
Current children cumulated memory: 14855988 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 1.94 3/187 24923
/proc/meminfo: memFree=9350188/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15837476 memory=14856500 CPUtime=342.24 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2089431 0 0 0 33847 377 0 0 20 0 1 0 90157145 16217575424 3714125 33554432000 4194304 5972588 140725668676720 140725668673752 4962339 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959369 3714125 839 435 0 3952732 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 15837476 KiB
Current children cumulated memory: 14856500 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 24924
/proc/meminfo: memFree=9350180/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15837612 memory=14856620 CPUtime=402.24 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2100036 0 0 0 39845 379 0 0 20 0 1 0 90157145 16217714688 3714155 33554432000 4194304 5972588 140725668676720 140725668674024 5071082 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959403 3714155 839 435 0 3952766 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 15837612 KiB
Current children cumulated memory: 14856620 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 24925
/proc/meminfo: memFree=9349436/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15837876 memory=14856916 CPUtime=462.24 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2108647 0 0 0 45844 380 0 0 20 0 1 0 90157145 16217985024 3714229 33554432000 4194304 5972588 140725668676720 140725668673752 5099648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959469 3714229 839 435 0 3952832 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 15837876 KiB
Current children cumulated memory: 14856916 KiB
################
# More data... #
################
/proc/meminfo: memFree=9338524/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839592 memory=14860580 CPUtime=1782.2 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2262058 0 0 0 177815 405 0 0 20 0 1 0 90157145 16219742208 3715145 33554432000 4194304 5972588 140725668676720 140725668674024 5070704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959898 3715145 839 435 0 3953261 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 15839592 KiB
Current children cumulated memory: 14860580 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 24997
/proc/meminfo: memFree=9335968/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839724 memory=14862768 CPUtime=1842.2 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2276037 0 0 0 183813 407 0 0 20 0 1 0 90157145 16219877376 3715692 33554432000 4194304 5972588 140725668676720 140725668673752 5320317 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959931 3715692 839 435 0 3953294 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 15839724 KiB
Current children cumulated memory: 14862768 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 24998
/proc/meminfo: memFree=9336696/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839724 memory=14862836 CPUtime=1902.2 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2281505 0 0 0 189811 409 0 0 20 0 1 0 90157145 16219877376 3715709 33554432000 4194304 5972588 140725668676720 140725668673752 4968829 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959931 3715709 839 435 0 3953294 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 15839724 KiB
Current children cumulated memory: 14862836 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 24999
/proc/meminfo: memFree=9336724/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862888 CPUtime=1962.19 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2289915 0 0 0 195809 410 0 0 20 0 1 0 90157145 16220020736 3715722 33554432000 4194304 5972588 140725668676720 140725668673752 4969261 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715722 839 435 0 3953329 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862888 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 25000
/proc/meminfo: memFree=9336752/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862892 CPUtime=2022.18 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2293926 0 0 0 201808 410 0 0 20 0 1 0 90157145 16220020736 3715723 33554432000 4194304 5972588 140725668676720 140725668673752 4965472 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715723 839 435 0 3953329 0
Current children cumulated CPU time: 2022.18 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862892 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 25001
/proc/meminfo: memFree=9336936/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862948 CPUtime=2082.19 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2300668 0 0 0 207807 412 0 0 20 0 1 0 90157145 16220020736 3715737 33554432000 4194304 5972588 140725668676720 140725668674024 5240328 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715737 839 435 0 3953329 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862948 KiB
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 25002
/proc/meminfo: memFree=9336972/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862964 CPUtime=2142.19 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2308159 0 0 0 213806 413 0 0 20 0 1 0 90157145 16220020736 3715741 33554432000 4194304 5972588 140725668676720 140725668674024 5070704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715741 839 435 0 3953329 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862964 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 25003
/proc/meminfo: memFree=9336396/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862964 CPUtime=2202.19 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2309991 0 0 0 219805 414 0 0 20 0 1 0 90157145 16220020736 3715741 33554432000 4194304 5972588 140725668676720 140725668674024 4965365 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715741 839 435 0 3953329 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862964 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25004
/proc/meminfo: memFree=9336532/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862964 CPUtime=2262.18 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2312916 0 0 0 225803 415 0 0 20 0 1 0 90157145 16220020736 3715741 33554432000 4194304 5972588 140725668676720 140725668674024 4968793 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715741 839 435 0 3953329 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862964 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 25005
/proc/meminfo: memFree=9336352/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862964 CPUtime=2322.18 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2315340 0 0 0 231801 417 0 0 20 0 1 0 90157145 16220020736 3715741 33554432000 4194304 5972588 140725668676720 140725668674024 5070704 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715741 839 435 0 3953329 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862964 KiB
[startup+2382.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 25014
/proc/meminfo: memFree=9335928/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862964 CPUtime=2382.18 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2319023 0 0 0 237800 418 0 0 20 0 1 0 90157145 16220020736 3715741 33554432000 4194304 5972588 140725668676720 140725668674024 4968754 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715741 839 435 0 3953329 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862964 KiB
[startup+2442.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/188 25015
/proc/meminfo: memFree=9336680/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862984 CPUtime=2442.17 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2327068 0 0 0 243798 419 0 0 20 0 1 0 90157145 16220020736 3715746 33554432000 4194304 5972588 140725668676720 140725668674024 4975649 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715746 839 435 0 3953329 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862984 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 25016
/proc/meminfo: memFree=9336524/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862984 CPUtime=2502.18 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2331479 0 0 0 249797 421 0 0 20 0 1 0 90157145 16220020736 3715746 33554432000 4194304 5972588 140725668676720 140725668674024 4971926 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715746 839 435 0 3953329 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862984 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 2.05 3/188 25016
/proc/meminfo: memFree=9336616/32770624 swapFree=67108860/67108860
[pid=24856] ppid=24853 vsize=15839864 memory=14862988 CPUtime=2519.88 cores=1,3,5,7
/proc/24856/stat : 24856 (cosoco) R 24853 24856 24389 0 -1 4202496 2333667 0 0 0 251567 421 0 0 20 0 1 0 90157145 16220020736 3715747 33554432000 4194304 5972588 140725668676720 140725668674024 4965362 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 14577664 140725668680890 140725668680990 140725668680990 140725668683726 0
/proc/24856/statm: 3959966 3715747 839 435 0 3953329 0
Current children cumulated CPU time: 2519.88 s
Current children cumulated vsize: 15839864 KiB
Current children cumulated memory: 14862988 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.46 s]
# the end of solver process 24856 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.68 s, system=4.66386 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.4 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 25016
/proc/meminfo: memFree=15077284/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.46
CPU time (s): 2520.34
CPU user time (s): 2515.68
CPU system time (s): 4.66386
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 15839864
Max. memory (cumulated for all children) (KiB): 14862988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.68
system time used= 4.66386
maximum resident set size= 14863052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2333710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72
involuntary context switches= 1274
# summary of solver processes directly reported to runsolver:
# pid: 24856
# total CPU time (s): 2520.34
# total CPU user time (s): 2515.68
# total CPU system time (s): 4.66386
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.20853 second user time and 16.212 second system time
The end
Begin job on node107 at 2017-08-12 22:30:32 IDJOB=4266068 IDBENCH=120754 IDSOLVER=2655 FILE ID=node107/4266068-1502570690 RUNJOBID= node107-1502567255-24473 PBS_JOBID= 20628284 Free space on /tmp= 61660 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266068-1502570690/watcher-4266068-1502570690 -o /tmp/evaluation-result-4266068-1502570690/solver-4266068-1502570690 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502567255-24473 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266068-1502570690.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32cec65ed71b36923f34d2db18851218 RANDOM SEED=171679953 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29383172 kB MemAvailable: 31997176 kB Buffers: 123592 kB Cached: 2783716 kB SwapCached: 0 kB Active: 434012 kB Inactive: 2527232 kB Active(anon): 56492 kB Inactive(anon): 24972 kB Active(file): 377520 kB Inactive(file): 2502260 kB Unevictable: 6328 kB Mlocked: 6328 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4676 kB Writeback: 0 kB AnonPages: 60404 kB Mapped: 44140 kB Shmem: 25228 kB Slab: 125392 kB SReclaimable: 100116 kB SUnreclaim: 25276 kB KernelStack: 3312 kB PageTables: 5724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 356360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 61656 MiB End job on node107 at 2017-08-12 23:12:33