Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-mini 1.1 (2017-07-29) | ? (TO) | 2400.0701 | 2400.1001 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K14-P07.xml |
MD5SUM | 539390230adc3c5191c5e54bc0e1cdf0 |
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 | 1554 |
Number of constraints | 723 |
Number of domains | 2 |
Minimum domain size | 721 |
Maximum domain size | 722 |
Distribution of domain sizes | [{"size":721,"count":721},{"size":722,"count":98}] |
Minimum variable degree | 0 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":0,"count":735},{"degree":2,"count":721},{"degree":15,"count":28},{"degree":16,"count":70}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 721 |
Distribution of constraint arities | [{"arity":3,"count":721},{"arity":98,"count":1},{"arity":721,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 721 |
Distribution of constraint types | [{"type":"intension","count":721},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.72/0.85 c root propagations : 0 0.72/0.85 c restarts enabled, print stats at every restarts 0.72/0.85 c 0.72/0.85 c 0.72/0.85 c 0.72/0.85 c This is cosoco 1.1 -- 0.72/0.85 c 0.72/0.85 c command line: cosoco -lc -model -restarts HOME/instance-4260088-1502019988.xml 0.72/0.85 c ========================================[ Problem Statistics ]=========================================== 0.72/0.85 c | 0.72/0.85 c | Parse time : 0.77 s 0.72/0.85 c | 0.72/0.85 c | Variables: 1554 0.72/0.85 c | Domain Sizes: 721..722 0.72/0.85 c | 0.72/0.85 c | Constraints: 723 0.72/0.85 c | Arity: 3..721 -- Ternary: 721 0.72/0.85 c | 0.72/0.85 c | Types: 0.72/0.85 c | All Different: 2 0.72/0.85 c | Intension: 721 0.72/0.85 c | 0.72/0.85 c ========================================================================================================= 0.72/0.85 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.72/0.85 c remove useless variable ce[0][0][0] 0.72/0.85 c remove useless variable ce[0][1][0] 0.72/0.85 c remove useless variable ce[0][1][1] 0.72/0.85 c remove useless variable ce[0][2][0] 0.72/0.85 c remove useless variable ce[0][2][1] 0.72/0.85 c remove useless variable ce[0][2][2] 0.72/0.85 c remove useless variable ce[0][3][0] 0.72/0.85 c remove useless variable ce[0][3][1] 0.72/0.85 c remove useless variable ce[0][3][2] 0.72/0.85 c remove useless variable ce[0][3][3] 0.72/0.85 c remove useless variable ce[0][4][0] 0.72/0.85 c remove useless variable ce[0][4][1] 0.72/0.85 c remove useless variable ce[0][4][2] 0.72/0.85 c remove useless variable ce[0][4][3] 0.72/0.85 c remove useless variable ce[0][4][4] 0.72/0.85 c remove useless variable ce[0][5][0] 0.72/0.85 c remove useless variable ce[0][5][1] 0.72/0.85 c remove useless variable ce[0][5][2] 0.72/0.85 c remove useless variable ce[0][5][3] 0.72/0.85 c remove useless variable ce[0][5][4] 0.72/0.85 c remove useless variable ce[0][5][5] 0.72/0.85 c remove useless variable ce[0][6][0] 0.72/0.85 c remove useless variable ce[0][6][1] 0.72/0.85 c remove useless variable ce[0][6][2] 0.72/0.85 c remove useless variable ce[0][6][3] 0.72/0.85 c remove useless variable ce[0][6][4] 0.72/0.85 c remove useless variable ce[0][6][5] 0.72/0.85 c remove useless variable ce[0][6][6] 0.72/0.85 c remove useless variable ce[0][7][0] 0.72/0.85 c remove useless variable ce[0][7][1] 0.72/0.85 c remove useless variable ce[0][7][2] 0.72/0.85 c remove useless variable ce[0][7][3] 0.72/0.85 c remove useless variable ce[0][7][4] 0.72/0.85 c remove useless variable ce[0][7][5] 0.72/0.85 c remove useless variable ce[0][7][6] 0.72/0.85 c remove useless variable ce[0][7][7] 0.72/0.85 c remove useless variable ce[0][8][0] 0.72/0.85 c remove useless variable ce[0][8][1] 0.72/0.85 c remove useless variable ce[0][8][2] 0.72/0.85 c remove useless variable ce[0][8][3] 0.72/0.85 c remove useless variable ce[0][8][4] 0.72/0.85 c remove useless variable ce[0][8][5] 0.72/0.85 c remove useless variable ce[0][8][6] 0.72/0.85 c remove useless variable ce[0][8][7] 0.72/0.85 c remove useless variable ce[0][8][8] 0.72/0.85 c remove useless variable ce[0][9][0] 0.72/0.85 c remove useless variable ce[0][9][1] 0.72/0.85 c remove useless variable ce[0][9][2] 0.72/0.85 c remove useless variable ce[0][9][3] 0.72/0.85 c remove useless variable ce[0][9][4] 0.72/0.85 c remove useless variable ce[0][9][5] 0.72/0.85 c remove useless variable ce[0][9][6] 0.72/0.85 c remove useless variable ce[0][9][7] 0.72/0.85 c remove useless variable ce[0][9][8] 0.72/0.85 c remove useless variable ce[0][9][9] 0.72/0.85 c remove useless variable ce[0][10][0] 0.72/0.85 c remove useless variable ce[0][10][1] 0.72/0.85 c remove useless variable ce[0][10][2] 0.72/0.85 c remove useless variable ce[0][10][3] 0.72/0.85 c remove useless variable ce[0][10][4] 0.72/0.85 c remove useless variable ce[0][10][5] 0.72/0.85 c remove useless variable ce[0][10][6] 0.72/0.85 c remove useless variable ce[0][10][7] 0.72/0.85 c remove useless variable ce[0][10][8] 0.72/0.85 c remove useless variable ce[0][10][9] 0.72/0.85 c remove useless variable ce[0][10][10] 0.72/0.85 c remove useless variable ce[0][11][0] 0.72/0.85 c remove useless variable ce[0][11][1] 0.72/0.85 c remove useless variable ce[0][11][2] 0.72/0.85 c remove useless variable ce[0][11][3] 0.72/0.85 c remove useless variable ce[0][11][4] 0.72/0.85 c remove useless variable ce[0][11][5] 0.72/0.85 c remove useless variable ce[0][11][6] 0.72/0.85 c remove useless variable ce[0][11][7] 0.72/0.85 c remove useless variable ce[0][11][8] 0.72/0.85 c remove useless variable ce[0][11][9] 0.72/0.85 c remove useless variable ce[0][11][10] 0.72/0.85 c remove useless variable ce[0][11][11] 0.72/0.85 c remove useless variable ce[0][12][0] 0.72/0.85 c remove useless variable ce[0][12][1] 0.72/0.85 c remove useless variable ce[0][12][2] 0.72/0.85 c remove useless variable ce[0][12][3] 0.72/0.85 c remove useless variable ce[0][12][4] 0.72/0.85 c remove useless variable ce[0][12][5] 0.72/0.85 c remove useless variable ce[0][12][6] 0.72/0.85 c remove useless variable ce[0][12][7] 0.72/0.85 c remove useless variable ce[0][12][8] 0.72/0.85 c remove useless variable ce[0][12][9] 0.72/0.85 c remove useless variable ce[0][12][10] 0.72/0.85 c remove useless variable ce[0][12][11] 0.72/0.85 c remove useless variable ce[0][12][12] 0.72/0.85 c remove useless variable ce[0][13][0] 0.72/0.85 c remove useless variable ce[0][13][1] 0.72/0.85 c remove useless variable ce[0][13][2] 0.72/0.85 c remove useless variable ce[0][13][3] 0.72/0.85 c remove useless variable ce[0][13][4] 0.72/0.85 c remove useless variable ce[0][13][5] 0.72/0.85 c remove useless variable ce[0][13][6] 0.72/0.85 c remove useless variable ce[0][13][7] 0.72/0.85 c remove useless variable ce[0][13][8] 0.72/0.85 c remove useless variable ce[0][13][9] 0.72/0.85 c remove useless variable ce[0][13][10] 0.72/0.85 c remove useless variable ce[0][13][11] 0.72/0.85 c remove useless variable ce[0][13][12] 0.72/0.85 c remove useless variable ce[0][13][13] 0.72/0.85 c remove useless variable ce[1][0][0] 0.72/0.85 c remove useless variable ce[1][1][0] 0.72/0.85 c remove useless variable ce[1][1][1] 0.72/0.85 c remove useless variable ce[1][2][0] 0.72/0.85 c remove useless variable ce[1][2][1] 0.72/0.85 c remove useless variable ce[1][2][2] 0.72/0.85 c remove useless variable ce[1][3][0] 0.72/0.85 c remove useless variable ce[1][3][1] 0.72/0.85 c remove useless variable ce[1][3][2] 0.72/0.85 c remove useless variable ce[1][3][3] 0.72/0.85 c remove useless variable ce[1][4][0] 0.72/0.85 c remove useless variable ce[1][4][1] 0.72/0.85 c remove useless variable ce[1][4][2] 0.72/0.85 c remove useless variable ce[1][4][3] 0.72/0.85 c remove useless variable ce[1][4][4] 0.72/0.85 c remove useless variable ce[1][5][0] 0.72/0.85 c remove useless variable ce[1][5][1] 0.72/0.85 c remove useless variable ce[1][5][2] 0.72/0.85 c remove useless variable ce[1][5][3] 0.72/0.85 c remove useless variable ce[1][5][4] 0.72/0.85 c remove useless variable ce[1][5][5] 0.72/0.85 c remove useless variable ce[1][6][0] 0.72/0.85 c remove useless variable ce[1][6][1] 0.72/0.85 c remove useless variable ce[1][6][2] 0.72/0.85 c remove useless variable ce[1][6][3] 0.72/0.85 c remove useless variable ce[1][6][4] 0.72/0.85 c remove useless variable ce[1][6][5] 0.72/0.85 c remove useless variable ce[1][6][6] 0.72/0.85 c remove useless variable ce[1][7][0] 0.72/0.85 c remove useless variable ce[1][7][1] 0.72/0.85 c remove useless variable ce[1][7][2] 0.72/0.85 c remove useless variable ce[1][7][3] 0.72/0.85 c remove useless variable ce[1][7][4] 0.72/0.85 c remove useless variable ce[1][7][5] 0.72/0.85 c remove useless variable ce[1][7][6] 0.72/0.85 c remove useless variable ce[1][7][7] 0.72/0.85 c remove useless variable ce[1][8][0] 0.72/0.85 c remove useless variable ce[1][8][1] 0.72/0.85 c remove useless variable ce[1][8][2] 0.72/0.85 c remove useless variable ce[1][8][3] 0.72/0.85 c remove useless variable ce[1][8][4] 0.72/0.85 c remove useless variable ce[1][8][5] 0.72/0.85 c remove useless variable ce[1][8][6] 0.72/0.85 c remove useless variable ce[1][8][7] 0.72/0.85 c remove useless variable ce[1][8][8] 0.72/0.85 c remove useless variable ce[1][9][0] 0.72/0.85 c remove useless variable ce[1][9][1] 0.72/0.85 c remove useless variable ce[1][9][2] 0.72/0.85 c remove useless variable ce[1][9][3] 0.72/0.85 c remove useless variable ce[1][9][4] 0.72/0.85 c remove useless variable ce[1][9][5] 0.72/0.85 c remove useless variable ce[1][9][6] 0.72/0.85 c remove useless variable ce[1][9][7] 0.72/0.85 c remove useless variable ce[1][9][8] 0.72/0.85 c remove useless variable ce[1][9][9] 0.72/0.85 c remove useless variable ce[1][10][0] 0.72/0.85 c remove useless variable ce[1][10][1] 0.72/0.85 c remove useless variable ce[1][10][2] 0.72/0.85 c remove useless variable ce[1][10][3] 0.72/0.85 c remove useless variable ce[1][10][4] 0.72/0.85 c remove useless variable ce[1][10][5] 0.72/0.85 c remove useless variable ce[1][10][6] 0.72/0.85 c remove useless variable ce[1][10][7] 0.72/0.85 c remove useless variable ce[1][10][8] 0.72/0.85 c remove useless variable ce[1][10][9] 0.72/0.85 c remove useless variable ce[1][10][10] 0.72/0.85 c remove useless variable ce[1][11][0] 0.72/0.85 c remove useless variable ce[1][11][1] 0.72/0.85 c remove useless variable ce[1][11][2] 0.72/0.85 c remove useless variable ce[1][11][3] 0.72/0.85 c remove useless variable ce[1][11][4] 0.72/0.85 c remove useless variable ce[1][11][5] 0.72/0.85 c remove useless variable ce[1][11][6] 0.72/0.85 c remove useless variable ce[1][11][7] 0.72/0.85 c remove useless variable ce[1][11][8] 0.72/0.85 c remove useless variable ce[1][11][9] 0.72/0.85 c remove useless variable ce[1][11][10] 0.72/0.85 c remove useless variable ce[1][11][11] 0.72/0.85 c remove useless variable ce[1][12][0] 0.72/0.85 c remove useless variable ce[1][12][1] 0.72/0.85 c remove useless variable ce[1][12][2] 0.72/0.85 c remove useless variable ce[1][12][3] 0.72/0.85 c remove useless variable ce[1][12][4] 0.72/0.85 c remove useless variable ce[1][12][5] 0.72/0.85 c remove useless variable ce[1][12][6] 0.72/0.85 c remove useless variable ce[1][12][7] 0.72/0.85 c remove useless variable ce[1][12][8] 0.72/0.85 c remove useless variable ce[1][12][9] 0.72/0.85 c remove useless variable ce[1][12][10] 0.72/0.85 c remove useless variable ce[1][12][11] 0.72/0.85 c remove useless variable ce[1][12][12] 0.72/0.85 c remove useless variable ce[1][13][0] 0.72/0.85 c remove useless variable ce[1][13][1] 0.72/0.85 c remove useless variable ce[1][13][2] 0.72/0.85 c remove useless variable ce[1][13][3] 0.72/0.85 c remove useless variable ce[1][13][4] 0.72/0.85 c remove useless variable ce[1][13][5] 0.72/0.85 c remove useless variable ce[1][13][6] 0.72/0.85 c remove useless variable ce[1][13][7] 0.72/0.85 c remove useless variable ce[1][13][8] 0.72/0.85 c remove useless variable ce[1][13][9] 0.72/0.85 c remove useless variable ce[1][13][10] 0.72/0.85 c remove useless variable ce[1][13][11] 0.72/0.85 c remove useless variable ce[1][13][12] 0.72/0.85 c remove useless variable ce[1][13][13] 0.72/0.85 c remove useless variable ce[2][0][0] 0.72/0.85 c remove useless variable ce[2][1][0] 0.72/0.85 c remove useless variable ce[2][1][1] 0.72/0.85 c remove useless variable ce[2][2][0] 0.72/0.85 c remove useless variable ce[2][2][1] 0.72/0.85 c remove useless variable ce[2][2][2] 0.72/0.85 c remove useless variable ce[2][3][0] 0.72/0.85 c remove useless variable ce[2][3][1] 0.72/0.85 c remove useless variable ce[2][3][2] 0.72/0.85 c remove useless variable ce[2][3][3] 0.72/0.85 c remove useless variable ce[2][4][0] 0.72/0.85 c remove useless variable ce[2][4][1] 0.72/0.85 c remove useless variable ce[2][4][2] 0.72/0.85 c remove useless variable ce[2][4][3] 0.72/0.85 c remove useless variable ce[2][4][4] 0.72/0.85 c remove useless variable ce[2][5][0] 0.72/0.85 c remove useless variable ce[2][5][1] 0.72/0.85 c remove useless variable ce[2][5][2] 0.72/0.85 c remove useless variable ce[2][5][3] 0.72/0.85 c remove useless variable ce[2][5][4] 0.72/0.85 c remove useless variable ce[2][5][5] 0.72/0.85 c remove useless variable ce[2][6][0] 0.72/0.85 c remove useless variable ce[2][6][1] 0.72/0.85 c remove useless variable ce[2][6][2] 0.72/0.85 c remove useless variable ce[2][6][3] 0.72/0.85 c remove useless variable ce[2][6][4] 0.72/0.85 c remove useless variable ce[2][6][5] 0.72/0.85 c remove useless variable ce[2][6][6] 0.72/0.85 c remove useless variable ce[2][7][0] 0.72/0.85 c remove useless variable ce[2][7][1] 0.72/0.85 c remove useless variable ce[2][7][2] 0.72/0.85 c remove useless variable ce[2][7][3] 0.72/0.85 c remove useless variable ce[2][7][4] 0.72/0.85 c remove useless variable ce[2][7][5] 0.72/0.85 c remove useless variable ce[2][7][6] 0.72/0.85 c remove useless variable ce[2][7][7] 0.72/0.85 c remove useless variable ce[2][8][0] 0.72/0.85 c remove useless variable ce[2][8][1] 0.72/0.85 c remove useless variable ce[2][8][2] 0.72/0.85 c remove useless variable ce[2][8][3] 0.72/0.85 c remove useless variable ce[2][8][4] 0.72/0.85 c remove useless variable ce[2][8][5] 0.72/0.85 c remove useless variable ce[2][8][6] 0.72/0.85 c remove useless variable ce[2][8][7] 0.72/0.85 c remove useless variable ce[2][8][8] 0.72/0.85 c remove useless variable ce[2][9][0] 0.72/0.85 c remove useless variable ce[2][9][1] 0.72/0.85 c remove useless variable ce[2][9][2] 0.72/0.85 c remove useless variable ce[2][9][3] 0.72/0.85 c remove useless variable ce[2][9][4] 0.72/0.85 c remove useless variable ce[2][9][5] 0.72/0.85 c remove useless variable ce[2][9][6] 0.72/0.85 c remove useless variable ce[2][9][7] 0.72/0.85 c remove useless variable ce[2][9][8] 0.72/0.85 c remove useless variable ce[2][9][9] 0.72/0.85 c remove useless variable ce[2][10][0] 0.72/0.85 c remove useless variable ce[2][10][1] 0.72/0.85 c remove useless variable ce[2][10][2] 0.72/0.85 c remove useless variable ce[2][10][3] 0.72/0.85 c remove useless variable ce[2][10][4] 0.72/0.85 c remove useless variable ce[2][10][5] 0.72/0.85 c remove useless variable ce[2][10][6] 0.72/0.85 c remove useless variable ce[2][10][7] 0.72/0.85 c remove useless variable ce[2][10][8] 0.72/0.85 c remove useless variable ce[2][10][9] 0.72/0.85 c remove useless variable ce[2][10][10] 0.72/0.85 c remove useless variable ce[2][11][0] 0.72/0.85 c remove useless variable ce[2][11][1] 0.72/0.85 c remove useless variable ce[2][11][2] 0.72/0.85 c remove useless variable ce[2][11][3] 0.72/0.85 c remove useless variable ce[2][11][4] 0.72/0.85 c remove useless variable ce[2][11][5] 0.72/0.85 c remove useless variable ce[2][11][6] 0.72/0.85 c remove useless variable ce[2][11][7] 0.72/0.85 c remove useless variable ce[2][11][8] 0.72/0.85 c remove useless variable ce[2][11][9] 0.72/0.85 c remove useless variable ce[2][11][10] 0.72/0.85 c remove useless variable ce[2][11][11] 0.72/0.85 c remove useless variable ce[2][12][0] 0.72/0.85 c remove useless variable ce[2][12][1] 0.72/0.85 c remove useless variable ce[2][12][2] 0.72/0.85 c remove useless variable ce[2][12][3] 0.72/0.85 c remove useless variable ce[2][12][4] 0.72/0.85 c remove useless variable ce[2][12][5] 0.72/0.85 c remove useless variable ce[2][12][6] 0.72/0.85 c remove useless variable ce[2][12][7] 0.72/0.85 c remove useless variable ce[2][12][8] 0.72/0.85 c remove useless variable ce[2][12][9] 0.72/0.85 c remove useless variable ce[2][12][10] 0.72/0.85 c remove useless variable ce[2][12][11] 0.72/0.85 c remove useless variable ce[2][12][12] 0.72/0.85 c remove useless variable ce[2][13][0] 0.72/0.85 c remove useless variable ce[2][13][1] 0.72/0.85 c remove useless variable ce[2][13][2] 0.72/0.85 c remove useless variable ce[2][13][3] 0.72/0.85 c remove useless variable ce[2][13][4] 0.72/0.85 c remove useless variable ce[2][13][5] 0.72/0.85 c remove useless variable ce[2][13][6] 0.72/0.85 c remove useless variable ce[2][13][7] 0.72/0.85 c remove useless variable ce[2][13][8] 0.72/0.85 c remove useless variable ce[2][13][9] 0.72/0.85 c remove useless variable ce[2][13][10] 0.72/0.85 c remove useless variable ce[2][13][11] 0.72/0.85 c remove useless variable ce[2][13][12] 0.72/0.85 c remove useless variable ce[2][13][13] 0.72/0.85 c remove useless variable ce[3][0][0] 0.72/0.85 c remove useless variable ce[3][1][0] 0.72/0.85 c remove useless variable ce[3][1][1] 0.72/0.85 c remove useless variable ce[3][2][0] 0.72/0.85 c remove useless variable ce[3][2][1] 0.72/0.85 c remove useless variable ce[3][2][2] 0.72/0.85 c remove useless variable ce[3][3][0] 0.72/0.85 c remove useless variable ce[3][3][1] 0.72/0.85 c remove useless variable ce[3][3][2] 0.72/0.85 c remove useless variable ce[3][3][3] 0.72/0.85 c remove useless variable ce[3][4][0] 0.72/0.85 c remove useless variable ce[3][4][1] 0.72/0.85 c remove useless variable ce[3][4][2] 0.72/0.85 c remove useless variable ce[3][4][3] 0.72/0.85 c remove useless variable ce[3][4][4] 0.72/0.85 c remove useless variable ce[3][5][0] 0.72/0.85 c remove useless variable ce[3][5][1] 0.72/0.85 c remove useless variable ce[3][5][2] 0.72/0.85 c remove useless variable ce[3][5][3] 0.72/0.85 c remove useless variable ce[3][5][4] 0.72/0.85 c remove useless variable ce[3][5][5] 0.72/0.85 c remove useless variable ce[3][6][0] 0.72/0.85 c remove useless variable ce[3][6][1] 0.72/0.85 c remove useless variable ce[3][6][2] 0.72/0.85 c remove useless variable ce[3][6][3] 0.72/0.85 c remove useless variable ce[3][6][4] 0.72/0.85 c remove useless variable ce[3][6][5] 0.72/0.85 c remove useless variable ce[3][6][6] 0.72/0.85 c remove useless variable ce[3][7][0] 0.72/0.85 c remove useless variable ce[3][7][1] 0.72/0.85 c remove useless variable ce[3][7][2] 0.72/0.85 c remove useless variable ce[3][7][3] 0.72/0.85 c remove useless variable ce[3][7][4] 0.72/0.85 c remove useless variable ce[3][7][5] 0.72/0.85 c remove useless variable ce[3][7][6] 0.72/0.85 c remove useless variable ce[3][7][7] 0.72/0.85 c remove useless variable ce[3][8][0] 0.72/0.85 c remove useless variable ce[3][8][1] 0.72/0.85 c remove useless variable ce[3][8][2] 0.72/0.85 c remove useless variable ce[3][8][3] 0.72/0.85 c remove useless variable ce[3][8][4] 0.72/0.85 c remove useless variable ce[3][8][5] 0.72/0.85 c remove useless variable ce[3][8][6] 0.72/0.85 c remove useless variable ce[3][8][7] 0.72/0.85 c remove useless variable ce[3][8][8] 0.72/0.85 c remove useless variable ce[3][9][0] 0.72/0.85 c remove useless variable ce[3][9][1] 0.72/0.85 c remove useless variable ce[3][9][2] 0.72/0.85 c remove useless variable ce[3][9][3] 0.72/0.85 c remove useless variable ce[3][9][4] 0.72/0.85 c remove useless variable ce[3][9][5] 0.72/0.85 c remove useless variable ce[3][9][6] 0.72/0.85 c remove useless variable ce[3][9][7] 0.72/0.85 c remove useless variable ce[3][9][8] 0.72/0.85 c remove useless variable ce[3][9][9] 0.72/0.85 c remove useless variable ce[3][10][0] 0.72/0.85 c remove useless variable ce[3][10][1] 0.72/0.85 c remove useless variable ce[3][10][2] 0.72/0.86 c remove useless variable ce[3][10][3] 0.72/0.86 c remove useless variable ce[3][10][4] 0.72/0.86 c remove useless variable ce[3][10][5] 0.72/0.86 c remove useless variable ce[3][10][6] 0.72/0.86 c remove useless variable ce[3][10][7] 0.72/0.86 c remove useless variable ce[3][10][8] 0.72/0.86 c remove useless variable ce[3][10][9] 0.72/0.86 c remove useless variable ce[3][10][10] 0.72/0.86 c remove useless variable ce[3][11][0] 0.72/0.86 c remove useless variable ce[3][11][1] 0.72/0.86 c remove useless variable ce[3][11][2] 0.72/0.86 c remove useless variable ce[3][11][3] 0.72/0.86 c remove useless variable ce[3][11][4] 0.72/0.86 c remove useless variable ce[3][11][5] 0.72/0.86 c remove useless variable ce[3][11][6] 0.72/0.86 c remove useless variable ce[3][11][7] 0.72/0.86 c remove useless variable ce[3][11][8] 0.72/0.86 c remove useless variable ce[3][11][9] 0.72/0.86 c remove useless variable ce[3][11][10] 0.72/0.86 c remove useless variable ce[3][11][11] 0.72/0.86 c remove useless variable ce[3][12][0] 0.72/0.86 c remove useless variable ce[3][12][1] 0.72/0.86 c remove useless variable ce[3][12][2] 0.72/0.86 c remove useless variable ce[3][12][3] 0.72/0.86 c remove useless variable ce[3][12][4] 0.72/0.86 c remove useless variable ce[3][12][5] 0.72/0.86 c remove useless variable ce[3][12][6] 0.72/0.86 c remove useless variable ce[3][12][7] 0.72/0.86 c remove useless variable ce[3][12][8] 0.72/0.86 c remove useless variable ce[3][12][9] 0.72/0.86 c remove useless variable ce[3][12][10] 0.72/0.86 c remove useless variable ce[3][12][11] 0.72/0.86 c remove useless variable ce[3][12][12] 0.72/0.86 c remove useless variable ce[3][13][0] 0.72/0.86 c remove useless variable ce[3][13][1] 0.72/0.86 c remove useless variable ce[3][13][2] 0.72/0.86 c remove useless variable ce[3][13][3] 0.72/0.86 c remove useless variable ce[3][13][4] 0.72/0.86 c remove useless variable ce[3][13][5] 0.72/0.86 c remove useless variable ce[3][13][6] 0.72/0.86 c remove useless variable ce[3][13][7] 0.72/0.86 c remove useless variable ce[3][13][8] 0.72/0.86 c remove useless variable ce[3][13][9] 0.72/0.86 c remove useless variable ce[3][13][10] 0.72/0.86 c remove useless variable ce[3][13][11] 0.72/0.86 c remove useless variable ce[3][13][12] 0.72/0.86 c remove useless variable ce[3][13][13] 0.72/0.86 c remove useless variable ce[4][0][0] 0.72/0.86 c remove useless variable ce[4][1][0] 0.72/0.86 c remove useless variable ce[4][1][1] 0.72/0.86 c remove useless variable ce[4][2][0] 0.72/0.86 c remove useless variable ce[4][2][1] 0.72/0.86 c remove useless variable ce[4][2][2] 0.72/0.86 c remove useless variable ce[4][3][0] 0.72/0.86 c remove useless variable ce[4][3][1] 0.72/0.86 c remove useless variable ce[4][3][2] 0.72/0.86 c remove useless variable ce[4][3][3] 0.72/0.86 c remove useless variable ce[4][4][0] 0.72/0.86 c remove useless variable ce[4][4][1] 0.72/0.86 c remove useless variable ce[4][4][2] 0.72/0.86 c remove useless variable ce[4][4][3] 0.72/0.86 c remove useless variable ce[4][4][4] 0.72/0.86 c remove useless variable ce[4][5][0] 0.72/0.86 c remove useless variable ce[4][5][1] 0.72/0.86 c remove useless variable ce[4][5][2] 0.72/0.86 c remove useless variable ce[4][5][3] 0.72/0.86 c remove useless variable ce[4][5][4] 0.72/0.86 c remove useless variable ce[4][5][5] 0.72/0.86 c remove useless variable ce[4][6][0] 0.72/0.86 c remove useless variable ce[4][6][1] 0.72/0.86 c remove useless variable ce[4][6][2] 0.72/0.86 c remove useless variable ce[4][6][3] 0.72/0.86 c remove useless variable ce[4][6][4] 0.72/0.86 c remove useless variable ce[4][6][5] 0.72/0.86 c remove useless variable ce[4][6][6] 0.72/0.86 c remove useless variable ce[4][7][0] 0.72/0.86 c remove useless variable ce[4][7][1] 0.72/0.86 c remove useless variable ce[4][7][2] 0.72/0.86 c remove useless variable ce[4][7][3] 0.72/0.86 c remove useless variable ce[4][7][4] 0.72/0.86 c remove useless variable ce[4][7][5] 0.72/0.86 c remove useless variable ce[4][7][6] 0.72/0.86 c remove useless variable ce[4][7][7] 0.72/0.86 c remove useless variable ce[4][8][0] 0.72/0.86 c remove useless variable ce[4][8][1] 0.72/0.86 c remove useless variable ce[4][8][2] 0.72/0.86 c remove useless variable ce[4][8][3] 0.72/0.86 c remove useless variable ce[4][8][4] 0.72/0.86 c remove useless variable ce[4][8][5] 0.72/0.86 c remove useless variable ce[4][8][6] 0.72/0.86 c remove useless variable ce[4][8][7] 0.72/0.86 c remove useless variable ce[4][8][8] 0.72/0.86 c remove useless variable ce[4][9][0] 0.72/0.86 c remove useless variable ce[4][9][1] 0.72/0.86 c remove useless variable ce[4][9][2] 0.72/0.86 c remove useless variable ce[4][9][3] 0.72/0.86 c remove useless variable ce[4][9][4] 0.72/0.86 c remove useless variable ce[4][9][5] 0.72/0.86 c remove useless variable ce[4][9][6] 0.72/0.86 c remove useless variable ce[4][9][7] 0.72/0.86 c remove useless variable ce[4][9][8] 0.72/0.86 c remove useless variable ce[4][9][9] 0.72/0.86 c remove useless variable ce[4][10][0] 0.72/0.86 c remove useless variable ce[4][10][1] 0.72/0.86 c remove useless variable ce[4][10][2] 0.72/0.86 c remove useless variable ce[4][10][3] 0.72/0.86 c remove useless variable ce[4][10][4] 0.72/0.86 c remove useless variable ce[4][10][5] 0.72/0.86 c remove useless variable ce[4][10][6] 0.72/0.86 c remove useless variable ce[4][10][7] 0.72/0.86 c remove useless variable ce[4][10][8] 0.72/0.86 c remove useless variable ce[4][10][9] 0.72/0.86 c remove useless variable ce[4][10][10] 0.72/0.86 c remove useless variable ce[4][11][0] 0.72/0.86 c remove useless variable ce[4][11][1] 0.72/0.86 c remove useless variable ce[4][11][2] 0.72/0.86 c remove useless variable ce[4][11][3] 0.72/0.86 c remove useless variable ce[4][11][4] 0.72/0.86 c remove useless variable ce[4][11][5] 0.72/0.86 c remove useless variable ce[4][11][6] 0.72/0.86 c remove useless variable ce[4][11][7] 0.72/0.86 c remove useless variable ce[4][11][8] 0.72/0.86 c remove useless variable ce[4][11][9] 0.72/0.86 c remove useless variable ce[4][11][10] 0.72/0.86 c remove useless variable ce[4][11][11] 0.72/0.86 c remove useless variable ce[4][12][0] 0.72/0.86 c remove useless variable ce[4][12][1] 0.72/0.86 c remove useless variable ce[4][12][2] 0.72/0.86 c remove useless variable ce[4][12][3] 0.72/0.86 c remove useless variable ce[4][12][4] 0.72/0.86 c remove useless variable ce[4][12][5] 0.72/0.86 c remove useless variable ce[4][12][6] 0.72/0.86 c remove useless variable ce[4][12][7] 0.72/0.86 c remove useless variable ce[4][12][8] 0.72/0.86 c remove useless variable ce[4][12][9] 0.72/0.86 c remove useless variable ce[4][12][10] 0.72/0.86 c remove useless variable ce[4][12][11] 0.72/0.86 c remove useless variable ce[4][12][12] 0.72/0.86 c remove useless variable ce[4][13][0] 0.72/0.86 c remove useless variable ce[4][13][1] 0.72/0.86 c remove useless variable ce[4][13][2] 0.72/0.86 c remove useless variable ce[4][13][3] 0.72/0.86 c remove useless variable ce[4][13][4] 0.72/0.86 c remove useless variable ce[4][13][5] 0.72/0.86 c remove useless variable ce[4][13][6] 0.72/0.86 c remove useless variable ce[4][13][7] 0.72/0.86 c remove useless variable ce[4][13][8] 0.72/0.86 c remove useless variable ce[4][13][9] 0.72/0.86 c remove useless variable ce[4][13][10] 0.72/0.86 c remove useless variable ce[4][13][11] 0.72/0.86 c remove useless variable ce[4][13][12] 0.72/0.86 c remove useless variable ce[4][13][13] 0.72/0.86 c remove useless variable ce[5][0][0] 0.72/0.86 c remove useless variable ce[5][1][0] 0.72/0.86 c remove useless variable ce[5][1][1] 0.72/0.86 c remove useless variable ce[5][2][0] 0.72/0.86 c remove useless variable ce[5][2][1] 0.72/0.86 c remove useless variable ce[5][2][2] 0.72/0.86 c remove useless variable ce[5][3][0] 0.72/0.86 c remove useless variable ce[5][3][1] 0.72/0.86 c remove useless variable ce[5][3][2] 0.72/0.86 c remove useless variable ce[5][3][3] 0.72/0.86 c remove useless variable ce[5][4][0] 0.72/0.86 c remove useless variable ce[5][4][1] 0.72/0.86 c remove useless variable ce[5][4][2] 0.72/0.86 c remove useless variable ce[5][4][3] 0.72/0.86 c remove useless variable ce[5][4][4] 0.72/0.86 c remove useless variable ce[5][5][0] 0.72/0.86 c remove useless variable ce[5][5][1] 0.72/0.86 c remove useless variable ce[5][5][2] 0.72/0.86 c remove useless variable ce[5][5][3] 0.72/0.86 c remove useless variable ce[5][5][4] 0.72/0.86 c remove useless variable ce[5][5][5] 0.72/0.86 c remove useless variable ce[5][6][0] 0.72/0.86 c remove useless variable ce[5][6][1] 0.72/0.86 c remove useless variable ce[5][6][2] 0.72/0.86 c remove useless variable ce[5][6][3] 0.72/0.86 c remove useless variable ce[5][6][4] 0.72/0.86 c remove useless variable ce[5][6][5] 0.72/0.86 c remove useless variable ce[5][6][6] 0.72/0.86 c remove useless variable ce[5][7][0] 0.72/0.86 c remove useless variable ce[5][7][1] 0.72/0.86 c remove useless variable ce[5][7][2] 0.72/0.86 c remove useless variable ce[5][7][3] 0.72/0.86 c remove useless variable ce[5][7][4] 0.72/0.86 c remove useless variable ce[5][7][5] 0.72/0.86 c remove useless variable ce[5][7][6] 0.72/0.86 c remove useless variable ce[5][7][7] 0.72/0.86 c remove useless variable ce[5][8][0] 0.72/0.86 c remove useless variable ce[5][8][1] 0.72/0.86 c remove useless variable ce[5][8][2] 0.72/0.86 c remove useless variable ce[5][8][3] 0.72/0.86 c remove useless variable ce[5][8][4] 0.72/0.86 c remove useless variable ce[5][8][5] 0.72/0.86 c remove useless variable ce[5][8][6] 0.72/0.86 c remove useless variable ce[5][8][7] 0.72/0.86 c remove useless variable ce[5][8][8] 0.72/0.86 c remove useless variable ce[5][9][0] 0.72/0.86 c remove useless variable ce[5][9][1] 0.72/0.86 c remove useless variable ce[5][9][2] 0.72/0.86 c remove useless variable ce[5][9][3] 0.72/0.86 c remove useless variable ce[5][9][4] 0.72/0.86 c remove useless variable ce[5][9][5] 0.72/0.86 c remove useless variable ce[5][9][6] 0.72/0.86 c remove useless variable ce[5][9][7] 0.72/0.86 c remove useless variable ce[5][9][8] 0.72/0.86 c remove useless variable ce[5][9][9] 0.72/0.86 c remove useless variable ce[5][10][0] 0.72/0.86 c remove useless variable ce[5][10][1] 0.72/0.86 c remove useless variable ce[5][10][2] 0.72/0.86 c remove useless variable ce[5][10][3] 0.72/0.86 c remove useless variable ce[5][10][4] 0.72/0.86 c remove useless variable ce[5][10][5] 0.72/0.86 c remove useless variable ce[5][10][6] 0.72/0.86 c remove useless variable ce[5][10][7] 0.72/0.86 c remove useless variable ce[5][10][8] 0.72/0.86 c remove useless variable ce[5][10][9] 0.72/0.86 c remove useless variable ce[5][10][10] 0.72/0.86 c remove useless variable ce[5][11][0] 0.72/0.86 c remove useless variable ce[5][11][1] 0.72/0.86 c remove useless variable ce[5][11][2] 0.72/0.86 c remove useless variable ce[5][11][3] 0.72/0.86 c remove useless variable ce[5][11][4] 0.72/0.86 c remove useless variable ce[5][11][5] 0.72/0.86 c remove useless variable ce[5][11][6] 0.72/0.86 c remove useless variable ce[5][11][7] 0.72/0.86 c remove useless variable ce[5][11][8] 0.72/0.86 c remove useless variable ce[5][11][9] 0.72/0.86 c remove useless variable ce[5][11][10] 0.72/0.86 c remove useless variable ce[5][11][11] 0.72/0.86 c remove useless variable ce[5][12][0] 0.72/0.86 c remove useless variable ce[5][12][1] 0.72/0.86 c remove useless variable ce[5][12][2] 0.72/0.86 c remove useless variable ce[5][12][3] 0.72/0.86 c remove useless variable ce[5][12][4] 0.72/0.86 c remove useless variable ce[5][12][5] 0.72/0.86 c remove useless variable ce[5][12][6] 0.72/0.86 c remove useless variable ce[5][12][7] 0.72/0.86 c remove useless variable ce[5][12][8] 0.72/0.86 c remove useless variable ce[5][12][9] 0.72/0.86 c remove useless variable ce[5][12][10] 0.72/0.86 c remove useless variable ce[5][12][11] 0.72/0.86 c remove useless variable ce[5][12][12] 0.72/0.86 c remove useless variable ce[5][13][0] 0.72/0.86 c remove useless variable ce[5][13][1] 0.72/0.86 c remove useless variable ce[5][13][2] 0.72/0.86 c remove useless variable ce[5][13][3] 0.72/0.86 c remove useless variable ce[5][13][4] 0.72/0.86 c remove useless variable ce[5][13][5] 0.72/0.86 c remove useless variable ce[5][13][6] 0.72/0.86 c remove useless variable ce[5][13][7] 0.72/0.86 c remove useless variable ce[5][13][8] 0.72/0.86 c remove useless variable ce[5][13][9] 0.72/0.86 c remove useless variable ce[5][13][10] 0.72/0.86 c remove useless variable ce[5][13][11] 0.72/0.86 c remove useless variable ce[5][13][12] 0.72/0.86 c remove useless variable ce[5][13][13] 0.72/0.86 c remove useless variable ce[6][0][0] 0.72/0.86 c remove useless variable ce[6][1][0] 0.72/0.86 c remove useless variable ce[6][1][1] 0.72/0.86 c remove useless variable ce[6][2][0] 0.72/0.86 c remove useless variable ce[6][2][1] 0.72/0.86 c remove useless variable ce[6][2][2] 0.72/0.86 c remove useless variable ce[6][3][0] 0.72/0.86 c remove useless variable ce[6][3][1] 0.72/0.86 c remove useless variable ce[6][3][2] 0.72/0.86 c remove useless variable ce[6][3][3] 0.72/0.86 c remove useless variable ce[6][4][0] 0.72/0.86 c remove useless variable ce[6][4][1] 0.72/0.86 c remove useless variable ce[6][4][2] 0.72/0.86 c remove useless variable ce[6][4][3] 0.72/0.86 c remove useless variable ce[6][4][4] 0.72/0.86 c remove useless variable ce[6][5][0] 0.72/0.86 c remove useless variable ce[6][5][1] 0.72/0.86 c remove useless variable ce[6][5][2] 0.72/0.86 c remove useless variable ce[6][5][3] 0.72/0.86 c remove useless variable ce[6][5][4] 0.72/0.86 c remove useless variable ce[6][5][5] 0.72/0.86 c remove useless variable ce[6][6][0] 0.72/0.86 c remove useless variable ce[6][6][1] 0.72/0.86 c remove useless variable ce[6][6][2] 0.72/0.86 c remove useless variable ce[6][6][3] 0.72/0.86 c remove useless variable ce[6][6][4] 0.72/0.86 c remove useless variable ce[6][6][5] 0.72/0.86 c remove useless variable ce[6][6][6] 0.72/0.86 c remove useless variable ce[6][7][0] 0.72/0.86 c remove useless variable ce[6][7][1] 0.72/0.86 c remove useless variable ce[6][7][2] 0.72/0.86 c remove useless variable ce[6][7][3] 0.72/0.86 c remove useless variable ce[6][7][4] 0.72/0.86 c remove useless variable ce[6][7][5] 0.72/0.86 c remove useless variable ce[6][7][6] 0.72/0.86 c remove useless variable ce[6][7][7] 0.72/0.86 c remove useless variable ce[6][8][0] 0.72/0.86 c remove useless variable ce[6][8][1] 0.72/0.86 c remove useless variable ce[6][8][2] 0.72/0.86 c remove useless variable ce[6][8][3] 0.72/0.86 c remove useless variable ce[6][8][4] 0.72/0.86 c remove useless variable ce[6][8][5] 0.72/0.86 c remove useless variable ce[6][8][6] 0.72/0.86 c remove useless variable ce[6][8][7] 0.72/0.86 c remove useless variable ce[6][8][8] 0.72/0.86 c remove useless variable ce[6][9][0] 0.72/0.86 c remove useless variable ce[6][9][1] 0.72/0.86 c remove useless variable ce[6][9][2] 0.72/0.86 c remove useless variable ce[6][9][3] 0.72/0.86 c remove useless variable ce[6][9][4] 0.72/0.86 c remove useless variable ce[6][9][5] 0.72/0.86 c remove useless variable ce[6][9][6] 0.72/0.86 c remove useless variable ce[6][9][7] 0.72/0.86 c remove useless variable ce[6][9][8] 0.72/0.86 c remove useless variable ce[6][9][9] 0.72/0.86 c remove useless variable ce[6][10][0] 0.72/0.86 c remove useless variable ce[6][10][1] 0.72/0.86 c remove useless variable ce[6][10][2] 0.72/0.86 c remove useless variable ce[6][10][3] 0.72/0.86 c remove useless variable ce[6][10][4] 0.72/0.86 c remove useless variable ce[6][10][5] 0.72/0.86 c remove useless variable ce[6][10][6] 0.72/0.86 c remove useless variable ce[6][10][7] 0.72/0.86 c remove useless variable ce[6][10][8] 0.72/0.86 c remove useless variable ce[6][10][9] 0.72/0.86 c remove useless variable ce[6][10][10] 0.72/0.86 c remove useless variable ce[6][11][0] 0.72/0.86 c remove useless variable ce[6][11][1] 0.72/0.86 c remove useless variable ce[6][11][2] 0.72/0.86 c remove useless variable ce[6][11][3] 0.72/0.86 c remove useless variable ce[6][11][4] 0.72/0.86 c remove useless variable ce[6][11][5] 0.72/0.86 c remove useless variable ce[6][11][6] 0.72/0.86 c remove useless variable ce[6][11][7] 0.72/0.86 c remove useless variable ce[6][11][8] 0.72/0.86 c remove useless variable ce[6][11][9] 0.72/0.86 c remove useless variable ce[6][11][10] 0.72/0.86 c remove useless variable ce[6][11][11] 0.72/0.86 c remove useless variable ce[6][12][0] 0.72/0.86 c remove useless variable ce[6][12][1] 0.72/0.86 c remove useless variable ce[6][12][2] 0.72/0.86 c remove useless variable ce[6][12][3] 0.72/0.86 c remove useless variable ce[6][12][4] 0.72/0.86 c remove useless variable ce[6][12][5] 0.72/0.86 c remove useless variable ce[6][12][6] 0.72/0.86 c remove useless variable ce[6][12][7] 0.72/0.86 c remove useless variable ce[6][12][8] 0.72/0.86 c remove useless variable ce[6][12][9] 0.72/0.86 c remove useless variable ce[6][12][10] 0.72/0.86 c remove useless variable ce[6][12][11] 0.72/0.86 c remove useless variable ce[6][12][12] 0.72/0.86 c remove useless variable ce[6][13][0] 0.72/0.86 c remove useless variable ce[6][13][1] 0.72/0.86 c remove useless variable ce[6][13][2] 0.72/0.86 c remove useless variable ce[6][13][3] 0.72/0.86 c remove useless variable ce[6][13][4] 0.72/0.86 c remove useless variable ce[6][13][5] 0.72/0.86 c remove useless variable ce[6][13][6] 0.72/0.86 c remove useless variable ce[6][13][7] 0.72/0.86 c remove useless variable ce[6][13][8] 0.72/0.86 c remove useless variable ce[6][13][9] 0.72/0.86 c remove useless variable ce[6][13][10] 0.72/0.86 c remove useless variable ce[6][13][11] 0.72/0.86 c remove useless variable ce[6][13][12] 0.72/0.86 c remove useless variable ce[6][13][13] 2.13/2.22 c 101 822 263356 271941 0 0 722 722 714 3.53/3.67 c 211 1481 511042 1618421 0 0 4 550 540 4.93/5.07 c 332 2088 742505 2780238 0 0 6 487 432 6.13/6.27 c 465 2596 935074 3224019 0 0 4 376 265 7.33/7.45 c 611 3145 1129318 3728521 0 0 3 404 164 7.53/7.62 c 771 3333 1141230 4585022 0 0 3 29 25 8.63/8.75 c 947 3940 1335656 5152024 0 0 4 432 104 8.83/8.92 c 1140 4197 1346616 5782106 0 0 3 65 37 9.93/10.07 c 1352 4854 1536074 6604660 0 0 3 446 131 11.03/11.14 c 1585 5546 1722179 7441544 0 0 3 460 65 11.23/11.37 c 1841 5868 1736715 8606307 0 0 3 67 41 11.53/11.60 c 2122 6232 1748555 9749376 0 0 3 84 53 11.83/11.91 c 2431 6595 1765271 11456097 0 0 3 55 43 13.03/13.10 c 2770 7486 1963871 12778610 0 0 3 553 159 14.12/14.27 c 3142 8412 2154340 14520356 0 0 3 555 70 14.52/14.62 c 3551 8946 2171836 16391167 0 0 3 126 62 14.92/15.00 c 4000 9508 2192701 18340317 0 0 7 113 77 16.12/16.24 c 4493 10036 2224050 25193050 0 0 8 36 34 16.72/16.86 c 5035 10603 2251308 29413508 0 0 5 26 25 17.32/17.43 c 5631 11306 2279839 32023825 0 0 4 108 83 20.13/20.28 c 6286 12022 2322524 47865522 0 0 8 62 58 22.23/22.38 c 7006 13465 2606032 55320132 0 0 722 722 720 22.83/22.96 c 7798 14283 2636430 57894517 0 0 18 26 18 23.83/23.94 c 8669 15172 2684076 62976245 0 0 17 18 17 24.23/24.34 c 9627 16162 2717095 65076166 0 0 9 32 31 24.73/24.82 c 10680 17235 2766164 68547575 0 0 12 20 19 27.43/27.59 c 11838 18465 2814406 86038445 0 0 7 72 70 30.22/30.39 c 13111 20461 3116652 100116762 0 0 722 722 721 30.83/30.99 c 14511 21896 3167258 103636944 0 0 24 35 34 33.52/33.62 c 16051 23486 3244202 117706495 0 0 7 49 28 35.13/35.23 c 17745 25213 3308382 126488854 0 0 12 32 31 41.62/41.77 c 19608 27091 3414967 135531987 0 0 13 14 13 42.02/42.17 c 21657 29165 3490742 138494564 0 0 5 24 23 42.42/42.57 c 23910 31432 3591585 141725863 0 0 12 12 11 42.82/43.00 c 26388 33923 3677361 145277250 0 0 11 11 10 54.01/54.18 c 29113 36747 3850381 212898779 0 0 17 70 68 54.51/54.69 c 32110 39757 3955548 217182676 0 0 10 10 9 56.51/56.65 c 35406 43102 4088262 231175225 0 0 19 32 31 70.61/70.75 c 39031 46827 4319213 313681150 0 0 8 61 60 74.01/74.11 c 43018 51548 4669830 332154522 0 0 722 722 721 79.41/79.51 c 47403 55976 4933158 358808329 0 0 5 38 37 80.41/80.58 c 52226 60813 5093015 368308693 0 0 9 9 8 83.81/83.98 c 57531 66202 5308422 393389496 0 0 6 44 41 99.01/99.15 c 63366 72122 5715234 491617498 0 0 8 68 59 103.61/103.70 c 69784 79285 6117766 519847258 0 0 722 722 721 127.40/127.52 c 76843 86393 6818581 627744045 0 0 5 40 39 149.00/149.16 c 84607 94212 7545737 715491230 0 0 5 45 44 160.20/160.32 c 93147 102817 7809309 794051409 0 0 8 49 48 164.80/164.96 c 102541 112260 8203088 829584751 0 0 7 24 23 172.70/172.90 c 112874 122777 8438729 870020491 0 0 5 168 165 175.30/175.49 c 124240 134169 8824190 893692063 0 0 12 12 11 178.10/178.27 c 136742 146713 9363229 915132412 0 0 12 26 25 180.70/180.83 c 150494 160496 9815705 938059828 0 0 13 13 12 198.60/198.77 c 165621 175674 10572355 1039089773 0 0 4 31 27 206.90/207.02 c 182260 192702 10889206 1081549520 0 0 6 168 152 210.00/210.11 c 200562 211089 11671666 1108318372 0 0 8 12 11 221.59/221.77 c 220694 231418 12495600 1198963852 0 0 4 30 29 240.99/241.10 c 242839 254029 13151171 1294418043 0 0 4 126 121 244.79/244.94 c 267198 278433 14186398 1329184776 0 0 13 13 12 270.99/271.14 c 293992 305288 15408336 1495116651 0 0 4 25 24 380.18/380.38 c 323465 334866 18534987 1972685476 0 0 10 62 61 385.28/385.46 c 355885 367338 19906503 2018937397 0 0 8 8 7 408.18/408.34 c 391547 403062 21406996 2193728660 0 0 4 13 12 477.37/477.59 c 430775 442389 23633045 2556274215 0 0 4 44 43 576.26/576.42 c 473925 489745 25405098 3177560304 0 0 5 67 56 621.75/621.96 c 521390 537319 27298616 3548049323 0 0 3 43 39 642.65/642.84 c 573601 589609 29535871 3695837205 0 0 8 8 7 690.34/690.53 c 631033 647151 31781705 4091598278 0 0 4 30 29 724.14/724.31 c 694208 711333 34106680 4338852905 0 0 4 78 74 787.03/787.22 c 763700 781362 36340942 4704139317 0 0 5 123 116 827.73/827.92 c 840141 857924 39426051 5027707170 0 0 5 15 14 912.53/912.75 c 924226 942156 42861462 5711075489 0 0 4 29 28 933.93/934.11 c 1016719 1034836 45896718 5874084737 0 0 4 56 55 958.23/958.43 c 1118461 1137060 46768695 5980978335 0 0 5 275 254 1114.35/1114.55 c 1230377 1249786 52466397 6888968396 0 0 3 73 71 1151.05/1151.20 c 1353484 1373462 53483506 7069268205 0 0 5 304 277 1169.85/1170.07 c 1488901 1510168 54137228 7097037277 0 0 4 565 551 1187.96/1188.18 c 1637859 1660497 54723752 7108023809 0 0 4 567 560 1352.77/1352.91 c 1801712 1824630 61283473 8506910896 0 0 7 46 45 1454.87/1455.02 c 1981950 2005198 66947752 9363381857 0 0 4 72 71 1572.69/1572.86 c 2180211 2203793 74490385 10313986135 0 0 4 51 50 1684.50/1684.61 c 2398298 2422284 82095296 11205974095 0 0 4 90 89 2012.52/2012.68 c 2638193 2665720 88885583 13289122337 0 0 4 113 112 2368.16/2368.22 c 2902077 2931466 97859007 16145378486 0 0 722 722 721 2400.06/2400.10 2400.06/2400.10 c *** INTERRUPTED *** 2400.06/2400.10 c restarts : 84 2400.06/2400.10 c conflicts : 2944234 (1227 /sec) 2400.06/2400.10 c decisions : 2973737 (1239 /sec) 2400.06/2400.10 c propagations : 16362430493 (6817581 /sec) 2400.06/2400.10 c root propagations : 0 2400.06/2400.10 c filter calls : 99082196 (41284 /sec) 2400.06/2400.10 c useless filter calls : 72384001 (73 %) 2400.06/2400.10 c Memory used : 84.54 MB 2400.06/2400.10 c CPU time : 2400.03 s 2400.06/2400.10 2400.06/2400.10 s UNKNOWN
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4260088-1502019988/watcher-4260088-1502019988 -o /tmp/evaluation-result-4260088-1502019988/solver-4260088-1502019988 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25935 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260088-1502019988.xml pid=27301 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.12 2.05 2.04 3/184 27304 /proc/meminfo: memFree=31549004/32770624 swapFree=0/307140 [pid=27304] ppid=27301 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/27304/stat : 27304 (runsolver) D 27301 27304 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 49814129 24240128 106 18446744073709551615 4194304 4338465 140723285497488 140723285495128 139871270093527 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 17940480 140723285504193 140723285504585 140723285504585 140723285508042 0 /proc/27304/statm: 5918 106 53 36 0 2156 0 [startup+0.100154 s] /proc/loadavg: 2.12 2.05 2.04 3/184 27304 /proc/meminfo: memFree=31549004/32770624 swapFree=0/307140 [pid=27304] ppid=27301 vsize=36944 CPUtime=0.03 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 3546 0 0 0 3 0 0 0 20 0 1 0 49814129 37830656 3353 18446744073709551615 4194304 5747388 140721484490240 140721484486888 140037910762726 0 0 1 0 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 9236 3353 772 380 0 2654 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 36944 [startup+0.200276 s] /proc/loadavg: 2.12 2.05 2.04 3/184 27304 /proc/meminfo: memFree=31549004/32770624 swapFree=0/307140 [pid=27304] ppid=27301 vsize=41356 CPUtime=0.13 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 4676 0 0 0 13 0 0 0 20 0 1 0 49814129 42348544 4515 18446744073709551615 4194304 5747388 140721484490240 140721484486888 140037911058689 0 0 1 0 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 10339 4515 772 380 0 3757 0 Current children cumulated CPU time (s) 0.13 Current children cumulated vsize (KiB) 41356 [startup+0.300215 s] /proc/loadavg: 2.12 2.05 2.04 3/184 27304 /proc/meminfo: memFree=31549004/32770624 swapFree=0/307140 [pid=27304] ppid=27301 vsize=45876 CPUtime=0.22 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 5807 0 0 0 22 0 0 0 20 0 1 0 49814129 46977024 5618 18446744073709551615 4194304 5747388 140721484490240 140721484486888 140037901417445 0 0 1 0 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 11469 5618 772 380 0 4887 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 45876 [startup+0.70019 s] /proc/loadavg: 2.12 2.05 2.04 3/184 27304 /proc/meminfo: memFree=31549004/32770624 swapFree=0/307140 [pid=27304] ppid=27301 vsize=64116 CPUtime=0.63 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 10338 0 0 0 62 1 0 0 20 0 1 0 49814129 65654784 10153 18446744073709551615 4194304 5747388 140721484490240 140721484483704 140037901417445 0 0 1 0 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 16029 10153 772 380 0 9447 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 64116 [startup+1.50018 s] /proc/loadavg: 2.12 2.05 2.04 4/199 27320 /proc/meminfo: memFree=31309056/32770624 swapFree=0/307128 [pid=27304] ppid=27301 vsize=72160 CPUtime=1.43 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 12355 0 0 0 141 2 0 0 20 0 1 0 49814129 73891840 12138 18446744073709551615 4194304 5747388 140721484490240 140721484487608 5121146 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 18040 12138 814 380 0 11458 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 72160 [startup+3.10024 s] /proc/loadavg: 2.12 2.05 2.04 5/199 27320 /proc/meminfo: memFree=31113952/32770624 swapFree=0/307128 [pid=27304] ppid=27301 vsize=74812 CPUtime=3.03 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 15753 0 0 0 301 2 0 0 20 0 1 0 49814129 76607488 12878 18446744073709551615 4194304 5747388 140721484490240 140721484487640 5000064 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 18703 12878 815 380 0 12121 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 74812 [startup+6.30018 s] /proc/loadavg: 2.11 2.05 2.04 3/186 27352 /proc/meminfo: memFree=31481632/32770624 swapFree=0/307276 [pid=27304] ppid=27301 vsize=74812 CPUtime=6.23 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 18851 0 0 0 621 2 0 0 20 0 1 0 49814129 76607488 12878 18446744073709551615 4194304 5747388 140721484490240 140721484487640 5000064 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 18703 12878 815 380 0 12121 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 74812 [startup+12.7002 s] /proc/loadavg: 2.02 2.03 2.04 3/186 27352 /proc/meminfo: memFree=31479436/32770624 swapFree=0/307276 [pid=27304] ppid=27301 vsize=75208 CPUtime=12.63 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 22300 0 0 0 1261 2 0 0 20 0 1 0 49814129 77012992 12943 18446744073709551615 4194304 5747388 140721484490240 140721484487640 5000064 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 18802 12943 815 380 0 12220 0 Current children cumulated CPU time (s) 12.63 Current children cumulated vsize (KiB) 75208 [startup+25.5002 s] /proc/loadavg: 2.01 2.03 2.04 3/186 27352 /proc/meminfo: memFree=31474224/32770624 swapFree=0/307292 [pid=27304] ppid=27301 vsize=78376 CPUtime=25.43 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 30216 0 0 0 2540 3 0 0 20 0 1 0 49814129 80257024 13772 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4915162 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 19594 13772 815 380 0 13012 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 78376 [startup+51.1003 s] /proc/loadavg: 2.01 2.03 2.04 3/186 27353 /proc/meminfo: memFree=31471944/32770624 swapFree=0/307304 [pid=27304] ppid=27301 vsize=80224 CPUtime=51.01 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 33348 0 0 0 5098 3 0 0 20 0 1 0 49814129 82149376 14214 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4873624 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20056 14214 815 380 0 13474 0 Current children cumulated CPU time (s) 51.01 Current children cumulated vsize (KiB) 80224 [startup+102.3 s] /proc/loadavg: 2.00 2.03 2.04 3/186 27355 /proc/meminfo: memFree=31470788/32770624 swapFree=0/307336 [pid=27304] ppid=27301 vsize=81016 CPUtime=102.21 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 34668 0 0 0 10218 3 0 0 20 0 1 0 49814129 82960384 14415 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4873639 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20254 14415 815 380 0 13672 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 81016 [startup+162.3 s] /proc/loadavg: 2.00 2.02 2.04 3/186 27357 /proc/meminfo: memFree=31470280/32770624 swapFree=0/307364 [pid=27304] ppid=27301 vsize=81412 CPUtime=162.2 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 35595 0 0 0 16217 3 0 0 20 0 1 0 49814129 83365888 14520 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4905989 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20353 14520 815 380 0 13771 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 81412 [startup+222.306 s] /proc/loadavg: 2.00 2.01 2.04 3/186 27359 /proc/meminfo: memFree=31469412/32770624 swapFree=0/307404 [pid=27304] ppid=27301 vsize=82072 CPUtime=222.2 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 36302 0 0 0 22217 3 0 0 20 0 1 0 49814129 84041728 14662 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4915048 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20518 14662 815 380 0 13936 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 82072 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.04 3/185 27361 /proc/meminfo: memFree=31468932/32770624 swapFree=0/307424 [pid=27304] ppid=27301 vsize=82468 CPUtime=282.19 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 36812 0 0 0 28216 3 0 0 20 0 1 0 49814129 84447232 14758 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4905878 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20617 14758 815 380 0 14035 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 82468 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.04 3/185 27364 /proc/meminfo: memFree=31468256/32770624 swapFree=0/307448 [pid=27304] ppid=27301 vsize=82468 CPUtime=342.18 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 37167 0 0 0 34215 3 0 0 20 0 1 0 49814129 84447232 14806 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4911541 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20617 14806 815 380 0 14035 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 82468 [startup+402.3 s] /proc/loadavg: 2.08 2.03 2.04 3/186 27367 /proc/meminfo: memFree=31467372/32770624 swapFree=0/307468 [pid=27304] ppid=27301 vsize=82468 CPUtime=402.18 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 37611 0 0 0 40215 3 0 0 20 0 1 0 49814129 84447232 14806 18446744073709551615 4194304 5747388 140721484490240 140721484487640 5000064 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20617 14806 815 380 0 14035 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 82468 [startup+462.3 s] /proc/loadavg: 1.95 2.01 2.04 3/189 27383 /proc/meminfo: memFree=31461060/32770624 swapFree=0/307532 [pid=27304] ppid=27301 vsize=82600 CPUtime=462.17 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 38040 0 0 0 46214 3 0 0 20 0 1 0 49814129 84582400 14828 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4906092 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20650 14828 815 380 0 14068 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 82600 [startup+522.3 s] /proc/loadavg: 2.01 2.02 2.04 3/189 27385 /proc/meminfo: memFree=31461892/32770624 swapFree=0/307560 [pid=27304] ppid=27301 vsize=82732 CPUtime=522.16 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 38249 0 0 0 52213 3 0 0 20 0 1 0 49814129 84717568 14833 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4915518 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20683 14833 815 380 0 14101 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 82732 [startup+582.3 s] /proc/loadavg: 2.04 2.03 2.05 3/186 27387 /proc/meminfo: memFree=31465140/32770624 swapFree=0/307576 [pid=27304] ppid=27301 vsize=82732 CPUtime=582.16 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 38456 0 0 0 58213 3 0 0 20 0 1 0 49814129 84717568 14847 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4971712 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 20683 14847 815 380 0 14101 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 82732 ################ # More data... # ################ [startup+1542.31 s] /proc/loadavg: 2.02 2.02 2.05 3/186 27442 /proc/meminfo: memFree=31460128/32770624 swapFree=0/307952 [pid=27304] ppid=27301 vsize=86164 CPUtime=1542.19 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 42521 0 0 0 154216 3 0 0 20 0 1 0 49814129 88231936 15729 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4906152 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21541 15729 815 380 0 14959 0 Current children cumulated CPU time (s) 1542.19 Current children cumulated vsize (KiB) 86164 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27445 /proc/meminfo: memFree=31460136/32770624 swapFree=0/307980 [pid=27304] ppid=27301 vsize=86164 CPUtime=1602.19 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 42687 0 0 0 160216 3 0 0 20 0 1 0 49814129 88231936 15730 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4954107 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21541 15730 815 380 0 14959 0 Current children cumulated CPU time (s) 1602.19 Current children cumulated vsize (KiB) 86164 [startup+1662.3 s] /proc/loadavg: 2.05 2.03 2.05 3/189 27461 /proc/meminfo: memFree=31453500/32770624 swapFree=0/308016 [pid=27304] ppid=27301 vsize=86164 CPUtime=1662.19 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 42805 0 0 0 166216 3 0 0 20 0 1 0 49814129 88231936 15733 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4909849 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21541 15733 815 380 0 14959 0 Current children cumulated CPU time (s) 1662.19 Current children cumulated vsize (KiB) 86164 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.05 3/189 27488 /proc/meminfo: memFree=31452148/32770624 swapFree=0/308020 [pid=27304] ppid=27301 vsize=86296 CPUtime=1722.2 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 43173 0 0 0 172217 3 0 0 20 0 1 0 49814129 88367104 15751 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4909436 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21574 15751 815 380 0 14992 0 Current children cumulated CPU time (s) 1722.2 Current children cumulated vsize (KiB) 86296 [startup+1782.3 s] /proc/loadavg: 2.06 2.03 2.05 3/190 27491 /proc/meminfo: memFree=31453972/32770624 swapFree=0/308056 [pid=27304] ppid=27301 vsize=86296 CPUtime=1782.2 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 43504 0 0 0 178217 3 0 0 20 0 1 0 49814129 88367104 15759 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4972752 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21574 15759 815 380 0 14992 0 Current children cumulated CPU time (s) 1782.2 Current children cumulated vsize (KiB) 86296 [startup+1842.3 s] /proc/loadavg: 2.02 2.03 2.05 3/187 27493 /proc/meminfo: memFree=31457804/32770624 swapFree=0/308076 [pid=27304] ppid=27301 vsize=86296 CPUtime=1842.21 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 43508 0 0 0 184218 3 0 0 20 0 1 0 49814129 88367104 15759 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4954077 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21574 15759 815 380 0 14992 0 Current children cumulated CPU time (s) 1842.21 Current children cumulated vsize (KiB) 86296 [startup+1902.3 s] /proc/loadavg: 2.01 2.02 2.05 3/187 27496 /proc/meminfo: memFree=31459352/32770624 swapFree=0/308092 [pid=27304] ppid=27301 vsize=86428 CPUtime=1902.21 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 43851 0 0 0 190218 3 0 0 20 0 1 0 49814129 88502272 15767 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4972775 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21607 15767 815 380 0 15025 0 Current children cumulated CPU time (s) 1902.21 Current children cumulated vsize (KiB) 86428 [startup+1962.3 s] /proc/loadavg: 2.06 2.03 2.05 3/187 27498 /proc/meminfo: memFree=31459488/32770624 swapFree=0/308100 [pid=27304] ppid=27301 vsize=86428 CPUtime=1962.22 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 43862 0 0 0 196219 3 0 0 20 0 1 0 49814129 88502272 15767 18446744073709551615 4194304 5747388 140721484490240 140721484487384 4906561 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21607 15767 815 380 0 15025 0 Current children cumulated CPU time (s) 1962.22 Current children cumulated vsize (KiB) 86428 [startup+2022.3 s] /proc/loadavg: 2.02 2.03 2.05 3/186 27500 /proc/meminfo: memFree=31459444/32770624 swapFree=0/308124 [pid=27304] ppid=27301 vsize=86560 CPUtime=2022.22 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 44769 0 0 0 202219 3 0 0 20 0 1 0 49814129 88637440 15803 18446744073709551615 4194304 5747388 140721484490240 140721484487016 5126253 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15803 815 380 0 15058 0 Current children cumulated CPU time (s) 2022.22 Current children cumulated vsize (KiB) 86560 [startup+2082.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27503 /proc/meminfo: memFree=31459328/32770624 swapFree=0/308152 [pid=27304] ppid=27301 vsize=86560 CPUtime=2082.24 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 44769 0 0 0 208221 3 0 0 20 0 1 0 49814129 88637440 15803 18446744073709551615 4194304 5747388 140721484490240 140721484487016 4905989 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15803 815 380 0 15058 0 Current children cumulated CPU time (s) 2082.24 Current children cumulated vsize (KiB) 86560 [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/186 27505 /proc/meminfo: memFree=31459596/32770624 swapFree=0/308172 [pid=27304] ppid=27301 vsize=86560 CPUtime=2142.24 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 44898 0 0 0 214221 3 0 0 20 0 1 0 49814129 88637440 15811 18446744073709551615 4194304 5747388 140721484490240 140721484487016 4971712 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15811 815 380 0 15058 0 Current children cumulated CPU time (s) 2142.24 Current children cumulated vsize (KiB) 86560 [startup+2202.31 s] /proc/loadavg: 2.00 2.01 2.05 3/185 27507 /proc/meminfo: memFree=31459868/32770624 swapFree=0/308184 [pid=27304] ppid=27301 vsize=86560 CPUtime=2202.25 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 44898 0 0 0 220222 3 0 0 20 0 1 0 49814129 88637440 15811 18446744073709551615 4194304 5747388 140721484490240 140721484487016 5000064 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15811 815 380 0 15058 0 Current children cumulated CPU time (s) 2202.25 Current children cumulated vsize (KiB) 86560 [startup+2262.3 s] /proc/loadavg: 2.06 2.03 2.05 3/190 27525 /proc/meminfo: memFree=31455200/32770624 swapFree=0/308216 [pid=27304] ppid=27301 vsize=86560 CPUtime=2262.25 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 45027 0 0 0 226222 3 0 0 20 0 1 0 49814129 88637440 15811 18446744073709551615 4194304 5747388 140721484490240 140721484487016 5126432 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15811 815 380 0 15058 0 Current children cumulated CPU time (s) 2262.25 Current children cumulated vsize (KiB) 86560 [startup+2322.3 s] /proc/loadavg: 2.02 2.02 2.05 3/190 27527 /proc/meminfo: memFree=31455112/32770624 swapFree=0/308276 [pid=27304] ppid=27301 vsize=86560 CPUtime=2322.25 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 45027 0 0 0 232222 3 0 0 20 0 1 0 49814129 88637440 15811 18446744073709551615 4194304 5747388 140721484490240 140721484487016 4972845 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15811 815 380 0 15058 0 Current children cumulated CPU time (s) 2322.25 Current children cumulated vsize (KiB) 86560 [startup+2382.3 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27529 /proc/meminfo: memFree=31457248/32770624 swapFree=0/308304 [pid=27304] ppid=27301 vsize=86560 CPUtime=2382.26 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 45882 0 0 0 238223 3 0 0 20 0 1 0 49814129 88637440 15811 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4972814 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15811 815 380 0 15058 0 Current children cumulated CPU time (s) 2382.26 Current children cumulated vsize (KiB) 86560 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.1 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27529 /proc/meminfo: memFree=31457496/32770624 swapFree=0/308304 [pid=27304] ppid=27301 vsize=86560 CPUtime=2400.06 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 45882 0 0 0 240003 3 0 0 20 0 1 0 49814129 88637440 15811 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4909472 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15811 815 380 0 15058 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 86560 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 27304 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.1 s] /proc/loadavg: 2.01 2.02 2.05 3/186 27529 /proc/meminfo: memFree=31457496/32770624 swapFree=0/308304 [pid=27304] ppid=27301 vsize=86560 CPUtime=2400.06 cores=1,3,5,7 /proc/27304/stat : 27304 (cosoco) R 27301 27304 25100 0 -1 4202496 45882 0 0 0 240003 3 0 0 20 0 1 0 49814129 88637440 15811 18446744073709551615 4194304 5747388 140721484490240 140721484487640 4909472 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 7845728 7850568 26771456 140721484497390 140721484497485 140721484497485 140721484500942 0 /proc/27304/statm: 21640 15811 815 380 0 15058 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 86560 Child status: 1 Real time (s): 2400.1 CPU time (s): 2400.07 CPU user time (s): 2400.03 CPU system time (s): 0.04 CPU usage (%): 99.9989 Max. virtual memory (cumulated for all children) (KiB): 86560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.04 maximum resident set size= 63308 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45919 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= 25 involuntary context switches= 1265 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.10421 second user time and 7.93217 second system time The end
Begin job on node133 at 2017-08-06 13:32:22 IDJOB=4260088 IDBENCH=120756 IDSOLVER=2647 FILE ID=node133/4260088-1502019988 RUNJOBID= node133-1502014298-25935 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-mini 1.1 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P07.xml COMMAND LINE= cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260088-1502019988/watcher-4260088-1502019988 -o /tmp/evaluation-result-4260088-1502019988/solver-4260088-1502019988 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25935 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260088-1502019988.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 539390230adc3c5191c5e54bc0e1cdf0 RANDOM SEED=921816571 node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.17 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31549004 kB MemAvailable: 31994740 kB Buffers: 190076 kB Cached: 547736 kB SwapCached: 0 kB Active: 468400 kB Inactive: 332060 kB Active(anon): 63140 kB Inactive(anon): 24920 kB Active(file): 405260 kB Inactive(file): 307140 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 1992 kB Writeback: 4 kB AnonPages: 52672 kB Mapped: 39212 kB Shmem: 25276 kB Slab: 124488 kB SReclaimable: 98344 kB SUnreclaim: 26144 kB KernelStack: 3328 kB PageTables: 4824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 308920 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 132480 kB DirectMap2M: 33413120 kB Free space on /tmp at the end= 62028 MiB End job on node133 at 2017-08-06 14:12:22