Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.04 | 2400.2 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K14-P05.xml |
MD5SUM | 59020dc5d68df7ba2fdec80297510e85 |
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 | 1106 |
Number of constraints | 513 |
Number of domains | 2 |
Minimum domain size | 511 |
Maximum domain size | 512 |
Distribution of domain sizes | [{"size":511,"count":511},{"size":512,"count":70}] |
Minimum variable degree | 0 |
Maximum variable degree | 16 |
Distribution of variable degrees | [{"degree":0,"count":525},{"degree":2,"count":511},{"degree":15,"count":28},{"degree":16,"count":42}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 511 |
Distribution of constraint arities | [{"arity":3,"count":511},{"arity":70,"count":1},{"arity":511,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 511 |
Distribution of constraint types | [{"type":"intension","count":511},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.09/0.21 c root propagations : 0 0.09/0.21 c restarts enabled, print stats at every restarts 0.09/0.21 c 0.09/0.21 c 0.09/0.21 c 0.09/0.21 c This is cosoco 2.00 -- 0.09/0.21 c 0.09/0.21 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408668-1569788514.xml 0.09/0.21 c ========================================[ Problem Statistics ]=========================================== 0.09/0.21 c | 0.09/0.21 c | Parse time : 0.19 s 0.09/0.21 c | 0.09/0.21 c | Variables: 1106 0.09/0.21 c | Domain Sizes: 511..512 0.09/0.21 c | 0.09/0.21 c | Constraints: 513 0.09/0.21 c | Arity: 3..511 -- Ternary: 511 0.09/0.21 c | 0.09/0.21 c | Types: 0.09/0.21 c | All Different: 2 0.09/0.21 c | Intension: 511 0.09/0.21 c | 0.09/0.21 c ========================================================================================================= 0.09/0.21 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.09/0.21 c remove useless variable ce[0][0][0] 0.09/0.21 c remove useless variable ce[0][1][0] 0.09/0.21 c remove useless variable ce[0][1][1] 0.09/0.21 c remove useless variable ce[0][2][0] 0.09/0.21 c remove useless variable ce[0][2][1] 0.09/0.21 c remove useless variable ce[0][2][2] 0.09/0.21 c remove useless variable ce[0][3][0] 0.09/0.21 c remove useless variable ce[0][3][1] 0.09/0.21 c remove useless variable ce[0][3][2] 0.09/0.21 c remove useless variable ce[0][3][3] 0.09/0.21 c remove useless variable ce[0][4][0] 0.09/0.21 c remove useless variable ce[0][4][1] 0.09/0.21 c remove useless variable ce[0][4][2] 0.09/0.21 c remove useless variable ce[0][4][3] 0.09/0.21 c remove useless variable ce[0][4][4] 0.09/0.21 c remove useless variable ce[0][5][0] 0.09/0.21 c remove useless variable ce[0][5][1] 0.09/0.21 c remove useless variable ce[0][5][2] 0.09/0.21 c remove useless variable ce[0][5][3] 0.09/0.21 c remove useless variable ce[0][5][4] 0.09/0.21 c remove useless variable ce[0][5][5] 0.09/0.21 c remove useless variable ce[0][6][0] 0.09/0.21 c remove useless variable ce[0][6][1] 0.09/0.21 c remove useless variable ce[0][6][2] 0.09/0.21 c remove useless variable ce[0][6][3] 0.09/0.21 c remove useless variable ce[0][6][4] 0.09/0.21 c remove useless variable ce[0][6][5] 0.09/0.21 c remove useless variable ce[0][6][6] 0.09/0.21 c remove useless variable ce[0][7][0] 0.09/0.21 c remove useless variable ce[0][7][1] 0.09/0.21 c remove useless variable ce[0][7][2] 0.09/0.21 c remove useless variable ce[0][7][3] 0.09/0.21 c remove useless variable ce[0][7][4] 0.09/0.21 c remove useless variable ce[0][7][5] 0.09/0.21 c remove useless variable ce[0][7][6] 0.09/0.21 c remove useless variable ce[0][7][7] 0.09/0.21 c remove useless variable ce[0][8][0] 0.09/0.21 c remove useless variable ce[0][8][1] 0.09/0.21 c remove useless variable ce[0][8][2] 0.09/0.21 c remove useless variable ce[0][8][3] 0.09/0.21 c remove useless variable ce[0][8][4] 0.09/0.21 c remove useless variable ce[0][8][5] 0.09/0.21 c remove useless variable ce[0][8][6] 0.09/0.21 c remove useless variable ce[0][8][7] 0.09/0.21 c remove useless variable ce[0][8][8] 0.09/0.21 c remove useless variable ce[0][9][0] 0.09/0.21 c remove useless variable ce[0][9][1] 0.09/0.21 c remove useless variable ce[0][9][2] 0.09/0.21 c remove useless variable ce[0][9][3] 0.09/0.21 c remove useless variable ce[0][9][4] 0.09/0.21 c remove useless variable ce[0][9][5] 0.09/0.21 c remove useless variable ce[0][9][6] 0.09/0.21 c remove useless variable ce[0][9][7] 0.09/0.21 c remove useless variable ce[0][9][8] 0.09/0.21 c remove useless variable ce[0][9][9] 0.09/0.21 c remove useless variable ce[0][10][0] 0.09/0.21 c remove useless variable ce[0][10][1] 0.09/0.21 c remove useless variable ce[0][10][2] 0.09/0.21 c remove useless variable ce[0][10][3] 0.09/0.21 c remove useless variable ce[0][10][4] 0.09/0.21 c remove useless variable ce[0][10][5] 0.09/0.21 c remove useless variable ce[0][10][6] 0.09/0.21 c remove useless variable ce[0][10][7] 0.09/0.21 c remove useless variable ce[0][10][8] 0.09/0.21 c remove useless variable ce[0][10][9] 0.09/0.21 c remove useless variable ce[0][10][10] 0.09/0.21 c remove useless variable ce[0][11][0] 0.09/0.21 c remove useless variable ce[0][11][1] 0.09/0.21 c remove useless variable ce[0][11][2] 0.09/0.21 c remove useless variable ce[0][11][3] 0.09/0.21 c remove useless variable ce[0][11][4] 0.09/0.21 c remove useless variable ce[0][11][5] 0.09/0.21 c remove useless variable ce[0][11][6] 0.09/0.21 c remove useless variable ce[0][11][7] 0.09/0.21 c remove useless variable ce[0][11][8] 0.09/0.21 c remove useless variable ce[0][11][9] 0.09/0.21 c remove useless variable ce[0][11][10] 0.09/0.21 c remove useless variable ce[0][11][11] 0.09/0.21 c remove useless variable ce[0][12][0] 0.09/0.21 c remove useless variable ce[0][12][1] 0.09/0.21 c remove useless variable ce[0][12][2] 0.09/0.21 c remove useless variable ce[0][12][3] 0.09/0.21 c remove useless variable ce[0][12][4] 0.09/0.21 c remove useless variable ce[0][12][5] 0.09/0.21 c remove useless variable ce[0][12][6] 0.09/0.21 c remove useless variable ce[0][12][7] 0.09/0.21 c remove useless variable ce[0][12][8] 0.09/0.21 c remove useless variable ce[0][12][9] 0.09/0.21 c remove useless variable ce[0][12][10] 0.09/0.21 c remove useless variable ce[0][12][11] 0.09/0.21 c remove useless variable ce[0][12][12] 0.09/0.21 c remove useless variable ce[0][13][0] 0.09/0.21 c remove useless variable ce[0][13][1] 0.09/0.21 c remove useless variable ce[0][13][2] 0.09/0.21 c remove useless variable ce[0][13][3] 0.09/0.21 c remove useless variable ce[0][13][4] 0.09/0.21 c remove useless variable ce[0][13][5] 0.09/0.21 c remove useless variable ce[0][13][6] 0.09/0.21 c remove useless variable ce[0][13][7] 0.09/0.21 c remove useless variable ce[0][13][8] 0.09/0.21 c remove useless variable ce[0][13][9] 0.09/0.21 c remove useless variable ce[0][13][10] 0.09/0.21 c remove useless variable ce[0][13][11] 0.09/0.21 c remove useless variable ce[0][13][12] 0.09/0.21 c remove useless variable ce[0][13][13] 0.09/0.21 c remove useless variable ce[1][0][0] 0.09/0.21 c remove useless variable ce[1][1][0] 0.09/0.21 c remove useless variable ce[1][1][1] 0.09/0.21 c remove useless variable ce[1][2][0] 0.09/0.21 c remove useless variable ce[1][2][1] 0.09/0.21 c remove useless variable ce[1][2][2] 0.09/0.21 c remove useless variable ce[1][3][0] 0.09/0.21 c remove useless variable ce[1][3][1] 0.09/0.21 c remove useless variable ce[1][3][2] 0.09/0.21 c remove useless variable ce[1][3][3] 0.09/0.21 c remove useless variable ce[1][4][0] 0.09/0.21 c remove useless variable ce[1][4][1] 0.09/0.21 c remove useless variable ce[1][4][2] 0.09/0.21 c remove useless variable ce[1][4][3] 0.09/0.21 c remove useless variable ce[1][4][4] 0.09/0.21 c remove useless variable ce[1][5][0] 0.09/0.21 c remove useless variable ce[1][5][1] 0.09/0.21 c remove useless variable ce[1][5][2] 0.09/0.21 c remove useless variable ce[1][5][3] 0.09/0.21 c remove useless variable ce[1][5][4] 0.09/0.21 c remove useless variable ce[1][5][5] 0.09/0.21 c remove useless variable ce[1][6][0] 0.09/0.21 c remove useless variable ce[1][6][1] 0.09/0.21 c remove useless variable ce[1][6][2] 0.09/0.21 c remove useless variable ce[1][6][3] 0.09/0.21 c remove useless variable ce[1][6][4] 0.09/0.21 c remove useless variable ce[1][6][5] 0.09/0.21 c remove useless variable ce[1][6][6] 0.09/0.21 c remove useless variable ce[1][7][0] 0.09/0.21 c remove useless variable ce[1][7][1] 0.09/0.21 c remove useless variable ce[1][7][2] 0.09/0.21 c remove useless variable ce[1][7][3] 0.09/0.21 c remove useless variable ce[1][7][4] 0.09/0.21 c remove useless variable ce[1][7][5] 0.09/0.21 c remove useless variable ce[1][7][6] 0.09/0.21 c remove useless variable ce[1][7][7] 0.09/0.21 c remove useless variable ce[1][8][0] 0.09/0.21 c remove useless variable ce[1][8][1] 0.09/0.21 c remove useless variable ce[1][8][2] 0.09/0.21 c remove useless variable ce[1][8][3] 0.09/0.21 c remove useless variable ce[1][8][4] 0.09/0.21 c remove useless variable ce[1][8][5] 0.09/0.21 c remove useless variable ce[1][8][6] 0.09/0.21 c remove useless variable ce[1][8][7] 0.09/0.21 c remove useless variable ce[1][8][8] 0.09/0.21 c remove useless variable ce[1][9][0] 0.09/0.21 c remove useless variable ce[1][9][1] 0.09/0.21 c remove useless variable ce[1][9][2] 0.09/0.21 c remove useless variable ce[1][9][3] 0.09/0.21 c remove useless variable ce[1][9][4] 0.09/0.21 c remove useless variable ce[1][9][5] 0.09/0.21 c remove useless variable ce[1][9][6] 0.09/0.21 c remove useless variable ce[1][9][7] 0.09/0.21 c remove useless variable ce[1][9][8] 0.09/0.21 c remove useless variable ce[1][9][9] 0.09/0.21 c remove useless variable ce[1][10][0] 0.09/0.21 c remove useless variable ce[1][10][1] 0.09/0.21 c remove useless variable ce[1][10][2] 0.09/0.21 c remove useless variable ce[1][10][3] 0.09/0.21 c remove useless variable ce[1][10][4] 0.09/0.21 c remove useless variable ce[1][10][5] 0.09/0.21 c remove useless variable ce[1][10][6] 0.09/0.21 c remove useless variable ce[1][10][7] 0.09/0.21 c remove useless variable ce[1][10][8] 0.09/0.21 c remove useless variable ce[1][10][9] 0.09/0.21 c remove useless variable ce[1][10][10] 0.09/0.21 c remove useless variable ce[1][11][0] 0.09/0.21 c remove useless variable ce[1][11][1] 0.09/0.21 c remove useless variable ce[1][11][2] 0.09/0.21 c remove useless variable ce[1][11][3] 0.09/0.21 c remove useless variable ce[1][11][4] 0.09/0.21 c remove useless variable ce[1][11][5] 0.09/0.21 c remove useless variable ce[1][11][6] 0.09/0.21 c remove useless variable ce[1][11][7] 0.09/0.21 c remove useless variable ce[1][11][8] 0.09/0.21 c remove useless variable ce[1][11][9] 0.09/0.21 c remove useless variable ce[1][11][10] 0.09/0.21 c remove useless variable ce[1][11][11] 0.09/0.21 c remove useless variable ce[1][12][0] 0.09/0.21 c remove useless variable ce[1][12][1] 0.09/0.21 c remove useless variable ce[1][12][2] 0.09/0.21 c remove useless variable ce[1][12][3] 0.09/0.21 c remove useless variable ce[1][12][4] 0.09/0.21 c remove useless variable ce[1][12][5] 0.09/0.21 c remove useless variable ce[1][12][6] 0.09/0.21 c remove useless variable ce[1][12][7] 0.09/0.21 c remove useless variable ce[1][12][8] 0.09/0.21 c remove useless variable ce[1][12][9] 0.09/0.21 c remove useless variable ce[1][12][10] 0.09/0.21 c remove useless variable ce[1][12][11] 0.09/0.21 c remove useless variable ce[1][12][12] 0.09/0.21 c remove useless variable ce[1][13][0] 0.09/0.21 c remove useless variable ce[1][13][1] 0.09/0.21 c remove useless variable ce[1][13][2] 0.09/0.21 c remove useless variable ce[1][13][3] 0.09/0.21 c remove useless variable ce[1][13][4] 0.09/0.21 c remove useless variable ce[1][13][5] 0.09/0.21 c remove useless variable ce[1][13][6] 0.09/0.21 c remove useless variable ce[1][13][7] 0.09/0.21 c remove useless variable ce[1][13][8] 0.09/0.21 c remove useless variable ce[1][13][9] 0.09/0.21 c remove useless variable ce[1][13][10] 0.09/0.21 c remove useless variable ce[1][13][11] 0.09/0.21 c remove useless variable ce[1][13][12] 0.09/0.21 c remove useless variable ce[1][13][13] 0.09/0.21 c remove useless variable ce[2][0][0] 0.09/0.21 c remove useless variable ce[2][1][0] 0.09/0.21 c remove useless variable ce[2][1][1] 0.09/0.21 c remove useless variable ce[2][2][0] 0.09/0.21 c remove useless variable ce[2][2][1] 0.09/0.21 c remove useless variable ce[2][2][2] 0.09/0.21 c remove useless variable ce[2][3][0] 0.09/0.21 c remove useless variable ce[2][3][1] 0.09/0.21 c remove useless variable ce[2][3][2] 0.09/0.21 c remove useless variable ce[2][3][3] 0.09/0.21 c remove useless variable ce[2][4][0] 0.09/0.21 c remove useless variable ce[2][4][1] 0.09/0.21 c remove useless variable ce[2][4][2] 0.09/0.21 c remove useless variable ce[2][4][3] 0.09/0.21 c remove useless variable ce[2][4][4] 0.09/0.21 c remove useless variable ce[2][5][0] 0.09/0.21 c remove useless variable ce[2][5][1] 0.09/0.21 c remove useless variable ce[2][5][2] 0.09/0.21 c remove useless variable ce[2][5][3] 0.09/0.21 c remove useless variable ce[2][5][4] 0.09/0.21 c remove useless variable ce[2][5][5] 0.09/0.21 c remove useless variable ce[2][6][0] 0.09/0.21 c remove useless variable ce[2][6][1] 0.09/0.21 c remove useless variable ce[2][6][2] 0.09/0.21 c remove useless variable ce[2][6][3] 0.09/0.21 c remove useless variable ce[2][6][4] 0.09/0.21 c remove useless variable ce[2][6][5] 0.09/0.21 c remove useless variable ce[2][6][6] 0.09/0.21 c remove useless variable ce[2][7][0] 0.09/0.21 c remove useless variable ce[2][7][1] 0.09/0.21 c remove useless variable ce[2][7][2] 0.09/0.21 c remove useless variable ce[2][7][3] 0.09/0.21 c remove useless variable ce[2][7][4] 0.09/0.21 c remove useless variable ce[2][7][5] 0.09/0.21 c remove useless variable ce[2][7][6] 0.09/0.21 c remove useless variable ce[2][7][7] 0.09/0.21 c remove useless variable ce[2][8][0] 0.09/0.21 c remove useless variable ce[2][8][1] 0.09/0.21 c remove useless variable ce[2][8][2] 0.09/0.21 c remove useless variable ce[2][8][3] 0.09/0.21 c remove useless variable ce[2][8][4] 0.09/0.21 c remove useless variable ce[2][8][5] 0.09/0.21 c remove useless variable ce[2][8][6] 0.09/0.21 c remove useless variable ce[2][8][7] 0.09/0.21 c remove useless variable ce[2][8][8] 0.09/0.21 c remove useless variable ce[2][9][0] 0.09/0.21 c remove useless variable ce[2][9][1] 0.09/0.21 c remove useless variable ce[2][9][2] 0.09/0.21 c remove useless variable ce[2][9][3] 0.09/0.21 c remove useless variable ce[2][9][4] 0.09/0.21 c remove useless variable ce[2][9][5] 0.09/0.21 c remove useless variable ce[2][9][6] 0.09/0.21 c remove useless variable ce[2][9][7] 0.09/0.21 c remove useless variable ce[2][9][8] 0.09/0.21 c remove useless variable ce[2][9][9] 0.09/0.21 c remove useless variable ce[2][10][0] 0.09/0.21 c remove useless variable ce[2][10][1] 0.09/0.21 c remove useless variable ce[2][10][2] 0.09/0.21 c remove useless variable ce[2][10][3] 0.09/0.21 c remove useless variable ce[2][10][4] 0.09/0.21 c remove useless variable ce[2][10][5] 0.09/0.21 c remove useless variable ce[2][10][6] 0.09/0.21 c remove useless variable ce[2][10][7] 0.09/0.21 c remove useless variable ce[2][10][8] 0.09/0.21 c remove useless variable ce[2][10][9] 0.09/0.21 c remove useless variable ce[2][10][10] 0.09/0.21 c remove useless variable ce[2][11][0] 0.09/0.21 c remove useless variable ce[2][11][1] 0.09/0.21 c remove useless variable ce[2][11][2] 0.09/0.21 c remove useless variable ce[2][11][3] 0.09/0.21 c remove useless variable ce[2][11][4] 0.09/0.21 c remove useless variable ce[2][11][5] 0.09/0.21 c remove useless variable ce[2][11][6] 0.09/0.21 c remove useless variable ce[2][11][7] 0.09/0.21 c remove useless variable ce[2][11][8] 0.09/0.21 c remove useless variable ce[2][11][9] 0.09/0.21 c remove useless variable ce[2][11][10] 0.09/0.21 c remove useless variable ce[2][11][11] 0.09/0.21 c remove useless variable ce[2][12][0] 0.09/0.21 c remove useless variable ce[2][12][1] 0.09/0.21 c remove useless variable ce[2][12][2] 0.09/0.21 c remove useless variable ce[2][12][3] 0.09/0.21 c remove useless variable ce[2][12][4] 0.09/0.21 c remove useless variable ce[2][12][5] 0.09/0.21 c remove useless variable ce[2][12][6] 0.09/0.21 c remove useless variable ce[2][12][7] 0.09/0.21 c remove useless variable ce[2][12][8] 0.09/0.21 c remove useless variable ce[2][12][9] 0.09/0.21 c remove useless variable ce[2][12][10] 0.09/0.21 c remove useless variable ce[2][12][11] 0.09/0.21 c remove useless variable ce[2][12][12] 0.09/0.21 c remove useless variable ce[2][13][0] 0.09/0.21 c remove useless variable ce[2][13][1] 0.09/0.21 c remove useless variable ce[2][13][2] 0.09/0.21 c remove useless variable ce[2][13][3] 0.09/0.21 c remove useless variable ce[2][13][4] 0.09/0.21 c remove useless variable ce[2][13][5] 0.09/0.21 c remove useless variable ce[2][13][6] 0.09/0.21 c remove useless variable ce[2][13][7] 0.09/0.21 c remove useless variable ce[2][13][8] 0.09/0.21 c remove useless variable ce[2][13][9] 0.09/0.21 c remove useless variable ce[2][13][10] 0.09/0.21 c remove useless variable ce[2][13][11] 0.09/0.21 c remove useless variable ce[2][13][12] 0.09/0.21 c remove useless variable ce[2][13][13] 0.09/0.21 c remove useless variable ce[3][0][0] 0.09/0.21 c remove useless variable ce[3][1][0] 0.09/0.21 c remove useless variable ce[3][1][1] 0.09/0.21 c remove useless variable ce[3][2][0] 0.09/0.21 c remove useless variable ce[3][2][1] 0.09/0.21 c remove useless variable ce[3][2][2] 0.09/0.21 c remove useless variable ce[3][3][0] 0.09/0.21 c remove useless variable ce[3][3][1] 0.09/0.21 c remove useless variable ce[3][3][2] 0.09/0.21 c remove useless variable ce[3][3][3] 0.09/0.21 c remove useless variable ce[3][4][0] 0.09/0.21 c remove useless variable ce[3][4][1] 0.09/0.21 c remove useless variable ce[3][4][2] 0.09/0.21 c remove useless variable ce[3][4][3] 0.09/0.21 c remove useless variable ce[3][4][4] 0.09/0.21 c remove useless variable ce[3][5][0] 0.09/0.21 c remove useless variable ce[3][5][1] 0.09/0.21 c remove useless variable ce[3][5][2] 0.09/0.21 c remove useless variable ce[3][5][3] 0.09/0.21 c remove useless variable ce[3][5][4] 0.09/0.21 c remove useless variable ce[3][5][5] 0.09/0.21 c remove useless variable ce[3][6][0] 0.09/0.21 c remove useless variable ce[3][6][1] 0.09/0.21 c remove useless variable ce[3][6][2] 0.09/0.21 c remove useless variable ce[3][6][3] 0.09/0.21 c remove useless variable ce[3][6][4] 0.09/0.21 c remove useless variable ce[3][6][5] 0.09/0.21 c remove useless variable ce[3][6][6] 0.09/0.21 c remove useless variable ce[3][7][0] 0.09/0.21 c remove useless variable ce[3][7][1] 0.09/0.21 c remove useless variable ce[3][7][2] 0.09/0.21 c remove useless variable ce[3][7][3] 0.09/0.21 c remove useless variable ce[3][7][4] 0.09/0.21 c remove useless variable ce[3][7][5] 0.09/0.21 c remove useless variable ce[3][7][6] 0.09/0.21 c remove useless variable ce[3][7][7] 0.09/0.21 c remove useless variable ce[3][8][0] 0.09/0.21 c remove useless variable ce[3][8][1] 0.09/0.21 c remove useless variable ce[3][8][2] 0.09/0.21 c remove useless variable ce[3][8][3] 0.09/0.21 c remove useless variable ce[3][8][4] 0.09/0.21 c remove useless variable ce[3][8][5] 0.09/0.21 c remove useless variable ce[3][8][6] 0.09/0.21 c remove useless variable ce[3][8][7] 0.09/0.21 c remove useless variable ce[3][8][8] 0.09/0.21 c remove useless variable ce[3][9][0] 0.09/0.21 c remove useless variable ce[3][9][1] 0.09/0.21 c remove useless variable ce[3][9][2] 0.09/0.21 c remove useless variable ce[3][9][3] 0.09/0.21 c remove useless variable ce[3][9][4] 0.09/0.21 c remove useless variable ce[3][9][5] 0.09/0.21 c remove useless variable ce[3][9][6] 0.09/0.21 c remove useless variable ce[3][9][7] 0.09/0.21 c remove useless variable ce[3][9][8] 0.09/0.21 c remove useless variable ce[3][9][9] 0.09/0.21 c remove useless variable ce[3][10][0] 0.09/0.21 c remove useless variable ce[3][10][1] 0.09/0.21 c remove useless variable ce[3][10][2] 0.09/0.21 c remove useless variable ce[3][10][3] 0.09/0.21 c remove useless variable ce[3][10][4] 0.09/0.21 c remove useless variable ce[3][10][5] 0.09/0.21 c remove useless variable ce[3][10][6] 0.09/0.21 c remove useless variable ce[3][10][7] 0.09/0.21 c remove useless variable ce[3][10][8] 0.09/0.21 c remove useless variable ce[3][10][9] 0.09/0.21 c remove useless variable ce[3][10][10] 0.09/0.21 c remove useless variable ce[3][11][0] 0.09/0.21 c remove useless variable ce[3][11][1] 0.09/0.21 c remove useless variable ce[3][11][2] 0.09/0.21 c remove useless variable ce[3][11][3] 0.09/0.21 c remove useless variable ce[3][11][4] 0.09/0.21 c remove useless variable ce[3][11][5] 0.09/0.21 c remove useless variable ce[3][11][6] 0.09/0.21 c remove useless variable ce[3][11][7] 0.09/0.21 c remove useless variable ce[3][11][8] 0.09/0.21 c remove useless variable ce[3][11][9] 0.09/0.21 c remove useless variable ce[3][11][10] 0.09/0.21 c remove useless variable ce[3][11][11] 0.09/0.21 c remove useless variable ce[3][12][0] 0.09/0.21 c remove useless variable ce[3][12][1] 0.09/0.21 c remove useless variable ce[3][12][2] 0.09/0.21 c remove useless variable ce[3][12][3] 0.09/0.21 c remove useless variable ce[3][12][4] 0.09/0.21 c remove useless variable ce[3][12][5] 0.09/0.21 c remove useless variable ce[3][12][6] 0.09/0.21 c remove useless variable ce[3][12][7] 0.09/0.21 c remove useless variable ce[3][12][8] 0.09/0.21 c remove useless variable ce[3][12][9] 0.09/0.21 c remove useless variable ce[3][12][10] 0.09/0.21 c remove useless variable ce[3][12][11] 0.09/0.21 c remove useless variable ce[3][12][12] 0.09/0.21 c remove useless variable ce[3][13][0] 0.09/0.21 c remove useless variable ce[3][13][1] 0.09/0.21 c remove useless variable ce[3][13][2] 0.09/0.21 c remove useless variable ce[3][13][3] 0.09/0.21 c remove useless variable ce[3][13][4] 0.09/0.21 c remove useless variable ce[3][13][5] 0.09/0.21 c remove useless variable ce[3][13][6] 0.09/0.21 c remove useless variable ce[3][13][7] 0.09/0.21 c remove useless variable ce[3][13][8] 0.09/0.21 c remove useless variable ce[3][13][9] 0.09/0.21 c remove useless variable ce[3][13][10] 0.09/0.21 c remove useless variable ce[3][13][11] 0.09/0.21 c remove useless variable ce[3][13][12] 0.09/0.21 c remove useless variable ce[3][13][13] 0.09/0.21 c remove useless variable ce[4][0][0] 0.09/0.21 c remove useless variable ce[4][1][0] 0.09/0.21 c remove useless variable ce[4][1][1] 0.09/0.21 c remove useless variable ce[4][2][0] 0.09/0.21 c remove useless variable ce[4][2][1] 0.09/0.21 c remove useless variable ce[4][2][2] 0.09/0.21 c remove useless variable ce[4][3][0] 0.09/0.21 c remove useless variable ce[4][3][1] 0.09/0.21 c remove useless variable ce[4][3][2] 0.09/0.21 c remove useless variable ce[4][3][3] 0.09/0.21 c remove useless variable ce[4][4][0] 0.09/0.21 c remove useless variable ce[4][4][1] 0.09/0.21 c remove useless variable ce[4][4][2] 0.09/0.21 c remove useless variable ce[4][4][3] 0.09/0.21 c remove useless variable ce[4][4][4] 0.09/0.21 c remove useless variable ce[4][5][0] 0.09/0.21 c remove useless variable ce[4][5][1] 0.09/0.21 c remove useless variable ce[4][5][2] 0.09/0.21 c remove useless variable ce[4][5][3] 0.09/0.21 c remove useless variable ce[4][5][4] 0.09/0.21 c remove useless variable ce[4][5][5] 0.09/0.21 c remove useless variable ce[4][6][0] 0.09/0.21 c remove useless variable ce[4][6][1] 0.09/0.21 c remove useless variable ce[4][6][2] 0.09/0.21 c remove useless variable ce[4][6][3] 0.09/0.21 c remove useless variable ce[4][6][4] 0.09/0.21 c remove useless variable ce[4][6][5] 0.09/0.21 c remove useless variable ce[4][6][6] 0.09/0.21 c remove useless variable ce[4][7][0] 0.09/0.21 c remove useless variable ce[4][7][1] 0.09/0.21 c remove useless variable ce[4][7][2] 0.09/0.21 c remove useless variable ce[4][7][3] 0.09/0.21 c remove useless variable ce[4][7][4] 0.09/0.21 c remove useless variable ce[4][7][5] 0.09/0.21 c remove useless variable ce[4][7][6] 0.09/0.21 c remove useless variable ce[4][7][7] 0.09/0.21 c remove useless variable ce[4][8][0] 0.09/0.21 c remove useless variable ce[4][8][1] 0.09/0.21 c remove useless variable ce[4][8][2] 0.09/0.21 c remove useless variable ce[4][8][3] 0.09/0.21 c remove useless variable ce[4][8][4] 0.09/0.21 c remove useless variable ce[4][8][5] 0.09/0.21 c remove useless variable ce[4][8][6] 0.09/0.21 c remove useless variable ce[4][8][7] 0.09/0.21 c remove useless variable ce[4][8][8] 0.09/0.21 c remove useless variable ce[4][9][0] 0.09/0.21 c remove useless variable ce[4][9][1] 0.09/0.21 c remove useless variable ce[4][9][2] 0.09/0.21 c remove useless variable ce[4][9][3] 0.09/0.21 c remove useless variable ce[4][9][4] 0.09/0.21 c remove useless variable ce[4][9][5] 0.09/0.21 c remove useless variable ce[4][9][6] 0.09/0.21 c remove useless variable ce[4][9][7] 0.09/0.21 c remove useless variable ce[4][9][8] 0.09/0.21 c remove useless variable ce[4][9][9] 0.09/0.21 c remove useless variable ce[4][10][0] 0.09/0.21 c remove useless variable ce[4][10][1] 0.09/0.21 c remove useless variable ce[4][10][2] 0.09/0.21 c remove useless variable ce[4][10][3] 0.09/0.21 c remove useless variable ce[4][10][4] 0.09/0.21 c remove useless variable ce[4][10][5] 0.09/0.21 c remove useless variable ce[4][10][6] 0.09/0.21 c remove useless variable ce[4][10][7] 0.09/0.21 c remove useless variable ce[4][10][8] 0.09/0.21 c remove useless variable ce[4][10][9] 0.09/0.21 c remove useless variable ce[4][10][10] 0.09/0.21 c remove useless variable ce[4][11][0] 0.09/0.21 c remove useless variable ce[4][11][1] 0.09/0.21 c remove useless variable ce[4][11][2] 0.09/0.21 c remove useless variable ce[4][11][3] 0.09/0.21 c remove useless variable ce[4][11][4] 0.09/0.21 c remove useless variable ce[4][11][5] 0.09/0.21 c remove useless variable ce[4][11][6] 0.09/0.21 c remove useless variable ce[4][11][7] 0.09/0.21 c remove useless variable ce[4][11][8] 0.09/0.21 c remove useless variable ce[4][11][9] 0.09/0.21 c remove useless variable ce[4][11][10] 0.09/0.21 c remove useless variable ce[4][11][11] 0.09/0.21 c remove useless variable ce[4][12][0] 0.09/0.21 c remove useless variable ce[4][12][1] 0.09/0.21 c remove useless variable ce[4][12][2] 0.09/0.21 c remove useless variable ce[4][12][3] 0.09/0.21 c remove useless variable ce[4][12][4] 0.09/0.21 c remove useless variable ce[4][12][5] 0.09/0.21 c remove useless variable ce[4][12][6] 0.09/0.21 c remove useless variable ce[4][12][7] 0.09/0.21 c remove useless variable ce[4][12][8] 0.09/0.21 c remove useless variable ce[4][12][9] 0.09/0.21 c remove useless variable ce[4][12][10] 0.09/0.21 c remove useless variable ce[4][12][11] 0.09/0.21 c remove useless variable ce[4][12][12] 0.09/0.21 c remove useless variable ce[4][13][0] 0.09/0.21 c remove useless variable ce[4][13][1] 0.09/0.21 c remove useless variable ce[4][13][2] 0.09/0.21 c remove useless variable ce[4][13][3] 0.09/0.21 c remove useless variable ce[4][13][4] 0.09/0.21 c remove useless variable ce[4][13][5] 0.09/0.21 c remove useless variable ce[4][13][6] 0.09/0.21 c remove useless variable ce[4][13][7] 0.09/0.21 c remove useless variable ce[4][13][8] 0.09/0.21 c remove useless variable ce[4][13][9] 0.09/0.21 c remove useless variable ce[4][13][10] 0.09/0.21 c remove useless variable ce[4][13][11] 0.09/0.21 c remove useless variable ce[4][13][12] 0.09/0.21 c remove useless variable ce[4][13][13] 0.68/0.71 c 101 612 133471 139044 0 0 512 512 506 1.78/1.85 c 211 1094 256765 1044342 0 0 373 373 369 1.88/1.91 c 332 1220 260790 1046817 0 0 6 6 5 2.99/3.05 c 465 1629 365489 1922576 0 0 8 277 272 3.09/3.11 c 611 1778 369375 1924105 0 0 4 4 3 3.68/3.73 c 771 2117 438037 2249516 0 0 8 180 157 4.38/4.41 c 947 2486 504525 2585849 0 0 12 194 172 5.09/5.19 c 1140 2886 573563 3004281 0 0 9 208 167 6.09/6.16 c 1352 3319 642285 3557944 0 0 9 222 156 7.18/7.24 c 1585 3787 711474 4220864 0 0 12 236 146 7.78/7.88 c 1841 4292 780705 4582454 0 0 12 250 155 7.88/7.99 c 2122 4576 786751 4584388 0 0 4 4 3 8.58/8.68 c 2431 5190 862741 4973722 0 0 15 305 233 8.78/8.81 c 2770 5533 869730 4976409 0 0 5 5 4 9.78/9.82 c 3142 6285 955707 5610822 0 0 15 380 198 10.99/11.11 c 3551 7076 1038072 6511271 0 0 7 382 195 12.09/12.14 c 4000 7909 1119896 7207793 0 0 14 384 202 13.28/13.36 c 4493 8788 1198212 8102958 0 0 7 385 239 15.18/15.27 c 5035 9626 1254622 9632069 0 0 21 297 146 19.99/20.04 c 5631 10289 1275486 12582892 0 0 18 60 58 21.58/21.62 c 6286 11282 1333624 13651324 0 0 8 337 282 26.59/26.66 c 7006 12055 1361635 17498994 0 0 8 53 51 29.69/29.77 c 7798 12930 1384960 19206635 0 0 3 73 27 31.49/31.51 c 8669 14155 1443681 20347860 0 0 10 351 322 36.68/36.79 c 9627 15196 1466469 23057845 0 0 29 75 69 39.48/39.53 c 10680 16617 1523903 24948049 0 0 10 365 287 45.78/45.80 c 11838 17985 1550785 29602689 0 0 14 196 167 54.99/55.03 c 13111 19668 1603373 33948135 0 0 19 169 101 72.38/72.46 c 14511 21635 1702210 42601782 0 0 15 84 58 76.09/76.17 c 16051 23579 1764129 45101825 0 0 16 396 347 83.68/83.74 c 17745 25456 1832047 50899994 0 0 7 84 59 88.99/89.04 c 19608 27572 1866166 54710257 0 0 9 249 231 89.99/90.08 c 21657 30143 1963649 54878866 0 0 150 512 511 100.78/100.83 c 23910 32637 2009325 63413978 0 0 9 190 176 116.57/116.62 c 26388 35357 2061759 76584462 0 0 10 164 161 117.87/117.91 c 29113 38607 2168248 76769922 0 0 64 512 510 137.17/137.29 c 32110 41727 2238248 93749173 0 0 9 116 115 152.98/153.09 c 35406 45102 2381726 106075184 0 0 11 73 72 178.08/178.16 c 39031 48920 2469372 124212487 0 0 12 106 102 179.87/179.96 c 43018 53441 2599648 124448987 0 0 35 512 510 298.16/298.21 c 47403 57870 2976849 191499292 0 0 13 36 35 320.66/320.76 c 52226 62919 3104573 205084862 0 0 25 216 199 322.97/323.04 c 57531 68764 3250977 205353842 0 0 136 512 511 467.24/467.39 c 63366 75469 3702308 274266827 0 0 15 59 35 507.95/508.09 c 69784 82018 3865219 297757519 0 0 17 104 102 606.43/606.54 c 76843 89273 4303771 356251466 0 0 18 62 61 911.92/912.10 c 84607 97077 5079117 450134761 0 0 20 25 24 915.21/915.35 c 93147 105647 5219550 450274250 0 0 14 14 13 1174.00/1174.17 c 102541 115084 6023428 540510489 0 0 20 25 24 1214.79/1214.98 c 112874 125887 6175124 570529441 0 0 25 223 200 1311.38/1311.58 c 124240 137304 6669084 658620816 0 0 23 28 27 1316.48/1316.69 c 136742 150396 6927707 659125991 0 0 38 512 511 1423.37/1423.53 c 150494 164203 7445010 756459360 0 0 23 28 27 1429.47/1429.67 c 165621 179934 7745501 757045484 0 0 37 512 511 1563.57/1563.72 c 182260 196635 8433960 881148724 0 0 23 28 27 1740.06/1740.28 c 200562 215328 8908649 935400982 0 0 23 44 30 2319.74/2319.99 c 220694 235552 10628181 1116328865 0 0 22 49 48 2400.04/2400.20 2400.04/2400.20 c *** INTERRUPTED *** 2400.04/2400.20 c restarts : 57 2400.04/2400.20 c conflicts : 224656 (94 /sec) 2400.04/2400.20 c decisions : 239546 (100 /sec) 2400.04/2400.20 c propagations : 1141512326 (475628 /sec) 2400.04/2400.20 c root propagations : 0 2400.04/2400.20 c filter calls : 10827848 (4512 /sec) 2400.04/2400.20 c useless filter calls : 7984357 (73 %) 2400.04/2400.20 c Memory used : 61.07 MB 2400.04/2400.20 c CPU time : 2400.01 s 2400.04/2400.20 c real time : 2400.2 s 2400.04/2400.20 2400.04/2400.20 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16375 MiB (15381 MiB free) memory of node 1: 16384 MiB (15340 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408668-1569788514/watcher-4408668-1569788514 -o /tmp/evaluation-result-4408668-1569788514/solver-4408668-1569788514 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408668-1569788514.xml running on 4 cores: 4-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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=26617, runsolver pid=26614 [startup+0.101061 s]* /proc/loadavg: 2.00 1.95 1.42 3/199 26618 /proc/meminfo: memFree=31444564/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=42160 memory=18368 CPUtime=0.09 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 4808 0 0 0 9 0 0 0 20 0 1 0 554792947 43171840 4592 33554432000 4194304 6211132 140731623415152 140731623410184 140441071500261 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 10540 4592 823 493 0 3845 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 42160 KiB Current children cumulated memory: 18368 KiB [startup+0.210935 s]* /proc/loadavg: 2.00 1.95 1.42 3/199 26618 /proc/meminfo: memFree=31432668/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=53512 memory=30132 CPUtime=0.21 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 7696 0 0 0 20 1 0 0 20 0 1 0 554792947 54796288 7533 33554432000 4194304 6211132 140731623415152 140731623403176 5393095 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 13378 7533 866 493 0 6683 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 53512 KiB Current children cumulated memory: 30132 KiB [startup+0.310918 s]* /proc/loadavg: 2.00 1.95 1.42 3/199 26618 /proc/meminfo: memFree=31432092/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=53828 memory=30396 CPUtime=0.31 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 7768 0 0 0 30 1 0 0 20 0 1 0 554792947 55119872 7599 33554432000 4194304 6211132 140731623415152 140731623403176 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 13457 7599 867 493 0 6762 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 53828 KiB Current children cumulated memory: 30396 KiB [startup+0.700296 s] /proc/loadavg: 2.00 1.95 1.42 3/199 26618 /proc/meminfo: memFree=31431256/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=55936 memory=32020 CPUtime=0.68 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 8194 0 0 0 67 1 0 0 20 0 1 0 554792947 57278464 8005 33554432000 4194304 6211132 140731623415152 140731623403176 5451456 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 13984 8005 869 493 0 7289 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 55936 KiB Current children cumulated memory: 32020 KiB [startup+1.50029 s] /proc/loadavg: 2.00 1.95 1.42 3/199 26618 /proc/meminfo: memFree=31430140/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=55936 memory=32020 CPUtime=1.48 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 8194 0 0 0 147 1 0 0 20 0 1 0 554792947 57278464 8005 33554432000 4194304 6211132 140731623415152 140731623413112 5068981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 13984 8005 869 493 0 7289 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 55936 KiB Current children cumulated memory: 32020 KiB [startup+3.11034 s] /proc/loadavg: 2.00 1.95 1.42 3/199 26618 /proc/meminfo: memFree=31430016/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=55936 memory=32104 CPUtime=3.09 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 11202 0 0 0 308 1 0 0 20 0 1 0 554792947 57278464 8026 33554432000 4194304 6211132 140731623415152 140731623413112 5476628 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 13984 8026 869 493 0 7289 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 55936 KiB Current children cumulated memory: 32104 KiB [startup+6.30029 s] /proc/loadavg: 2.00 1.95 1.42 3/199 26618 /proc/meminfo: memFree=31429688/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=56200 memory=32312 CPUtime=6.28 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 14563 0 0 0 627 1 0 0 20 0 1 0 554792947 57548800 8078 33554432000 4194304 6211132 140731623415152 140731623413112 5443104 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 14050 8078 869 493 0 7355 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 56200 KiB Current children cumulated memory: 32312 KiB [startup+12.7003 s] /proc/loadavg: 2.00 1.95 1.42 3/199 26620 /proc/meminfo: memFree=31428976/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=56596 memory=32772 CPUtime=12.68 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 18373 0 0 0 1267 1 0 0 20 0 1 0 554792947 57954304 8193 33554432000 4194304 6211132 140731623415152 140731623413112 5439826 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 14149 8193 869 493 0 7454 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 56596 KiB Current children cumulated memory: 32772 KiB [startup+25.5003 s] /proc/loadavg: 2.00 1.96 1.43 3/199 26620 /proc/meminfo: memFree=31428260/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=57520 memory=33648 CPUtime=25.48 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 23955 0 0 0 2547 1 0 0 20 0 1 0 554792947 58900480 8412 33554432000 4194304 6211132 140731623415152 140731623412808 5443104 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 14380 8412 869 493 0 7685 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 57520 KiB Current children cumulated memory: 33648 KiB [startup+51.1104 s] /proc/loadavg: 2.00 1.96 1.44 3/199 26620 /proc/meminfo: memFree=31426780/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=58972 memory=34992 CPUtime=51.09 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 28736 0 0 0 5107 2 0 0 20 0 1 0 554792947 60387328 8748 33554432000 4194304 6211132 140731623415152 140731623412808 5065952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 14743 8748 869 493 0 8048 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 58972 KiB Current children cumulated memory: 34992 KiB [startup+102.3 s] /proc/loadavg: 2.00 1.96 1.47 3/199 26626 /proc/meminfo: memFree=31425664/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=60160 memory=36164 CPUtime=102.28 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 29683 0 0 0 10226 2 0 0 20 0 1 0 554792947 61603840 9041 33554432000 4194304 6211132 140731623415152 140731623413112 140441081445204 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15040 9041 869 493 0 8345 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 60160 KiB Current children cumulated memory: 36164 KiB [startup+162.3 s] /proc/loadavg: 2.00 1.97 1.51 3/199 26630 /proc/meminfo: memFree=31425964/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=60688 memory=36792 CPUtime=162.27 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 30644 0 0 0 16225 2 0 0 20 0 1 0 554792947 62144512 9198 33554432000 4194304 6211132 140731623415152 140731623412808 5164777 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15172 9198 869 493 0 8477 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 60688 KiB Current children cumulated memory: 36792 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.98 1.54 3/199 26634 /proc/meminfo: memFree=31424796/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=60820 memory=36968 CPUtime=222.26 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 31637 0 0 0 22224 2 0 0 20 0 1 0 554792947 62279680 9242 33554432000 4194304 6211132 140731623415152 140731623412808 5446210 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15205 9242 869 493 0 8510 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 60820 KiB Current children cumulated memory: 36968 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.98 1.57 3/199 26641 /proc/meminfo: memFree=31424880/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=60820 memory=37064 CPUtime=282.26 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 32014 0 0 0 28224 2 0 0 20 0 1 0 554792947 62279680 9266 33554432000 4194304 6211132 140731623415152 140731623412808 5455685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15205 9266 869 493 0 8510 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 60820 KiB Current children cumulated memory: 37064 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.99 1.60 3/199 26645 /proc/meminfo: memFree=31424580/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=61480 memory=37568 CPUtime=342.25 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 32665 0 0 0 34223 2 0 0 20 0 1 0 554792947 62955520 9392 33554432000 4194304 6211132 140731623415152 140731623412808 5446270 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15370 9392 869 493 0 8675 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 61480 KiB Current children cumulated memory: 37568 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.99 1.62 3/199 26649 /proc/meminfo: memFree=31424788/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=61480 memory=37640 CPUtime=402.25 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 33038 0 0 0 40223 2 0 0 20 0 1 0 554792947 62955520 9410 33554432000 4194304 6211132 140731623415152 140731623412808 5456338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15370 9410 869 493 0 8675 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 61480 KiB Current children cumulated memory: 37640 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.99 1.64 3/199 26656 /proc/meminfo: memFree=31424132/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=61480 memory=37644 CPUtime=462.25 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 33409 0 0 0 46223 2 0 0 20 0 1 0 554792947 62955520 9411 33554432000 4194304 6211132 140731623415152 140731623412808 5446262 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15370 9411 869 493 0 8675 0 Current children cumulated CPU time: 462.25 s Current children cumulated vsize: 61480 KiB Current children cumulated memory: 37644 KiB ################ # More data... # ################ /proc/26617/statm: 15601 9642 869 493 0 8906 0 Current children cumulated CPU time: 1602.16 s Current children cumulated vsize: 62404 KiB Current children cumulated memory: 38568 KiB [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.92 3/199 26826 /proc/meminfo: memFree=31423668/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62404 memory=38624 CPUtime=1662.16 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 42189 0 0 0 166214 2 0 0 20 0 1 0 554792947 63901696 9656 33554432000 4194304 6211132 140731623415152 140731623412808 5451593 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15601 9656 869 493 0 8906 0 Current children cumulated CPU time: 1662.16 s Current children cumulated vsize: 62404 KiB Current children cumulated memory: 38624 KiB [startup+1722.3 s] /proc/loadavg: 2.10 2.04 1.94 3/199 26832 /proc/meminfo: memFree=31423464/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62404 memory=38644 CPUtime=1722.16 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 42458 0 0 0 172214 2 0 0 20 0 1 0 554792947 63901696 9661 33554432000 4194304 6211132 140731623415152 140731623412808 5072412 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15601 9661 869 493 0 8906 0 Current children cumulated CPU time: 1722.16 s Current children cumulated vsize: 62404 KiB Current children cumulated memory: 38644 KiB [startup+1782.3 s] /proc/loadavg: 2.07 2.05 1.95 3/200 26844 /proc/meminfo: memFree=31423180/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38652 CPUtime=1782.15 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 42743 0 0 0 178213 2 0 0 20 0 1 0 554792947 64036864 9663 33554432000 4194304 6211132 140731623415152 140731623412808 5446956 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9663 869 493 0 8939 0 Current children cumulated CPU time: 1782.15 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38652 KiB [startup+1842.3 s] /proc/loadavg: 2.08 2.05 1.96 3/200 26848 /proc/meminfo: memFree=31423400/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38668 CPUtime=1842.16 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 42942 0 0 0 184213 3 0 0 20 0 1 0 554792947 64036864 9667 33554432000 4194304 6211132 140731623415152 140731623412808 5456330 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9667 869 493 0 8939 0 Current children cumulated CPU time: 1842.16 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38668 KiB [startup+1902.3 s] /proc/loadavg: 2.08 2.06 1.96 3/200 26854 /proc/meminfo: memFree=31423080/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38668 CPUtime=1902.16 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 43142 0 0 0 190213 3 0 0 20 0 1 0 554792947 64036864 9667 33554432000 4194304 6211132 140731623415152 140731623412808 5446292 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9667 869 493 0 8939 0 Current children cumulated CPU time: 1902.16 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38668 KiB [startup+1962.3 s] /proc/loadavg: 2.11 2.08 1.97 3/200 26858 /proc/meminfo: memFree=31423052/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38672 CPUtime=1962.16 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 43342 0 0 0 196213 3 0 0 20 0 1 0 554792947 64036864 9668 33554432000 4194304 6211132 140731623415152 140731623412808 5446680 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9668 869 493 0 8939 0 Current children cumulated CPU time: 1962.16 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38672 KiB [startup+2022.3 s] /proc/loadavg: 2.04 2.06 1.97 3/200 26862 /proc/meminfo: memFree=31423060/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38672 CPUtime=2022.15 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 43540 0 0 0 202212 3 0 0 20 0 1 0 554792947 64036864 9668 33554432000 4194304 6211132 140731623415152 140731623412808 4982096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9668 869 493 0 8939 0 Current children cumulated CPU time: 2022.15 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38672 KiB [startup+2082.3 s] /proc/loadavg: 2.02 2.05 1.97 3/199 26869 /proc/meminfo: memFree=31422964/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38672 CPUtime=2082.15 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 43740 0 0 0 208212 3 0 0 20 0 1 0 554792947 64036864 9668 33554432000 4194304 6211132 140731623415152 140731623412808 4982096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9668 869 493 0 8939 0 Current children cumulated CPU time: 2082.15 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38672 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.04 1.97 3/199 26873 /proc/meminfo: memFree=31423400/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38676 CPUtime=2142.15 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 43940 0 0 0 214212 3 0 0 20 0 1 0 554792947 64036864 9669 33554432000 4194304 6211132 140731623415152 140731623412808 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9669 869 493 0 8939 0 Current children cumulated CPU time: 2142.15 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.04 1.97 3/199 26877 /proc/meminfo: memFree=31422704/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38676 CPUtime=2202.14 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 44139 0 0 0 220211 3 0 0 20 0 1 0 554792947 64036864 9669 33554432000 4194304 6211132 140731623415152 140731623412808 5443074 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9669 869 493 0 8939 0 Current children cumulated CPU time: 2202.14 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.03 1.97 3/199 26884 /proc/meminfo: memFree=31423536/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38676 CPUtime=2262.14 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 44341 0 0 0 226211 3 0 0 20 0 1 0 554792947 64036864 9669 33554432000 4194304 6211132 140731623415152 140731623412808 5451539 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9669 869 493 0 8939 0 Current children cumulated CPU time: 2262.14 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 1.97 3/199 26888 /proc/meminfo: memFree=31423112/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38676 CPUtime=2322.14 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 44628 0 0 0 232211 3 0 0 20 0 1 0 554792947 64036864 9669 33554432000 4194304 6211132 140731623415152 140731623413112 5443135 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9669 869 493 0 8939 0 Current children cumulated CPU time: 2322.14 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.02 1.97 3/200 26900 /proc/meminfo: memFree=31422528/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38696 CPUtime=2382.14 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 44906 0 0 0 238211 3 0 0 20 0 1 0 554792947 64036864 9674 33554432000 4194304 6211132 140731623415152 140731623413112 5451564 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9674 869 493 0 8939 0 Current children cumulated CPU time: 2382.14 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38696 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.2 s] /proc/loadavg: 2.00 2.02 1.97 3/202 26926 /proc/meminfo: memFree=31422008/32770688 swapFree=67001368/67108860 [pid=26617] ppid=26614 vsize=62536 memory=38696 CPUtime=2400.04 cores=4-7 /proc/26617/stat : 26617 (cosoco) R 26614 26617 26332 0 -1 4202496 45169 0 0 0 240001 3 0 0 20 0 1 0 554792947 64036864 9674 33554432000 4194304 6211132 140731623415152 140731623413112 5446250 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 34856960 140731623420939 140731623421041 140731623421041 140731623423950 0 /proc/26617/statm: 15634 9674 869 493 0 8939 0 Current children cumulated CPU time: 2400.04 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38696 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.2 s] # the end of solver process 26617 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.01 s, system=0.031997 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2400.2 CPU time (s): 2400.04 CPU user time (s): 2400.01 CPU system time (s): 0.031997 CPU usage (%): 99.9934 Max. virtual memory (cumulated for all children) (KiB): 62536 Max. memory (cumulated for all children) (KiB): 38696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.031997 maximum resident set size= 38764 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45218 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= 19 involuntary context switches= 2062 # summary of solver processes directly reported to runsolver: # pid: 26617 # total CPU time (s): 2400.04 # total CPU user time (s): 2400.01 # total CPU system time (s): 0.031997 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.93471 second user time and 17.0133 second system time The end
Begin job on node116 at 2019-09-29 22:21:12 IDJOB=4408668 IDBENCH=120762 IDSOLVER=2875 FILE ID=node116/4408668-1569788514 RUNJOBID= node116-1569787351-26364 PBS_JOBID= 21705835 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K14-P05.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408668-1569788514/watcher-4408668-1569788514 -o /tmp/evaluation-result-4408668-1569788514/solver-4408668-1569788514 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408668-1569788514.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59020dc5d68df7ba2fdec80297510e85 RANDOM SEED=1442224680 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 31459256 kB MemAvailable: 31802312 kB Buffers: 187452 kB Cached: 475716 kB SwapCached: 3260 kB Active: 422228 kB Inactive: 299556 kB Active(anon): 76200 kB Inactive(anon): 63324 kB Active(file): 346028 kB Inactive(file): 236232 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001368 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 198724 kB Mapped: 27916 kB Shmem: 72416 kB Slab: 183964 kB SReclaimable: 153260 kB SUnreclaim: 30704 kB KernelStack: 3760 kB PageTables: 5644 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 621060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 149504 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 62020 MiB End job on node116 at 2019-09-29 23:01:12