Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 1.12 | ? (TO) | 2520.0601 | 2519.8999 |
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.51/0.63 c root propagations : 0 0.51/0.63 c restarts enabled, print stats at every restarts 0.51/0.63 c 0.51/0.63 c 0.51/0.63 c 0.51/0.63 c This is cosoco 1.12 -- 0.51/0.63 c 0.51/0.63 c command line: cosoco -lc -model -restarts HOME/instance-4267997-1502511945.xml 0.51/0.63 c ========================================[ Problem Statistics ]=========================================== 0.51/0.63 c | 0.51/0.63 c | Parse time : 0.54 s 0.51/0.63 c | 0.51/0.63 c | Variables: 1070 0.51/0.63 c | Domain Sizes: 485..486 0.51/0.63 c | 0.51/0.63 c | Constraints: 487 0.51/0.63 c | Arity: 3..485 -- Ternary: 485 0.51/0.63 c | 0.51/0.63 c | Types: 0.51/0.63 c | All Different: 2 0.51/0.63 c | Intension: 485 0.51/0.63 c | 0.51/0.63 c ========================================================================================================= 0.51/0.63 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.51/0.63 c remove useless variable ce[0][0][0] 0.51/0.63 c remove useless variable ce[0][1][0] 0.51/0.63 c remove useless variable ce[0][1][1] 0.51/0.63 c remove useless variable ce[0][2][0] 0.51/0.63 c remove useless variable ce[0][2][1] 0.51/0.63 c remove useless variable ce[0][2][2] 0.51/0.63 c remove useless variable ce[0][3][0] 0.51/0.63 c remove useless variable ce[0][3][1] 0.51/0.63 c remove useless variable ce[0][3][2] 0.51/0.63 c remove useless variable ce[0][3][3] 0.51/0.63 c remove useless variable ce[0][4][0] 0.51/0.63 c remove useless variable ce[0][4][1] 0.51/0.63 c remove useless variable ce[0][4][2] 0.51/0.63 c remove useless variable ce[0][4][3] 0.51/0.63 c remove useless variable ce[0][4][4] 0.51/0.63 c remove useless variable ce[0][5][0] 0.51/0.63 c remove useless variable ce[0][5][1] 0.51/0.63 c remove useless variable ce[0][5][2] 0.51/0.63 c remove useless variable ce[0][5][3] 0.51/0.63 c remove useless variable ce[0][5][4] 0.51/0.63 c remove useless variable ce[0][5][5] 0.51/0.63 c remove useless variable ce[0][6][0] 0.51/0.63 c remove useless variable ce[0][6][1] 0.51/0.63 c remove useless variable ce[0][6][2] 0.51/0.63 c remove useless variable ce[0][6][3] 0.51/0.63 c remove useless variable ce[0][6][4] 0.51/0.63 c remove useless variable ce[0][6][5] 0.51/0.63 c remove useless variable ce[0][6][6] 0.51/0.63 c remove useless variable ce[0][7][0] 0.51/0.63 c remove useless variable ce[0][7][1] 0.51/0.63 c remove useless variable ce[0][7][2] 0.51/0.63 c remove useless variable ce[0][7][3] 0.51/0.63 c remove useless variable ce[0][7][4] 0.51/0.63 c remove useless variable ce[0][7][5] 0.51/0.63 c remove useless variable ce[0][7][6] 0.51/0.63 c remove useless variable ce[0][7][7] 0.51/0.63 c remove useless variable ce[0][8][0] 0.51/0.63 c remove useless variable ce[0][8][1] 0.51/0.63 c remove useless variable ce[0][8][2] 0.51/0.63 c remove useless variable ce[0][8][3] 0.51/0.63 c remove useless variable ce[0][8][4] 0.51/0.63 c remove useless variable ce[0][8][5] 0.51/0.63 c remove useless variable ce[0][8][6] 0.51/0.63 c remove useless variable ce[0][8][7] 0.51/0.63 c remove useless variable ce[0][8][8] 0.51/0.63 c remove useless variable ce[0][9][0] 0.51/0.63 c remove useless variable ce[0][9][1] 0.51/0.63 c remove useless variable ce[0][9][2] 0.51/0.63 c remove useless variable ce[0][9][3] 0.51/0.63 c remove useless variable ce[0][9][4] 0.51/0.63 c remove useless variable ce[0][9][5] 0.51/0.63 c remove useless variable ce[0][9][6] 0.51/0.63 c remove useless variable ce[0][9][7] 0.51/0.63 c remove useless variable ce[0][9][8] 0.51/0.63 c remove useless variable ce[0][9][9] 0.51/0.63 c remove useless variable ce[1][0][0] 0.51/0.63 c remove useless variable ce[1][1][0] 0.51/0.63 c remove useless variable ce[1][1][1] 0.51/0.63 c remove useless variable ce[1][2][0] 0.51/0.63 c remove useless variable ce[1][2][1] 0.51/0.63 c remove useless variable ce[1][2][2] 0.51/0.63 c remove useless variable ce[1][3][0] 0.51/0.63 c remove useless variable ce[1][3][1] 0.51/0.63 c remove useless variable ce[1][3][2] 0.51/0.63 c remove useless variable ce[1][3][3] 0.51/0.63 c remove useless variable ce[1][4][0] 0.51/0.63 c remove useless variable ce[1][4][1] 0.51/0.63 c remove useless variable ce[1][4][2] 0.51/0.63 c remove useless variable ce[1][4][3] 0.51/0.63 c remove useless variable ce[1][4][4] 0.51/0.63 c remove useless variable ce[1][5][0] 0.51/0.63 c remove useless variable ce[1][5][1] 0.51/0.63 c remove useless variable ce[1][5][2] 0.51/0.63 c remove useless variable ce[1][5][3] 0.51/0.63 c remove useless variable ce[1][5][4] 0.51/0.63 c remove useless variable ce[1][5][5] 0.51/0.63 c remove useless variable ce[1][6][0] 0.51/0.63 c remove useless variable ce[1][6][1] 0.51/0.63 c remove useless variable ce[1][6][2] 0.51/0.63 c remove useless variable ce[1][6][3] 0.51/0.63 c remove useless variable ce[1][6][4] 0.51/0.63 c remove useless variable ce[1][6][5] 0.51/0.63 c remove useless variable ce[1][6][6] 0.51/0.63 c remove useless variable ce[1][7][0] 0.51/0.63 c remove useless variable ce[1][7][1] 0.51/0.63 c remove useless variable ce[1][7][2] 0.51/0.63 c remove useless variable ce[1][7][3] 0.51/0.63 c remove useless variable ce[1][7][4] 0.51/0.63 c remove useless variable ce[1][7][5] 0.51/0.63 c remove useless variable ce[1][7][6] 0.51/0.63 c remove useless variable ce[1][7][7] 0.51/0.63 c remove useless variable ce[1][8][0] 0.51/0.63 c remove useless variable ce[1][8][1] 0.51/0.63 c remove useless variable ce[1][8][2] 0.51/0.63 c remove useless variable ce[1][8][3] 0.51/0.63 c remove useless variable ce[1][8][4] 0.51/0.63 c remove useless variable ce[1][8][5] 0.51/0.63 c remove useless variable ce[1][8][6] 0.51/0.63 c remove useless variable ce[1][8][7] 0.51/0.63 c remove useless variable ce[1][8][8] 0.51/0.63 c remove useless variable ce[1][9][0] 0.51/0.63 c remove useless variable ce[1][9][1] 0.51/0.63 c remove useless variable ce[1][9][2] 0.51/0.63 c remove useless variable ce[1][9][3] 0.51/0.63 c remove useless variable ce[1][9][4] 0.51/0.63 c remove useless variable ce[1][9][5] 0.51/0.63 c remove useless variable ce[1][9][6] 0.51/0.63 c remove useless variable ce[1][9][7] 0.51/0.63 c remove useless variable ce[1][9][8] 0.51/0.63 c remove useless variable ce[1][9][9] 0.51/0.63 c remove useless variable ce[2][0][0] 0.51/0.63 c remove useless variable ce[2][1][0] 0.51/0.63 c remove useless variable ce[2][1][1] 0.51/0.63 c remove useless variable ce[2][2][0] 0.51/0.63 c remove useless variable ce[2][2][1] 0.51/0.63 c remove useless variable ce[2][2][2] 0.51/0.63 c remove useless variable ce[2][3][0] 0.51/0.63 c remove useless variable ce[2][3][1] 0.51/0.63 c remove useless variable ce[2][3][2] 0.51/0.63 c remove useless variable ce[2][3][3] 0.51/0.63 c remove useless variable ce[2][4][0] 0.51/0.63 c remove useless variable ce[2][4][1] 0.51/0.63 c remove useless variable ce[2][4][2] 0.51/0.63 c remove useless variable ce[2][4][3] 0.51/0.63 c remove useless variable ce[2][4][4] 0.51/0.63 c remove useless variable ce[2][5][0] 0.51/0.63 c remove useless variable ce[2][5][1] 0.51/0.63 c remove useless variable ce[2][5][2] 0.51/0.63 c remove useless variable ce[2][5][3] 0.51/0.63 c remove useless variable ce[2][5][4] 0.51/0.63 c remove useless variable ce[2][5][5] 0.51/0.63 c remove useless variable ce[2][6][0] 0.51/0.63 c remove useless variable ce[2][6][1] 0.51/0.63 c remove useless variable ce[2][6][2] 0.51/0.63 c remove useless variable ce[2][6][3] 0.51/0.63 c remove useless variable ce[2][6][4] 0.51/0.63 c remove useless variable ce[2][6][5] 0.51/0.63 c remove useless variable ce[2][6][6] 0.51/0.63 c remove useless variable ce[2][7][0] 0.51/0.63 c remove useless variable ce[2][7][1] 0.51/0.63 c remove useless variable ce[2][7][2] 0.51/0.63 c remove useless variable ce[2][7][3] 0.51/0.63 c remove useless variable ce[2][7][4] 0.51/0.63 c remove useless variable ce[2][7][5] 0.51/0.63 c remove useless variable ce[2][7][6] 0.51/0.63 c remove useless variable ce[2][7][7] 0.51/0.63 c remove useless variable ce[2][8][0] 0.51/0.63 c remove useless variable ce[2][8][1] 0.51/0.63 c remove useless variable ce[2][8][2] 0.51/0.63 c remove useless variable ce[2][8][3] 0.51/0.63 c remove useless variable ce[2][8][4] 0.51/0.63 c remove useless variable ce[2][8][5] 0.51/0.63 c remove useless variable ce[2][8][6] 0.51/0.63 c remove useless variable ce[2][8][7] 0.51/0.63 c remove useless variable ce[2][8][8] 0.51/0.63 c remove useless variable ce[2][9][0] 0.51/0.63 c remove useless variable ce[2][9][1] 0.51/0.63 c remove useless variable ce[2][9][2] 0.51/0.63 c remove useless variable ce[2][9][3] 0.51/0.63 c remove useless variable ce[2][9][4] 0.51/0.63 c remove useless variable ce[2][9][5] 0.51/0.63 c remove useless variable ce[2][9][6] 0.51/0.63 c remove useless variable ce[2][9][7] 0.51/0.63 c remove useless variable ce[2][9][8] 0.51/0.63 c remove useless variable ce[2][9][9] 0.51/0.63 c remove useless variable ce[3][0][0] 0.51/0.63 c remove useless variable ce[3][1][0] 0.51/0.63 c remove useless variable ce[3][1][1] 0.51/0.63 c remove useless variable ce[3][2][0] 0.51/0.63 c remove useless variable ce[3][2][1] 0.51/0.63 c remove useless variable ce[3][2][2] 0.51/0.63 c remove useless variable ce[3][3][0] 0.51/0.63 c remove useless variable ce[3][3][1] 0.51/0.63 c remove useless variable ce[3][3][2] 0.51/0.63 c remove useless variable ce[3][3][3] 0.51/0.63 c remove useless variable ce[3][4][0] 0.51/0.63 c remove useless variable ce[3][4][1] 0.51/0.63 c remove useless variable ce[3][4][2] 0.51/0.63 c remove useless variable ce[3][4][3] 0.51/0.63 c remove useless variable ce[3][4][4] 0.51/0.63 c remove useless variable ce[3][5][0] 0.51/0.63 c remove useless variable ce[3][5][1] 0.51/0.63 c remove useless variable ce[3][5][2] 0.51/0.63 c remove useless variable ce[3][5][3] 0.51/0.63 c remove useless variable ce[3][5][4] 0.51/0.63 c remove useless variable ce[3][5][5] 0.51/0.63 c remove useless variable ce[3][6][0] 0.51/0.63 c remove useless variable ce[3][6][1] 0.51/0.63 c remove useless variable ce[3][6][2] 0.51/0.63 c remove useless variable ce[3][6][3] 0.51/0.63 c remove useless variable ce[3][6][4] 0.51/0.63 c remove useless variable ce[3][6][5] 0.51/0.63 c remove useless variable ce[3][6][6] 0.51/0.63 c remove useless variable ce[3][7][0] 0.51/0.63 c remove useless variable ce[3][7][1] 0.51/0.63 c remove useless variable ce[3][7][2] 0.51/0.63 c remove useless variable ce[3][7][3] 0.51/0.63 c remove useless variable ce[3][7][4] 0.51/0.63 c remove useless variable ce[3][7][5] 0.51/0.63 c remove useless variable ce[3][7][6] 0.51/0.63 c remove useless variable ce[3][7][7] 0.51/0.63 c remove useless variable ce[3][8][0] 0.51/0.63 c remove useless variable ce[3][8][1] 0.51/0.63 c remove useless variable ce[3][8][2] 0.51/0.63 c remove useless variable ce[3][8][3] 0.51/0.63 c remove useless variable ce[3][8][4] 0.51/0.63 c remove useless variable ce[3][8][5] 0.51/0.63 c remove useless variable ce[3][8][6] 0.51/0.63 c remove useless variable ce[3][8][7] 0.51/0.63 c remove useless variable ce[3][8][8] 0.51/0.63 c remove useless variable ce[3][9][0] 0.51/0.63 c remove useless variable ce[3][9][1] 0.51/0.63 c remove useless variable ce[3][9][2] 0.51/0.63 c remove useless variable ce[3][9][3] 0.51/0.63 c remove useless variable ce[3][9][4] 0.51/0.63 c remove useless variable ce[3][9][5] 0.51/0.63 c remove useless variable ce[3][9][6] 0.51/0.63 c remove useless variable ce[3][9][7] 0.51/0.63 c remove useless variable ce[3][9][8] 0.51/0.63 c remove useless variable ce[3][9][9] 0.51/0.63 c remove useless variable ce[4][0][0] 0.51/0.63 c remove useless variable ce[4][1][0] 0.51/0.63 c remove useless variable ce[4][1][1] 0.51/0.63 c remove useless variable ce[4][2][0] 0.51/0.63 c remove useless variable ce[4][2][1] 0.51/0.63 c remove useless variable ce[4][2][2] 0.51/0.63 c remove useless variable ce[4][3][0] 0.51/0.63 c remove useless variable ce[4][3][1] 0.51/0.63 c remove useless variable ce[4][3][2] 0.51/0.63 c remove useless variable ce[4][3][3] 0.51/0.63 c remove useless variable ce[4][4][0] 0.51/0.63 c remove useless variable ce[4][4][1] 0.51/0.63 c remove useless variable ce[4][4][2] 0.51/0.63 c remove useless variable ce[4][4][3] 0.51/0.63 c remove useless variable ce[4][4][4] 0.51/0.63 c remove useless variable ce[4][5][0] 0.51/0.63 c remove useless variable ce[4][5][1] 0.51/0.63 c remove useless variable ce[4][5][2] 0.51/0.63 c remove useless variable ce[4][5][3] 0.51/0.63 c remove useless variable ce[4][5][4] 0.51/0.63 c remove useless variable ce[4][5][5] 0.51/0.63 c remove useless variable ce[4][6][0] 0.51/0.63 c remove useless variable ce[4][6][1] 0.51/0.63 c remove useless variable ce[4][6][2] 0.51/0.63 c remove useless variable ce[4][6][3] 0.51/0.63 c remove useless variable ce[4][6][4] 0.51/0.63 c remove useless variable ce[4][6][5] 0.51/0.63 c remove useless variable ce[4][6][6] 0.51/0.63 c remove useless variable ce[4][7][0] 0.51/0.63 c remove useless variable ce[4][7][1] 0.51/0.63 c remove useless variable ce[4][7][2] 0.51/0.63 c remove useless variable ce[4][7][3] 0.51/0.63 c remove useless variable ce[4][7][4] 0.51/0.63 c remove useless variable ce[4][7][5] 0.51/0.63 c remove useless variable ce[4][7][6] 0.51/0.63 c remove useless variable ce[4][7][7] 0.51/0.63 c remove useless variable ce[4][8][0] 0.51/0.63 c remove useless variable ce[4][8][1] 0.51/0.63 c remove useless variable ce[4][8][2] 0.51/0.63 c remove useless variable ce[4][8][3] 0.51/0.63 c remove useless variable ce[4][8][4] 0.51/0.63 c remove useless variable ce[4][8][5] 0.51/0.63 c remove useless variable ce[4][8][6] 0.51/0.63 c remove useless variable ce[4][8][7] 0.51/0.63 c remove useless variable ce[4][8][8] 0.51/0.63 c remove useless variable ce[4][9][0] 0.51/0.63 c remove useless variable ce[4][9][1] 0.51/0.63 c remove useless variable ce[4][9][2] 0.51/0.63 c remove useless variable ce[4][9][3] 0.51/0.63 c remove useless variable ce[4][9][4] 0.51/0.63 c remove useless variable ce[4][9][5] 0.51/0.63 c remove useless variable ce[4][9][6] 0.51/0.63 c remove useless variable ce[4][9][7] 0.51/0.63 c remove useless variable ce[4][9][8] 0.51/0.63 c remove useless variable ce[4][9][9] 0.51/0.63 c remove useless variable ce[5][0][0] 0.51/0.63 c remove useless variable ce[5][1][0] 0.51/0.63 c remove useless variable ce[5][1][1] 0.51/0.63 c remove useless variable ce[5][2][0] 0.51/0.63 c remove useless variable ce[5][2][1] 0.51/0.63 c remove useless variable ce[5][2][2] 0.51/0.63 c remove useless variable ce[5][3][0] 0.51/0.63 c remove useless variable ce[5][3][1] 0.51/0.63 c remove useless variable ce[5][3][2] 0.51/0.63 c remove useless variable ce[5][3][3] 0.51/0.63 c remove useless variable ce[5][4][0] 0.51/0.63 c remove useless variable ce[5][4][1] 0.51/0.63 c remove useless variable ce[5][4][2] 0.51/0.63 c remove useless variable ce[5][4][3] 0.51/0.63 c remove useless variable ce[5][4][4] 0.51/0.63 c remove useless variable ce[5][5][0] 0.51/0.63 c remove useless variable ce[5][5][1] 0.51/0.63 c remove useless variable ce[5][5][2] 0.51/0.63 c remove useless variable ce[5][5][3] 0.51/0.63 c remove useless variable ce[5][5][4] 0.51/0.63 c remove useless variable ce[5][5][5] 0.51/0.63 c remove useless variable ce[5][6][0] 0.51/0.63 c remove useless variable ce[5][6][1] 0.51/0.63 c remove useless variable ce[5][6][2] 0.51/0.63 c remove useless variable ce[5][6][3] 0.51/0.63 c remove useless variable ce[5][6][4] 0.51/0.63 c remove useless variable ce[5][6][5] 0.51/0.63 c remove useless variable ce[5][6][6] 0.51/0.63 c remove useless variable ce[5][7][0] 0.51/0.63 c remove useless variable ce[5][7][1] 0.51/0.63 c remove useless variable ce[5][7][2] 0.51/0.63 c remove useless variable ce[5][7][3] 0.51/0.63 c remove useless variable ce[5][7][4] 0.51/0.63 c remove useless variable ce[5][7][5] 0.51/0.63 c remove useless variable ce[5][7][6] 0.51/0.63 c remove useless variable ce[5][7][7] 0.51/0.63 c remove useless variable ce[5][8][0] 0.51/0.63 c remove useless variable ce[5][8][1] 0.51/0.63 c remove useless variable ce[5][8][2] 0.51/0.63 c remove useless variable ce[5][8][3] 0.51/0.63 c remove useless variable ce[5][8][4] 0.51/0.63 c remove useless variable ce[5][8][5] 0.51/0.63 c remove useless variable ce[5][8][6] 0.51/0.63 c remove useless variable ce[5][8][7] 0.51/0.63 c remove useless variable ce[5][8][8] 0.51/0.63 c remove useless variable ce[5][9][0] 0.51/0.63 c remove useless variable ce[5][9][1] 0.51/0.63 c remove useless variable ce[5][9][2] 0.51/0.63 c remove useless variable ce[5][9][3] 0.51/0.63 c remove useless variable ce[5][9][4] 0.51/0.63 c remove useless variable ce[5][9][5] 0.51/0.63 c remove useless variable ce[5][9][6] 0.51/0.63 c remove useless variable ce[5][9][7] 0.51/0.63 c remove useless variable ce[5][9][8] 0.51/0.63 c remove useless variable ce[5][9][9] 0.51/0.63 c remove useless variable ce[6][0][0] 0.51/0.63 c remove useless variable ce[6][1][0] 0.51/0.63 c remove useless variable ce[6][1][1] 0.51/0.63 c remove useless variable ce[6][2][0] 0.51/0.63 c remove useless variable ce[6][2][1] 0.51/0.63 c remove useless variable ce[6][2][2] 0.51/0.63 c remove useless variable ce[6][3][0] 0.51/0.63 c remove useless variable ce[6][3][1] 0.51/0.63 c remove useless variable ce[6][3][2] 0.51/0.63 c remove useless variable ce[6][3][3] 0.51/0.63 c remove useless variable ce[6][4][0] 0.51/0.63 c remove useless variable ce[6][4][1] 0.51/0.63 c remove useless variable ce[6][4][2] 0.51/0.63 c remove useless variable ce[6][4][3] 0.51/0.63 c remove useless variable ce[6][4][4] 0.51/0.63 c remove useless variable ce[6][5][0] 0.51/0.63 c remove useless variable ce[6][5][1] 0.51/0.63 c remove useless variable ce[6][5][2] 0.51/0.63 c remove useless variable ce[6][5][3] 0.51/0.63 c remove useless variable ce[6][5][4] 0.51/0.63 c remove useless variable ce[6][5][5] 0.51/0.63 c remove useless variable ce[6][6][0] 0.51/0.63 c remove useless variable ce[6][6][1] 0.51/0.63 c remove useless variable ce[6][6][2] 0.51/0.63 c remove useless variable ce[6][6][3] 0.51/0.63 c remove useless variable ce[6][6][4] 0.51/0.63 c remove useless variable ce[6][6][5] 0.51/0.63 c remove useless variable ce[6][6][6] 0.51/0.63 c remove useless variable ce[6][7][0] 0.51/0.63 c remove useless variable ce[6][7][1] 0.51/0.63 c remove useless variable ce[6][7][2] 0.51/0.63 c remove useless variable ce[6][7][3] 0.51/0.63 c remove useless variable ce[6][7][4] 0.51/0.63 c remove useless variable ce[6][7][5] 0.51/0.63 c remove useless variable ce[6][7][6] 0.51/0.63 c remove useless variable ce[6][7][7] 0.51/0.63 c remove useless variable ce[6][8][0] 0.51/0.63 c remove useless variable ce[6][8][1] 0.51/0.63 c remove useless variable ce[6][8][2] 0.51/0.63 c remove useless variable ce[6][8][3] 0.51/0.63 c remove useless variable ce[6][8][4] 0.51/0.63 c remove useless variable ce[6][8][5] 0.51/0.63 c remove useless variable ce[6][8][6] 0.51/0.63 c remove useless variable ce[6][8][7] 0.51/0.63 c remove useless variable ce[6][8][8] 0.51/0.63 c remove useless variable ce[6][9][0] 0.51/0.63 c remove useless variable ce[6][9][1] 0.51/0.63 c remove useless variable ce[6][9][2] 0.51/0.63 c remove useless variable ce[6][9][3] 0.51/0.63 c remove useless variable ce[6][9][4] 0.51/0.63 c remove useless variable ce[6][9][5] 0.51/0.63 c remove useless variable ce[6][9][6] 0.51/0.63 c remove useless variable ce[6][9][7] 0.51/0.63 c remove useless variable ce[6][9][8] 0.51/0.63 c remove useless variable ce[6][9][9] 0.51/0.63 c remove useless variable ce[7][0][0] 0.51/0.63 c remove useless variable ce[7][1][0] 0.51/0.63 c remove useless variable ce[7][1][1] 0.51/0.63 c remove useless variable ce[7][2][0] 0.51/0.63 c remove useless variable ce[7][2][1] 0.51/0.63 c remove useless variable ce[7][2][2] 0.51/0.63 c remove useless variable ce[7][3][0] 0.51/0.63 c remove useless variable ce[7][3][1] 0.51/0.63 c remove useless variable ce[7][3][2] 0.51/0.63 c remove useless variable ce[7][3][3] 0.51/0.63 c remove useless variable ce[7][4][0] 0.51/0.63 c remove useless variable ce[7][4][1] 0.51/0.63 c remove useless variable ce[7][4][2] 0.51/0.63 c remove useless variable ce[7][4][3] 0.51/0.63 c remove useless variable ce[7][4][4] 0.51/0.63 c remove useless variable ce[7][5][0] 0.51/0.63 c remove useless variable ce[7][5][1] 0.51/0.63 c remove useless variable ce[7][5][2] 0.51/0.63 c remove useless variable ce[7][5][3] 0.51/0.63 c remove useless variable ce[7][5][4] 0.51/0.63 c remove useless variable ce[7][5][5] 0.51/0.63 c remove useless variable ce[7][6][0] 0.51/0.63 c remove useless variable ce[7][6][1] 0.51/0.63 c remove useless variable ce[7][6][2] 0.51/0.63 c remove useless variable ce[7][6][3] 0.51/0.63 c remove useless variable ce[7][6][4] 0.51/0.63 c remove useless variable ce[7][6][5] 0.51/0.63 c remove useless variable ce[7][6][6] 0.51/0.63 c remove useless variable ce[7][7][0] 0.51/0.63 c remove useless variable ce[7][7][1] 0.51/0.63 c remove useless variable ce[7][7][2] 0.51/0.63 c remove useless variable ce[7][7][3] 0.51/0.63 c remove useless variable ce[7][7][4] 0.51/0.63 c remove useless variable ce[7][7][5] 0.51/0.63 c remove useless variable ce[7][7][6] 0.51/0.63 c remove useless variable ce[7][7][7] 0.51/0.63 c remove useless variable ce[7][8][0] 0.51/0.63 c remove useless variable ce[7][8][1] 0.51/0.63 c remove useless variable ce[7][8][2] 0.51/0.63 c remove useless variable ce[7][8][3] 0.51/0.63 c remove useless variable ce[7][8][4] 0.51/0.63 c remove useless variable ce[7][8][5] 0.51/0.63 c remove useless variable ce[7][8][6] 0.51/0.63 c remove useless variable ce[7][8][7] 0.51/0.63 c remove useless variable ce[7][8][8] 0.51/0.63 c remove useless variable ce[7][9][0] 0.51/0.63 c remove useless variable ce[7][9][1] 0.51/0.63 c remove useless variable ce[7][9][2] 0.51/0.63 c remove useless variable ce[7][9][3] 0.51/0.63 c remove useless variable ce[7][9][4] 0.51/0.63 c remove useless variable ce[7][9][5] 0.51/0.63 c remove useless variable ce[7][9][6] 0.51/0.63 c remove useless variable ce[7][9][7] 0.51/0.63 c remove useless variable ce[7][9][8] 0.51/0.63 c remove useless variable ce[7][9][9] 0.51/0.63 c remove useless variable ce[8][0][0] 0.51/0.63 c remove useless variable ce[8][1][0] 0.51/0.63 c remove useless variable ce[8][1][1] 0.51/0.63 c remove useless variable ce[8][2][0] 0.51/0.63 c remove useless variable ce[8][2][1] 0.51/0.63 c remove useless variable ce[8][2][2] 0.51/0.63 c remove useless variable ce[8][3][0] 0.51/0.63 c remove useless variable ce[8][3][1] 0.51/0.63 c remove useless variable ce[8][3][2] 0.51/0.63 c remove useless variable ce[8][3][3] 0.51/0.63 c remove useless variable ce[8][4][0] 0.51/0.63 c remove useless variable ce[8][4][1] 0.51/0.63 c remove useless variable ce[8][4][2] 0.51/0.63 c remove useless variable ce[8][4][3] 0.51/0.63 c remove useless variable ce[8][4][4] 0.51/0.63 c remove useless variable ce[8][5][0] 0.51/0.63 c remove useless variable ce[8][5][1] 0.51/0.63 c remove useless variable ce[8][5][2] 0.51/0.63 c remove useless variable ce[8][5][3] 0.51/0.63 c remove useless variable ce[8][5][4] 0.51/0.63 c remove useless variable ce[8][5][5] 0.51/0.63 c remove useless variable ce[8][6][0] 0.51/0.63 c remove useless variable ce[8][6][1] 0.51/0.63 c remove useless variable ce[8][6][2] 0.51/0.63 c remove useless variable ce[8][6][3] 0.51/0.63 c remove useless variable ce[8][6][4] 0.51/0.63 c remove useless variable ce[8][6][5] 0.51/0.63 c remove useless variable ce[8][6][6] 0.51/0.63 c remove useless variable ce[8][7][0] 0.51/0.63 c remove useless variable ce[8][7][1] 0.51/0.63 c remove useless variable ce[8][7][2] 0.51/0.63 c remove useless variable ce[8][7][3] 0.51/0.63 c remove useless variable ce[8][7][4] 0.51/0.63 c remove useless variable ce[8][7][5] 0.51/0.63 c remove useless variable ce[8][7][6] 0.51/0.63 c remove useless variable ce[8][7][7] 0.51/0.63 c remove useless variable ce[8][8][0] 0.51/0.63 c remove useless variable ce[8][8][1] 0.51/0.63 c remove useless variable ce[8][8][2] 0.51/0.63 c remove useless variable ce[8][8][3] 0.51/0.63 c remove useless variable ce[8][8][4] 0.51/0.63 c remove useless variable ce[8][8][5] 0.51/0.63 c remove useless variable ce[8][8][6] 0.51/0.63 c remove useless variable ce[8][8][7] 0.51/0.63 c remove useless variable ce[8][8][8] 0.51/0.63 c remove useless variable ce[8][9][0] 0.51/0.63 c remove useless variable ce[8][9][1] 0.51/0.63 c remove useless variable ce[8][9][2] 0.51/0.63 c remove useless variable ce[8][9][3] 0.51/0.63 c remove useless variable ce[8][9][4] 0.51/0.63 c remove useless variable ce[8][9][5] 0.51/0.63 c remove useless variable ce[8][9][6] 0.51/0.63 c remove useless variable ce[8][9][7] 0.51/0.63 c remove useless variable ce[8][9][8] 0.51/0.63 c remove useless variable ce[8][9][9] 0.81/0.97 c 101 586 120050 123899 0 0 486 486 481 1.21/1.30 c 211 1021 225313 302319 0 0 4 326 320 1.51/1.69 c 332 1484 333988 966740 0 0 6 343 321 1.61/1.72 c 465 1646 341509 1104087 0 0 5 30 22 1.91/2.02 c 611 2051 427601 1422710 0 0 4 260 101 2.11/2.27 c 771 2431 495888 1736857 0 0 8 221 43 2.21/2.32 c 947 2650 505006 1996073 0 0 4 44 30 2.31/2.40 c 1140 2899 513406 2324870 0 0 8 57 39 2.31/2.45 c 1352 3160 521939 2672213 0 0 4 50 37 2.41/2.52 c 1585 3449 530680 3082040 0 0 5 57 38 2.61/2.79 c 1841 3935 598115 3664062 0 0 7 231 45 3.01/3.12 c 2122 4548 682906 4257196 0 0 8 333 155 3.32/3.46 c 2431 5186 759597 5066498 0 0 9 330 100 3.82/3.90 c 2770 6010 883730 6018866 0 0 486 486 484 4.02/4.14 c 3142 6428 905244 7068677 0 0 6 47 45 4.42/4.54 c 3551 6880 926184 9314642 0 0 8 44 43 4.72/4.85 c 4000 7403 941225 10871607 0 0 7 75 63 4.92/5.02 c 4493 7910 961041 11809187 0 0 13 14 12 5.22/5.35 c 5035 8511 986101 13607451 0 0 50 59 58 5.42/5.59 c 5631 9201 1012369 14591434 0 0 7 92 19 5.82/5.91 c 6286 9915 1033779 16041058 0 0 5 59 56 6.82/6.96 c 7006 10938 1117300 20735610 0 0 6 303 92 7.42/7.57 c 7798 11764 1157651 23345105 0 0 12 34 33 7.52/7.69 c 8669 12652 1186402 24185951 0 0 8 17 16 8.12/8.21 c 9627 13690 1222471 26612113 0 0 12 70 68 8.72/8.86 c 10680 14770 1273662 29785893 0 0 8 20 18 9.12/9.20 c 11838 15986 1310984 31709780 0 0 11 57 56 9.42/9.53 c 13111 17276 1350116 33938209 0 0 16 16 15 9.72/9.85 c 14511 18694 1393343 35949064 0 0 17 17 16 10.12/10.21 c 16051 20330 1438655 38022624 0 0 12 77 74 10.42/10.54 c 17745 22039 1489089 40199223 0 0 5 13 12 12.32/12.45 c 19608 24013 1553133 51966238 0 0 7 82 79 12.62/12.70 c 21657 26076 1612670 53903104 0 0 11 11 10 13.12/13.28 c 23910 28373 1689267 57389255 0 0 41 41 40 14.02/14.19 c 26388 30897 1762457 63251234 0 0 5 42 34 14.62/14.78 c 29113 33657 1844666 67478741 0 0 12 16 15 15.22/15.40 c 32110 36678 1929140 71793950 0 0 9 19 18 16.31/16.45 c 35406 40305 2085905 77040246 0 0 5 323 46 17.01/17.15 c 39031 43949 2194121 81725773 0 0 13 13 12 23.21/23.31 c 43018 48058 2334525 114323731 0 0 4 67 65 23.71/23.80 c 47403 52461 2460518 118456266 0 0 10 10 9 24.61/24.71 c 52226 57310 2597501 124553994 0 0 4 17 16 25.51/25.67 c 57531 62657 2750855 131125861 0 0 7 10 9 31.01/31.10 c 63366 68542 2948686 154523180 0 0 4 38 30 33.81/33.96 c 69784 75006 3152472 171607384 0 0 3 33 27 36.71/36.82 c 76843 82198 3323169 193839182 0 0 5 54 44 43.41/43.56 c 84607 90016 3571658 238421275 0 0 6 38 37 47.01/47.10 c 93147 98768 3800894 267393459 0 0 5 33 32 52.21/52.36 c 102541 108532 4089443 295984833 0 0 4 337 142 55.31/55.42 c 112874 119247 4300879 313950317 0 0 5 339 190 60.41/60.57 c 124240 130732 4541439 348597438 0 0 5 94 92 61.80/61.96 c 136742 143270 4895129 360385335 0 0 11 11 10 64.30/64.45 c 150494 157071 5273774 377991388 0 0 4 21 19 71.61/71.76 c 165621 172259 5712071 430174904 0 0 5 30 29 78.41/78.55 c 182260 189458 6138569 480042367 0 0 5 57 56 84.31/84.46 c 200562 207838 6624860 527798673 0 0 5 40 39 92.81/92.97 c 220694 228055 7141963 588082123 0 0 4 42 41 97.61/97.71 c 242839 250701 7777349 623130885 0 0 4 32 31 101.01/101.11 c 267198 275564 7957074 635851258 0 0 4 346 340 116.91/117.06 c 293992 302592 8572523 754629650 0 0 3 90 87 122.41/122.50 c 323465 332160 9432971 792614347 0 0 4 33 32 128.21/128.38 c 355885 364672 10300006 833583768 0 0 4 24 23 143.21/143.34 c 391547 400442 11259020 948630475 0 0 4 32 31 162.11/162.23 c 430775 439801 12374407 1085536605 0 0 7 46 45 171.11/171.29 c 473925 483090 13561449 1155065260 0 0 4 46 45 194.42/194.54 c 521390 532083 14851970 1341691377 0 0 4 73 72 211.92/212.08 c 573601 584433 16654241 1435361205 0 0 4 31 30 239.62/239.76 c 631033 642031 18289008 1650680482 0 0 5 42 41 253.12/253.26 c 694208 705382 19955138 1740891228 0 0 5 39 38 287.92/288.03 c 763700 775070 21930394 1996482333 0 0 7 45 44 318.23/318.31 c 840141 852912 23868130 2238139027 0 0 7 66 65 363.13/363.22 c 924226 938007 25165718 2600239061 0 0 3 368 359 390.73/390.88 c 1016719 1032007 26127064 2801094008 0 0 3 394 367 419.24/419.38 c 1118461 1134214 26955318 2966219392 0 0 3 166 164 454.05/454.12 c 1230377 1247367 27938339 3170354569 0 0 3 244 225 593.76/593.84 c 1353484 1374071 32109043 4015230146 0 0 6 220 102 636.87/636.92 c 1488901 1512633 33704903 4308581334 0 0 6 231 215 659.57/659.63 c 1637859 1661941 37575949 4478009382 0 0 7 30 29 740.28/740.32 c 1801712 1827955 42395063 5057614785 0 0 4 38 37 812.48/812.55 c 1981950 2013106 46486981 5661793636 0 0 4 78 77 884.79/884.85 c 2180211 2215391 51334527 6218088062 0 0 4 92 91 993.80/993.85 c 2398298 2434855 57744778 6999874155 0 0 10 13 12 1042.30/1042.34 c 2638193 2675681 63807318 7304449215 0 0 4 81 31 1241.93/1241.98 c 2902077 2940433 68977596 8668509819 0 0 3 133 131 1273.63/1273.63 c 3192349 3231313 77723900 8941714056 0 0 8 9 8 1309.73/1309.74 c 3511648 3551292 87072951 9242685875 0 0 4 13 12 1561.25/1561.23 c 3862876 3903340 98437811 10309035500 0 0 5 44 43 1893.49/1893.48 c 4249226 4290649 109313180 12341201379 0 0 5 61 60 2037.50/2037.42 c 4674211 4716781 117266003 13410874109 0 0 5 120 119 2231.82/2231.72 c 5141694 5185366 128635596 15008821252 0 0 5 78 75 2312.03/2311.90 c 5655925 5700937 140846975 15542340347 0 0 10 160 36 2520.05/2519.90 2520.05/2519.90 c *** INTERRUPTED *** 2520.05/2519.90 c restarts : 91 2520.05/2519.90 c conflicts : 6005776 (2383 /sec) 2520.05/2519.90 c decisions : 6058118 (2404 /sec) 2520.05/2519.90 c propagations : 16789731498 (6662498 /sec) 2520.05/2519.90 c root propagations : 0 2520.05/2519.90 c filter calls : 146796513 (58252 /sec) 2520.05/2519.90 c useless filter calls : 103189684 (70 %) 2520.05/2519.90 c Memory used : 55.58 MB 2520.05/2519.90 c CPU time : 2520.04 s 2520.05/2519.90 2520.05/2519.90 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-4267997-1502511945/watcher-4267997-1502511945 -o /tmp/evaluation-result-4267997-1502511945/solver-4267997-1502511945 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267997-1502511945.xml pid=27274 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.08 2.03 2.01 1/180 27277 /proc/meminfo: memFree=31237432/32770624 swapFree=0/519772 [pid=27277] ppid=27274 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/27277/stat : 27277 (runsolver) D 27274 27277 21984 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53415227 24240128 107 18446744073709551615 4194304 4338465 140725210378800 140725210376440 140312319120087 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 19509248 140725210382529 140725210382921 140725210382921 140725210386378 0 /proc/27277/statm: 5918 107 54 36 0 2156 0 [startup+0.100135 s] /proc/loadavg: 2.08 2.03 2.01 1/180 27277 /proc/meminfo: memFree=31237432/32770624 swapFree=0/519772 [pid=27277] ppid=27274 vsize=31744 CPUtime=0.01 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 2215 0 0 0 1 0 0 0 20 0 1 0 53415227 32505856 2034 18446744073709551615 4194304 5972588 140727814239984 140727814236632 140695278326696 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 7936 2034 785 435 0 1299 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 31744 [startup+0.200312 s] /proc/loadavg: 2.08 2.03 2.01 1/180 27277 /proc/meminfo: memFree=31237432/32770624 swapFree=0/519772 [pid=27277] ppid=27274 vsize=34636 CPUtime=0.11 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 2959 0 0 0 11 0 0 0 20 0 1 0 53415227 35467264 2770 18446744073709551615 4194304 5972588 140727814239984 140727814236632 140695278614713 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 8692 2770 787 435 0 2055 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 34636 [startup+0.300213 s] /proc/loadavg: 2.08 2.03 2.01 1/180 27277 /proc/meminfo: memFree=31237432/32770624 swapFree=0/519772 [pid=27277] ppid=27274 vsize=37640 CPUtime=0.21 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 3704 0 0 0 21 0 0 0 20 0 1 0 53415227 38543360 3523 18446744073709551615 4194304 5972588 140727814239984 140727814236632 140695268973541 0 0 1 0 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 9410 3523 787 435 0 2773 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 37640 [startup+0.700207 s] /proc/loadavg: 2.08 2.03 2.01 1/180 27277 /proc/meminfo: memFree=31237432/32770624 swapFree=0/519772 [pid=27277] ppid=27274 vsize=47864 CPUtime=0.61 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 6282 0 0 0 61 0 0 0 20 0 1 0 53415227 49012736 6112 18446744073709551615 4194304 5972588 140727814239984 140727814233784 5099648 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 11966 6112 830 435 0 5329 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 47864 [startup+1.50025 s] /proc/loadavg: 2.08 2.03 2.01 2/181 27311 /proc/meminfo: memFree=31216676/32770624 swapFree=0/519804 [pid=27277] ppid=27274 vsize=49360 CPUtime=1.41 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 6674 0 0 0 141 0 0 0 20 0 1 0 53415227 50544640 6453 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4962170 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 12340 6453 830 435 0 5703 0 Current children cumulated CPU time (s) 1.41 Current children cumulated vsize (KiB) 49360 [startup+3.10022 s] /proc/loadavg: 2.08 2.03 2.01 3/183 27337 /proc/meminfo: memFree=31215936/32770624 swapFree=0/519788 [pid=27277] ppid=27274 vsize=49624 CPUtime=3.01 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 8543 0 0 0 301 0 0 0 20 0 1 0 53415227 50814976 6554 18446744073709551615 4194304 5972588 140727814239984 140727814237288 5324045 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 12406 6554 831 435 0 5769 0 Current children cumulated CPU time (s) 3.01 Current children cumulated vsize (KiB) 49624 [startup+6.30022 s] /proc/loadavg: 2.08 2.03 2.01 3/183 27337 /proc/meminfo: memFree=31200300/32770624 swapFree=0/519772 [pid=27277] ppid=27274 vsize=50812 CPUtime=6.22 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 11004 0 0 0 621 1 0 0 20 0 1 0 53415227 52031488 6834 18446744073709551615 4194304 5972588 140727814239984 140727814237288 5053097 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 12703 6834 831 435 0 6066 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 50812 [startup+12.7002 s] /proc/loadavg: 2.07 2.03 2.01 3/182 27337 /proc/meminfo: memFree=31061540/32770624 swapFree=0/519772 [pid=27277] ppid=27274 vsize=51736 CPUtime=12.62 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 13686 0 0 0 1261 1 0 0 20 0 1 0 53415227 52977664 7051 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4965494 0 0 1 8405026 0 0 0 17 1 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 12934 7051 831 435 0 6297 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 51736 [startup+25.5003 s] /proc/loadavg: 1.97 2.01 2.01 3/182 27337 /proc/meminfo: memFree=31059928/32770624 swapFree=0/519764 [pid=27277] ppid=27274 vsize=52132 CPUtime=25.41 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 18477 0 0 0 2540 1 0 0 20 0 1 0 53415227 53383168 7201 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4969225 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13033 7201 831 435 0 6396 0 Current children cumulated CPU time (s) 25.41 Current children cumulated vsize (KiB) 52132 [startup+51.1003 s] /proc/loadavg: 1.98 2.01 2.01 3/182 27338 /proc/meminfo: memFree=31060064/32770624 swapFree=0/519760 [pid=27277] ppid=27274 vsize=52660 CPUtime=51.01 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 21176 0 0 0 5100 1 0 0 20 0 1 0 53415227 53923840 7311 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4965328 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13165 7311 831 435 0 6528 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 52660 [startup+102.3 s] /proc/loadavg: 1.99 2.01 2.01 3/182 27340 /proc/meminfo: memFree=31058912/32770624 swapFree=0/519776 [pid=27277] ppid=27274 vsize=53452 CPUtime=102.21 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 22398 0 0 0 10220 1 0 0 20 0 1 0 53415227 54734848 7457 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4969225 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13363 7457 831 435 0 6726 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 53452 [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.01 3/182 27342 /proc/meminfo: memFree=31058924/32770624 swapFree=0/519780 [pid=27277] ppid=27274 vsize=53584 CPUtime=162.21 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 23100 0 0 0 16220 1 0 0 20 0 1 0 53415227 54870016 7564 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4965494 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13396 7564 831 435 0 6759 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 53584 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.01 3/181 27344 /proc/meminfo: memFree=31059076/32770624 swapFree=0/519784 [pid=27277] ppid=27274 vsize=53716 CPUtime=222.22 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 23733 0 0 0 22221 1 0 0 20 0 1 0 53415227 55005184 7580 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4975784 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13429 7580 831 435 0 6792 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 53716 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.01 3/181 27346 /proc/meminfo: memFree=31058916/32770624 swapFree=0/519792 [pid=27277] ppid=27274 vsize=53716 CPUtime=282.22 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 23773 0 0 0 28221 1 0 0 20 0 1 0 53415227 55005184 7580 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4975388 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13429 7580 831 435 0 6792 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 53716 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.01 3/181 27348 /proc/meminfo: memFree=31058220/32770624 swapFree=0/519784 [pid=27277] ppid=27274 vsize=54244 CPUtime=342.23 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 24723 0 0 0 34222 1 0 0 20 0 1 0 53415227 55545856 7698 18446744073709551615 4194304 5972588 140727814239984 140727814237016 5099648 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13561 7698 831 435 0 6924 0 Current children cumulated CPU time (s) 342.23 Current children cumulated vsize (KiB) 54244 [startup+402.3 s] /proc/loadavg: 2.09 2.04 2.02 3/181 27350 /proc/meminfo: memFree=31056408/32770624 swapFree=0/519788 [pid=27277] ppid=27274 vsize=55060 CPUtime=402.23 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 24937 0 0 0 40222 1 0 0 20 0 1 0 53415227 56381440 7896 18446744073709551615 4194304 5972588 140727814239984 140727814237016 5109232 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13765 7896 831 435 0 7128 0 Current children cumulated CPU time (s) 402.23 Current children cumulated vsize (KiB) 55060 [startup+462.3 s] /proc/loadavg: 2.03 2.04 2.02 3/181 27352 /proc/meminfo: memFree=31056224/32770624 swapFree=0/519788 [pid=27277] ppid=27274 vsize=55720 CPUtime=462.25 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 25667 0 0 0 46223 2 0 0 20 0 1 0 53415227 57057280 8042 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4968754 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13930 8042 831 435 0 7293 0 Current children cumulated CPU time (s) 462.25 Current children cumulated vsize (KiB) 55720 [startup+522.3 s] /proc/loadavg: 2.01 2.03 2.02 3/184 27368 /proc/meminfo: memFree=31051308/32770624 swapFree=0/519828 [pid=27277] ppid=27274 vsize=55720 CPUtime=522.25 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 25684 0 0 0 52223 2 0 0 20 0 1 0 53415227 57057280 8042 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4909660 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13930 8042 831 435 0 7293 0 Current children cumulated CPU time (s) 522.25 Current children cumulated vsize (KiB) 55720 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.02 3/184 27370 /proc/meminfo: memFree=31051308/32770624 swapFree=0/519832 [pid=27277] ppid=27274 vsize=55720 CPUtime=582.26 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 26081 0 0 0 58224 2 0 0 20 0 1 0 53415227 57057280 8091 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4965428 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 13930 8091 831 435 0 7293 0 Current children cumulated CPU time (s) 582.26 Current children cumulated vsize (KiB) 55720 ################ # More data... # ################ [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.04 3/181 27482 /proc/meminfo: memFree=31087256/32770624 swapFree=0/520068 [pid=27277] ppid=27274 vsize=56512 CPUtime=1662.37 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 30162 0 0 0 166235 2 0 0 20 0 1 0 53415227 57868288 8293 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4965416 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8293 831 435 0 7491 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 56512 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.04 3/185 27499 /proc/meminfo: memFree=31082384/32770624 swapFree=0/520100 [pid=27277] ppid=27274 vsize=56512 CPUtime=1722.37 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 30162 0 0 0 172235 2 0 0 20 0 1 0 53415227 57868288 8293 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4965347 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8293 831 435 0 7491 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 56512 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.04 3/185 27501 /proc/meminfo: memFree=31082012/32770624 swapFree=0/520104 [pid=27277] ppid=27274 vsize=56512 CPUtime=1782.38 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 30531 0 0 0 178236 2 0 0 20 0 1 0 53415227 57868288 8293 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4968780 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8293 831 435 0 7491 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (KiB) 56512 [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.04 3/182 27503 /proc/meminfo: memFree=31086012/32770624 swapFree=0/520104 [pid=27277] ppid=27274 vsize=56512 CPUtime=1842.38 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 30538 0 0 0 184236 2 0 0 20 0 1 0 53415227 57868288 8293 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4975236 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8293 831 435 0 7491 0 Current children cumulated CPU time (s) 1842.38 Current children cumulated vsize (KiB) 56512 [startup+1902.3 s] /proc/loadavg: 2.06 2.03 2.05 3/182 27505 /proc/meminfo: memFree=31086384/32770624 swapFree=0/520116 [pid=27277] ppid=27274 vsize=56512 CPUtime=1902.39 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 30987 0 0 0 190237 2 0 0 20 0 1 0 53415227 57868288 8297 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4965400 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8297 831 435 0 7491 0 Current children cumulated CPU time (s) 1902.39 Current children cumulated vsize (KiB) 56512 [startup+1962.3 s] /proc/loadavg: 2.02 2.02 2.05 3/182 27507 /proc/meminfo: memFree=31086516/32770624 swapFree=0/520124 [pid=27277] ppid=27274 vsize=56512 CPUtime=1962.4 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 30987 0 0 0 196238 2 0 0 20 0 1 0 53415227 57868288 8297 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4965365 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8297 831 435 0 7491 0 Current children cumulated CPU time (s) 1962.4 Current children cumulated vsize (KiB) 56512 [startup+2022.3 s] /proc/loadavg: 2.01 2.02 2.05 3/181 27509 /proc/meminfo: memFree=31086276/32770624 swapFree=0/520128 [pid=27277] ppid=27274 vsize=56512 CPUtime=2022.4 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 31253 0 0 0 202238 2 0 0 20 0 1 0 53415227 57868288 8298 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4968786 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8298 831 435 0 7491 0 Current children cumulated CPU time (s) 2022.4 Current children cumulated vsize (KiB) 56512 [startup+2082.3 s] /proc/loadavg: 2.13 2.04 2.05 3/181 27511 /proc/meminfo: memFree=31086232/32770624 swapFree=0/520132 [pid=27277] ppid=27274 vsize=56512 CPUtime=2082.41 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 31409 0 0 0 208239 2 0 0 20 0 1 0 53415227 57868288 8301 18446744073709551615 4194304 5972588 140727814239984 140727814237288 4969220 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8301 831 435 0 7491 0 Current children cumulated CPU time (s) 2082.41 Current children cumulated vsize (KiB) 56512 [startup+2142.3 s] /proc/loadavg: 2.05 2.04 2.05 3/181 27513 /proc/meminfo: memFree=31085992/32770624 swapFree=0/520136 [pid=27277] ppid=27274 vsize=56512 CPUtime=2142.41 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 31747 0 0 0 214239 2 0 0 20 0 1 0 53415227 57868288 8303 18446744073709551615 4194304 5972588 140727814239984 140727814237288 5320283 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8303 831 435 0 7491 0 Current children cumulated CPU time (s) 2142.41 Current children cumulated vsize (KiB) 56512 [startup+2202.31 s] /proc/loadavg: 2.02 2.03 2.05 3/181 27515 /proc/meminfo: memFree=31086116/32770624 swapFree=0/520148 [pid=27277] ppid=27274 vsize=56512 CPUtime=2202.42 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 31756 0 0 0 220240 2 0 0 20 0 1 0 53415227 57868288 8303 18446744073709551615 4194304 5972588 140727814239984 140727814237288 5053108 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14128 8303 831 435 0 7491 0 Current children cumulated CPU time (s) 2202.42 Current children cumulated vsize (KiB) 56512 [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.05 3/181 27517 /proc/meminfo: memFree=31086492/32770624 swapFree=0/520160 [pid=27277] ppid=27274 vsize=56644 CPUtime=2262.43 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 32129 0 0 0 226241 2 0 0 20 0 1 0 53415227 58003456 8303 18446744073709551615 4194304 5972588 140727814239984 140727814237016 5053069 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14161 8303 831 435 0 7524 0 Current children cumulated CPU time (s) 2262.43 Current children cumulated vsize (KiB) 56644 [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/185 27534 /proc/meminfo: memFree=31082600/32770624 swapFree=0/520176 [pid=27277] ppid=27274 vsize=56776 CPUtime=2322.43 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 32247 0 0 0 232241 2 0 0 20 0 1 0 53415227 58138624 8338 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4965583 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14194 8338 831 435 0 7557 0 Current children cumulated CPU time (s) 2322.43 Current children cumulated vsize (KiB) 56776 [startup+2382.3 s] /proc/loadavg: 2.06 2.03 2.05 3/185 27536 /proc/meminfo: memFree=31082748/32770624 swapFree=0/520200 [pid=27277] ppid=27274 vsize=56776 CPUtime=2382.44 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 32562 0 0 0 238242 2 0 0 20 0 1 0 53415227 58138624 8353 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4978749 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14194 8353 831 435 0 7557 0 Current children cumulated CPU time (s) 2382.44 Current children cumulated vsize (KiB) 56776 [startup+2442.3 s] /proc/loadavg: 2.02 2.03 2.05 3/182 27538 /proc/meminfo: memFree=31085152/32770624 swapFree=0/520208 [pid=27277] ppid=27274 vsize=56776 CPUtime=2442.44 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 32570 0 0 0 244242 2 0 0 20 0 1 0 53415227 58138624 8360 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4965339 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14194 8360 831 435 0 7557 0 Current children cumulated CPU time (s) 2442.44 Current children cumulated vsize (KiB) 56776 [startup+2502.3 s] /proc/loadavg: 2.01 2.02 2.05 3/182 27540 /proc/meminfo: memFree=31085392/32770624 swapFree=0/520212 [pid=27277] ppid=27274 vsize=56908 CPUtime=2502.45 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 32935 0 0 0 250243 2 0 0 20 0 1 0 53415227 58273792 8370 18446744073709551615 4194304 5972588 140727814239984 140727814237016 4975792 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14227 8370 831 435 0 7590 0 Current children cumulated CPU time (s) 2502.45 Current children cumulated vsize (KiB) 56908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.9 s] /proc/loadavg: 2.01 2.02 2.05 3/182 27541 /proc/meminfo: memFree=31085392/32770624 swapFree=0/520208 [pid=27277] ppid=27274 vsize=56908 CPUtime=2520.05 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 32941 0 0 0 252003 2 0 0 20 0 1 0 53415227 58273792 8370 18446744073709551615 4194304 5972588 140727814239984 140727814237016 5320287 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14227 8370 831 435 0 7590 0 Current children cumulated CPU time (s) 2520.05 Current children cumulated vsize (KiB) 56908 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 27277 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2519.9 s] /proc/loadavg: 2.01 2.02 2.05 3/182 27541 /proc/meminfo: memFree=31085392/32770624 swapFree=0/520208 [pid=27277] ppid=27274 vsize=56908 CPUtime=2520.05 cores=1,3,5,7 /proc/27277/stat : 27277 (cosoco) R 27274 27277 21984 0 -1 4202496 32941 0 0 0 252003 2 0 0 20 0 1 0 53415227 58273792 8370 18446744073709551615 4194304 5972588 140727814239984 140727814237016 5320287 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 38367232 140727814246894 140727814246989 140727814246989 140727814250446 0 /proc/27277/statm: 14227 8370 831 435 0 7590 0 Current children cumulated CPU time (s) 2520.05 Current children cumulated vsize (KiB) 56908 Child status: 1 Real time (s): 2519.9 CPU time (s): 2520.06 CPU user time (s): 2520.04 CPU system time (s): 0.026002 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 56908 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.04 system time used= 0.026002 maximum resident set size= 33560 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32983 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= 21 involuntary context switches= 1056 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.66607 second user time and 8.51204 second system time The end
Begin job on node125 at 2017-08-12 06:11:40 IDJOB=4267997 IDBENCH=120758 IDSOLVER=2658 FILE ID=node125/4267997-1502511945 RUNJOBID= node125-1502500302-22048 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 1.12 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-4267997-1502511945/watcher-4267997-1502511945 -o /tmp/evaluation-result-4267997-1502511945/solver-4267997-1502511945 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267997-1502511945.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 132dbb92a73ed64c3de106a7d099dd2d RANDOM SEED=276596322 node125.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.07 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.07 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.07 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.07 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: 31237788 kB MemAvailable: 32000132 kB Buffers: 266832 kB Cached: 785504 kB SwapCached: 0 kB Active: 564116 kB Inactive: 544680 kB Active(anon): 56660 kB Inactive(anon): 24908 kB Active(file): 507456 kB Inactive(file): 519772 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2376 kB Writeback: 0 kB AnonPages: 56460 kB Mapped: 44548 kB Shmem: 25252 kB Slab: 127304 kB SReclaimable: 101900 kB SUnreclaim: 25404 kB KernelStack: 3264 kB PageTables: 5632 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 304064 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62028 MiB End job on node125 at 2017-08-12 06:53:40