Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-06-27) | ? (TO) | 2400.08 | 2400.21 |
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.49/0.53 c root propagations : 0 0.49/0.53 c restarts enabled, print stats at every restarts 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c This is cosoco 1.0 -- 0.49/0.53 c 0.49/0.53 c ========================================[ Problem Statistics ]=========================================== 0.49/0.53 c | 0.49/0.53 c | Parse time : 0.52 s 0.49/0.53 c | 0.49/0.53 c | Variables: 1070 0.49/0.53 c | Domain Sizes: 485..486 0.49/0.53 c | 0.49/0.53 c | Constraints: 487 0.49/0.53 c | Arity: 3..485 -- Ternary: 485 0.49/0.53 c | 0.49/0.53 c | Types: 0.49/0.53 c | All Different: 2 0.49/0.53 c | Intension: 485 0.49/0.53 c | 0.49/0.53 c ========================================================================================================= 0.49/0.53 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.49/0.53 c remove useless variable ce[0][0][0] 0.49/0.53 c remove useless variable ce[0][1][0] 0.49/0.53 c remove useless variable ce[0][1][1] 0.49/0.53 c remove useless variable ce[0][2][0] 0.49/0.53 c remove useless variable ce[0][2][1] 0.49/0.53 c remove useless variable ce[0][2][2] 0.49/0.53 c remove useless variable ce[0][3][0] 0.49/0.53 c remove useless variable ce[0][3][1] 0.49/0.53 c remove useless variable ce[0][3][2] 0.49/0.53 c remove useless variable ce[0][3][3] 0.49/0.53 c remove useless variable ce[0][4][0] 0.49/0.53 c remove useless variable ce[0][4][1] 0.49/0.53 c remove useless variable ce[0][4][2] 0.49/0.53 c remove useless variable ce[0][4][3] 0.49/0.53 c remove useless variable ce[0][4][4] 0.49/0.53 c remove useless variable ce[0][5][0] 0.49/0.53 c remove useless variable ce[0][5][1] 0.49/0.53 c remove useless variable ce[0][5][2] 0.49/0.53 c remove useless variable ce[0][5][3] 0.49/0.53 c remove useless variable ce[0][5][4] 0.49/0.53 c remove useless variable ce[0][5][5] 0.49/0.53 c remove useless variable ce[0][6][0] 0.49/0.53 c remove useless variable ce[0][6][1] 0.49/0.53 c remove useless variable ce[0][6][2] 0.49/0.53 c remove useless variable ce[0][6][3] 0.49/0.53 c remove useless variable ce[0][6][4] 0.49/0.53 c remove useless variable ce[0][6][5] 0.49/0.53 c remove useless variable ce[0][6][6] 0.49/0.53 c remove useless variable ce[0][7][0] 0.49/0.53 c remove useless variable ce[0][7][1] 0.49/0.53 c remove useless variable ce[0][7][2] 0.49/0.53 c remove useless variable ce[0][7][3] 0.49/0.53 c remove useless variable ce[0][7][4] 0.49/0.53 c remove useless variable ce[0][7][5] 0.49/0.53 c remove useless variable ce[0][7][6] 0.49/0.53 c remove useless variable ce[0][7][7] 0.49/0.53 c remove useless variable ce[0][8][0] 0.49/0.53 c remove useless variable ce[0][8][1] 0.49/0.53 c remove useless variable ce[0][8][2] 0.49/0.53 c remove useless variable ce[0][8][3] 0.49/0.53 c remove useless variable ce[0][8][4] 0.49/0.53 c remove useless variable ce[0][8][5] 0.49/0.53 c remove useless variable ce[0][8][6] 0.49/0.53 c remove useless variable ce[0][8][7] 0.49/0.53 c remove useless variable ce[0][8][8] 0.49/0.53 c remove useless variable ce[0][9][0] 0.49/0.53 c remove useless variable ce[0][9][1] 0.49/0.53 c remove useless variable ce[0][9][2] 0.49/0.53 c remove useless variable ce[0][9][3] 0.49/0.53 c remove useless variable ce[0][9][4] 0.49/0.53 c remove useless variable ce[0][9][5] 0.49/0.53 c remove useless variable ce[0][9][6] 0.49/0.53 c remove useless variable ce[0][9][7] 0.49/0.53 c remove useless variable ce[0][9][8] 0.49/0.53 c remove useless variable ce[0][9][9] 0.49/0.53 c remove useless variable ce[1][0][0] 0.49/0.53 c remove useless variable ce[1][1][0] 0.49/0.53 c remove useless variable ce[1][1][1] 0.49/0.53 c remove useless variable ce[1][2][0] 0.49/0.53 c remove useless variable ce[1][2][1] 0.49/0.53 c remove useless variable ce[1][2][2] 0.49/0.53 c remove useless variable ce[1][3][0] 0.49/0.53 c remove useless variable ce[1][3][1] 0.49/0.53 c remove useless variable ce[1][3][2] 0.49/0.53 c remove useless variable ce[1][3][3] 0.49/0.53 c remove useless variable ce[1][4][0] 0.49/0.53 c remove useless variable ce[1][4][1] 0.49/0.53 c remove useless variable ce[1][4][2] 0.49/0.53 c remove useless variable ce[1][4][3] 0.49/0.53 c remove useless variable ce[1][4][4] 0.49/0.53 c remove useless variable ce[1][5][0] 0.49/0.53 c remove useless variable ce[1][5][1] 0.49/0.53 c remove useless variable ce[1][5][2] 0.49/0.53 c remove useless variable ce[1][5][3] 0.49/0.53 c remove useless variable ce[1][5][4] 0.49/0.53 c remove useless variable ce[1][5][5] 0.49/0.53 c remove useless variable ce[1][6][0] 0.49/0.53 c remove useless variable ce[1][6][1] 0.49/0.53 c remove useless variable ce[1][6][2] 0.49/0.53 c remove useless variable ce[1][6][3] 0.49/0.53 c remove useless variable ce[1][6][4] 0.49/0.53 c remove useless variable ce[1][6][5] 0.49/0.53 c remove useless variable ce[1][6][6] 0.49/0.53 c remove useless variable ce[1][7][0] 0.49/0.53 c remove useless variable ce[1][7][1] 0.49/0.53 c remove useless variable ce[1][7][2] 0.49/0.53 c remove useless variable ce[1][7][3] 0.49/0.53 c remove useless variable ce[1][7][4] 0.49/0.53 c remove useless variable ce[1][7][5] 0.49/0.53 c remove useless variable ce[1][7][6] 0.49/0.53 c remove useless variable ce[1][7][7] 0.49/0.53 c remove useless variable ce[1][8][0] 0.49/0.53 c remove useless variable ce[1][8][1] 0.49/0.53 c remove useless variable ce[1][8][2] 0.49/0.53 c remove useless variable ce[1][8][3] 0.49/0.53 c remove useless variable ce[1][8][4] 0.49/0.53 c remove useless variable ce[1][8][5] 0.49/0.53 c remove useless variable ce[1][8][6] 0.49/0.53 c remove useless variable ce[1][8][7] 0.49/0.53 c remove useless variable ce[1][8][8] 0.49/0.53 c remove useless variable ce[1][9][0] 0.49/0.53 c remove useless variable ce[1][9][1] 0.49/0.53 c remove useless variable ce[1][9][2] 0.49/0.53 c remove useless variable ce[1][9][3] 0.49/0.53 c remove useless variable ce[1][9][4] 0.49/0.53 c remove useless variable ce[1][9][5] 0.49/0.53 c remove useless variable ce[1][9][6] 0.49/0.53 c remove useless variable ce[1][9][7] 0.49/0.53 c remove useless variable ce[1][9][8] 0.49/0.53 c remove useless variable ce[1][9][9] 0.49/0.53 c remove useless variable ce[2][0][0] 0.49/0.53 c remove useless variable ce[2][1][0] 0.49/0.53 c remove useless variable ce[2][1][1] 0.49/0.53 c remove useless variable ce[2][2][0] 0.49/0.53 c remove useless variable ce[2][2][1] 0.49/0.53 c remove useless variable ce[2][2][2] 0.49/0.53 c remove useless variable ce[2][3][0] 0.49/0.53 c remove useless variable ce[2][3][1] 0.49/0.53 c remove useless variable ce[2][3][2] 0.49/0.53 c remove useless variable ce[2][3][3] 0.49/0.53 c remove useless variable ce[2][4][0] 0.49/0.53 c remove useless variable ce[2][4][1] 0.49/0.53 c remove useless variable ce[2][4][2] 0.49/0.53 c remove useless variable ce[2][4][3] 0.49/0.53 c remove useless variable ce[2][4][4] 0.49/0.53 c remove useless variable ce[2][5][0] 0.49/0.53 c remove useless variable ce[2][5][1] 0.49/0.53 c remove useless variable ce[2][5][2] 0.49/0.53 c remove useless variable ce[2][5][3] 0.49/0.53 c remove useless variable ce[2][5][4] 0.49/0.53 c remove useless variable ce[2][5][5] 0.49/0.53 c remove useless variable ce[2][6][0] 0.49/0.53 c remove useless variable ce[2][6][1] 0.49/0.53 c remove useless variable ce[2][6][2] 0.49/0.53 c remove useless variable ce[2][6][3] 0.49/0.53 c remove useless variable ce[2][6][4] 0.49/0.53 c remove useless variable ce[2][6][5] 0.49/0.53 c remove useless variable ce[2][6][6] 0.49/0.53 c remove useless variable ce[2][7][0] 0.49/0.53 c remove useless variable ce[2][7][1] 0.49/0.53 c remove useless variable ce[2][7][2] 0.49/0.53 c remove useless variable ce[2][7][3] 0.49/0.53 c remove useless variable ce[2][7][4] 0.49/0.53 c remove useless variable ce[2][7][5] 0.49/0.53 c remove useless variable ce[2][7][6] 0.49/0.53 c remove useless variable ce[2][7][7] 0.49/0.53 c remove useless variable ce[2][8][0] 0.49/0.53 c remove useless variable ce[2][8][1] 0.49/0.53 c remove useless variable ce[2][8][2] 0.49/0.53 c remove useless variable ce[2][8][3] 0.49/0.53 c remove useless variable ce[2][8][4] 0.49/0.53 c remove useless variable ce[2][8][5] 0.49/0.53 c remove useless variable ce[2][8][6] 0.49/0.53 c remove useless variable ce[2][8][7] 0.49/0.53 c remove useless variable ce[2][8][8] 0.49/0.53 c remove useless variable ce[2][9][0] 0.49/0.53 c remove useless variable ce[2][9][1] 0.49/0.53 c remove useless variable ce[2][9][2] 0.49/0.53 c remove useless variable ce[2][9][3] 0.49/0.53 c remove useless variable ce[2][9][4] 0.49/0.53 c remove useless variable ce[2][9][5] 0.49/0.53 c remove useless variable ce[2][9][6] 0.49/0.53 c remove useless variable ce[2][9][7] 0.49/0.53 c remove useless variable ce[2][9][8] 0.49/0.53 c remove useless variable ce[2][9][9] 0.49/0.53 c remove useless variable ce[3][0][0] 0.49/0.53 c remove useless variable ce[3][1][0] 0.49/0.53 c remove useless variable ce[3][1][1] 0.49/0.53 c remove useless variable ce[3][2][0] 0.49/0.53 c remove useless variable ce[3][2][1] 0.49/0.53 c remove useless variable ce[3][2][2] 0.49/0.53 c remove useless variable ce[3][3][0] 0.49/0.53 c remove useless variable ce[3][3][1] 0.49/0.53 c remove useless variable ce[3][3][2] 0.49/0.53 c remove useless variable ce[3][3][3] 0.49/0.53 c remove useless variable ce[3][4][0] 0.49/0.53 c remove useless variable ce[3][4][1] 0.49/0.53 c remove useless variable ce[3][4][2] 0.49/0.53 c remove useless variable ce[3][4][3] 0.49/0.53 c remove useless variable ce[3][4][4] 0.49/0.53 c remove useless variable ce[3][5][0] 0.49/0.53 c remove useless variable ce[3][5][1] 0.49/0.53 c remove useless variable ce[3][5][2] 0.49/0.53 c remove useless variable ce[3][5][3] 0.49/0.53 c remove useless variable ce[3][5][4] 0.49/0.53 c remove useless variable ce[3][5][5] 0.49/0.53 c remove useless variable ce[3][6][0] 0.49/0.53 c remove useless variable ce[3][6][1] 0.49/0.53 c remove useless variable ce[3][6][2] 0.49/0.53 c remove useless variable ce[3][6][3] 0.49/0.53 c remove useless variable ce[3][6][4] 0.49/0.53 c remove useless variable ce[3][6][5] 0.49/0.53 c remove useless variable ce[3][6][6] 0.49/0.53 c remove useless variable ce[3][7][0] 0.49/0.53 c remove useless variable ce[3][7][1] 0.49/0.53 c remove useless variable ce[3][7][2] 0.49/0.53 c remove useless variable ce[3][7][3] 0.49/0.53 c remove useless variable ce[3][7][4] 0.49/0.53 c remove useless variable ce[3][7][5] 0.49/0.53 c remove useless variable ce[3][7][6] 0.49/0.53 c remove useless variable ce[3][7][7] 0.49/0.53 c remove useless variable ce[3][8][0] 0.49/0.53 c remove useless variable ce[3][8][1] 0.49/0.53 c remove useless variable ce[3][8][2] 0.49/0.53 c remove useless variable ce[3][8][3] 0.49/0.53 c remove useless variable ce[3][8][4] 0.49/0.53 c remove useless variable ce[3][8][5] 0.49/0.53 c remove useless variable ce[3][8][6] 0.49/0.53 c remove useless variable ce[3][8][7] 0.49/0.53 c remove useless variable ce[3][8][8] 0.49/0.53 c remove useless variable ce[3][9][0] 0.49/0.53 c remove useless variable ce[3][9][1] 0.49/0.53 c remove useless variable ce[3][9][2] 0.49/0.53 c remove useless variable ce[3][9][3] 0.49/0.53 c remove useless variable ce[3][9][4] 0.49/0.53 c remove useless variable ce[3][9][5] 0.49/0.53 c remove useless variable ce[3][9][6] 0.49/0.53 c remove useless variable ce[3][9][7] 0.49/0.53 c remove useless variable ce[3][9][8] 0.49/0.53 c remove useless variable ce[3][9][9] 0.49/0.53 c remove useless variable ce[4][0][0] 0.49/0.53 c remove useless variable ce[4][1][0] 0.49/0.53 c remove useless variable ce[4][1][1] 0.49/0.53 c remove useless variable ce[4][2][0] 0.49/0.53 c remove useless variable ce[4][2][1] 0.49/0.53 c remove useless variable ce[4][2][2] 0.49/0.53 c remove useless variable ce[4][3][0] 0.49/0.53 c remove useless variable ce[4][3][1] 0.49/0.53 c remove useless variable ce[4][3][2] 0.49/0.53 c remove useless variable ce[4][3][3] 0.49/0.53 c remove useless variable ce[4][4][0] 0.49/0.53 c remove useless variable ce[4][4][1] 0.49/0.53 c remove useless variable ce[4][4][2] 0.49/0.53 c remove useless variable ce[4][4][3] 0.49/0.53 c remove useless variable ce[4][4][4] 0.49/0.53 c remove useless variable ce[4][5][0] 0.49/0.53 c remove useless variable ce[4][5][1] 0.49/0.53 c remove useless variable ce[4][5][2] 0.49/0.53 c remove useless variable ce[4][5][3] 0.49/0.53 c remove useless variable ce[4][5][4] 0.49/0.53 c remove useless variable ce[4][5][5] 0.49/0.53 c remove useless variable ce[4][6][0] 0.49/0.53 c remove useless variable ce[4][6][1] 0.49/0.53 c remove useless variable ce[4][6][2] 0.49/0.53 c remove useless variable ce[4][6][3] 0.49/0.53 c remove useless variable ce[4][6][4] 0.49/0.53 c remove useless variable ce[4][6][5] 0.49/0.53 c remove useless variable ce[4][6][6] 0.49/0.53 c remove useless variable ce[4][7][0] 0.49/0.53 c remove useless variable ce[4][7][1] 0.49/0.53 c remove useless variable ce[4][7][2] 0.49/0.53 c remove useless variable ce[4][7][3] 0.49/0.53 c remove useless variable ce[4][7][4] 0.49/0.53 c remove useless variable ce[4][7][5] 0.49/0.53 c remove useless variable ce[4][7][6] 0.49/0.53 c remove useless variable ce[4][7][7] 0.49/0.53 c remove useless variable ce[4][8][0] 0.49/0.53 c remove useless variable ce[4][8][1] 0.49/0.53 c remove useless variable ce[4][8][2] 0.49/0.53 c remove useless variable ce[4][8][3] 0.49/0.53 c remove useless variable ce[4][8][4] 0.49/0.53 c remove useless variable ce[4][8][5] 0.49/0.53 c remove useless variable ce[4][8][6] 0.49/0.53 c remove useless variable ce[4][8][7] 0.49/0.53 c remove useless variable ce[4][8][8] 0.49/0.53 c remove useless variable ce[4][9][0] 0.49/0.53 c remove useless variable ce[4][9][1] 0.49/0.53 c remove useless variable ce[4][9][2] 0.49/0.53 c remove useless variable ce[4][9][3] 0.49/0.53 c remove useless variable ce[4][9][4] 0.49/0.53 c remove useless variable ce[4][9][5] 0.49/0.53 c remove useless variable ce[4][9][6] 0.49/0.53 c remove useless variable ce[4][9][7] 0.49/0.53 c remove useless variable ce[4][9][8] 0.49/0.53 c remove useless variable ce[4][9][9] 0.49/0.53 c remove useless variable ce[5][0][0] 0.49/0.53 c remove useless variable ce[5][1][0] 0.49/0.53 c remove useless variable ce[5][1][1] 0.49/0.53 c remove useless variable ce[5][2][0] 0.49/0.53 c remove useless variable ce[5][2][1] 0.49/0.53 c remove useless variable ce[5][2][2] 0.49/0.53 c remove useless variable ce[5][3][0] 0.49/0.53 c remove useless variable ce[5][3][1] 0.49/0.53 c remove useless variable ce[5][3][2] 0.49/0.53 c remove useless variable ce[5][3][3] 0.49/0.53 c remove useless variable ce[5][4][0] 0.49/0.53 c remove useless variable ce[5][4][1] 0.49/0.53 c remove useless variable ce[5][4][2] 0.49/0.53 c remove useless variable ce[5][4][3] 0.49/0.53 c remove useless variable ce[5][4][4] 0.49/0.53 c remove useless variable ce[5][5][0] 0.49/0.53 c remove useless variable ce[5][5][1] 0.49/0.53 c remove useless variable ce[5][5][2] 0.49/0.53 c remove useless variable ce[5][5][3] 0.49/0.53 c remove useless variable ce[5][5][4] 0.49/0.53 c remove useless variable ce[5][5][5] 0.49/0.53 c remove useless variable ce[5][6][0] 0.49/0.53 c remove useless variable ce[5][6][1] 0.49/0.53 c remove useless variable ce[5][6][2] 0.49/0.53 c remove useless variable ce[5][6][3] 0.49/0.53 c remove useless variable ce[5][6][4] 0.49/0.53 c remove useless variable ce[5][6][5] 0.49/0.53 c remove useless variable ce[5][6][6] 0.49/0.53 c remove useless variable ce[5][7][0] 0.49/0.53 c remove useless variable ce[5][7][1] 0.49/0.53 c remove useless variable ce[5][7][2] 0.49/0.53 c remove useless variable ce[5][7][3] 0.49/0.53 c remove useless variable ce[5][7][4] 0.49/0.53 c remove useless variable ce[5][7][5] 0.49/0.53 c remove useless variable ce[5][7][6] 0.49/0.53 c remove useless variable ce[5][7][7] 0.49/0.53 c remove useless variable ce[5][8][0] 0.49/0.53 c remove useless variable ce[5][8][1] 0.49/0.53 c remove useless variable ce[5][8][2] 0.49/0.53 c remove useless variable ce[5][8][3] 0.49/0.53 c remove useless variable ce[5][8][4] 0.49/0.53 c remove useless variable ce[5][8][5] 0.49/0.53 c remove useless variable ce[5][8][6] 0.49/0.53 c remove useless variable ce[5][8][7] 0.49/0.53 c remove useless variable ce[5][8][8] 0.49/0.53 c remove useless variable ce[5][9][0] 0.49/0.53 c remove useless variable ce[5][9][1] 0.49/0.53 c remove useless variable ce[5][9][2] 0.49/0.53 c remove useless variable ce[5][9][3] 0.49/0.53 c remove useless variable ce[5][9][4] 0.49/0.53 c remove useless variable ce[5][9][5] 0.49/0.53 c remove useless variable ce[5][9][6] 0.49/0.53 c remove useless variable ce[5][9][7] 0.49/0.53 c remove useless variable ce[5][9][8] 0.49/0.53 c remove useless variable ce[5][9][9] 0.49/0.53 c remove useless variable ce[6][0][0] 0.49/0.53 c remove useless variable ce[6][1][0] 0.49/0.53 c remove useless variable ce[6][1][1] 0.49/0.53 c remove useless variable ce[6][2][0] 0.49/0.53 c remove useless variable ce[6][2][1] 0.49/0.53 c remove useless variable ce[6][2][2] 0.49/0.53 c remove useless variable ce[6][3][0] 0.49/0.53 c remove useless variable ce[6][3][1] 0.49/0.53 c remove useless variable ce[6][3][2] 0.49/0.53 c remove useless variable ce[6][3][3] 0.49/0.53 c remove useless variable ce[6][4][0] 0.49/0.53 c remove useless variable ce[6][4][1] 0.49/0.53 c remove useless variable ce[6][4][2] 0.49/0.53 c remove useless variable ce[6][4][3] 0.49/0.53 c remove useless variable ce[6][4][4] 0.49/0.53 c remove useless variable ce[6][5][0] 0.49/0.53 c remove useless variable ce[6][5][1] 0.49/0.53 c remove useless variable ce[6][5][2] 0.49/0.53 c remove useless variable ce[6][5][3] 0.49/0.53 c remove useless variable ce[6][5][4] 0.49/0.53 c remove useless variable ce[6][5][5] 0.49/0.53 c remove useless variable ce[6][6][0] 0.49/0.53 c remove useless variable ce[6][6][1] 0.49/0.53 c remove useless variable ce[6][6][2] 0.49/0.53 c remove useless variable ce[6][6][3] 0.49/0.53 c remove useless variable ce[6][6][4] 0.49/0.53 c remove useless variable ce[6][6][5] 0.49/0.53 c remove useless variable ce[6][6][6] 0.49/0.53 c remove useless variable ce[6][7][0] 0.49/0.53 c remove useless variable ce[6][7][1] 0.49/0.53 c remove useless variable ce[6][7][2] 0.49/0.53 c remove useless variable ce[6][7][3] 0.49/0.53 c remove useless variable ce[6][7][4] 0.49/0.53 c remove useless variable ce[6][7][5] 0.49/0.53 c remove useless variable ce[6][7][6] 0.49/0.53 c remove useless variable ce[6][7][7] 0.49/0.53 c remove useless variable ce[6][8][0] 0.49/0.53 c remove useless variable ce[6][8][1] 0.49/0.53 c remove useless variable ce[6][8][2] 0.49/0.53 c remove useless variable ce[6][8][3] 0.49/0.53 c remove useless variable ce[6][8][4] 0.49/0.53 c remove useless variable ce[6][8][5] 0.49/0.53 c remove useless variable ce[6][8][6] 0.49/0.53 c remove useless variable ce[6][8][7] 0.49/0.53 c remove useless variable ce[6][8][8] 0.49/0.53 c remove useless variable ce[6][9][0] 0.49/0.53 c remove useless variable ce[6][9][1] 0.49/0.53 c remove useless variable ce[6][9][2] 0.49/0.53 c remove useless variable ce[6][9][3] 0.49/0.53 c remove useless variable ce[6][9][4] 0.49/0.53 c remove useless variable ce[6][9][5] 0.49/0.53 c remove useless variable ce[6][9][6] 0.49/0.53 c remove useless variable ce[6][9][7] 0.49/0.53 c remove useless variable ce[6][9][8] 0.49/0.53 c remove useless variable ce[6][9][9] 0.49/0.53 c remove useless variable ce[7][0][0] 0.49/0.53 c remove useless variable ce[7][1][0] 0.49/0.53 c remove useless variable ce[7][1][1] 0.49/0.53 c remove useless variable ce[7][2][0] 0.49/0.53 c remove useless variable ce[7][2][1] 0.49/0.53 c remove useless variable ce[7][2][2] 0.49/0.53 c remove useless variable ce[7][3][0] 0.49/0.53 c remove useless variable ce[7][3][1] 0.49/0.53 c remove useless variable ce[7][3][2] 0.49/0.53 c remove useless variable ce[7][3][3] 0.49/0.53 c remove useless variable ce[7][4][0] 0.49/0.53 c remove useless variable ce[7][4][1] 0.49/0.53 c remove useless variable ce[7][4][2] 0.49/0.53 c remove useless variable ce[7][4][3] 0.49/0.53 c remove useless variable ce[7][4][4] 0.49/0.53 c remove useless variable ce[7][5][0] 0.49/0.53 c remove useless variable ce[7][5][1] 0.49/0.53 c remove useless variable ce[7][5][2] 0.49/0.53 c remove useless variable ce[7][5][3] 0.49/0.53 c remove useless variable ce[7][5][4] 0.49/0.53 c remove useless variable ce[7][5][5] 0.49/0.53 c remove useless variable ce[7][6][0] 0.49/0.53 c remove useless variable ce[7][6][1] 0.49/0.53 c remove useless variable ce[7][6][2] 0.49/0.53 c remove useless variable ce[7][6][3] 0.49/0.53 c remove useless variable ce[7][6][4] 0.49/0.53 c remove useless variable ce[7][6][5] 0.49/0.53 c remove useless variable ce[7][6][6] 0.49/0.53 c remove useless variable ce[7][7][0] 0.49/0.53 c remove useless variable ce[7][7][1] 0.49/0.53 c remove useless variable ce[7][7][2] 0.49/0.53 c remove useless variable ce[7][7][3] 0.49/0.53 c remove useless variable ce[7][7][4] 0.49/0.53 c remove useless variable ce[7][7][5] 0.49/0.53 c remove useless variable ce[7][7][6] 0.49/0.53 c remove useless variable ce[7][7][7] 0.49/0.53 c remove useless variable ce[7][8][0] 0.49/0.53 c remove useless variable ce[7][8][1] 0.49/0.53 c remove useless variable ce[7][8][2] 0.49/0.53 c remove useless variable ce[7][8][3] 0.49/0.53 c remove useless variable ce[7][8][4] 0.49/0.53 c remove useless variable ce[7][8][5] 0.49/0.53 c remove useless variable ce[7][8][6] 0.49/0.53 c remove useless variable ce[7][8][7] 0.49/0.53 c remove useless variable ce[7][8][8] 0.49/0.53 c remove useless variable ce[7][9][0] 0.49/0.53 c remove useless variable ce[7][9][1] 0.49/0.53 c remove useless variable ce[7][9][2] 0.49/0.53 c remove useless variable ce[7][9][3] 0.49/0.53 c remove useless variable ce[7][9][4] 0.49/0.53 c remove useless variable ce[7][9][5] 0.49/0.53 c remove useless variable ce[7][9][6] 0.49/0.53 c remove useless variable ce[7][9][7] 0.49/0.53 c remove useless variable ce[7][9][8] 0.49/0.53 c remove useless variable ce[7][9][9] 0.49/0.53 c remove useless variable ce[8][0][0] 0.49/0.53 c remove useless variable ce[8][1][0] 0.49/0.53 c remove useless variable ce[8][1][1] 0.49/0.53 c remove useless variable ce[8][2][0] 0.49/0.53 c remove useless variable ce[8][2][1] 0.49/0.53 c remove useless variable ce[8][2][2] 0.49/0.53 c remove useless variable ce[8][3][0] 0.49/0.53 c remove useless variable ce[8][3][1] 0.49/0.53 c remove useless variable ce[8][3][2] 0.49/0.53 c remove useless variable ce[8][3][3] 0.49/0.53 c remove useless variable ce[8][4][0] 0.49/0.53 c remove useless variable ce[8][4][1] 0.49/0.53 c remove useless variable ce[8][4][2] 0.49/0.53 c remove useless variable ce[8][4][3] 0.49/0.53 c remove useless variable ce[8][4][4] 0.49/0.53 c remove useless variable ce[8][5][0] 0.49/0.53 c remove useless variable ce[8][5][1] 0.49/0.53 c remove useless variable ce[8][5][2] 0.49/0.53 c remove useless variable ce[8][5][3] 0.49/0.53 c remove useless variable ce[8][5][4] 0.49/0.53 c remove useless variable ce[8][5][5] 0.49/0.53 c remove useless variable ce[8][6][0] 0.49/0.53 c remove useless variable ce[8][6][1] 0.49/0.53 c remove useless variable ce[8][6][2] 0.49/0.53 c remove useless variable ce[8][6][3] 0.49/0.53 c remove useless variable ce[8][6][4] 0.49/0.53 c remove useless variable ce[8][6][5] 0.49/0.53 c remove useless variable ce[8][6][6] 0.49/0.53 c remove useless variable ce[8][7][0] 0.49/0.53 c remove useless variable ce[8][7][1] 0.49/0.53 c remove useless variable ce[8][7][2] 0.49/0.53 c remove useless variable ce[8][7][3] 0.49/0.53 c remove useless variable ce[8][7][4] 0.49/0.53 c remove useless variable ce[8][7][5] 0.49/0.53 c remove useless variable ce[8][7][6] 0.49/0.53 c remove useless variable ce[8][7][7] 0.49/0.53 c remove useless variable ce[8][8][0] 0.49/0.53 c remove useless variable ce[8][8][1] 0.49/0.53 c remove useless variable ce[8][8][2] 0.49/0.53 c remove useless variable ce[8][8][3] 0.49/0.53 c remove useless variable ce[8][8][4] 0.49/0.53 c remove useless variable ce[8][8][5] 0.49/0.53 c remove useless variable ce[8][8][6] 0.49/0.53 c remove useless variable ce[8][8][7] 0.49/0.53 c remove useless variable ce[8][8][8] 0.49/0.53 c remove useless variable ce[8][9][0] 0.49/0.53 c remove useless variable ce[8][9][1] 0.49/0.53 c remove useless variable ce[8][9][2] 0.49/0.53 c remove useless variable ce[8][9][3] 0.49/0.53 c remove useless variable ce[8][9][4] 0.49/0.53 c remove useless variable ce[8][9][5] 0.49/0.53 c remove useless variable ce[8][9][6] 0.49/0.53 c remove useless variable ce[8][9][7] 0.49/0.53 c remove useless variable ce[8][9][8] 0.49/0.53 c remove useless variable ce[8][9][9] 0.79/0.87 c 101 586 120050 123899 0 0 486 486 481 1.09/1.20 c 211 1021 225313 302319 0 0 4 326 320 1.49/1.59 c 332 1484 333988 966740 0 0 6 343 321 1.59/1.62 c 465 1646 341509 1104087 0 0 5 30 22 1.89/1.92 c 611 2051 427601 1422710 0 0 4 260 101 2.09/2.17 c 771 2431 495888 1736857 0 0 8 221 43 2.19/2.23 c 947 2650 505006 1996073 0 0 4 44 30 2.29/2.30 c 1140 2899 513406 2324870 0 0 8 57 39 2.29/2.36 c 1352 3160 521939 2672213 0 0 4 50 37 2.39/2.43 c 1585 3449 530680 3082040 0 0 5 57 38 2.59/2.69 c 1841 3935 598115 3664062 0 0 7 231 45 2.99/3.02 c 2122 4548 682906 4257196 0 0 8 333 155 3.29/3.36 c 2431 5186 759597 5066498 0 0 9 330 100 3.79/3.81 c 2770 6010 883730 6018866 0 0 486 486 484 3.99/4.04 c 3142 6428 905244 7068677 0 0 6 47 45 4.39/4.44 c 3551 6880 926184 9314642 0 0 8 44 43 4.68/4.75 c 4000 7403 941225 10871607 0 0 7 75 63 4.88/4.92 c 4493 7910 961041 11809187 0 0 13 14 12 5.18/5.25 c 5035 8511 986101 13607451 0 0 50 59 58 5.38/5.49 c 5631 9201 1012369 14591434 0 0 7 92 19 5.78/5.80 c 6286 9915 1033779 16041058 0 0 5 59 56 6.78/6.86 c 7006 10938 1117300 20735610 0 0 6 303 92 7.38/7.46 c 7798 11764 1157651 23345105 0 0 12 34 33 7.48/7.58 c 8669 12652 1186402 24185951 0 0 8 17 16 8.09/8.10 c 9627 13690 1222471 26612113 0 0 12 70 68 8.69/8.74 c 10680 14770 1273662 29785893 0 0 8 20 18 8.99/9.08 c 11838 15986 1310984 31709780 0 0 11 57 56 9.39/9.40 c 13111 17276 1350116 33938209 0 0 16 16 15 9.69/9.72 c 14511 18694 1393343 35949064 0 0 17 17 16 10.00/10.09 c 16051 20330 1438655 38022624 0 0 12 77 74 10.39/10.42 c 17745 22039 1489089 40199223 0 0 5 13 12 12.29/12.32 c 19608 24013 1553133 51966238 0 0 7 82 79 12.49/12.56 c 21657 26076 1612670 53903104 0 0 11 11 10 13.09/13.15 c 23910 28373 1689267 57389255 0 0 41 41 40 13.99/14.06 c 26388 30897 1762457 63251234 0 0 5 42 34 14.59/14.65 c 29113 33657 1844666 67478741 0 0 12 16 15 15.19/15.26 c 32110 36678 1929140 71793950 0 0 9 19 18 16.29/16.32 c 35406 40305 2085905 77040246 0 0 5 323 46 16.99/17.02 c 39031 43949 2194121 81725773 0 0 13 13 12 23.09/23.16 c 43018 48058 2334525 114323731 0 0 4 67 65 23.59/23.66 c 47403 52461 2460518 118456266 0 0 10 10 9 24.49/24.55 c 52226 57310 2597501 124553994 0 0 4 17 16 25.39/25.49 c 57531 62657 2750855 131125861 0 0 7 10 9 30.79/30.87 c 63366 68542 2948686 154523180 0 0 4 38 30 33.68/33.70 c 69784 75006 3152472 171607384 0 0 3 33 27 36.39/36.48 c 76843 82198 3323169 193839182 0 0 5 54 44 43.08/43.13 c 84607 90016 3571658 238421275 0 0 6 38 37 46.48/46.59 c 93147 98768 3800894 267393459 0 0 5 33 32 51.79/51.81 c 102541 108532 4089443 295984833 0 0 4 337 142 54.78/54.88 c 112874 119247 4300879 313950317 0 0 5 339 190 59.88/59.98 c 124240 130732 4541439 348597438 0 0 5 94 92 61.28/61.38 c 136742 143270 4895129 360385335 0 0 11 11 10 63.79/63.88 c 150494 157071 5273774 377991388 0 0 4 21 19 71.18/71.23 c 165621 172259 5712071 430174904 0 0 5 30 29 77.88/77.95 c 182260 189458 6138569 480042367 0 0 5 57 56 83.88/83.91 c 200562 207838 6624860 527798673 0 0 5 40 39 92.28/92.34 c 220694 228055 7141963 588082123 0 0 4 42 41 97.08/97.11 c 242839 250701 7777349 623130885 0 0 4 32 31 100.48/100.57 c 267198 275564 7957074 635851258 0 0 4 346 340 116.48/116.60 c 293992 302592 8572523 754629650 0 0 3 90 87 121.88/121.96 c 323465 332160 9432971 792614347 0 0 4 33 32 127.78/127.86 c 355885 364672 10300006 833583768 0 0 4 24 23 142.78/142.81 c 391547 400442 11259020 948630475 0 0 4 32 31 161.78/161.83 c 430775 439801 12374407 1085536605 0 0 7 46 45 170.87/170.95 c 473925 483090 13561449 1155065260 0 0 4 46 45 194.17/194.27 c 521390 532083 14851970 1341691377 0 0 4 73 72 211.37/211.44 c 573601 584433 16654241 1435361205 0 0 4 31 30 239.17/239.21 c 631033 642031 18289008 1650680482 0 0 5 42 41 252.67/252.74 c 694208 705382 19955138 1740891228 0 0 5 39 38 287.57/287.70 c 763700 775070 21930394 1996482333 0 0 7 45 44 317.87/317.91 c 840141 852912 23868130 2238139027 0 0 7 66 65 362.86/362.90 c 924226 938007 25165718 2600239061 0 0 3 368 359 390.57/390.64 c 1016719 1032007 26127064 2801094008 0 0 3 394 367 419.17/419.29 c 1118461 1134214 26955318 2966219392 0 0 3 166 164 454.26/454.32 c 1230377 1247367 27938339 3170354569 0 0 3 244 225 593.55/593.69 c 1353484 1374071 32109043 4015230146 0 0 6 220 102 637.05/637.12 c 1488901 1512633 33704903 4308581334 0 0 6 231 215 659.75/659.88 c 1637859 1661941 37575949 4478009382 0 0 7 30 29 741.14/741.20 c 1801712 1827955 42395063 5057614785 0 0 4 38 37 813.84/813.92 c 1981950 2013106 46486981 5661793636 0 0 4 78 77 885.44/885.52 c 2180211 2215391 51334527 6218088062 0 0 4 92 91 995.03/995.11 c 2398298 2434855 57744778 6999874155 0 0 10 13 12 1043.13/1043.21 c 2638193 2675681 63807318 7304449215 0 0 4 81 31 1244.22/1244.37 c 2902077 2940433 68977596 8668509819 0 0 3 133 131 1276.42/1276.59 c 3192349 3231313 77723900 8941714056 0 0 8 9 8 1312.11/1312.27 c 3511648 3551292 87072951 9242685875 0 0 4 13 12 1564.80/1564.91 c 3862876 3903340 98437811 10309035500 0 0 5 44 43 1896.69/1896.81 c 4249226 4290649 109313180 12341201379 0 0 5 61 60 2041.08/2041.21 c 4674211 4716781 117266003 13410874109 0 0 5 120 119 2235.87/2236.01 c 5141694 5185366 128635596 15008821252 0 0 5 78 75 2315.67/2315.89 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-4251720-1500919736/watcher-4251720-1500919736 -o /tmp/evaluation-result-4251720-1500919736/solver-4251720-1500919736 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3784 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251720-1500919736.xml pid=4916 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: 2.00 2.01 2.05 3/181 4919 /proc/meminfo: memFree=30973128/32770624 swapFree=5760/113800 [pid=4919] ppid=4916 vsize=27168 CPUtime=0 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 1034 0 0 0 0 0 0 0 20 0 1 0 1625270 27820032 825 33554432000 4194304 5744392 140724336992976 140724336989624 140654588414949 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 6792 825 685 379 0 211 0 [startup+0.100108 s] /proc/loadavg: 2.00 2.01 2.05 3/181 4919 /proc/meminfo: memFree=30973128/32770624 swapFree=5760/113800 [pid=4919] ppid=4916 vsize=33880 CPUtime=0.09 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 2807 0 0 0 9 0 0 0 20 0 1 0 1625270 34693120 2625 33554432000 4194304 5744392 140724336992976 140724336989624 140654589162232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 8470 2625 773 379 0 1889 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 33880 [startup+0.200269 s] /proc/loadavg: 2.00 2.01 2.05 3/181 4919 /proc/meminfo: memFree=30973128/32770624 swapFree=5760/113800 [pid=4919] ppid=4916 vsize=37024 CPUtime=0.19 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 3585 0 0 0 19 0 0 0 20 0 1 0 1625270 37912576 3377 33554432000 4194304 5744392 140724336992976 140724336989624 140654588414949 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 9256 3377 773 379 0 2675 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 37024 [startup+0.300206 s] /proc/loadavg: 2.00 2.01 2.05 3/181 4919 /proc/meminfo: memFree=30973128/32770624 swapFree=5760/113800 [pid=4919] ppid=4916 vsize=40164 CPUtime=0.29 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 4362 0 0 0 29 0 0 0 20 0 1 0 1625270 41127936 4195 33554432000 4194304 5744392 140724336992976 140724336989624 140654597760234 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 10041 4195 773 379 0 3460 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 40164 [startup+0.70018 s] /proc/loadavg: 2.00 2.01 2.05 3/181 4919 /proc/meminfo: memFree=30973128/32770624 swapFree=5760/113800 [pid=4919] ppid=4916 vsize=47936 CPUtime=0.69 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 6373 0 0 0 69 0 0 0 20 0 1 0 1625270 49086464 6174 33554432000 4194304 5744392 140724336992976 140724336989624 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 11984 6174 813 379 0 5403 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 47936 [startup+1.50017 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4920 /proc/meminfo: memFree=30950300/32770624 swapFree=5760/113828 [pid=4919] ppid=4916 vsize=49132 CPUtime=1.49 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 6661 0 0 0 149 0 0 0 20 0 1 0 1625270 50311168 6435 33554432000 4194304 5744392 140724336992976 140724336990344 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 12283 6435 813 379 0 5702 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 49132 [startup+3.10017 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4920 /proc/meminfo: memFree=30949680/32770624 swapFree=5760/113828 [pid=4919] ppid=4916 vsize=49396 CPUtime=3.09 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 8594 0 0 0 309 0 0 0 20 0 1 0 1625270 50581504 6535 33554432000 4194304 5744392 140724336992976 140724336989752 4994073 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 12349 6535 813 379 0 5768 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49396 [startup+6.30017 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4920 /proc/meminfo: memFree=30948936/32770624 swapFree=5760/113836 [pid=4919] ppid=4916 vsize=50584 CPUtime=6.28 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 11029 0 0 0 628 0 0 0 20 0 1 0 1625270 51798016 6800 33554432000 4194304 5744392 140724336992976 140724336990376 4873244 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 12646 6800 813 379 0 6065 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 50584 [startup+12.7002 s] /proc/loadavg: 2.00 2.01 2.05 3/182 4920 /proc/meminfo: memFree=30947408/32770624 swapFree=5760/113844 [pid=4919] ppid=4916 vsize=51508 CPUtime=12.69 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 13738 0 0 0 1268 1 0 0 20 0 1 0 1625270 52744192 7038 33554432000 4194304 5744392 140724336992976 140724336990120 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 12877 7038 813 379 0 6296 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51508 [startup+25.5002 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5106 /proc/meminfo: memFree=32095688/32770624 swapFree=5760/114592 [pid=4919] ppid=4916 vsize=51904 CPUtime=25.49 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 17655 0 0 0 2548 1 0 0 20 0 1 0 1625270 53149696 7181 33554432000 4194304 5744392 140724336992976 140724336990376 4913901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 12976 7181 813 379 0 6395 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51904 [startup+51.1002 s] /proc/loadavg: 1.93 2.00 2.04 2/180 5655 /proc/meminfo: memFree=32090588/32770624 swapFree=5760/114928 [pid=4919] ppid=4916 vsize=52432 CPUtime=51.08 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 18243 0 0 0 5107 1 0 0 20 0 1 0 1625270 53690368 7290 33554432000 4194304 5744392 140724336992976 140724336990376 4970954 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13108 7290 813 379 0 6527 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 52432 [startup+102.3 s] /proc/loadavg: 1.97 2.00 2.04 3/182 5726 /proc/meminfo: memFree=31762008/32770624 swapFree=5760/115044 [pid=4919] ppid=4916 vsize=53224 CPUtime=102.28 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 19138 0 0 0 10227 1 0 0 20 0 1 0 1625270 54501376 7437 33554432000 4194304 5744392 140724336992976 140724336990120 4910399 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13306 7437 813 379 0 6725 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 53224 [startup+162.3 s] /proc/loadavg: 1.99 2.00 2.04 3/182 5727 /proc/meminfo: memFree=31751504/32770624 swapFree=5760/115104 [pid=4919] ppid=4916 vsize=53356 CPUtime=162.28 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 19786 0 0 0 16227 1 0 0 20 0 1 0 1625270 54636544 7544 33554432000 4194304 5744392 140724336992976 140724336990376 4952969 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13339 7544 813 379 0 6758 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 53356 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.04 3/182 5728 /proc/meminfo: memFree=31746644/32770624 swapFree=5760/115144 [pid=4919] ppid=4916 vsize=53488 CPUtime=222.28 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 20375 0 0 0 22227 1 0 0 20 0 1 0 1625270 54771712 7561 33554432000 4194304 5744392 140724336992976 140724336990376 4904870 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13372 7561 813 379 0 6791 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 53488 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 5729 /proc/meminfo: memFree=31745572/32770624 swapFree=5760/115196 [pid=4919] ppid=4916 vsize=53488 CPUtime=282.27 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 20962 0 0 0 28226 1 0 0 20 0 1 0 1625270 54771712 7568 33554432000 4194304 5744392 140724336992976 140724336990376 5124080 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13372 7568 813 379 0 6791 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 53488 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 5730 /proc/meminfo: memFree=31744148/32770624 swapFree=5760/115236 [pid=4919] ppid=4916 vsize=54016 CPUtime=342.27 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 21908 0 0 0 34226 1 0 0 20 0 1 0 1625270 55312384 7644 33554432000 4194304 5744392 140724336992976 140724336990120 4909565 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13504 7644 813 379 0 6923 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 54016 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 5731 /proc/meminfo: memFree=31742472/32770624 swapFree=5760/115276 [pid=4919] ppid=4916 vsize=54828 CPUtime=402.26 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 22959 0 0 0 40225 1 0 0 20 0 1 0 1625270 56143872 7857 33554432000 4194304 5744392 140724336992976 140724336990120 4908740 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13707 7857 813 379 0 7126 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 54828 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 5732 /proc/meminfo: memFree=31741976/32770624 swapFree=5760/115312 [pid=4919] ppid=4916 vsize=55488 CPUtime=462.26 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 23637 0 0 0 46225 1 0 0 20 0 1 0 1625270 56819712 7991 33554432000 4194304 5744392 140724336992976 140724336990120 4904888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13872 7991 813 379 0 7291 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 55488 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 5733 /proc/meminfo: memFree=31742224/32770624 swapFree=5760/115344 [pid=4919] ppid=4916 vsize=55488 CPUtime=522.26 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 24063 0 0 0 52225 1 0 0 20 0 1 0 1625270 56819712 8071 33554432000 4194304 5744392 140724336992976 140724336990120 4908701 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13872 8071 813 379 0 7291 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 55488 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.04 3/182 5734 /proc/meminfo: memFree=31742108/32770624 swapFree=5760/115372 [pid=4919] ppid=4916 vsize=55488 CPUtime=582.25 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 24499 0 0 0 58224 1 0 0 20 0 1 0 1625270 56819712 8071 33554432000 4194304 5744392 140724336992976 140724336990120 4905048 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 13872 8071 813 379 0 7291 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 55488 ################ # More data... # ################ [startup+1482.3 s] /proc/loadavg: 2.04 2.03 2.05 3/183 5766 /proc/meminfo: memFree=31740152/32770624 swapFree=5760/115912 [pid=4919] ppid=4916 vsize=56280 CPUtime=1482.2 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 32363 0 0 0 148219 1 0 0 20 0 1 0 1625270 57630720 8265 33554432000 4194304 5744392 140724336992976 140724336990120 4970912 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8265 813 379 0 7489 0 Current children cumulated CPU time (s) 1482.2 Current children cumulated vsize (KiB) 56280 [startup+1542.31 s] /proc/loadavg: 2.01 2.02 2.05 3/183 5767 /proc/meminfo: memFree=31740152/32770624 swapFree=5760/115948 [pid=4919] ppid=4916 vsize=56280 CPUtime=1542.21 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 32697 0 0 0 154220 1 0 0 20 0 1 0 1625270 57630720 8265 33554432000 4194304 5744392 140724336992976 140724336990120 4971703 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8265 813 379 0 7489 0 Current children cumulated CPU time (s) 1542.21 Current children cumulated vsize (KiB) 56280 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.05 3/182 5768 /proc/meminfo: memFree=31740256/32770624 swapFree=5760/115988 [pid=4919] ppid=4916 vsize=56280 CPUtime=1602.2 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 33085 0 0 0 160219 1 0 0 20 0 1 0 1625270 57630720 8267 33554432000 4194304 5744392 140724336992976 140724336990376 4970576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8267 813 379 0 7489 0 Current children cumulated CPU time (s) 1602.2 Current children cumulated vsize (KiB) 56280 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5769 /proc/meminfo: memFree=31740256/32770624 swapFree=5760/116020 [pid=4919] ppid=4916 vsize=56280 CPUtime=1662.2 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 33426 0 0 0 166219 1 0 0 20 0 1 0 1625270 57630720 8274 33554432000 4194304 5744392 140724336992976 140724336990376 4952941 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8274 813 379 0 7489 0 Current children cumulated CPU time (s) 1662.2 Current children cumulated vsize (KiB) 56280 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5770 /proc/meminfo: memFree=31740380/32770624 swapFree=5760/116044 [pid=4919] ppid=4916 vsize=56280 CPUtime=1722.19 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 33767 0 0 0 172218 1 0 0 20 0 1 0 1625270 57630720 8274 33554432000 4194304 5744392 140724336992976 140724336990376 4873238 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8274 813 379 0 7489 0 Current children cumulated CPU time (s) 1722.19 Current children cumulated vsize (KiB) 56280 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/181 5771 /proc/meminfo: memFree=31741512/32770624 swapFree=5760/116076 [pid=4919] ppid=4916 vsize=56280 CPUtime=1782.19 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 34119 0 0 0 178218 1 0 0 20 0 1 0 1625270 57630720 8274 33554432000 4194304 5744392 140724336992976 140724336990376 5124136 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8274 813 379 0 7489 0 Current children cumulated CPU time (s) 1782.19 Current children cumulated vsize (KiB) 56280 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5773 /proc/meminfo: memFree=31740820/32770624 swapFree=5760/116112 [pid=4919] ppid=4916 vsize=56280 CPUtime=1842.19 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 34466 0 0 0 184218 1 0 0 20 0 1 0 1625270 57630720 8274 33554432000 4194304 5744392 140724336992976 140724336990376 4905008 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8274 813 379 0 7489 0 Current children cumulated CPU time (s) 1842.19 Current children cumulated vsize (KiB) 56280 [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5781 /proc/meminfo: memFree=31739968/32770624 swapFree=5760/116168 [pid=4919] ppid=4916 vsize=56280 CPUtime=1902.19 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 34865 0 0 0 190218 1 0 0 20 0 1 0 1625270 57630720 8277 33554432000 4194304 5744392 140724336992976 140724336990376 4913898 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8277 813 379 0 7489 0 Current children cumulated CPU time (s) 1902.19 Current children cumulated vsize (KiB) 56280 [startup+1962.3 s] /proc/loadavg: 2.04 2.03 2.05 3/182 5782 /proc/meminfo: memFree=31740092/32770624 swapFree=5760/116196 [pid=4919] ppid=4916 vsize=56280 CPUtime=1962.18 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 35186 0 0 0 196217 1 0 0 20 0 1 0 1625270 57630720 8278 33554432000 4194304 5744392 140724336992976 140724336990376 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8278 813 379 0 7489 0 Current children cumulated CPU time (s) 1962.18 Current children cumulated vsize (KiB) 56280 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5783 /proc/meminfo: memFree=31739960/32770624 swapFree=5760/116228 [pid=4919] ppid=4916 vsize=56280 CPUtime=2022.18 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 35501 0 0 0 202217 1 0 0 20 0 1 0 1625270 57630720 8278 33554432000 4194304 5744392 140724336992976 140724336990376 4904827 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8278 813 379 0 7489 0 Current children cumulated CPU time (s) 2022.18 Current children cumulated vsize (KiB) 56280 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 5784 /proc/meminfo: memFree=31739820/32770624 swapFree=5760/116264 [pid=4919] ppid=4916 vsize=56280 CPUtime=2082.18 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 35892 0 0 0 208217 1 0 0 20 0 1 0 1625270 57630720 8278 33554432000 4194304 5744392 140724336992976 140724336990376 4914576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8278 813 379 0 7489 0 Current children cumulated CPU time (s) 2082.18 Current children cumulated vsize (KiB) 56280 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5785 /proc/meminfo: memFree=31739804/32770624 swapFree=5760/116300 [pid=4919] ppid=4916 vsize=56280 CPUtime=2142.18 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 36244 0 0 0 214217 1 0 0 20 0 1 0 1625270 57630720 8284 33554432000 4194304 5744392 140724336992976 140724336990376 4908222 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8284 813 379 0 7489 0 Current children cumulated CPU time (s) 2142.18 Current children cumulated vsize (KiB) 56280 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5786 /proc/meminfo: memFree=31739416/32770624 swapFree=5760/116332 [pid=4919] ppid=4916 vsize=56280 CPUtime=2202.18 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 36585 0 0 0 220217 1 0 0 20 0 1 0 1625270 57630720 8284 33554432000 4194304 5744392 140724336992976 140724336990376 4952896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14070 8284 813 379 0 7489 0 Current children cumulated CPU time (s) 2202.18 Current children cumulated vsize (KiB) 56280 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5787 /proc/meminfo: memFree=31739696/32770624 swapFree=5760/116364 [pid=4919] ppid=4916 vsize=56412 CPUtime=2262.17 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 36980 0 0 0 226216 1 0 0 20 0 1 0 1625270 57765888 8284 33554432000 4194304 5744392 140724336992976 140724336990120 5124136 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14103 8284 813 379 0 7522 0 Current children cumulated CPU time (s) 2262.17 Current children cumulated vsize (KiB) 56412 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5788 /proc/meminfo: memFree=31739516/32770624 swapFree=5760/116392 [pid=4919] ppid=4916 vsize=56544 CPUtime=2322.17 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 37416 0 0 0 232216 1 0 0 20 0 1 0 1625270 57901056 8293 33554432000 4194304 5744392 140724336992976 140724336990120 4952969 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14136 8293 813 379 0 7555 0 Current children cumulated CPU time (s) 2322.17 Current children cumulated vsize (KiB) 56544 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 5789 /proc/meminfo: memFree=31739516/32770624 swapFree=5760/116424 [pid=4919] ppid=4916 vsize=56544 CPUtime=2382.17 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 37771 0 0 0 238216 1 0 0 20 0 1 0 1625270 57901056 8332 33554432000 4194304 5744392 140724336992976 140724336990120 4970952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14136 8332 813 379 0 7555 0 Current children cumulated CPU time (s) 2382.17 Current children cumulated vsize (KiB) 56544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.08 2.03 2.05 3/182 5790 /proc/meminfo: memFree=31739268/32770624 swapFree=5760/116456 [pid=4919] ppid=4916 vsize=56544 CPUtime=2400.07 cores=1,3,5,7 /proc/4919/stat : 4919 (cosoco) R 4916 4919 3752 0 -1 4202496 38115 0 0 0 240006 1 0 0 20 0 1 0 1625270 57901056 8340 33554432000 4194304 5744392 140724336992976 140724336990120 4998896 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7841632 7846472 8511488 140724336997569 140724336997699 140724336997699 140724337000398 0 /proc/4919/statm: 14136 8340 813 379 0 7555 0 Current children cumulated CPU time (s) 2400.07 Current children cumulated vsize (KiB) 56544 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 4919 sig 9 ??? kill -4919 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.21 CPU time (s): 2400.08 CPU user time (s): 2400.07 CPU system time (s): 0.016999 CPU usage (%): 99.9948 Max. virtual memory (cumulated for all children) (KiB): 56544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.06 system time used= 0.016999 maximum resident set size= 33408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38143 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= 2224 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.43632 second user time and 8.05504 second system time The end
Begin job on node149 at 2017-07-24 20:08:56 IDJOB=4251720 IDBENCH=120758 IDSOLVER=2633 FILE ID=node149/4251720-1500919736 RUNJOBID= node149-1500914920-3784 PBS_JOBID= 20625398 Free space on /tmp= 61896 MiB SOLVER NAME= cosoco-mini 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-4251720-1500919736/watcher-4251720-1500919736 -o /tmp/evaluation-result-4251720-1500919736/solver-4251720-1500919736 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node149-1500914920-3784 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4251720-1500919736.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d RANDOM SEED=2070672712 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30973572 kB MemAvailable: 30920548 kB Buffers: 31652 kB Cached: 229868 kB SwapCached: 0 kB Active: 1319980 kB Inactive: 122508 kB Active(anon): 1183848 kB Inactive(anon): 8660 kB Active(file): 136132 kB Inactive(file): 113848 kB Unevictable: 5760 kB Mlocked: 5760 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2104 kB Writeback: 0 kB AnonPages: 1182508 kB Mapped: 28840 kB Shmem: 8844 kB Slab: 50216 kB SReclaimable: 25660 kB SUnreclaim: 24556 kB KernelStack: 3248 kB PageTables: 6708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1420684 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1136640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 61904 MiB End job on node149 at 2017-07-24 20:48:56