| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| R1: cosoco 1.1 | ? (TO) | 2400.07 | 2400.7 |
| 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 |
0.59/0.61 c root propagations : 0 0.59/0.61 c restarts enabled, print stats at every restarts 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c This is cosoco 1.0 -- 0.59/0.61 c 0.59/0.61 c ========================================[ Problem Statistics ]=========================================== 0.59/0.61 c | 0.59/0.61 c | Parse time : 0.60 s 0.59/0.61 c | 0.59/0.61 c | Variables: 1070 0.59/0.61 c | Domain Sizes: 485..486 0.59/0.61 c | 0.59/0.61 c | Constraints: 487 0.59/0.61 c | Arity: 3..485 -- Ternary: 485 0.59/0.61 c | 0.59/0.61 c | Types: 0.59/0.61 c | All Different: 2 0.59/0.61 c | Intension: 485 0.59/0.61 c | 0.59/0.61 c ========================================================================================================= 0.59/0.61 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.59/0.61 c remove useless variable ce[0][0][0] 0.59/0.61 c remove useless variable ce[0][1][0] 0.59/0.61 c remove useless variable ce[0][1][1] 0.59/0.61 c remove useless variable ce[0][2][0] 0.59/0.61 c remove useless variable ce[0][2][1] 0.59/0.61 c remove useless variable ce[0][2][2] 0.59/0.61 c remove useless variable ce[0][3][0] 0.59/0.61 c remove useless variable ce[0][3][1] 0.59/0.61 c remove useless variable ce[0][3][2] 0.59/0.61 c remove useless variable ce[0][3][3] 0.59/0.61 c remove useless variable ce[0][4][0] 0.59/0.61 c remove useless variable ce[0][4][1] 0.59/0.61 c remove useless variable ce[0][4][2] 0.59/0.61 c remove useless variable ce[0][4][3] 0.59/0.61 c remove useless variable ce[0][4][4] 0.59/0.61 c remove useless variable ce[0][5][0] 0.59/0.61 c remove useless variable ce[0][5][1] 0.59/0.61 c remove useless variable ce[0][5][2] 0.59/0.61 c remove useless variable ce[0][5][3] 0.59/0.61 c remove useless variable ce[0][5][4] 0.59/0.61 c remove useless variable ce[0][5][5] 0.59/0.61 c remove useless variable ce[0][6][0] 0.59/0.61 c remove useless variable ce[0][6][1] 0.59/0.61 c remove useless variable ce[0][6][2] 0.59/0.61 c remove useless variable ce[0][6][3] 0.59/0.61 c remove useless variable ce[0][6][4] 0.59/0.61 c remove useless variable ce[0][6][5] 0.59/0.61 c remove useless variable ce[0][6][6] 0.59/0.61 c remove useless variable ce[0][7][0] 0.59/0.61 c remove useless variable ce[0][7][1] 0.59/0.61 c remove useless variable ce[0][7][2] 0.59/0.61 c remove useless variable ce[0][7][3] 0.59/0.61 c remove useless variable ce[0][7][4] 0.59/0.61 c remove useless variable ce[0][7][5] 0.59/0.61 c remove useless variable ce[0][7][6] 0.59/0.61 c remove useless variable ce[0][7][7] 0.59/0.61 c remove useless variable ce[0][8][0] 0.59/0.61 c remove useless variable ce[0][8][1] 0.59/0.61 c remove useless variable ce[0][8][2] 0.59/0.61 c remove useless variable ce[0][8][3] 0.59/0.61 c remove useless variable ce[0][8][4] 0.59/0.61 c remove useless variable ce[0][8][5] 0.59/0.61 c remove useless variable ce[0][8][6] 0.59/0.61 c remove useless variable ce[0][8][7] 0.59/0.61 c remove useless variable ce[0][8][8] 0.59/0.61 c remove useless variable ce[0][9][0] 0.59/0.61 c remove useless variable ce[0][9][1] 0.59/0.61 c remove useless variable ce[0][9][2] 0.59/0.61 c remove useless variable ce[0][9][3] 0.59/0.61 c remove useless variable ce[0][9][4] 0.59/0.61 c remove useless variable ce[0][9][5] 0.59/0.61 c remove useless variable ce[0][9][6] 0.59/0.61 c remove useless variable ce[0][9][7] 0.59/0.61 c remove useless variable ce[0][9][8] 0.59/0.61 c remove useless variable ce[0][9][9] 0.59/0.61 c remove useless variable ce[1][0][0] 0.59/0.61 c remove useless variable ce[1][1][0] 0.59/0.61 c remove useless variable ce[1][1][1] 0.59/0.61 c remove useless variable ce[1][2][0] 0.59/0.61 c remove useless variable ce[1][2][1] 0.59/0.61 c remove useless variable ce[1][2][2] 0.59/0.61 c remove useless variable ce[1][3][0] 0.59/0.61 c remove useless variable ce[1][3][1] 0.59/0.61 c remove useless variable ce[1][3][2] 0.59/0.61 c remove useless variable ce[1][3][3] 0.59/0.61 c remove useless variable ce[1][4][0] 0.59/0.61 c remove useless variable ce[1][4][1] 0.59/0.61 c remove useless variable ce[1][4][2] 0.59/0.61 c remove useless variable ce[1][4][3] 0.59/0.61 c remove useless variable ce[1][4][4] 0.59/0.61 c remove useless variable ce[1][5][0] 0.59/0.61 c remove useless variable ce[1][5][1] 0.59/0.61 c remove useless variable ce[1][5][2] 0.59/0.61 c remove useless variable ce[1][5][3] 0.59/0.61 c remove useless variable ce[1][5][4] 0.59/0.61 c remove useless variable ce[1][5][5] 0.59/0.61 c remove useless variable ce[1][6][0] 0.59/0.61 c remove useless variable ce[1][6][1] 0.59/0.61 c remove useless variable ce[1][6][2] 0.59/0.61 c remove useless variable ce[1][6][3] 0.59/0.61 c remove useless variable ce[1][6][4] 0.59/0.61 c remove useless variable ce[1][6][5] 0.59/0.61 c remove useless variable ce[1][6][6] 0.59/0.61 c remove useless variable ce[1][7][0] 0.59/0.61 c remove useless variable ce[1][7][1] 0.59/0.61 c remove useless variable ce[1][7][2] 0.59/0.61 c remove useless variable ce[1][7][3] 0.59/0.61 c remove useless variable ce[1][7][4] 0.59/0.61 c remove useless variable ce[1][7][5] 0.59/0.61 c remove useless variable ce[1][7][6] 0.59/0.61 c remove useless variable ce[1][7][7] 0.59/0.61 c remove useless variable ce[1][8][0] 0.59/0.61 c remove useless variable ce[1][8][1] 0.59/0.61 c remove useless variable ce[1][8][2] 0.59/0.61 c remove useless variable ce[1][8][3] 0.59/0.61 c remove useless variable ce[1][8][4] 0.59/0.61 c remove useless variable ce[1][8][5] 0.59/0.61 c remove useless variable ce[1][8][6] 0.59/0.61 c remove useless variable ce[1][8][7] 0.59/0.61 c remove useless variable ce[1][8][8] 0.59/0.61 c remove useless variable ce[1][9][0] 0.59/0.61 c remove useless variable ce[1][9][1] 0.59/0.61 c remove useless variable ce[1][9][2] 0.59/0.61 c remove useless variable ce[1][9][3] 0.59/0.61 c remove useless variable ce[1][9][4] 0.59/0.61 c remove useless variable ce[1][9][5] 0.59/0.61 c remove useless variable ce[1][9][6] 0.59/0.61 c remove useless variable ce[1][9][7] 0.59/0.61 c remove useless variable ce[1][9][8] 0.59/0.61 c remove useless variable ce[1][9][9] 0.59/0.61 c remove useless variable ce[2][0][0] 0.59/0.61 c remove useless variable ce[2][1][0] 0.59/0.61 c remove useless variable ce[2][1][1] 0.59/0.61 c remove useless variable ce[2][2][0] 0.59/0.61 c remove useless variable ce[2][2][1] 0.59/0.61 c remove useless variable ce[2][2][2] 0.59/0.61 c remove useless variable ce[2][3][0] 0.59/0.61 c remove useless variable ce[2][3][1] 0.59/0.61 c remove useless variable ce[2][3][2] 0.59/0.61 c remove useless variable ce[2][3][3] 0.59/0.61 c remove useless variable ce[2][4][0] 0.59/0.61 c remove useless variable ce[2][4][1] 0.59/0.61 c remove useless variable ce[2][4][2] 0.59/0.61 c remove useless variable ce[2][4][3] 0.59/0.61 c remove useless variable ce[2][4][4] 0.59/0.61 c remove useless variable ce[2][5][0] 0.59/0.61 c remove useless variable ce[2][5][1] 0.59/0.61 c remove useless variable ce[2][5][2] 0.59/0.61 c remove useless variable ce[2][5][3] 0.59/0.61 c remove useless variable ce[2][5][4] 0.59/0.61 c remove useless variable ce[2][5][5] 0.59/0.61 c remove useless variable ce[2][6][0] 0.59/0.61 c remove useless variable ce[2][6][1] 0.59/0.61 c remove useless variable ce[2][6][2] 0.59/0.61 c remove useless variable ce[2][6][3] 0.59/0.61 c remove useless variable ce[2][6][4] 0.59/0.61 c remove useless variable ce[2][6][5] 0.59/0.61 c remove useless variable ce[2][6][6] 0.59/0.61 c remove useless variable ce[2][7][0] 0.59/0.61 c remove useless variable ce[2][7][1] 0.59/0.61 c remove useless variable ce[2][7][2] 0.59/0.61 c remove useless variable ce[2][7][3] 0.59/0.61 c remove useless variable ce[2][7][4] 0.59/0.61 c remove useless variable ce[2][7][5] 0.59/0.61 c remove useless variable ce[2][7][6] 0.59/0.61 c remove useless variable ce[2][7][7] 0.59/0.61 c remove useless variable ce[2][8][0] 0.59/0.61 c remove useless variable ce[2][8][1] 0.59/0.61 c remove useless variable ce[2][8][2] 0.59/0.61 c remove useless variable ce[2][8][3] 0.59/0.61 c remove useless variable ce[2][8][4] 0.59/0.61 c remove useless variable ce[2][8][5] 0.59/0.61 c remove useless variable ce[2][8][6] 0.59/0.61 c remove useless variable ce[2][8][7] 0.59/0.61 c remove useless variable ce[2][8][8] 0.59/0.61 c remove useless variable ce[2][9][0] 0.59/0.61 c remove useless variable ce[2][9][1] 0.59/0.61 c remove useless variable ce[2][9][2] 0.59/0.61 c remove useless variable ce[2][9][3] 0.59/0.61 c remove useless variable ce[2][9][4] 0.59/0.61 c remove useless variable ce[2][9][5] 0.59/0.61 c remove useless variable ce[2][9][6] 0.59/0.61 c remove useless variable ce[2][9][7] 0.59/0.61 c remove useless variable ce[2][9][8] 0.59/0.61 c remove useless variable ce[2][9][9] 0.59/0.61 c remove useless variable ce[3][0][0] 0.59/0.61 c remove useless variable ce[3][1][0] 0.59/0.61 c remove useless variable ce[3][1][1] 0.59/0.61 c remove useless variable ce[3][2][0] 0.59/0.61 c remove useless variable ce[3][2][1] 0.59/0.61 c remove useless variable ce[3][2][2] 0.59/0.61 c remove useless variable ce[3][3][0] 0.59/0.61 c remove useless variable ce[3][3][1] 0.59/0.61 c remove useless variable ce[3][3][2] 0.59/0.61 c remove useless variable ce[3][3][3] 0.59/0.61 c remove useless variable ce[3][4][0] 0.59/0.61 c remove useless variable ce[3][4][1] 0.59/0.61 c remove useless variable ce[3][4][2] 0.59/0.61 c remove useless variable ce[3][4][3] 0.59/0.61 c remove useless variable ce[3][4][4] 0.59/0.61 c remove useless variable ce[3][5][0] 0.59/0.61 c remove useless variable ce[3][5][1] 0.59/0.61 c remove useless variable ce[3][5][2] 0.59/0.61 c remove useless variable ce[3][5][3] 0.59/0.61 c remove useless variable ce[3][5][4] 0.59/0.61 c remove useless variable ce[3][5][5] 0.59/0.61 c remove useless variable ce[3][6][0] 0.59/0.61 c remove useless variable ce[3][6][1] 0.59/0.61 c remove useless variable ce[3][6][2] 0.59/0.61 c remove useless variable ce[3][6][3] 0.59/0.61 c remove useless variable ce[3][6][4] 0.59/0.61 c remove useless variable ce[3][6][5] 0.59/0.61 c remove useless variable ce[3][6][6] 0.59/0.61 c remove useless variable ce[3][7][0] 0.59/0.61 c remove useless variable ce[3][7][1] 0.59/0.61 c remove useless variable ce[3][7][2] 0.59/0.61 c remove useless variable ce[3][7][3] 0.59/0.61 c remove useless variable ce[3][7][4] 0.59/0.61 c remove useless variable ce[3][7][5] 0.59/0.61 c remove useless variable ce[3][7][6] 0.59/0.61 c remove useless variable ce[3][7][7] 0.59/0.61 c remove useless variable ce[3][8][0] 0.59/0.61 c remove useless variable ce[3][8][1] 0.59/0.61 c remove useless variable ce[3][8][2] 0.59/0.61 c remove useless variable ce[3][8][3] 0.59/0.61 c remove useless variable ce[3][8][4] 0.59/0.61 c remove useless variable ce[3][8][5] 0.59/0.61 c remove useless variable ce[3][8][6] 0.59/0.61 c remove useless variable ce[3][8][7] 0.59/0.61 c remove useless variable ce[3][8][8] 0.59/0.61 c remove useless variable ce[3][9][0] 0.59/0.61 c remove useless variable ce[3][9][1] 0.59/0.61 c remove useless variable ce[3][9][2] 0.59/0.61 c remove useless variable ce[3][9][3] 0.59/0.61 c remove useless variable ce[3][9][4] 0.59/0.61 c remove useless variable ce[3][9][5] 0.59/0.61 c remove useless variable ce[3][9][6] 0.59/0.61 c remove useless variable ce[3][9][7] 0.59/0.61 c remove useless variable ce[3][9][8] 0.59/0.61 c remove useless variable ce[3][9][9] 0.59/0.61 c remove useless variable ce[4][0][0] 0.59/0.61 c remove useless variable ce[4][1][0] 0.59/0.61 c remove useless variable ce[4][1][1] 0.59/0.61 c remove useless variable ce[4][2][0] 0.59/0.61 c remove useless variable ce[4][2][1] 0.59/0.61 c remove useless variable ce[4][2][2] 0.59/0.61 c remove useless variable ce[4][3][0] 0.59/0.61 c remove useless variable ce[4][3][1] 0.59/0.61 c remove useless variable ce[4][3][2] 0.59/0.61 c remove useless variable ce[4][3][3] 0.59/0.61 c remove useless variable ce[4][4][0] 0.59/0.61 c remove useless variable ce[4][4][1] 0.59/0.61 c remove useless variable ce[4][4][2] 0.59/0.61 c remove useless variable ce[4][4][3] 0.59/0.61 c remove useless variable ce[4][4][4] 0.59/0.61 c remove useless variable ce[4][5][0] 0.59/0.61 c remove useless variable ce[4][5][1] 0.59/0.61 c remove useless variable ce[4][5][2] 0.59/0.61 c remove useless variable ce[4][5][3] 0.59/0.61 c remove useless variable ce[4][5][4] 0.59/0.61 c remove useless variable ce[4][5][5] 0.59/0.61 c remove useless variable ce[4][6][0] 0.59/0.61 c remove useless variable ce[4][6][1] 0.59/0.61 c remove useless variable ce[4][6][2] 0.59/0.61 c remove useless variable ce[4][6][3] 0.59/0.61 c remove useless variable ce[4][6][4] 0.59/0.61 c remove useless variable ce[4][6][5] 0.59/0.61 c remove useless variable ce[4][6][6] 0.59/0.61 c remove useless variable ce[4][7][0] 0.59/0.61 c remove useless variable ce[4][7][1] 0.59/0.61 c remove useless variable ce[4][7][2] 0.59/0.61 c remove useless variable ce[4][7][3] 0.59/0.61 c remove useless variable ce[4][7][4] 0.59/0.61 c remove useless variable ce[4][7][5] 0.59/0.61 c remove useless variable ce[4][7][6] 0.59/0.61 c remove useless variable ce[4][7][7] 0.59/0.61 c remove useless variable ce[4][8][0] 0.59/0.61 c remove useless variable ce[4][8][1] 0.59/0.61 c remove useless variable ce[4][8][2] 0.59/0.61 c remove useless variable ce[4][8][3] 0.59/0.61 c remove useless variable ce[4][8][4] 0.59/0.61 c remove useless variable ce[4][8][5] 0.59/0.61 c remove useless variable ce[4][8][6] 0.59/0.61 c remove useless variable ce[4][8][7] 0.59/0.61 c remove useless variable ce[4][8][8] 0.59/0.61 c remove useless variable ce[4][9][0] 0.59/0.61 c remove useless variable ce[4][9][1] 0.59/0.61 c remove useless variable ce[4][9][2] 0.59/0.61 c remove useless variable ce[4][9][3] 0.59/0.61 c remove useless variable ce[4][9][4] 0.59/0.61 c remove useless variable ce[4][9][5] 0.59/0.61 c remove useless variable ce[4][9][6] 0.59/0.61 c remove useless variable ce[4][9][7] 0.59/0.61 c remove useless variable ce[4][9][8] 0.59/0.61 c remove useless variable ce[4][9][9] 0.59/0.61 c remove useless variable ce[5][0][0] 0.59/0.61 c remove useless variable ce[5][1][0] 0.59/0.61 c remove useless variable ce[5][1][1] 0.59/0.61 c remove useless variable ce[5][2][0] 0.59/0.61 c remove useless variable ce[5][2][1] 0.59/0.61 c remove useless variable ce[5][2][2] 0.59/0.61 c remove useless variable ce[5][3][0] 0.59/0.61 c remove useless variable ce[5][3][1] 0.59/0.61 c remove useless variable ce[5][3][2] 0.59/0.61 c remove useless variable ce[5][3][3] 0.59/0.61 c remove useless variable ce[5][4][0] 0.59/0.61 c remove useless variable ce[5][4][1] 0.59/0.61 c remove useless variable ce[5][4][2] 0.59/0.61 c remove useless variable ce[5][4][3] 0.59/0.61 c remove useless variable ce[5][4][4] 0.59/0.61 c remove useless variable ce[5][5][0] 0.59/0.61 c remove useless variable ce[5][5][1] 0.59/0.61 c remove useless variable ce[5][5][2] 0.59/0.61 c remove useless variable ce[5][5][3] 0.59/0.61 c remove useless variable ce[5][5][4] 0.59/0.61 c remove useless variable ce[5][5][5] 0.59/0.61 c remove useless variable ce[5][6][0] 0.59/0.61 c remove useless variable ce[5][6][1] 0.59/0.61 c remove useless variable ce[5][6][2] 0.59/0.61 c remove useless variable ce[5][6][3] 0.59/0.61 c remove useless variable ce[5][6][4] 0.59/0.61 c remove useless variable ce[5][6][5] 0.59/0.61 c remove useless variable ce[5][6][6] 0.59/0.61 c remove useless variable ce[5][7][0] 0.59/0.61 c remove useless variable ce[5][7][1] 0.59/0.61 c remove useless variable ce[5][7][2] 0.59/0.61 c remove useless variable ce[5][7][3] 0.59/0.61 c remove useless variable ce[5][7][4] 0.59/0.61 c remove useless variable ce[5][7][5] 0.59/0.61 c remove useless variable ce[5][7][6] 0.59/0.61 c remove useless variable ce[5][7][7] 0.59/0.61 c remove useless variable ce[5][8][0] 0.59/0.61 c remove useless variable ce[5][8][1] 0.59/0.61 c remove useless variable ce[5][8][2] 0.59/0.61 c remove useless variable ce[5][8][3] 0.59/0.61 c remove useless variable ce[5][8][4] 0.59/0.61 c remove useless variable ce[5][8][5] 0.59/0.61 c remove useless variable ce[5][8][6] 0.59/0.61 c remove useless variable ce[5][8][7] 0.59/0.61 c remove useless variable ce[5][8][8] 0.59/0.61 c remove useless variable ce[5][9][0] 0.59/0.61 c remove useless variable ce[5][9][1] 0.59/0.61 c remove useless variable ce[5][9][2] 0.59/0.61 c remove useless variable ce[5][9][3] 0.59/0.61 c remove useless variable ce[5][9][4] 0.59/0.61 c remove useless variable ce[5][9][5] 0.59/0.61 c remove useless variable ce[5][9][6] 0.59/0.61 c remove useless variable ce[5][9][7] 0.59/0.61 c remove useless variable ce[5][9][8] 0.59/0.61 c remove useless variable ce[5][9][9] 0.59/0.61 c remove useless variable ce[6][0][0] 0.59/0.61 c remove useless variable ce[6][1][0] 0.59/0.61 c remove useless variable ce[6][1][1] 0.59/0.61 c remove useless variable ce[6][2][0] 0.59/0.61 c remove useless variable ce[6][2][1] 0.59/0.61 c remove useless variable ce[6][2][2] 0.59/0.61 c remove useless variable ce[6][3][0] 0.59/0.61 c remove useless variable ce[6][3][1] 0.59/0.61 c remove useless variable ce[6][3][2] 0.59/0.61 c remove useless variable ce[6][3][3] 0.59/0.61 c remove useless variable ce[6][4][0] 0.59/0.61 c remove useless variable ce[6][4][1] 0.59/0.61 c remove useless variable ce[6][4][2] 0.59/0.61 c remove useless variable ce[6][4][3] 0.59/0.61 c remove useless variable ce[6][4][4] 0.59/0.61 c remove useless variable ce[6][5][0] 0.59/0.61 c remove useless variable ce[6][5][1] 0.59/0.61 c remove useless variable ce[6][5][2] 0.59/0.61 c remove useless variable ce[6][5][3] 0.59/0.61 c remove useless variable ce[6][5][4] 0.59/0.61 c remove useless variable ce[6][5][5] 0.59/0.61 c remove useless variable ce[6][6][0] 0.59/0.61 c remove useless variable ce[6][6][1] 0.59/0.61 c remove useless variable ce[6][6][2] 0.59/0.61 c remove useless variable ce[6][6][3] 0.59/0.61 c remove useless variable ce[6][6][4] 0.59/0.61 c remove useless variable ce[6][6][5] 0.59/0.61 c remove useless variable ce[6][6][6] 0.59/0.61 c remove useless variable ce[6][7][0] 0.59/0.61 c remove useless variable ce[6][7][1] 0.59/0.61 c remove useless variable ce[6][7][2] 0.59/0.61 c remove useless variable ce[6][7][3] 0.59/0.61 c remove useless variable ce[6][7][4] 0.59/0.61 c remove useless variable ce[6][7][5] 0.59/0.61 c remove useless variable ce[6][7][6] 0.59/0.61 c remove useless variable ce[6][7][7] 0.59/0.61 c remove useless variable ce[6][8][0] 0.59/0.61 c remove useless variable ce[6][8][1] 0.59/0.61 c remove useless variable ce[6][8][2] 0.59/0.61 c remove useless variable ce[6][8][3] 0.59/0.61 c remove useless variable ce[6][8][4] 0.59/0.61 c remove useless variable ce[6][8][5] 0.59/0.61 c remove useless variable ce[6][8][6] 0.59/0.61 c remove useless variable ce[6][8][7] 0.59/0.61 c remove useless variable ce[6][8][8] 0.59/0.61 c remove useless variable ce[6][9][0] 0.59/0.61 c remove useless variable ce[6][9][1] 0.59/0.61 c remove useless variable ce[6][9][2] 0.59/0.61 c remove useless variable ce[6][9][3] 0.59/0.61 c remove useless variable ce[6][9][4] 0.59/0.61 c remove useless variable ce[6][9][5] 0.59/0.61 c remove useless variable ce[6][9][6] 0.59/0.61 c remove useless variable ce[6][9][7] 0.59/0.61 c remove useless variable ce[6][9][8] 0.59/0.61 c remove useless variable ce[6][9][9] 0.59/0.61 c remove useless variable ce[7][0][0] 0.59/0.61 c remove useless variable ce[7][1][0] 0.59/0.61 c remove useless variable ce[7][1][1] 0.59/0.61 c remove useless variable ce[7][2][0] 0.59/0.61 c remove useless variable ce[7][2][1] 0.59/0.61 c remove useless variable ce[7][2][2] 0.59/0.61 c remove useless variable ce[7][3][0] 0.59/0.61 c remove useless variable ce[7][3][1] 0.59/0.61 c remove useless variable ce[7][3][2] 0.59/0.61 c remove useless variable ce[7][3][3] 0.59/0.61 c remove useless variable ce[7][4][0] 0.59/0.61 c remove useless variable ce[7][4][1] 0.59/0.61 c remove useless variable ce[7][4][2] 0.59/0.61 c remove useless variable ce[7][4][3] 0.59/0.61 c remove useless variable ce[7][4][4] 0.59/0.61 c remove useless variable ce[7][5][0] 0.59/0.61 c remove useless variable ce[7][5][1] 0.59/0.61 c remove useless variable ce[7][5][2] 0.59/0.61 c remove useless variable ce[7][5][3] 0.59/0.61 c remove useless variable ce[7][5][4] 0.59/0.61 c remove useless variable ce[7][5][5] 0.59/0.61 c remove useless variable ce[7][6][0] 0.59/0.61 c remove useless variable ce[7][6][1] 0.59/0.61 c remove useless variable ce[7][6][2] 0.59/0.61 c remove useless variable ce[7][6][3] 0.59/0.61 c remove useless variable ce[7][6][4] 0.59/0.61 c remove useless variable ce[7][6][5] 0.59/0.61 c remove useless variable ce[7][6][6] 0.59/0.61 c remove useless variable ce[7][7][0] 0.59/0.61 c remove useless variable ce[7][7][1] 0.59/0.61 c remove useless variable ce[7][7][2] 0.59/0.61 c remove useless variable ce[7][7][3] 0.59/0.61 c remove useless variable ce[7][7][4] 0.59/0.61 c remove useless variable ce[7][7][5] 0.59/0.61 c remove useless variable ce[7][7][6] 0.59/0.61 c remove useless variable ce[7][7][7] 0.59/0.61 c remove useless variable ce[7][8][0] 0.59/0.61 c remove useless variable ce[7][8][1] 0.59/0.61 c remove useless variable ce[7][8][2] 0.59/0.61 c remove useless variable ce[7][8][3] 0.59/0.61 c remove useless variable ce[7][8][4] 0.59/0.61 c remove useless variable ce[7][8][5] 0.59/0.61 c remove useless variable ce[7][8][6] 0.59/0.61 c remove useless variable ce[7][8][7] 0.59/0.61 c remove useless variable ce[7][8][8] 0.59/0.61 c remove useless variable ce[7][9][0] 0.59/0.61 c remove useless variable ce[7][9][1] 0.59/0.61 c remove useless variable ce[7][9][2] 0.59/0.61 c remove useless variable ce[7][9][3] 0.59/0.61 c remove useless variable ce[7][9][4] 0.59/0.61 c remove useless variable ce[7][9][5] 0.59/0.61 c remove useless variable ce[7][9][6] 0.59/0.61 c remove useless variable ce[7][9][7] 0.59/0.61 c remove useless variable ce[7][9][8] 0.59/0.61 c remove useless variable ce[7][9][9] 0.59/0.61 c remove useless variable ce[8][0][0] 0.59/0.61 c remove useless variable ce[8][1][0] 0.59/0.61 c remove useless variable ce[8][1][1] 0.59/0.61 c remove useless variable ce[8][2][0] 0.59/0.61 c remove useless variable ce[8][2][1] 0.59/0.61 c remove useless variable ce[8][2][2] 0.59/0.61 c remove useless variable ce[8][3][0] 0.59/0.61 c remove useless variable ce[8][3][1] 0.59/0.61 c remove useless variable ce[8][3][2] 0.59/0.61 c remove useless variable ce[8][3][3] 0.59/0.61 c remove useless variable ce[8][4][0] 0.59/0.61 c remove useless variable ce[8][4][1] 0.59/0.61 c remove useless variable ce[8][4][2] 0.59/0.61 c remove useless variable ce[8][4][3] 0.59/0.61 c remove useless variable ce[8][4][4] 0.59/0.61 c remove useless variable ce[8][5][0] 0.59/0.61 c remove useless variable ce[8][5][1] 0.59/0.61 c remove useless variable ce[8][5][2] 0.59/0.61 c remove useless variable ce[8][5][3] 0.59/0.61 c remove useless variable ce[8][5][4] 0.59/0.61 c remove useless variable ce[8][5][5] 0.59/0.61 c remove useless variable ce[8][6][0] 0.59/0.61 c remove useless variable ce[8][6][1] 0.59/0.61 c remove useless variable ce[8][6][2] 0.59/0.61 c remove useless variable ce[8][6][3] 0.59/0.61 c remove useless variable ce[8][6][4] 0.59/0.61 c remove useless variable ce[8][6][5] 0.59/0.61 c remove useless variable ce[8][6][6] 0.59/0.61 c remove useless variable ce[8][7][0] 0.59/0.61 c remove useless variable ce[8][7][1] 0.59/0.61 c remove useless variable ce[8][7][2] 0.59/0.61 c remove useless variable ce[8][7][3] 0.59/0.61 c remove useless variable ce[8][7][4] 0.59/0.61 c remove useless variable ce[8][7][5] 0.59/0.61 c remove useless variable ce[8][7][6] 0.59/0.61 c remove useless variable ce[8][7][7] 0.59/0.61 c remove useless variable ce[8][8][0] 0.59/0.61 c remove useless variable ce[8][8][1] 0.59/0.61 c remove useless variable ce[8][8][2] 0.59/0.61 c remove useless variable ce[8][8][3] 0.59/0.61 c remove useless variable ce[8][8][4] 0.59/0.61 c remove useless variable ce[8][8][5] 0.59/0.61 c remove useless variable ce[8][8][6] 0.59/0.61 c remove useless variable ce[8][8][7] 0.59/0.61 c remove useless variable ce[8][8][8] 0.59/0.61 c remove useless variable ce[8][9][0] 0.59/0.61 c remove useless variable ce[8][9][1] 0.59/0.61 c remove useless variable ce[8][9][2] 0.59/0.61 c remove useless variable ce[8][9][3] 0.59/0.61 c remove useless variable ce[8][9][4] 0.59/0.61 c remove useless variable ce[8][9][5] 0.59/0.61 c remove useless variable ce[8][9][6] 0.59/0.61 c remove useless variable ce[8][9][7] 0.59/0.61 c remove useless variable ce[8][9][8] 0.59/0.61 c remove useless variable ce[8][9][9] 0.89/0.96 c 101 586 120050 123899 0 0 486 486 481 1.29/1.30 c 211 1021 225313 302319 0 0 4 326 320 1.69/1.70 c 332 1484 333988 966740 0 0 6 343 321 1.69/1.74 c 465 1646 341509 1104087 0 0 5 30 22 1.99/2.04 c 611 2051 427601 1422710 0 0 4 260 101 2.19/2.30 c 771 2431 495888 1736857 0 0 8 221 43 2.29/2.35 c 947 2650 505006 1996073 0 0 4 44 30 2.39/2.43 c 1140 2899 513406 2324870 0 0 8 57 39 2.39/2.49 c 1352 3160 521939 2672213 0 0 4 50 37 2.49/2.56 c 1585 3449 530680 3082040 0 0 5 57 38 2.79/2.83 c 1841 3935 598115 3664062 0 0 7 231 45 3.09/3.17 c 2122 4548 682906 4257196 0 0 8 333 155 3.49/3.51 c 2431 5186 759597 5066498 0 0 9 330 100 3.89/3.97 c 2770 6010 883730 6018866 0 0 486 486 484 4.19/4.20 c 3142 6428 905244 7068677 0 0 6 47 45 4.58/4.61 c 3551 6880 926184 9314642 0 0 8 44 43 4.88/4.92 c 4000 7403 941225 10871607 0 0 7 75 63 5.08/5.10 c 4493 7910 961041 11809187 0 0 13 14 12 5.38/5.44 c 5035 8511 986101 13607451 0 0 50 59 58 5.59/5.68 c 5631 9201 1012369 14591434 0 0 7 92 19 5.98/6.00 c 6286 9915 1033779 16041058 0 0 5 59 56 6.98/7.07 c 7006 10938 1117300 20735610 0 0 6 303 92 7.59/7.70 c 7798 11764 1157651 23345105 0 0 12 34 33 7.80/7.82 c 8669 12652 1186402 24185951 0 0 8 17 16 8.29/8.35 c 9627 13690 1222471 26612113 0 0 12 70 68 8.99/9.00 c 10680 14770 1273662 29785893 0 0 8 20 18 9.29/9.35 c 11838 15986 1310984 31709780 0 0 11 57 56 9.59/9.68 c 13111 17276 1350116 33938209 0 0 16 16 15 9.99/10.00 c 14511 18694 1393343 35949064 0 0 17 17 16 10.29/10.37 c 16051 20330 1438655 38022624 0 0 12 77 74 10.69/10.71 c 17745 22039 1489089 40199223 0 0 5 13 12 12.59/12.63 c 19608 24013 1553133 51966238 0 0 7 82 79 12.79/12.89 c 21657 26076 1612670 53903104 0 0 11 11 10 13.39/13.48 c 23910 28373 1689267 57389255 0 0 41 41 40 14.39/14.41 c 26388 30897 1762457 63251234 0 0 5 42 34 14.98/15.01 c 29113 33657 1844666 67478741 0 0 12 16 15 15.58/15.64 c 32110 36678 1929140 71793950 0 0 9 19 18 16.68/16.71 c 35406 40305 2085905 77040246 0 0 5 323 46 17.38/17.43 c 39031 43949 2194121 81725773 0 0 13 13 12 23.58/23.64 c 43018 48058 2334525 114323731 0 0 4 67 65 24.08/24.16 c 47403 52461 2460518 118456266 0 0 10 10 9 24.98/25.09 c 52226 57310 2597501 124553994 0 0 4 17 16 25.98/26.07 c 57531 62657 2750855 131125861 0 0 7 10 9 31.48/31.58 c 63366 68542 2948686 154523180 0 0 4 38 30 34.38/34.45 c 69784 75006 3152472 171607384 0 0 3 33 27 37.27/37.31 c 76843 82198 3323169 193839182 0 0 5 54 44 43.97/44.09 c 84607 90016 3571658 238421275 0 0 6 38 37 47.57/47.60 c 93147 98768 3800894 267393459 0 0 5 33 32 52.78/52.88 c 102541 108532 4089443 295984833 0 0 4 337 142 55.87/55.96 c 112874 119247 4300879 313950317 0 0 5 339 190 61.07/61.15 c 124240 130732 4541439 348597438 0 0 5 94 92 62.47/62.58 c 136742 143270 4895129 360385335 0 0 11 11 10 65.07/65.11 c 150494 157071 5273774 377991388 0 0 4 21 19 72.46/72.51 c 165621 172259 5712071 430174904 0 0 5 30 29 79.27/79.34 c 182260 189458 6138569 480042367 0 0 5 57 56 85.26/85.34 c 200562 207838 6624860 527798673 0 0 5 40 39 93.86/93.93 c 220694 228055 7141963 588082123 0 0 4 42 41 98.66/98.79 c 242839 250701 7777349 623130885 0 0 4 32 31 102.16/102.22 c 267198 275564 7957074 635851258 0 0 4 346 340 118.25/118.40 c 293992 302592 8572523 754629650 0 0 3 90 87 123.75/123.85 c 323465 332160 9432971 792614347 0 0 4 33 32 129.75/129.81 c 355885 364672 10300006 833583768 0 0 4 24 23 144.84/144.99 c 391547 400442 11259020 948630475 0 0 4 32 31 163.95/164.07 c 430775 439801 12374407 1085536605 0 0 7 46 45 173.24/173.38 c 473925 483090 13561449 1155065260 0 0 4 46 45 196.84/196.96 c 521390 532083 14851970 1341691377 0 0 4 73 72 214.32/214.42 c 573601 584433 16654241 1435361205 0 0 4 31 30 242.32/242.48 c 631033 642031 18289008 1650680482 0 0 5 42 41 256.01/256.16 c 694208 705382 19955138 1740891228 0 0 5 39 38 291.21/291.32 c 763700 775070 21930394 1996482333 0 0 7 45 44 321.90/322.00 c 840141 852912 23868130 2238139027 0 0 7 66 65 367.18/367.30 c 924226 938007 25165718 2600239061 0 0 3 368 359 394.88/395.08 c 1016719 1032007 26127064 2801094008 0 0 3 394 367 423.77/423.96 c 1118461 1134214 26955318 2966219392 0 0 3 166 164 458.86/459.09 c 1230377 1247367 27938339 3170354569 0 0 3 244 225 599.92/600.19 c 1353484 1374071 32109043 4015230146 0 0 6 220 102 643.51/643.74 c 1488901 1512633 33704903 4308581334 0 0 6 231 215 666.51/666.77 c 1637859 1661941 37575949 4478009382 0 0 7 30 29 748.18/748.47 c 1801712 1827955 42395063 5057614785 0 0 4 38 37 821.48/821.73 c 1981950 2013106 46486981 5661793636 0 0 4 78 77 893.66/893.97 c 2180211 2215391 51334527 6218088062 0 0 4 92 91 1004.13/1004.47 c 2398298 2434855 57744778 6999874155 0 0 10 13 12 1052.91/1053.22 c 2638193 2675681 63807318 7304449215 0 0 4 81 31 1254.76/1255.13 c 2902077 2940433 68977596 8668509819 0 0 3 133 131 1286.75/1287.18 c 3192349 3231313 77723900 8941714056 0 0 8 9 8 1323.24/1323.65 c 3511648 3551292 87072951 9242685875 0 0 4 13 12 1577.57/1578.05 c 3862876 3903340 98437811 10309035500 0 0 5 44 43 1914.18/1914.77 c 4249226 4290649 109313180 12341201379 0 0 5 61 60 2059.86/2060.42 c 4674211 4716781 117266003 13410874109 0 0 5 120 119 2257.80/2258.45 c 5141694 5185366 128635596 15008821252 0 0 5 78 75 2339.28/2339.90 c 5655925 5700937 140846975 15542340347 0 0 10 160 36
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-4240235-1500624421/watcher-4240235-1500624421 -o /tmp/evaluation-result-4240235-1500624421/solver-4240235-1500624421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500623787-5214 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240235-1500624421.xml pid=5842 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 1.77 1.02 3/186 5845 /proc/meminfo: memFree=31218992/32770624 swapFree=6216/739108 [pid=5845] ppid=5842 vsize=27388 CPUtime=0 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 1057 0 0 0 0 0 0 0 20 0 1 0 17149843 28045312 832 33554432000 4194304 5970956 140734006830928 140734006827576 140173577530341 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 6847 832 702 434 0 211 0 [startup+0.100114 s] /proc/loadavg: 2.00 1.77 1.02 3/186 5845 /proc/meminfo: memFree=31218992/32770624 swapFree=6216/739108 [pid=5845] ppid=5842 vsize=32796 CPUtime=0.09 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 2480 0 0 0 9 0 0 0 20 0 1 0 17149843 33583104 2275 33554432000 4194304 5970956 140734006830928 140734006822536 140173577540464 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 8199 2275 783 434 0 1563 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 32796 [startup+0.200291 s] /proc/loadavg: 2.00 1.77 1.02 3/186 5845 /proc/meminfo: memFree=31218992/32770624 swapFree=6216/739108 [pid=5845] ppid=5842 vsize=35284 CPUtime=0.19 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 3086 0 0 0 19 0 0 0 20 0 1 0 17149843 36130816 2864 33554432000 4194304 5970956 140734006830928 140734006824520 140173577991157 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 8821 2864 783 434 0 2185 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 35284 [startup+0.300203 s] /proc/loadavg: 2.00 1.77 1.02 3/186 5845 /proc/meminfo: memFree=31218992/32770624 swapFree=6216/739108 [pid=5845] ppid=5842 vsize=38160 CPUtime=0.28 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 3833 0 0 0 28 0 0 0 20 0 1 0 17149843 39075840 3650 33554432000 4194304 5970956 140734006830928 140734006824760 140173577540474 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 9540 3650 783 434 0 2904 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 38160 [startup+0.700174 s] /proc/loadavg: 2.00 1.77 1.02 3/186 5845 /proc/meminfo: memFree=31218992/32770624 swapFree=6216/739108 [pid=5845] ppid=5842 vsize=47860 CPUtime=0.69 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 6287 0 0 0 68 1 0 0 20 0 1 0 17149843 49008640 6108 33554432000 4194304 5970956 140734006830928 140734006827704 5327850 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 11965 6108 826 434 0 5329 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47860 [startup+1.50017 s] /proc/loadavg: 2.00 1.77 1.02 3/187 5846 /proc/meminfo: memFree=31197796/32770624 swapFree=6216/739140 [pid=5845] ppid=5842 vsize=49356 CPUtime=1.49 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 6673 0 0 0 148 1 0 0 20 0 1 0 17149843 50540544 6446 33554432000 4194304 5970956 140734006830928 140734006828264 5322992 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 12339 6446 826 434 0 5703 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49356 [startup+3.10017 s] /proc/loadavg: 2.00 1.77 1.02 3/187 5846 /proc/meminfo: memFree=31197424/32770624 swapFree=6216/739140 [pid=5845] ppid=5842 vsize=49488 CPUtime=3.09 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 8506 0 0 0 308 1 0 0 20 0 1 0 17149843 50675712 6528 33554432000 4194304 5970956 140734006830928 140734006828264 4969809 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 12372 6528 828 434 0 5736 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49488 [startup+6.30017 s] /proc/loadavg: 2.00 1.77 1.02 3/187 5846 /proc/meminfo: memFree=31196020/32770624 swapFree=6216/739148 [pid=5845] ppid=5842 vsize=50676 CPUtime=6.28 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 10964 0 0 0 627 1 0 0 20 0 1 0 17149843 51892224 6806 33554432000 4194304 5970956 140734006830928 140734006828264 4964406 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 12669 6806 828 434 0 6033 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50676 [startup+12.7002 s] /proc/loadavg: 2.00 1.78 1.03 3/187 5846 /proc/meminfo: memFree=31194284/32770624 swapFree=6216/739156 [pid=5845] ppid=5842 vsize=51732 CPUtime=12.69 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 13650 0 0 0 1267 2 0 0 20 0 1 0 17149843 52973568 7070 33554432000 4194304 5970956 140734006830928 140734006828264 5319616 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 12933 7070 828 434 0 6297 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51732 [startup+25.5002 s] /proc/loadavg: 2.00 1.79 1.04 3/187 5846 /proc/meminfo: memFree=31194036/32770624 swapFree=6216/739172 [pid=5845] ppid=5842 vsize=52128 CPUtime=25.48 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 18528 0 0 0 2546 2 0 0 20 0 1 0 17149843 53379072 7196 33554432000 4194304 5970956 140734006830928 140734006828264 4970645 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13032 7196 828 434 0 6396 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52128 [startup+51.1002 s] /proc/loadavg: 2.08 1.82 1.07 3/187 5846 /proc/meminfo: memFree=31192748/32770624 swapFree=6216/739204 [pid=5845] ppid=5842 vsize=52656 CPUtime=51.07 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 20450 0 0 0 5105 2 0 0 20 0 1 0 17149843 53919744 7305 33554432000 4194304 5970956 140734006830928 140734006828264 4964389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13164 7305 828 434 0 6528 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 52656 [startup+102.3 s] /proc/loadavg: 2.11 1.87 1.13 3/187 5847 /proc/meminfo: memFree=31191892/32770624 swapFree=6216/739272 [pid=5845] ppid=5842 vsize=53184 CPUtime=102.26 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 21577 0 0 0 10223 3 0 0 20 0 1 0 17149843 54460416 7449 33554432000 4194304 5970956 140734006830928 140734006828264 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13296 7449 828 434 0 6660 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 53184 [startup+162.3 s] /proc/loadavg: 2.04 1.89 1.19 3/187 5848 /proc/meminfo: memFree=31191576/32770624 swapFree=6216/739320 [pid=5845] ppid=5842 vsize=53580 CPUtime=162.24 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 22173 0 0 0 16221 3 0 0 20 0 1 0 17149843 54865920 7531 33554432000 4194304 5970956 140734006830928 140734006828264 4964366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13395 7531 828 434 0 6759 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 53580 [startup+222.306 s] /proc/loadavg: 2.01 1.91 1.24 3/189 5858 /proc/meminfo: memFree=31190912/32770624 swapFree=6216/739384 [pid=5845] ppid=5842 vsize=53712 CPUtime=222.23 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 22452 0 0 0 22220 3 0 0 20 0 1 0 17149843 55001088 7562 33554432000 4194304 5970956 140734006830928 140734006828264 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13428 7562 828 434 0 6792 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 53712 [startup+282.3 s] /proc/loadavg: 2.01 1.93 1.29 3/189 5859 /proc/meminfo: memFree=31191532/32770624 swapFree=6216/739436 [pid=5845] ppid=5842 vsize=53712 CPUtime=282.21 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 22730 0 0 0 28218 3 0 0 20 0 1 0 17149843 55001088 7581 33554432000 4194304 5970956 140734006830928 140734006828264 4964586 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13428 7581 828 434 0 6792 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 53712 [startup+342.3 s] /proc/loadavg: 2.05 1.96 1.34 3/189 5860 /proc/meminfo: memFree=31191332/32770624 swapFree=6216/739484 [pid=5845] ppid=5842 vsize=54240 CPUtime=342.19 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 23283 0 0 0 34216 3 0 0 20 0 1 0 17149843 55541760 7675 33554432000 4194304 5970956 140734006830928 140734006827992 4977619 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13560 7675 828 434 0 6924 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 54240 [startup+402.3 s] /proc/loadavg: 2.02 1.96 1.38 3/189 5861 /proc/meminfo: memFree=31190580/32770624 swapFree=6216/739524 [pid=5845] ppid=5842 vsize=55052 CPUtime=402.17 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 23974 0 0 0 40214 3 0 0 20 0 1 0 17149843 56373248 7855 33554432000 4194304 5970956 140734006830928 140734006827992 4970584 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13763 7855 828 434 0 7127 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 55052 [startup+462.3 s] /proc/loadavg: 2.01 1.97 1.42 3/189 5862 /proc/meminfo: memFree=31189276/32770624 swapFree=6216/739568 [pid=5845] ppid=5842 vsize=55712 CPUtime=462.16 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 24745 0 0 0 46213 3 0 0 20 0 1 0 17149843 57049088 8031 33554432000 4194304 5970956 140734006830928 140734006827992 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13928 8031 828 434 0 7292 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 55712 [startup+522.3 s] /proc/loadavg: 2.00 1.97 1.45 3/187 5863 /proc/meminfo: memFree=31189796/32770624 swapFree=6216/739600 [pid=5845] ppid=5842 vsize=55712 CPUtime=522.14 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 24998 0 0 0 52211 3 0 0 20 0 1 0 17149843 57049088 8088 33554432000 4194304 5970956 140734006830928 140734006827992 5070768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13928 8088 828 434 0 7292 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 55712 [startup+582.3 s] /proc/loadavg: 2.00 1.98 1.49 3/187 5864 /proc/meminfo: memFree=31189540/32770624 swapFree=6216/739628 [pid=5845] ppid=5842 vsize=55712 CPUtime=582.13 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 25239 0 0 0 58210 3 0 0 20 0 1 0 17149843 57049088 8088 33554432000 4194304 5970956 140734006830928 140734006827992 4974237 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 13928 8088 828 434 0 7292 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 55712 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.00 2.01 1.83 3/187 5897 /proc/meminfo: memFree=31187876/32770624 swapFree=6216/740212 [pid=5845] ppid=5842 vsize=56504 CPUtime=1541.89 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 29944 0 0 0 154184 5 0 0 20 0 1 0 17149843 57860096 8280 33554432000 4194304 5970956 140734006830928 140734006827992 4974816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8280 828 434 0 7490 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 56504 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 1.84 3/187 5898 /proc/meminfo: memFree=31187668/32770624 swapFree=6216/740252 [pid=5845] ppid=5842 vsize=56504 CPUtime=1601.87 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 30393 0 0 0 160182 5 0 0 20 0 1 0 17149843 57860096 8282 33554432000 4194304 5970956 140734006830928 140734006828264 4964389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8282 828 434 0 7490 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 56504 [startup+1662.3 s] /proc/loadavg: 2.08 2.04 1.86 3/187 5899 /proc/meminfo: memFree=31187792/32770624 swapFree=6216/740296 [pid=5845] ppid=5842 vsize=56504 CPUtime=1661.85 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 30659 0 0 0 166180 5 0 0 20 0 1 0 17149843 57860096 8288 33554432000 4194304 5970956 140734006830928 140734006828264 4967793 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8288 828 434 0 7490 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 56504 [startup+1722.3 s] /proc/loadavg: 2.03 2.04 1.87 3/187 5900 /proc/meminfo: memFree=31187544/32770624 swapFree=6216/740324 [pid=5845] ppid=5842 vsize=56504 CPUtime=1721.84 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 30925 0 0 0 172179 5 0 0 20 0 1 0 17149843 57860096 8288 33554432000 4194304 5970956 140734006830928 140734006828264 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8288 828 434 0 7490 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 56504 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 1.87 3/187 5901 /proc/meminfo: memFree=31187672/32770624 swapFree=6216/740352 [pid=5845] ppid=5842 vsize=56504 CPUtime=1781.82 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 31203 0 0 0 178177 5 0 0 20 0 1 0 17149843 57860096 8288 33554432000 4194304 5970956 140734006830928 140734006828264 5070102 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8288 828 434 0 7490 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 56504 [startup+1842.3 s] /proc/loadavg: 2.00 2.02 1.88 3/187 5962 /proc/meminfo: memFree=31018168/32770624 swapFree=6216/744748 [pid=5845] ppid=5842 vsize=56504 CPUtime=1841.8 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 31470 0 0 0 184175 5 0 0 20 0 1 0 17149843 57860096 8288 33554432000 4194304 5970956 140734006830928 140734006828264 4967836 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8288 828 434 0 7490 0 Current children cumulated CPU time (s) 1841.8 Current children cumulated vsize (KiB) 56504 [startup+1902.3 s] /proc/loadavg: 2.12 2.05 1.90 3/187 6215 /proc/meminfo: memFree=31184380/32770624 swapFree=6216/744976 [pid=5845] ppid=5842 vsize=56504 CPUtime=1901.79 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 31781 0 0 0 190174 5 0 0 20 0 1 0 17149843 57860096 8289 33554432000 4194304 5970956 140734006830928 140734006828264 4964363 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8289 828 434 0 7490 0 Current children cumulated CPU time (s) 1901.79 Current children cumulated vsize (KiB) 56504 [startup+1962.3 s] /proc/loadavg: 2.12 2.06 1.91 3/187 6279 /proc/meminfo: memFree=31184232/32770624 swapFree=6216/745100 [pid=5845] ppid=5842 vsize=56504 CPUtime=1961.78 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 32200 0 0 0 196172 6 0 0 20 0 1 0 17149843 57860096 8293 33554432000 4194304 5970956 140734006830928 140734006828264 4977773 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8293 828 434 0 7490 0 Current children cumulated CPU time (s) 1961.78 Current children cumulated vsize (KiB) 56504 [startup+2022.3 s] /proc/loadavg: 2.04 2.05 1.91 3/187 6348 /proc/meminfo: memFree=31166804/32770624 swapFree=6216/745236 [pid=5845] ppid=5842 vsize=56504 CPUtime=2021.76 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 32383 0 0 0 202170 6 0 0 20 0 1 0 17149843 57860096 8293 33554432000 4194304 5970956 140734006830928 140734006828264 5069728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8293 828 434 0 7490 0 Current children cumulated CPU time (s) 2021.76 Current children cumulated vsize (KiB) 56504 [startup+2082.3 s] /proc/loadavg: 2.02 2.04 1.92 3/187 6349 /proc/meminfo: memFree=31166444/32770624 swapFree=6216/745308 [pid=5845] ppid=5842 vsize=56504 CPUtime=2081.75 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 32782 0 0 0 208169 6 0 0 20 0 1 0 17149843 57860096 8296 33554432000 4194304 5970956 140734006830928 140734006828264 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8296 828 434 0 7490 0 Current children cumulated CPU time (s) 2081.75 Current children cumulated vsize (KiB) 56504 [startup+2142.3 s] /proc/loadavg: 2.07 2.05 1.93 3/187 6350 /proc/meminfo: memFree=31166536/32770624 swapFree=6216/745368 [pid=5845] ppid=5842 vsize=56504 CPUtime=2141.73 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 33003 0 0 0 214167 6 0 0 20 0 1 0 17149843 57860096 8298 33554432000 4194304 5970956 140734006830928 140734006828264 4967853 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8298 828 434 0 7490 0 Current children cumulated CPU time (s) 2141.73 Current children cumulated vsize (KiB) 56504 [startup+2202.31 s] /proc/loadavg: 2.11 2.06 1.94 3/187 6351 /proc/meminfo: memFree=31166620/32770624 swapFree=6216/745444 [pid=5845] ppid=5842 vsize=56504 CPUtime=2201.72 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 33235 0 0 0 220166 6 0 0 20 0 1 0 17149843 57860096 8298 33554432000 4194304 5970956 140734006830928 140734006828264 4964363 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8298 828 434 0 7490 0 Current children cumulated CPU time (s) 2201.72 Current children cumulated vsize (KiB) 56504 [startup+2262.3 s] /proc/loadavg: 2.10 2.06 1.95 3/187 6352 /proc/meminfo: memFree=31166980/32770624 swapFree=6216/745488 [pid=5845] ppid=5842 vsize=56504 CPUtime=2261.7 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 33509 0 0 0 226164 6 0 0 20 0 1 0 17149843 57860096 8298 33554432000 4194304 5970956 140734006830928 140734006828264 4974808 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14126 8298 828 434 0 7490 0 Current children cumulated CPU time (s) 2261.7 Current children cumulated vsize (KiB) 56504 [startup+2322.3 s] /proc/loadavg: 2.04 2.05 1.95 3/187 6353 /proc/meminfo: memFree=31166696/32770624 swapFree=6216/745532 [pid=5845] ppid=5842 vsize=56636 CPUtime=2321.68 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 34039 0 0 0 232162 6 0 0 20 0 1 0 17149843 57995264 8302 33554432000 4194304 5970956 140734006830928 140734006827992 5319750 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14159 8302 828 434 0 7523 0 Current children cumulated CPU time (s) 2321.68 Current children cumulated vsize (KiB) 56636 [startup+2382.3 s] /proc/loadavg: 2.01 2.04 1.95 3/187 6356 /proc/meminfo: memFree=31165704/32770624 swapFree=6216/745584 [pid=5845] ppid=5842 vsize=56768 CPUtime=2381.67 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 34612 0 0 0 238161 6 0 0 20 0 1 0 17149843 58130432 8345 33554432000 4194304 5970956 140734006830928 140734006827992 5311659 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14192 8345 828 434 0 7556 0 Current children cumulated CPU time (s) 2381.67 Current children cumulated vsize (KiB) 56768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.7 s] /proc/loadavg: 2.01 2.04 1.95 3/187 6357 /proc/meminfo: memFree=31165828/32770624 swapFree=6216/745612 [pid=5845] ppid=5842 vsize=56768 CPUtime=2400.06 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 34823 0 0 0 240000 6 0 0 20 0 1 0 17149843 58130432 8353 33554432000 4194304 5970956 140734006830928 140734006827992 5052123 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14192 8353 828 434 0 7556 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 56768 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 5845 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.7 s] /proc/loadavg: 2.01 2.04 1.95 3/187 6357 /proc/meminfo: memFree=31165828/32770624 swapFree=6216/745612 [pid=5845] ppid=5842 vsize=56768 CPUtime=2400.06 cores=0,2,4,6 /proc/5845/stat : 5845 (cosoco) R 5842 5845 5183 0 -1 4202496 34823 0 0 0 240000 6 0 0 20 0 1 0 17149843 58130432 8353 33554432000 4194304 5970956 140734006830928 140734006827992 5052123 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 20291584 140734006834369 140734006834499 140734006834499 140734006837198 0 /proc/5845/statm: 14192 8353 828 434 0 7556 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 56768 Child status: 1 Real time (s): 2400.7 CPU time (s): 2400.07 CPU user time (s): 2400.01 CPU system time (s): 0.065982 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 56768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.065982 maximum resident set size= 33460 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34845 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= 22 involuntary context switches= 122931 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.48305 second user time and 8.30765 second system time The end
Begin job on node103 at 2017-07-21 10:07:01 IDJOB=4240235 IDBENCH=120758 IDSOLVER=2620 FILE ID=node103/4240235-1500624421 RUNJOBID= node103-1500623787-5214 PBS_JOBID= 20623024 Free space on /tmp= 62016 MiB SOLVER NAME= cosoco 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P09.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240235-1500624421/watcher-4240235-1500624421 -o /tmp/evaluation-result-4240235-1500624421/solver-4240235-1500624421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500623787-5214 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240235-1500624421.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d RANDOM SEED=491964721 node103.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.65 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.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31219280 kB MemAvailable: 32002180 kB Buffers: 156408 kB Cached: 915076 kB SwapCached: 0 kB Active: 374916 kB Inactive: 756140 kB Active(anon): 62208 kB Inactive(anon): 17032 kB Active(file): 312708 kB Inactive(file): 739108 kB Unevictable: 6216 kB Mlocked: 6216 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2340 kB Writeback: 0 kB AnonPages: 65804 kB Mapped: 34908 kB Shmem: 17044 kB Slab: 119180 kB SReclaimable: 93840 kB SUnreclaim: 25340 kB KernelStack: 3376 kB PageTables: 5144 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 337052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62016 MiB End job on node103 at 2017-07-21 10:47:02