| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco 1.1 | ? (TO) | 2400.03 | 2400.7 |
| Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K12-P09.xml |
| MD5SUM | 32cec65ed71b36923f34d2db18851218 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1500 |
| Number of constraints | 692 |
| Number of domains | 2 |
| Minimum domain size | 690 |
| Maximum domain size | 691 |
| Distribution of domain sizes | [{"size":690,"count":690},{"size":691,"count":108}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 14 |
| Distribution of variable degrees | [{"degree":0,"count":702},{"degree":2,"count":690},{"degree":13,"count":24},{"degree":14,"count":84}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 690 |
| Distribution of constraint arities | [{"arity":3,"count":690},{"arity":108,"count":1},{"arity":690,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 690 |
| Distribution of constraint types | [{"type":"intension","count":690},{"type":"allDifferent","count":2}] |
| Optimization problem | NO |
| Type of objective |
0.78/0.84 c root propagations : 0 0.78/0.84 c restarts enabled, print stats at every restarts 0.78/0.84 c 0.78/0.84 c 0.78/0.84 c 0.78/0.84 c This is cosoco 1.0 -- 0.78/0.84 c 0.78/0.84 c ========================================[ Problem Statistics ]=========================================== 0.78/0.84 c | 0.78/0.84 c | Parse time : 0.81 s 0.78/0.84 c | 0.78/0.84 c | Variables: 1500 0.78/0.84 c | Domain Sizes: 690..691 0.78/0.84 c | 0.78/0.84 c | Constraints: 692 0.78/0.84 c | Arity: 3..690 -- Ternary: 690 0.78/0.84 c | 0.78/0.84 c | Types: 0.78/0.84 c | All Different: 2 0.78/0.84 c | Intension: 690 0.78/0.84 c | 0.78/0.84 c ========================================================================================================= 0.78/0.84 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.78/0.84 c remove useless variable ce[0][0][0] 0.78/0.84 c remove useless variable ce[0][1][0] 0.78/0.84 c remove useless variable ce[0][1][1] 0.78/0.84 c remove useless variable ce[0][2][0] 0.78/0.84 c remove useless variable ce[0][2][1] 0.78/0.84 c remove useless variable ce[0][2][2] 0.78/0.84 c remove useless variable ce[0][3][0] 0.78/0.84 c remove useless variable ce[0][3][1] 0.78/0.84 c remove useless variable ce[0][3][2] 0.78/0.84 c remove useless variable ce[0][3][3] 0.78/0.84 c remove useless variable ce[0][4][0] 0.78/0.84 c remove useless variable ce[0][4][1] 0.78/0.84 c remove useless variable ce[0][4][2] 0.78/0.84 c remove useless variable ce[0][4][3] 0.78/0.84 c remove useless variable ce[0][4][4] 0.78/0.84 c remove useless variable ce[0][5][0] 0.78/0.84 c remove useless variable ce[0][5][1] 0.78/0.84 c remove useless variable ce[0][5][2] 0.78/0.84 c remove useless variable ce[0][5][3] 0.78/0.84 c remove useless variable ce[0][5][4] 0.78/0.84 c remove useless variable ce[0][5][5] 0.78/0.84 c remove useless variable ce[0][6][0] 0.78/0.84 c remove useless variable ce[0][6][1] 0.78/0.84 c remove useless variable ce[0][6][2] 0.78/0.84 c remove useless variable ce[0][6][3] 0.78/0.84 c remove useless variable ce[0][6][4] 0.78/0.84 c remove useless variable ce[0][6][5] 0.78/0.84 c remove useless variable ce[0][6][6] 0.78/0.84 c remove useless variable ce[0][7][0] 0.78/0.84 c remove useless variable ce[0][7][1] 0.78/0.84 c remove useless variable ce[0][7][2] 0.78/0.84 c remove useless variable ce[0][7][3] 0.78/0.84 c remove useless variable ce[0][7][4] 0.78/0.84 c remove useless variable ce[0][7][5] 0.78/0.84 c remove useless variable ce[0][7][6] 0.78/0.84 c remove useless variable ce[0][7][7] 0.78/0.84 c remove useless variable ce[0][8][0] 0.78/0.84 c remove useless variable ce[0][8][1] 0.78/0.84 c remove useless variable ce[0][8][2] 0.78/0.84 c remove useless variable ce[0][8][3] 0.78/0.84 c remove useless variable ce[0][8][4] 0.78/0.84 c remove useless variable ce[0][8][5] 0.78/0.84 c remove useless variable ce[0][8][6] 0.78/0.84 c remove useless variable ce[0][8][7] 0.78/0.84 c remove useless variable ce[0][8][8] 0.78/0.84 c remove useless variable ce[0][9][0] 0.78/0.84 c remove useless variable ce[0][9][1] 0.78/0.84 c remove useless variable ce[0][9][2] 0.78/0.84 c remove useless variable ce[0][9][3] 0.78/0.84 c remove useless variable ce[0][9][4] 0.78/0.84 c remove useless variable ce[0][9][5] 0.78/0.84 c remove useless variable ce[0][9][6] 0.78/0.84 c remove useless variable ce[0][9][7] 0.78/0.84 c remove useless variable ce[0][9][8] 0.78/0.84 c remove useless variable ce[0][9][9] 0.78/0.84 c remove useless variable ce[0][10][0] 0.78/0.84 c remove useless variable ce[0][10][1] 0.78/0.84 c remove useless variable ce[0][10][2] 0.78/0.84 c remove useless variable ce[0][10][3] 0.78/0.84 c remove useless variable ce[0][10][4] 0.78/0.84 c remove useless variable ce[0][10][5] 0.78/0.84 c remove useless variable ce[0][10][6] 0.78/0.84 c remove useless variable ce[0][10][7] 0.78/0.84 c remove useless variable ce[0][10][8] 0.78/0.84 c remove useless variable ce[0][10][9] 0.78/0.84 c remove useless variable ce[0][10][10] 0.78/0.84 c remove useless variable ce[0][11][0] 0.78/0.84 c remove useless variable ce[0][11][1] 0.78/0.84 c remove useless variable ce[0][11][2] 0.78/0.84 c remove useless variable ce[0][11][3] 0.78/0.84 c remove useless variable ce[0][11][4] 0.78/0.84 c remove useless variable ce[0][11][5] 0.78/0.84 c remove useless variable ce[0][11][6] 0.78/0.84 c remove useless variable ce[0][11][7] 0.78/0.84 c remove useless variable ce[0][11][8] 0.78/0.84 c remove useless variable ce[0][11][9] 0.78/0.84 c remove useless variable ce[0][11][10] 0.78/0.84 c remove useless variable ce[0][11][11] 0.78/0.84 c remove useless variable ce[1][0][0] 0.78/0.84 c remove useless variable ce[1][1][0] 0.78/0.84 c remove useless variable ce[1][1][1] 0.78/0.84 c remove useless variable ce[1][2][0] 0.78/0.84 c remove useless variable ce[1][2][1] 0.78/0.84 c remove useless variable ce[1][2][2] 0.78/0.84 c remove useless variable ce[1][3][0] 0.78/0.84 c remove useless variable ce[1][3][1] 0.78/0.84 c remove useless variable ce[1][3][2] 0.78/0.84 c remove useless variable ce[1][3][3] 0.78/0.84 c remove useless variable ce[1][4][0] 0.78/0.84 c remove useless variable ce[1][4][1] 0.78/0.84 c remove useless variable ce[1][4][2] 0.78/0.84 c remove useless variable ce[1][4][3] 0.78/0.84 c remove useless variable ce[1][4][4] 0.78/0.84 c remove useless variable ce[1][5][0] 0.78/0.84 c remove useless variable ce[1][5][1] 0.78/0.84 c remove useless variable ce[1][5][2] 0.78/0.84 c remove useless variable ce[1][5][3] 0.78/0.84 c remove useless variable ce[1][5][4] 0.78/0.84 c remove useless variable ce[1][5][5] 0.78/0.84 c remove useless variable ce[1][6][0] 0.78/0.84 c remove useless variable ce[1][6][1] 0.78/0.84 c remove useless variable ce[1][6][2] 0.78/0.84 c remove useless variable ce[1][6][3] 0.78/0.84 c remove useless variable ce[1][6][4] 0.78/0.84 c remove useless variable ce[1][6][5] 0.78/0.84 c remove useless variable ce[1][6][6] 0.78/0.84 c remove useless variable ce[1][7][0] 0.78/0.84 c remove useless variable ce[1][7][1] 0.78/0.84 c remove useless variable ce[1][7][2] 0.78/0.84 c remove useless variable ce[1][7][3] 0.78/0.84 c remove useless variable ce[1][7][4] 0.78/0.84 c remove useless variable ce[1][7][5] 0.78/0.84 c remove useless variable ce[1][7][6] 0.78/0.84 c remove useless variable ce[1][7][7] 0.78/0.84 c remove useless variable ce[1][8][0] 0.78/0.84 c remove useless variable ce[1][8][1] 0.78/0.84 c remove useless variable ce[1][8][2] 0.78/0.84 c remove useless variable ce[1][8][3] 0.78/0.84 c remove useless variable ce[1][8][4] 0.78/0.84 c remove useless variable ce[1][8][5] 0.78/0.84 c remove useless variable ce[1][8][6] 0.78/0.84 c remove useless variable ce[1][8][7] 0.78/0.84 c remove useless variable ce[1][8][8] 0.78/0.84 c remove useless variable ce[1][9][0] 0.78/0.84 c remove useless variable ce[1][9][1] 0.78/0.84 c remove useless variable ce[1][9][2] 0.78/0.84 c remove useless variable ce[1][9][3] 0.78/0.84 c remove useless variable ce[1][9][4] 0.78/0.84 c remove useless variable ce[1][9][5] 0.78/0.84 c remove useless variable ce[1][9][6] 0.78/0.84 c remove useless variable ce[1][9][7] 0.78/0.84 c remove useless variable ce[1][9][8] 0.78/0.84 c remove useless variable ce[1][9][9] 0.78/0.84 c remove useless variable ce[1][10][0] 0.78/0.84 c remove useless variable ce[1][10][1] 0.78/0.84 c remove useless variable ce[1][10][2] 0.78/0.84 c remove useless variable ce[1][10][3] 0.78/0.84 c remove useless variable ce[1][10][4] 0.78/0.84 c remove useless variable ce[1][10][5] 0.78/0.84 c remove useless variable ce[1][10][6] 0.78/0.84 c remove useless variable ce[1][10][7] 0.78/0.84 c remove useless variable ce[1][10][8] 0.78/0.84 c remove useless variable ce[1][10][9] 0.78/0.84 c remove useless variable ce[1][10][10] 0.78/0.84 c remove useless variable ce[1][11][0] 0.78/0.84 c remove useless variable ce[1][11][1] 0.78/0.84 c remove useless variable ce[1][11][2] 0.78/0.84 c remove useless variable ce[1][11][3] 0.78/0.84 c remove useless variable ce[1][11][4] 0.78/0.84 c remove useless variable ce[1][11][5] 0.78/0.84 c remove useless variable ce[1][11][6] 0.78/0.84 c remove useless variable ce[1][11][7] 0.78/0.84 c remove useless variable ce[1][11][8] 0.78/0.84 c remove useless variable ce[1][11][9] 0.78/0.84 c remove useless variable ce[1][11][10] 0.78/0.84 c remove useless variable ce[1][11][11] 0.78/0.84 c remove useless variable ce[2][0][0] 0.78/0.84 c remove useless variable ce[2][1][0] 0.78/0.84 c remove useless variable ce[2][1][1] 0.78/0.84 c remove useless variable ce[2][2][0] 0.78/0.84 c remove useless variable ce[2][2][1] 0.78/0.84 c remove useless variable ce[2][2][2] 0.78/0.84 c remove useless variable ce[2][3][0] 0.78/0.84 c remove useless variable ce[2][3][1] 0.78/0.84 c remove useless variable ce[2][3][2] 0.78/0.84 c remove useless variable ce[2][3][3] 0.78/0.84 c remove useless variable ce[2][4][0] 0.78/0.84 c remove useless variable ce[2][4][1] 0.78/0.84 c remove useless variable ce[2][4][2] 0.78/0.84 c remove useless variable ce[2][4][3] 0.78/0.84 c remove useless variable ce[2][4][4] 0.78/0.84 c remove useless variable ce[2][5][0] 0.78/0.84 c remove useless variable ce[2][5][1] 0.78/0.84 c remove useless variable ce[2][5][2] 0.78/0.84 c remove useless variable ce[2][5][3] 0.78/0.84 c remove useless variable ce[2][5][4] 0.78/0.84 c remove useless variable ce[2][5][5] 0.78/0.84 c remove useless variable ce[2][6][0] 0.78/0.84 c remove useless variable ce[2][6][1] 0.78/0.84 c remove useless variable ce[2][6][2] 0.78/0.84 c remove useless variable ce[2][6][3] 0.78/0.84 c remove useless variable ce[2][6][4] 0.78/0.84 c remove useless variable ce[2][6][5] 0.78/0.84 c remove useless variable ce[2][6][6] 0.78/0.84 c remove useless variable ce[2][7][0] 0.78/0.84 c remove useless variable ce[2][7][1] 0.78/0.84 c remove useless variable ce[2][7][2] 0.78/0.84 c remove useless variable ce[2][7][3] 0.78/0.84 c remove useless variable ce[2][7][4] 0.78/0.84 c remove useless variable ce[2][7][5] 0.78/0.84 c remove useless variable ce[2][7][6] 0.78/0.84 c remove useless variable ce[2][7][7] 0.78/0.84 c remove useless variable ce[2][8][0] 0.78/0.84 c remove useless variable ce[2][8][1] 0.78/0.84 c remove useless variable ce[2][8][2] 0.78/0.84 c remove useless variable ce[2][8][3] 0.78/0.84 c remove useless variable ce[2][8][4] 0.78/0.84 c remove useless variable ce[2][8][5] 0.78/0.84 c remove useless variable ce[2][8][6] 0.78/0.84 c remove useless variable ce[2][8][7] 0.78/0.84 c remove useless variable ce[2][8][8] 0.78/0.84 c remove useless variable ce[2][9][0] 0.78/0.84 c remove useless variable ce[2][9][1] 0.78/0.84 c remove useless variable ce[2][9][2] 0.78/0.84 c remove useless variable ce[2][9][3] 0.78/0.84 c remove useless variable ce[2][9][4] 0.78/0.84 c remove useless variable ce[2][9][5] 0.78/0.84 c remove useless variable ce[2][9][6] 0.78/0.84 c remove useless variable ce[2][9][7] 0.78/0.84 c remove useless variable ce[2][9][8] 0.78/0.84 c remove useless variable ce[2][9][9] 0.78/0.84 c remove useless variable ce[2][10][0] 0.78/0.84 c remove useless variable ce[2][10][1] 0.78/0.84 c remove useless variable ce[2][10][2] 0.78/0.84 c remove useless variable ce[2][10][3] 0.78/0.84 c remove useless variable ce[2][10][4] 0.78/0.84 c remove useless variable ce[2][10][5] 0.78/0.84 c remove useless variable ce[2][10][6] 0.78/0.84 c remove useless variable ce[2][10][7] 0.78/0.84 c remove useless variable ce[2][10][8] 0.78/0.84 c remove useless variable ce[2][10][9] 0.78/0.84 c remove useless variable ce[2][10][10] 0.78/0.84 c remove useless variable ce[2][11][0] 0.78/0.84 c remove useless variable ce[2][11][1] 0.78/0.84 c remove useless variable ce[2][11][2] 0.78/0.84 c remove useless variable ce[2][11][3] 0.78/0.84 c remove useless variable ce[2][11][4] 0.78/0.84 c remove useless variable ce[2][11][5] 0.78/0.84 c remove useless variable ce[2][11][6] 0.78/0.84 c remove useless variable ce[2][11][7] 0.78/0.84 c remove useless variable ce[2][11][8] 0.78/0.84 c remove useless variable ce[2][11][9] 0.78/0.84 c remove useless variable ce[2][11][10] 0.78/0.84 c remove useless variable ce[2][11][11] 0.78/0.84 c remove useless variable ce[3][0][0] 0.78/0.84 c remove useless variable ce[3][1][0] 0.78/0.84 c remove useless variable ce[3][1][1] 0.78/0.84 c remove useless variable ce[3][2][0] 0.78/0.84 c remove useless variable ce[3][2][1] 0.78/0.84 c remove useless variable ce[3][2][2] 0.78/0.84 c remove useless variable ce[3][3][0] 0.78/0.84 c remove useless variable ce[3][3][1] 0.78/0.84 c remove useless variable ce[3][3][2] 0.78/0.84 c remove useless variable ce[3][3][3] 0.78/0.84 c remove useless variable ce[3][4][0] 0.78/0.84 c remove useless variable ce[3][4][1] 0.78/0.84 c remove useless variable ce[3][4][2] 0.78/0.84 c remove useless variable ce[3][4][3] 0.78/0.84 c remove useless variable ce[3][4][4] 0.78/0.84 c remove useless variable ce[3][5][0] 0.78/0.84 c remove useless variable ce[3][5][1] 0.78/0.84 c remove useless variable ce[3][5][2] 0.78/0.84 c remove useless variable ce[3][5][3] 0.78/0.84 c remove useless variable ce[3][5][4] 0.78/0.84 c remove useless variable ce[3][5][5] 0.78/0.84 c remove useless variable ce[3][6][0] 0.78/0.84 c remove useless variable ce[3][6][1] 0.78/0.84 c remove useless variable ce[3][6][2] 0.78/0.84 c remove useless variable ce[3][6][3] 0.78/0.84 c remove useless variable ce[3][6][4] 0.78/0.84 c remove useless variable ce[3][6][5] 0.78/0.84 c remove useless variable ce[3][6][6] 0.78/0.84 c remove useless variable ce[3][7][0] 0.78/0.84 c remove useless variable ce[3][7][1] 0.78/0.84 c remove useless variable ce[3][7][2] 0.78/0.84 c remove useless variable ce[3][7][3] 0.78/0.84 c remove useless variable ce[3][7][4] 0.78/0.84 c remove useless variable ce[3][7][5] 0.78/0.84 c remove useless variable ce[3][7][6] 0.78/0.84 c remove useless variable ce[3][7][7] 0.78/0.84 c remove useless variable ce[3][8][0] 0.78/0.84 c remove useless variable ce[3][8][1] 0.78/0.84 c remove useless variable ce[3][8][2] 0.78/0.84 c remove useless variable ce[3][8][3] 0.78/0.84 c remove useless variable ce[3][8][4] 0.78/0.84 c remove useless variable ce[3][8][5] 0.78/0.84 c remove useless variable ce[3][8][6] 0.78/0.84 c remove useless variable ce[3][8][7] 0.78/0.84 c remove useless variable ce[3][8][8] 0.78/0.84 c remove useless variable ce[3][9][0] 0.78/0.84 c remove useless variable ce[3][9][1] 0.78/0.84 c remove useless variable ce[3][9][2] 0.78/0.84 c remove useless variable ce[3][9][3] 0.78/0.84 c remove useless variable ce[3][9][4] 0.78/0.84 c remove useless variable ce[3][9][5] 0.78/0.84 c remove useless variable ce[3][9][6] 0.78/0.84 c remove useless variable ce[3][9][7] 0.78/0.84 c remove useless variable ce[3][9][8] 0.78/0.84 c remove useless variable ce[3][9][9] 0.78/0.84 c remove useless variable ce[3][10][0] 0.78/0.84 c remove useless variable ce[3][10][1] 0.78/0.84 c remove useless variable ce[3][10][2] 0.78/0.84 c remove useless variable ce[3][10][3] 0.78/0.84 c remove useless variable ce[3][10][4] 0.78/0.84 c remove useless variable ce[3][10][5] 0.78/0.84 c remove useless variable ce[3][10][6] 0.78/0.84 c remove useless variable ce[3][10][7] 0.78/0.84 c remove useless variable ce[3][10][8] 0.78/0.84 c remove useless variable ce[3][10][9] 0.78/0.84 c remove useless variable ce[3][10][10] 0.78/0.84 c remove useless variable ce[3][11][0] 0.78/0.84 c remove useless variable ce[3][11][1] 0.78/0.84 c remove useless variable ce[3][11][2] 0.78/0.84 c remove useless variable ce[3][11][3] 0.78/0.84 c remove useless variable ce[3][11][4] 0.78/0.84 c remove useless variable ce[3][11][5] 0.78/0.84 c remove useless variable ce[3][11][6] 0.78/0.84 c remove useless variable ce[3][11][7] 0.78/0.84 c remove useless variable ce[3][11][8] 0.78/0.84 c remove useless variable ce[3][11][9] 0.78/0.84 c remove useless variable ce[3][11][10] 0.78/0.84 c remove useless variable ce[3][11][11] 0.78/0.84 c remove useless variable ce[4][0][0] 0.78/0.84 c remove useless variable ce[4][1][0] 0.78/0.84 c remove useless variable ce[4][1][1] 0.78/0.84 c remove useless variable ce[4][2][0] 0.78/0.84 c remove useless variable ce[4][2][1] 0.78/0.84 c remove useless variable ce[4][2][2] 0.78/0.84 c remove useless variable ce[4][3][0] 0.78/0.84 c remove useless variable ce[4][3][1] 0.78/0.84 c remove useless variable ce[4][3][2] 0.78/0.84 c remove useless variable ce[4][3][3] 0.78/0.84 c remove useless variable ce[4][4][0] 0.78/0.84 c remove useless variable ce[4][4][1] 0.78/0.84 c remove useless variable ce[4][4][2] 0.78/0.84 c remove useless variable ce[4][4][3] 0.78/0.84 c remove useless variable ce[4][4][4] 0.78/0.84 c remove useless variable ce[4][5][0] 0.78/0.84 c remove useless variable ce[4][5][1] 0.78/0.84 c remove useless variable ce[4][5][2] 0.78/0.84 c remove useless variable ce[4][5][3] 0.78/0.84 c remove useless variable ce[4][5][4] 0.78/0.84 c remove useless variable ce[4][5][5] 0.78/0.84 c remove useless variable ce[4][6][0] 0.78/0.84 c remove useless variable ce[4][6][1] 0.78/0.84 c remove useless variable ce[4][6][2] 0.78/0.84 c remove useless variable ce[4][6][3] 0.78/0.84 c remove useless variable ce[4][6][4] 0.78/0.84 c remove useless variable ce[4][6][5] 0.78/0.84 c remove useless variable ce[4][6][6] 0.78/0.84 c remove useless variable ce[4][7][0] 0.78/0.84 c remove useless variable ce[4][7][1] 0.78/0.84 c remove useless variable ce[4][7][2] 0.78/0.84 c remove useless variable ce[4][7][3] 0.78/0.84 c remove useless variable ce[4][7][4] 0.78/0.84 c remove useless variable ce[4][7][5] 0.78/0.84 c remove useless variable ce[4][7][6] 0.78/0.84 c remove useless variable ce[4][7][7] 0.78/0.84 c remove useless variable ce[4][8][0] 0.78/0.84 c remove useless variable ce[4][8][1] 0.78/0.84 c remove useless variable ce[4][8][2] 0.78/0.84 c remove useless variable ce[4][8][3] 0.78/0.84 c remove useless variable ce[4][8][4] 0.78/0.84 c remove useless variable ce[4][8][5] 0.78/0.84 c remove useless variable ce[4][8][6] 0.78/0.84 c remove useless variable ce[4][8][7] 0.78/0.84 c remove useless variable ce[4][8][8] 0.78/0.84 c remove useless variable ce[4][9][0] 0.78/0.84 c remove useless variable ce[4][9][1] 0.78/0.84 c remove useless variable ce[4][9][2] 0.78/0.84 c remove useless variable ce[4][9][3] 0.78/0.84 c remove useless variable ce[4][9][4] 0.78/0.84 c remove useless variable ce[4][9][5] 0.78/0.84 c remove useless variable ce[4][9][6] 0.78/0.84 c remove useless variable ce[4][9][7] 0.78/0.84 c remove useless variable ce[4][9][8] 0.78/0.84 c remove useless variable ce[4][9][9] 0.78/0.84 c remove useless variable ce[4][10][0] 0.78/0.84 c remove useless variable ce[4][10][1] 0.78/0.84 c remove useless variable ce[4][10][2] 0.78/0.84 c remove useless variable ce[4][10][3] 0.78/0.84 c remove useless variable ce[4][10][4] 0.78/0.84 c remove useless variable ce[4][10][5] 0.78/0.84 c remove useless variable ce[4][10][6] 0.78/0.84 c remove useless variable ce[4][10][7] 0.78/0.84 c remove useless variable ce[4][10][8] 0.78/0.84 c remove useless variable ce[4][10][9] 0.78/0.84 c remove useless variable ce[4][10][10] 0.78/0.84 c remove useless variable ce[4][11][0] 0.78/0.84 c remove useless variable ce[4][11][1] 0.78/0.84 c remove useless variable ce[4][11][2] 0.78/0.84 c remove useless variable ce[4][11][3] 0.78/0.84 c remove useless variable ce[4][11][4] 0.78/0.84 c remove useless variable ce[4][11][5] 0.78/0.84 c remove useless variable ce[4][11][6] 0.78/0.84 c remove useless variable ce[4][11][7] 0.78/0.84 c remove useless variable ce[4][11][8] 0.78/0.84 c remove useless variable ce[4][11][9] 0.78/0.84 c remove useless variable ce[4][11][10] 0.78/0.84 c remove useless variable ce[4][11][11] 0.78/0.84 c remove useless variable ce[5][0][0] 0.78/0.84 c remove useless variable ce[5][1][0] 0.78/0.84 c remove useless variable ce[5][1][1] 0.78/0.84 c remove useless variable ce[5][2][0] 0.78/0.84 c remove useless variable ce[5][2][1] 0.78/0.84 c remove useless variable ce[5][2][2] 0.78/0.84 c remove useless variable ce[5][3][0] 0.78/0.84 c remove useless variable ce[5][3][1] 0.78/0.84 c remove useless variable ce[5][3][2] 0.78/0.84 c remove useless variable ce[5][3][3] 0.78/0.84 c remove useless variable ce[5][4][0] 0.78/0.84 c remove useless variable ce[5][4][1] 0.78/0.84 c remove useless variable ce[5][4][2] 0.78/0.84 c remove useless variable ce[5][4][3] 0.78/0.84 c remove useless variable ce[5][4][4] 0.78/0.84 c remove useless variable ce[5][5][0] 0.78/0.84 c remove useless variable ce[5][5][1] 0.78/0.84 c remove useless variable ce[5][5][2] 0.78/0.84 c remove useless variable ce[5][5][3] 0.78/0.84 c remove useless variable ce[5][5][4] 0.78/0.84 c remove useless variable ce[5][5][5] 0.78/0.84 c remove useless variable ce[5][6][0] 0.78/0.84 c remove useless variable ce[5][6][1] 0.78/0.84 c remove useless variable ce[5][6][2] 0.78/0.84 c remove useless variable ce[5][6][3] 0.78/0.84 c remove useless variable ce[5][6][4] 0.78/0.84 c remove useless variable ce[5][6][5] 0.78/0.84 c remove useless variable ce[5][6][6] 0.78/0.84 c remove useless variable ce[5][7][0] 0.78/0.84 c remove useless variable ce[5][7][1] 0.78/0.84 c remove useless variable ce[5][7][2] 0.78/0.84 c remove useless variable ce[5][7][3] 0.78/0.84 c remove useless variable ce[5][7][4] 0.78/0.84 c remove useless variable ce[5][7][5] 0.78/0.84 c remove useless variable ce[5][7][6] 0.78/0.84 c remove useless variable ce[5][7][7] 0.78/0.84 c remove useless variable ce[5][8][0] 0.78/0.84 c remove useless variable ce[5][8][1] 0.78/0.84 c remove useless variable ce[5][8][2] 0.78/0.84 c remove useless variable ce[5][8][3] 0.78/0.84 c remove useless variable ce[5][8][4] 0.78/0.84 c remove useless variable ce[5][8][5] 0.78/0.84 c remove useless variable ce[5][8][6] 0.78/0.84 c remove useless variable ce[5][8][7] 0.78/0.84 c remove useless variable ce[5][8][8] 0.78/0.84 c remove useless variable ce[5][9][0] 0.78/0.84 c remove useless variable ce[5][9][1] 0.78/0.84 c remove useless variable ce[5][9][2] 0.78/0.84 c remove useless variable ce[5][9][3] 0.78/0.84 c remove useless variable ce[5][9][4] 0.78/0.84 c remove useless variable ce[5][9][5] 0.78/0.84 c remove useless variable ce[5][9][6] 0.78/0.84 c remove useless variable ce[5][9][7] 0.78/0.84 c remove useless variable ce[5][9][8] 0.78/0.84 c remove useless variable ce[5][9][9] 0.78/0.84 c remove useless variable ce[5][10][0] 0.78/0.84 c remove useless variable ce[5][10][1] 0.78/0.84 c remove useless variable ce[5][10][2] 0.78/0.84 c remove useless variable ce[5][10][3] 0.78/0.84 c remove useless variable ce[5][10][4] 0.78/0.84 c remove useless variable ce[5][10][5] 0.78/0.84 c remove useless variable ce[5][10][6] 0.78/0.84 c remove useless variable ce[5][10][7] 0.78/0.84 c remove useless variable ce[5][10][8] 0.78/0.84 c remove useless variable ce[5][10][9] 0.78/0.84 c remove useless variable ce[5][10][10] 0.78/0.84 c remove useless variable ce[5][11][0] 0.78/0.84 c remove useless variable ce[5][11][1] 0.78/0.84 c remove useless variable ce[5][11][2] 0.78/0.84 c remove useless variable ce[5][11][3] 0.78/0.84 c remove useless variable ce[5][11][4] 0.78/0.84 c remove useless variable ce[5][11][5] 0.78/0.84 c remove useless variable ce[5][11][6] 0.78/0.84 c remove useless variable ce[5][11][7] 0.78/0.84 c remove useless variable ce[5][11][8] 0.78/0.84 c remove useless variable ce[5][11][9] 0.78/0.84 c remove useless variable ce[5][11][10] 0.78/0.84 c remove useless variable ce[5][11][11] 0.78/0.84 c remove useless variable ce[6][0][0] 0.78/0.84 c remove useless variable ce[6][1][0] 0.78/0.84 c remove useless variable ce[6][1][1] 0.78/0.84 c remove useless variable ce[6][2][0] 0.78/0.84 c remove useless variable ce[6][2][1] 0.78/0.84 c remove useless variable ce[6][2][2] 0.78/0.84 c remove useless variable ce[6][3][0] 0.78/0.84 c remove useless variable ce[6][3][1] 0.78/0.84 c remove useless variable ce[6][3][2] 0.78/0.84 c remove useless variable ce[6][3][3] 0.78/0.84 c remove useless variable ce[6][4][0] 0.78/0.84 c remove useless variable ce[6][4][1] 0.78/0.84 c remove useless variable ce[6][4][2] 0.78/0.84 c remove useless variable ce[6][4][3] 0.78/0.84 c remove useless variable ce[6][4][4] 0.78/0.84 c remove useless variable ce[6][5][0] 0.78/0.84 c remove useless variable ce[6][5][1] 0.78/0.84 c remove useless variable ce[6][5][2] 0.78/0.84 c remove useless variable ce[6][5][3] 0.78/0.84 c remove useless variable ce[6][5][4] 0.78/0.84 c remove useless variable ce[6][5][5] 0.78/0.84 c remove useless variable ce[6][6][0] 0.78/0.84 c remove useless variable ce[6][6][1] 0.78/0.84 c remove useless variable ce[6][6][2] 0.78/0.84 c remove useless variable ce[6][6][3] 0.78/0.84 c remove useless variable ce[6][6][4] 0.78/0.84 c remove useless variable ce[6][6][5] 0.78/0.84 c remove useless variable ce[6][6][6] 0.78/0.84 c remove useless variable ce[6][7][0] 0.78/0.84 c remove useless variable ce[6][7][1] 0.78/0.84 c remove useless variable ce[6][7][2] 0.78/0.84 c remove useless variable ce[6][7][3] 0.78/0.84 c remove useless variable ce[6][7][4] 0.78/0.84 c remove useless variable ce[6][7][5] 0.78/0.84 c remove useless variable ce[6][7][6] 0.78/0.84 c remove useless variable ce[6][7][7] 0.78/0.84 c remove useless variable ce[6][8][0] 0.78/0.84 c remove useless variable ce[6][8][1] 0.78/0.84 c remove useless variable ce[6][8][2] 0.78/0.84 c remove useless variable ce[6][8][3] 0.78/0.84 c remove useless variable ce[6][8][4] 0.78/0.84 c remove useless variable ce[6][8][5] 0.78/0.84 c remove useless variable ce[6][8][6] 0.78/0.84 c remove useless variable ce[6][8][7] 0.78/0.84 c remove useless variable ce[6][8][8] 0.78/0.84 c remove useless variable ce[6][9][0] 0.78/0.84 c remove useless variable ce[6][9][1] 0.78/0.84 c remove useless variable ce[6][9][2] 0.78/0.84 c remove useless variable ce[6][9][3] 0.78/0.84 c remove useless variable ce[6][9][4] 0.78/0.84 c remove useless variable ce[6][9][5] 0.78/0.84 c remove useless variable ce[6][9][6] 0.78/0.84 c remove useless variable ce[6][9][7] 0.78/0.84 c remove useless variable ce[6][9][8] 0.78/0.84 c remove useless variable ce[6][9][9] 0.78/0.84 c remove useless variable ce[6][10][0] 0.78/0.84 c remove useless variable ce[6][10][1] 0.78/0.84 c remove useless variable ce[6][10][2] 0.78/0.84 c remove useless variable ce[6][10][3] 0.78/0.84 c remove useless variable ce[6][10][4] 0.78/0.84 c remove useless variable ce[6][10][5] 0.78/0.84 c remove useless variable ce[6][10][6] 0.78/0.84 c remove useless variable ce[6][10][7] 0.78/0.84 c remove useless variable ce[6][10][8] 0.78/0.84 c remove useless variable ce[6][10][9] 0.78/0.84 c remove useless variable ce[6][10][10] 0.78/0.84 c remove useless variable ce[6][11][0] 0.78/0.84 c remove useless variable ce[6][11][1] 0.78/0.84 c remove useless variable ce[6][11][2] 0.78/0.84 c remove useless variable ce[6][11][3] 0.78/0.84 c remove useless variable ce[6][11][4] 0.78/0.84 c remove useless variable ce[6][11][5] 0.78/0.84 c remove useless variable ce[6][11][6] 0.78/0.84 c remove useless variable ce[6][11][7] 0.78/0.84 c remove useless variable ce[6][11][8] 0.78/0.84 c remove useless variable ce[6][11][9] 0.78/0.84 c remove useless variable ce[6][11][10] 0.78/0.84 c remove useless variable ce[6][11][11] 0.78/0.84 c remove useless variable ce[7][0][0] 0.78/0.84 c remove useless variable ce[7][1][0] 0.78/0.84 c remove useless variable ce[7][1][1] 0.78/0.84 c remove useless variable ce[7][2][0] 0.78/0.84 c remove useless variable ce[7][2][1] 0.78/0.84 c remove useless variable ce[7][2][2] 0.78/0.84 c remove useless variable ce[7][3][0] 0.78/0.84 c remove useless variable ce[7][3][1] 0.78/0.84 c remove useless variable ce[7][3][2] 0.78/0.84 c remove useless variable ce[7][3][3] 0.78/0.84 c remove useless variable ce[7][4][0] 0.78/0.84 c remove useless variable ce[7][4][1] 0.78/0.84 c remove useless variable ce[7][4][2] 0.78/0.84 c remove useless variable ce[7][4][3] 0.78/0.84 c remove useless variable ce[7][4][4] 0.78/0.84 c remove useless variable ce[7][5][0] 0.78/0.84 c remove useless variable ce[7][5][1] 0.78/0.84 c remove useless variable ce[7][5][2] 0.78/0.84 c remove useless variable ce[7][5][3] 0.78/0.84 c remove useless variable ce[7][5][4] 0.78/0.84 c remove useless variable ce[7][5][5] 0.78/0.84 c remove useless variable ce[7][6][0] 0.78/0.84 c remove useless variable ce[7][6][1] 0.78/0.84 c remove useless variable ce[7][6][2] 0.78/0.84 c remove useless variable ce[7][6][3] 0.78/0.84 c remove useless variable ce[7][6][4] 0.78/0.84 c remove useless variable ce[7][6][5] 0.78/0.84 c remove useless variable ce[7][6][6] 0.78/0.84 c remove useless variable ce[7][7][0] 0.78/0.84 c remove useless variable ce[7][7][1] 0.78/0.84 c remove useless variable ce[7][7][2] 0.78/0.84 c remove useless variable ce[7][7][3] 0.78/0.84 c remove useless variable ce[7][7][4] 0.78/0.84 c remove useless variable ce[7][7][5] 0.78/0.84 c remove useless variable ce[7][7][6] 0.78/0.84 c remove useless variable ce[7][7][7] 0.78/0.84 c remove useless variable ce[7][8][0] 0.78/0.84 c remove useless variable ce[7][8][1] 0.78/0.84 c remove useless variable ce[7][8][2] 0.78/0.84 c remove useless variable ce[7][8][3] 0.78/0.84 c remove useless variable ce[7][8][4] 0.78/0.84 c remove useless variable ce[7][8][5] 0.78/0.84 c remove useless variable ce[7][8][6] 0.78/0.84 c remove useless variable ce[7][8][7] 0.78/0.84 c remove useless variable ce[7][8][8] 0.78/0.84 c remove useless variable ce[7][9][0] 0.78/0.84 c remove useless variable ce[7][9][1] 0.78/0.84 c remove useless variable ce[7][9][2] 0.78/0.84 c remove useless variable ce[7][9][3] 0.78/0.84 c remove useless variable ce[7][9][4] 0.78/0.84 c remove useless variable ce[7][9][5] 0.78/0.84 c remove useless variable ce[7][9][6] 0.78/0.84 c remove useless variable ce[7][9][7] 0.78/0.84 c remove useless variable ce[7][9][8] 0.78/0.84 c remove useless variable ce[7][9][9] 0.78/0.84 c remove useless variable ce[7][10][0] 0.78/0.84 c remove useless variable ce[7][10][1] 0.78/0.84 c remove useless variable ce[7][10][2] 0.78/0.84 c remove useless variable ce[7][10][3] 0.78/0.84 c remove useless variable ce[7][10][4] 0.78/0.84 c remove useless variable ce[7][10][5] 0.78/0.84 c remove useless variable ce[7][10][6] 0.78/0.84 c remove useless variable ce[7][10][7] 0.78/0.84 c remove useless variable ce[7][10][8] 0.78/0.84 c remove useless variable ce[7][10][9] 0.78/0.84 c remove useless variable ce[7][10][10] 0.78/0.84 c remove useless variable ce[7][11][0] 0.78/0.84 c remove useless variable ce[7][11][1] 0.78/0.84 c remove useless variable ce[7][11][2] 0.78/0.84 c remove useless variable ce[7][11][3] 0.78/0.84 c remove useless variable ce[7][11][4] 0.78/0.84 c remove useless variable ce[7][11][5] 0.78/0.84 c remove useless variable ce[7][11][6] 0.78/0.84 c remove useless variable ce[7][11][7] 0.78/0.84 c remove useless variable ce[7][11][8] 0.78/0.84 c remove useless variable ce[7][11][9] 0.78/0.84 c remove useless variable ce[7][11][10] 0.78/0.84 c remove useless variable ce[7][11][11] 0.78/0.84 c remove useless variable ce[8][0][0] 0.78/0.84 c remove useless variable ce[8][1][0] 0.78/0.84 c remove useless variable ce[8][1][1] 0.78/0.84 c remove useless variable ce[8][2][0] 0.78/0.84 c remove useless variable ce[8][2][1] 0.78/0.84 c remove useless variable ce[8][2][2] 0.78/0.84 c remove useless variable ce[8][3][0] 0.78/0.84 c remove useless variable ce[8][3][1] 0.78/0.84 c remove useless variable ce[8][3][2] 0.78/0.84 c remove useless variable ce[8][3][3] 0.78/0.84 c remove useless variable ce[8][4][0] 0.78/0.84 c remove useless variable ce[8][4][1] 0.78/0.84 c remove useless variable ce[8][4][2] 0.78/0.84 c remove useless variable ce[8][4][3] 0.78/0.84 c remove useless variable ce[8][4][4] 0.78/0.84 c remove useless variable ce[8][5][0] 0.78/0.84 c remove useless variable ce[8][5][1] 0.78/0.84 c remove useless variable ce[8][5][2] 0.78/0.84 c remove useless variable ce[8][5][3] 0.78/0.84 c remove useless variable ce[8][5][4] 0.78/0.84 c remove useless variable ce[8][5][5] 0.78/0.84 c remove useless variable ce[8][6][0] 0.78/0.84 c remove useless variable ce[8][6][1] 0.78/0.84 c remove useless variable ce[8][6][2] 0.78/0.84 c remove useless variable ce[8][6][3] 0.78/0.84 c remove useless variable ce[8][6][4] 0.78/0.84 c remove useless variable ce[8][6][5] 0.78/0.84 c remove useless variable ce[8][6][6] 0.78/0.84 c remove useless variable ce[8][7][0] 0.78/0.84 c remove useless variable ce[8][7][1] 0.78/0.84 c remove useless variable ce[8][7][2] 0.78/0.84 c remove useless variable ce[8][7][3] 0.78/0.84 c remove useless variable ce[8][7][4] 0.78/0.84 c remove useless variable ce[8][7][5] 0.78/0.84 c remove useless variable ce[8][7][6] 0.78/0.84 c remove useless variable ce[8][7][7] 0.78/0.84 c remove useless variable ce[8][8][0] 0.78/0.84 c remove useless variable ce[8][8][1] 0.78/0.84 c remove useless variable ce[8][8][2] 0.78/0.84 c remove useless variable ce[8][8][3] 0.78/0.84 c remove useless variable ce[8][8][4] 0.78/0.84 c remove useless variable ce[8][8][5] 0.78/0.84 c remove useless variable ce[8][8][6] 0.78/0.84 c remove useless variable ce[8][8][7] 0.78/0.84 c remove useless variable ce[8][8][8] 0.78/0.84 c remove useless variable ce[8][9][0] 0.78/0.84 c remove useless variable ce[8][9][1] 0.78/0.84 c remove useless variable ce[8][9][2] 0.78/0.84 c remove useless variable ce[8][9][3] 0.78/0.84 c remove useless variable ce[8][9][4] 0.78/0.84 c remove useless variable ce[8][9][5] 0.78/0.84 c remove useless variable ce[8][9][6] 0.78/0.84 c remove useless variable ce[8][9][7] 0.78/0.84 c remove useless variable ce[8][9][8] 0.78/0.84 c remove useless variable ce[8][9][9] 0.78/0.84 c remove useless variable ce[8][10][0] 0.78/0.84 c remove useless variable ce[8][10][1] 0.78/0.84 c remove useless variable ce[8][10][2] 0.78/0.84 c remove useless variable ce[8][10][3] 0.78/0.84 c remove useless variable ce[8][10][4] 0.78/0.84 c remove useless variable ce[8][10][5] 0.78/0.84 c remove useless variable ce[8][10][6] 0.78/0.84 c remove useless variable ce[8][10][7] 0.78/0.84 c remove useless variable ce[8][10][8] 0.78/0.84 c remove useless variable ce[8][10][9] 0.78/0.84 c remove useless variable ce[8][10][10] 0.78/0.84 c remove useless variable ce[8][11][0] 0.78/0.84 c remove useless variable ce[8][11][1] 0.78/0.84 c remove useless variable ce[8][11][2] 0.78/0.84 c remove useless variable ce[8][11][3] 0.78/0.84 c remove useless variable ce[8][11][4] 0.78/0.84 c remove useless variable ce[8][11][5] 0.78/0.84 c remove useless variable ce[8][11][6] 0.78/0.84 c remove useless variable ce[8][11][7] 0.78/0.84 c remove useless variable ce[8][11][8] 0.78/0.84 c remove useless variable ce[8][11][9] 0.78/0.84 c remove useless variable ce[8][11][10] 0.78/0.84 c remove useless variable ce[8][11][11] 1.78/1.89 c 101 791 241204 248219 0 0 691 691 684 2.88/2.93 c 211 1388 459183 567522 0 0 4 488 479 3.98/4.07 c 332 2030 684429 1741775 0 0 6 522 488 4.09/4.14 c 465 2192 694567 1938216 0 0 5 30 22 4.99/5.06 c 611 2708 872230 2479968 0 0 4 371 138 5.79/5.83 c 771 3155 1010078 2972183 0 0 8 288 40 6.60/6.63 c 947 3630 1149920 3545998 0 0 8 300 55 6.70/6.76 c 1140 3879 1161312 4020408 0 0 5 57 35 7.49/7.56 c 1352 4414 1304077 4737366 0 0 7 324 77 7.70/7.78 c 1585 4689 1319157 5764743 0 0 5 43 32 8.49/8.57 c 1841 5280 1458639 6586121 0 0 5 336 70 8.79/8.83 c 2122 5585 1474055 7777349 0 0 9 25 23 8.99/9.07 c 2431 5982 1487700 8825600 0 0 8 89 49 9.29/9.37 c 2770 6395 1501778 10003856 0 0 8 75 63 9.79/9.83 c 3142 6789 1519235 12440377 0 0 7 23 22 10.79/10.80 c 3551 7699 1694285 13452054 0 0 3 502 313 11.59/11.69 c 4000 8579 1842618 14648501 0 0 5 432 232 12.39/12.43 c 4493 9149 1871351 18744756 0 0 5 50 37 13.99/14.05 c 5035 10381 2125247 23499645 0 0 691 691 689 14.78/14.85 c 5631 11070 2161673 27360441 0 0 6 94 82 16.08/16.14 c 6286 11844 2200205 33674965 0 0 8 120 106 16.88/16.93 c 7006 12661 2237235 37322907 0 0 7 97 92 17.38/17.41 c 7798 13469 2276841 40033111 0 0 15 16 15 17.98/18.05 c 8669 14419 2315244 43286695 0 0 7 79 77 18.79/18.81 c 9627 15541 2349081 47430851 0 0 13 120 105 20.28/20.37 c 10680 16615 2396474 55138434 0 0 20 21 20 21.38/21.48 c 11838 17786 2448304 61203234 0 0 12 12 11 22.48/22.50 c 13111 19088 2508844 67230649 0 0 5 29 28 23.68/23.75 c 14511 20626 2548663 73894398 0 0 8 134 122 25.29/25.40 c 16051 23825 2633700 79329172 0 0 10 42 36 25.88/25.93 c 17745 25549 2693146 82592562 0 0 10 29 28 30.18/30.24 c 19608 27520 2769079 107651131 0 0 14 107 103 32.18/32.24 c 21657 30266 3047265 115062781 0 0 691 691 690 33.78/33.84 c 23910 32578 3132585 123386434 0 0 5 57 56 35.68/35.72 c 26388 35084 3223179 135615449 0 0 4 26 25 38.08/38.19 c 29113 37856 3321333 150736665 0 0 6 42 36 40.18/40.27 c 32110 40901 3435355 165190920 0 0 11 25 24 41.78/41.82 c 35406 44401 3555110 172808088 0 0 12 200 124 43.38/43.44 c 39031 48138 3698729 183826884 0 0 3 108 23 45.78/45.87 c 43018 52355 3774544 195730409 0 0 6 224 194 46.77/46.80 c 47403 56758 3941017 202669049 0 0 7 13 12 49.37/49.41 c 52226 61612 4137913 217277378 0 0 4 24 20 55.08/55.14 c 57531 67053 4363369 248980868 0 0 5 129 88 57.07/57.18 c 63366 72910 4594099 260898830 0 0 3 15 14 61.27/61.38 c 69784 79445 4807147 287100560 0 0 5 99 54 68.17/68.21 c 76843 86593 4990785 331742203 0 0 3 75 74 71.96/72.09 c 84607 94403 5262353 361866327 0 0 7 36 35 76.56/76.64 c 93147 103205 5418304 383692318 0 0 7 248 213 78.16/78.21 c 102541 112633 5769366 396595236 0 0 8 22 21 86.25/86.38 c 112874 123046 6159170 456239600 0 0 4 66 57 98.45/98.58 c 124240 134530 6555891 513614424 0 0 4 95 79 101.05/101.11 c 136742 147111 6995889 533382826 0 0 4 26 25 108.85/108.99 c 150494 160951 7473164 594068105 0 0 4 29 28 119.34/119.40 c 165621 176150 8006366 674809897 0 0 4 51 50 129.14/129.20 c 182260 192847 8606649 750232932 0 0 6 35 34 145.43/145.50 c 200562 211242 9338116 839601880 0 0 4 67 56 156.24/156.38 c 220694 231423 10038521 921655079 0 0 5 21 20 160.73/160.81 c 242839 253631 10801837 958172697 0 0 4 32 29 177.32/177.48 c 267198 278060 11658913 1087823408 0 0 8 35 32 191.82/191.93 c 293992 304956 12626900 1182940268 0 0 4 63 54 226.11/226.27 c 323465 334729 13853453 1330630674 0 0 6 71 70 261.20/261.38 c 355885 367972 14994228 1604013743 0 0 691 691 690 315.18/315.36 c 391547 403718 16703099 1926570877 0 0 32 32 31 337.58/337.79 c 430775 443024 18364275 2102709622 0 0 22 22 21 361.37/361.58 c 473925 486320 19851245 2282608204 0 0 19 21 20 389.86/390.08 c 521390 534170 20884076 2442440627 0 0 4 126 118 410.06/410.27 c 573601 586566 22590919 2582688900 0 0 6 34 33 459.14/459.34 c 631033 644872 23955436 2935558775 0 0 7 138 135 509.53/509.72 c 694208 708186 26389834 3317593407 0 0 11 46 45 521.33/521.55 c 763700 778857 28770965 3418200111 0 0 3 26 25 588.81/589.01 c 840141 856126 31379761 3952695136 0 0 4 56 54 606.10/606.36 c 924226 940361 34440632 4088160568 0 0 4 27 26 668.49/668.76 c 1016719 1033007 37689373 4559967273 0 0 4 18 17 705.29/705.51 c 1118461 1136570 40195937 4804151987 0 0 4 170 167 770.47/770.70 c 1230377 1249193 44004641 5318083956 0 0 5 40 39 817.16/817.43 c 1353484 1375653 45199714 5631440538 0 0 6 244 213 880.04/880.39 c 1488901 1511306 49850041 6148852440 0 0 4 35 34 916.03/916.38 c 1637859 1660536 54181228 6409221586 0 0 4 50 49 1009.70/1010.04 c 1801712 1824803 59437308 6907677117 0 0 5 88 85 1033.59/1033.97 c 1981950 2006144 60148154 6938192798 0 0 5 447 442 1068.99/1069.31 c 2180211 2204776 66213971 7211763195 0 0 3 72 71 1127.77/1128.19 c 2398298 2430449 67744320 7484091291 0 0 4 472 465 1178.86/1179.24 c 2638193 2671983 69102419 7672227703 0 0 5 513 503 1213.54/1213.98 c 2902077 2937617 70097420 7699624477 0 0 4 515 507 1769.39/1769.93 c 3192349 3359611 87127778 10311437214 0 0 6 96 90 1821.87/1822.49 c 3511648 3679401 96592303 10729739357 0 0 10 17 16 2141.79/2142.49 c 3862876 4035464 106995104 13380190994 0 0 4 84 83
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-4240227-1500624133/watcher-4240227-1500624133 -o /tmp/evaluation-result-4240227-1500624133/solver-4240227-1500624133 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500623778-3172 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240227-1500624133.xml pid=4030 running on 4 cores: 1,3,5,7 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: 1.99 1.38 0.66 3/187 4033 /proc/meminfo: memFree=30200776/32770624 swapFree=6204/1830424 [pid=4033] ppid=4030 vsize=27652 CPUtime=0 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 1118 0 0 0 0 0 0 0 20 0 1 0 15689558 28315648 898 33554432000 4194304 5970956 140731329300192 140731329296840 140095145552869 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 6913 898 702 434 0 277 0 [startup+0.100163 s] /proc/loadavg: 1.99 1.38 0.66 3/187 4033 /proc/meminfo: memFree=30200776/32770624 swapFree=6204/1830424 [pid=4033] ppid=4030 vsize=37308 CPUtime=0.09 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 3619 0 0 0 9 0 0 0 20 0 1 0 15689558 38203392 3393 33554432000 4194304 5970956 140731329300192 140731329293784 140095146396880 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 9327 3393 783 434 0 2691 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 37308 [startup+0.200388 s] /proc/loadavg: 1.99 1.38 0.66 3/187 4033 /proc/meminfo: memFree=30200776/32770624 swapFree=6204/1830424 [pid=4033] ppid=4030 vsize=40864 CPUtime=0.18 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 4509 0 0 0 18 0 0 0 20 0 1 0 15689558 41844736 4317 33554432000 4194304 5970956 140731329300192 140731329293784 5219226 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 10216 4317 783 434 0 3580 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 40864 [startup+0.300257 s] /proc/loadavg: 1.99 1.38 0.66 3/187 4033 /proc/meminfo: memFree=30200776/32770624 swapFree=6204/1830424 [pid=4033] ppid=4030 vsize=45108 CPUtime=0.29 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 5561 0 0 0 28 1 0 0 20 0 1 0 15689558 46190592 5373 33554432000 4194304 5970956 140731329300192 140731329293624 140095145550379 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 11277 5373 783 434 0 4641 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 45108 [startup+0.700223 s] /proc/loadavg: 1.99 1.38 0.66 3/187 4033 /proc/meminfo: memFree=30200776/32770624 swapFree=6204/1830424 [pid=4033] ppid=4030 vsize=61940 CPUtime=0.69 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 9758 0 0 0 68 1 0 0 20 0 1 0 15689558 63426560 9535 33554432000 4194304 5970956 140731329300192 140731329293784 140095145552869 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 15485 9535 783 434 0 8849 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 61940 [startup+1.50022 s] /proc/loadavg: 1.99 1.39 0.66 3/188 4034 /proc/meminfo: memFree=30159216/32770624 swapFree=6204/1830440 [pid=4033] ppid=4030 vsize=69168 CPUtime=1.48 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 11606 0 0 0 147 1 0 0 20 0 1 0 15689558 70828032 11412 33554432000 4194304 5970956 140731329300192 140731329296888 4977344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 17292 11412 826 434 0 10656 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 69168 [startup+3.10024 s] /proc/loadavg: 1.99 1.39 0.66 3/188 4034 /proc/meminfo: memFree=30155624/32770624 swapFree=6204/1830440 [pid=4033] ppid=4030 vsize=71424 CPUtime=3.08 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 14862 0 0 0 307 1 0 0 20 0 1 0 15689558 73138176 11955 33554432000 4194304 5970956 140731329300192 140731329297528 5322960 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 17856 11955 828 434 0 11220 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 71424 [startup+6.30022 s] /proc/loadavg: 1.99 1.39 0.66 3/188 4034 /proc/meminfo: memFree=30155284/32770624 swapFree=6204/1830448 [pid=4033] ppid=4030 vsize=71424 CPUtime=6.29 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 17953 0 0 0 627 2 0 0 20 0 1 0 15689558 73138176 11955 33554432000 4194304 5970956 140731329300192 140731329297528 5327850 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 17856 11955 828 434 0 11220 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71424 [startup+12.7002 s] /proc/loadavg: 2.00 1.41 0.68 3/188 4034 /proc/meminfo: memFree=30154184/32770624 swapFree=6204/1830448 [pid=4033] ppid=4030 vsize=72348 CPUtime=12.69 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 21559 0 0 0 1267 2 0 0 20 0 1 0 15689558 74084352 12155 33554432000 4194304 5970956 140731329300192 140731329297528 5327850 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 18087 12155 828 434 0 11451 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72348 [startup+25.5003 s] /proc/loadavg: 2.00 1.43 0.69 3/188 4034 /proc/meminfo: memFree=30151580/32770624 swapFree=6204/1830468 [pid=4033] ppid=4030 vsize=74988 CPUtime=25.48 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 29439 0 0 0 2545 3 0 0 20 0 1 0 15689558 76787712 12823 33554432000 4194304 5970956 140731329300192 140731329297528 5070073 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 18747 12823 828 434 0 12111 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 74988 [startup+51.1003 s] /proc/loadavg: 2.00 1.48 0.73 3/188 4034 /proc/meminfo: memFree=30149720/32770624 swapFree=6204/1830500 [pid=4033] ppid=4030 vsize=76968 CPUtime=51.07 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 35596 0 0 0 5104 3 0 0 20 0 1 0 15689558 78815232 13325 33554432000 4194304 5970956 140731329300192 140731329297256 4961411 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19242 13325 828 434 0 12606 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76968 [startup+102.3 s] /proc/loadavg: 2.06 1.58 0.80 3/188 4035 /proc/meminfo: memFree=30148552/32770624 swapFree=6204/1830572 [pid=4033] ppid=4030 vsize=78156 CPUtime=102.25 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 38582 0 0 0 10222 3 0 0 20 0 1 0 15689558 80031744 13600 33554432000 4194304 5970956 140731329300192 140731329297528 5052093 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19539 13600 828 434 0 12903 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 78156 [startup+162.3 s] /proc/loadavg: 2.02 1.66 0.88 3/188 4036 /proc/meminfo: memFree=30147596/32770624 swapFree=6204/1830620 [pid=4033] ppid=4030 vsize=78552 CPUtime=162.23 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 39158 0 0 0 16220 3 0 0 20 0 1 0 15689558 80437248 13729 33554432000 4194304 5970956 140731329300192 140731329297528 4976713 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19638 13729 828 434 0 13002 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 78552 [startup+222.306 s] /proc/loadavg: 2.08 1.73 0.95 3/187 4037 /proc/meminfo: memFree=30147760/32770624 swapFree=6204/1830680 [pid=4033] ppid=4030 vsize=78684 CPUtime=222.22 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 39739 0 0 0 22219 3 0 0 20 0 1 0 15689558 80572416 13752 33554432000 4194304 5970956 140731329300192 140731329297256 4961429 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19671 13752 828 434 0 13035 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 78684 [startup+282.3 s] /proc/loadavg: 2.03 1.78 1.02 3/187 4038 /proc/meminfo: memFree=30146500/32770624 swapFree=6204/1830708 [pid=4033] ppid=4030 vsize=79212 CPUtime=282.19 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 41388 0 0 0 28216 3 0 0 20 0 1 0 15689558 81113088 13886 33554432000 4194304 5970956 140731329300192 140731329297256 5093209 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19803 13886 828 434 0 13167 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 79212 [startup+342.3 s] /proc/loadavg: 2.01 1.82 1.08 3/187 4039 /proc/meminfo: memFree=30146136/32770624 swapFree=6204/1830744 [pid=4033] ppid=4030 vsize=79212 CPUtime=342.18 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 41699 0 0 0 34215 3 0 0 20 0 1 0 15689558 81113088 13888 33554432000 4194304 5970956 140731329300192 140731329297528 4908944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19803 13888 828 434 0 13167 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 79212 [startup+402.3 s] /proc/loadavg: 2.00 1.85 1.14 3/187 4040 /proc/meminfo: memFree=30145788/32770624 swapFree=6204/1830800 [pid=4033] ppid=4030 vsize=79476 CPUtime=402.16 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 42056 0 0 0 40213 3 0 0 20 0 1 0 15689558 81383424 13936 33554432000 4194304 5970956 140731329300192 140731329297256 4964576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19869 13936 828 434 0 13233 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 79476 [startup+462.3 s] /proc/loadavg: 2.00 1.88 1.19 3/187 4041 /proc/meminfo: memFree=30144248/32770624 swapFree=6204/1830844 [pid=4033] ppid=4030 vsize=79872 CPUtime=462.14 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 42470 0 0 0 46211 3 0 0 20 0 1 0 15689558 81788928 14030 33554432000 4194304 5970956 140731329300192 140731329297256 4967883 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19968 14030 828 434 0 13332 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 79872 [startup+522.3 s] /proc/loadavg: 2.00 1.90 1.24 3/187 4049 /proc/meminfo: memFree=30144376/32770624 swapFree=6204/1830896 [pid=4033] ppid=4030 vsize=79872 CPUtime=522.13 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 42815 0 0 0 52210 3 0 0 20 0 1 0 15689558 81788928 14066 33554432000 4194304 5970956 140731329300192 140731329297528 4976713 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19968 14066 828 434 0 13332 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 79872 [startup+582.3 s] /proc/loadavg: 2.07 1.94 1.30 3/187 4050 /proc/meminfo: memFree=30145036/32770624 swapFree=6204/1830924 [pid=4033] ppid=4030 vsize=79872 CPUtime=582.11 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 43037 0 0 0 58208 3 0 0 20 0 1 0 15689558 81788928 14068 33554432000 4194304 5970956 140731329300192 140731329297528 4967866 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 19968 14068 828 434 0 13332 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 79872 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.00 1.76 3/187 4076 /proc/meminfo: memFree=30141076/32770624 swapFree=6204/1831556 [pid=4033] ppid=4030 vsize=83588 CPUtime=1541.86 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 50327 0 0 0 154182 4 0 0 20 0 1 0 15689558 85594112 14987 33554432000 4194304 5970956 140731329300192 140731329297256 4976725 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20897 14987 828 434 0 14261 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 83588 [startup+1602.3 s] /proc/loadavg: 2.06 2.01 1.78 3/187 4078 /proc/meminfo: memFree=30140976/32770624 swapFree=6204/1831604 [pid=4033] ppid=4030 vsize=83588 CPUtime=1601.83 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 50637 0 0 0 160179 4 0 0 20 0 1 0 15689558 85594112 15001 33554432000 4194304 5970956 140731329300192 140731329297256 4964961 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20897 15001 828 434 0 14261 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 83588 [startup+1662.3 s] /proc/loadavg: 2.02 2.01 1.79 3/187 4079 /proc/meminfo: memFree=30140868/32770624 swapFree=6204/1831640 [pid=4033] ppid=4030 vsize=83588 CPUtime=1661.82 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 50942 0 0 0 166178 4 0 0 20 0 1 0 15689558 85594112 15001 33554432000 4194304 5970956 140731329300192 140731329297256 5052093 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20897 15001 828 434 0 14261 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 83588 [startup+1722.3 s] /proc/loadavg: 2.01 2.01 1.80 3/188 4088 /proc/meminfo: memFree=30139684/32770624 swapFree=6204/1831680 [pid=4033] ppid=4030 vsize=83588 CPUtime=1721.8 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 51247 0 0 0 172176 4 0 0 20 0 1 0 15689558 85594112 15001 33554432000 4194304 5970956 140731329300192 140731329297256 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20897 15001 828 434 0 14261 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 83588 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.81 3/188 4089 /proc/meminfo: memFree=30139468/32770624 swapFree=6204/1831716 [pid=4033] ppid=4030 vsize=83588 CPUtime=1781.78 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 51596 0 0 0 178174 4 0 0 20 0 1 0 15689558 85594112 15001 33554432000 4194304 5970956 140731329300192 140731329297528 4964544 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20897 15001 828 434 0 14261 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 83588 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.83 3/188 4090 /proc/meminfo: memFree=30138880/32770624 swapFree=6204/1831752 [pid=4033] ppid=4030 vsize=83852 CPUtime=1841.77 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 52031 0 0 0 184173 4 0 0 20 0 1 0 15689558 85864448 15021 33554432000 4194304 5970956 140731329300192 140731329297256 4968233 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20963 15021 828 434 0 14327 0 Current children cumulated CPU time (s) 1841.77 Current children cumulated vsize (KiB) 83852 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.84 3/188 4091 /proc/meminfo: memFree=30138904/32770624 swapFree=6204/1831788 [pid=4033] ppid=4030 vsize=83852 CPUtime=1901.75 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 52427 0 0 0 190171 4 0 0 20 0 1 0 15689558 85864448 15051 33554432000 4194304 5970956 140731329300192 140731329297256 4968249 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20963 15051 828 434 0 14327 0 Current children cumulated CPU time (s) 1901.75 Current children cumulated vsize (KiB) 83852 [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.85 3/188 4092 /proc/meminfo: memFree=30138808/32770624 swapFree=6204/1831824 [pid=4033] ppid=4030 vsize=83852 CPUtime=1961.74 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 52830 0 0 0 196170 4 0 0 20 0 1 0 15689558 85864448 15060 33554432000 4194304 5970956 140731329300192 140731329297256 4964452 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20963 15060 828 434 0 14327 0 Current children cumulated CPU time (s) 1961.74 Current children cumulated vsize (KiB) 83852 [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.86 3/187 4093 /proc/meminfo: memFree=30138852/32770624 swapFree=6204/1831852 [pid=4033] ppid=4030 vsize=83852 CPUtime=2021.72 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 53238 0 0 0 202168 4 0 0 20 0 1 0 15689558 85864448 15067 33554432000 4194304 5970956 140731329300192 140731329297256 4964496 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20963 15067 828 434 0 14327 0 Current children cumulated CPU time (s) 2021.72 Current children cumulated vsize (KiB) 83852 [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.87 3/187 4155 /proc/meminfo: memFree=30142136/32770624 swapFree=6204/1832060 [pid=4033] ppid=4030 vsize=83984 CPUtime=2081.71 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 53653 0 0 0 208167 4 0 0 20 0 1 0 15689558 85999616 15073 33554432000 4194304 5970956 140731329300192 140731329297256 4961400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20996 15073 828 434 0 14360 0 Current children cumulated CPU time (s) 2081.71 Current children cumulated vsize (KiB) 83984 [startup+2142.3 s] /proc/loadavg: 2.03 2.03 1.88 3/187 4156 /proc/meminfo: memFree=30141204/32770624 swapFree=6204/1832132 [pid=4033] ppid=4030 vsize=83984 CPUtime=2141.69 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 54084 0 0 0 214165 4 0 0 20 0 1 0 15689558 85999616 15080 33554432000 4194304 5970956 140731329300192 140731329297256 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 20996 15080 828 434 0 14360 0 Current children cumulated CPU time (s) 2141.69 Current children cumulated vsize (KiB) 83984 [startup+2202.31 s] /proc/loadavg: 2.01 2.02 1.89 3/187 4157 /proc/meminfo: memFree=30138904/32770624 swapFree=6204/1832228 [pid=4033] ppid=4030 vsize=84116 CPUtime=2201.68 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 54529 0 0 0 220164 4 0 0 20 0 1 0 15689558 86134784 15136 33554432000 4194304 5970956 140731329300192 140731329297256 4976725 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 21029 15136 828 434 0 14393 0 Current children cumulated CPU time (s) 2201.68 Current children cumulated vsize (KiB) 84116 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.89 3/187 4157 /proc/meminfo: memFree=30139328/32770624 swapFree=6204/1832264 [pid=4033] ppid=4030 vsize=84116 CPUtime=2261.65 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 54879 0 0 0 226161 4 0 0 20 0 1 0 15689558 86134784 15136 33554432000 4194304 5970956 140731329300192 140731329297256 5070101 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 21029 15136 828 434 0 14393 0 Current children cumulated CPU time (s) 2261.65 Current children cumulated vsize (KiB) 84116 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.90 3/187 4166 /proc/meminfo: memFree=30138264/32770624 swapFree=6204/1832324 [pid=4033] ppid=4030 vsize=84116 CPUtime=2321.64 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 55229 0 0 0 232160 4 0 0 20 0 1 0 15689558 86134784 15136 33554432000 4194304 5970956 140731329300192 140731329297256 5052048 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 21029 15136 828 434 0 14393 0 Current children cumulated CPU time (s) 2321.64 Current children cumulated vsize (KiB) 84116 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.90 3/187 4166 /proc/meminfo: memFree=30138560/32770624 swapFree=6204/1832364 [pid=4033] ppid=4030 vsize=84116 CPUtime=2381.62 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 55579 0 0 0 238158 4 0 0 20 0 1 0 15689558 86134784 15136 33554432000 4194304 5970956 140731329300192 140731329297256 5070809 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 21029 15136 828 434 0 14393 0 Current children cumulated CPU time (s) 2381.62 Current children cumulated vsize (KiB) 84116 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.7 s] /proc/loadavg: 2.00 2.01 1.90 3/187 4167 /proc/meminfo: memFree=30138724/32770624 swapFree=6204/1832400 [pid=4033] ppid=4030 vsize=84116 CPUtime=2400.02 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 55929 0 0 0 239998 4 0 0 20 0 1 0 15689558 86134784 15136 33554432000 4194304 5970956 140731329300192 140731329297256 4964363 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 21029 15136 828 434 0 14393 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 84116 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 4033 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.7 s] /proc/loadavg: 2.00 2.01 1.90 3/187 4167 /proc/meminfo: memFree=30138724/32770624 swapFree=6204/1832400 [pid=4033] ppid=4030 vsize=84116 CPUtime=2400.02 cores=1,3,5,7 /proc/4033/stat : 4033 (cosoco) R 4030 4033 3140 0 -1 4202496 55929 0 0 0 239998 4 0 0 20 0 1 0 15689558 86134784 15136 33554432000 4194304 5970956 140731329300192 140731329297256 4964363 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 32972800 140731329303745 140731329303875 140731329303875 140731329306574 0 /proc/4033/statm: 21029 15136 828 434 0 14393 0 Current children cumulated CPU time (s) 2400.02 Current children cumulated vsize (KiB) 84116 Child status: 1 Real time (s): 2400.7 CPU time (s): 2400.03 CPU user time (s): 2399.98 CPU system time (s): 0.043988 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 84116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.98 system time used= 0.043988 maximum resident set size= 60588 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55956 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= 31 involuntary context switches= 122216 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.67777 second user time and 8.30829 second system time The end
Begin job on node128 at 2017-07-21 10:02:13 IDJOB=4240227 IDBENCH=120754 IDSOLVER=2620 FILE ID=node128/4240227-1500624133 RUNJOBID= node128-1500623778-3172 PBS_JOBID= 20623005 Free space on /tmp= 62024 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240227-1500624133/watcher-4240227-1500624133 -o /tmp/evaluation-result-4240227-1500624133/solver-4240227-1500624133 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500623778-3172 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240227-1500624133.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32cec65ed71b36923f34d2db18851218 RANDOM SEED=223898515 node128.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 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 : 1733.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.64 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30201352 kB MemAvailable: 32003500 kB Buffers: 155748 kB Cached: 1925792 kB SwapCached: 0 kB Active: 307776 kB Inactive: 1839256 kB Active(anon): 68200 kB Inactive(anon): 8832 kB Active(file): 239576 kB Inactive(file): 1830424 kB Unevictable: 6204 kB Mlocked: 6204 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2336 kB Writeback: 0 kB AnonPages: 75740 kB Mapped: 34156 kB Shmem: 8852 kB Slab: 120536 kB SReclaimable: 95968 kB SUnreclaim: 24568 kB KernelStack: 3376 kB PageTables: 5224 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 337004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 62020 MiB End job on node128 at 2017-07-21 10:42:14