Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | ? (TO) | 2400.03 | 2399.8999 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K12-P09.xml |
MD5SUM | 32cec65ed71b36923f34d2db18851218 |
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 | 1500 |
Number of constraints | 692 |
Number of domains | 2 |
Minimum domain size | 690 |
Maximum domain size | 691 |
Distribution of domain sizes | [{"size":690,"count":690},{"size":691,"count":108}] |
Minimum variable degree | 0 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":0,"count":702},{"degree":2,"count":690},{"degree":13,"count":24},{"degree":14,"count":84}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 690 |
Distribution of constraint arities | [{"arity":3,"count":690},{"arity":108,"count":1},{"arity":690,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 690 |
Distribution of constraint types | [{"type":"intension","count":690},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.69/0.86 c root propagations : 0 0.69/0.86 c restarts enabled, print stats at every restarts 0.69/0.86 c 0.69/0.86 c 0.69/0.86 c 0.69/0.86 c This is cosoco 1.1 -- 0.69/0.86 c 0.69/0.86 c command line: cosoco -lc -model -restarts HOME/instance-4260087-1502019986.xml 0.69/0.86 c ========================================[ Problem Statistics ]=========================================== 0.69/0.86 c | 0.69/0.86 c | Parse time : 0.74 s 0.69/0.86 c | 0.69/0.86 c | Variables: 1500 0.69/0.86 c | Domain Sizes: 690..691 0.69/0.86 c | 0.69/0.86 c | Constraints: 692 0.69/0.86 c | Arity: 3..690 -- Ternary: 690 0.69/0.86 c | 0.69/0.86 c | Types: 0.69/0.86 c | All Different: 2 0.69/0.86 c | Intension: 690 0.69/0.86 c | 0.69/0.86 c ========================================================================================================= 0.69/0.86 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.69/0.86 c remove useless variable ce[0][0][0] 0.69/0.86 c remove useless variable ce[0][1][0] 0.69/0.86 c remove useless variable ce[0][1][1] 0.69/0.86 c remove useless variable ce[0][2][0] 0.69/0.86 c remove useless variable ce[0][2][1] 0.69/0.86 c remove useless variable ce[0][2][2] 0.69/0.86 c remove useless variable ce[0][3][0] 0.69/0.86 c remove useless variable ce[0][3][1] 0.69/0.86 c remove useless variable ce[0][3][2] 0.69/0.86 c remove useless variable ce[0][3][3] 0.69/0.86 c remove useless variable ce[0][4][0] 0.69/0.86 c remove useless variable ce[0][4][1] 0.69/0.86 c remove useless variable ce[0][4][2] 0.69/0.86 c remove useless variable ce[0][4][3] 0.69/0.86 c remove useless variable ce[0][4][4] 0.69/0.86 c remove useless variable ce[0][5][0] 0.69/0.86 c remove useless variable ce[0][5][1] 0.69/0.86 c remove useless variable ce[0][5][2] 0.69/0.86 c remove useless variable ce[0][5][3] 0.69/0.86 c remove useless variable ce[0][5][4] 0.69/0.86 c remove useless variable ce[0][5][5] 0.69/0.86 c remove useless variable ce[0][6][0] 0.69/0.86 c remove useless variable ce[0][6][1] 0.69/0.86 c remove useless variable ce[0][6][2] 0.69/0.86 c remove useless variable ce[0][6][3] 0.69/0.86 c remove useless variable ce[0][6][4] 0.69/0.86 c remove useless variable ce[0][6][5] 0.69/0.86 c remove useless variable ce[0][6][6] 0.69/0.86 c remove useless variable ce[0][7][0] 0.69/0.86 c remove useless variable ce[0][7][1] 0.69/0.86 c remove useless variable ce[0][7][2] 0.69/0.86 c remove useless variable ce[0][7][3] 0.69/0.86 c remove useless variable ce[0][7][4] 0.69/0.86 c remove useless variable ce[0][7][5] 0.69/0.86 c remove useless variable ce[0][7][6] 0.69/0.86 c remove useless variable ce[0][7][7] 0.69/0.86 c remove useless variable ce[0][8][0] 0.69/0.86 c remove useless variable ce[0][8][1] 0.69/0.86 c remove useless variable ce[0][8][2] 0.69/0.86 c remove useless variable ce[0][8][3] 0.69/0.86 c remove useless variable ce[0][8][4] 0.69/0.86 c remove useless variable ce[0][8][5] 0.69/0.86 c remove useless variable ce[0][8][6] 0.69/0.86 c remove useless variable ce[0][8][7] 0.69/0.86 c remove useless variable ce[0][8][8] 0.69/0.86 c remove useless variable ce[0][9][0] 0.69/0.86 c remove useless variable ce[0][9][1] 0.69/0.86 c remove useless variable ce[0][9][2] 0.69/0.86 c remove useless variable ce[0][9][3] 0.69/0.86 c remove useless variable ce[0][9][4] 0.69/0.86 c remove useless variable ce[0][9][5] 0.69/0.86 c remove useless variable ce[0][9][6] 0.69/0.86 c remove useless variable ce[0][9][7] 0.69/0.86 c remove useless variable ce[0][9][8] 0.69/0.86 c remove useless variable ce[0][9][9] 0.69/0.86 c remove useless variable ce[0][10][0] 0.69/0.86 c remove useless variable ce[0][10][1] 0.69/0.86 c remove useless variable ce[0][10][2] 0.69/0.86 c remove useless variable ce[0][10][3] 0.69/0.86 c remove useless variable ce[0][10][4] 0.69/0.86 c remove useless variable ce[0][10][5] 0.69/0.86 c remove useless variable ce[0][10][6] 0.69/0.86 c remove useless variable ce[0][10][7] 0.69/0.86 c remove useless variable ce[0][10][8] 0.69/0.86 c remove useless variable ce[0][10][9] 0.69/0.86 c remove useless variable ce[0][10][10] 0.69/0.86 c remove useless variable ce[0][11][0] 0.69/0.86 c remove useless variable ce[0][11][1] 0.69/0.86 c remove useless variable ce[0][11][2] 0.69/0.86 c remove useless variable ce[0][11][3] 0.69/0.86 c remove useless variable ce[0][11][4] 0.69/0.86 c remove useless variable ce[0][11][5] 0.69/0.86 c remove useless variable ce[0][11][6] 0.69/0.86 c remove useless variable ce[0][11][7] 0.69/0.86 c remove useless variable ce[0][11][8] 0.69/0.86 c remove useless variable ce[0][11][9] 0.69/0.86 c remove useless variable ce[0][11][10] 0.69/0.86 c remove useless variable ce[0][11][11] 0.69/0.86 c remove useless variable ce[1][0][0] 0.69/0.86 c remove useless variable ce[1][1][0] 0.69/0.86 c remove useless variable ce[1][1][1] 0.69/0.86 c remove useless variable ce[1][2][0] 0.69/0.86 c remove useless variable ce[1][2][1] 0.69/0.86 c remove useless variable ce[1][2][2] 0.69/0.86 c remove useless variable ce[1][3][0] 0.69/0.86 c remove useless variable ce[1][3][1] 0.69/0.86 c remove useless variable ce[1][3][2] 0.69/0.86 c remove useless variable ce[1][3][3] 0.69/0.86 c remove useless variable ce[1][4][0] 0.69/0.86 c remove useless variable ce[1][4][1] 0.69/0.86 c remove useless variable ce[1][4][2] 0.69/0.86 c remove useless variable ce[1][4][3] 0.69/0.86 c remove useless variable ce[1][4][4] 0.69/0.86 c remove useless variable ce[1][5][0] 0.69/0.86 c remove useless variable ce[1][5][1] 0.69/0.86 c remove useless variable ce[1][5][2] 0.69/0.86 c remove useless variable ce[1][5][3] 0.69/0.86 c remove useless variable ce[1][5][4] 0.69/0.86 c remove useless variable ce[1][5][5] 0.69/0.86 c remove useless variable ce[1][6][0] 0.69/0.86 c remove useless variable ce[1][6][1] 0.69/0.86 c remove useless variable ce[1][6][2] 0.69/0.86 c remove useless variable ce[1][6][3] 0.69/0.86 c remove useless variable ce[1][6][4] 0.69/0.86 c remove useless variable ce[1][6][5] 0.69/0.86 c remove useless variable ce[1][6][6] 0.69/0.86 c remove useless variable ce[1][7][0] 0.69/0.86 c remove useless variable ce[1][7][1] 0.69/0.86 c remove useless variable ce[1][7][2] 0.69/0.86 c remove useless variable ce[1][7][3] 0.69/0.86 c remove useless variable ce[1][7][4] 0.69/0.86 c remove useless variable ce[1][7][5] 0.69/0.86 c remove useless variable ce[1][7][6] 0.69/0.86 c remove useless variable ce[1][7][7] 0.69/0.86 c remove useless variable ce[1][8][0] 0.69/0.86 c remove useless variable ce[1][8][1] 0.69/0.86 c remove useless variable ce[1][8][2] 0.69/0.86 c remove useless variable ce[1][8][3] 0.69/0.86 c remove useless variable ce[1][8][4] 0.69/0.86 c remove useless variable ce[1][8][5] 0.69/0.86 c remove useless variable ce[1][8][6] 0.69/0.86 c remove useless variable ce[1][8][7] 0.69/0.86 c remove useless variable ce[1][8][8] 0.69/0.86 c remove useless variable ce[1][9][0] 0.69/0.86 c remove useless variable ce[1][9][1] 0.69/0.86 c remove useless variable ce[1][9][2] 0.69/0.86 c remove useless variable ce[1][9][3] 0.69/0.86 c remove useless variable ce[1][9][4] 0.69/0.86 c remove useless variable ce[1][9][5] 0.69/0.86 c remove useless variable ce[1][9][6] 0.69/0.86 c remove useless variable ce[1][9][7] 0.69/0.86 c remove useless variable ce[1][9][8] 0.69/0.86 c remove useless variable ce[1][9][9] 0.69/0.86 c remove useless variable ce[1][10][0] 0.69/0.86 c remove useless variable ce[1][10][1] 0.69/0.86 c remove useless variable ce[1][10][2] 0.69/0.86 c remove useless variable ce[1][10][3] 0.69/0.86 c remove useless variable ce[1][10][4] 0.69/0.86 c remove useless variable ce[1][10][5] 0.69/0.86 c remove useless variable ce[1][10][6] 0.69/0.86 c remove useless variable ce[1][10][7] 0.69/0.86 c remove useless variable ce[1][10][8] 0.69/0.86 c remove useless variable ce[1][10][9] 0.69/0.86 c remove useless variable ce[1][10][10] 0.69/0.86 c remove useless variable ce[1][11][0] 0.69/0.86 c remove useless variable ce[1][11][1] 0.69/0.86 c remove useless variable ce[1][11][2] 0.69/0.86 c remove useless variable ce[1][11][3] 0.69/0.86 c remove useless variable ce[1][11][4] 0.69/0.86 c remove useless variable ce[1][11][5] 0.69/0.86 c remove useless variable ce[1][11][6] 0.69/0.86 c remove useless variable ce[1][11][7] 0.69/0.86 c remove useless variable ce[1][11][8] 0.69/0.86 c remove useless variable ce[1][11][9] 0.69/0.86 c remove useless variable ce[1][11][10] 0.69/0.86 c remove useless variable ce[1][11][11] 0.69/0.86 c remove useless variable ce[2][0][0] 0.69/0.86 c remove useless variable ce[2][1][0] 0.69/0.86 c remove useless variable ce[2][1][1] 0.69/0.86 c remove useless variable ce[2][2][0] 0.69/0.86 c remove useless variable ce[2][2][1] 0.69/0.86 c remove useless variable ce[2][2][2] 0.69/0.86 c remove useless variable ce[2][3][0] 0.69/0.86 c remove useless variable ce[2][3][1] 0.69/0.86 c remove useless variable ce[2][3][2] 0.69/0.86 c remove useless variable ce[2][3][3] 0.69/0.86 c remove useless variable ce[2][4][0] 0.69/0.86 c remove useless variable ce[2][4][1] 0.69/0.86 c remove useless variable ce[2][4][2] 0.69/0.86 c remove useless variable ce[2][4][3] 0.69/0.86 c remove useless variable ce[2][4][4] 0.69/0.86 c remove useless variable ce[2][5][0] 0.69/0.86 c remove useless variable ce[2][5][1] 0.69/0.86 c remove useless variable ce[2][5][2] 0.69/0.86 c remove useless variable ce[2][5][3] 0.69/0.86 c remove useless variable ce[2][5][4] 0.69/0.86 c remove useless variable ce[2][5][5] 0.69/0.86 c remove useless variable ce[2][6][0] 0.69/0.86 c remove useless variable ce[2][6][1] 0.69/0.86 c remove useless variable ce[2][6][2] 0.69/0.86 c remove useless variable ce[2][6][3] 0.69/0.86 c remove useless variable ce[2][6][4] 0.69/0.86 c remove useless variable ce[2][6][5] 0.69/0.86 c remove useless variable ce[2][6][6] 0.69/0.86 c remove useless variable ce[2][7][0] 0.69/0.86 c remove useless variable ce[2][7][1] 0.69/0.86 c remove useless variable ce[2][7][2] 0.69/0.86 c remove useless variable ce[2][7][3] 0.69/0.86 c remove useless variable ce[2][7][4] 0.69/0.86 c remove useless variable ce[2][7][5] 0.69/0.86 c remove useless variable ce[2][7][6] 0.69/0.86 c remove useless variable ce[2][7][7] 0.69/0.86 c remove useless variable ce[2][8][0] 0.69/0.86 c remove useless variable ce[2][8][1] 0.69/0.86 c remove useless variable ce[2][8][2] 0.69/0.86 c remove useless variable ce[2][8][3] 0.69/0.86 c remove useless variable ce[2][8][4] 0.69/0.86 c remove useless variable ce[2][8][5] 0.69/0.86 c remove useless variable ce[2][8][6] 0.69/0.86 c remove useless variable ce[2][8][7] 0.69/0.86 c remove useless variable ce[2][8][8] 0.69/0.86 c remove useless variable ce[2][9][0] 0.69/0.86 c remove useless variable ce[2][9][1] 0.69/0.86 c remove useless variable ce[2][9][2] 0.69/0.86 c remove useless variable ce[2][9][3] 0.69/0.86 c remove useless variable ce[2][9][4] 0.69/0.86 c remove useless variable ce[2][9][5] 0.69/0.86 c remove useless variable ce[2][9][6] 0.69/0.86 c remove useless variable ce[2][9][7] 0.69/0.86 c remove useless variable ce[2][9][8] 0.69/0.86 c remove useless variable ce[2][9][9] 0.69/0.86 c remove useless variable ce[2][10][0] 0.69/0.86 c remove useless variable ce[2][10][1] 0.69/0.86 c remove useless variable ce[2][10][2] 0.69/0.86 c remove useless variable ce[2][10][3] 0.69/0.86 c remove useless variable ce[2][10][4] 0.69/0.86 c remove useless variable ce[2][10][5] 0.69/0.86 c remove useless variable ce[2][10][6] 0.69/0.86 c remove useless variable ce[2][10][7] 0.69/0.86 c remove useless variable ce[2][10][8] 0.69/0.86 c remove useless variable ce[2][10][9] 0.69/0.86 c remove useless variable ce[2][10][10] 0.69/0.86 c remove useless variable ce[2][11][0] 0.69/0.86 c remove useless variable ce[2][11][1] 0.69/0.86 c remove useless variable ce[2][11][2] 0.69/0.86 c remove useless variable ce[2][11][3] 0.69/0.86 c remove useless variable ce[2][11][4] 0.69/0.86 c remove useless variable ce[2][11][5] 0.69/0.86 c remove useless variable ce[2][11][6] 0.69/0.86 c remove useless variable ce[2][11][7] 0.69/0.86 c remove useless variable ce[2][11][8] 0.69/0.86 c remove useless variable ce[2][11][9] 0.69/0.86 c remove useless variable ce[2][11][10] 0.69/0.86 c remove useless variable ce[2][11][11] 0.69/0.86 c remove useless variable ce[3][0][0] 0.69/0.86 c remove useless variable ce[3][1][0] 0.69/0.86 c remove useless variable ce[3][1][1] 0.69/0.86 c remove useless variable ce[3][2][0] 0.69/0.86 c remove useless variable ce[3][2][1] 0.69/0.86 c remove useless variable ce[3][2][2] 0.69/0.86 c remove useless variable ce[3][3][0] 0.69/0.86 c remove useless variable ce[3][3][1] 0.69/0.86 c remove useless variable ce[3][3][2] 0.69/0.86 c remove useless variable ce[3][3][3] 0.69/0.86 c remove useless variable ce[3][4][0] 0.69/0.86 c remove useless variable ce[3][4][1] 0.69/0.86 c remove useless variable ce[3][4][2] 0.69/0.86 c remove useless variable ce[3][4][3] 0.69/0.86 c remove useless variable ce[3][4][4] 0.69/0.86 c remove useless variable ce[3][5][0] 0.69/0.86 c remove useless variable ce[3][5][1] 0.69/0.86 c remove useless variable ce[3][5][2] 0.69/0.86 c remove useless variable ce[3][5][3] 0.69/0.86 c remove useless variable ce[3][5][4] 0.69/0.86 c remove useless variable ce[3][5][5] 0.69/0.86 c remove useless variable ce[3][6][0] 0.69/0.86 c remove useless variable ce[3][6][1] 0.69/0.86 c remove useless variable ce[3][6][2] 0.69/0.86 c remove useless variable ce[3][6][3] 0.69/0.86 c remove useless variable ce[3][6][4] 0.69/0.86 c remove useless variable ce[3][6][5] 0.69/0.86 c remove useless variable ce[3][6][6] 0.69/0.86 c remove useless variable ce[3][7][0] 0.69/0.86 c remove useless variable ce[3][7][1] 0.69/0.86 c remove useless variable ce[3][7][2] 0.69/0.86 c remove useless variable ce[3][7][3] 0.69/0.86 c remove useless variable ce[3][7][4] 0.69/0.86 c remove useless variable ce[3][7][5] 0.69/0.86 c remove useless variable ce[3][7][6] 0.69/0.86 c remove useless variable ce[3][7][7] 0.69/0.86 c remove useless variable ce[3][8][0] 0.69/0.86 c remove useless variable ce[3][8][1] 0.69/0.86 c remove useless variable ce[3][8][2] 0.69/0.86 c remove useless variable ce[3][8][3] 0.69/0.86 c remove useless variable ce[3][8][4] 0.69/0.86 c remove useless variable ce[3][8][5] 0.69/0.86 c remove useless variable ce[3][8][6] 0.69/0.86 c remove useless variable ce[3][8][7] 0.69/0.86 c remove useless variable ce[3][8][8] 0.69/0.86 c remove useless variable ce[3][9][0] 0.69/0.86 c remove useless variable ce[3][9][1] 0.69/0.86 c remove useless variable ce[3][9][2] 0.69/0.86 c remove useless variable ce[3][9][3] 0.69/0.86 c remove useless variable ce[3][9][4] 0.69/0.86 c remove useless variable ce[3][9][5] 0.69/0.86 c remove useless variable ce[3][9][6] 0.69/0.86 c remove useless variable ce[3][9][7] 0.69/0.86 c remove useless variable ce[3][9][8] 0.69/0.86 c remove useless variable ce[3][9][9] 0.69/0.86 c remove useless variable ce[3][10][0] 0.69/0.86 c remove useless variable ce[3][10][1] 0.69/0.86 c remove useless variable ce[3][10][2] 0.69/0.86 c remove useless variable ce[3][10][3] 0.69/0.86 c remove useless variable ce[3][10][4] 0.69/0.86 c remove useless variable ce[3][10][5] 0.69/0.86 c remove useless variable ce[3][10][6] 0.69/0.86 c remove useless variable ce[3][10][7] 0.69/0.86 c remove useless variable ce[3][10][8] 0.69/0.86 c remove useless variable ce[3][10][9] 0.69/0.86 c remove useless variable ce[3][10][10] 0.69/0.86 c remove useless variable ce[3][11][0] 0.69/0.86 c remove useless variable ce[3][11][1] 0.69/0.86 c remove useless variable ce[3][11][2] 0.69/0.86 c remove useless variable ce[3][11][3] 0.69/0.86 c remove useless variable ce[3][11][4] 0.69/0.86 c remove useless variable ce[3][11][5] 0.69/0.86 c remove useless variable ce[3][11][6] 0.69/0.86 c remove useless variable ce[3][11][7] 0.69/0.86 c remove useless variable ce[3][11][8] 0.69/0.86 c remove useless variable ce[3][11][9] 0.69/0.86 c remove useless variable ce[3][11][10] 0.69/0.86 c remove useless variable ce[3][11][11] 0.69/0.86 c remove useless variable ce[4][0][0] 0.69/0.86 c remove useless variable ce[4][1][0] 0.69/0.86 c remove useless variable ce[4][1][1] 0.69/0.86 c remove useless variable ce[4][2][0] 0.69/0.86 c remove useless variable ce[4][2][1] 0.69/0.86 c remove useless variable ce[4][2][2] 0.69/0.86 c remove useless variable ce[4][3][0] 0.69/0.86 c remove useless variable ce[4][3][1] 0.69/0.86 c remove useless variable ce[4][3][2] 0.69/0.86 c remove useless variable ce[4][3][3] 0.69/0.86 c remove useless variable ce[4][4][0] 0.69/0.86 c remove useless variable ce[4][4][1] 0.69/0.86 c remove useless variable ce[4][4][2] 0.69/0.86 c remove useless variable ce[4][4][3] 0.69/0.86 c remove useless variable ce[4][4][4] 0.69/0.86 c remove useless variable ce[4][5][0] 0.69/0.86 c remove useless variable ce[4][5][1] 0.69/0.86 c remove useless variable ce[4][5][2] 0.69/0.86 c remove useless variable ce[4][5][3] 0.69/0.86 c remove useless variable ce[4][5][4] 0.69/0.86 c remove useless variable ce[4][5][5] 0.69/0.86 c remove useless variable ce[4][6][0] 0.69/0.86 c remove useless variable ce[4][6][1] 0.69/0.86 c remove useless variable ce[4][6][2] 0.69/0.86 c remove useless variable ce[4][6][3] 0.69/0.86 c remove useless variable ce[4][6][4] 0.69/0.86 c remove useless variable ce[4][6][5] 0.69/0.86 c remove useless variable ce[4][6][6] 0.69/0.86 c remove useless variable ce[4][7][0] 0.69/0.86 c remove useless variable ce[4][7][1] 0.69/0.86 c remove useless variable ce[4][7][2] 0.69/0.86 c remove useless variable ce[4][7][3] 0.69/0.86 c remove useless variable ce[4][7][4] 0.69/0.86 c remove useless variable ce[4][7][5] 0.69/0.86 c remove useless variable ce[4][7][6] 0.69/0.86 c remove useless variable ce[4][7][7] 0.69/0.86 c remove useless variable ce[4][8][0] 0.69/0.86 c remove useless variable ce[4][8][1] 0.69/0.86 c remove useless variable ce[4][8][2] 0.69/0.86 c remove useless variable ce[4][8][3] 0.69/0.86 c remove useless variable ce[4][8][4] 0.69/0.86 c remove useless variable ce[4][8][5] 0.69/0.86 c remove useless variable ce[4][8][6] 0.69/0.86 c remove useless variable ce[4][8][7] 0.69/0.86 c remove useless variable ce[4][8][8] 0.69/0.86 c remove useless variable ce[4][9][0] 0.69/0.86 c remove useless variable ce[4][9][1] 0.69/0.86 c remove useless variable ce[4][9][2] 0.69/0.86 c remove useless variable ce[4][9][3] 0.69/0.86 c remove useless variable ce[4][9][4] 0.69/0.86 c remove useless variable ce[4][9][5] 0.69/0.86 c remove useless variable ce[4][9][6] 0.69/0.86 c remove useless variable ce[4][9][7] 0.69/0.86 c remove useless variable ce[4][9][8] 0.69/0.86 c remove useless variable ce[4][9][9] 0.69/0.86 c remove useless variable ce[4][10][0] 0.69/0.86 c remove useless variable ce[4][10][1] 0.69/0.86 c remove useless variable ce[4][10][2] 0.69/0.86 c remove useless variable ce[4][10][3] 0.69/0.86 c remove useless variable ce[4][10][4] 0.69/0.86 c remove useless variable ce[4][10][5] 0.69/0.86 c remove useless variable ce[4][10][6] 0.69/0.86 c remove useless variable ce[4][10][7] 0.69/0.86 c remove useless variable ce[4][10][8] 0.69/0.86 c remove useless variable ce[4][10][9] 0.69/0.86 c remove useless variable ce[4][10][10] 0.69/0.86 c remove useless variable ce[4][11][0] 0.69/0.86 c remove useless variable ce[4][11][1] 0.69/0.86 c remove useless variable ce[4][11][2] 0.69/0.86 c remove useless variable ce[4][11][3] 0.69/0.86 c remove useless variable ce[4][11][4] 0.69/0.86 c remove useless variable ce[4][11][5] 0.69/0.86 c remove useless variable ce[4][11][6] 0.69/0.86 c remove useless variable ce[4][11][7] 0.69/0.86 c remove useless variable ce[4][11][8] 0.69/0.86 c remove useless variable ce[4][11][9] 0.69/0.86 c remove useless variable ce[4][11][10] 0.69/0.86 c remove useless variable ce[4][11][11] 0.69/0.86 c remove useless variable ce[5][0][0] 0.69/0.86 c remove useless variable ce[5][1][0] 0.69/0.86 c remove useless variable ce[5][1][1] 0.69/0.86 c remove useless variable ce[5][2][0] 0.69/0.86 c remove useless variable ce[5][2][1] 0.69/0.86 c remove useless variable ce[5][2][2] 0.69/0.86 c remove useless variable ce[5][3][0] 0.69/0.86 c remove useless variable ce[5][3][1] 0.69/0.86 c remove useless variable ce[5][3][2] 0.69/0.86 c remove useless variable ce[5][3][3] 0.69/0.86 c remove useless variable ce[5][4][0] 0.69/0.86 c remove useless variable ce[5][4][1] 0.69/0.86 c remove useless variable ce[5][4][2] 0.69/0.86 c remove useless variable ce[5][4][3] 0.69/0.86 c remove useless variable ce[5][4][4] 0.69/0.86 c remove useless variable ce[5][5][0] 0.69/0.86 c remove useless variable ce[5][5][1] 0.69/0.86 c remove useless variable ce[5][5][2] 0.69/0.86 c remove useless variable ce[5][5][3] 0.69/0.86 c remove useless variable ce[5][5][4] 0.69/0.86 c remove useless variable ce[5][5][5] 0.69/0.86 c remove useless variable ce[5][6][0] 0.69/0.86 c remove useless variable ce[5][6][1] 0.69/0.86 c remove useless variable ce[5][6][2] 0.69/0.86 c remove useless variable ce[5][6][3] 0.69/0.86 c remove useless variable ce[5][6][4] 0.69/0.86 c remove useless variable ce[5][6][5] 0.69/0.86 c remove useless variable ce[5][6][6] 0.69/0.86 c remove useless variable ce[5][7][0] 0.69/0.86 c remove useless variable ce[5][7][1] 0.69/0.86 c remove useless variable ce[5][7][2] 0.69/0.86 c remove useless variable ce[5][7][3] 0.69/0.86 c remove useless variable ce[5][7][4] 0.69/0.86 c remove useless variable ce[5][7][5] 0.69/0.86 c remove useless variable ce[5][7][6] 0.69/0.86 c remove useless variable ce[5][7][7] 0.69/0.86 c remove useless variable ce[5][8][0] 0.69/0.86 c remove useless variable ce[5][8][1] 0.69/0.86 c remove useless variable ce[5][8][2] 0.69/0.86 c remove useless variable ce[5][8][3] 0.69/0.86 c remove useless variable ce[5][8][4] 0.69/0.86 c remove useless variable ce[5][8][5] 0.69/0.86 c remove useless variable ce[5][8][6] 0.69/0.86 c remove useless variable ce[5][8][7] 0.69/0.86 c remove useless variable ce[5][8][8] 0.69/0.86 c remove useless variable ce[5][9][0] 0.69/0.86 c remove useless variable ce[5][9][1] 0.69/0.86 c remove useless variable ce[5][9][2] 0.69/0.86 c remove useless variable ce[5][9][3] 0.69/0.86 c remove useless variable ce[5][9][4] 0.69/0.86 c remove useless variable ce[5][9][5] 0.69/0.86 c remove useless variable ce[5][9][6] 0.69/0.86 c remove useless variable ce[5][9][7] 0.69/0.86 c remove useless variable ce[5][9][8] 0.69/0.86 c remove useless variable ce[5][9][9] 0.69/0.86 c remove useless variable ce[5][10][0] 0.69/0.86 c remove useless variable ce[5][10][1] 0.69/0.86 c remove useless variable ce[5][10][2] 0.69/0.86 c remove useless variable ce[5][10][3] 0.69/0.86 c remove useless variable ce[5][10][4] 0.69/0.86 c remove useless variable ce[5][10][5] 0.69/0.86 c remove useless variable ce[5][10][6] 0.69/0.86 c remove useless variable ce[5][10][7] 0.69/0.86 c remove useless variable ce[5][10][8] 0.69/0.86 c remove useless variable ce[5][10][9] 0.69/0.86 c remove useless variable ce[5][10][10] 0.69/0.86 c remove useless variable ce[5][11][0] 0.69/0.86 c remove useless variable ce[5][11][1] 0.69/0.86 c remove useless variable ce[5][11][2] 0.69/0.86 c remove useless variable ce[5][11][3] 0.69/0.86 c remove useless variable ce[5][11][4] 0.69/0.86 c remove useless variable ce[5][11][5] 0.69/0.86 c remove useless variable ce[5][11][6] 0.69/0.86 c remove useless variable ce[5][11][7] 0.69/0.86 c remove useless variable ce[5][11][8] 0.69/0.86 c remove useless variable ce[5][11][9] 0.69/0.86 c remove useless variable ce[5][11][10] 0.69/0.86 c remove useless variable ce[5][11][11] 0.69/0.86 c remove useless variable ce[6][0][0] 0.69/0.86 c remove useless variable ce[6][1][0] 0.69/0.86 c remove useless variable ce[6][1][1] 0.69/0.86 c remove useless variable ce[6][2][0] 0.69/0.86 c remove useless variable ce[6][2][1] 0.69/0.86 c remove useless variable ce[6][2][2] 0.69/0.86 c remove useless variable ce[6][3][0] 0.69/0.86 c remove useless variable ce[6][3][1] 0.69/0.86 c remove useless variable ce[6][3][2] 0.69/0.86 c remove useless variable ce[6][3][3] 0.69/0.86 c remove useless variable ce[6][4][0] 0.69/0.86 c remove useless variable ce[6][4][1] 0.69/0.86 c remove useless variable ce[6][4][2] 0.69/0.86 c remove useless variable ce[6][4][3] 0.69/0.86 c remove useless variable ce[6][4][4] 0.69/0.86 c remove useless variable ce[6][5][0] 0.69/0.86 c remove useless variable ce[6][5][1] 0.69/0.86 c remove useless variable ce[6][5][2] 0.69/0.86 c remove useless variable ce[6][5][3] 0.69/0.86 c remove useless variable ce[6][5][4] 0.69/0.86 c remove useless variable ce[6][5][5] 0.69/0.86 c remove useless variable ce[6][6][0] 0.69/0.86 c remove useless variable ce[6][6][1] 0.69/0.86 c remove useless variable ce[6][6][2] 0.69/0.86 c remove useless variable ce[6][6][3] 0.69/0.86 c remove useless variable ce[6][6][4] 0.69/0.86 c remove useless variable ce[6][6][5] 0.69/0.86 c remove useless variable ce[6][6][6] 0.69/0.86 c remove useless variable ce[6][7][0] 0.69/0.86 c remove useless variable ce[6][7][1] 0.69/0.86 c remove useless variable ce[6][7][2] 0.69/0.86 c remove useless variable ce[6][7][3] 0.69/0.86 c remove useless variable ce[6][7][4] 0.69/0.86 c remove useless variable ce[6][7][5] 0.69/0.86 c remove useless variable ce[6][7][6] 0.69/0.86 c remove useless variable ce[6][7][7] 0.69/0.86 c remove useless variable ce[6][8][0] 0.69/0.86 c remove useless variable ce[6][8][1] 0.69/0.86 c remove useless variable ce[6][8][2] 0.69/0.86 c remove useless variable ce[6][8][3] 0.69/0.86 c remove useless variable ce[6][8][4] 0.69/0.86 c remove useless variable ce[6][8][5] 0.69/0.86 c remove useless variable ce[6][8][6] 0.69/0.86 c remove useless variable ce[6][8][7] 0.69/0.86 c remove useless variable ce[6][8][8] 0.69/0.86 c remove useless variable ce[6][9][0] 0.69/0.86 c remove useless variable ce[6][9][1] 0.69/0.86 c remove useless variable ce[6][9][2] 0.69/0.86 c remove useless variable ce[6][9][3] 0.69/0.86 c remove useless variable ce[6][9][4] 0.69/0.86 c remove useless variable ce[6][9][5] 0.69/0.86 c remove useless variable ce[6][9][6] 0.69/0.86 c remove useless variable ce[6][9][7] 0.69/0.86 c remove useless variable ce[6][9][8] 0.69/0.86 c remove useless variable ce[6][9][9] 0.69/0.86 c remove useless variable ce[6][10][0] 0.69/0.86 c remove useless variable ce[6][10][1] 0.69/0.86 c remove useless variable ce[6][10][2] 0.69/0.86 c remove useless variable ce[6][10][3] 0.69/0.86 c remove useless variable ce[6][10][4] 0.69/0.86 c remove useless variable ce[6][10][5] 0.69/0.86 c remove useless variable ce[6][10][6] 0.69/0.86 c remove useless variable ce[6][10][7] 0.69/0.86 c remove useless variable ce[6][10][8] 0.69/0.86 c remove useless variable ce[6][10][9] 0.69/0.86 c remove useless variable ce[6][10][10] 0.69/0.86 c remove useless variable ce[6][11][0] 0.69/0.86 c remove useless variable ce[6][11][1] 0.69/0.86 c remove useless variable ce[6][11][2] 0.69/0.86 c remove useless variable ce[6][11][3] 0.69/0.86 c remove useless variable ce[6][11][4] 0.69/0.86 c remove useless variable ce[6][11][5] 0.69/0.86 c remove useless variable ce[6][11][6] 0.69/0.86 c remove useless variable ce[6][11][7] 0.69/0.86 c remove useless variable ce[6][11][8] 0.69/0.86 c remove useless variable ce[6][11][9] 0.69/0.86 c remove useless variable ce[6][11][10] 0.69/0.86 c remove useless variable ce[6][11][11] 0.69/0.86 c remove useless variable ce[7][0][0] 0.69/0.86 c remove useless variable ce[7][1][0] 0.69/0.86 c remove useless variable ce[7][1][1] 0.69/0.86 c remove useless variable ce[7][2][0] 0.69/0.86 c remove useless variable ce[7][2][1] 0.69/0.86 c remove useless variable ce[7][2][2] 0.69/0.86 c remove useless variable ce[7][3][0] 0.69/0.86 c remove useless variable ce[7][3][1] 0.69/0.86 c remove useless variable ce[7][3][2] 0.69/0.86 c remove useless variable ce[7][3][3] 0.69/0.86 c remove useless variable ce[7][4][0] 0.69/0.86 c remove useless variable ce[7][4][1] 0.69/0.86 c remove useless variable ce[7][4][2] 0.69/0.86 c remove useless variable ce[7][4][3] 0.69/0.86 c remove useless variable ce[7][4][4] 0.69/0.86 c remove useless variable ce[7][5][0] 0.69/0.86 c remove useless variable ce[7][5][1] 0.69/0.86 c remove useless variable ce[7][5][2] 0.69/0.86 c remove useless variable ce[7][5][3] 0.69/0.86 c remove useless variable ce[7][5][4] 0.69/0.86 c remove useless variable ce[7][5][5] 0.69/0.86 c remove useless variable ce[7][6][0] 0.69/0.86 c remove useless variable ce[7][6][1] 0.69/0.86 c remove useless variable ce[7][6][2] 0.69/0.86 c remove useless variable ce[7][6][3] 0.69/0.86 c remove useless variable ce[7][6][4] 0.69/0.86 c remove useless variable ce[7][6][5] 0.69/0.86 c remove useless variable ce[7][6][6] 0.69/0.86 c remove useless variable ce[7][7][0] 0.69/0.86 c remove useless variable ce[7][7][1] 0.69/0.86 c remove useless variable ce[7][7][2] 0.69/0.86 c remove useless variable ce[7][7][3] 0.69/0.86 c remove useless variable ce[7][7][4] 0.69/0.86 c remove useless variable ce[7][7][5] 0.69/0.86 c remove useless variable ce[7][7][6] 0.69/0.86 c remove useless variable ce[7][7][7] 0.69/0.86 c remove useless variable ce[7][8][0] 0.69/0.86 c remove useless variable ce[7][8][1] 0.69/0.86 c remove useless variable ce[7][8][2] 0.69/0.86 c remove useless variable ce[7][8][3] 0.69/0.86 c remove useless variable ce[7][8][4] 0.69/0.86 c remove useless variable ce[7][8][5] 0.69/0.86 c remove useless variable ce[7][8][6] 0.69/0.86 c remove useless variable ce[7][8][7] 0.69/0.86 c remove useless variable ce[7][8][8] 0.69/0.86 c remove useless variable ce[7][9][0] 0.69/0.86 c remove useless variable ce[7][9][1] 0.69/0.86 c remove useless variable ce[7][9][2] 0.69/0.86 c remove useless variable ce[7][9][3] 0.69/0.86 c remove useless variable ce[7][9][4] 0.69/0.86 c remove useless variable ce[7][9][5] 0.69/0.86 c remove useless variable ce[7][9][6] 0.69/0.86 c remove useless variable ce[7][9][7] 0.69/0.86 c remove useless variable ce[7][9][8] 0.69/0.86 c remove useless variable ce[7][9][9] 0.69/0.86 c remove useless variable ce[7][10][0] 0.69/0.86 c remove useless variable ce[7][10][1] 0.69/0.86 c remove useless variable ce[7][10][2] 0.69/0.86 c remove useless variable ce[7][10][3] 0.69/0.86 c remove useless variable ce[7][10][4] 0.69/0.86 c remove useless variable ce[7][10][5] 0.69/0.86 c remove useless variable ce[7][10][6] 0.69/0.86 c remove useless variable ce[7][10][7] 0.69/0.86 c remove useless variable ce[7][10][8] 0.69/0.86 c remove useless variable ce[7][10][9] 0.69/0.86 c remove useless variable ce[7][10][10] 0.69/0.86 c remove useless variable ce[7][11][0] 0.69/0.86 c remove useless variable ce[7][11][1] 0.69/0.86 c remove useless variable ce[7][11][2] 0.69/0.86 c remove useless variable ce[7][11][3] 0.69/0.86 c remove useless variable ce[7][11][4] 0.69/0.86 c remove useless variable ce[7][11][5] 0.69/0.86 c remove useless variable ce[7][11][6] 0.69/0.86 c remove useless variable ce[7][11][7] 0.69/0.86 c remove useless variable ce[7][11][8] 0.69/0.86 c remove useless variable ce[7][11][9] 0.69/0.86 c remove useless variable ce[7][11][10] 0.69/0.86 c remove useless variable ce[7][11][11] 0.69/0.86 c remove useless variable ce[8][0][0] 0.69/0.86 c remove useless variable ce[8][1][0] 0.69/0.86 c remove useless variable ce[8][1][1] 0.69/0.86 c remove useless variable ce[8][2][0] 0.69/0.86 c remove useless variable ce[8][2][1] 0.69/0.86 c remove useless variable ce[8][2][2] 0.69/0.86 c remove useless variable ce[8][3][0] 0.69/0.86 c remove useless variable ce[8][3][1] 0.69/0.86 c remove useless variable ce[8][3][2] 0.69/0.86 c remove useless variable ce[8][3][3] 0.69/0.86 c remove useless variable ce[8][4][0] 0.69/0.86 c remove useless variable ce[8][4][1] 0.69/0.86 c remove useless variable ce[8][4][2] 0.69/0.86 c remove useless variable ce[8][4][3] 0.69/0.86 c remove useless variable ce[8][4][4] 0.69/0.86 c remove useless variable ce[8][5][0] 0.69/0.86 c remove useless variable ce[8][5][1] 0.69/0.86 c remove useless variable ce[8][5][2] 0.69/0.86 c remove useless variable ce[8][5][3] 0.69/0.86 c remove useless variable ce[8][5][4] 0.69/0.86 c remove useless variable ce[8][5][5] 0.69/0.86 c remove useless variable ce[8][6][0] 0.69/0.86 c remove useless variable ce[8][6][1] 0.69/0.86 c remove useless variable ce[8][6][2] 0.69/0.86 c remove useless variable ce[8][6][3] 0.69/0.86 c remove useless variable ce[8][6][4] 0.69/0.86 c remove useless variable ce[8][6][5] 0.69/0.86 c remove useless variable ce[8][6][6] 0.69/0.86 c remove useless variable ce[8][7][0] 0.69/0.86 c remove useless variable ce[8][7][1] 0.69/0.86 c remove useless variable ce[8][7][2] 0.69/0.86 c remove useless variable ce[8][7][3] 0.69/0.86 c remove useless variable ce[8][7][4] 0.69/0.86 c remove useless variable ce[8][7][5] 0.69/0.86 c remove useless variable ce[8][7][6] 0.69/0.86 c remove useless variable ce[8][7][7] 0.69/0.86 c remove useless variable ce[8][8][0] 0.69/0.86 c remove useless variable ce[8][8][1] 0.69/0.86 c remove useless variable ce[8][8][2] 0.69/0.86 c remove useless variable ce[8][8][3] 0.69/0.86 c remove useless variable ce[8][8][4] 0.69/0.86 c remove useless variable ce[8][8][5] 0.69/0.86 c remove useless variable ce[8][8][6] 0.69/0.86 c remove useless variable ce[8][8][7] 0.69/0.86 c remove useless variable ce[8][8][8] 0.69/0.86 c remove useless variable ce[8][9][0] 0.69/0.86 c remove useless variable ce[8][9][1] 0.69/0.86 c remove useless variable ce[8][9][2] 0.69/0.86 c remove useless variable ce[8][9][3] 0.69/0.86 c remove useless variable ce[8][9][4] 0.69/0.86 c remove useless variable ce[8][9][5] 0.69/0.86 c remove useless variable ce[8][9][6] 0.69/0.86 c remove useless variable ce[8][9][7] 0.69/0.86 c remove useless variable ce[8][9][8] 0.69/0.86 c remove useless variable ce[8][9][9] 0.69/0.86 c remove useless variable ce[8][10][0] 0.69/0.86 c remove useless variable ce[8][10][1] 0.69/0.86 c remove useless variable ce[8][10][2] 0.69/0.86 c remove useless variable ce[8][10][3] 0.69/0.86 c remove useless variable ce[8][10][4] 0.69/0.86 c remove useless variable ce[8][10][5] 0.69/0.86 c remove useless variable ce[8][10][6] 0.69/0.86 c remove useless variable ce[8][10][7] 0.69/0.86 c remove useless variable ce[8][10][8] 0.69/0.86 c remove useless variable ce[8][10][9] 0.69/0.86 c remove useless variable ce[8][10][10] 0.69/0.86 c remove useless variable ce[8][11][0] 0.69/0.86 c remove useless variable ce[8][11][1] 0.69/0.86 c remove useless variable ce[8][11][2] 0.69/0.86 c remove useless variable ce[8][11][3] 0.69/0.86 c remove useless variable ce[8][11][4] 0.69/0.86 c remove useless variable ce[8][11][5] 0.69/0.86 c remove useless variable ce[8][11][6] 0.69/0.86 c remove useless variable ce[8][11][7] 0.69/0.86 c remove useless variable ce[8][11][8] 0.69/0.86 c remove useless variable ce[8][11][9] 0.69/0.86 c remove useless variable ce[8][11][10] 0.69/0.86 c remove useless variable ce[8][11][11] 1.89/2.05 c 101 791 241204 248219 0 0 691 691 684 3.09/3.22 c 211 1388 459183 567522 0 0 4 488 479 4.29/4.50 c 332 2030 684429 1741775 0 0 6 522 488 4.39/4.57 c 465 2192 694567 1938216 0 0 5 30 22 5.49/5.61 c 611 2708 872230 2479968 0 0 4 371 138 6.28/6.45 c 771 3155 1010078 2972183 0 0 8 288 40 7.08/7.22 c 947 3630 1149920 3545998 0 0 8 300 55 7.18/7.35 c 1140 3879 1161312 4020408 0 0 5 57 35 7.98/8.12 c 1352 4414 1304077 4737366 0 0 7 324 77 8.18/8.33 c 1585 4689 1319157 5764743 0 0 5 43 32 8.98/9.10 c 1841 5280 1458639 6586121 0 0 5 336 70 9.18/9.35 c 2122 5585 1474055 7777349 0 0 9 25 23 9.38/9.58 c 2431 5982 1487700 8825600 0 0 8 89 49 9.68/9.87 c 2770 6395 1501778 10003856 0 0 8 75 63 10.18/10.32 c 3142 6789 1519235 12440377 0 0 7 23 22 11.08/11.27 c 3551 7699 1694285 13452054 0 0 3 502 313 11.99/12.17 c 4000 8579 1842618 14648501 0 0 5 432 232 12.68/12.88 c 4493 9149 1871351 18744756 0 0 5 50 37 14.30/14.46 c 5035 10381 2125247 23499645 0 0 691 691 689 15.09/15.23 c 5631 11070 2161673 27360441 0 0 6 94 82 16.29/16.48 c 6286 11844 2200205 33674965 0 0 8 120 106 17.09/17.24 c 7006 12661 2237235 37322907 0 0 7 97 92 17.50/17.70 c 7798 13469 2276841 40033111 0 0 15 16 15 18.19/18.31 c 8669 14419 2315244 43286695 0 0 7 79 77 18.89/19.05 c 9627 15541 2349081 47430851 0 0 13 120 105 20.39/20.54 c 10680 16615 2396474 55138434 0 0 20 21 20 21.49/21.60 c 11838 17786 2448304 61203234 0 0 12 12 11 22.39/22.59 c 13111 19088 2508844 67230649 0 0 5 29 28 23.69/23.80 c 14511 20626 2548663 73894398 0 0 8 134 122 25.20/25.39 c 16051 23825 2633700 79329172 0 0 10 42 36 25.79/25.91 c 17745 25549 2693146 82592562 0 0 10 29 28 29.99/30.11 c 19608 27520 2769079 107651131 0 0 14 107 103 31.89/32.05 c 21657 30266 3047265 115062781 0 0 691 691 690 33.39/33.59 c 23910 32578 3132585 123386434 0 0 5 57 56 35.20/35.38 c 26388 35084 3223179 135615449 0 0 4 26 25 37.59/37.79 c 29113 37856 3321333 150736665 0 0 6 42 36 39.60/39.78 c 32110 40901 3435355 165190920 0 0 11 25 24 41.09/41.27 c 35406 44401 3555110 172808088 0 0 12 200 124 42.69/42.82 c 39031 48138 3698729 183826884 0 0 3 108 23 44.99/45.17 c 43018 52355 3774544 195730409 0 0 6 224 194 45.89/46.06 c 47403 56758 3941017 202669049 0 0 7 13 12 48.49/48.60 c 52226 61612 4137913 217277378 0 0 4 24 20 53.99/54.16 c 57531 67053 4363369 248980868 0 0 5 129 88 56.10/56.21 c 63366 72910 4594099 260898830 0 0 3 15 14 60.19/60.32 c 69784 79445 4807147 287100560 0 0 5 99 54 66.89/67.06 c 76843 86593 4990785 331742203 0 0 3 75 74 70.79/70.91 c 84607 94403 5262353 361866327 0 0 7 36 35 75.29/75.49 c 93147 103205 5418304 383692318 0 0 7 248 213 76.90/77.04 c 102541 112633 5769366 396595236 0 0 8 22 21 84.99/85.18 c 112874 123046 6159170 456239600 0 0 4 66 57 97.29/97.41 c 124240 134530 6555891 513614424 0 0 4 95 79 99.79/99.97 c 136742 147111 6995889 533382826 0 0 4 26 25 107.80/107.97 c 150494 160951 7473164 594068105 0 0 4 29 28 118.09/118.24 c 165621 176150 8006366 674809897 0 0 4 51 50 127.89/128.01 c 182260 192847 8606649 750232932 0 0 6 35 34 144.10/144.22 c 200562 211242 9338116 839601880 0 0 4 67 56 155.00/155.14 c 220694 231423 10038521 921655079 0 0 5 21 20 159.40/159.57 c 242839 253631 10801837 958172697 0 0 4 32 29 175.80/175.99 c 267198 278060 11658913 1087823408 0 0 8 35 32 190.40/190.50 c 293992 304956 12626900 1182940268 0 0 4 63 54 224.41/224.59 c 323465 334729 13853453 1330630674 0 0 6 71 70 259.81/259.93 c 355885 367972 14994228 1604013743 0 0 691 691 690 313.52/313.69 c 391547 403718 16703099 1926570877 0 0 32 32 31 336.02/336.13 c 430775 443024 18364275 2102709622 0 0 22 22 21 359.92/360.07 c 473925 486320 19851245 2282608204 0 0 19 21 20 388.12/388.22 c 521390 534170 20884076 2442440627 0 0 4 126 118 408.32/408.45 c 573601 586566 22590919 2582688900 0 0 6 34 33 457.03/457.17 c 631033 644872 23955436 2935558775 0 0 7 138 135 507.43/507.56 c 694208 708186 26389834 3317593407 0 0 11 46 45 519.24/519.37 c 763700 778857 28770965 3418200111 0 0 3 26 25 586.14/586.26 c 840141 856126 31379761 3952695136 0 0 4 56 54 603.44/603.51 c 924226 940361 34440632 4088160568 0 0 4 27 26 664.75/664.85 c 1016719 1033007 37689373 4559967273 0 0 4 18 17 701.75/701.83 c 1118461 1136570 40195937 4804151987 0 0 4 170 167 767.26/767.30 c 1230377 1249193 44004641 5318083956 0 0 5 40 39 813.86/813.98 c 1353484 1375653 45199714 5631440538 0 0 6 244 213 876.26/876.36 c 1488901 1511306 49850041 6148852440 0 0 4 35 34 912.57/912.63 c 1637859 1660536 54181228 6409221586 0 0 4 50 49 1006.18/1006.20 c 1801712 1824803 59437308 6907677117 0 0 5 88 85 1030.18/1030.29 c 1981950 2006144 60148154 6938192798 0 0 5 447 442 1065.68/1065.75 c 2180211 2204776 66213971 7211763195 0 0 3 72 71 1124.99/1125.02 c 2398298 2430449 67744320 7484091291 0 0 4 472 465 1175.79/1175.86 c 2638193 2671983 69102419 7672227703 0 0 5 513 503 1210.90/1210.93 c 2902077 2937617 70097420 7699624477 0 0 4 515 507 1764.06/1764.09 c 3192349 3359611 87127778 10311437214 0 0 6 96 90 1816.87/1816.84 c 3511648 3679401 96592303 10729739357 0 0 10 17 16 2134.70/2134.65 c 3862876 4035464 106995104 13380190994 0 0 4 84 83 2400.03/2399.90 2400.03/2399.90 c *** INTERRUPTED *** 2400.03/2399.90 c restarts : 87 2400.03/2399.90 c conflicts : 4009877 (1671 /sec) 2400.03/2399.90 c decisions : 4182784 (1743 /sec) 2400.03/2399.90 c propagations : 14828878828 (6178692 /sec) 2400.03/2399.90 c root propagations : 0 2400.03/2399.90 c filter calls : 112568688 (46904 /sec) 2400.03/2399.90 c useless filter calls : 81828317 (72 %) 2400.03/2399.90 c Memory used : 81.94 MB 2400.03/2399.90 c CPU time : 2400 s 2400.03/2399.90 2400.03/2399.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-4260087-1502019986/watcher-4260087-1502019986 -o /tmp/evaluation-result-4260087-1502019986/solver-4260087-1502019986 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10662 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260087-1502019986.xml pid=11454 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.00 2.01 1.98 2/180 11457 /proc/meminfo: memFree=31822560/32770624 swapFree=0/302812 [pid=11457] ppid=11454 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/11457/stat : 11457 (runsolver) D 11454 11457 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 4219550 24240128 108 18446744073709551615 4194304 4338465 140730905304272 140730905301912 139894574379735 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 35381248 140730905309378 140730905309770 140730905309770 140730905313226 0 /proc/11457/statm: 5918 108 54 36 0 2156 0 [startup+0.100147 s] /proc/loadavg: 2.00 2.01 1.98 2/180 11457 /proc/meminfo: memFree=31822560/32770624 swapFree=0/302812 [pid=11457] ppid=11454 vsize=12100 CPUtime=0 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 1077936128 182 0 0 0 0 0 0 0 20 0 1 0 4219550 12390400 55 18446744073709551615 4194304 5747388 140730761717264 140730761714360 139920446125767 0 0 1 0 0 0 0 17 3 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 3025 55 41 380 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12100 [startup+0.200219 s] /proc/loadavg: 2.00 2.01 1.98 2/180 11457 /proc/meminfo: memFree=31822560/32770624 swapFree=0/302812 [pid=11457] ppid=11454 vsize=39000 CPUtime=0.09 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 4061 0 0 0 9 0 0 0 20 0 1 0 4219550 39936000 3844 18446744073709551615 4194304 5747388 140730761717264 140730761710888 4908141 0 0 1 0 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 9750 3844 772 380 0 3168 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 39000 [startup+0.300273 s] /proc/loadavg: 2.00 2.01 1.98 2/180 11457 /proc/meminfo: memFree=31822560/32770624 swapFree=0/302812 [pid=11457] ppid=11454 vsize=43356 CPUtime=0.19 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 5147 0 0 0 19 0 0 0 20 0 1 0 4219550 44396544 4980 18446744073709551615 4194304 5747388 140730761717264 140730761710888 4908141 0 0 1 0 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 10839 4980 772 380 0 4257 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 43356 [startup+0.700185 s] /proc/loadavg: 2.00 2.01 1.98 2/180 11457 /proc/meminfo: memFree=31822560/32770624 swapFree=0/302812 [pid=11457] ppid=11454 vsize=60628 CPUtime=0.59 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 9479 0 0 0 59 0 0 0 20 0 1 0 4219550 62083072 9291 18446744073709551615 4194304 5747388 140730761717264 140730761710888 4908141 0 0 1 0 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 15157 9291 772 380 0 8575 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 60628 [startup+1.50018 s] /proc/loadavg: 2.00 2.01 1.98 3/181 11458 /proc/meminfo: memFree=31781028/32770624 swapFree=0/302772 [pid=11457] ppid=11454 vsize=68688 CPUtime=1.39 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 11492 0 0 0 138 1 0 0 20 0 1 0 4219550 70336512 11333 18446744073709551615 4194304 5747388 140730761717264 140730761710888 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 17172 11333 814 380 0 10590 0 Current children cumulated CPU time (s) 1.39 Current children cumulated vsize (KiB) 68688 [startup+3.10017 s] /proc/loadavg: 2.00 2.01 1.98 3/181 11458 /proc/meminfo: memFree=31777404/32770624 swapFree=0/302772 [pid=11457] ppid=11454 vsize=71208 CPUtime=2.99 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 14574 0 0 0 298 1 0 0 20 0 1 0 4219550 72916992 11934 18446744073709551615 4194304 5747388 140730761717264 140730761710888 5129981 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 17802 11934 815 380 0 11220 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 71208 [startup+6.30024 s] /proc/loadavg: 1.92 2.00 1.98 3/181 11458 /proc/meminfo: memFree=31777400/32770624 swapFree=0/302780 [pid=11457] ppid=11454 vsize=71208 CPUtime=6.18 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 17780 0 0 0 617 1 0 0 20 0 1 0 4219550 72916992 11934 18446744073709551615 4194304 5747388 140730761717264 140730761714664 5129575 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 17802 11934 815 380 0 11220 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 71208 [startup+12.7002 s] /proc/loadavg: 1.93 2.00 1.98 3/181 11459 /proc/meminfo: memFree=31775648/32770624 swapFree=0/302784 [pid=11457] ppid=11454 vsize=72132 CPUtime=12.58 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 19553 0 0 0 1257 1 0 0 20 0 1 0 4219550 73863168 12119 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4873657 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 18033 12119 815 380 0 11451 0 Current children cumulated CPU time (s) 12.58 Current children cumulated vsize (KiB) 72132 [startup+25.5003 s] /proc/loadavg: 1.95 2.00 1.98 3/181 11459 /proc/meminfo: memFree=31773100/32770624 swapFree=0/302804 [pid=11457] ppid=11454 vsize=74772 CPUtime=25.39 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 23942 0 0 0 2537 2 0 0 20 0 1 0 4219550 76566528 12810 18446744073709551615 4194304 5747388 140730761717264 140730761714664 4915034 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 18693 12810 815 380 0 12111 0 Current children cumulated CPU time (s) 25.39 Current children cumulated vsize (KiB) 74772 [startup+51.1003 s] /proc/loadavg: 1.96 2.00 1.98 2/177 11468 /proc/meminfo: memFree=31772768/32770624 swapFree=0/302836 [pid=11457] ppid=11454 vsize=76884 CPUtime=50.99 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 25982 0 0 0 5097 2 0 0 20 0 1 0 4219550 78729216 13291 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4972752 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19221 13291 815 380 0 12639 0 Current children cumulated CPU time (s) 50.99 Current children cumulated vsize (KiB) 76884 [startup+102.3 s] /proc/loadavg: 1.98 2.00 1.98 3/181 11582 /proc/meminfo: memFree=31599696/32770624 swapFree=0/307256 [pid=11457] ppid=11454 vsize=77940 CPUtime=102.2 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 27498 0 0 0 10218 2 0 0 20 0 1 0 4219550 79810560 13568 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4995212 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19485 13568 815 380 0 12903 0 Current children cumulated CPU time (s) 102.2 Current children cumulated vsize (KiB) 77940 [startup+162.3 s] /proc/loadavg: 1.99 2.00 1.98 4/181 11644 /proc/meminfo: memFree=31426788/32770624 swapFree=0/311808 [pid=11457] ppid=11454 vsize=78336 CPUtime=162.2 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 28032 0 0 0 16218 2 0 0 20 0 1 0 4219550 80216064 13729 18446744073709551615 4194304 5747388 140730761717264 140730761714664 4971712 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19584 13729 815 380 0 13002 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 78336 [startup+222.306 s] /proc/loadavg: 2.00 2.00 1.98 4/181 11646 /proc/meminfo: memFree=31423012/32770624 swapFree=0/311892 [pid=11457] ppid=11454 vsize=78468 CPUtime=222.21 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 28566 0 0 0 22219 2 0 0 20 0 1 0 4219550 80351232 13735 18446744073709551615 4194304 5747388 140730761717264 140730761714408 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19617 13735 815 380 0 13035 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 78468 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.98 4/181 11648 /proc/meminfo: memFree=31419524/32770624 swapFree=0/311960 [pid=11457] ppid=11454 vsize=78996 CPUtime=282.21 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 29139 0 0 0 28219 2 0 0 20 0 1 0 4219550 80891904 13821 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4902864 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19749 13821 815 380 0 13167 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 78996 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.98 4/181 11650 /proc/meminfo: memFree=31418932/32770624 swapFree=0/312028 [pid=11457] ppid=11454 vsize=78996 CPUtime=342.22 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 29729 0 0 0 34220 2 0 0 20 0 1 0 4219550 80891904 13875 18446744073709551615 4194304 5747388 140730761717264 140730761714664 5126363 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19749 13875 815 380 0 13167 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 78996 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.98 3/181 11712 /proc/meminfo: memFree=31750424/32770624 swapFree=0/312108 [pid=11457] ppid=11454 vsize=79260 CPUtime=402.22 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 29876 0 0 0 40220 2 0 0 20 0 1 0 4219550 81162240 13889 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4911538 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19815 13889 815 380 0 13233 0 Current children cumulated CPU time (s) 402.22 Current children cumulated vsize (KiB) 79260 [startup+462.3 s] /proc/loadavg: 2.00 2.00 1.98 3/184 11728 /proc/meminfo: memFree=31744380/32770624 swapFree=0/312180 [pid=11457] ppid=11454 vsize=79656 CPUtime=462.23 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 30563 0 0 0 46221 2 0 0 20 0 1 0 4219550 81567744 14028 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4954116 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19914 14028 815 380 0 13332 0 Current children cumulated CPU time (s) 462.23 Current children cumulated vsize (KiB) 79656 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.98 3/184 11730 /proc/meminfo: memFree=31744268/32770624 swapFree=0/312220 [pid=11457] ppid=11454 vsize=79656 CPUtime=522.23 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 30569 0 0 0 52221 2 0 0 20 0 1 0 4219550 81567744 14028 18446744073709551615 4194304 5747388 140730761717264 140730761714664 4954064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19914 14028 815 380 0 13332 0 Current children cumulated CPU time (s) 522.23 Current children cumulated vsize (KiB) 79656 [startup+582.3 s] /proc/loadavg: 2.00 2.00 1.98 3/181 11732 /proc/meminfo: memFree=31748140/32770624 swapFree=0/312244 [pid=11457] ppid=11454 vsize=79656 CPUtime=582.24 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 31024 0 0 0 58222 2 0 0 20 0 1 0 4219550 81567744 14054 18446744073709551615 4194304 5747388 140730761717264 140730761714664 4906006 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 19914 14054 815 380 0 13332 0 Current children cumulated CPU time (s) 582.24 Current children cumulated vsize (KiB) 79656 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.07 2.09 2.03 3/181 11781 /proc/meminfo: memFree=31744704/32770624 swapFree=0/312728 [pid=11457] ppid=11454 vsize=83372 CPUtime=1542.34 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 37255 0 0 0 154231 3 0 0 20 0 1 0 4219550 85372928 14974 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4910885 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20843 14974 815 380 0 14261 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 83372 [startup+1602.3 s] /proc/loadavg: 2.09 2.10 2.04 3/181 11783 /proc/meminfo: memFree=31744820/32770624 swapFree=0/312760 [pid=11457] ppid=11454 vsize=83372 CPUtime=1602.34 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 37256 0 0 0 160231 3 0 0 20 0 1 0 4219550 85372928 14974 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4917647 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20843 14974 815 380 0 14261 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 83372 [startup+1662.3 s] /proc/loadavg: 2.03 2.08 2.04 3/185 11800 /proc/meminfo: memFree=31740860/32770624 swapFree=0/312796 [pid=11457] ppid=11454 vsize=83372 CPUtime=1662.35 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 37828 0 0 0 166232 3 0 0 20 0 1 0 4219550 85372928 14988 18446744073709551615 4194304 5747388 140730761717264 140730761714408 5000064 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20843 14988 815 380 0 14261 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 83372 [startup+1722.3 s] /proc/loadavg: 2.01 2.07 2.04 3/186 11827 /proc/meminfo: memFree=31739304/32770624 swapFree=0/312852 [pid=11457] ppid=11454 vsize=83372 CPUtime=1722.36 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 37828 0 0 0 172233 3 0 0 20 0 1 0 4219550 85372928 14988 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4905966 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20843 14988 815 380 0 14261 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 83372 [startup+1782.3 s] /proc/loadavg: 2.00 2.06 2.04 3/186 11829 /proc/meminfo: memFree=31739856/32770624 swapFree=0/312892 [pid=11457] ppid=11454 vsize=83372 CPUtime=1782.36 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 38449 0 0 0 178233 3 0 0 20 0 1 0 4219550 85372928 14988 18446744073709551615 4194304 5747388 140730761717264 140730761714664 4909818 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20843 14988 815 380 0 14261 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 83372 [startup+1842.3 s] /proc/loadavg: 2.00 2.04 2.04 3/183 11831 /proc/meminfo: memFree=31743820/32770624 swapFree=0/312928 [pid=11457] ppid=11454 vsize=83636 CPUtime=1842.37 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 38563 0 0 0 184234 3 0 0 20 0 1 0 4219550 85643264 14997 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4954077 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20909 14997 815 380 0 14327 0 Current children cumulated CPU time (s) 1842.37 Current children cumulated vsize (KiB) 83636 [startup+1902.3 s] /proc/loadavg: 2.04 2.05 2.05 3/183 11833 /proc/meminfo: memFree=31743728/32770624 swapFree=0/312948 [pid=11457] ppid=11454 vsize=83636 CPUtime=1902.38 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 39246 0 0 0 190235 3 0 0 20 0 1 0 4219550 85643264 15038 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4954077 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20909 15038 815 380 0 14327 0 Current children cumulated CPU time (s) 1902.38 Current children cumulated vsize (KiB) 83636 [startup+1962.3 s] /proc/loadavg: 2.02 2.04 2.05 3/182 11835 /proc/meminfo: memFree=31744144/32770624 swapFree=0/312976 [pid=11457] ppid=11454 vsize=83636 CPUtime=1962.38 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 39253 0 0 0 196235 3 0 0 20 0 1 0 4219550 85643264 15051 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4909384 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20909 15051 815 380 0 14327 0 Current children cumulated CPU time (s) 1962.38 Current children cumulated vsize (KiB) 83636 [startup+2022.3 s] /proc/loadavg: 2.01 2.04 2.05 3/181 11837 /proc/meminfo: memFree=31744536/32770624 swapFree=0/313000 [pid=11457] ppid=11454 vsize=83636 CPUtime=2022.39 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 39947 0 0 0 202236 3 0 0 20 0 1 0 4219550 85643264 15054 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4906006 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20909 15054 815 380 0 14327 0 Current children cumulated CPU time (s) 2022.39 Current children cumulated vsize (KiB) 83636 [startup+2082.3 s] /proc/loadavg: 2.00 2.03 2.05 3/181 11839 /proc/meminfo: memFree=31744516/32770624 swapFree=0/313020 [pid=11457] ppid=11454 vsize=83768 CPUtime=2082.4 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 39955 0 0 0 208237 3 0 0 20 0 1 0 4219550 85778432 15054 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4909453 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20942 15054 815 380 0 14360 0 Current children cumulated CPU time (s) 2082.4 Current children cumulated vsize (KiB) 83768 [startup+2142.3 s] /proc/loadavg: 2.00 2.02 2.05 3/181 11841 /proc/meminfo: memFree=31744272/32770624 swapFree=0/313044 [pid=11457] ppid=11454 vsize=83900 CPUtime=2142.4 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 40776 0 0 0 214237 3 0 0 20 0 1 0 4219550 85913600 15115 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4873643 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20975 15115 815 380 0 14393 0 Current children cumulated CPU time (s) 2142.4 Current children cumulated vsize (KiB) 83900 [startup+2202.31 s] /proc/loadavg: 2.00 2.02 2.05 3/181 11843 /proc/meminfo: memFree=31744160/32770624 swapFree=0/313064 [pid=11457] ppid=11454 vsize=83900 CPUtime=2202.41 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 40776 0 0 0 220238 3 0 0 20 0 1 0 4219550 85913600 15115 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4909839 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20975 15115 815 380 0 14393 0 Current children cumulated CPU time (s) 2202.41 Current children cumulated vsize (KiB) 83900 [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 11860 /proc/meminfo: memFree=31740196/32770624 swapFree=0/313104 [pid=11457] ppid=11454 vsize=83900 CPUtime=2262.41 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 41365 0 0 0 226238 3 0 0 20 0 1 0 4219550 85913600 15122 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4909876 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20975 15122 815 380 0 14393 0 Current children cumulated CPU time (s) 2262.41 Current children cumulated vsize (KiB) 83900 [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/185 11862 /proc/meminfo: memFree=31739564/32770624 swapFree=0/313136 [pid=11457] ppid=11454 vsize=83900 CPUtime=2322.42 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 41365 0 0 0 232239 3 0 0 20 0 1 0 4219550 85913600 15122 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4906175 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20975 15122 815 380 0 14393 0 Current children cumulated CPU time (s) 2322.42 Current children cumulated vsize (KiB) 83900 [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/182 11864 /proc/meminfo: memFree=31743348/32770624 swapFree=0/313156 [pid=11457] ppid=11454 vsize=83900 CPUtime=2382.43 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 41954 0 0 0 238240 3 0 0 20 0 1 0 4219550 85913600 15122 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4873660 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20975 15122 815 380 0 14393 0 Current children cumulated CPU time (s) 2382.43 Current children cumulated vsize (KiB) 83900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/182 11864 /proc/meminfo: memFree=31743348/32770624 swapFree=0/313164 [pid=11457] ppid=11454 vsize=83900 CPUtime=2400.03 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 41954 0 0 0 240000 3 0 0 20 0 1 0 4219550 85913600 15122 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4972077 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20975 15122 815 380 0 14393 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 83900 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 11457 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/182 11864 /proc/meminfo: memFree=31743348/32770624 swapFree=0/313164 [pid=11457] ppid=11454 vsize=83900 CPUtime=2400.03 cores=1,3,5,7 /proc/11457/stat : 11457 (cosoco) R 11454 11457 9955 0 -1 4202496 41954 0 0 0 240000 3 0 0 20 0 1 0 4219550 85913600 15122 18446744073709551615 4194304 5747388 140730761717264 140730761714408 4972077 0 0 1 8405026 0 0 0 17 5 0 0 9 0 0 7845728 7850568 16883712 140730761724399 140730761724494 140730761724494 140730761727950 0 /proc/11457/statm: 20975 15122 815 380 0 14393 0 Current children cumulated CPU time (s) 2400.03 Current children cumulated vsize (KiB) 83900 Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.03 CPU user time (s): 2400 CPU system time (s): 0.032003 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 83900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400 system time used= 0.032003 maximum resident set size= 60552 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42002 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 22 involuntary context switches= 930 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.42906 second user time and 8.11695 second system time The end
Begin job on node125 at 2017-08-06 13:32:23 IDJOB=4260087 IDBENCH=120754 IDSOLVER=2647 FILE ID=node125/4260087-1502019986 RUNJOBID= node125-1502014323-10662 PBS_JOBID= Free space on /tmp= 62028 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K12-P09.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260087-1502019986/watcher-4260087-1502019986 -o /tmp/evaluation-result-4260087-1502019986/solver-4260087-1502019986 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10662 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260087-1502019986.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 32cec65ed71b36923f34d2db18851218 RANDOM SEED=1164421011 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: 31822564 kB MemAvailable: 32031128 kB Buffers: 104940 kB Cached: 385668 kB SwapCached: 0 kB Active: 233304 kB Inactive: 311344 kB Active(anon): 53984 kB Inactive(anon): 8532 kB Active(file): 179320 kB Inactive(file): 302812 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 4156 kB Writeback: 0 kB AnonPages: 53452 kB Mapped: 30896 kB Shmem: 8868 kB Slab: 108160 kB SReclaimable: 84536 kB SUnreclaim: 23624 kB KernelStack: 3248 kB PageTables: 4904 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 300596 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-06 14:12:23