Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | ? (TO) | 2400.0701 | 2400.1001 |
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.50/0.63 c root propagations : 0 0.50/0.63 c restarts enabled, print stats at every restarts 0.50/0.63 c 0.50/0.63 c 0.50/0.63 c 0.50/0.63 c This is cosoco 1.1 -- 0.50/0.63 c 0.50/0.63 c command line: cosoco -lc -model -restarts HOME/instance-4260085-1502019992.xml 0.50/0.63 c ========================================[ Problem Statistics ]=========================================== 0.50/0.63 c | 0.50/0.63 c | Parse time : 0.52 s 0.50/0.63 c | 0.50/0.63 c | Variables: 1070 0.50/0.63 c | Domain Sizes: 485..486 0.50/0.63 c | 0.50/0.63 c | Constraints: 487 0.50/0.63 c | Arity: 3..485 -- Ternary: 485 0.50/0.63 c | 0.50/0.63 c | Types: 0.50/0.63 c | All Different: 2 0.50/0.63 c | Intension: 485 0.50/0.63 c | 0.50/0.63 c ========================================================================================================= 0.50/0.63 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.50/0.63 c remove useless variable ce[0][0][0] 0.50/0.63 c remove useless variable ce[0][1][0] 0.50/0.63 c remove useless variable ce[0][1][1] 0.50/0.63 c remove useless variable ce[0][2][0] 0.50/0.63 c remove useless variable ce[0][2][1] 0.50/0.63 c remove useless variable ce[0][2][2] 0.50/0.63 c remove useless variable ce[0][3][0] 0.50/0.63 c remove useless variable ce[0][3][1] 0.50/0.63 c remove useless variable ce[0][3][2] 0.50/0.63 c remove useless variable ce[0][3][3] 0.50/0.63 c remove useless variable ce[0][4][0] 0.50/0.63 c remove useless variable ce[0][4][1] 0.50/0.63 c remove useless variable ce[0][4][2] 0.50/0.63 c remove useless variable ce[0][4][3] 0.50/0.63 c remove useless variable ce[0][4][4] 0.50/0.63 c remove useless variable ce[0][5][0] 0.50/0.63 c remove useless variable ce[0][5][1] 0.50/0.63 c remove useless variable ce[0][5][2] 0.50/0.63 c remove useless variable ce[0][5][3] 0.50/0.63 c remove useless variable ce[0][5][4] 0.50/0.63 c remove useless variable ce[0][5][5] 0.50/0.63 c remove useless variable ce[0][6][0] 0.50/0.63 c remove useless variable ce[0][6][1] 0.50/0.63 c remove useless variable ce[0][6][2] 0.50/0.63 c remove useless variable ce[0][6][3] 0.50/0.63 c remove useless variable ce[0][6][4] 0.50/0.63 c remove useless variable ce[0][6][5] 0.50/0.63 c remove useless variable ce[0][6][6] 0.50/0.63 c remove useless variable ce[0][7][0] 0.50/0.63 c remove useless variable ce[0][7][1] 0.50/0.63 c remove useless variable ce[0][7][2] 0.50/0.63 c remove useless variable ce[0][7][3] 0.50/0.63 c remove useless variable ce[0][7][4] 0.50/0.63 c remove useless variable ce[0][7][5] 0.50/0.63 c remove useless variable ce[0][7][6] 0.50/0.63 c remove useless variable ce[0][7][7] 0.50/0.63 c remove useless variable ce[0][8][0] 0.50/0.63 c remove useless variable ce[0][8][1] 0.50/0.63 c remove useless variable ce[0][8][2] 0.50/0.63 c remove useless variable ce[0][8][3] 0.50/0.63 c remove useless variable ce[0][8][4] 0.50/0.63 c remove useless variable ce[0][8][5] 0.50/0.63 c remove useless variable ce[0][8][6] 0.50/0.63 c remove useless variable ce[0][8][7] 0.50/0.63 c remove useless variable ce[0][8][8] 0.50/0.63 c remove useless variable ce[0][9][0] 0.50/0.63 c remove useless variable ce[0][9][1] 0.50/0.63 c remove useless variable ce[0][9][2] 0.50/0.63 c remove useless variable ce[0][9][3] 0.50/0.63 c remove useless variable ce[0][9][4] 0.50/0.63 c remove useless variable ce[0][9][5] 0.50/0.63 c remove useless variable ce[0][9][6] 0.50/0.63 c remove useless variable ce[0][9][7] 0.50/0.63 c remove useless variable ce[0][9][8] 0.50/0.63 c remove useless variable ce[0][9][9] 0.50/0.63 c remove useless variable ce[1][0][0] 0.50/0.63 c remove useless variable ce[1][1][0] 0.50/0.63 c remove useless variable ce[1][1][1] 0.50/0.63 c remove useless variable ce[1][2][0] 0.50/0.63 c remove useless variable ce[1][2][1] 0.50/0.63 c remove useless variable ce[1][2][2] 0.50/0.63 c remove useless variable ce[1][3][0] 0.50/0.63 c remove useless variable ce[1][3][1] 0.50/0.63 c remove useless variable ce[1][3][2] 0.50/0.63 c remove useless variable ce[1][3][3] 0.50/0.63 c remove useless variable ce[1][4][0] 0.50/0.63 c remove useless variable ce[1][4][1] 0.50/0.63 c remove useless variable ce[1][4][2] 0.50/0.63 c remove useless variable ce[1][4][3] 0.50/0.63 c remove useless variable ce[1][4][4] 0.50/0.63 c remove useless variable ce[1][5][0] 0.50/0.63 c remove useless variable ce[1][5][1] 0.50/0.63 c remove useless variable ce[1][5][2] 0.50/0.63 c remove useless variable ce[1][5][3] 0.50/0.63 c remove useless variable ce[1][5][4] 0.50/0.63 c remove useless variable ce[1][5][5] 0.50/0.63 c remove useless variable ce[1][6][0] 0.50/0.63 c remove useless variable ce[1][6][1] 0.50/0.63 c remove useless variable ce[1][6][2] 0.50/0.63 c remove useless variable ce[1][6][3] 0.50/0.63 c remove useless variable ce[1][6][4] 0.50/0.63 c remove useless variable ce[1][6][5] 0.50/0.63 c remove useless variable ce[1][6][6] 0.50/0.63 c remove useless variable ce[1][7][0] 0.50/0.63 c remove useless variable ce[1][7][1] 0.50/0.63 c remove useless variable ce[1][7][2] 0.50/0.63 c remove useless variable ce[1][7][3] 0.50/0.63 c remove useless variable ce[1][7][4] 0.50/0.63 c remove useless variable ce[1][7][5] 0.50/0.63 c remove useless variable ce[1][7][6] 0.50/0.63 c remove useless variable ce[1][7][7] 0.50/0.63 c remove useless variable ce[1][8][0] 0.50/0.63 c remove useless variable ce[1][8][1] 0.50/0.63 c remove useless variable ce[1][8][2] 0.50/0.63 c remove useless variable ce[1][8][3] 0.50/0.63 c remove useless variable ce[1][8][4] 0.50/0.63 c remove useless variable ce[1][8][5] 0.50/0.63 c remove useless variable ce[1][8][6] 0.50/0.63 c remove useless variable ce[1][8][7] 0.50/0.63 c remove useless variable ce[1][8][8] 0.50/0.63 c remove useless variable ce[1][9][0] 0.50/0.63 c remove useless variable ce[1][9][1] 0.50/0.63 c remove useless variable ce[1][9][2] 0.50/0.63 c remove useless variable ce[1][9][3] 0.50/0.63 c remove useless variable ce[1][9][4] 0.50/0.63 c remove useless variable ce[1][9][5] 0.50/0.63 c remove useless variable ce[1][9][6] 0.50/0.63 c remove useless variable ce[1][9][7] 0.50/0.63 c remove useless variable ce[1][9][8] 0.50/0.63 c remove useless variable ce[1][9][9] 0.50/0.63 c remove useless variable ce[2][0][0] 0.50/0.63 c remove useless variable ce[2][1][0] 0.50/0.63 c remove useless variable ce[2][1][1] 0.50/0.63 c remove useless variable ce[2][2][0] 0.50/0.63 c remove useless variable ce[2][2][1] 0.50/0.63 c remove useless variable ce[2][2][2] 0.50/0.63 c remove useless variable ce[2][3][0] 0.50/0.63 c remove useless variable ce[2][3][1] 0.50/0.63 c remove useless variable ce[2][3][2] 0.50/0.63 c remove useless variable ce[2][3][3] 0.50/0.63 c remove useless variable ce[2][4][0] 0.50/0.63 c remove useless variable ce[2][4][1] 0.50/0.63 c remove useless variable ce[2][4][2] 0.50/0.63 c remove useless variable ce[2][4][3] 0.50/0.63 c remove useless variable ce[2][4][4] 0.50/0.63 c remove useless variable ce[2][5][0] 0.50/0.63 c remove useless variable ce[2][5][1] 0.50/0.63 c remove useless variable ce[2][5][2] 0.50/0.63 c remove useless variable ce[2][5][3] 0.50/0.63 c remove useless variable ce[2][5][4] 0.50/0.63 c remove useless variable ce[2][5][5] 0.50/0.63 c remove useless variable ce[2][6][0] 0.50/0.63 c remove useless variable ce[2][6][1] 0.50/0.63 c remove useless variable ce[2][6][2] 0.50/0.63 c remove useless variable ce[2][6][3] 0.50/0.63 c remove useless variable ce[2][6][4] 0.50/0.63 c remove useless variable ce[2][6][5] 0.50/0.63 c remove useless variable ce[2][6][6] 0.50/0.63 c remove useless variable ce[2][7][0] 0.50/0.63 c remove useless variable ce[2][7][1] 0.50/0.63 c remove useless variable ce[2][7][2] 0.50/0.63 c remove useless variable ce[2][7][3] 0.50/0.63 c remove useless variable ce[2][7][4] 0.50/0.63 c remove useless variable ce[2][7][5] 0.50/0.63 c remove useless variable ce[2][7][6] 0.50/0.63 c remove useless variable ce[2][7][7] 0.50/0.63 c remove useless variable ce[2][8][0] 0.50/0.63 c remove useless variable ce[2][8][1] 0.50/0.63 c remove useless variable ce[2][8][2] 0.50/0.63 c remove useless variable ce[2][8][3] 0.50/0.63 c remove useless variable ce[2][8][4] 0.50/0.63 c remove useless variable ce[2][8][5] 0.50/0.63 c remove useless variable ce[2][8][6] 0.50/0.63 c remove useless variable ce[2][8][7] 0.50/0.63 c remove useless variable ce[2][8][8] 0.50/0.63 c remove useless variable ce[2][9][0] 0.50/0.63 c remove useless variable ce[2][9][1] 0.50/0.63 c remove useless variable ce[2][9][2] 0.50/0.63 c remove useless variable ce[2][9][3] 0.50/0.63 c remove useless variable ce[2][9][4] 0.50/0.63 c remove useless variable ce[2][9][5] 0.50/0.63 c remove useless variable ce[2][9][6] 0.50/0.63 c remove useless variable ce[2][9][7] 0.50/0.63 c remove useless variable ce[2][9][8] 0.50/0.63 c remove useless variable ce[2][9][9] 0.50/0.63 c remove useless variable ce[3][0][0] 0.50/0.63 c remove useless variable ce[3][1][0] 0.50/0.63 c remove useless variable ce[3][1][1] 0.50/0.63 c remove useless variable ce[3][2][0] 0.50/0.63 c remove useless variable ce[3][2][1] 0.50/0.63 c remove useless variable ce[3][2][2] 0.50/0.63 c remove useless variable ce[3][3][0] 0.50/0.63 c remove useless variable ce[3][3][1] 0.50/0.63 c remove useless variable ce[3][3][2] 0.50/0.63 c remove useless variable ce[3][3][3] 0.50/0.63 c remove useless variable ce[3][4][0] 0.50/0.63 c remove useless variable ce[3][4][1] 0.50/0.63 c remove useless variable ce[3][4][2] 0.50/0.63 c remove useless variable ce[3][4][3] 0.50/0.63 c remove useless variable ce[3][4][4] 0.50/0.63 c remove useless variable ce[3][5][0] 0.50/0.63 c remove useless variable ce[3][5][1] 0.50/0.63 c remove useless variable ce[3][5][2] 0.50/0.63 c remove useless variable ce[3][5][3] 0.50/0.63 c remove useless variable ce[3][5][4] 0.50/0.63 c remove useless variable ce[3][5][5] 0.50/0.63 c remove useless variable ce[3][6][0] 0.50/0.63 c remove useless variable ce[3][6][1] 0.50/0.63 c remove useless variable ce[3][6][2] 0.50/0.63 c remove useless variable ce[3][6][3] 0.50/0.63 c remove useless variable ce[3][6][4] 0.50/0.63 c remove useless variable ce[3][6][5] 0.50/0.63 c remove useless variable ce[3][6][6] 0.50/0.63 c remove useless variable ce[3][7][0] 0.50/0.63 c remove useless variable ce[3][7][1] 0.50/0.63 c remove useless variable ce[3][7][2] 0.50/0.63 c remove useless variable ce[3][7][3] 0.50/0.63 c remove useless variable ce[3][7][4] 0.50/0.63 c remove useless variable ce[3][7][5] 0.50/0.63 c remove useless variable ce[3][7][6] 0.50/0.63 c remove useless variable ce[3][7][7] 0.50/0.63 c remove useless variable ce[3][8][0] 0.50/0.63 c remove useless variable ce[3][8][1] 0.50/0.63 c remove useless variable ce[3][8][2] 0.50/0.63 c remove useless variable ce[3][8][3] 0.50/0.63 c remove useless variable ce[3][8][4] 0.50/0.63 c remove useless variable ce[3][8][5] 0.50/0.63 c remove useless variable ce[3][8][6] 0.50/0.63 c remove useless variable ce[3][8][7] 0.50/0.63 c remove useless variable ce[3][8][8] 0.50/0.63 c remove useless variable ce[3][9][0] 0.50/0.63 c remove useless variable ce[3][9][1] 0.50/0.63 c remove useless variable ce[3][9][2] 0.50/0.63 c remove useless variable ce[3][9][3] 0.50/0.63 c remove useless variable ce[3][9][4] 0.50/0.63 c remove useless variable ce[3][9][5] 0.50/0.63 c remove useless variable ce[3][9][6] 0.50/0.63 c remove useless variable ce[3][9][7] 0.50/0.63 c remove useless variable ce[3][9][8] 0.50/0.63 c remove useless variable ce[3][9][9] 0.50/0.63 c remove useless variable ce[4][0][0] 0.50/0.63 c remove useless variable ce[4][1][0] 0.50/0.63 c remove useless variable ce[4][1][1] 0.50/0.63 c remove useless variable ce[4][2][0] 0.50/0.63 c remove useless variable ce[4][2][1] 0.50/0.63 c remove useless variable ce[4][2][2] 0.50/0.63 c remove useless variable ce[4][3][0] 0.50/0.63 c remove useless variable ce[4][3][1] 0.50/0.63 c remove useless variable ce[4][3][2] 0.50/0.63 c remove useless variable ce[4][3][3] 0.50/0.63 c remove useless variable ce[4][4][0] 0.50/0.63 c remove useless variable ce[4][4][1] 0.50/0.63 c remove useless variable ce[4][4][2] 0.50/0.63 c remove useless variable ce[4][4][3] 0.50/0.63 c remove useless variable ce[4][4][4] 0.50/0.63 c remove useless variable ce[4][5][0] 0.50/0.63 c remove useless variable ce[4][5][1] 0.50/0.63 c remove useless variable ce[4][5][2] 0.50/0.63 c remove useless variable ce[4][5][3] 0.50/0.63 c remove useless variable ce[4][5][4] 0.50/0.63 c remove useless variable ce[4][5][5] 0.50/0.63 c remove useless variable ce[4][6][0] 0.50/0.63 c remove useless variable ce[4][6][1] 0.50/0.63 c remove useless variable ce[4][6][2] 0.50/0.63 c remove useless variable ce[4][6][3] 0.50/0.63 c remove useless variable ce[4][6][4] 0.50/0.63 c remove useless variable ce[4][6][5] 0.50/0.63 c remove useless variable ce[4][6][6] 0.50/0.63 c remove useless variable ce[4][7][0] 0.50/0.63 c remove useless variable ce[4][7][1] 0.50/0.63 c remove useless variable ce[4][7][2] 0.50/0.63 c remove useless variable ce[4][7][3] 0.50/0.63 c remove useless variable ce[4][7][4] 0.50/0.63 c remove useless variable ce[4][7][5] 0.50/0.63 c remove useless variable ce[4][7][6] 0.50/0.63 c remove useless variable ce[4][7][7] 0.50/0.63 c remove useless variable ce[4][8][0] 0.50/0.63 c remove useless variable ce[4][8][1] 0.50/0.63 c remove useless variable ce[4][8][2] 0.50/0.63 c remove useless variable ce[4][8][3] 0.50/0.63 c remove useless variable ce[4][8][4] 0.50/0.63 c remove useless variable ce[4][8][5] 0.50/0.63 c remove useless variable ce[4][8][6] 0.50/0.63 c remove useless variable ce[4][8][7] 0.50/0.63 c remove useless variable ce[4][8][8] 0.50/0.63 c remove useless variable ce[4][9][0] 0.50/0.63 c remove useless variable ce[4][9][1] 0.50/0.63 c remove useless variable ce[4][9][2] 0.50/0.63 c remove useless variable ce[4][9][3] 0.50/0.63 c remove useless variable ce[4][9][4] 0.50/0.63 c remove useless variable ce[4][9][5] 0.50/0.63 c remove useless variable ce[4][9][6] 0.50/0.63 c remove useless variable ce[4][9][7] 0.50/0.63 c remove useless variable ce[4][9][8] 0.50/0.63 c remove useless variable ce[4][9][9] 0.50/0.63 c remove useless variable ce[5][0][0] 0.50/0.63 c remove useless variable ce[5][1][0] 0.50/0.63 c remove useless variable ce[5][1][1] 0.50/0.63 c remove useless variable ce[5][2][0] 0.50/0.63 c remove useless variable ce[5][2][1] 0.50/0.63 c remove useless variable ce[5][2][2] 0.50/0.63 c remove useless variable ce[5][3][0] 0.50/0.63 c remove useless variable ce[5][3][1] 0.50/0.63 c remove useless variable ce[5][3][2] 0.50/0.63 c remove useless variable ce[5][3][3] 0.50/0.63 c remove useless variable ce[5][4][0] 0.50/0.63 c remove useless variable ce[5][4][1] 0.50/0.63 c remove useless variable ce[5][4][2] 0.50/0.63 c remove useless variable ce[5][4][3] 0.50/0.63 c remove useless variable ce[5][4][4] 0.50/0.63 c remove useless variable ce[5][5][0] 0.50/0.63 c remove useless variable ce[5][5][1] 0.50/0.63 c remove useless variable ce[5][5][2] 0.50/0.63 c remove useless variable ce[5][5][3] 0.50/0.63 c remove useless variable ce[5][5][4] 0.50/0.63 c remove useless variable ce[5][5][5] 0.50/0.63 c remove useless variable ce[5][6][0] 0.50/0.63 c remove useless variable ce[5][6][1] 0.50/0.63 c remove useless variable ce[5][6][2] 0.50/0.63 c remove useless variable ce[5][6][3] 0.50/0.63 c remove useless variable ce[5][6][4] 0.50/0.63 c remove useless variable ce[5][6][5] 0.50/0.63 c remove useless variable ce[5][6][6] 0.50/0.63 c remove useless variable ce[5][7][0] 0.50/0.63 c remove useless variable ce[5][7][1] 0.50/0.63 c remove useless variable ce[5][7][2] 0.50/0.63 c remove useless variable ce[5][7][3] 0.50/0.63 c remove useless variable ce[5][7][4] 0.50/0.63 c remove useless variable ce[5][7][5] 0.50/0.63 c remove useless variable ce[5][7][6] 0.50/0.63 c remove useless variable ce[5][7][7] 0.50/0.63 c remove useless variable ce[5][8][0] 0.50/0.63 c remove useless variable ce[5][8][1] 0.50/0.63 c remove useless variable ce[5][8][2] 0.50/0.63 c remove useless variable ce[5][8][3] 0.50/0.63 c remove useless variable ce[5][8][4] 0.50/0.63 c remove useless variable ce[5][8][5] 0.50/0.63 c remove useless variable ce[5][8][6] 0.50/0.63 c remove useless variable ce[5][8][7] 0.50/0.63 c remove useless variable ce[5][8][8] 0.50/0.63 c remove useless variable ce[5][9][0] 0.50/0.63 c remove useless variable ce[5][9][1] 0.50/0.63 c remove useless variable ce[5][9][2] 0.50/0.63 c remove useless variable ce[5][9][3] 0.50/0.63 c remove useless variable ce[5][9][4] 0.50/0.63 c remove useless variable ce[5][9][5] 0.50/0.63 c remove useless variable ce[5][9][6] 0.50/0.63 c remove useless variable ce[5][9][7] 0.50/0.63 c remove useless variable ce[5][9][8] 0.50/0.63 c remove useless variable ce[5][9][9] 0.50/0.63 c remove useless variable ce[6][0][0] 0.50/0.63 c remove useless variable ce[6][1][0] 0.50/0.63 c remove useless variable ce[6][1][1] 0.50/0.63 c remove useless variable ce[6][2][0] 0.50/0.63 c remove useless variable ce[6][2][1] 0.50/0.63 c remove useless variable ce[6][2][2] 0.50/0.63 c remove useless variable ce[6][3][0] 0.50/0.63 c remove useless variable ce[6][3][1] 0.50/0.63 c remove useless variable ce[6][3][2] 0.50/0.63 c remove useless variable ce[6][3][3] 0.50/0.63 c remove useless variable ce[6][4][0] 0.50/0.63 c remove useless variable ce[6][4][1] 0.50/0.63 c remove useless variable ce[6][4][2] 0.50/0.63 c remove useless variable ce[6][4][3] 0.50/0.63 c remove useless variable ce[6][4][4] 0.50/0.63 c remove useless variable ce[6][5][0] 0.50/0.63 c remove useless variable ce[6][5][1] 0.50/0.63 c remove useless variable ce[6][5][2] 0.50/0.63 c remove useless variable ce[6][5][3] 0.50/0.63 c remove useless variable ce[6][5][4] 0.50/0.63 c remove useless variable ce[6][5][5] 0.50/0.63 c remove useless variable ce[6][6][0] 0.50/0.63 c remove useless variable ce[6][6][1] 0.50/0.63 c remove useless variable ce[6][6][2] 0.50/0.63 c remove useless variable ce[6][6][3] 0.50/0.63 c remove useless variable ce[6][6][4] 0.50/0.63 c remove useless variable ce[6][6][5] 0.50/0.63 c remove useless variable ce[6][6][6] 0.50/0.63 c remove useless variable ce[6][7][0] 0.50/0.63 c remove useless variable ce[6][7][1] 0.50/0.63 c remove useless variable ce[6][7][2] 0.50/0.63 c remove useless variable ce[6][7][3] 0.50/0.63 c remove useless variable ce[6][7][4] 0.50/0.63 c remove useless variable ce[6][7][5] 0.50/0.63 c remove useless variable ce[6][7][6] 0.50/0.63 c remove useless variable ce[6][7][7] 0.50/0.63 c remove useless variable ce[6][8][0] 0.50/0.63 c remove useless variable ce[6][8][1] 0.50/0.63 c remove useless variable ce[6][8][2] 0.50/0.63 c remove useless variable ce[6][8][3] 0.50/0.63 c remove useless variable ce[6][8][4] 0.50/0.63 c remove useless variable ce[6][8][5] 0.50/0.63 c remove useless variable ce[6][8][6] 0.50/0.63 c remove useless variable ce[6][8][7] 0.50/0.63 c remove useless variable ce[6][8][8] 0.50/0.63 c remove useless variable ce[6][9][0] 0.50/0.63 c remove useless variable ce[6][9][1] 0.50/0.63 c remove useless variable ce[6][9][2] 0.50/0.63 c remove useless variable ce[6][9][3] 0.50/0.63 c remove useless variable ce[6][9][4] 0.50/0.63 c remove useless variable ce[6][9][5] 0.50/0.63 c remove useless variable ce[6][9][6] 0.50/0.63 c remove useless variable ce[6][9][7] 0.50/0.63 c remove useless variable ce[6][9][8] 0.50/0.63 c remove useless variable ce[6][9][9] 0.50/0.63 c remove useless variable ce[7][0][0] 0.50/0.63 c remove useless variable ce[7][1][0] 0.50/0.63 c remove useless variable ce[7][1][1] 0.50/0.63 c remove useless variable ce[7][2][0] 0.50/0.63 c remove useless variable ce[7][2][1] 0.50/0.63 c remove useless variable ce[7][2][2] 0.50/0.63 c remove useless variable ce[7][3][0] 0.50/0.63 c remove useless variable ce[7][3][1] 0.50/0.63 c remove useless variable ce[7][3][2] 0.50/0.63 c remove useless variable ce[7][3][3] 0.50/0.63 c remove useless variable ce[7][4][0] 0.50/0.63 c remove useless variable ce[7][4][1] 0.50/0.63 c remove useless variable ce[7][4][2] 0.50/0.63 c remove useless variable ce[7][4][3] 0.50/0.63 c remove useless variable ce[7][4][4] 0.50/0.63 c remove useless variable ce[7][5][0] 0.50/0.63 c remove useless variable ce[7][5][1] 0.50/0.63 c remove useless variable ce[7][5][2] 0.50/0.63 c remove useless variable ce[7][5][3] 0.50/0.63 c remove useless variable ce[7][5][4] 0.50/0.63 c remove useless variable ce[7][5][5] 0.50/0.63 c remove useless variable ce[7][6][0] 0.50/0.63 c remove useless variable ce[7][6][1] 0.50/0.63 c remove useless variable ce[7][6][2] 0.50/0.63 c remove useless variable ce[7][6][3] 0.50/0.63 c remove useless variable ce[7][6][4] 0.50/0.63 c remove useless variable ce[7][6][5] 0.50/0.63 c remove useless variable ce[7][6][6] 0.50/0.63 c remove useless variable ce[7][7][0] 0.50/0.63 c remove useless variable ce[7][7][1] 0.50/0.63 c remove useless variable ce[7][7][2] 0.50/0.63 c remove useless variable ce[7][7][3] 0.50/0.63 c remove useless variable ce[7][7][4] 0.50/0.63 c remove useless variable ce[7][7][5] 0.50/0.63 c remove useless variable ce[7][7][6] 0.50/0.63 c remove useless variable ce[7][7][7] 0.50/0.63 c remove useless variable ce[7][8][0] 0.50/0.63 c remove useless variable ce[7][8][1] 0.50/0.63 c remove useless variable ce[7][8][2] 0.50/0.63 c remove useless variable ce[7][8][3] 0.50/0.63 c remove useless variable ce[7][8][4] 0.50/0.63 c remove useless variable ce[7][8][5] 0.50/0.63 c remove useless variable ce[7][8][6] 0.50/0.63 c remove useless variable ce[7][8][7] 0.50/0.63 c remove useless variable ce[7][8][8] 0.50/0.63 c remove useless variable ce[7][9][0] 0.50/0.63 c remove useless variable ce[7][9][1] 0.50/0.63 c remove useless variable ce[7][9][2] 0.50/0.63 c remove useless variable ce[7][9][3] 0.50/0.63 c remove useless variable ce[7][9][4] 0.50/0.63 c remove useless variable ce[7][9][5] 0.50/0.63 c remove useless variable ce[7][9][6] 0.50/0.63 c remove useless variable ce[7][9][7] 0.50/0.63 c remove useless variable ce[7][9][8] 0.50/0.63 c remove useless variable ce[7][9][9] 0.50/0.63 c remove useless variable ce[8][0][0] 0.50/0.63 c remove useless variable ce[8][1][0] 0.50/0.63 c remove useless variable ce[8][1][1] 0.50/0.63 c remove useless variable ce[8][2][0] 0.50/0.63 c remove useless variable ce[8][2][1] 0.50/0.63 c remove useless variable ce[8][2][2] 0.50/0.63 c remove useless variable ce[8][3][0] 0.50/0.63 c remove useless variable ce[8][3][1] 0.50/0.63 c remove useless variable ce[8][3][2] 0.50/0.63 c remove useless variable ce[8][3][3] 0.50/0.63 c remove useless variable ce[8][4][0] 0.50/0.63 c remove useless variable ce[8][4][1] 0.50/0.63 c remove useless variable ce[8][4][2] 0.50/0.63 c remove useless variable ce[8][4][3] 0.50/0.63 c remove useless variable ce[8][4][4] 0.50/0.63 c remove useless variable ce[8][5][0] 0.50/0.63 c remove useless variable ce[8][5][1] 0.50/0.63 c remove useless variable ce[8][5][2] 0.50/0.63 c remove useless variable ce[8][5][3] 0.50/0.63 c remove useless variable ce[8][5][4] 0.50/0.63 c remove useless variable ce[8][5][5] 0.50/0.63 c remove useless variable ce[8][6][0] 0.50/0.63 c remove useless variable ce[8][6][1] 0.50/0.63 c remove useless variable ce[8][6][2] 0.50/0.63 c remove useless variable ce[8][6][3] 0.50/0.63 c remove useless variable ce[8][6][4] 0.50/0.63 c remove useless variable ce[8][6][5] 0.50/0.63 c remove useless variable ce[8][6][6] 0.50/0.63 c remove useless variable ce[8][7][0] 0.50/0.63 c remove useless variable ce[8][7][1] 0.50/0.63 c remove useless variable ce[8][7][2] 0.50/0.63 c remove useless variable ce[8][7][3] 0.50/0.63 c remove useless variable ce[8][7][4] 0.50/0.63 c remove useless variable ce[8][7][5] 0.50/0.63 c remove useless variable ce[8][7][6] 0.50/0.63 c remove useless variable ce[8][7][7] 0.50/0.63 c remove useless variable ce[8][8][0] 0.50/0.63 c remove useless variable ce[8][8][1] 0.50/0.63 c remove useless variable ce[8][8][2] 0.50/0.63 c remove useless variable ce[8][8][3] 0.50/0.63 c remove useless variable ce[8][8][4] 0.50/0.63 c remove useless variable ce[8][8][5] 0.50/0.63 c remove useless variable ce[8][8][6] 0.50/0.63 c remove useless variable ce[8][8][7] 0.50/0.63 c remove useless variable ce[8][8][8] 0.50/0.63 c remove useless variable ce[8][9][0] 0.50/0.63 c remove useless variable ce[8][9][1] 0.50/0.63 c remove useless variable ce[8][9][2] 0.50/0.63 c remove useless variable ce[8][9][3] 0.50/0.63 c remove useless variable ce[8][9][4] 0.50/0.63 c remove useless variable ce[8][9][5] 0.50/0.63 c remove useless variable ce[8][9][6] 0.50/0.63 c remove useless variable ce[8][9][7] 0.50/0.63 c remove useless variable ce[8][9][8] 0.50/0.63 c remove useless variable ce[8][9][9] 0.90/1.02 c 101 586 120050 123899 0 0 486 486 481 1.30/1.41 c 211 1021 225313 302319 0 0 4 326 320 1.70/1.85 c 332 1484 333988 966740 0 0 6 343 321 1.70/1.89 c 465 1646 341509 1104087 0 0 5 30 22 2.10/2.23 c 611 2051 427601 1422710 0 0 4 260 101 2.40/2.52 c 771 2431 495888 1736857 0 0 8 221 43 2.40/2.58 c 947 2650 505006 1996073 0 0 4 44 30 2.50/2.66 c 1140 2899 513406 2324870 0 0 8 57 39 2.60/2.72 c 1352 3160 521939 2672213 0 0 4 50 37 2.60/2.79 c 1585 3449 530680 3082040 0 0 5 57 38 3.00/3.10 c 1841 3935 598115 3664062 0 0 7 231 45 3.31/3.47 c 2122 4548 682906 4257196 0 0 8 333 155 3.70/3.85 c 2431 5186 759597 5066498 0 0 9 330 100 4.20/4.35 c 2770 6010 883730 6018866 0 0 486 486 484 4.41/4.59 c 3142 6428 905244 7068677 0 0 6 47 45 4.90/5.01 c 3551 6880 926184 9314642 0 0 8 44 43 5.20/5.32 c 4000 7403 941225 10871607 0 0 7 75 63 5.41/5.50 c 4493 7910 961041 11809187 0 0 13 14 12 5.70/5.84 c 5035 8511 986101 13607451 0 0 50 59 58 5.90/6.09 c 5631 9201 1012369 14591434 0 0 7 92 19 6.30/6.42 c 6286 9915 1033779 16041058 0 0 5 59 56 7.40/7.51 c 7006 10938 1117300 20735610 0 0 6 303 92 8.00/8.13 c 7798 11764 1157651 23345105 0 0 12 34 33 8.10/8.26 c 8669 12652 1186402 24185951 0 0 8 17 16 8.60/8.79 c 9627 13690 1222471 26612113 0 0 12 70 68 9.30/9.44 c 10680 14770 1273662 29785893 0 0 8 20 18 9.70/9.80 c 11838 15986 1310984 31709780 0 0 11 57 56 10.00/10.13 c 13111 17276 1350116 33938209 0 0 16 16 15 10.30/10.45 c 14511 18694 1393343 35949064 0 0 17 17 16 10.70/10.83 c 16051 20330 1438655 38022624 0 0 12 77 74 11.01/11.16 c 17745 22039 1489089 40199223 0 0 5 13 12 12.90/13.08 c 19608 24013 1553133 51966238 0 0 7 82 79 13.21/13.34 c 21657 26076 1612670 53903104 0 0 11 11 10 13.80/13.94 c 23910 28373 1689267 57389255 0 0 41 41 40 14.70/14.87 c 26388 30897 1762457 63251234 0 0 5 42 34 15.31/15.47 c 29113 33657 1844666 67478741 0 0 12 16 15 15.90/16.09 c 32110 36678 1929140 71793950 0 0 9 19 18 17.00/17.19 c 35406 40305 2085905 77040246 0 0 5 323 46 17.80/17.90 c 39031 43949 2194121 81725773 0 0 13 13 12 23.90/24.09 c 43018 48058 2334525 114323731 0 0 4 67 65 24.50/24.61 c 47403 52461 2460518 118456266 0 0 10 10 9 25.40/25.54 c 52226 57310 2597501 124553994 0 0 4 17 16 26.40/26.52 c 57531 62657 2750855 131125861 0 0 7 10 9 31.90/32.02 c 63366 68542 2948686 154523180 0 0 4 38 30 34.80/34.92 c 69784 75006 3152472 171607384 0 0 3 33 27 37.70/37.80 c 76843 82198 3323169 193839182 0 0 5 54 44 44.49/44.66 c 84607 90016 3571658 238421275 0 0 6 38 37 47.99/48.17 c 93147 98768 3800894 267393459 0 0 5 33 32 53.29/53.45 c 102541 108532 4089443 295984833 0 0 4 337 142 56.39/56.52 c 112874 119247 4300879 313950317 0 0 5 339 190 61.49/61.65 c 124240 130732 4541439 348597438 0 0 5 94 92 62.89/63.07 c 136742 143270 4895129 360385335 0 0 11 11 10 65.39/65.59 c 150494 157071 5273774 377991388 0 0 4 21 19 72.69/72.89 c 165621 172259 5712071 430174904 0 0 5 30 29 79.49/79.63 c 182260 189458 6138569 480042367 0 0 5 57 56 85.38/85.58 c 200562 207838 6624860 527798673 0 0 5 40 39 93.88/94.06 c 220694 228055 7141963 588082123 0 0 4 42 41 98.68/98.89 c 242839 250701 7777349 623130885 0 0 4 32 31 102.19/102.35 c 267198 275564 7957074 635851258 0 0 4 346 340 118.18/118.36 c 293992 302592 8572523 754629650 0 0 3 90 87 123.58/123.73 c 323465 332160 9432971 792614347 0 0 4 33 32 129.48/129.65 c 355885 364672 10300006 833583768 0 0 4 24 23 144.58/144.76 c 391547 400442 11259020 948630475 0 0 4 32 31 163.38/163.52 c 430775 439801 12374407 1085536605 0 0 7 46 45 172.58/172.72 c 473925 483090 13561449 1155065260 0 0 4 46 45 195.97/196.11 c 521390 532083 14851970 1341691377 0 0 4 73 72 213.07/213.29 c 573601 584433 16654241 1435361205 0 0 4 31 30 240.97/241.12 c 631033 642031 18289008 1650680482 0 0 5 42 41 254.57/254.72 c 694208 705382 19955138 1740891228 0 0 5 39 38 289.27/289.42 c 763700 775070 21930394 1996482333 0 0 7 45 44 319.76/319.92 c 840141 852912 23868130 2238139027 0 0 7 66 65 365.26/365.45 c 924226 938007 25165718 2600239061 0 0 3 368 359 393.56/393.75 c 1016719 1032007 26127064 2801094008 0 0 3 394 367 422.26/422.41 c 1118461 1134214 26955318 2966219392 0 0 3 166 164 457.25/457.40 c 1230377 1247367 27938339 3170354569 0 0 3 244 225 596.15/596.31 c 1353484 1374071 32109043 4015230146 0 0 6 220 102 639.44/639.65 c 1488901 1512633 33704903 4308581334 0 0 6 231 215 662.24/662.47 c 1637859 1661941 37575949 4478009382 0 0 7 30 29 742.94/743.12 c 1801712 1827955 42395063 5057614785 0 0 4 38 37 815.63/815.82 c 1981950 2013106 46486981 5661793636 0 0 4 78 77 886.44/886.67 c 2180211 2215391 51334527 6218088062 0 0 4 92 91 995.15/995.36 c 2398298 2434855 57744778 6999874155 0 0 10 13 12 1043.05/1043.24 c 2638193 2675681 63807318 7304449215 0 0 4 81 31 1242.57/1242.72 c 2902077 2940433 68977596 8668509819 0 0 3 133 131 1274.17/1274.31 c 3192349 3231313 77723900 8941714056 0 0 8 9 8 1309.57/1309.72 c 3511648 3551292 87072951 9242685875 0 0 4 13 12 1559.89/1560.03 c 3862876 3903340 98437811 10309035500 0 0 5 44 43 1892.72/1892.88 c 4249226 4290649 109313180 12341201379 0 0 5 61 60 2036.43/2036.54 c 4674211 4716781 117266003 13410874109 0 0 5 120 119 2232.14/2232.22 c 5141694 5185366 128635596 15008821252 0 0 5 78 75 2311.75/2311.81 c 5655925 5700937 140846975 15542340347 0 0 10 160 36 2400.06/2400.10 2400.06/2400.10 c *** INTERRUPTED *** 2400.06/2400.10 c restarts : 91 2400.06/2400.10 c conflicts : 5800514 (2417 /sec) 2400.06/2400.10 c decisions : 5846123 (2436 /sec) 2400.06/2400.10 c propagations : 16078785443 (6699408 /sec) 2400.06/2400.10 c root propagations : 0 2400.06/2400.10 c filter calls : 143234863 (59680 /sec) 2400.06/2400.10 c useless filter calls : 101429104 (70 %) 2400.06/2400.10 c Memory used : 55.23 MB 2400.06/2400.10 c CPU time : 2400.03 s 2400.06/2400.10 2400.06/2400.10 s UNKNOWN
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-4260085-1502019992/watcher-4260085-1502019992 -o /tmp/evaluation-result-4260085-1502019992/solver-4260085-1502019992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25934 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260085-1502019992.xml pid=27348 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.11 2.05 2.04 2/185 27351 /proc/meminfo: memFree=31503592/32770624 swapFree=0/307264 [pid=27351] ppid=27348 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/27351/stat : 27351 (runsolver) D 27348 27351 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 49814523 24240128 108 18446744073709551615 4194304 4338465 140729572163616 140729572161256 139763893117655 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 27533312 140729572171969 140729572172361 140729572172361 140729572175818 0 /proc/27351/statm: 5918 108 54 36 0 2156 0 [startup+0.100108 s] /proc/loadavg: 2.11 2.05 2.04 2/185 27351 /proc/meminfo: memFree=31503592/32770624 swapFree=0/307264 [pid=27351] ppid=27348 vsize=31000 CPUtime=0 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 2001 0 0 0 0 0 0 0 20 0 1 0 49814523 31744000 1815 18446744073709551615 4194304 5747388 140736214727312 140736214723960 140452444965861 0 0 1 0 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 7750 1815 697 380 0 1168 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 31000 [startup+0.20025 s] /proc/loadavg: 2.11 2.05 2.04 2/185 27351 /proc/meminfo: memFree=31503592/32770624 swapFree=0/307264 [pid=27351] ppid=27348 vsize=34148 CPUtime=0.1 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 2870 0 0 0 10 0 0 0 20 0 1 0 49814523 34967552 2688 18446744073709551615 4194304 5747388 140736214727312 140736214723960 4855632 0 0 1 0 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 8537 2688 772 380 0 1955 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 34148 [startup+0.30021 s] /proc/loadavg: 2.11 2.05 2.04 2/185 27351 /proc/meminfo: memFree=31503592/32770624 swapFree=0/307264 [pid=27351] ppid=27348 vsize=37292 CPUtime=0.2 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 3639 0 0 0 19 1 0 0 20 0 1 0 49814523 38187008 3440 18446744073709551615 4194304 5747388 140736214727312 140736214723960 140452444965861 0 0 1 0 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 9323 3440 772 380 0 2741 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 37292 [startup+0.700181 s] /proc/loadavg: 2.11 2.05 2.04 2/185 27351 /proc/meminfo: memFree=31503592/32770624 swapFree=0/307264 [pid=27351] ppid=27348 vsize=47640 CPUtime=0.6 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 6259 0 0 0 59 1 0 0 20 0 1 0 49814523 48783360 6063 18446744073709551615 4194304 5747388 140736214727312 140736214720936 5129567 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 11910 6063 814 380 0 5328 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 47640 [startup+1.50017 s] /proc/loadavg: 2.11 2.05 2.04 3/186 27352 /proc/meminfo: memFree=31482252/32770624 swapFree=0/307276 [pid=27351] ppid=27348 vsize=49136 CPUtime=1.4 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 6660 0 0 0 139 1 0 0 20 0 1 0 49814523 50315264 6435 18446744073709551615 4194304 5747388 140736214727312 140736214724712 5000064 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 12284 6435 814 380 0 5702 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 49136 [startup+3.10017 s] /proc/loadavg: 2.11 2.05 2.04 3/186 27352 /proc/meminfo: memFree=31481632/32770624 swapFree=0/307276 [pid=27351] ppid=27348 vsize=49268 CPUtime=3 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 8482 0 0 0 298 2 0 0 20 0 1 0 49814523 50450432 6500 18446744073709551615 4194304 5747388 140736214727312 140736214724712 5000064 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 12317 6500 815 380 0 5735 0 Current children cumulated CPU time (s) 3 Current children cumulated vsize (KiB) 49268 [startup+6.30017 s] /proc/loadavg: 2.02 2.03 2.04 3/186 27352 /proc/meminfo: memFree=31480424/32770624 swapFree=0/307276 [pid=27351] ppid=27348 vsize=50324 CPUtime=6.2 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 11041 0 0 0 618 2 0 0 20 0 1 0 49814523 51531776 6787 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4873584 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 12581 6787 815 380 0 5999 0 Current children cumulated CPU time (s) 6.2 Current children cumulated vsize (KiB) 50324 [startup+12.7002 s] /proc/loadavg: 2.02 2.03 2.04 3/186 27352 /proc/meminfo: memFree=31477328/32770624 swapFree=0/307276 [pid=27351] ppid=27348 vsize=51512 CPUtime=12.6 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 13781 0 0 0 1258 2 0 0 20 0 1 0 49814523 52748288 7049 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4909378 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 12878 7049 815 380 0 6296 0 Current children cumulated CPU time (s) 12.6 Current children cumulated vsize (KiB) 51512 [startup+25.5002 s] /proc/loadavg: 2.01 2.03 2.04 3/186 27352 /proc/meminfo: memFree=31473712/32770624 swapFree=0/307296 [pid=27351] ppid=27348 vsize=51908 CPUtime=25.4 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 18678 0 0 0 2538 2 0 0 20 0 1 0 49814523 53153792 7182 18446744073709551615 4194304 5747388 140736214727312 140736214724712 5000064 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 12977 7182 815 380 0 6395 0 Current children cumulated CPU time (s) 25.4 Current children cumulated vsize (KiB) 51908 [startup+51.1002 s] /proc/loadavg: 2.01 2.03 2.04 3/186 27353 /proc/meminfo: memFree=31472068/32770624 swapFree=0/307312 [pid=27351] ppid=27348 vsize=52436 CPUtime=50.99 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 21305 0 0 0 5097 2 0 0 20 0 1 0 49814523 53694464 7292 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4906184 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13109 7292 815 380 0 6527 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 52436 [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.04 3/186 27355 /proc/meminfo: memFree=31470664/32770624 swapFree=0/307344 [pid=27351] ppid=27348 vsize=52964 CPUtime=102.19 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 22354 0 0 0 10217 2 0 0 20 0 1 0 49814523 54235136 7435 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4873702 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13241 7435 815 380 0 6659 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 52964 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.04 3/186 27357 /proc/meminfo: memFree=31470280/32770624 swapFree=0/307364 [pid=27351] ppid=27348 vsize=53360 CPUtime=162.18 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 22726 0 0 0 16216 2 0 0 20 0 1 0 49814523 54640640 7532 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4972057 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13340 7532 815 380 0 6758 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 53360 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/186 27359 /proc/meminfo: memFree=31469412/32770624 swapFree=0/307404 [pid=27351] ppid=27348 vsize=53492 CPUtime=222.18 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 23018 0 0 0 22216 2 0 0 20 0 1 0 49814523 54775808 7561 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4912752 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13373 7561 815 380 0 6791 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 53492 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/185 27361 /proc/meminfo: memFree=31469024/32770624 swapFree=0/307424 [pid=27351] ppid=27348 vsize=53492 CPUtime=282.17 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 23285 0 0 0 28215 2 0 0 20 0 1 0 49814523 54775808 7563 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4918793 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13373 7563 815 380 0 6791 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 53492 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/185 27364 /proc/meminfo: memFree=31468256/32770624 swapFree=0/307448 [pid=27351] ppid=27348 vsize=54020 CPUtime=342.16 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 23884 0 0 0 34214 2 0 0 20 0 1 0 49814523 55316480 7645 18446744073709551615 4194304 5747388 140736214727312 140736214724456 5126223 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13505 7645 815 380 0 6923 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 54020 [startup+402.3 s] /proc/loadavg: 2.08 2.03 2.04 3/186 27367 /proc/meminfo: memFree=31467372/32770624 swapFree=0/307476 [pid=27351] ppid=27348 vsize=54832 CPUtime=402.16 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 24589 0 0 0 40214 2 0 0 20 0 1 0 49814523 56147968 7875 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4972760 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13708 7875 815 380 0 7126 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 54832 [startup+462.3 s] /proc/loadavg: 1.95 2.01 2.04 3/189 27383 /proc/meminfo: memFree=31460956/32770624 swapFree=0/307532 [pid=27351] ppid=27348 vsize=55492 CPUtime=462.15 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 25380 0 0 0 46213 2 0 0 20 0 1 0 49814523 56823808 8030 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4905963 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13873 8030 815 380 0 7291 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 55492 [startup+522.3 s] /proc/loadavg: 2.09 2.04 2.05 3/189 27385 /proc/meminfo: memFree=31461892/32770624 swapFree=0/307560 [pid=27351] ppid=27348 vsize=55492 CPUtime=522.15 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 25602 0 0 0 52212 3 0 0 20 0 1 0 49814523 56823808 8074 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4905963 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13873 8074 815 380 0 7291 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 55492 [startup+582.3 s] /proc/loadavg: 2.03 2.03 2.05 3/186 27387 /proc/meminfo: memFree=31465264/32770624 swapFree=0/307576 [pid=27351] ppid=27348 vsize=55492 CPUtime=582.15 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 25824 0 0 0 58212 3 0 0 20 0 1 0 49814523 56823808 8074 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4905989 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 13873 8074 815 380 0 7291 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 55492 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.02 2.02 2.05 3/186 27442 /proc/meminfo: memFree=31460128/32770624 swapFree=0/307952 [pid=27351] ppid=27348 vsize=56284 CPUtime=1542.2 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 29176 0 0 0 154217 3 0 0 20 0 1 0 49814523 57634816 8266 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4954105 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8266 815 380 0 7489 0 Current children cumulated CPU time (s) 1542.2 Current children cumulated vsize (KiB) 56284 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27445 /proc/meminfo: memFree=31460260/32770624 swapFree=0/307980 [pid=27351] ppid=27348 vsize=56284 CPUtime=1602.19 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 29305 0 0 0 160216 3 0 0 20 0 1 0 49814523 57634816 8267 18446744073709551615 4194304 5747388 140736214727312 140736214724712 5000064 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8267 815 380 0 7489 0 Current children cumulated CPU time (s) 1602.19 Current children cumulated vsize (KiB) 56284 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 2.05 3/189 27461 /proc/meminfo: memFree=31454120/32770624 swapFree=0/308016 [pid=27351] ppid=27348 vsize=56284 CPUtime=1662.2 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 29561 0 0 0 166217 3 0 0 20 0 1 0 49814523 57634816 8275 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4911846 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8275 815 380 0 7489 0 Current children cumulated CPU time (s) 1662.2 Current children cumulated vsize (KiB) 56284 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.05 3/189 27488 /proc/meminfo: memFree=31453508/32770624 swapFree=0/308028 [pid=27351] ppid=27348 vsize=56284 CPUtime=1722.2 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 29561 0 0 0 172217 3 0 0 20 0 1 0 49814523 57634816 8275 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4911155 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8275 815 380 0 7489 0 Current children cumulated CPU time (s) 1722.2 Current children cumulated vsize (KiB) 56284 [startup+1782.3 s] /proc/loadavg: 2.05 2.03 2.05 3/190 27491 /proc/meminfo: memFree=31453972/32770624 swapFree=0/308056 [pid=27351] ppid=27348 vsize=56284 CPUtime=1782.21 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 29828 0 0 0 178218 3 0 0 20 0 1 0 49814523 57634816 8275 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4909783 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8275 815 380 0 7489 0 Current children cumulated CPU time (s) 1782.21 Current children cumulated vsize (KiB) 56284 [startup+1842.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 27493 /proc/meminfo: memFree=31457928/32770624 swapFree=0/308076 [pid=27351] ppid=27348 vsize=56284 CPUtime=1842.21 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 29862 0 0 0 184218 3 0 0 20 0 1 0 49814523 57634816 8275 18446744073709551615 4194304 5747388 140736214727312 140736214724712 5126223 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8275 815 380 0 7489 0 Current children cumulated CPU time (s) 1842.21 Current children cumulated vsize (KiB) 56284 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 27496 /proc/meminfo: memFree=31459352/32770624 swapFree=0/308088 [pid=27351] ppid=27348 vsize=56284 CPUtime=1902.22 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 30366 0 0 0 190219 3 0 0 20 0 1 0 49814523 57634816 8278 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4911212 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8278 815 380 0 7489 0 Current children cumulated CPU time (s) 1902.22 Current children cumulated vsize (KiB) 56284 [startup+1962.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 27498 /proc/meminfo: memFree=31459488/32770624 swapFree=0/308100 [pid=27351] ppid=27348 vsize=56284 CPUtime=1962.22 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 30366 0 0 0 196219 3 0 0 20 0 1 0 49814523 57634816 8278 18446744073709551615 4194304 5747388 140736214727312 140736214724712 5126219 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8278 815 380 0 7489 0 Current children cumulated CPU time (s) 1962.22 Current children cumulated vsize (KiB) 56284 [startup+2022.3 s] /proc/loadavg: 2.02 2.03 2.05 3/186 27500 /proc/meminfo: memFree=31459444/32770624 swapFree=0/308124 [pid=27351] ppid=27348 vsize=56284 CPUtime=2022.23 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 30525 0 0 0 202220 3 0 0 20 0 1 0 49814523 57634816 8279 18446744073709551615 4194304 5747388 140736214727312 140736214724712 5126223 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8279 815 380 0 7489 0 Current children cumulated CPU time (s) 2022.23 Current children cumulated vsize (KiB) 56284 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27503 /proc/meminfo: memFree=31459328/32770624 swapFree=0/308152 [pid=27351] ppid=27348 vsize=56284 CPUtime=2082.24 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 30769 0 0 0 208221 3 0 0 20 0 1 0 49814523 57634816 8284 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4873654 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8284 815 380 0 7489 0 Current children cumulated CPU time (s) 2082.24 Current children cumulated vsize (KiB) 56284 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27505 /proc/meminfo: memFree=31459596/32770624 swapFree=0/308172 [pid=27351] ppid=27348 vsize=56284 CPUtime=2142.24 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 30984 0 0 0 214221 3 0 0 20 0 1 0 49814523 57634816 8285 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4909824 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8285 815 380 0 7489 0 Current children cumulated CPU time (s) 2142.24 Current children cumulated vsize (KiB) 56284 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/185 27507 /proc/meminfo: memFree=31459868/32770624 swapFree=0/308184 [pid=27351] ppid=27348 vsize=56284 CPUtime=2202.25 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 30992 0 0 0 220222 3 0 0 20 0 1 0 49814523 57634816 8285 18446744073709551615 4194304 5747388 140736214727312 140736214724712 4906186 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14071 8285 815 380 0 7489 0 Current children cumulated CPU time (s) 2202.25 Current children cumulated vsize (KiB) 56284 [startup+2262.3 s] /proc/loadavg: 2.05 2.03 2.05 3/190 27525 /proc/meminfo: memFree=31455364/32770624 swapFree=0/308248 [pid=27351] ppid=27348 vsize=56416 CPUtime=2262.25 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 31237 0 0 0 226222 3 0 0 20 0 1 0 49814523 57769984 8285 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4917597 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14104 8285 815 380 0 7522 0 Current children cumulated CPU time (s) 2262.25 Current children cumulated vsize (KiB) 56416 [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.05 3/190 27527 /proc/meminfo: memFree=31455112/32770624 swapFree=0/308280 [pid=27351] ppid=27348 vsize=56548 CPUtime=2322.25 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 31574 0 0 0 232222 3 0 0 20 0 1 0 49814523 57905152 8314 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4909472 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14137 8314 815 380 0 7555 0 Current children cumulated CPU time (s) 2322.25 Current children cumulated vsize (KiB) 56548 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27529 /proc/meminfo: memFree=31457248/32770624 swapFree=0/308304 [pid=27351] ppid=27348 vsize=56548 CPUtime=2382.25 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 31817 0 0 0 238222 3 0 0 20 0 1 0 49814523 57905152 8334 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4912736 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14137 8334 815 380 0 7555 0 Current children cumulated CPU time (s) 2382.25 Current children cumulated vsize (KiB) 56548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27590 /proc/meminfo: memFree=31516408/32770624 swapFree=0/308336 [pid=27351] ppid=27348 vsize=56548 CPUtime=2400.06 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 31821 0 0 0 240003 3 0 0 20 0 1 0 49814523 57905152 8334 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4873660 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14137 8334 815 380 0 7555 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 56548 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 27351 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27590 /proc/meminfo: memFree=31516408/32770624 swapFree=0/308336 [pid=27351] ppid=27348 vsize=56548 CPUtime=2400.06 cores=0,2,4,6 /proc/27351/stat : 27351 (cosoco) R 27348 27351 25100 0 -1 4202496 31821 0 0 0 240003 3 0 0 20 0 1 0 49814523 57905152 8334 18446744073709551615 4194304 5747388 140736214727312 140736214724456 4873660 0 0 1 8405026 0 0 0 17 4 0 0 9 0 0 7845728 7850568 26824704 140736214729198 140736214729293 140736214729293 140736214732750 0 /proc/27351/statm: 14137 8334 815 380 0 7555 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 56548 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.07 CPU user time (s): 2400.03 CPU system time (s): 0.037 CPU usage (%): 99.9986 Max. virtual memory (cumulated for all children) (KiB): 56548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.037 maximum resident set size= 33432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31864 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= 14 involuntary context switches= 1437 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.89271 second user time and 8.30956 second system time The end
Begin job on node133 at 2017-08-06 13:32:26 IDJOB=4260085 IDBENCH=120758 IDSOLVER=2647 FILE ID=node133/4260085-1502019992 RUNJOBID= node133-1502014298-25934 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K10-P09.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260085-1502019992/watcher-4260085-1502019992 -o /tmp/evaluation-result-4260085-1502019992/solver-4260085-1502019992 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25934 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260085-1502019992.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d RANDOM SEED=1572778215 node133.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.17 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.17 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.17 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.17 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: 31503856 kB MemAvailable: 31945676 kB Buffers: 190080 kB Cached: 543332 kB SwapCached: 0 kB Active: 512400 kB Inactive: 332184 kB Active(anon): 111188 kB Inactive(anon): 24920 kB Active(file): 401212 kB Inactive(file): 307264 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2104 kB Writeback: 0 kB AnonPages: 110748 kB Mapped: 40528 kB Shmem: 25276 kB Slab: 124616 kB SReclaimable: 98356 kB SUnreclaim: 26260 kB KernelStack: 3312 kB PageTables: 4992 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 365176 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 12288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-06 14:12:26