Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
R1: cosoco-sat 1.1 | ? (TO) | 2400.18 | 2400.79 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K10-P09.xml |
MD5SUM | 132dbb92a73ed64c3de106a7d099dd2d |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1070 |
Number of constraints | 487 |
Number of domains | 2 |
Minimum domain size | 485 |
Maximum domain size | 486 |
Distribution of domain sizes | [{"size":485,"count":485},{"size":486,"count":90}] |
Minimum variable degree | 0 |
Maximum variable degree | 12 |
Distribution of variable degrees | [{"degree":0,"count":495},{"degree":2,"count":485},{"degree":11,"count":20},{"degree":12,"count":70}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 485 |
Distribution of constraint arities | [{"arity":3,"count":485},{"arity":90,"count":1},{"arity":485,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 485 |
Distribution of constraint types | [{"type":"intension","count":485},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
9.59/9.60 c SAT : Variables: 519040 -- Clauses: 125630620 9.59/9.62 c root propagations : 0 9.59/9.62 c restarts enabled, print stats at every restarts 9.59/9.62 c 9.59/9.62 c 9.59/9.62 c 9.59/9.62 c This is cosoco 1.0 -- 9.59/9.62 c 9.59/9.62 c ========================================[ Problem Statistics ]=========================================== 9.59/9.62 c | 9.59/9.62 c | Parse time : 8.34 s 9.59/9.62 c | 9.59/9.62 c | Variables: 1070 9.59/9.62 c | Domain Sizes: 485..486 9.59/9.62 c | 9.59/9.62 c | Constraints: 487 9.59/9.62 c | Arity: 3..485 -- Ternary: 485 9.59/9.62 c | 9.59/9.62 c | Types: 9.59/9.62 c | All Different: 2 9.59/9.62 c | Intension: 485 9.59/9.62 c | 9.59/9.62 c ========================================================================================================= 9.59/9.62 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 9.59/9.62 c remove useless variable ce[0][0][0] 9.59/9.62 c remove useless variable ce[0][1][0] 9.59/9.62 c remove useless variable ce[0][1][1] 9.59/9.62 c remove useless variable ce[0][2][0] 9.59/9.62 c remove useless variable ce[0][2][1] 9.59/9.62 c remove useless variable ce[0][2][2] 9.59/9.62 c remove useless variable ce[0][3][0] 9.59/9.62 c remove useless variable ce[0][3][1] 9.59/9.62 c remove useless variable ce[0][3][2] 9.59/9.62 c remove useless variable ce[0][3][3] 9.59/9.62 c remove useless variable ce[0][4][0] 9.59/9.62 c remove useless variable ce[0][4][1] 9.59/9.62 c remove useless variable ce[0][4][2] 9.59/9.62 c remove useless variable ce[0][4][3] 9.59/9.62 c remove useless variable ce[0][4][4] 9.59/9.62 c remove useless variable ce[0][5][0] 9.59/9.62 c remove useless variable ce[0][5][1] 9.59/9.62 c remove useless variable ce[0][5][2] 9.59/9.62 c remove useless variable ce[0][5][3] 9.59/9.62 c remove useless variable ce[0][5][4] 9.59/9.62 c remove useless variable ce[0][5][5] 9.59/9.62 c remove useless variable ce[0][6][0] 9.59/9.62 c remove useless variable ce[0][6][1] 9.59/9.62 c remove useless variable ce[0][6][2] 9.59/9.62 c remove useless variable ce[0][6][3] 9.59/9.62 c remove useless variable ce[0][6][4] 9.59/9.62 c remove useless variable ce[0][6][5] 9.59/9.62 c remove useless variable ce[0][6][6] 9.59/9.62 c remove useless variable ce[0][7][0] 9.59/9.62 c remove useless variable ce[0][7][1] 9.59/9.62 c remove useless variable ce[0][7][2] 9.59/9.62 c remove useless variable ce[0][7][3] 9.59/9.62 c remove useless variable ce[0][7][4] 9.59/9.62 c remove useless variable ce[0][7][5] 9.59/9.62 c remove useless variable ce[0][7][6] 9.59/9.62 c remove useless variable ce[0][7][7] 9.59/9.62 c remove useless variable ce[0][8][0] 9.59/9.62 c remove useless variable ce[0][8][1] 9.59/9.62 c remove useless variable ce[0][8][2] 9.59/9.62 c remove useless variable ce[0][8][3] 9.59/9.62 c remove useless variable ce[0][8][4] 9.59/9.62 c remove useless variable ce[0][8][5] 9.59/9.62 c remove useless variable ce[0][8][6] 9.59/9.62 c remove useless variable ce[0][8][7] 9.59/9.62 c remove useless variable ce[0][8][8] 9.59/9.62 c remove useless variable ce[0][9][0] 9.59/9.62 c remove useless variable ce[0][9][1] 9.59/9.62 c remove useless variable ce[0][9][2] 9.59/9.62 c remove useless variable ce[0][9][3] 9.59/9.62 c remove useless variable ce[0][9][4] 9.59/9.62 c remove useless variable ce[0][9][5] 9.59/9.62 c remove useless variable ce[0][9][6] 9.59/9.62 c remove useless variable ce[0][9][7] 9.59/9.62 c remove useless variable ce[0][9][8] 9.59/9.62 c remove useless variable ce[0][9][9] 9.59/9.62 c remove useless variable ce[1][0][0] 9.59/9.62 c remove useless variable ce[1][1][0] 9.59/9.62 c remove useless variable ce[1][1][1] 9.59/9.62 c remove useless variable ce[1][2][0] 9.59/9.62 c remove useless variable ce[1][2][1] 9.59/9.62 c remove useless variable ce[1][2][2] 9.59/9.62 c remove useless variable ce[1][3][0] 9.59/9.62 c remove useless variable ce[1][3][1] 9.59/9.62 c remove useless variable ce[1][3][2] 9.59/9.62 c remove useless variable ce[1][3][3] 9.59/9.62 c remove useless variable ce[1][4][0] 9.59/9.62 c remove useless variable ce[1][4][1] 9.59/9.62 c remove useless variable ce[1][4][2] 9.59/9.62 c remove useless variable ce[1][4][3] 9.59/9.62 c remove useless variable ce[1][4][4] 9.59/9.62 c remove useless variable ce[1][5][0] 9.59/9.62 c remove useless variable ce[1][5][1] 9.59/9.62 c remove useless variable ce[1][5][2] 9.59/9.62 c remove useless variable ce[1][5][3] 9.59/9.62 c remove useless variable ce[1][5][4] 9.59/9.62 c remove useless variable ce[1][5][5] 9.59/9.62 c remove useless variable ce[1][6][0] 9.59/9.62 c remove useless variable ce[1][6][1] 9.59/9.62 c remove useless variable ce[1][6][2] 9.59/9.62 c remove useless variable ce[1][6][3] 9.59/9.62 c remove useless variable ce[1][6][4] 9.59/9.62 c remove useless variable ce[1][6][5] 9.59/9.62 c remove useless variable ce[1][6][6] 9.59/9.62 c remove useless variable ce[1][7][0] 9.59/9.62 c remove useless variable ce[1][7][1] 9.59/9.62 c remove useless variable ce[1][7][2] 9.59/9.62 c remove useless variable ce[1][7][3] 9.59/9.62 c remove useless variable ce[1][7][4] 9.59/9.62 c remove useless variable ce[1][7][5] 9.59/9.62 c remove useless variable ce[1][7][6] 9.59/9.62 c remove useless variable ce[1][7][7] 9.59/9.62 c remove useless variable ce[1][8][0] 9.59/9.62 c remove useless variable ce[1][8][1] 9.59/9.62 c remove useless variable ce[1][8][2] 9.59/9.62 c remove useless variable ce[1][8][3] 9.59/9.62 c remove useless variable ce[1][8][4] 9.59/9.62 c remove useless variable ce[1][8][5] 9.59/9.62 c remove useless variable ce[1][8][6] 9.59/9.62 c remove useless variable ce[1][8][7] 9.59/9.62 c remove useless variable ce[1][8][8] 9.59/9.62 c remove useless variable ce[1][9][0] 9.59/9.62 c remove useless variable ce[1][9][1] 9.59/9.62 c remove useless variable ce[1][9][2] 9.59/9.62 c remove useless variable ce[1][9][3] 9.59/9.62 c remove useless variable ce[1][9][4] 9.59/9.62 c remove useless variable ce[1][9][5] 9.59/9.62 c remove useless variable ce[1][9][6] 9.59/9.62 c remove useless variable ce[1][9][7] 9.59/9.62 c remove useless variable ce[1][9][8] 9.59/9.62 c remove useless variable ce[1][9][9] 9.59/9.62 c remove useless variable ce[2][0][0] 9.59/9.62 c remove useless variable ce[2][1][0] 9.59/9.62 c remove useless variable ce[2][1][1] 9.59/9.62 c remove useless variable ce[2][2][0] 9.59/9.62 c remove useless variable ce[2][2][1] 9.59/9.62 c remove useless variable ce[2][2][2] 9.59/9.62 c remove useless variable ce[2][3][0] 9.59/9.62 c remove useless variable ce[2][3][1] 9.59/9.62 c remove useless variable ce[2][3][2] 9.59/9.62 c remove useless variable ce[2][3][3] 9.59/9.62 c remove useless variable ce[2][4][0] 9.59/9.62 c remove useless variable ce[2][4][1] 9.59/9.62 c remove useless variable ce[2][4][2] 9.59/9.62 c remove useless variable ce[2][4][3] 9.59/9.62 c remove useless variable ce[2][4][4] 9.59/9.62 c remove useless variable ce[2][5][0] 9.59/9.62 c remove useless variable ce[2][5][1] 9.59/9.62 c remove useless variable ce[2][5][2] 9.59/9.62 c remove useless variable ce[2][5][3] 9.59/9.62 c remove useless variable ce[2][5][4] 9.59/9.62 c remove useless variable ce[2][5][5] 9.59/9.62 c remove useless variable ce[2][6][0] 9.59/9.62 c remove useless variable ce[2][6][1] 9.59/9.62 c remove useless variable ce[2][6][2] 9.59/9.62 c remove useless variable ce[2][6][3] 9.59/9.62 c remove useless variable ce[2][6][4] 9.59/9.62 c remove useless variable ce[2][6][5] 9.59/9.62 c remove useless variable ce[2][6][6] 9.59/9.62 c remove useless variable ce[2][7][0] 9.59/9.62 c remove useless variable ce[2][7][1] 9.59/9.62 c remove useless variable ce[2][7][2] 9.59/9.62 c remove useless variable ce[2][7][3] 9.59/9.62 c remove useless variable ce[2][7][4] 9.59/9.62 c remove useless variable ce[2][7][5] 9.59/9.62 c remove useless variable ce[2][7][6] 9.59/9.62 c remove useless variable ce[2][7][7] 9.59/9.62 c remove useless variable ce[2][8][0] 9.59/9.62 c remove useless variable ce[2][8][1] 9.59/9.62 c remove useless variable ce[2][8][2] 9.59/9.62 c remove useless variable ce[2][8][3] 9.59/9.62 c remove useless variable ce[2][8][4] 9.59/9.62 c remove useless variable ce[2][8][5] 9.59/9.62 c remove useless variable ce[2][8][6] 9.59/9.62 c remove useless variable ce[2][8][7] 9.59/9.62 c remove useless variable ce[2][8][8] 9.59/9.62 c remove useless variable ce[2][9][0] 9.59/9.62 c remove useless variable ce[2][9][1] 9.59/9.62 c remove useless variable ce[2][9][2] 9.59/9.62 c remove useless variable ce[2][9][3] 9.59/9.62 c remove useless variable ce[2][9][4] 9.59/9.62 c remove useless variable ce[2][9][5] 9.59/9.62 c remove useless variable ce[2][9][6] 9.59/9.62 c remove useless variable ce[2][9][7] 9.59/9.62 c remove useless variable ce[2][9][8] 9.59/9.62 c remove useless variable ce[2][9][9] 9.59/9.62 c remove useless variable ce[3][0][0] 9.59/9.62 c remove useless variable ce[3][1][0] 9.59/9.62 c remove useless variable ce[3][1][1] 9.59/9.62 c remove useless variable ce[3][2][0] 9.59/9.62 c remove useless variable ce[3][2][1] 9.59/9.62 c remove useless variable ce[3][2][2] 9.59/9.62 c remove useless variable ce[3][3][0] 9.59/9.62 c remove useless variable ce[3][3][1] 9.59/9.62 c remove useless variable ce[3][3][2] 9.59/9.62 c remove useless variable ce[3][3][3] 9.59/9.62 c remove useless variable ce[3][4][0] 9.59/9.62 c remove useless variable ce[3][4][1] 9.59/9.62 c remove useless variable ce[3][4][2] 9.59/9.62 c remove useless variable ce[3][4][3] 9.59/9.62 c remove useless variable ce[3][4][4] 9.59/9.62 c remove useless variable ce[3][5][0] 9.59/9.62 c remove useless variable ce[3][5][1] 9.59/9.62 c remove useless variable ce[3][5][2] 9.59/9.62 c remove useless variable ce[3][5][3] 9.59/9.62 c remove useless variable ce[3][5][4] 9.59/9.62 c remove useless variable ce[3][5][5] 9.59/9.62 c remove useless variable ce[3][6][0] 9.59/9.62 c remove useless variable ce[3][6][1] 9.59/9.62 c remove useless variable ce[3][6][2] 9.59/9.62 c remove useless variable ce[3][6][3] 9.59/9.62 c remove useless variable ce[3][6][4] 9.59/9.62 c remove useless variable ce[3][6][5] 9.59/9.62 c remove useless variable ce[3][6][6] 9.59/9.62 c remove useless variable ce[3][7][0] 9.59/9.62 c remove useless variable ce[3][7][1] 9.59/9.62 c remove useless variable ce[3][7][2] 9.59/9.62 c remove useless variable ce[3][7][3] 9.59/9.62 c remove useless variable ce[3][7][4] 9.59/9.62 c remove useless variable ce[3][7][5] 9.59/9.62 c remove useless variable ce[3][7][6] 9.59/9.62 c remove useless variable ce[3][7][7] 9.59/9.62 c remove useless variable ce[3][8][0] 9.59/9.62 c remove useless variable ce[3][8][1] 9.59/9.62 c remove useless variable ce[3][8][2] 9.59/9.62 c remove useless variable ce[3][8][3] 9.59/9.62 c remove useless variable ce[3][8][4] 9.59/9.62 c remove useless variable ce[3][8][5] 9.59/9.62 c remove useless variable ce[3][8][6] 9.59/9.62 c remove useless variable ce[3][8][7] 9.59/9.62 c remove useless variable ce[3][8][8] 9.59/9.62 c remove useless variable ce[3][9][0] 9.59/9.62 c remove useless variable ce[3][9][1] 9.59/9.62 c remove useless variable ce[3][9][2] 9.59/9.62 c remove useless variable ce[3][9][3] 9.59/9.62 c remove useless variable ce[3][9][4] 9.59/9.62 c remove useless variable ce[3][9][5] 9.59/9.62 c remove useless variable ce[3][9][6] 9.59/9.62 c remove useless variable ce[3][9][7] 9.59/9.62 c remove useless variable ce[3][9][8] 9.59/9.62 c remove useless variable ce[3][9][9] 9.59/9.62 c remove useless variable ce[4][0][0] 9.59/9.62 c remove useless variable ce[4][1][0] 9.59/9.62 c remove useless variable ce[4][1][1] 9.59/9.62 c remove useless variable ce[4][2][0] 9.59/9.62 c remove useless variable ce[4][2][1] 9.59/9.62 c remove useless variable ce[4][2][2] 9.59/9.62 c remove useless variable ce[4][3][0] 9.59/9.62 c remove useless variable ce[4][3][1] 9.59/9.62 c remove useless variable ce[4][3][2] 9.59/9.62 c remove useless variable ce[4][3][3] 9.59/9.62 c remove useless variable ce[4][4][0] 9.59/9.62 c remove useless variable ce[4][4][1] 9.59/9.62 c remove useless variable ce[4][4][2] 9.59/9.62 c remove useless variable ce[4][4][3] 9.59/9.62 c remove useless variable ce[4][4][4] 9.59/9.62 c remove useless variable ce[4][5][0] 9.59/9.62 c remove useless variable ce[4][5][1] 9.59/9.62 c remove useless variable ce[4][5][2] 9.59/9.62 c remove useless variable ce[4][5][3] 9.59/9.62 c remove useless variable ce[4][5][4] 9.59/9.62 c remove useless variable ce[4][5][5] 9.59/9.62 c remove useless variable ce[4][6][0] 9.59/9.62 c remove useless variable ce[4][6][1] 9.59/9.62 c remove useless variable ce[4][6][2] 9.59/9.62 c remove useless variable ce[4][6][3] 9.59/9.62 c remove useless variable ce[4][6][4] 9.59/9.62 c remove useless variable ce[4][6][5] 9.59/9.62 c remove useless variable ce[4][6][6] 9.59/9.62 c remove useless variable ce[4][7][0] 9.59/9.62 c remove useless variable ce[4][7][1] 9.59/9.62 c remove useless variable ce[4][7][2] 9.59/9.62 c remove useless variable ce[4][7][3] 9.59/9.62 c remove useless variable ce[4][7][4] 9.59/9.62 c remove useless variable ce[4][7][5] 9.59/9.62 c remove useless variable ce[4][7][6] 9.59/9.62 c remove useless variable ce[4][7][7] 9.59/9.62 c remove useless variable ce[4][8][0] 9.59/9.62 c remove useless variable ce[4][8][1] 9.59/9.62 c remove useless variable ce[4][8][2] 9.59/9.62 c remove useless variable ce[4][8][3] 9.59/9.62 c remove useless variable ce[4][8][4] 9.59/9.62 c remove useless variable ce[4][8][5] 9.59/9.62 c remove useless variable ce[4][8][6] 9.59/9.62 c remove useless variable ce[4][8][7] 9.59/9.62 c remove useless variable ce[4][8][8] 9.59/9.62 c remove useless variable ce[4][9][0] 9.59/9.62 c remove useless variable ce[4][9][1] 9.59/9.62 c remove useless variable ce[4][9][2] 9.59/9.62 c remove useless variable ce[4][9][3] 9.59/9.62 c remove useless variable ce[4][9][4] 9.59/9.62 c remove useless variable ce[4][9][5] 9.59/9.62 c remove useless variable ce[4][9][6] 9.59/9.62 c remove useless variable ce[4][9][7] 9.59/9.62 c remove useless variable ce[4][9][8] 9.59/9.62 c remove useless variable ce[4][9][9] 9.59/9.62 c remove useless variable ce[5][0][0] 9.59/9.62 c remove useless variable ce[5][1][0] 9.59/9.62 c remove useless variable ce[5][1][1] 9.59/9.62 c remove useless variable ce[5][2][0] 9.59/9.62 c remove useless variable ce[5][2][1] 9.59/9.62 c remove useless variable ce[5][2][2] 9.59/9.62 c remove useless variable ce[5][3][0] 9.59/9.62 c remove useless variable ce[5][3][1] 9.59/9.62 c remove useless variable ce[5][3][2] 9.59/9.62 c remove useless variable ce[5][3][3] 9.59/9.62 c remove useless variable ce[5][4][0] 9.59/9.62 c remove useless variable ce[5][4][1] 9.59/9.62 c remove useless variable ce[5][4][2] 9.59/9.62 c remove useless variable ce[5][4][3] 9.59/9.62 c remove useless variable ce[5][4][4] 9.59/9.62 c remove useless variable ce[5][5][0] 9.59/9.62 c remove useless variable ce[5][5][1] 9.59/9.62 c remove useless variable ce[5][5][2] 9.59/9.62 c remove useless variable ce[5][5][3] 9.59/9.62 c remove useless variable ce[5][5][4] 9.59/9.62 c remove useless variable ce[5][5][5] 9.59/9.62 c remove useless variable ce[5][6][0] 9.59/9.62 c remove useless variable ce[5][6][1] 9.59/9.62 c remove useless variable ce[5][6][2] 9.59/9.62 c remove useless variable ce[5][6][3] 9.59/9.62 c remove useless variable ce[5][6][4] 9.59/9.62 c remove useless variable ce[5][6][5] 9.59/9.62 c remove useless variable ce[5][6][6] 9.59/9.62 c remove useless variable ce[5][7][0] 9.59/9.62 c remove useless variable ce[5][7][1] 9.59/9.62 c remove useless variable ce[5][7][2] 9.59/9.62 c remove useless variable ce[5][7][3] 9.59/9.62 c remove useless variable ce[5][7][4] 9.59/9.62 c remove useless variable ce[5][7][5] 9.59/9.62 c remove useless variable ce[5][7][6] 9.59/9.62 c remove useless variable ce[5][7][7] 9.59/9.62 c remove useless variable ce[5][8][0] 9.59/9.62 c remove useless variable ce[5][8][1] 9.59/9.62 c remove useless variable ce[5][8][2] 9.59/9.62 c remove useless variable ce[5][8][3] 9.59/9.62 c remove useless variable ce[5][8][4] 9.59/9.62 c remove useless variable ce[5][8][5] 9.59/9.62 c remove useless variable ce[5][8][6] 9.59/9.62 c remove useless variable ce[5][8][7] 9.59/9.62 c remove useless variable ce[5][8][8] 9.59/9.62 c remove useless variable ce[5][9][0] 9.59/9.62 c remove useless variable ce[5][9][1] 9.59/9.62 c remove useless variable ce[5][9][2] 9.59/9.62 c remove useless variable ce[5][9][3] 9.59/9.62 c remove useless variable ce[5][9][4] 9.59/9.62 c remove useless variable ce[5][9][5] 9.59/9.62 c remove useless variable ce[5][9][6] 9.59/9.62 c remove useless variable ce[5][9][7] 9.59/9.62 c remove useless variable ce[5][9][8] 9.59/9.62 c remove useless variable ce[5][9][9] 9.59/9.62 c remove useless variable ce[6][0][0] 9.59/9.62 c remove useless variable ce[6][1][0] 9.59/9.62 c remove useless variable ce[6][1][1] 9.59/9.62 c remove useless variable ce[6][2][0] 9.59/9.62 c remove useless variable ce[6][2][1] 9.59/9.62 c remove useless variable ce[6][2][2] 9.59/9.62 c remove useless variable ce[6][3][0] 9.59/9.62 c remove useless variable ce[6][3][1] 9.59/9.62 c remove useless variable ce[6][3][2] 9.59/9.62 c remove useless variable ce[6][3][3] 9.59/9.62 c remove useless variable ce[6][4][0] 9.59/9.62 c remove useless variable ce[6][4][1] 9.59/9.62 c remove useless variable ce[6][4][2] 9.59/9.62 c remove useless variable ce[6][4][3] 9.59/9.62 c remove useless variable ce[6][4][4] 9.59/9.62 c remove useless variable ce[6][5][0] 9.59/9.62 c remove useless variable ce[6][5][1] 9.59/9.62 c remove useless variable ce[6][5][2] 9.59/9.62 c remove useless variable ce[6][5][3] 9.59/9.62 c remove useless variable ce[6][5][4] 9.59/9.62 c remove useless variable ce[6][5][5] 9.59/9.62 c remove useless variable ce[6][6][0] 9.59/9.62 c remove useless variable ce[6][6][1] 9.59/9.62 c remove useless variable ce[6][6][2] 9.59/9.62 c remove useless variable ce[6][6][3] 9.59/9.62 c remove useless variable ce[6][6][4] 9.59/9.62 c remove useless variable ce[6][6][5] 9.59/9.62 c remove useless variable ce[6][6][6] 9.59/9.62 c remove useless variable ce[6][7][0] 9.59/9.62 c remove useless variable ce[6][7][1] 9.59/9.62 c remove useless variable ce[6][7][2] 9.59/9.62 c remove useless variable ce[6][7][3] 9.59/9.62 c remove useless variable ce[6][7][4] 9.59/9.62 c remove useless variable ce[6][7][5] 9.59/9.62 c remove useless variable ce[6][7][6] 9.59/9.62 c remove useless variable ce[6][7][7] 9.59/9.62 c remove useless variable ce[6][8][0] 9.59/9.62 c remove useless variable ce[6][8][1] 9.59/9.62 c remove useless variable ce[6][8][2] 9.59/9.62 c remove useless variable ce[6][8][3] 9.59/9.62 c remove useless variable ce[6][8][4] 9.59/9.62 c remove useless variable ce[6][8][5] 9.59/9.62 c remove useless variable ce[6][8][6] 9.59/9.62 c remove useless variable ce[6][8][7] 9.59/9.62 c remove useless variable ce[6][8][8] 9.59/9.62 c remove useless variable ce[6][9][0] 9.59/9.62 c remove useless variable ce[6][9][1] 9.59/9.62 c remove useless variable ce[6][9][2] 9.59/9.62 c remove useless variable ce[6][9][3] 9.59/9.62 c remove useless variable ce[6][9][4] 9.59/9.62 c remove useless variable ce[6][9][5] 9.59/9.62 c remove useless variable ce[6][9][6] 9.59/9.62 c remove useless variable ce[6][9][7] 9.59/9.62 c remove useless variable ce[6][9][8] 9.59/9.62 c remove useless variable ce[6][9][9] 9.59/9.62 c remove useless variable ce[7][0][0] 9.59/9.62 c remove useless variable ce[7][1][0] 9.59/9.62 c remove useless variable ce[7][1][1] 9.59/9.62 c remove useless variable ce[7][2][0] 9.59/9.62 c remove useless variable ce[7][2][1] 9.59/9.62 c remove useless variable ce[7][2][2] 9.59/9.62 c remove useless variable ce[7][3][0] 9.59/9.62 c remove useless variable ce[7][3][1] 9.59/9.62 c remove useless variable ce[7][3][2] 9.59/9.62 c remove useless variable ce[7][3][3] 9.59/9.62 c remove useless variable ce[7][4][0] 9.59/9.62 c remove useless variable ce[7][4][1] 9.59/9.62 c remove useless variable ce[7][4][2] 9.59/9.62 c remove useless variable ce[7][4][3] 9.59/9.62 c remove useless variable ce[7][4][4] 9.59/9.62 c remove useless variable ce[7][5][0] 9.59/9.62 c remove useless variable ce[7][5][1] 9.59/9.62 c remove useless variable ce[7][5][2] 9.59/9.62 c remove useless variable ce[7][5][3] 9.59/9.62 c remove useless variable ce[7][5][4] 9.59/9.62 c remove useless variable ce[7][5][5] 9.59/9.62 c remove useless variable ce[7][6][0] 9.59/9.62 c remove useless variable ce[7][6][1] 9.59/9.62 c remove useless variable ce[7][6][2] 9.59/9.62 c remove useless variable ce[7][6][3] 9.59/9.62 c remove useless variable ce[7][6][4] 9.59/9.62 c remove useless variable ce[7][6][5] 9.59/9.62 c remove useless variable ce[7][6][6] 9.59/9.62 c remove useless variable ce[7][7][0] 9.59/9.62 c remove useless variable ce[7][7][1] 9.59/9.62 c remove useless variable ce[7][7][2] 9.59/9.62 c remove useless variable ce[7][7][3] 9.59/9.62 c remove useless variable ce[7][7][4] 9.59/9.62 c remove useless variable ce[7][7][5] 9.59/9.62 c remove useless variable ce[7][7][6] 9.59/9.62 c remove useless variable ce[7][7][7] 9.59/9.62 c remove useless variable ce[7][8][0] 9.59/9.62 c remove useless variable ce[7][8][1] 9.59/9.62 c remove useless variable ce[7][8][2] 9.59/9.62 c remove useless variable ce[7][8][3] 9.59/9.62 c remove useless variable ce[7][8][4] 9.59/9.62 c remove useless variable ce[7][8][5] 9.59/9.62 c remove useless variable ce[7][8][6] 9.59/9.62 c remove useless variable ce[7][8][7] 9.59/9.62 c remove useless variable ce[7][8][8] 9.59/9.62 c remove useless variable ce[7][9][0] 9.59/9.62 c remove useless variable ce[7][9][1] 9.59/9.62 c remove useless variable ce[7][9][2] 9.59/9.62 c remove useless variable ce[7][9][3] 9.59/9.62 c remove useless variable ce[7][9][4] 9.59/9.62 c remove useless variable ce[7][9][5] 9.59/9.62 c remove useless variable ce[7][9][6] 9.59/9.62 c remove useless variable ce[7][9][7] 9.59/9.62 c remove useless variable ce[7][9][8] 9.59/9.62 c remove useless variable ce[7][9][9] 9.59/9.62 c remove useless variable ce[8][0][0] 9.59/9.62 c remove useless variable ce[8][1][0] 9.59/9.62 c remove useless variable ce[8][1][1] 9.59/9.62 c remove useless variable ce[8][2][0] 9.59/9.62 c remove useless variable ce[8][2][1] 9.59/9.62 c remove useless variable ce[8][2][2] 9.59/9.62 c remove useless variable ce[8][3][0] 9.59/9.62 c remove useless variable ce[8][3][1] 9.59/9.62 c remove useless variable ce[8][3][2] 9.59/9.62 c remove useless variable ce[8][3][3] 9.59/9.62 c remove useless variable ce[8][4][0] 9.59/9.62 c remove useless variable ce[8][4][1] 9.59/9.62 c remove useless variable ce[8][4][2] 9.59/9.62 c remove useless variable ce[8][4][3] 9.59/9.62 c remove useless variable ce[8][4][4] 9.59/9.62 c remove useless variable ce[8][5][0] 9.59/9.62 c remove useless variable ce[8][5][1] 9.59/9.62 c remove useless variable ce[8][5][2] 9.59/9.62 c remove useless variable ce[8][5][3] 9.59/9.62 c remove useless variable ce[8][5][4] 9.59/9.62 c remove useless variable ce[8][5][5] 9.59/9.62 c remove useless variable ce[8][6][0] 9.59/9.62 c remove useless variable ce[8][6][1] 9.59/9.62 c remove useless variable ce[8][6][2] 9.59/9.62 c remove useless variable ce[8][6][3] 9.59/9.62 c remove useless variable ce[8][6][4] 9.59/9.62 c remove useless variable ce[8][6][5] 9.59/9.62 c remove useless variable ce[8][6][6] 9.59/9.62 c remove useless variable ce[8][7][0] 9.59/9.62 c remove useless variable ce[8][7][1] 9.59/9.62 c remove useless variable ce[8][7][2] 9.59/9.62 c remove useless variable ce[8][7][3] 9.59/9.62 c remove useless variable ce[8][7][4] 9.59/9.62 c remove useless variable ce[8][7][5] 9.59/9.62 c remove useless variable ce[8][7][6] 9.59/9.62 c remove useless variable ce[8][7][7] 9.59/9.62 c remove useless variable ce[8][8][0] 9.59/9.62 c remove useless variable ce[8][8][1] 9.59/9.62 c remove useless variable ce[8][8][2] 9.59/9.62 c remove useless variable ce[8][8][3] 9.59/9.62 c remove useless variable ce[8][8][4] 9.59/9.62 c remove useless variable ce[8][8][5] 9.59/9.62 c remove useless variable ce[8][8][6] 9.59/9.62 c remove useless variable ce[8][8][7] 9.59/9.62 c remove useless variable ce[8][8][8] 9.59/9.62 c remove useless variable ce[8][9][0] 9.59/9.62 c remove useless variable ce[8][9][1] 9.59/9.62 c remove useless variable ce[8][9][2] 9.59/9.62 c remove useless variable ce[8][9][3] 9.59/9.62 c remove useless variable ce[8][9][4] 9.59/9.62 c remove useless variable ce[8][9][5] 9.59/9.62 c remove useless variable ce[8][9][6] 9.59/9.62 c remove useless variable ce[8][9][7] 9.59/9.62 c remove useless variable ce[8][9][8] 9.59/9.62 c remove useless variable ce[8][9][9] 9.99/10.02 c 10 495 118960 123536 0 10 486 486 441 10.28/10.36 c 20 830 223723 236956 0 20 4 326 267 10.68/10.71 c 30 1182 331213 368116 0 30 4 343 98 10.68/10.73 c 40 1206 335345 381962 0 40 3 15 10 10.68/10.75 c 50 1232 338527 401079 0 50 7 17 11 10.68/10.76 c 60 1250 341127 411821 0 60 3 9 6 10.68/10.78 c 70 1271 343840 423190 0 70 6 12 9 10.68/10.79 c 80 1294 347002 436499 0 80 5 14 8 10.78/10.80 c 90 1317 349760 451849 0 90 6 14 10 10.78/10.81 c 100 1342 353414 466566 0 100 5 16 11 10.78/10.82 c 101 1356 356004 472255 0 101 14 14 7 10.78/10.83 c 110 1378 359163 486094 0 110 7 14 10 11.09/11.14 c 120 1647 447729 622993 0 120 260 260 236 11.09/11.15 c 130 1671 450925 637838 0 130 7 15 10 11.09/11.17 c 140 1700 455040 657015 0 140 9 20 12 11.09/11.18 c 150 1720 458188 667436 0 150 3 11 8 11.09/11.19 c 160 1741 460841 679296 0 160 6 12 8 11.18/11.21 c 170 1764 463996 691152 0 170 5 14 9 11.18/11.22 c 180 1784 466644 701096 0 180 6 11 8 11.18/11.23 c 190 1805 469330 711432 0 190 4 12 7 11.18/11.24 c 200 1825 471988 722821 0 200 6 11 7 11.18/11.25 c 210 1846 474692 734109 0 210 4 12 8 11.18/11.26 c 211 1850 475711 735745 0 211 4 4 2 11.18/11.27 c 220 1867 477864 746571 0 220 4 9 6 11.18/11.28 c 230 1890 481062 759875 0 230 6 14 9 11.28/11.30 c 240 1919 484726 777522 0 240 7 20 11 11.28/11.31 c 250 1935 486907 786814 0 250 3 7 5 11.28/11.32 c 260 1956 489558 797232 0 260 6 12 8 11.28/11.33 c 270 1979 492711 809639 0 270 8 14 10 11.28/11.34 c 280 1999 495373 821990 0 280 5 11 8 11.28/11.37 c 290 2028 499581 840124 0 290 12 20 14 11.28/11.38 c 300 2050 502791 852281 0 300 7 13 9 11.28/11.39 c 310 2073 505961 865583 0 310 6 14 9 11.38/11.40 c 320 2096 508679 878492 0 320 7 14 10 11.38/11.42 c 330 2122 512404 896557 0 330 14 17 13 11.38/11.43 c 332 2128 513932 899075 0 332 3 5 2 11.38/11.44 c 340 2144 516060 907009 0 340 4 9 6 11.38/11.45 c 350 2167 519296 919247 0 350 12 14 12 11.38/11.48 c 360 2196 523451 937381 0 360 7 20 11 11.38/11.49 c 370 2215 526111 947627 0 370 3 10 6 11.48/11.51 c 380 2241 529758 965148 0 380 14 17 14 11.48/11.52 c 390 2260 532456 975883 0 390 5 10 6 11.48/11.54 c 400 2289 536588 997232 0 400 17 20 17 11.48/11.56 c 410 2314 539916 1012769 0 410 10 16 12 11.48/11.58 c 420 2340 543571 1029889 0 420 11 17 13 11.48/11.59 c 430 2359 546272 1039656 0 430 3 10 6 11.58/11.60 c 440 2379 548945 1050473 0 440 6 11 8 11.78/11.87 c 450 2609 622509 1154112 0 450 20 221 36 11.78/11.88 c 460 2628 625210 1163879 0 460 3 10 6 11.88/11.90 c 465 2646 628351 1174679 0 465 11 14 9 11.88/11.91 c 470 2664 630969 1185086 0 470 5 14 7 11.88/11.92 c 480 2687 634166 1197910 0 480 6 14 8 11.88/11.93 c 490 2713 637865 1213107 0 490 7 17 11 11.88/11.95 c 500 2735 641038 1225927 0 500 5 13 9 11.88/11.96 c 510 2753 643235 1235303 0 510 4 9 7 11.88/11.97 c 520 2776 646454 1248039 0 520 9 14 11 11.88/11.99 c 530 2802 650147 1262338 0 530 11 17 13 11.98/12.00 c 540 2827 653369 1276100 0 540 7 16 12 11.98/12.01 c 550 2856 657125 1291267 0 550 17 20 16 11.98/12.03 c 560 2878 660310 1302252 0 560 4 13 8 11.98/12.04 c 570 2898 662984 1314199 0 570 8 11 9 11.98/12.05 c 580 2921 666177 1326942 0 580 6 14 9 11.98/12.07 c 590 2947 668959 1342756 0 590 7 17 11 11.98/12.08 c 600 2969 671687 1355596 0 600 5 13 9 11.98/12.09 c 610 2992 674889 1368008 0 610 11 14 11 11.98/12.10 c 611 2998 676407 1370699 0 611 6 6 3 12.09/12.11 c 620 3020 679113 1383922 0 620 4 14 8 12.09/12.12 c 630 3043 681853 1398286 0 630 7 14 11 12.09/12.13 c 640 3066 683673 1411518 0 640 5 14 8 12.09/12.15 c 650 3101 687917 1435337 0 650 17 26 17 12.09/12.16 c 660 3123 691064 1446797 0 660 7 13 9 12.09/12.18 c 670 3146 694345 1458738 0 670 9 14 10 12.09/12.19 c 680 3169 697531 1470202 0 680 4 14 8 12.19/12.20 c 690 3192 700741 1483500 0 690 6 14 10 12.19/12.21 c 700 3211 703435 1494403 0 700 8 10 8 12.38/12.46 c 710 3422 769993 1594901 0 710 14 202 65 12.38/12.47 c 720 3440 772681 1604191 0 720 3 9 6 12.38/12.49 c 730 3466 776436 1617322 0 730 17 17 15 12.48/12.50 c 740 3488 779621 1628307 0 740 4 13 8 12.48/12.52 c 750 3511 782858 1642648 0 750 14 14 12 12.48/12.55 c 760 3551 788969 1665934 0 760 14 31 16 12.48/12.56 c 770 3573 792125 1677313 0 770 5 13 9 12.48/12.57 c 771 3583 794672 1681940 0 771 10 10 5 12.48/12.58 c 780 3602 797354 1690840 0 780 4 11 6 12.58/12.60 c 790 3628 801076 1707007 0 790 10 17 12 12.58/12.61 c 800 3647 803775 1716389 0 800 8 10 8 12.58/12.63 c 810 3673 807059 1731035 0 810 11 17 12 12.58/12.64 c 820 3692 809742 1740980 0 820 5 10 7 12.58/12.65 c 830 3715 812890 1752836 0 830 5 14 10 12.58/12.66 c 840 3735 815125 1766332 0 840 5 11 8 12.58/12.67 c 850 3758 818312 1778197 0 850 5 14 9 12.58/12.68 c 860 3781 821017 1792913 0 860 14 14 12 12.58/12.69 c 870 3804 824200 1805726 0 870 5 14 9 12.68/12.70 c 880 3827 827382 1819496 0 880 5 14 10 12.68/12.72 c 890 3850 830609 1831748 0 890 6 14 9 12.68/12.73 c 900 3873 833776 1845109 0 900 8 14 11 12.68/12.75 c 910 3899 837528 1858706 0 910 17 17 15 12.68/12.76 c 920 3918 839318 1869915 0 920 5 10 7 12.68/12.77 c 930 3941 842450 1883283 0 930 8 14 10 12.68/12.77 c 940 3964 844298 1898286 0 940 8 14 9 12.68/12.78 c 947 3981 846942 1907335 0 947 8 11 9 12.68/12.79 c 950 3994 849467 1913490 0 950 8 11 6 12.78/12.80 c 960 4017 852757 1928671 0 960 14 14 12 12.78/12.81 c 970 4040 855025 1943160 0 970 7 14 9 12.78/12.82 c 980 4063 858251 1957497 0 980 6 14 10 12.78/12.84 c 990 4086 861412 1969911 0 990 7 14 10 12.78/12.86 c 1000 4130 866590 2011626 0 1000 35 35 31 12.78/12.87 c 1010 4151 869306 2025441 0 1010 5 12 9 12.88/12.91 c 1020 4202 875032 2062022 0 1020 10 42 15 12.88/12.92 c 1030 4223 878178 2074829 0 1030 5 12 9 12.88/12.93 c 1040 4246 881375 2085817 0 1040 8 14 9 12.88/12.94 c 1050 4269 884121 2101045 0 1050 5 14 10 12.88/12.95 c 1060 4292 886426 2117348 0 1060 6 14 10 12.88/12.98 c 1070 4343 891195 2158480 0 1070 14 42 24 12.88/12.99 c 1080 4367 894838 2171757 0 1080 5 15 9 12.98/13.01 c 1090 4393 897983 2187586 0 1090 10 17 11 12.98/13.02 c 1100 4412 900704 2200809 0 1100 4 10 8 12.98/13.05 c 1110 4448 906518 2253239 0 1110 14 27 17 12.98/13.06 c 1120 4466 909200 2262614 0 1120 4 9 7 13.08/13.10 c 1130 4506 915067 2340507 0 1130 31 31 28 13.08/13.11 c 1140 4524 917789 2349798 0 1140 5 9 6 13.08/13.12 c 1141 4530 919297 2352489 0 1141 6 6 3 13.08/13.15 c 1150 4565 925566 2409088 0 1150 14 27 19 13.08/13.17 c 1160 4586 928717 2419332 0 1160 3 12 7 13.08/13.18 c 1170 4609 931964 2433997 0 1170 8 14 9 13.08/13.20 c 1180 4635 935611 2452612 0 1180 14 17 13 13.19/13.21 c 1190 4656 938786 2463416 0 1190 4 12 8 13.19/13.26 c 1200 4696 945155 2538073 0 1200 31 31 28 13.19/13.27 c 1210 4717 948400 2550250 0 1210 7 12 8 13.29/13.32 c 1220 4753 954902 2658473 0 1220 27 27 24 13.29/13.33 c 1230 4769 957078 2666322 0 1230 3 7 5 13.29/13.34 c 1240 4789 959745 2675705 0 1240 4 11 7 13.29/13.35 c 1250 4807 961959 2684602 0 1250 7 9 7 13.29/13.37 c 1260 4833 965198 2699719 0 1260 11 17 13 13.29/13.38 c 1270 4852 967909 2712940 0 1270 4 10 8 13.29/13.39 c 1280 4872 970559 2722797 0 1280 4 11 8 13.38/13.43 c 1290 4909 977314 2784702 0 1290 28 28 25 13.38/13.44 c 1300 4930 980522 2795429 0 1300 3 12 7 13.38/13.46 c 1310 4956 984161 2812536 0 1310 14 17 14 13.38/13.48 c 1320 4978 987364 2825198 0 1320 3 13 7 13.68/13.73 c 1330 5218 1059176 2942245 0 1330 231 231 210 13.68/13.74 c 1340 5239 1062356 2952972 0 1340 3 12 7 13.68/13.78 c 1350 5276 1069030 2984189 0 1350 14 28 14 13.68/13.79 c 1352 5284 1071077 2987676 0 1352 3 7 3 13.78/13.82 c 1360 5320 1077703 3041359 0 1360 29 29 25 13.78/13.84 c 1370 5341 1080883 3053033 0 1370 9 12 9 13.78/13.89 c 1380 5378 1088037 3180340 0 1380 28 28 25 13.88/13.90 c 1390 5402 1091765 3192493 0 1390 12 15 12 13.88/13.92 c 1400 5425 1094507 3206285 0 1400 8 14 10 13.88/13.93 c 1410 5448 1097750 3218527 0 1410 9 14 11 13.88/13.96 c 1420 5486 1102996 3262959 0 1420 14 29 17 13.88/13.97 c 1430 5507 1106163 3274249 0 1430 4 12 8 13.88/13.99 c 1440 5530 1109451 3287453 0 1440 14 14 12 13.98/14.02 c 1450 5569 1115154 3355367 0 1450 30 30 27 13.98/14.03 c 1460 5593 1118911 3369511 0 1460 12 15 12 13.98/14.05 c 1470 5616 1122104 3381377 0 1470 5 14 8 13.98/14.06 c 1480 5635 1124843 3396122 0 1480 8 10 8 13.98/14.09 c 1490 5673 1131861 3422728 0 1490 7 29 12 14.08/14.10 c 1500 5697 1135505 3436485 0 1500 5 15 9 14.08/14.12 c 1510 5724 1138739 3458244 0 1510 7 18 9 14.08/14.13 c 1520 5745 1141465 3472059 0 1520 5 12 9 14.08/14.16 c 1530 5784 1148612 3513745 0 1530 14 30 18 14.08/14.17 c 1540 5805 1151329 3527078 0 1540 5 12 9 14.18/14.21 c 1550 5843 1158157 3611069 0 1550 29 29 26 14.18/14.25 c 1560 5902 1164479 3651647 0 1560 12 50 17 14.18/14.27 c 1570 5926 1168107 3665961 0 1570 8 15 11 14.18/14.28 c 1580 5949 1171303 3676399 0 1580 5 14 8 14.18/14.29 c 1585 5963 1173879 3683527 0 1585 6 10 7 14.18/14.30 c 1590 5981 1176533 3692490 0 1590 9 14 10 14.29/14.34 c 1600 6019 1182904 3778673 0 1600 29 29 26 14.29/14.35 c 1610 6043 1186539 3792989 0 1610 8 15 11 14.29/14.39 c 1620 6082 1193135 3852961 0 1620 19 30 25 14.29/14.40 c 1630 6103 1196318 3862825 0 1630 4 12 6 14.39/14.41 c 1640 6131 1199439 3882850 0 1640 14 19 16 14.39/14.42 c 1650 6156 1202219 3899438 0 1650 9 16 11 14.39/14.46 c 1660 6194 1208558 3985070 0 1660 29 29 26 14.48/14.50 c 1670 6253 1214779 4034985 0 1670 15 50 35 14.48/14.51 c 1680 6274 1217496 4048318 0 1680 5 12 9 14.48/14.55 c 1690 6313 1224792 4132668 0 1690 30 30 27 14.48/14.59 c 1700 6353 1231201 4214712 0 1700 31 31 28 14.58/14.61 c 1710 6377 1234837 4229516 0 1710 4 15 10 14.58/14.62 c 1720 6400 1237105 4244657 0 1720 7 14 9 14.58/14.66 c 1730 6440 1245109 4289996 0 1730 10 31 20 14.58/14.69 c 1740 6480 1251348 4318799 0 1740 12 31 14 14.68/14.70 c 1750 6504 1254991 4332076 0 1750 5 15 9 14.68/14.74 c 1760 6544 1262090 4400428 0 1760 31 31 28 14.68/14.78 c 1770 6584 1268501 4482472 0 1770 31 31 28 14.68/14.79 c 1780 6605 1271217 4496287 0 1780 5 12 9 14.78/14.83 c 1790 6644 1278504 4581966 0 1790 30 30 27 14.78/14.87 c 1800 6684 1285005 4677169 0 1800 31 31 28 14.78/14.89 c 1810 6705 1288165 4686634 0 1810 3 12 7 14.88/14.90 c 1820 6730 1291376 4705582 0 1820 5 16 10 14.88/14.93 c 1830 6770 1298496 4765443 0 1830 19 31 26 14.88/14.96 c 1840 6810 1303287 4802709 0 1840 12 31 17 14.88/14.98 c 1841 6827 1307815 4811640 0 1841 17 17 8 14.88/14.99 c 1850 6849 1310967 4824045 0 1850 7 14 10 14.98/15.04 c 1860 6889 1319066 4891997 0 1860 31 31 28 15.18/15.29 c 1870 7139 1388962 5029091 0 1870 16 241 102 15.28/15.30 c 1880 7160 1391678 5042906 0 1880 5 12 9 15.28/15.31 c 1890 7179 1394333 5051970 0 1890 8 10 8 15.28/15.36 c 1900 7219 1402577 5140899 0 1900 31 31 28 15.28/15.37 c 1910 7240 1405742 5152289 0 1910 3 12 7 15.39/15.40 c 1920 7281 1413289 5216377 0 1920 16 32 27 15.39/15.45 c 1930 7349 1420035 5275567 0 1930 4 59 42 15.39/15.47 c 1940 7375 1424626 5291793 0 1940 4 17 10 15.49/15.52 c 1950 7416 1432461 5395103 0 1950 32 32 29 15.49/15.53 c 1960 7442 1437070 5411329 0 1960 4 17 10 15.49/15.56 c 1970 7470 1441634 5428581 0 1970 10 19 12 15.49/15.57 c 1980 7496 1446235 5444807 0 1980 4 17 10 15.49/15.58 c 1990 7515 1448026 5458920 0 1990 5 10 7 15.49/15.60 c 2000 7540 1451660 5473650 0 2000 6 16 9 15.58/15.64 c 2010 7582 1460596 5538134 0 2010 19 33 27 15.58/15.66 c 2020 7603 1463736 5547600 0 2020 3 12 7 15.68/15.70 c 2030 7645 1471771 5616717 0 2030 33 33 30 15.68/15.71 c 2040 7666 1474956 5628104 0 2040 5 12 7 15.68/15.76 c 2050 7708 1483981 5697587 0 2050 16 33 28 15.68/15.77 c 2060 7727 1486700 5707434 0 2060 4 10 8 15.68/15.78 c 2070 7752 1490785 5722717 0 2070 8 16 9 15.68/15.79 c 2080 7772 1493491 5734584 0 2080 5 11 8 15.78/15.84 c 2090 7814 1502509 5799020 0 2090 16 33 28 15.78/15.85 c 2100 7835 1505694 5809266 0 2100 3 12 7 15.88/15.90 c 2110 7877 1514723 5872707 0 2110 16 33 26 15.88/15.91 c 2120 7895 1517411 5881997 0 2120 3 9 6 15.88/15.93 c 2122 7912 1521490 5890864 0 2122 16 16 10 15.88/15.98 c 2130 7952 1530371 5926622 0 2130 19 33 21 15.88/15.99 c 2140 7970 1533080 5937349 0 2140 5 9 7 15.98/16.01 c 2150 7995 1537205 5951201 0 2150 4 16 9 15.98/16.03 c 2160 8023 1541348 5970759 0 2160 11 19 14 15.98/16.04 c 2170 8045 1544967 5981562 0 2170 4 13 8 15.98/16.06 c 2180 8070 1549194 5996727 0 2180 16 16 14 15.98/16.07 c 2190 8090 1551894 6006590 0 2190 8 11 9 15.98/16.09 c 2200 8118 1555625 6026473 0 2200 15 19 15 16.08/16.11 c 2210 8145 1559830 6040604 0 2210 14 18 14 16.08/16.15 c 2220 8187 1568294 6096118 0 2220 14 33 24 16.08/16.17 c 2230 8213 1572976 6111255 0 2230 12 17 15 16.18/16.22 c 2240 8255 1581510 6162567 0 2240 14 33 23 16.18/16.24 c 2250 8284 1586588 6182443 0 2250 20 20 18 16.18/16.25 c 2260 8302 1589271 6190953 0 2260 5 9 7 16.18/16.27 c 2270 8322 1591908 6202420 0 2270 8 11 9 16.28/16.31 c 2280 8364 1600937 6276640 0 2280 33 33 30 16.28/16.33 c 2290 8385 1604109 6286583 0 2290 5 12 7 16.28/16.34 c 2300 8409 1606876 6301033 0 2300 9 15 10 16.28/16.38 c 2310 8451 1614964 6370129 0 2310 33 33 30 16.38/16.40 c 2320 8476 1618731 6383423 0 2320 12 16 13 16.38/16.41 c 2330 8504 1621891 6401932 0 2330 15 19 15 16.38/16.42 c 2340 8525 1625060 6411397 0 2340 3 12 7 16.38/16.46 c 2350 8567 1633029 6449047 0 2350 15 33 18 16.38/16.47 c 2360 8592 1637150 6463275 0 2360 5 16 9 16.49/16.51 c 2370 8634 1645180 6532412 0 2370 33 33 30 16.49/16.55 c 2380 8667 1651443 6580596 0 2380 16 24 18 16.49/16.56 c 2390 8692 1655549 6595376 0 2390 8 16 11 16.49/16.58 c 2400 8720 1658295 6615468 0 2400 14 19 14 16.49/16.59 c 2410 8742 1661924 6628259 0 2410 5 13 10 16.59/16.63 c 2420 8779 1668647 6699722 0 2420 28 28 25 16.59/16.64 c 2430 8800 1671363 6713537 0 2430 5 12 9 16.59/16.67 c 2431 8829 1678317 6734366 0 2431 29 29 14 16.59/16.68 c 2440 8845 1680955 6741421 0 2440 3 8 5 16.68/16.72 c 2450 8884 1688616 6823081 0 2450 30 30 27 16.68/16.74 c 2460 8905 1691778 6834470 0 2460 3 12 6 16.68/16.77 c 2470 8943 1698969 6904928 0 2470 29 29 26 16.68/16.79 c 2480 8968 1703161 6919134 0 2480 12 16 13 16.78/16.82 c 2490 9007 1708895 6993506 0 2490 19 30 25 16.78/16.84 c 2500 9032 1713018 7008785 0 2500 4 16 10 16.78/16.88 c 2510 9070 1719681 7071594 0 2510 29 29 26 16.78/16.89 c 2520 9095 1723795 7086873 0 2520 4 16 10 16.88/16.93 c 2530 9133 1730914 7149691 0 2530 29 29 26 16.88/16.94 c 2540 9155 1734519 7160658 0 2540 3 13 8 16.88/16.98 c 2550 9193 1741531 7191580 0 2550 19 29 18 16.98/17.02 c 2560 9227 1748275 7256324 0 2560 16 25 21 16.98/17.03 c 2570 9252 1752391 7270633 0 2570 4 16 11 16.98/17.07 c 2580 9289 1758540 7322238 0 2580 19 28 23 17.08/17.11 c 2590 9323 1765376 7396388 0 2590 25 25 22 17.08/17.12 c 2600 9345 1769016 7406330 0 2600 3 13 7 17.08/17.16 c 2610 9383 1775317 7492219 0 2610 29 29 26 17.08/17.20 c 2620 9418 1781629 7558277 0 2620 16 26 22 17.18/17.21 c 2630 9443 1785731 7573068 0 2630 4 16 10 17.18/17.25 c 2640 9478 1792523 7655264 0 2640 26 26 23 17.18/17.27 c 2650 9503 1796715 7669470 0 2650 12 16 13 17.18/17.28 c 2660 9536 1800905 7686475 0 2660 24 24 21 17.28/17.30 c 2670 9561 1804510 7702311 0 2670 9 16 11 17.28/17.31 c 2680 9582 1807651 7712254 0 2680 6 12 8 17.28/17.33 c 2690 9615 1812799 7729341 0 2690 24 24 21 17.28/17.34 c 2700 9640 1816437 7744621 0 2700 6 16 10 17.28/17.36 c 2710 9664 1820082 7758379 0 2710 5 15 9 17.28/17.37 c 2720 9696 1824753 7776408 0 2720 23 23 20 17.28/17.39 c 2730 9721 1828392 7791693 0 2730 6 16 10 17.38/17.40 c 2740 9742 1831575 7801557 0 2740 4 12 6 17.38/17.42 c 2750 9774 1837131 7819257 0 2750 10 23 13 17.38/17.43 c 2760 9802 1840909 7838831 0 2760 16 19 17 17.38/17.46 c 2770 9834 1846541 7857847 0 2770 14 23 18 17.38/17.47 c 2771 9853 1850153 7867851 0 2771 19 19 9 17.48/17.50 c 2780 9883 1855317 7885894 0 2780 22 22 19 17.48/17.52 c 2790 9916 1859475 7912574 0 2790 19 24 21 17.48/17.53 c 2800 9941 1863596 7926802 0 2800 5 16 9 17.48/17.54 c 2810 9964 1865902 7941297 0 2810 7 14 10 17.48/17.55 c 2820 9988 1868646 7959245 0 2820 6 15 9 17.48/17.57 c 2830 10020 1872891 7979260 0 2830 14 23 17 17.48/17.58 c 2840 10048 1877146 7998765 0 2840 19 19 17 17.48/17.60 c 2850 10079 1880921 8017760 0 2850 22 22 20 17.59/17.62 c 2860 10112 1885571 8044426 0 2860 19 24 20 17.59/17.64 c 2870 10137 1889694 8058660 0 2870 5 16 9 17.59/17.66 c 2880 10165 1894006 8087263 0 2880 19 19 17 17.59/17.68 c 2890 10203 1899132 8116787 0 2890 24 29 22 17.59/17.70 c 2900 10224 1902325 8126169 0 2900 6 12 8 17.69/17.71 c 2910 10252 1906954 8142886 0 2910 19 19 17 17.69/17.73 c 2920 10290 1911610 8172407 0 2920 24 29 23 17.69/17.75 c 2930 10315 1915732 8186636 0 2930 5 16 9 17.69/17.77 c 2940 10343 1919051 8210911 0 2940 19 19 17 17.69/17.79 c 2950 10387 1924692 8242788 0 2950 29 35 28 17.78/17.81 c 2960 10412 1928815 8257022 0 2960 5 16 9 17.78/17.83 c 2970 10450 1932575 8284533 0 2970 18 29 20 17.78/17.85 c 2980 10475 1936736 8298273 0 2980 12 16 12 17.78/17.87 c 2990 10513 1941476 8325279 0 2990 18 29 20 17.78/17.89 c 3000 10543 1946250 8344685 0 3000 12 21 14 17.88/17.91 c 3010 10572 1949996 8365219 0 3010 16 20 15 17.88/17.92 c 3020 10596 1953640 8378497 0 3020 5 15 9 17.88/17.94 c 3030 10634 1957378 8408869 0 3030 29 29 26 17.88/17.95 c 3040 10664 1961668 8426925 0 3040 15 21 15 17.88/17.97 c 3050 10697 1965816 8453198 0 3050 20 24 19 17.88/17.99 c 3060 10725 1970062 8468369 0 3060 15 19 14 17.98/18.01 c 3070 10758 1974243 8496567 0 3070 24 24 21 17.98/18.02 c 3080 10786 1978480 8511730 0 3080 15 19 15 17.98/18.04 c 3090 10815 1982210 8532269 0 3090 16 20 16 17.98/18.05 c 3100 10842 1985985 8547446 0 3100 15 18 15 17.98/18.07 c 3110 10875 1990134 8574642 0 3110 20 24 20 17.98/18.09 c 3120 10903 1994822 8590745 0 3120 12 19 14 18.08/18.11 c 3130 10932 1998985 8612189 0 3130 13 20 15 18.08/18.12 c 3140 10956 2002654 8625923 0 3140 8 15 12 18.08/18.13 c 3142 10971 2004773 8631708 0 3142 14 14 9 18.08/18.14 c 3150 11007 2008494 8659244 0 3150 29 29 25 18.08/18.16 c 3160 11033 2012668 8674893 0 3160 8 17 13 18.08/18.16 c 3170 11060 2015491 8691204 0 3170 14 18 14 18.08/18.18 c 3180 11086 2018756 8707962 0 3180 9 17 12 18.08/18.18 c 3190 11113 2021531 8725240 0 3190 10 18 13 18.18/18.20 c 3200 11142 2024810 8748199 0 3200 17 20 17 18.18/18.21 c 3210 11166 2028068 8762943 0 3210 8 15 11 18.18/18.23 c 3220 11204 2031806 8791420 0 3220 18 29 19 18.18/18.25 c 3230 11234 2036993 8809406 0 3230 17 21 18 18.18/18.27 c 3240 11267 2040244 8840049 0 3240 20 24 21 18.18/18.28 c 3250 11295 2044443 8857144 0 3250 8 19 11 18.28/18.30 c 3260 11324 2048586 8878597 0 3260 13 20 15 18.28/18.32 c 3270 11351 2052346 8894280 0 3270 11 18 13 18.28/18.34 c 3280 11384 2056982 8922828 0 3280 20 24 21 18.28/18.35 c 3290 11412 2061226 8940319 0 3290 19 19 17 18.28/18.38 c 3300 11450 2066396 8974539 0 3300 24 29 22 18.38/18.40 c 3310 11480 2071103 8992107 0 3310 13 21 14 18.38/18.42 c 3320 11518 2076250 9021610 0 3320 29 29 26 18.38/18.43 c 3330 11540 2079531 9036778 0 3330 8 13 9 18.38/18.45 c 3340 11578 2083234 9066697 0 3340 29 29 26 18.38/18.47 c 3350 11608 2088029 9089989 0 3350 21 21 19 18.38/18.48 c 3360 11630 2090743 9103897 0 3360 6 13 10 18.48/18.50 c 3370 11674 2094943 9138050 0 3370 29 35 27 18.48/18.51 c 3380 11702 2099142 9155145 0 3380 8 19 11 18.48/18.54 c 3390 11746 2104782 9187481 0 3390 29 35 26 18.48/18.56 c 3400 11774 2109026 9204972 0 3400 19 19 17 18.48/18.57 c 3410 11793 2111715 9215957 0 3410 8 10 8 18.48/18.57 c 3420 11815 2114011 9231124 0 3420 7 13 9 18.48/18.59 c 3430 11838 2117159 9243534 0 3430 8 14 10 18.58/18.61 c 3440 11882 2121363 9280979 0 3440 35 35 31 18.58/18.62 c 3450 11902 2124581 9292286 0 3450 4 11 6 18.58/18.64 c 3460 11946 2128783 9329742 0 3460 35 35 31 18.58/18.65 c 3470 11969 2131977 9344022 0 3470 5 14 9 18.58/18.67 c 3480 11992 2135127 9356439 0 3480 8 14 10 18.58/18.69 c 3490 12043 2139814 9398527 0 3490 42 42 38 18.58/18.70 c 3500 12066 2142997 9412810 0 3500 5 14 8 18.69/18.72 c 3510 12086 2145682 9424681 0 3510 6 11 7 18.69/18.73 c 3520 12108 2148841 9435105 0 3520 5 13 9 18.69/18.74 c 3530 12131 2152086 9448893 0 3530 11 14 11 18.69/18.76 c 3540 12158 2156226 9464698 0 3540 10 18 14 18.69/18.77 c 3550 12183 2159888 9478060 0 3550 9 16 12 18.69/18.79 c 3551 12197 2162947 9485658 0 3551 14 14 7 18.79/18.81 c 3560 12247 2167628 9524514 0 3560 42 42 37 18.79/18.82 c 3570 12270 2171309 9537791 0 3570 8 14 10 18.79/18.84 c 3580 12297 2175495 9553534 0 3580 14 18 14 18.79/18.87 c 3590 12341 2181145 9591515 0 3590 35 35 31 18.79/18.89 c 3600 12369 2185559 9635169 0 3600 19 19 17 18.88/18.92 c 3610 12413 2191207 9672693 0 3610 35 35 31 18.88/18.94 c 3620 12441 2195620 9715885 0 3620 19 19 17 18.88/18.96 c 3630 12485 2201265 9752951 0 3630 35 35 31 18.88/18.98 c 3640 12513 2205678 9796153 0 3640 19 19 17 18.98/19.01 c 3650 12564 2211831 9842582 0 3650 35 42 34 18.98/19.03 c 3660 12587 2215496 9855400 0 3660 5 14 9 18.98/19.05 c 3670 12620 2220199 9880629 0 3670 18 24 18 18.98/19.07 c 3680 12643 2223813 9893515 0 3680 8 14 9 19.08/19.10 c 3690 12687 2229461 9930571 0 3690 24 35 28 19.08/19.11 c 3700 12710 2233126 9943389 0 3700 5 14 9 19.08/19.14 c 3710 12754 2238768 9979974 0 3710 35 35 31 19.08/19.16 c 3720 12782 2243008 9997007 0 3720 14 19 16 19.08/19.19 c 3730 12841 2249237 10053299 0 3730 42 50 39 19.18/19.21 c 3740 12864 2252840 10066185 0 3740 8 14 9 19.18/19.22 c 3750 12891 2256583 10081389 0 3750 14 18 15 19.18/19.24 c 3760 12913 2259816 10096155 0 3760 5 13 7 19.18/19.26 c 3770 12946 2264473 10123337 0 3770 18 24 19 19.18/19.27 c 3780 12974 2269147 10139058 0 3780 4 19 14 19.18/19.29 c 3790 12996 2272276 10152041 0 3790 5 13 10 19.28/19.31 c 3800 13047 2277014 10206837 0 3800 42 42 38 19.28/19.32 c 3810 13075 2280782 10222497 0 3810 14 19 15 19.28/19.34 c 3820 13104 2284037 10241114 0 3820 16 20 15 19.28/19.35 c 3830 13127 2287651 10254000 0 3830 8 14 9 19.28/19.37 c 3840 13150 2290793 10266406 0 3840 8 14 10 19.28/19.39 c 3850 13209 2295990 10319667 0 3850 42 50 43 19.38/19.41 c 3860 13232 2299656 10332486 0 3860 5 14 9 19.38/19.45 c 3870 13291 2305832 10379796 0 3870 50 50 45 19.38/19.46 c 3880 13314 2309497 10392614 0 3880 5 14 9 19.48/19.50 c 3890 13382 2315735 10451065 0 3890 50 59 47 19.48/19.51 c 3900 13405 2319400 10463883 0 3900 5 14 9 19.48/19.53 c 3910 13432 2323571 10480090 0 3910 14 18 15 19.48/19.56 c 3920 13465 2327766 10509565 0 3920 16 24 19 19.48/19.57 c 3930 13488 2331457 10522842 0 3930 8 14 10 19.79/19.85 c 3940 13847 2419436 10663233 0 3940 350 350 318 19.79/19.87 c 3950 13867 2422619 10676058 0 3950 5 11 8 19.79/19.88 c 3960 13894 2426329 10692316 0 3960 10 18 10 19.79/19.90 c 3970 13919 2430083 10705145 0 3970 13 16 13 19.89/19.92 c 3980 13946 2434232 10721857 0 3980 11 18 10 19.89/19.93 c 3990 13971 2437906 10736758 0 3990 5 16 10 19.89/19.95 c 4000 13994 2441051 10747754 0 4000 7 14 9 19.89/19.96 c 4001 14004 2443643 10751908 0 4001 10 10 5 19.89/19.97 c 4010 14030 2447344 10767685 0 4010 10 18 10 19.89/19.99 c 4020 14063 2451541 10797292 0 4020 16 24 18 19.98/20.01 c 4030 14086 2455217 10811615 0 4030 7 14 10 19.98/20.03 c 4040 14113 2459425 10828274 0 4040 18 18 16 19.98/20.05 c 4050 14142 2463578 10847905 0 4050 13 20 14 19.98/20.06 c 4060 14165 2466308 10861725 0 4060 5 14 9 20.08/20.10 c 4070 14224 2472961 10904868 0 4070 18 50 23 20.08/20.11 c 4080 14252 2477629 10920569 0 4080 14 19 15 20.08/20.14 c 4090 14285 2481819 10950173 0 4090 20 24 20 20.08/20.16 c 4100 14323 2487062 10990919 0 4100 19 29 22 20.08/20.18 c 4110 14346 2490675 11003825 0 4110 4 14 8 20.18/20.20 c 4120 14373 2494843 11020518 0 4120 14 18 14 20.18/20.21 c 4130 14394 2498044 11030953 0 4130 5 12 8 20.18/20.23 c 4140 14427 2502758 11053227 0 4140 13 24 17 20.18/20.24 c 4150 14447 2505936 11065009 0 4150 4 11 7 20.18/20.28 c 4160 14491 2511612 11102419 0 4160 24 35 27 20.18/20.29 c 4170 14511 2514790 11114201 0 4170 4 11 7 20.28/20.31 c 4180 14555 2520458 11151143 0 4180 35 35 31 20.28/20.33 c 4190 14575 2523612 11160526 0 4190 4 11 6 20.28/20.34 c 4200 14597 2526783 11172386 0 4200 5 13 10 20.28/20.36 c 4210 14624 2530511 11189055 0 4210 14 18 15 20.28/20.37 c 4220 14645 2533680 11199012 0 4220 5 12 7 20.28/20.38 c 4230 14664 2536394 11208005 0 4230 5 10 7 20.28/20.39 c 4240 14691 2539590 11224733 0 4240 7 18 10 20.38/20.41 c 4250 14716 2543320 11238038 0 4250 9 16 12 20.38/20.45 c 4260 14775 2549515 11288159 0 4260 42 50 44 20.38/20.46 c 4270 14798 2552707 11300504 0 4270 5 14 8 20.38/20.49 c 4280 14857 2558885 11343680 0 4280 50 50 45 20.48/20.51 c 4290 14885 2562657 11360329 0 4290 14 19 15 20.48/20.52 c 4300 14910 2565949 11377569 0 4300 9 16 10 20.48/20.54 c 4310 14943 2570189 11401336 0 4310 18 24 17 20.48/20.55 c 4320 14966 2573459 11416083 0 4320 8 14 9 20.79/20.84 c 4330 15321 2660652 11582725 0 4330 24 346 91 20.79/20.86 c 4340 15344 2664305 11596099 0 4340 4 14 9 20.79/20.87 c 4350 15364 2666982 11608450 0 4350 6 11 8 20.79/20.88 c 4360 15391 2670234 11626149 0 4360 6 18 11 20.89/20.90 c 4370 15424 2674414 11656653 0 4370 24 24 21 20.89/20.92 c 4380 15452 2678616 11673750 0 4380 19 19 17 20.89/20.96 c 4390 15531 2685741 11724942 0 4390 50 70 61 20.89/20.98 c 4400 15554 2688932 11738149 0 4400 4 14 9 20.99/21.00 c 4410 15593 2694196 11767050 0 4410 13 30 16 20.99/21.02 c 4420 15613 2697375 11777393 0 4420 4 11 7 20.99/21.03 c 4430 15635 2700551 11788292 0 4430 5 13 9 20.99/21.07 c 4440 15704 2707646 11836906 0 4440 50 60 48 20.99/21.08 c 4450 15727 2710802 11849806 0 4450 7 14 10 21.08/21.10 c 4460 15749 2714034 11862165 0 4460 5 13 8 21.08/21.14 c 4470 15832 2721725 11920983 0 4470 60 74 64 21.08/21.16 c 4480 15857 2725393 11935215 0 4480 5 16 11 21.18/21.20 c 4490 15940 2733074 11995503 0 4490 74 74 67 21.18/21.22 c 4493 15964 2737662 12008739 0 4493 16 22 13 21.18/21.23 c 4500 15986 2740912 12021567 0 4500 12 16 12 21.48/21.51 c 4510 16347 2825765 12200142 0 4510 64 352 293 21.48/21.53 c 4520 16370 2829430 12214465 0 4520 7 14 10 21.48/21.55 c 4530 16397 2833590 12231179 0 4530 11 18 11 21.48/21.58 c 4540 16466 2840261 12274554 0 4540 60 60 54 21.58/21.60 c 4550 16489 2843449 12286901 0 4550 5 14 8 21.58/21.64 c 4560 16571 2851118 12346798 0 4560 50 73 57 21.58/21.66 c 4570 16594 2854294 12359134 0 4570 5 14 9 21.58/21.68 c 4580 16633 2859559 12387089 0 4580 10 30 15 21.68/21.70 c 4590 16656 2863301 12400292 0 4590 11 14 11 21.68/21.74 c 4600 16739 2870522 12454462 0 4600 74 74 67 21.68/21.76 c 4610 16765 2873705 12467266 0 4610 5 17 10 21.68/21.77 c 4620 16785 2876355 12477693 0 4620 6 11 7 21.68/21.78 c 4630 16807 2879544 12490117 0 4630 8 13 9 21.68/21.79 c 4640 16830 2882271 12501511 0 4640 11 14 10 21.78/21.83 c 4650 16900 2888508 12553135 0 4650 18 61 31 21.78/21.85 c 4660 16923 2891679 12565865 0 4660 4 14 9 21.78/21.86 c 4670 16950 2895864 12579615 0 4670 10 18 12 21.88/21.90 c 4680 17019 2902063 12629070 0 4680 16 60 34 21.88/21.92 c 4690 17042 2905239 12644763 0 4690 5 14 10 21.88/21.95 c 4700 17115 2911047 12696233 0 4700 59 64 54 21.88/21.96 c 4710 17138 2914239 12708578 0 4710 5 14 8 21.88/21.98 c 4720 17165 2917543 12723803 0 4720 14 18 14 21.99/22.02 c 4730 17238 2923777 12773947 0 4730 59 64 55 21.99/22.03 c 4740 17261 2927437 12786829 0 4740 7 14 10 21.99/22.06 c 4750 17294 2930770 12812505 0 4750 18 24 16 21.99/22.07 c 4760 17317 2933987 12825348 0 4760 5 14 9 22.09/22.12 c 4770 17405 2940380 12899423 0 4770 59 79 60 22.09/22.13 c 4780 17428 2944028 12911355 0 4780 4 14 9 22.09/22.19 c 4790 17526 2951853 12984447 0 4790 59 89 63 22.18/22.20 c 4800 17549 2955518 12998770 0 4800 7 14 10 22.18/22.24 c 4810 17647 2961897 13068433 0 4810 89 89 80 22.18/22.26 c 4820 17670 2965110 13079832 0 4820 5 14 9 22.28/22.30 c 4830 17743 2972264 13129443 0 4830 64 64 58 22.28/22.31 c 4840 17759 2975037 13160170 0 4840 7 7 6 22.28/22.32 c 4850 17781 2977338 13175821 0 4850 7 13 9 22.28/22.33 c 4860 17804 2980599 13190085 0 4860 11 14 11 22.28/22.35 c 4870 17831 2983881 13207368 0 4870 10 18 13 22.28/22.36 c 4880 17856 2987175 13224609 0 4880 9 16 10 22.28/22.38 c 4890 17883 2991368 13240279 0 4890 11 18 14 22.38/22.42 c 4900 17952 2998031 13290219 0 4900 16 60 23 22.38/22.43 c 4910 17975 3001230 13304482 0 4910 5 14 9 22.38/22.47 c 4920 18044 3007489 13359008 0 4920 30 60 48 22.38/22.49 c 4930 18067 3010703 13371736 0 4930 4 14 8 22.48/22.53 c 4940 18136 3016574 13433375 0 4940 30 60 45 22.48/22.54 c 4950 18159 3019770 13447059 0 4950 4 14 10 22.48/22.56 c 4960 18189 3025419 13461730 0 4960 14 21 17 22.48/22.59 c 4970 18228 3029742 13498363 0 4970 16 30 18 22.58/22.61 c 4980 18252 3033871 13511721 0 4980 7 15 11 22.58/22.66 c 4990 18350 3040330 13592545 0 4990 63 89 63 22.58/22.70 c 5035 18418 3047638 13668224 0 5035 5 24 20 22.98/23.02 c 5631 19357 3133694 14175643 0 5078 16 343 326 23.28/23.31 c 6286 20034 3159749 15944320 0 5268 7 22 21 23.78/23.86 c 7006 20832 3182544 18771644 0 5578 3 71 65 24.28/24.38 c 7798 21652 3216642 21115533 0 5949 23 27 23 24.77/24.85 c 8669 22575 3249115 23758423 0 6398 11 52 50 25.38/25.48 c 9627 23552 3279231 27676667 0 6889 12 16 15 25.98/26.01 c 10680 24663 3311139 30492893 0 7069 4 57 55 26.39/26.45 c 11838 25864 3345093 32892333 0 7324 6 42 40 26.78/26.85 c 13111 27455 3416881 33585544 0 7727 9 314 264 26.98/27.04 c 14511 28865 3464466 34923471 0 8166 9 9 8 27.38/27.43 c 16051 30435 3516008 37321848 0 8292 15 19 18 28.38/28.43 c 17745 32223 3550831 43183636 0 8810 3 92 87 28.69/28.72 c 19608 34101 3608584 45176152 0 9237 6 13 12 30.89/30.99 c 21657 36183 3671739 57561937 0 9494 4 30 29 32.58/32.64 c 23910 38931 3839938 67012252 0 9885 486 486 485 35.88/35.95 c 26388 41483 3947376 84630408 0 10280 5 70 62 36.18/36.30 c 29113 44223 4028574 87212401 0 10598 11 11 10 37.08/37.11 c 32110 47263 4099311 91547803 0 10943 13 38 37 40.78/40.84 c 35406 50620 4225432 113919623 0 11299 6 55 54 42.47/42.52 c 39031 54749 4411416 123307240 0 11664 486 486 485 43.57/43.60 c 43018 58865 4492285 128970329 0 12315 6 58 56 46.77/46.86 c 47403 63270 4656932 143464678 0 12402 6 12 11 47.87/47.97 c 52226 68133 4792945 150377434 0 12611 5 31 30 49.08/49.18 c 57531 73459 4951310 157964520 0 12742 11 11 10 50.38/50.49 c 63366 79316 5114561 166216014 0 12865 3 11 10 53.77/53.89 c 69784 85826 5232375 186860914 0 13268 4 78 77 55.77/55.86 c 76843 92948 5436644 198086526 0 13443 5 39 38 61.87/61.97 c 84607 101050 5601266 236427506 0 13791 5 69 68 62.97/63.06 c 93147 109619 5831706 244752957 0 14191 10 13 10 64.57/64.67 c 102541 119052 6083270 255453240 0 14675 4 21 20 70.96/71.03 c 112874 129543 6391693 299451457 0 14855 5 49 48 72.26/72.38 c 124240 141271 6513787 302380194 0 15408 5 307 275 75.27/75.39 c 136742 153818 6887737 322161037 0 15744 3 20 19 83.26/83.37 c 150494 168035 7183991 383317984 0 16417 4 368 321 94.16/94.23 c 165621 183380 7461683 434676344 0 17144 3 174 170 97.76/97.90 c 182260 200068 7921201 458260769 0 17229 5 15 14 100.85/100.90 c 200562 218433 8400944 478783148 0 17474 4 25 24 111.55/111.65 c 220694 238637 9022435 553350846 0 17921 8 30 29 120.85/120.92 c 242839 261225 9321809 608824591 0 19186 5 144 142 133.74/133.86 c 267198 285652 10090217 697356177 0 19575 5 18 17 140.54/140.64 c 293992 312538 10877785 743114226 0 19939 4 36 35 152.15/152.24 c 323465 342528 11336388 805635692 0 21176 4 128 127 159.14/159.28 c 355885 375040 12231020 851577274 0 21417 3 24 23 170.94/171.09 c 391547 410808 13181179 938970821 0 21917 4 31 30 213.63/213.70 c 430775 450210 14497157 1214589443 0 22279 4 78 77 224.22/224.31 c 473925 493493 15723656 1289252820 0 22742 4 40 39 274.21/274.31 c 521390 542036 16938620 1570115649 0 23420 4 119 117 280.31/280.46 c 573601 594370 18430896 1619262733 0 23575 16 16 15 305.20/305.30 c 631033 664089 19900850 1767379066 0 25161 27 78 76 352.69/352.85 c 694208 728778 21103301 2085332574 0 26558 9 93 92 360.89/361.05 c 763700 798423 23084722 2150878555 0 26786 10 10 9 379.49/379.65 c 840141 875068 25022816 2271418084 0 27032 31 40 39 436.67/436.84 c 924226 964579 27559384 2665785017 0 27746 3 57 55 467.75/467.91 c 1016719 1057868 30015979 2893283684 0 28192 7 17 16 483.46/483.65 c 1118461 1159833 32953770 3005996792 0 28552 4 11 10 521.85/522.08 c 1230377 1274272 34535920 3189033961 0 29500 4 141 132 548.04/548.25 c 1353484 1397681 37761449 3371147421 0 30264 3 35 34 619.13/619.33 c 1488901 1533415 41967594 3863922757 0 30608 6 27 26 773.19/773.49 c 1637859 1682773 49019534 4755265402 0 31234 6 60 59 808.47/808.79 c 1801712 1847369 53525562 4987263804 0 32363 5 36 35 853.86/854.13 c 1981950 2028046 59335792 5324151709 0 32982 7 44 43 869.15/869.41 c 2180211 2228442 60015571 5327809343 0 34227 5 395 387 922.94/923.23 c 2398298 2447595 62147604 5576794275 0 35848 3 243 241 955.03/955.35 c 2638193 2688086 69876087 5812248082 0 36009 6 24 21 998.02/998.38 c 2902077 2952876 77135314 6120010576 0 36537 5 37 16 1065.81/1066.14 c 3192349 3243797 85669348 6574657496 0 36873 9 27 26 1117.30/1117.66 c 3511648 3563817 95727321 6933458944 0 37391 5 30 29 1256.16/1256.55 c 3862876 3918969 104787078 8018805984 0 38535 4 44 43 1484.30/1484.73 c 4249226 4317390 115147473 9107693762 0 40530 4 214 186 1534.79/1535.22 c 4674211 4743279 128527771 9509846909 0 41312 20 21 20 1590.18/1590.64 c 5141694 5211765 140880420 9951452710 0 41536 23 25 24 1710.65/1711.14 c 5655925 5727114 155961367 10751005352 0 42138 10 28 27 1987.18/1987.79 c 6221579 6294049 171708770 12466059375 0 42780 10 57 37 2191.13/2191.75 c 6843798 6918184 191247216 13765560808 0 42952 5 67 47
One s line expected
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240236-1500624046/watcher-4240236-1500624046 -o /tmp/evaluation-result-4240236-1500624046/solver-4240236-1500624046 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240236-1500624046.xml pid=18302 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 1.19 0.53 3/245 18305 /proc/meminfo: memFree=30693232/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=30024 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 1695 0 0 0 0 0 0 0 20 0 1 0 15818951 30744576 1498 33554432000 4194304 5970956 140720950450464 140720950445752 139755484650469 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 7506 1498 703 434 0 870 0 [startup+0.100154 s] /proc/loadavg: 2.02 1.19 0.53 3/245 18305 /proc/meminfo: memFree=30693232/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=33316 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 2613 0 0 0 9 0 0 0 20 0 1 0 15818951 34115584 2438 33554432000 4194304 5970956 140720950450464 140720950444056 139755484650469 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 8329 2438 783 434 0 1693 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33316 [startup+0.200354 s] /proc/loadavg: 2.02 1.19 0.53 3/245 18305 /proc/meminfo: memFree=30693232/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=36332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 3365 0 0 0 19 0 0 0 20 0 1 0 15818951 37203968 3158 33554432000 4194304 5970956 140720950450464 140720950444056 139755484649558 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 9083 3158 783 434 0 2447 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 36332 [startup+0.300253 s] /proc/loadavg: 2.02 1.19 0.53 3/245 18305 /proc/meminfo: memFree=30693232/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=39340 CPUtime=0.29 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 4133 0 0 0 29 0 0 0 20 0 1 0 15818951 40284160 3943 33554432000 4194304 5970956 140720950450464 140720950444056 139755494008702 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 9835 3943 783 434 0 3199 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 39340 [startup+0.700324 s] /proc/loadavg: 2.02 1.19 0.53 3/245 18305 /proc/meminfo: memFree=30693232/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=127000 CPUtime=0.69 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 20600 0 0 0 67 2 0 0 20 0 1 0 15818951 130048000 25510 33554432000 4194304 5970956 140720950450464 140720950447288 139755484650469 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 31750 25510 817 434 0 25114 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 127000 [startup+1.50029 s] /proc/loadavg: 2.02 1.19 0.53 4/246 18306 /proc/meminfo: memFree=30349444/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=603324 CPUtime=1.49 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 85149 0 0 0 134 15 0 0 20 0 1 0 15818951 617803776 141666 33554432000 4194304 5970956 140720950450464 140720950447976 139755484650469 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 150831 141666 817 434 0 144195 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 603324 [startup+3.10029 s] /proc/loadavg: 2.26 1.25 0.56 3/246 18306 /proc/meminfo: memFree=29715272/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=1502836 CPUtime=3.09 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 206790 0 0 0 270 39 0 0 20 0 1 0 15818951 1538904064 367696 33554432000 4194304 5970956 140720950450464 140720950447288 139755485150922 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 375709 367696 817 434 0 369073 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 1502836 [startup+6.30029 s] /proc/loadavg: 2.26 1.25 0.56 3/246 18306 /proc/meminfo: memFree=27869368/32770624 swapFree=6792/1333232 [pid=18305] ppid=18302 vsize=3530160 CPUtime=6.28 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 440997 0 0 0 549 79 0 0 20 0 1 0 15818951 3614883840 815372 33554432000 4194304 5970956 140720950450464 140720950447288 139755484650469 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 882540 815372 817 434 0 875904 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 3530160 [startup+12.7003 s] /proc/loadavg: 2.47 1.32 0.58 3/246 18306 /proc/meminfo: memFree=26060156/32770624 swapFree=6792/816128 [pid=18305] ppid=18302 vsize=5813288 CPUtime=12.68 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 688057 0 0 0 1141 127 0 0 20 0 1 0 15818951 5952806912 1280162 33554432000 4194304 5970956 140720950450464 140720950447800 5272598 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1453322 1280162 836 434 0 1446686 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 5813288 [startup+25.5003 s] /proc/loadavg: 2.51 1.38 0.61 3/245 18331 /proc/meminfo: memFree=26619944/32770624 swapFree=6792/301072 [pid=18305] ppid=18302 vsize=5815804 CPUtime=25.48 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 707231 0 0 0 2419 129 0 0 20 0 1 0 15818951 5955383296 1280695 33554432000 4194304 5970956 140720950450464 140720950447800 4976802 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1453951 1280695 836 434 0 1447315 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5815804 [startup+51.1003 s] /proc/loadavg: 2.33 1.43 0.65 3/245 18331 /proc/meminfo: memFree=26615132/32770624 swapFree=6792/301072 [pid=18305] ppid=18302 vsize=5818044 CPUtime=51.07 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 721744 0 0 0 4977 130 0 0 20 0 1 0 15818951 5957677056 1281765 33554432000 4194304 5970956 140720950450464 140720950447528 4968224 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1454511 1281765 836 434 0 1447875 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 5818044 [startup+102.3 s] /proc/loadavg: 2.13 1.53 0.73 3/245 18332 /proc/meminfo: memFree=26611464/32770624 swapFree=6792/300832 [pid=18305] ppid=18302 vsize=5819232 CPUtime=102.26 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 738550 0 0 0 10095 131 0 0 20 0 1 0 15818951 5958893568 1282615 33554432000 4194304 5970956 140720950450464 140720950447624 5319771 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1454808 1282615 836 434 0 1448172 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 5819232 [startup+162.3 s] /proc/loadavg: 2.05 1.61 0.80 3/245 18333 /proc/meminfo: memFree=26610824/32770624 swapFree=6792/300832 [pid=18305] ppid=18302 vsize=5819636 CPUtime=162.24 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 746943 0 0 0 16092 132 0 0 20 0 1 0 15818951 5959307264 1282722 33554432000 4194304 5970956 140720950450464 140720950447800 5093120 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1454909 1282722 836 434 0 1448273 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 5819636 [startup+222.308 s] /proc/loadavg: 2.08 1.70 0.89 3/245 18334 /proc/meminfo: memFree=26609016/32770624 swapFree=6792/300960 [pid=18305] ppid=18302 vsize=5820164 CPUtime=222.23 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 753505 0 0 0 22091 132 0 0 20 0 1 0 15818951 5959847936 1283372 33554432000 4194304 5970956 140720950450464 140720950447800 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455041 1283372 836 434 0 1448405 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 5820164 [startup+282.3 s] /proc/loadavg: 2.10 1.77 0.96 3/244 18335 /proc/meminfo: memFree=26608172/32770624 swapFree=6792/300960 [pid=18305] ppid=18302 vsize=5820560 CPUtime=282.21 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 772361 0 0 0 28088 133 0 0 20 0 1 0 15818951 5960253440 1283476 33554432000 4194304 5970956 140720950450464 140720950447528 5242784 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455140 1283476 836 434 0 1448504 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 5820560 [startup+342.3 s] /proc/loadavg: 2.10 1.82 1.03 3/243 18336 /proc/meminfo: memFree=26608304/32770624 swapFree=6792/300960 [pid=18305] ppid=18302 vsize=5820824 CPUtime=342.2 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 787071 0 0 0 34085 135 0 0 20 0 1 0 15818951 5960523776 1283551 33554432000 4194304 5970956 140720950450464 140720950447800 5069728 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455206 1283551 836 434 0 1448570 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 5820824 [startup+402.3 s] /proc/loadavg: 2.04 1.86 1.09 3/243 18337 /proc/meminfo: memFree=26607244/32770624 swapFree=6792/300960 [pid=18305] ppid=18302 vsize=5821088 CPUtime=402.18 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 803568 0 0 0 40082 136 0 0 20 0 1 0 15818951 5960794112 1283588 33554432000 4194304 5970956 140720950450464 140720950447480 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455272 1283588 836 434 0 1448636 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 5821088 [startup+462.3 s] /proc/loadavg: 2.18 1.93 1.16 3/243 18338 /proc/meminfo: memFree=26607740/32770624 swapFree=6792/300960 [pid=18305] ppid=18302 vsize=5821088 CPUtime=462.16 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 811587 0 0 0 46080 136 0 0 20 0 1 0 15818951 5960794112 1283597 33554432000 4194304 5970956 140720950450464 140720950447800 5070785 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455272 1283597 836 434 0 1448636 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 5821088 [startup+522.3 s] /proc/loadavg: 2.07 1.94 1.21 3/243 18339 /proc/meminfo: memFree=26608212/32770624 swapFree=6792/301220 [pid=18305] ppid=18302 vsize=5821220 CPUtime=522.15 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 826243 0 0 0 52077 138 0 0 20 0 1 0 15818951 5960929280 1283639 33554432000 4194304 5970956 140720950450464 140720950447800 4968276 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455305 1283639 836 434 0 1448669 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 5821220 [startup+582.3 s] /proc/loadavg: 2.08 1.97 1.27 3/244 18348 /proc/meminfo: memFree=26605328/32770624 swapFree=6792/301248 [pid=18305] ppid=18302 vsize=5821364 CPUtime=582.13 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 829460 0 0 0 58075 138 0 0 20 0 1 0 15818951 5961076736 1284166 33554432000 4194304 5970956 140720950450464 140720950447800 5327923 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455341 1284166 836 434 0 1448705 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 5821364 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.01 2.02 1.76 3/243 18373 /proc/meminfo: memFree=26601008/32770624 swapFree=6792/301860 [pid=18305] ppid=18302 vsize=5822720 CPUtime=1541.9 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 949409 0 0 0 154040 150 0 0 20 0 1 0 15818951 5962465280 1285062 33554432000 4194304 5970956 140720950450464 140720950447800 4971778 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455680 1285062 836 434 0 1449044 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 5822720 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.77 3/243 18374 /proc/meminfo: memFree=26600780/32770624 swapFree=6792/301860 [pid=18305] ppid=18302 vsize=5822720 CPUtime=1601.88 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 955322 0 0 0 160037 151 0 0 20 0 1 0 15818951 5962465280 1285071 33554432000 4194304 5970956 140720950450464 140720950447800 4976807 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455680 1285071 836 434 0 1449044 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 5822720 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.78 3/243 18376 /proc/meminfo: memFree=26601176/32770624 swapFree=6792/301860 [pid=18305] ppid=18302 vsize=5822720 CPUtime=1661.86 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 959049 0 0 0 166035 151 0 0 20 0 1 0 15818951 5962465280 1285076 33554432000 4194304 5970956 140720950450464 140720950447800 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455680 1285076 836 434 0 1449044 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 5822720 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 1.80 3/243 18377 /proc/meminfo: memFree=26601776/32770624 swapFree=6792/302100 [pid=18305] ppid=18302 vsize=5822720 CPUtime=1721.84 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 964508 0 0 0 172032 152 0 0 20 0 1 0 15818951 5962465280 1285081 33554432000 4194304 5970956 140720950450464 140720950447800 4974152 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455680 1285081 836 434 0 1449044 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 5822720 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.81 3/244 18386 /proc/meminfo: memFree=26600892/32770624 swapFree=6792/302120 [pid=18305] ppid=18302 vsize=5822860 CPUtime=1781.82 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 969186 0 0 0 178030 152 0 0 20 0 1 0 15818951 5962608640 1285089 33554432000 4194304 5970956 140720950450464 140720950447320 5319789 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285089 836 434 0 1449079 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 5822860 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.82 3/244 18387 /proc/meminfo: memFree=26601104/32770624 swapFree=6792/302120 [pid=18305] ppid=18302 vsize=5822860 CPUtime=1841.82 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 969746 0 0 0 184029 153 0 0 20 0 1 0 15818951 5962608640 1285089 33554432000 4194304 5970956 140720950450464 140720950447320 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285089 836 434 0 1449079 0 Current children cumulated CPU time (s) 1841.82 Current children cumulated vsize (KiB) 5822860 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.83 3/244 18388 /proc/meminfo: memFree=26600764/32770624 swapFree=6792/302120 [pid=18305] ppid=18302 vsize=5822860 CPUtime=1901.8 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 971334 0 0 0 190027 153 0 0 20 0 1 0 15818951 5962608640 1285089 33554432000 4194304 5970956 140720950450464 140720950447320 4961411 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285089 836 434 0 1449079 0 Current children cumulated CPU time (s) 1901.8 Current children cumulated vsize (KiB) 5822860 [startup+1962.3 s] /proc/loadavg: 2.08 2.03 1.85 3/244 18389 /proc/meminfo: memFree=26601112/32770624 swapFree=6792/302120 [pid=18305] ppid=18302 vsize=5822860 CPUtime=1961.79 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 974962 0 0 0 196025 154 0 0 20 0 1 0 15818951 5962608640 1285089 33554432000 4194304 5970956 140720950450464 140720950447320 4964961 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285089 836 434 0 1449079 0 Current children cumulated CPU time (s) 1961.79 Current children cumulated vsize (KiB) 5822860 [startup+2022.3 s] /proc/loadavg: 2.03 2.02 1.86 3/244 18390 /proc/meminfo: memFree=26602088/32770624 swapFree=6792/302304 [pid=18305] ppid=18302 vsize=5822860 CPUtime=2021.78 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 978349 0 0 0 202023 155 0 0 20 0 1 0 15818951 5962608640 1285089 33554432000 4194304 5970956 140720950450464 140720950447800 5069728 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285089 836 434 0 1449079 0 Current children cumulated CPU time (s) 2021.78 Current children cumulated vsize (KiB) 5822860 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 1.87 3/244 18391 /proc/meminfo: memFree=26602128/32770624 swapFree=6792/302304 [pid=18305] ppid=18302 vsize=5822860 CPUtime=2081.77 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 983083 0 0 0 208022 155 0 0 20 0 1 0 15818951 5962608640 1285089 33554432000 4194304 5970956 140720950450464 140720950447800 4971813 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285089 836 434 0 1449079 0 Current children cumulated CPU time (s) 2081.77 Current children cumulated vsize (KiB) 5822860 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.87 3/243 18458 /proc/meminfo: memFree=26166300/32770624 swapFree=6792/302396 [pid=18305] ppid=18302 vsize=5822860 CPUtime=2141.74 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 984317 0 0 0 214019 155 0 0 20 0 1 0 15818951 5962608640 1285089 33554432000 4194304 5970956 140720950450464 140720950447800 4967810 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285089 836 434 0 1449079 0 Current children cumulated CPU time (s) 2141.74 Current children cumulated vsize (KiB) 5822860 [startup+2202.31 s] /proc/loadavg: 2.96 2.25 1.96 3/243 18667 /proc/meminfo: memFree=26595676/32770624 swapFree=6792/301764 [pid=18305] ppid=18302 vsize=5822860 CPUtime=2201.74 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 991581 0 0 0 220018 156 0 0 20 0 1 0 15818951 5962608640 1285093 33554432000 4194304 5970956 140720950450464 140720950447800 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285093 836 434 0 1449079 0 Current children cumulated CPU time (s) 2201.74 Current children cumulated vsize (KiB) 5822860 [startup+2262.3 s] /proc/loadavg: 2.41 2.22 1.97 3/243 18668 /proc/meminfo: memFree=26594700/32770624 swapFree=6792/301764 [pid=18305] ppid=18302 vsize=5822860 CPUtime=2261.71 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 995277 0 0 0 226015 156 0 0 20 0 1 0 15818951 5962608640 1285094 33554432000 4194304 5970956 140720950450464 140720950447800 4974671 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455715 1285094 836 434 0 1449079 0 Current children cumulated CPU time (s) 2261.71 Current children cumulated vsize (KiB) 5822860 [startup+2322.3 s] /proc/loadavg: 2.15 2.18 1.97 3/243 18669 /proc/meminfo: memFree=26596384/32770624 swapFree=6792/300944 [pid=18305] ppid=18302 vsize=5822992 CPUtime=2321.7 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 996101 0 0 0 232014 156 0 0 20 0 1 0 15818951 5962743808 1285123 33554432000 4194304 5970956 140720950450464 140720950447528 5052093 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455748 1285123 836 434 0 1449112 0 Current children cumulated CPU time (s) 2321.7 Current children cumulated vsize (KiB) 5822992 [startup+2382.3 s] /proc/loadavg: 2.05 2.15 1.97 3/243 18677 /proc/meminfo: memFree=26596116/32770624 swapFree=6792/301000 [pid=18305] ppid=18302 vsize=5822992 CPUtime=2381.69 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 997941 0 0 0 238012 157 0 0 20 0 1 0 15818951 5962743808 1285127 33554432000 4194304 5970956 140720950450464 140720950447528 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455748 1285127 836 434 0 1449112 0 Current children cumulated CPU time (s) 2381.69 Current children cumulated vsize (KiB) 5822992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.7 s] /proc/loadavg: 2.04 2.14 1.97 3/243 18677 /proc/meminfo: memFree=26596040/32770624 swapFree=6792/301000 [pid=18305] ppid=18302 vsize=5822992 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 998475 0 0 0 239852 157 0 0 20 0 1 0 15818951 5962743808 1285127 33554432000 4194304 5970956 140720950450464 140720950447528 5052062 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455748 1285127 836 434 0 1449112 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 5822992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18305 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.7 s] /proc/loadavg: 2.04 2.14 1.97 3/243 18677 /proc/meminfo: memFree=26596040/32770624 swapFree=6792/301000 [pid=18305] ppid=18302 vsize=5822992 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15 /proc/18305/stat : 18305 (cosoco) R 18302 18305 17688 0 -1 4202496 998475 0 0 0 239852 157 0 0 20 0 1 0 15818951 5962743808 1285127 33554432000 4194304 5970956 140720950450464 140720950447528 5052062 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 9457664 140720950453436 140720950453571 140720950453571 140720950456270 0 /proc/18305/statm: 1455748 1285127 836 434 0 1449112 0 Current children cumulated CPU time (s) 2400.09 Current children cumulated vsize (KiB) 5822992 Child status: 1 Real time (s): 2400.79 CPU time (s): 2400.18 CPU user time (s): 2398.52 CPU system time (s): 1.6616 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 5822992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.52 system time used= 1.6616 maximum resident set size= 5140548 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 998500 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= 46 involuntary context switches= 120700 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 4.76702 second user time and 13.7626 second system time The end
Begin job on node112 at 2017-07-21 10:00:46 IDJOB=4240236 IDBENCH=120758 IDSOLVER=2621 FILE ID=node112/4240236-1500624046 RUNJOBID= node112-1500623784-17720 PBS_JOBID= 20623019 Free space on /tmp= 61516 MiB SOLVER NAME= cosoco-sat 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P09.xml COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240236-1500624046/watcher-4240236-1500624046 -o /tmp/evaluation-result-4240236-1500624046/solver-4240236-1500624046 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17720 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240236-1500624046.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d RANDOM SEED=1157822770 node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 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 : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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 : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 30693236 kB MemAvailable: 31972016 kB Buffers: 130968 kB Cached: 1415304 kB SwapCached: 0 kB Active: 269408 kB Inactive: 1342008 kB Active(anon): 68480 kB Inactive(anon): 8776 kB Active(file): 200928 kB Inactive(file): 1333232 kB Unevictable: 6792 kB Mlocked: 6800 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1018376 kB Writeback: 972 kB AnonPages: 57788 kB Mapped: 33540 kB Shmem: 8848 kB Slab: 153984 kB SReclaimable: 120908 kB SUnreclaim: 33076 kB KernelStack: 4320 kB PageTables: 5436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 336468 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 62020 MiB End job on node112 at 2017-07-21 10:40:47