Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2520.01 | 2520.01 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K13-P08.xml |
MD5SUM | f6de09233a74707b341bbe4fbe6d65e2 |
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 | 1547 |
Number of constraints | 717 |
Number of domains | 2 |
Minimum domain size | 715 |
Maximum domain size | 716 |
Distribution of domain sizes | [{"size":715,"count":715},{"size":716,"count":104}] |
Minimum variable degree | 0 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":0,"count":728},{"degree":2,"count":715},{"degree":14,"count":26},{"degree":15,"count":78}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 715 |
Distribution of constraint arities | [{"arity":3,"count":715},{"arity":104,"count":1},{"arity":715,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 715 |
Distribution of constraint types | [{"type":"intension","count":715},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.21/0.26 c root propagations : 0 0.21/0.26 c restarts enabled, print stats at every restarts 0.21/0.26 c 0.21/0.26 c 0.21/0.26 c 0.21/0.26 c This is cosoco 2.00 -- 0.21/0.26 c 0.21/0.26 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408167-1569789915.xml 0.21/0.26 c ========================================[ Problem Statistics ]=========================================== 0.21/0.26 c | 0.21/0.26 c | Parse time : 0.24 s 0.21/0.26 c | 0.21/0.26 c | Variables: 1547 0.21/0.26 c | Domain Sizes: 715..716 0.21/0.26 c | 0.21/0.26 c | Constraints: 717 0.21/0.26 c | Arity: 3..715 -- Ternary: 715 0.21/0.26 c | 0.21/0.26 c | Types: 0.21/0.26 c | All Different: 2 0.21/0.26 c | Intension: 715 0.21/0.26 c | 0.21/0.26 c ========================================================================================================= 0.21/0.26 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.21/0.26 c remove useless variable ce[0][0][0] 0.21/0.26 c remove useless variable ce[0][1][0] 0.21/0.26 c remove useless variable ce[0][1][1] 0.21/0.26 c remove useless variable ce[0][2][0] 0.21/0.26 c remove useless variable ce[0][2][1] 0.21/0.26 c remove useless variable ce[0][2][2] 0.21/0.26 c remove useless variable ce[0][3][0] 0.21/0.26 c remove useless variable ce[0][3][1] 0.21/0.26 c remove useless variable ce[0][3][2] 0.21/0.26 c remove useless variable ce[0][3][3] 0.21/0.26 c remove useless variable ce[0][4][0] 0.21/0.26 c remove useless variable ce[0][4][1] 0.21/0.26 c remove useless variable ce[0][4][2] 0.21/0.26 c remove useless variable ce[0][4][3] 0.21/0.26 c remove useless variable ce[0][4][4] 0.21/0.26 c remove useless variable ce[0][5][0] 0.21/0.26 c remove useless variable ce[0][5][1] 0.21/0.26 c remove useless variable ce[0][5][2] 0.21/0.26 c remove useless variable ce[0][5][3] 0.21/0.26 c remove useless variable ce[0][5][4] 0.21/0.26 c remove useless variable ce[0][5][5] 0.21/0.26 c remove useless variable ce[0][6][0] 0.21/0.26 c remove useless variable ce[0][6][1] 0.21/0.26 c remove useless variable ce[0][6][2] 0.21/0.26 c remove useless variable ce[0][6][3] 0.21/0.26 c remove useless variable ce[0][6][4] 0.21/0.26 c remove useless variable ce[0][6][5] 0.21/0.26 c remove useless variable ce[0][6][6] 0.21/0.26 c remove useless variable ce[0][7][0] 0.21/0.26 c remove useless variable ce[0][7][1] 0.21/0.26 c remove useless variable ce[0][7][2] 0.21/0.26 c remove useless variable ce[0][7][3] 0.21/0.26 c remove useless variable ce[0][7][4] 0.21/0.26 c remove useless variable ce[0][7][5] 0.21/0.26 c remove useless variable ce[0][7][6] 0.21/0.26 c remove useless variable ce[0][7][7] 0.21/0.26 c remove useless variable ce[0][8][0] 0.21/0.26 c remove useless variable ce[0][8][1] 0.21/0.26 c remove useless variable ce[0][8][2] 0.21/0.26 c remove useless variable ce[0][8][3] 0.21/0.26 c remove useless variable ce[0][8][4] 0.21/0.26 c remove useless variable ce[0][8][5] 0.21/0.26 c remove useless variable ce[0][8][6] 0.21/0.26 c remove useless variable ce[0][8][7] 0.21/0.26 c remove useless variable ce[0][8][8] 0.21/0.26 c remove useless variable ce[0][9][0] 0.21/0.26 c remove useless variable ce[0][9][1] 0.21/0.26 c remove useless variable ce[0][9][2] 0.21/0.26 c remove useless variable ce[0][9][3] 0.21/0.26 c remove useless variable ce[0][9][4] 0.21/0.26 c remove useless variable ce[0][9][5] 0.21/0.26 c remove useless variable ce[0][9][6] 0.21/0.26 c remove useless variable ce[0][9][7] 0.21/0.26 c remove useless variable ce[0][9][8] 0.21/0.27 c remove useless variable ce[0][9][9] 0.21/0.27 c remove useless variable ce[0][10][0] 0.21/0.27 c remove useless variable ce[0][10][1] 0.21/0.27 c remove useless variable ce[0][10][2] 0.21/0.27 c remove useless variable ce[0][10][3] 0.21/0.27 c remove useless variable ce[0][10][4] 0.21/0.27 c remove useless variable ce[0][10][5] 0.21/0.27 c remove useless variable ce[0][10][6] 0.21/0.27 c remove useless variable ce[0][10][7] 0.21/0.27 c remove useless variable ce[0][10][8] 0.21/0.27 c remove useless variable ce[0][10][9] 0.21/0.27 c remove useless variable ce[0][10][10] 0.21/0.27 c remove useless variable ce[0][11][0] 0.21/0.27 c remove useless variable ce[0][11][1] 0.21/0.27 c remove useless variable ce[0][11][2] 0.21/0.27 c remove useless variable ce[0][11][3] 0.21/0.27 c remove useless variable ce[0][11][4] 0.21/0.27 c remove useless variable ce[0][11][5] 0.21/0.27 c remove useless variable ce[0][11][6] 0.21/0.27 c remove useless variable ce[0][11][7] 0.21/0.27 c remove useless variable ce[0][11][8] 0.21/0.27 c remove useless variable ce[0][11][9] 0.21/0.27 c remove useless variable ce[0][11][10] 0.21/0.27 c remove useless variable ce[0][11][11] 0.21/0.27 c remove useless variable ce[0][12][0] 0.21/0.27 c remove useless variable ce[0][12][1] 0.21/0.27 c remove useless variable ce[0][12][2] 0.21/0.27 c remove useless variable ce[0][12][3] 0.21/0.27 c remove useless variable ce[0][12][4] 0.21/0.27 c remove useless variable ce[0][12][5] 0.21/0.27 c remove useless variable ce[0][12][6] 0.21/0.27 c remove useless variable ce[0][12][7] 0.21/0.27 c remove useless variable ce[0][12][8] 0.21/0.27 c remove useless variable ce[0][12][9] 0.21/0.27 c remove useless variable ce[0][12][10] 0.21/0.27 c remove useless variable ce[0][12][11] 0.21/0.27 c remove useless variable ce[0][12][12] 0.21/0.27 c remove useless variable ce[1][0][0] 0.21/0.27 c remove useless variable ce[1][1][0] 0.21/0.27 c remove useless variable ce[1][1][1] 0.21/0.27 c remove useless variable ce[1][2][0] 0.21/0.27 c remove useless variable ce[1][2][1] 0.21/0.27 c remove useless variable ce[1][2][2] 0.21/0.27 c remove useless variable ce[1][3][0] 0.21/0.27 c remove useless variable ce[1][3][1] 0.21/0.27 c remove useless variable ce[1][3][2] 0.21/0.27 c remove useless variable ce[1][3][3] 0.21/0.27 c remove useless variable ce[1][4][0] 0.21/0.27 c remove useless variable ce[1][4][1] 0.21/0.27 c remove useless variable ce[1][4][2] 0.21/0.27 c remove useless variable ce[1][4][3] 0.21/0.27 c remove useless variable ce[1][4][4] 0.21/0.27 c remove useless variable ce[1][5][0] 0.21/0.27 c remove useless variable ce[1][5][1] 0.21/0.27 c remove useless variable ce[1][5][2] 0.21/0.27 c remove useless variable ce[1][5][3] 0.21/0.27 c remove useless variable ce[1][5][4] 0.21/0.27 c remove useless variable ce[1][5][5] 0.21/0.27 c remove useless variable ce[1][6][0] 0.21/0.27 c remove useless variable ce[1][6][1] 0.21/0.27 c remove useless variable ce[1][6][2] 0.21/0.27 c remove useless variable ce[1][6][3] 0.21/0.27 c remove useless variable ce[1][6][4] 0.21/0.27 c remove useless variable ce[1][6][5] 0.21/0.27 c remove useless variable ce[1][6][6] 0.21/0.27 c remove useless variable ce[1][7][0] 0.21/0.27 c remove useless variable ce[1][7][1] 0.21/0.27 c remove useless variable ce[1][7][2] 0.21/0.27 c remove useless variable ce[1][7][3] 0.21/0.27 c remove useless variable ce[1][7][4] 0.21/0.27 c remove useless variable ce[1][7][5] 0.21/0.27 c remove useless variable ce[1][7][6] 0.21/0.27 c remove useless variable ce[1][7][7] 0.21/0.27 c remove useless variable ce[1][8][0] 0.21/0.27 c remove useless variable ce[1][8][1] 0.21/0.27 c remove useless variable ce[1][8][2] 0.21/0.27 c remove useless variable ce[1][8][3] 0.21/0.27 c remove useless variable ce[1][8][4] 0.21/0.27 c remove useless variable ce[1][8][5] 0.21/0.27 c remove useless variable ce[1][8][6] 0.21/0.27 c remove useless variable ce[1][8][7] 0.21/0.27 c remove useless variable ce[1][8][8] 0.21/0.27 c remove useless variable ce[1][9][0] 0.21/0.27 c remove useless variable ce[1][9][1] 0.21/0.27 c remove useless variable ce[1][9][2] 0.21/0.27 c remove useless variable ce[1][9][3] 0.21/0.27 c remove useless variable ce[1][9][4] 0.21/0.27 c remove useless variable ce[1][9][5] 0.21/0.27 c remove useless variable ce[1][9][6] 0.21/0.27 c remove useless variable ce[1][9][7] 0.21/0.27 c remove useless variable ce[1][9][8] 0.21/0.27 c remove useless variable ce[1][9][9] 0.21/0.27 c remove useless variable ce[1][10][0] 0.21/0.27 c remove useless variable ce[1][10][1] 0.21/0.27 c remove useless variable ce[1][10][2] 0.21/0.27 c remove useless variable ce[1][10][3] 0.21/0.27 c remove useless variable ce[1][10][4] 0.21/0.27 c remove useless variable ce[1][10][5] 0.21/0.27 c remove useless variable ce[1][10][6] 0.21/0.27 c remove useless variable ce[1][10][7] 0.21/0.27 c remove useless variable ce[1][10][8] 0.21/0.27 c remove useless variable ce[1][10][9] 0.21/0.27 c remove useless variable ce[1][10][10] 0.21/0.27 c remove useless variable ce[1][11][0] 0.21/0.27 c remove useless variable ce[1][11][1] 0.21/0.27 c remove useless variable ce[1][11][2] 0.21/0.27 c remove useless variable ce[1][11][3] 0.21/0.27 c remove useless variable ce[1][11][4] 0.21/0.27 c remove useless variable ce[1][11][5] 0.21/0.27 c remove useless variable ce[1][11][6] 0.21/0.27 c remove useless variable ce[1][11][7] 0.21/0.27 c remove useless variable ce[1][11][8] 0.21/0.27 c remove useless variable ce[1][11][9] 0.21/0.27 c remove useless variable ce[1][11][10] 0.21/0.27 c remove useless variable ce[1][11][11] 0.21/0.27 c remove useless variable ce[1][12][0] 0.21/0.27 c remove useless variable ce[1][12][1] 0.21/0.27 c remove useless variable ce[1][12][2] 0.21/0.27 c remove useless variable ce[1][12][3] 0.21/0.27 c remove useless variable ce[1][12][4] 0.21/0.27 c remove useless variable ce[1][12][5] 0.21/0.27 c remove useless variable ce[1][12][6] 0.21/0.27 c remove useless variable ce[1][12][7] 0.21/0.27 c remove useless variable ce[1][12][8] 0.21/0.27 c remove useless variable ce[1][12][9] 0.21/0.27 c remove useless variable ce[1][12][10] 0.21/0.27 c remove useless variable ce[1][12][11] 0.21/0.27 c remove useless variable ce[1][12][12] 0.21/0.27 c remove useless variable ce[2][0][0] 0.21/0.27 c remove useless variable ce[2][1][0] 0.21/0.27 c remove useless variable ce[2][1][1] 0.21/0.27 c remove useless variable ce[2][2][0] 0.21/0.27 c remove useless variable ce[2][2][1] 0.21/0.27 c remove useless variable ce[2][2][2] 0.21/0.27 c remove useless variable ce[2][3][0] 0.21/0.27 c remove useless variable ce[2][3][1] 0.21/0.27 c remove useless variable ce[2][3][2] 0.21/0.27 c remove useless variable ce[2][3][3] 0.21/0.27 c remove useless variable ce[2][4][0] 0.21/0.27 c remove useless variable ce[2][4][1] 0.21/0.27 c remove useless variable ce[2][4][2] 0.21/0.27 c remove useless variable ce[2][4][3] 0.21/0.27 c remove useless variable ce[2][4][4] 0.21/0.27 c remove useless variable ce[2][5][0] 0.21/0.27 c remove useless variable ce[2][5][1] 0.21/0.27 c remove useless variable ce[2][5][2] 0.21/0.27 c remove useless variable ce[2][5][3] 0.21/0.27 c remove useless variable ce[2][5][4] 0.21/0.27 c remove useless variable ce[2][5][5] 0.21/0.27 c remove useless variable ce[2][6][0] 0.21/0.27 c remove useless variable ce[2][6][1] 0.21/0.27 c remove useless variable ce[2][6][2] 0.21/0.27 c remove useless variable ce[2][6][3] 0.21/0.27 c remove useless variable ce[2][6][4] 0.21/0.27 c remove useless variable ce[2][6][5] 0.21/0.27 c remove useless variable ce[2][6][6] 0.21/0.27 c remove useless variable ce[2][7][0] 0.21/0.27 c remove useless variable ce[2][7][1] 0.21/0.27 c remove useless variable ce[2][7][2] 0.21/0.27 c remove useless variable ce[2][7][3] 0.21/0.27 c remove useless variable ce[2][7][4] 0.21/0.27 c remove useless variable ce[2][7][5] 0.21/0.27 c remove useless variable ce[2][7][6] 0.21/0.27 c remove useless variable ce[2][7][7] 0.21/0.27 c remove useless variable ce[2][8][0] 0.21/0.27 c remove useless variable ce[2][8][1] 0.21/0.27 c remove useless variable ce[2][8][2] 0.21/0.27 c remove useless variable ce[2][8][3] 0.21/0.27 c remove useless variable ce[2][8][4] 0.21/0.27 c remove useless variable ce[2][8][5] 0.21/0.27 c remove useless variable ce[2][8][6] 0.21/0.27 c remove useless variable ce[2][8][7] 0.21/0.27 c remove useless variable ce[2][8][8] 0.21/0.27 c remove useless variable ce[2][9][0] 0.21/0.27 c remove useless variable ce[2][9][1] 0.21/0.27 c remove useless variable ce[2][9][2] 0.21/0.27 c remove useless variable ce[2][9][3] 0.21/0.27 c remove useless variable ce[2][9][4] 0.21/0.27 c remove useless variable ce[2][9][5] 0.21/0.27 c remove useless variable ce[2][9][6] 0.21/0.27 c remove useless variable ce[2][9][7] 0.21/0.27 c remove useless variable ce[2][9][8] 0.21/0.27 c remove useless variable ce[2][9][9] 0.21/0.27 c remove useless variable ce[2][10][0] 0.21/0.27 c remove useless variable ce[2][10][1] 0.21/0.27 c remove useless variable ce[2][10][2] 0.21/0.27 c remove useless variable ce[2][10][3] 0.21/0.27 c remove useless variable ce[2][10][4] 0.21/0.27 c remove useless variable ce[2][10][5] 0.21/0.27 c remove useless variable ce[2][10][6] 0.21/0.27 c remove useless variable ce[2][10][7] 0.21/0.27 c remove useless variable ce[2][10][8] 0.21/0.27 c remove useless variable ce[2][10][9] 0.21/0.27 c remove useless variable ce[2][10][10] 0.21/0.27 c remove useless variable ce[2][11][0] 0.21/0.27 c remove useless variable ce[2][11][1] 0.21/0.27 c remove useless variable ce[2][11][2] 0.21/0.27 c remove useless variable ce[2][11][3] 0.21/0.27 c remove useless variable ce[2][11][4] 0.21/0.27 c remove useless variable ce[2][11][5] 0.21/0.27 c remove useless variable ce[2][11][6] 0.21/0.27 c remove useless variable ce[2][11][7] 0.21/0.27 c remove useless variable ce[2][11][8] 0.21/0.27 c remove useless variable ce[2][11][9] 0.21/0.27 c remove useless variable ce[2][11][10] 0.21/0.27 c remove useless variable ce[2][11][11] 0.21/0.27 c remove useless variable ce[2][12][0] 0.21/0.27 c remove useless variable ce[2][12][1] 0.21/0.27 c remove useless variable ce[2][12][2] 0.21/0.27 c remove useless variable ce[2][12][3] 0.21/0.27 c remove useless variable ce[2][12][4] 0.21/0.27 c remove useless variable ce[2][12][5] 0.21/0.27 c remove useless variable ce[2][12][6] 0.21/0.27 c remove useless variable ce[2][12][7] 0.21/0.27 c remove useless variable ce[2][12][8] 0.21/0.27 c remove useless variable ce[2][12][9] 0.21/0.27 c remove useless variable ce[2][12][10] 0.21/0.27 c remove useless variable ce[2][12][11] 0.21/0.27 c remove useless variable ce[2][12][12] 0.21/0.27 c remove useless variable ce[3][0][0] 0.21/0.27 c remove useless variable ce[3][1][0] 0.21/0.27 c remove useless variable ce[3][1][1] 0.21/0.27 c remove useless variable ce[3][2][0] 0.21/0.27 c remove useless variable ce[3][2][1] 0.21/0.27 c remove useless variable ce[3][2][2] 0.21/0.27 c remove useless variable ce[3][3][0] 0.21/0.27 c remove useless variable ce[3][3][1] 0.21/0.27 c remove useless variable ce[3][3][2] 0.21/0.27 c remove useless variable ce[3][3][3] 0.21/0.27 c remove useless variable ce[3][4][0] 0.21/0.27 c remove useless variable ce[3][4][1] 0.21/0.27 c remove useless variable ce[3][4][2] 0.21/0.27 c remove useless variable ce[3][4][3] 0.21/0.27 c remove useless variable ce[3][4][4] 0.21/0.27 c remove useless variable ce[3][5][0] 0.21/0.27 c remove useless variable ce[3][5][1] 0.21/0.27 c remove useless variable ce[3][5][2] 0.21/0.27 c remove useless variable ce[3][5][3] 0.21/0.27 c remove useless variable ce[3][5][4] 0.21/0.27 c remove useless variable ce[3][5][5] 0.21/0.27 c remove useless variable ce[3][6][0] 0.21/0.27 c remove useless variable ce[3][6][1] 0.21/0.27 c remove useless variable ce[3][6][2] 0.21/0.27 c remove useless variable ce[3][6][3] 0.21/0.27 c remove useless variable ce[3][6][4] 0.21/0.27 c remove useless variable ce[3][6][5] 0.21/0.27 c remove useless variable ce[3][6][6] 0.21/0.27 c remove useless variable ce[3][7][0] 0.21/0.27 c remove useless variable ce[3][7][1] 0.21/0.27 c remove useless variable ce[3][7][2] 0.21/0.27 c remove useless variable ce[3][7][3] 0.21/0.27 c remove useless variable ce[3][7][4] 0.21/0.27 c remove useless variable ce[3][7][5] 0.21/0.27 c remove useless variable ce[3][7][6] 0.21/0.27 c remove useless variable ce[3][7][7] 0.21/0.27 c remove useless variable ce[3][8][0] 0.21/0.27 c remove useless variable ce[3][8][1] 0.21/0.27 c remove useless variable ce[3][8][2] 0.21/0.27 c remove useless variable ce[3][8][3] 0.21/0.27 c remove useless variable ce[3][8][4] 0.21/0.27 c remove useless variable ce[3][8][5] 0.21/0.27 c remove useless variable ce[3][8][6] 0.21/0.27 c remove useless variable ce[3][8][7] 0.21/0.27 c remove useless variable ce[3][8][8] 0.21/0.27 c remove useless variable ce[3][9][0] 0.21/0.27 c remove useless variable ce[3][9][1] 0.21/0.27 c remove useless variable ce[3][9][2] 0.21/0.27 c remove useless variable ce[3][9][3] 0.21/0.27 c remove useless variable ce[3][9][4] 0.21/0.27 c remove useless variable ce[3][9][5] 0.21/0.27 c remove useless variable ce[3][9][6] 0.21/0.27 c remove useless variable ce[3][9][7] 0.21/0.27 c remove useless variable ce[3][9][8] 0.21/0.27 c remove useless variable ce[3][9][9] 0.21/0.27 c remove useless variable ce[3][10][0] 0.21/0.27 c remove useless variable ce[3][10][1] 0.21/0.27 c remove useless variable ce[3][10][2] 0.21/0.27 c remove useless variable ce[3][10][3] 0.21/0.27 c remove useless variable ce[3][10][4] 0.21/0.27 c remove useless variable ce[3][10][5] 0.21/0.27 c remove useless variable ce[3][10][6] 0.21/0.27 c remove useless variable ce[3][10][7] 0.21/0.27 c remove useless variable ce[3][10][8] 0.21/0.27 c remove useless variable ce[3][10][9] 0.21/0.27 c remove useless variable ce[3][10][10] 0.21/0.27 c remove useless variable ce[3][11][0] 0.21/0.27 c remove useless variable ce[3][11][1] 0.21/0.27 c remove useless variable ce[3][11][2] 0.21/0.27 c remove useless variable ce[3][11][3] 0.21/0.27 c remove useless variable ce[3][11][4] 0.21/0.27 c remove useless variable ce[3][11][5] 0.21/0.27 c remove useless variable ce[3][11][6] 0.21/0.27 c remove useless variable ce[3][11][7] 0.21/0.27 c remove useless variable ce[3][11][8] 0.21/0.27 c remove useless variable ce[3][11][9] 0.21/0.27 c remove useless variable ce[3][11][10] 0.21/0.27 c remove useless variable ce[3][11][11] 0.21/0.27 c remove useless variable ce[3][12][0] 0.21/0.27 c remove useless variable ce[3][12][1] 0.21/0.27 c remove useless variable ce[3][12][2] 0.21/0.27 c remove useless variable ce[3][12][3] 0.21/0.27 c remove useless variable ce[3][12][4] 0.21/0.27 c remove useless variable ce[3][12][5] 0.21/0.27 c remove useless variable ce[3][12][6] 0.21/0.27 c remove useless variable ce[3][12][7] 0.21/0.27 c remove useless variable ce[3][12][8] 0.21/0.27 c remove useless variable ce[3][12][9] 0.21/0.27 c remove useless variable ce[3][12][10] 0.21/0.27 c remove useless variable ce[3][12][11] 0.21/0.27 c remove useless variable ce[3][12][12] 0.21/0.27 c remove useless variable ce[4][0][0] 0.21/0.27 c remove useless variable ce[4][1][0] 0.21/0.27 c remove useless variable ce[4][1][1] 0.21/0.27 c remove useless variable ce[4][2][0] 0.21/0.27 c remove useless variable ce[4][2][1] 0.21/0.27 c remove useless variable ce[4][2][2] 0.21/0.27 c remove useless variable ce[4][3][0] 0.21/0.27 c remove useless variable ce[4][3][1] 0.21/0.27 c remove useless variable ce[4][3][2] 0.21/0.27 c remove useless variable ce[4][3][3] 0.21/0.27 c remove useless variable ce[4][4][0] 0.21/0.27 c remove useless variable ce[4][4][1] 0.21/0.27 c remove useless variable ce[4][4][2] 0.21/0.27 c remove useless variable ce[4][4][3] 0.21/0.27 c remove useless variable ce[4][4][4] 0.21/0.27 c remove useless variable ce[4][5][0] 0.21/0.27 c remove useless variable ce[4][5][1] 0.21/0.27 c remove useless variable ce[4][5][2] 0.21/0.27 c remove useless variable ce[4][5][3] 0.21/0.27 c remove useless variable ce[4][5][4] 0.21/0.27 c remove useless variable ce[4][5][5] 0.21/0.27 c remove useless variable ce[4][6][0] 0.21/0.27 c remove useless variable ce[4][6][1] 0.21/0.27 c remove useless variable ce[4][6][2] 0.21/0.27 c remove useless variable ce[4][6][3] 0.21/0.27 c remove useless variable ce[4][6][4] 0.21/0.27 c remove useless variable ce[4][6][5] 0.21/0.27 c remove useless variable ce[4][6][6] 0.21/0.27 c remove useless variable ce[4][7][0] 0.21/0.27 c remove useless variable ce[4][7][1] 0.21/0.27 c remove useless variable ce[4][7][2] 0.21/0.27 c remove useless variable ce[4][7][3] 0.21/0.27 c remove useless variable ce[4][7][4] 0.21/0.27 c remove useless variable ce[4][7][5] 0.21/0.27 c remove useless variable ce[4][7][6] 0.21/0.27 c remove useless variable ce[4][7][7] 0.21/0.27 c remove useless variable ce[4][8][0] 0.21/0.27 c remove useless variable ce[4][8][1] 0.21/0.27 c remove useless variable ce[4][8][2] 0.21/0.27 c remove useless variable ce[4][8][3] 0.21/0.27 c remove useless variable ce[4][8][4] 0.21/0.27 c remove useless variable ce[4][8][5] 0.21/0.27 c remove useless variable ce[4][8][6] 0.21/0.27 c remove useless variable ce[4][8][7] 0.21/0.27 c remove useless variable ce[4][8][8] 0.21/0.27 c remove useless variable ce[4][9][0] 0.21/0.27 c remove useless variable ce[4][9][1] 0.21/0.27 c remove useless variable ce[4][9][2] 0.21/0.27 c remove useless variable ce[4][9][3] 0.21/0.27 c remove useless variable ce[4][9][4] 0.21/0.27 c remove useless variable ce[4][9][5] 0.21/0.27 c remove useless variable ce[4][9][6] 0.21/0.27 c remove useless variable ce[4][9][7] 0.21/0.27 c remove useless variable ce[4][9][8] 0.21/0.27 c remove useless variable ce[4][9][9] 0.21/0.27 c remove useless variable ce[4][10][0] 0.21/0.27 c remove useless variable ce[4][10][1] 0.21/0.27 c remove useless variable ce[4][10][2] 0.21/0.27 c remove useless variable ce[4][10][3] 0.21/0.27 c remove useless variable ce[4][10][4] 0.21/0.27 c remove useless variable ce[4][10][5] 0.21/0.27 c remove useless variable ce[4][10][6] 0.21/0.27 c remove useless variable ce[4][10][7] 0.21/0.27 c remove useless variable ce[4][10][8] 0.21/0.27 c remove useless variable ce[4][10][9] 0.21/0.27 c remove useless variable ce[4][10][10] 0.21/0.27 c remove useless variable ce[4][11][0] 0.21/0.27 c remove useless variable ce[4][11][1] 0.21/0.27 c remove useless variable ce[4][11][2] 0.21/0.27 c remove useless variable ce[4][11][3] 0.21/0.27 c remove useless variable ce[4][11][4] 0.21/0.27 c remove useless variable ce[4][11][5] 0.21/0.27 c remove useless variable ce[4][11][6] 0.21/0.27 c remove useless variable ce[4][11][7] 0.21/0.27 c remove useless variable ce[4][11][8] 0.21/0.27 c remove useless variable ce[4][11][9] 0.21/0.27 c remove useless variable ce[4][11][10] 0.21/0.27 c remove useless variable ce[4][11][11] 0.21/0.27 c remove useless variable ce[4][12][0] 0.21/0.27 c remove useless variable ce[4][12][1] 0.21/0.27 c remove useless variable ce[4][12][2] 0.21/0.27 c remove useless variable ce[4][12][3] 0.21/0.27 c remove useless variable ce[4][12][4] 0.21/0.27 c remove useless variable ce[4][12][5] 0.21/0.27 c remove useless variable ce[4][12][6] 0.21/0.27 c remove useless variable ce[4][12][7] 0.21/0.27 c remove useless variable ce[4][12][8] 0.21/0.27 c remove useless variable ce[4][12][9] 0.21/0.27 c remove useless variable ce[4][12][10] 0.21/0.27 c remove useless variable ce[4][12][11] 0.21/0.27 c remove useless variable ce[4][12][12] 0.21/0.27 c remove useless variable ce[5][0][0] 0.21/0.27 c remove useless variable ce[5][1][0] 0.21/0.27 c remove useless variable ce[5][1][1] 0.21/0.27 c remove useless variable ce[5][2][0] 0.21/0.27 c remove useless variable ce[5][2][1] 0.21/0.27 c remove useless variable ce[5][2][2] 0.21/0.27 c remove useless variable ce[5][3][0] 0.21/0.27 c remove useless variable ce[5][3][1] 0.21/0.27 c remove useless variable ce[5][3][2] 0.21/0.27 c remove useless variable ce[5][3][3] 0.21/0.27 c remove useless variable ce[5][4][0] 0.21/0.27 c remove useless variable ce[5][4][1] 0.21/0.27 c remove useless variable ce[5][4][2] 0.21/0.27 c remove useless variable ce[5][4][3] 0.21/0.27 c remove useless variable ce[5][4][4] 0.21/0.27 c remove useless variable ce[5][5][0] 0.21/0.27 c remove useless variable ce[5][5][1] 0.21/0.27 c remove useless variable ce[5][5][2] 0.21/0.27 c remove useless variable ce[5][5][3] 0.21/0.27 c remove useless variable ce[5][5][4] 0.21/0.27 c remove useless variable ce[5][5][5] 0.21/0.27 c remove useless variable ce[5][6][0] 0.21/0.27 c remove useless variable ce[5][6][1] 0.21/0.27 c remove useless variable ce[5][6][2] 0.21/0.27 c remove useless variable ce[5][6][3] 0.21/0.27 c remove useless variable ce[5][6][4] 0.21/0.27 c remove useless variable ce[5][6][5] 0.21/0.27 c remove useless variable ce[5][6][6] 0.21/0.27 c remove useless variable ce[5][7][0] 0.21/0.27 c remove useless variable ce[5][7][1] 0.21/0.27 c remove useless variable ce[5][7][2] 0.21/0.27 c remove useless variable ce[5][7][3] 0.21/0.27 c remove useless variable ce[5][7][4] 0.21/0.27 c remove useless variable ce[5][7][5] 0.21/0.27 c remove useless variable ce[5][7][6] 0.21/0.27 c remove useless variable ce[5][7][7] 0.21/0.27 c remove useless variable ce[5][8][0] 0.21/0.27 c remove useless variable ce[5][8][1] 0.21/0.27 c remove useless variable ce[5][8][2] 0.21/0.27 c remove useless variable ce[5][8][3] 0.21/0.27 c remove useless variable ce[5][8][4] 0.21/0.27 c remove useless variable ce[5][8][5] 0.21/0.27 c remove useless variable ce[5][8][6] 0.21/0.27 c remove useless variable ce[5][8][7] 0.21/0.27 c remove useless variable ce[5][8][8] 0.21/0.27 c remove useless variable ce[5][9][0] 0.21/0.27 c remove useless variable ce[5][9][1] 0.21/0.27 c remove useless variable ce[5][9][2] 0.21/0.27 c remove useless variable ce[5][9][3] 0.21/0.27 c remove useless variable ce[5][9][4] 0.21/0.27 c remove useless variable ce[5][9][5] 0.21/0.27 c remove useless variable ce[5][9][6] 0.21/0.27 c remove useless variable ce[5][9][7] 0.21/0.27 c remove useless variable ce[5][9][8] 0.21/0.27 c remove useless variable ce[5][9][9] 0.21/0.27 c remove useless variable ce[5][10][0] 0.21/0.27 c remove useless variable ce[5][10][1] 0.21/0.27 c remove useless variable ce[5][10][2] 0.21/0.27 c remove useless variable ce[5][10][3] 0.21/0.27 c remove useless variable ce[5][10][4] 0.21/0.27 c remove useless variable ce[5][10][5] 0.21/0.27 c remove useless variable ce[5][10][6] 0.21/0.27 c remove useless variable ce[5][10][7] 0.21/0.27 c remove useless variable ce[5][10][8] 0.21/0.27 c remove useless variable ce[5][10][9] 0.21/0.27 c remove useless variable ce[5][10][10] 0.21/0.27 c remove useless variable ce[5][11][0] 0.21/0.27 c remove useless variable ce[5][11][1] 0.21/0.27 c remove useless variable ce[5][11][2] 0.21/0.27 c remove useless variable ce[5][11][3] 0.21/0.27 c remove useless variable ce[5][11][4] 0.21/0.27 c remove useless variable ce[5][11][5] 0.21/0.27 c remove useless variable ce[5][11][6] 0.21/0.27 c remove useless variable ce[5][11][7] 0.21/0.27 c remove useless variable ce[5][11][8] 0.21/0.27 c remove useless variable ce[5][11][9] 0.21/0.27 c remove useless variable ce[5][11][10] 0.21/0.27 c remove useless variable ce[5][11][11] 0.21/0.27 c remove useless variable ce[5][12][0] 0.21/0.27 c remove useless variable ce[5][12][1] 0.21/0.27 c remove useless variable ce[5][12][2] 0.21/0.27 c remove useless variable ce[5][12][3] 0.21/0.27 c remove useless variable ce[5][12][4] 0.21/0.27 c remove useless variable ce[5][12][5] 0.21/0.27 c remove useless variable ce[5][12][6] 0.21/0.27 c remove useless variable ce[5][12][7] 0.21/0.27 c remove useless variable ce[5][12][8] 0.21/0.27 c remove useless variable ce[5][12][9] 0.21/0.27 c remove useless variable ce[5][12][10] 0.21/0.27 c remove useless variable ce[5][12][11] 0.21/0.27 c remove useless variable ce[5][12][12] 0.21/0.27 c remove useless variable ce[6][0][0] 0.21/0.27 c remove useless variable ce[6][1][0] 0.21/0.27 c remove useless variable ce[6][1][1] 0.21/0.27 c remove useless variable ce[6][2][0] 0.21/0.27 c remove useless variable ce[6][2][1] 0.21/0.27 c remove useless variable ce[6][2][2] 0.21/0.27 c remove useless variable ce[6][3][0] 0.21/0.27 c remove useless variable ce[6][3][1] 0.21/0.27 c remove useless variable ce[6][3][2] 0.21/0.27 c remove useless variable ce[6][3][3] 0.21/0.27 c remove useless variable ce[6][4][0] 0.21/0.27 c remove useless variable ce[6][4][1] 0.21/0.27 c remove useless variable ce[6][4][2] 0.21/0.27 c remove useless variable ce[6][4][3] 0.21/0.27 c remove useless variable ce[6][4][4] 0.21/0.27 c remove useless variable ce[6][5][0] 0.21/0.27 c remove useless variable ce[6][5][1] 0.21/0.27 c remove useless variable ce[6][5][2] 0.21/0.27 c remove useless variable ce[6][5][3] 0.21/0.27 c remove useless variable ce[6][5][4] 0.21/0.27 c remove useless variable ce[6][5][5] 0.21/0.27 c remove useless variable ce[6][6][0] 0.21/0.27 c remove useless variable ce[6][6][1] 0.21/0.27 c remove useless variable ce[6][6][2] 0.21/0.27 c remove useless variable ce[6][6][3] 0.21/0.27 c remove useless variable ce[6][6][4] 0.21/0.27 c remove useless variable ce[6][6][5] 0.21/0.27 c remove useless variable ce[6][6][6] 0.21/0.27 c remove useless variable ce[6][7][0] 0.21/0.27 c remove useless variable ce[6][7][1] 0.21/0.27 c remove useless variable ce[6][7][2] 0.21/0.27 c remove useless variable ce[6][7][3] 0.21/0.27 c remove useless variable ce[6][7][4] 0.21/0.27 c remove useless variable ce[6][7][5] 0.21/0.27 c remove useless variable ce[6][7][6] 0.21/0.27 c remove useless variable ce[6][7][7] 0.21/0.27 c remove useless variable ce[6][8][0] 0.21/0.27 c remove useless variable ce[6][8][1] 0.21/0.27 c remove useless variable ce[6][8][2] 0.21/0.27 c remove useless variable ce[6][8][3] 0.21/0.27 c remove useless variable ce[6][8][4] 0.21/0.27 c remove useless variable ce[6][8][5] 0.21/0.27 c remove useless variable ce[6][8][6] 0.21/0.27 c remove useless variable ce[6][8][7] 0.21/0.27 c remove useless variable ce[6][8][8] 0.21/0.27 c remove useless variable ce[6][9][0] 0.21/0.27 c remove useless variable ce[6][9][1] 0.21/0.27 c remove useless variable ce[6][9][2] 0.21/0.27 c remove useless variable ce[6][9][3] 0.21/0.27 c remove useless variable ce[6][9][4] 0.21/0.27 c remove useless variable ce[6][9][5] 0.21/0.27 c remove useless variable ce[6][9][6] 0.21/0.27 c remove useless variable ce[6][9][7] 0.21/0.27 c remove useless variable ce[6][9][8] 0.21/0.27 c remove useless variable ce[6][9][9] 0.21/0.27 c remove useless variable ce[6][10][0] 0.21/0.27 c remove useless variable ce[6][10][1] 0.21/0.27 c remove useless variable ce[6][10][2] 0.21/0.27 c remove useless variable ce[6][10][3] 0.21/0.27 c remove useless variable ce[6][10][4] 0.21/0.27 c remove useless variable ce[6][10][5] 0.21/0.27 c remove useless variable ce[6][10][6] 0.21/0.27 c remove useless variable ce[6][10][7] 0.21/0.27 c remove useless variable ce[6][10][8] 0.21/0.27 c remove useless variable ce[6][10][9] 0.21/0.27 c remove useless variable ce[6][10][10] 0.21/0.27 c remove useless variable ce[6][11][0] 0.21/0.27 c remove useless variable ce[6][11][1] 0.21/0.27 c remove useless variable ce[6][11][2] 0.21/0.27 c remove useless variable ce[6][11][3] 0.21/0.27 c remove useless variable ce[6][11][4] 0.21/0.27 c remove useless variable ce[6][11][5] 0.21/0.27 c remove useless variable ce[6][11][6] 0.21/0.27 c remove useless variable ce[6][11][7] 0.21/0.27 c remove useless variable ce[6][11][8] 0.21/0.27 c remove useless variable ce[6][11][9] 0.21/0.27 c remove useless variable ce[6][11][10] 0.21/0.27 c remove useless variable ce[6][11][11] 0.21/0.27 c remove useless variable ce[6][12][0] 0.21/0.27 c remove useless variable ce[6][12][1] 0.21/0.27 c remove useless variable ce[6][12][2] 0.21/0.27 c remove useless variable ce[6][12][3] 0.21/0.27 c remove useless variable ce[6][12][4] 0.21/0.27 c remove useless variable ce[6][12][5] 0.21/0.27 c remove useless variable ce[6][12][6] 0.21/0.27 c remove useless variable ce[6][12][7] 0.21/0.27 c remove useless variable ce[6][12][8] 0.21/0.27 c remove useless variable ce[6][12][9] 0.21/0.27 c remove useless variable ce[6][12][10] 0.21/0.27 c remove useless variable ce[6][12][11] 0.21/0.27 c remove useless variable ce[6][12][12] 0.21/0.27 c remove useless variable ce[7][0][0] 0.21/0.27 c remove useless variable ce[7][1][0] 0.21/0.27 c remove useless variable ce[7][1][1] 0.21/0.27 c remove useless variable ce[7][2][0] 0.21/0.27 c remove useless variable ce[7][2][1] 0.21/0.27 c remove useless variable ce[7][2][2] 0.21/0.27 c remove useless variable ce[7][3][0] 0.21/0.27 c remove useless variable ce[7][3][1] 0.21/0.27 c remove useless variable ce[7][3][2] 0.21/0.27 c remove useless variable ce[7][3][3] 0.21/0.27 c remove useless variable ce[7][4][0] 0.21/0.27 c remove useless variable ce[7][4][1] 0.21/0.27 c remove useless variable ce[7][4][2] 0.21/0.27 c remove useless variable ce[7][4][3] 0.21/0.27 c remove useless variable ce[7][4][4] 0.21/0.27 c remove useless variable ce[7][5][0] 0.21/0.27 c remove useless variable ce[7][5][1] 0.21/0.27 c remove useless variable ce[7][5][2] 0.21/0.27 c remove useless variable ce[7][5][3] 0.21/0.27 c remove useless variable ce[7][5][4] 0.21/0.27 c remove useless variable ce[7][5][5] 0.21/0.27 c remove useless variable ce[7][6][0] 0.21/0.27 c remove useless variable ce[7][6][1] 0.21/0.27 c remove useless variable ce[7][6][2] 0.21/0.27 c remove useless variable ce[7][6][3] 0.21/0.27 c remove useless variable ce[7][6][4] 0.21/0.27 c remove useless variable ce[7][6][5] 0.21/0.27 c remove useless variable ce[7][6][6] 0.21/0.27 c remove useless variable ce[7][7][0] 0.21/0.27 c remove useless variable ce[7][7][1] 0.21/0.27 c remove useless variable ce[7][7][2] 0.21/0.27 c remove useless variable ce[7][7][3] 0.21/0.27 c remove useless variable ce[7][7][4] 0.21/0.27 c remove useless variable ce[7][7][5] 0.21/0.27 c remove useless variable ce[7][7][6] 0.21/0.27 c remove useless variable ce[7][7][7] 0.21/0.27 c remove useless variable ce[7][8][0] 0.21/0.27 c remove useless variable ce[7][8][1] 0.21/0.27 c remove useless variable ce[7][8][2] 0.21/0.27 c remove useless variable ce[7][8][3] 0.21/0.27 c remove useless variable ce[7][8][4] 0.21/0.27 c remove useless variable ce[7][8][5] 0.21/0.27 c remove useless variable ce[7][8][6] 0.21/0.27 c remove useless variable ce[7][8][7] 0.21/0.27 c remove useless variable ce[7][8][8] 0.21/0.27 c remove useless variable ce[7][9][0] 0.21/0.27 c remove useless variable ce[7][9][1] 0.21/0.27 c remove useless variable ce[7][9][2] 0.21/0.27 c remove useless variable ce[7][9][3] 0.21/0.27 c remove useless variable ce[7][9][4] 0.21/0.27 c remove useless variable ce[7][9][5] 0.21/0.27 c remove useless variable ce[7][9][6] 0.21/0.27 c remove useless variable ce[7][9][7] 0.21/0.27 c remove useless variable ce[7][9][8] 0.21/0.27 c remove useless variable ce[7][9][9] 0.21/0.27 c remove useless variable ce[7][10][0] 0.21/0.27 c remove useless variable ce[7][10][1] 0.21/0.27 c remove useless variable ce[7][10][2] 0.21/0.27 c remove useless variable ce[7][10][3] 0.21/0.27 c remove useless variable ce[7][10][4] 0.21/0.27 c remove useless variable ce[7][10][5] 0.21/0.27 c remove useless variable ce[7][10][6] 0.21/0.27 c remove useless variable ce[7][10][7] 0.21/0.27 c remove useless variable ce[7][10][8] 0.21/0.27 c remove useless variable ce[7][10][9] 0.21/0.27 c remove useless variable ce[7][10][10] 0.21/0.27 c remove useless variable ce[7][11][0] 0.21/0.27 c remove useless variable ce[7][11][1] 0.21/0.27 c remove useless variable ce[7][11][2] 0.21/0.27 c remove useless variable ce[7][11][3] 0.21/0.27 c remove useless variable ce[7][11][4] 0.21/0.27 c remove useless variable ce[7][11][5] 0.21/0.27 c remove useless variable ce[7][11][6] 0.21/0.27 c remove useless variable ce[7][11][7] 0.21/0.27 c remove useless variable ce[7][11][8] 0.21/0.27 c remove useless variable ce[7][11][9] 0.21/0.27 c remove useless variable ce[7][11][10] 0.21/0.27 c remove useless variable ce[7][11][11] 0.21/0.27 c remove useless variable ce[7][12][0] 0.21/0.27 c remove useless variable ce[7][12][1] 0.21/0.27 c remove useless variable ce[7][12][2] 0.21/0.27 c remove useless variable ce[7][12][3] 0.21/0.27 c remove useless variable ce[7][12][4] 0.21/0.27 c remove useless variable ce[7][12][5] 0.21/0.27 c remove useless variable ce[7][12][6] 0.21/0.27 c remove useless variable ce[7][12][7] 0.21/0.27 c remove useless variable ce[7][12][8] 0.21/0.27 c remove useless variable ce[7][12][9] 0.21/0.27 c remove useless variable ce[7][12][10] 0.21/0.27 c remove useless variable ce[7][12][11] 0.21/0.27 c remove useless variable ce[7][12][12] 1.39/1.49 c 101 816 258931 266739 0 0 716 716 708 3.29/3.35 c 211 1474 503059 1530447 0 0 549 549 544 3.39/3.43 c 332 1600 507776 1533772 0 0 6 6 5 5.29/5.32 c 465 2243 741764 2719751 0 0 8 511 492 6.69/6.72 c 611 2809 946631 3191279 0 0 10 421 379 7.99/8.08 c 771 3415 1151816 3635216 0 0 8 447 307 9.59/9.61 c 947 4050 1349668 4276325 0 0 13 460 315 10.89/10.97 c 1140 4715 1544596 4763718 0 0 23 473 333 12.59/12.67 c 1352 5412 1739013 5693787 0 0 29 486 194 14.89/14.92 c 1585 5681 1752993 7237501 0 0 19 37 35 16.10/16.17 c 1841 6435 1941534 7670281 0 0 52 499 384 16.39/16.40 c 2122 6764 1951868 7738893 0 0 40 49 48 17.79/17.86 c 2431 7624 2146099 8498637 0 0 21 552 285 19.29/19.35 c 2770 8517 2331966 9306561 0 0 16 554 438 20.89/20.91 c 3142 9445 2519760 10155122 0 0 14 556 331 22.39/22.42 c 3551 10412 2701623 10989149 0 0 51 558 444 23.89/24.00 c 4000 11421 2873152 11942854 0 0 50 560 428 27.89/27.99 c 4493 12477 3038755 15519487 0 0 51 563 353 30.10/30.17 c 5035 13282 3092803 17170223 0 0 59 264 188 34.59/34.64 c 5631 14031 3123056 20046455 0 0 41 154 141 38.19/38.28 c 6286 14962 3183068 22935360 0 0 32 277 170 53.19/53.28 c 7006 15714 3257369 30050287 0 0 10 32 31 58.79/58.80 c 7798 16808 3322519 34171036 0 0 14 303 199 59.29/59.32 c 8669 17745 3346017 34222538 0 0 53 53 52 76.00/76.06 c 9627 18779 3418402 44637795 0 0 18 76 74 86.39/86.42 c 10680 19932 3455145 53664580 0 0 21 100 99 86.89/87.00 c 11838 21109 3481067 53686022 0 0 19 19 18 161.48/161.54 c 13111 22429 3665123 86579191 0 0 13 47 46 173.18/173.28 c 14511 23968 3731051 93017986 0 0 16 138 135 185.99/186.06 c 16051 25693 3771241 101999433 0 0 35 184 168 212.78/212.86 c 17745 27431 3883845 111339971 0 0 19 43 42 227.28/227.39 c 19608 29336 3966508 117668775 0 0 20 41 40 254.18/254.22 c 21657 31485 4070531 138204411 0 0 27 96 82 269.88/269.95 c 23910 34461 4295879 159871269 0 0 76 716 711 292.78/292.83 c 26388 37060 4368256 175225599 0 0 20 77 69 308.49/308.57 c 29113 39974 4438225 188162642 0 0 22 164 152 367.69/367.75 c 32110 43691 4854229 237313668 0 0 11 716 246 393.39/393.43 c 35406 47070 4937055 251498568 0 0 35 53 52 419.09/419.15 c 39031 51424 5209980 286151369 0 0 14 716 713 430.59/430.67 c 43018 55487 5287958 295892048 0 0 47 71 70 465.99/466.01 c 47403 60019 5428137 324393263 0 0 25 141 140 472.29/472.31 c 52226 65038 5497687 328627420 0 0 42 190 188 489.88/489.91 c 57531 70678 5581351 343107364 0 0 43 325 313 514.18/514.27 c 63366 76911 5677738 363601481 0 0 65 332 260 556.99/557.00 c 69784 83403 5884683 407420447 0 0 24 48 47 578.38/578.48 c 76843 90514 6055980 422720202 0 0 24 43 42 746.88/747.00 c 84607 98335 6628695 513619937 0 0 36 47 46 795.48/795.54 c 93147 107209 6793493 552708756 0 0 31 143 140 849.68/849.76 c 102541 117011 6931084 598089303 0 0 121 271 258 858.68/858.75 c 112874 128101 7230433 609518407 0 0 14 716 714 918.99/919.10 c 124240 144249 7592531 636801194 0 0 26 63 59 935.18/935.26 c 136742 156802 7954858 655536238 0 0 28 34 33 1040.09/1040.16 c 150494 170625 8266391 718978571 0 0 36 46 40 1116.18/1116.27 c 165621 186058 8482714 787201889 0 0 56 201 200 1282.18/1282.20 c 182260 202982 9037053 917900826 0 0 41 53 46 1328.78/1328.86 c 200562 221546 9830224 958073870 0 0 31 32 31 1531.99/1532.05 c 220694 242129 10410206 1144445356 0 0 80 101 100 1618.68/1618.76 c 242839 265086 11081283 1270716928 0 0 23 716 715 1715.48/1715.55 c 267198 289908 11504894 1347772054 0 0 97 237 224 1798.00/1798.08 c 293992 316755 12564797 1443988119 0 0 16 16 15 2409.19/2409.27 c 323465 349758 14940420 1716427833 0 0 52 60 52 2520.00/2520.00 2520.00/2520.00 c *** INTERRUPTED *** 2520.00/2520.00 c restarts : 61 2520.00/2520.00 c conflicts : 341528 (136 /sec) 2520.00/2520.00 c decisions : 367917 (146 /sec) 2520.00/2520.00 c propagations : 1781082793 (706792 /sec) 2520.00/2520.00 c root propagations : 0 2520.00/2520.00 c filter calls : 15665218 (6216 /sec) 2520.00/2520.00 c useless filter calls : 12216797 (77 %) 2520.00/2520.00 c Memory used : 88.83 MB 2520.00/2520.00 c CPU time : 2519.95 s 2520.00/2520.00 c real time : 2520 s 2520.00/2520.00 2520.00/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15175 MiB free) memory of node 1: 16384 MiB (15562 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408167-1569789915/watcher-4408167-1569789915 -o /tmp/evaluation-result-4408167-1569789915/solver-4408167-1569789915 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17998 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408167-1569789915.xml running on 4 cores: 0,2,4,6 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18350, runsolver pid=18347 Current StackSize limit: 8192 KiB [startup+0.100198 s]* /proc/loadavg: 2.00 2.00 1.87 3/196 18354 /proc/meminfo: memFree=31501080/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=50380 memory=26512 CPUtime=0.1 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 6854 0 0 0 10 0 0 0 20 0 1 0 555258188 51589120 6628 33554432000 4194304 6211132 140734466178048 140734466174584 140509190286309 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 12595 6628 823 493 0 5900 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 50380 KiB Current children cumulated memory: 26512 KiB [startup+0.209516 s]* /proc/loadavg: 2.00 2.00 1.87 2/196 18372 /proc/meminfo: memFree=31485764/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=69312 memory=45520 CPUtime=0.21 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 11581 0 0 0 20 1 0 0 20 0 1 0 555258188 70975488 11380 33554432000 4194304 6211132 140734466178048 140734466174584 5071149 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 17328 11380 823 493 0 10633 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 69312 KiB Current children cumulated memory: 45520 KiB [startup+0.309546 s]* /proc/loadavg: 2.00 2.00 1.87 3/200 18383 /proc/meminfo: memFree=31472124/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=75948 memory=52384 CPUtime=0.31 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 13285 0 0 0 30 1 0 0 20 0 1 0 555258188 77770752 13096 33554432000 4194304 6211132 140734466178048 140734466174584 5393511 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 18987 13096 859 493 0 12292 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 75948 KiB Current children cumulated memory: 52384 KiB [startup+0.70035 s] /proc/loadavg: 2.00 2.00 1.87 3/200 18383 /proc/meminfo: memFree=31468776/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=76764 memory=53296 CPUtime=0.69 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 13487 0 0 0 68 1 0 0 20 0 1 0 555258188 78606336 13324 33554432000 4194304 6211132 140734466178048 140734466174584 5397258 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 19191 13324 869 493 0 12496 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 76764 KiB Current children cumulated memory: 53296 KiB [startup+1.50035 s] /proc/loadavg: 2.00 2.00 1.87 3/200 18383 /proc/meminfo: memFree=31458504/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=79868 memory=56196 CPUtime=1.49 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 14245 0 0 0 148 1 0 0 20 0 1 0 555258188 81784832 14049 33554432000 4194304 6211132 140734466178048 140734466175928 5193760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 19967 14049 871 493 0 13272 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 79868 KiB Current children cumulated memory: 56196 KiB [startup+3.1094 s] /proc/loadavg: 2.00 2.00 1.87 3/200 18383 /proc/meminfo: memFree=31421820/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=79868 memory=56332 CPUtime=3.1 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 18465 0 0 0 309 1 0 0 20 0 1 0 555258188 81784832 14083 33554432000 4194304 6211132 140734466178048 140734466176008 140509200231238 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 19967 14083 871 493 0 13272 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 79868 KiB Current children cumulated memory: 56332 KiB [startup+6.30034 s] /proc/loadavg: 2.00 2.00 1.87 3/200 18383 /proc/meminfo: memFree=31396344/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=79868 memory=56332 CPUtime=6.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 24142 0 0 0 628 1 0 0 20 0 1 0 555258188 81784832 14083 33554432000 4194304 6211132 140734466178048 140734466176008 5081968 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 19967 14083 871 493 0 13272 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 79868 KiB Current children cumulated memory: 56332 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.87 3/200 18383 /proc/meminfo: memFree=31396200/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=80000 memory=56384 CPUtime=12.69 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 29372 0 0 0 1267 2 0 0 20 0 1 0 555258188 81920000 14096 33554432000 4194304 6211132 140734466178048 140734466176008 5081992 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 20000 14096 871 493 0 13305 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 80000 KiB Current children cumulated memory: 56384 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.00 1.88 3/200 18385 /proc/meminfo: memFree=31395040/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=80528 memory=56976 CPUtime=25.49 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 40752 0 0 0 2547 2 0 0 20 0 1 0 555258188 82460672 14244 33554432000 4194304 6211132 140734466178048 140734466176008 5081956 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 20132 14244 871 493 0 13437 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 80528 KiB Current children cumulated memory: 56976 KiB [startup+51.109 s] /proc/loadavg: 1.88 1.97 1.87 3/199 18511 /proc/meminfo: memFree=31467356/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=81716 memory=58120 CPUtime=51.09 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 43541 0 0 0 5107 2 0 0 20 0 1 0 555258188 83677184 14530 33554432000 4194304 6211132 140734466178048 140734466175704 5455682 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 20429 14530 871 493 0 13734 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 81716 KiB Current children cumulated memory: 58120 KiB [startup+102.3 s] /proc/loadavg: 1.98 1.99 1.88 3/199 18761 /proc/meminfo: memFree=31391224/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=83960 memory=60276 CPUtime=102.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 53906 0 0 0 10226 3 0 0 20 0 1 0 555258188 85975040 15069 33554432000 4194304 6211132 140734466178048 140734466175704 5072436 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 20990 15069 871 493 0 14295 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 83960 KiB Current children cumulated memory: 60276 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.88 3/199 18767 /proc/meminfo: memFree=31390528/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=85280 memory=61612 CPUtime=162.28 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 55117 0 0 0 16225 3 0 0 20 0 1 0 555258188 87326720 15403 33554432000 4194304 6211132 140734466178048 140734466176008 5186208 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 21320 15403 871 493 0 14625 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 85280 KiB Current children cumulated memory: 61612 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.99 1.89 3/199 18771 /proc/meminfo: memFree=31389540/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=85940 memory=62344 CPUtime=222.28 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 56323 0 0 0 22225 3 0 0 20 0 1 0 555258188 88002560 15586 33554432000 4194304 6211132 140734466178048 140734466176008 5069553 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 21485 15586 871 493 0 14790 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 85940 KiB Current children cumulated memory: 62344 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.90 3/199 18775 /proc/meminfo: memFree=31387844/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=86600 memory=62840 CPUtime=282.28 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 58229 0 0 0 28225 3 0 0 20 0 1 0 555258188 88678400 15710 33554432000 4194304 6211132 140734466178048 140734466175704 140509191209822 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 21650 15710 871 493 0 14955 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 86600 KiB Current children cumulated memory: 62840 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.90 3/200 18789 /proc/meminfo: memFree=31387008/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=87260 memory=63444 CPUtime=342.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 58815 0 0 0 34225 4 0 0 20 0 1 0 555258188 89354240 15861 33554432000 4194304 6211132 140734466178048 140734466175704 5443060 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 21815 15861 871 493 0 15120 0 Current children cumulated CPU time: 342.29 s Current children cumulated vsize: 87260 KiB Current children cumulated memory: 63444 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.91 3/200 18793 /proc/meminfo: memFree=31387576/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=87392 memory=63696 CPUtime=402.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 59718 0 0 0 40225 4 0 0 20 0 1 0 555258188 89489408 15924 33554432000 4194304 6211132 140734466178048 140734466176008 5476603 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 21848 15924 871 493 0 15153 0 Current children cumulated CPU time: 402.29 s Current children cumulated vsize: 87392 KiB Current children cumulated memory: 63696 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.91 3/200 18797 /proc/meminfo: memFree=31386996/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=87656 memory=64112 CPUtime=462.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 60746 0 0 0 46225 4 0 0 20 0 1 0 555258188 89759744 16028 33554432000 4194304 6211132 140734466178048 140734466175704 5441163 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 21914 16028 871 493 0 15219 0 Current children cumulated CPU time: 462.29 s Current children cumulated vsize: 87656 KiB Current children cumulated memory: 64112 KiB ################ # More data... # ################ /proc/18350/statm: 22706 16812 871 493 0 16011 0 Current children cumulated CPU time: 1722.28 s Current children cumulated vsize: 90824 KiB Current children cumulated memory: 67248 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.99 3/200 18940 /proc/meminfo: memFree=31381420/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90824 memory=67252 CPUtime=1782.28 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 74931 0 0 0 178224 4 0 0 20 0 1 0 555258188 93003776 16813 33554432000 4194304 6211132 140734466178048 140734466176008 5476637 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22706 16813 871 493 0 16011 0 Current children cumulated CPU time: 1782.28 s Current children cumulated vsize: 90824 KiB Current children cumulated memory: 67252 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.99 3/199 18944 /proc/meminfo: memFree=31381732/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67304 CPUtime=1842.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 75336 0 0 0 184224 5 0 0 20 0 1 0 555258188 93138944 16826 33554432000 4194304 6211132 140734466178048 140734466175704 140509200231256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16826 871 493 0 16044 0 Current children cumulated CPU time: 1842.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67304 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.99 3/199 18948 /proc/meminfo: memFree=31381772/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67340 CPUtime=1902.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 75708 0 0 0 190224 5 0 0 20 0 1 0 555258188 93138944 16835 33554432000 4194304 6211132 140734466178048 140734466175704 5476628 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16835 871 493 0 16044 0 Current children cumulated CPU time: 1902.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67340 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.99 3/199 18954 /proc/meminfo: memFree=31381236/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67340 CPUtime=1962.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 76081 0 0 0 196224 5 0 0 20 0 1 0 555258188 93138944 16835 33554432000 4194304 6211132 140734466178048 140734466175704 5446307 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16835 871 493 0 16044 0 Current children cumulated CPU time: 1962.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67340 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.99 3/198 18958 /proc/meminfo: memFree=31382512/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2022.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 76453 0 0 0 202224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466175704 5451539 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2022.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2082.3 s] /proc/loadavg: 2.15 2.06 2.01 3/199 18963 /proc/meminfo: memFree=31381136/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2082.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 76826 0 0 0 208224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466175704 5453958 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2082.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2142.3 s] /proc/loadavg: 2.06 2.05 2.01 3/200 18977 /proc/meminfo: memFree=31380836/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2142.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 77199 0 0 0 214224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466175704 5164837 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2142.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2202.3 s] /proc/loadavg: 2.02 2.04 2.01 3/200 18981 /proc/meminfo: memFree=31380784/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2202.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 77571 0 0 0 220224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466175704 5476628 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2202.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2262.3 s] /proc/loadavg: 2.01 2.03 2.01 3/200 18985 /proc/meminfo: memFree=31381536/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2262.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 77943 0 0 0 226224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466175704 140509200231306 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2262.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.03 2.01 3/200 18991 /proc/meminfo: memFree=31381264/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2322.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 78315 0 0 0 232224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466175704 5443082 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2322.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.01 3/200 18995 /proc/meminfo: memFree=31381672/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2382.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 78688 0 0 0 238224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466175704 5440652 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2382.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.02 2.01 3/199 19000 /proc/meminfo: memFree=31382104/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2442.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 79088 0 0 0 244224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466176008 5440687 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2442.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.01 3/199 19006 /proc/meminfo: memFree=31381780/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2502.29 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 79439 0 0 0 250224 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466176008 5451634 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2502.29 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.01 2.01 3/199 19007 /proc/meminfo: memFree=31381896/32770624 swapFree=66975648/67108860 [pid=18350] ppid=18347 vsize=90956 memory=67344 CPUtime=2520 cores=0,2,4,6 /proc/18350/stat : 18350 (cosoco) R 18347 18350 17967 0 -1 4202496 79786 0 0 0 251995 5 0 0 20 0 1 0 555258188 93138944 16836 33554432000 4194304 6211132 140734466178048 140734466176008 5446959 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 8531968 140734466180107 140734466180209 140734466180209 140734466183118 0 /proc/18350/statm: 22739 16836 871 493 0 16044 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 90956 KiB Current children cumulated memory: 67344 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 18350 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.95 s, system=0.053 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2520.01 CPU user time (s): 2519.95 CPU system time (s): 0.053 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 90956 Max. memory (cumulated for all children) (KiB): 67344 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.95 system time used= 0.053 maximum resident set size= 67408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79834 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= 23 involuntary context switches= 3152 # summary of solver processes directly reported to runsolver: # pid: 18350 # total CPU time (s): 2520.01 # total CPU user time (s): 2519.95 # total CPU system time (s): 0.053 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.17541 second user time and 16.3449 second system time The end
Begin job on node125 at 2019-09-29 22:44:31 IDJOB=4408167 IDBENCH=120726 IDSOLVER=2874 FILE ID=node125/4408167-1569789915 RUNJOBID= node125-1569787350-17998 PBS_JOBID= 21705828 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K13-P08.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408167-1569789915/watcher-4408167-1569789915 -o /tmp/evaluation-result-4408167-1569789915/solver-4408167-1569789915 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1569787350-17998 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408167-1569789915.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f6de09233a74707b341bbe4fbe6d65e2 RANDOM SEED=240987012 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.29 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.29 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.29 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.29 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: 31477332 kB MemAvailable: 31804340 kB Buffers: 189608 kB Cached: 476444 kB SwapCached: 29880 kB Active: 431952 kB Inactive: 314876 kB Active(anon): 63556 kB Inactive(anon): 97868 kB Active(file): 368396 kB Inactive(file): 217008 kB Unevictable: 107476 kB Mlocked: 107476 kB SwapTotal: 67108860 kB SwapFree: 66975648 kB Dirty: 2844 kB Writeback: 4 kB AnonPages: 149536 kB Mapped: 37172 kB Shmem: 72028 kB Slab: 143860 kB SReclaimable: 114880 kB SUnreclaim: 28980 kB KernelStack: 3776 kB PageTables: 5744 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1499640 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62024 MiB End job on node125 at 2019-09-29 23:26:31