Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2400.02 | 2400.3 |
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.10/0.18 c root propagations : 0 0.10/0.18 c restarts enabled, print stats at every restarts 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c This is cosoco 2.00 -- 0.10/0.18 c 0.10/0.18 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390128-1568328364.xml 0.10/0.18 c ========================================[ Problem Statistics ]=========================================== 0.10/0.18 c | 0.10/0.18 c | Parse time : 0.17 s 0.10/0.18 c | 0.10/0.18 c | Variables: 1106 0.10/0.18 c | Domain Sizes: 511..512 0.10/0.18 c | 0.10/0.18 c | Constraints: 513 0.10/0.18 c | Arity: 3..511 -- Ternary: 511 0.10/0.18 c | 0.10/0.18 c | Types: 0.10/0.18 c | All Different: 2 0.10/0.18 c | Intension: 511 0.10/0.18 c | 0.10/0.18 c ========================================================================================================= 0.10/0.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.18 c remove useless variable ce[0][0][0] 0.10/0.18 c remove useless variable ce[0][1][0] 0.10/0.18 c remove useless variable ce[0][1][1] 0.10/0.18 c remove useless variable ce[0][2][0] 0.10/0.18 c remove useless variable ce[0][2][1] 0.10/0.18 c remove useless variable ce[0][2][2] 0.10/0.18 c remove useless variable ce[0][3][0] 0.10/0.18 c remove useless variable ce[0][3][1] 0.10/0.18 c remove useless variable ce[0][3][2] 0.10/0.18 c remove useless variable ce[0][3][3] 0.10/0.18 c remove useless variable ce[0][4][0] 0.10/0.18 c remove useless variable ce[0][4][1] 0.10/0.18 c remove useless variable ce[0][4][2] 0.10/0.18 c remove useless variable ce[0][4][3] 0.10/0.18 c remove useless variable ce[0][4][4] 0.10/0.18 c remove useless variable ce[0][5][0] 0.10/0.18 c remove useless variable ce[0][5][1] 0.10/0.18 c remove useless variable ce[0][5][2] 0.10/0.18 c remove useless variable ce[0][5][3] 0.10/0.18 c remove useless variable ce[0][5][4] 0.10/0.18 c remove useless variable ce[0][5][5] 0.10/0.18 c remove useless variable ce[0][6][0] 0.10/0.18 c remove useless variable ce[0][6][1] 0.10/0.18 c remove useless variable ce[0][6][2] 0.10/0.18 c remove useless variable ce[0][6][3] 0.10/0.18 c remove useless variable ce[0][6][4] 0.10/0.18 c remove useless variable ce[0][6][5] 0.10/0.18 c remove useless variable ce[0][6][6] 0.10/0.18 c remove useless variable ce[0][7][0] 0.10/0.18 c remove useless variable ce[0][7][1] 0.10/0.18 c remove useless variable ce[0][7][2] 0.10/0.18 c remove useless variable ce[0][7][3] 0.10/0.18 c remove useless variable ce[0][7][4] 0.10/0.18 c remove useless variable ce[0][7][5] 0.10/0.18 c remove useless variable ce[0][7][6] 0.10/0.18 c remove useless variable ce[0][7][7] 0.10/0.18 c remove useless variable ce[0][8][0] 0.10/0.18 c remove useless variable ce[0][8][1] 0.10/0.18 c remove useless variable ce[0][8][2] 0.10/0.18 c remove useless variable ce[0][8][3] 0.10/0.18 c remove useless variable ce[0][8][4] 0.10/0.18 c remove useless variable ce[0][8][5] 0.10/0.18 c remove useless variable ce[0][8][6] 0.10/0.18 c remove useless variable ce[0][8][7] 0.10/0.18 c remove useless variable ce[0][8][8] 0.10/0.18 c remove useless variable ce[0][9][0] 0.10/0.18 c remove useless variable ce[0][9][1] 0.10/0.18 c remove useless variable ce[0][9][2] 0.10/0.18 c remove useless variable ce[0][9][3] 0.10/0.18 c remove useless variable ce[0][9][4] 0.10/0.18 c remove useless variable ce[0][9][5] 0.10/0.18 c remove useless variable ce[0][9][6] 0.10/0.18 c remove useless variable ce[0][9][7] 0.10/0.18 c remove useless variable ce[0][9][8] 0.10/0.18 c remove useless variable ce[0][9][9] 0.10/0.18 c remove useless variable ce[0][10][0] 0.10/0.18 c remove useless variable ce[0][10][1] 0.10/0.18 c remove useless variable ce[0][10][2] 0.10/0.18 c remove useless variable ce[0][10][3] 0.10/0.18 c remove useless variable ce[0][10][4] 0.10/0.18 c remove useless variable ce[0][10][5] 0.10/0.18 c remove useless variable ce[0][10][6] 0.10/0.18 c remove useless variable ce[0][10][7] 0.10/0.18 c remove useless variable ce[0][10][8] 0.10/0.18 c remove useless variable ce[0][10][9] 0.10/0.18 c remove useless variable ce[0][10][10] 0.10/0.18 c remove useless variable ce[0][11][0] 0.10/0.18 c remove useless variable ce[0][11][1] 0.10/0.18 c remove useless variable ce[0][11][2] 0.10/0.18 c remove useless variable ce[0][11][3] 0.10/0.18 c remove useless variable ce[0][11][4] 0.10/0.18 c remove useless variable ce[0][11][5] 0.10/0.18 c remove useless variable ce[0][11][6] 0.10/0.18 c remove useless variable ce[0][11][7] 0.10/0.18 c remove useless variable ce[0][11][8] 0.10/0.18 c remove useless variable ce[0][11][9] 0.10/0.18 c remove useless variable ce[0][11][10] 0.10/0.18 c remove useless variable ce[0][11][11] 0.10/0.18 c remove useless variable ce[0][12][0] 0.10/0.18 c remove useless variable ce[0][12][1] 0.10/0.18 c remove useless variable ce[0][12][2] 0.10/0.18 c remove useless variable ce[0][12][3] 0.10/0.18 c remove useless variable ce[0][12][4] 0.10/0.18 c remove useless variable ce[0][12][5] 0.10/0.18 c remove useless variable ce[0][12][6] 0.10/0.18 c remove useless variable ce[0][12][7] 0.10/0.18 c remove useless variable ce[0][12][8] 0.10/0.18 c remove useless variable ce[0][12][9] 0.10/0.18 c remove useless variable ce[0][12][10] 0.10/0.18 c remove useless variable ce[0][12][11] 0.10/0.18 c remove useless variable ce[0][12][12] 0.10/0.18 c remove useless variable ce[0][13][0] 0.10/0.18 c remove useless variable ce[0][13][1] 0.10/0.18 c remove useless variable ce[0][13][2] 0.10/0.18 c remove useless variable ce[0][13][3] 0.10/0.18 c remove useless variable ce[0][13][4] 0.10/0.18 c remove useless variable ce[0][13][5] 0.10/0.18 c remove useless variable ce[0][13][6] 0.10/0.18 c remove useless variable ce[0][13][7] 0.10/0.18 c remove useless variable ce[0][13][8] 0.10/0.18 c remove useless variable ce[0][13][9] 0.10/0.18 c remove useless variable ce[0][13][10] 0.10/0.18 c remove useless variable ce[0][13][11] 0.10/0.18 c remove useless variable ce[0][13][12] 0.10/0.18 c remove useless variable ce[0][13][13] 0.10/0.18 c remove useless variable ce[1][0][0] 0.10/0.18 c remove useless variable ce[1][1][0] 0.10/0.18 c remove useless variable ce[1][1][1] 0.10/0.18 c remove useless variable ce[1][2][0] 0.10/0.18 c remove useless variable ce[1][2][1] 0.10/0.18 c remove useless variable ce[1][2][2] 0.10/0.18 c remove useless variable ce[1][3][0] 0.10/0.18 c remove useless variable ce[1][3][1] 0.10/0.18 c remove useless variable ce[1][3][2] 0.10/0.18 c remove useless variable ce[1][3][3] 0.10/0.18 c remove useless variable ce[1][4][0] 0.10/0.18 c remove useless variable ce[1][4][1] 0.10/0.18 c remove useless variable ce[1][4][2] 0.10/0.18 c remove useless variable ce[1][4][3] 0.10/0.18 c remove useless variable ce[1][4][4] 0.10/0.18 c remove useless variable ce[1][5][0] 0.10/0.18 c remove useless variable ce[1][5][1] 0.10/0.18 c remove useless variable ce[1][5][2] 0.10/0.18 c remove useless variable ce[1][5][3] 0.10/0.18 c remove useless variable ce[1][5][4] 0.10/0.18 c remove useless variable ce[1][5][5] 0.10/0.18 c remove useless variable ce[1][6][0] 0.10/0.18 c remove useless variable ce[1][6][1] 0.10/0.18 c remove useless variable ce[1][6][2] 0.10/0.18 c remove useless variable ce[1][6][3] 0.10/0.18 c remove useless variable ce[1][6][4] 0.10/0.18 c remove useless variable ce[1][6][5] 0.10/0.18 c remove useless variable ce[1][6][6] 0.10/0.18 c remove useless variable ce[1][7][0] 0.10/0.18 c remove useless variable ce[1][7][1] 0.10/0.18 c remove useless variable ce[1][7][2] 0.10/0.18 c remove useless variable ce[1][7][3] 0.10/0.18 c remove useless variable ce[1][7][4] 0.10/0.18 c remove useless variable ce[1][7][5] 0.10/0.18 c remove useless variable ce[1][7][6] 0.10/0.18 c remove useless variable ce[1][7][7] 0.10/0.18 c remove useless variable ce[1][8][0] 0.10/0.18 c remove useless variable ce[1][8][1] 0.10/0.18 c remove useless variable ce[1][8][2] 0.10/0.18 c remove useless variable ce[1][8][3] 0.10/0.18 c remove useless variable ce[1][8][4] 0.10/0.18 c remove useless variable ce[1][8][5] 0.10/0.18 c remove useless variable ce[1][8][6] 0.10/0.18 c remove useless variable ce[1][8][7] 0.10/0.18 c remove useless variable ce[1][8][8] 0.10/0.18 c remove useless variable ce[1][9][0] 0.10/0.18 c remove useless variable ce[1][9][1] 0.10/0.18 c remove useless variable ce[1][9][2] 0.10/0.18 c remove useless variable ce[1][9][3] 0.10/0.18 c remove useless variable ce[1][9][4] 0.10/0.18 c remove useless variable ce[1][9][5] 0.10/0.18 c remove useless variable ce[1][9][6] 0.10/0.18 c remove useless variable ce[1][9][7] 0.10/0.18 c remove useless variable ce[1][9][8] 0.10/0.18 c remove useless variable ce[1][9][9] 0.10/0.18 c remove useless variable ce[1][10][0] 0.10/0.18 c remove useless variable ce[1][10][1] 0.10/0.18 c remove useless variable ce[1][10][2] 0.10/0.18 c remove useless variable ce[1][10][3] 0.10/0.18 c remove useless variable ce[1][10][4] 0.10/0.18 c remove useless variable ce[1][10][5] 0.10/0.18 c remove useless variable ce[1][10][6] 0.10/0.18 c remove useless variable ce[1][10][7] 0.10/0.18 c remove useless variable ce[1][10][8] 0.10/0.18 c remove useless variable ce[1][10][9] 0.10/0.18 c remove useless variable ce[1][10][10] 0.10/0.18 c remove useless variable ce[1][11][0] 0.10/0.18 c remove useless variable ce[1][11][1] 0.10/0.18 c remove useless variable ce[1][11][2] 0.10/0.18 c remove useless variable ce[1][11][3] 0.10/0.18 c remove useless variable ce[1][11][4] 0.10/0.18 c remove useless variable ce[1][11][5] 0.10/0.18 c remove useless variable ce[1][11][6] 0.10/0.18 c remove useless variable ce[1][11][7] 0.10/0.18 c remove useless variable ce[1][11][8] 0.10/0.18 c remove useless variable ce[1][11][9] 0.10/0.18 c remove useless variable ce[1][11][10] 0.10/0.18 c remove useless variable ce[1][11][11] 0.10/0.18 c remove useless variable ce[1][12][0] 0.10/0.18 c remove useless variable ce[1][12][1] 0.10/0.18 c remove useless variable ce[1][12][2] 0.10/0.18 c remove useless variable ce[1][12][3] 0.10/0.18 c remove useless variable ce[1][12][4] 0.10/0.18 c remove useless variable ce[1][12][5] 0.10/0.18 c remove useless variable ce[1][12][6] 0.10/0.18 c remove useless variable ce[1][12][7] 0.10/0.18 c remove useless variable ce[1][12][8] 0.10/0.18 c remove useless variable ce[1][12][9] 0.10/0.18 c remove useless variable ce[1][12][10] 0.10/0.18 c remove useless variable ce[1][12][11] 0.10/0.18 c remove useless variable ce[1][12][12] 0.10/0.18 c remove useless variable ce[1][13][0] 0.10/0.18 c remove useless variable ce[1][13][1] 0.10/0.18 c remove useless variable ce[1][13][2] 0.10/0.18 c remove useless variable ce[1][13][3] 0.10/0.18 c remove useless variable ce[1][13][4] 0.10/0.18 c remove useless variable ce[1][13][5] 0.10/0.18 c remove useless variable ce[1][13][6] 0.10/0.18 c remove useless variable ce[1][13][7] 0.10/0.18 c remove useless variable ce[1][13][8] 0.10/0.18 c remove useless variable ce[1][13][9] 0.10/0.18 c remove useless variable ce[1][13][10] 0.10/0.18 c remove useless variable ce[1][13][11] 0.10/0.18 c remove useless variable ce[1][13][12] 0.10/0.18 c remove useless variable ce[1][13][13] 0.10/0.18 c remove useless variable ce[2][0][0] 0.10/0.18 c remove useless variable ce[2][1][0] 0.10/0.18 c remove useless variable ce[2][1][1] 0.10/0.18 c remove useless variable ce[2][2][0] 0.10/0.18 c remove useless variable ce[2][2][1] 0.10/0.18 c remove useless variable ce[2][2][2] 0.10/0.18 c remove useless variable ce[2][3][0] 0.10/0.18 c remove useless variable ce[2][3][1] 0.10/0.18 c remove useless variable ce[2][3][2] 0.10/0.18 c remove useless variable ce[2][3][3] 0.10/0.18 c remove useless variable ce[2][4][0] 0.10/0.18 c remove useless variable ce[2][4][1] 0.10/0.18 c remove useless variable ce[2][4][2] 0.10/0.18 c remove useless variable ce[2][4][3] 0.10/0.18 c remove useless variable ce[2][4][4] 0.10/0.18 c remove useless variable ce[2][5][0] 0.10/0.18 c remove useless variable ce[2][5][1] 0.10/0.18 c remove useless variable ce[2][5][2] 0.10/0.18 c remove useless variable ce[2][5][3] 0.10/0.18 c remove useless variable ce[2][5][4] 0.10/0.18 c remove useless variable ce[2][5][5] 0.10/0.18 c remove useless variable ce[2][6][0] 0.10/0.18 c remove useless variable ce[2][6][1] 0.10/0.18 c remove useless variable ce[2][6][2] 0.10/0.18 c remove useless variable ce[2][6][3] 0.10/0.18 c remove useless variable ce[2][6][4] 0.10/0.18 c remove useless variable ce[2][6][5] 0.10/0.18 c remove useless variable ce[2][6][6] 0.10/0.18 c remove useless variable ce[2][7][0] 0.10/0.18 c remove useless variable ce[2][7][1] 0.10/0.18 c remove useless variable ce[2][7][2] 0.10/0.18 c remove useless variable ce[2][7][3] 0.10/0.18 c remove useless variable ce[2][7][4] 0.10/0.18 c remove useless variable ce[2][7][5] 0.10/0.18 c remove useless variable ce[2][7][6] 0.10/0.18 c remove useless variable ce[2][7][7] 0.10/0.18 c remove useless variable ce[2][8][0] 0.10/0.18 c remove useless variable ce[2][8][1] 0.10/0.18 c remove useless variable ce[2][8][2] 0.10/0.18 c remove useless variable ce[2][8][3] 0.10/0.18 c remove useless variable ce[2][8][4] 0.10/0.18 c remove useless variable ce[2][8][5] 0.10/0.18 c remove useless variable ce[2][8][6] 0.10/0.18 c remove useless variable ce[2][8][7] 0.10/0.18 c remove useless variable ce[2][8][8] 0.10/0.18 c remove useless variable ce[2][9][0] 0.10/0.18 c remove useless variable ce[2][9][1] 0.10/0.18 c remove useless variable ce[2][9][2] 0.10/0.18 c remove useless variable ce[2][9][3] 0.10/0.18 c remove useless variable ce[2][9][4] 0.10/0.18 c remove useless variable ce[2][9][5] 0.10/0.18 c remove useless variable ce[2][9][6] 0.10/0.18 c remove useless variable ce[2][9][7] 0.10/0.18 c remove useless variable ce[2][9][8] 0.10/0.18 c remove useless variable ce[2][9][9] 0.10/0.18 c remove useless variable ce[2][10][0] 0.10/0.18 c remove useless variable ce[2][10][1] 0.10/0.18 c remove useless variable ce[2][10][2] 0.10/0.18 c remove useless variable ce[2][10][3] 0.10/0.18 c remove useless variable ce[2][10][4] 0.10/0.18 c remove useless variable ce[2][10][5] 0.10/0.18 c remove useless variable ce[2][10][6] 0.10/0.18 c remove useless variable ce[2][10][7] 0.10/0.18 c remove useless variable ce[2][10][8] 0.10/0.18 c remove useless variable ce[2][10][9] 0.10/0.18 c remove useless variable ce[2][10][10] 0.10/0.18 c remove useless variable ce[2][11][0] 0.10/0.18 c remove useless variable ce[2][11][1] 0.10/0.18 c remove useless variable ce[2][11][2] 0.10/0.18 c remove useless variable ce[2][11][3] 0.10/0.18 c remove useless variable ce[2][11][4] 0.10/0.18 c remove useless variable ce[2][11][5] 0.10/0.18 c remove useless variable ce[2][11][6] 0.10/0.18 c remove useless variable ce[2][11][7] 0.10/0.18 c remove useless variable ce[2][11][8] 0.10/0.18 c remove useless variable ce[2][11][9] 0.10/0.18 c remove useless variable ce[2][11][10] 0.10/0.18 c remove useless variable ce[2][11][11] 0.10/0.18 c remove useless variable ce[2][12][0] 0.10/0.18 c remove useless variable ce[2][12][1] 0.10/0.18 c remove useless variable ce[2][12][2] 0.10/0.18 c remove useless variable ce[2][12][3] 0.10/0.18 c remove useless variable ce[2][12][4] 0.10/0.18 c remove useless variable ce[2][12][5] 0.10/0.18 c remove useless variable ce[2][12][6] 0.10/0.18 c remove useless variable ce[2][12][7] 0.10/0.18 c remove useless variable ce[2][12][8] 0.10/0.18 c remove useless variable ce[2][12][9] 0.10/0.18 c remove useless variable ce[2][12][10] 0.10/0.18 c remove useless variable ce[2][12][11] 0.10/0.18 c remove useless variable ce[2][12][12] 0.10/0.18 c remove useless variable ce[2][13][0] 0.10/0.18 c remove useless variable ce[2][13][1] 0.10/0.18 c remove useless variable ce[2][13][2] 0.10/0.18 c remove useless variable ce[2][13][3] 0.10/0.18 c remove useless variable ce[2][13][4] 0.10/0.18 c remove useless variable ce[2][13][5] 0.10/0.18 c remove useless variable ce[2][13][6] 0.10/0.18 c remove useless variable ce[2][13][7] 0.10/0.18 c remove useless variable ce[2][13][8] 0.10/0.18 c remove useless variable ce[2][13][9] 0.10/0.18 c remove useless variable ce[2][13][10] 0.10/0.18 c remove useless variable ce[2][13][11] 0.10/0.18 c remove useless variable ce[2][13][12] 0.10/0.18 c remove useless variable ce[2][13][13] 0.10/0.18 c remove useless variable ce[3][0][0] 0.10/0.18 c remove useless variable ce[3][1][0] 0.10/0.18 c remove useless variable ce[3][1][1] 0.10/0.18 c remove useless variable ce[3][2][0] 0.10/0.18 c remove useless variable ce[3][2][1] 0.10/0.18 c remove useless variable ce[3][2][2] 0.10/0.18 c remove useless variable ce[3][3][0] 0.10/0.18 c remove useless variable ce[3][3][1] 0.10/0.18 c remove useless variable ce[3][3][2] 0.10/0.18 c remove useless variable ce[3][3][3] 0.10/0.18 c remove useless variable ce[3][4][0] 0.10/0.18 c remove useless variable ce[3][4][1] 0.10/0.18 c remove useless variable ce[3][4][2] 0.10/0.18 c remove useless variable ce[3][4][3] 0.10/0.18 c remove useless variable ce[3][4][4] 0.10/0.18 c remove useless variable ce[3][5][0] 0.10/0.18 c remove useless variable ce[3][5][1] 0.10/0.18 c remove useless variable ce[3][5][2] 0.10/0.18 c remove useless variable ce[3][5][3] 0.10/0.18 c remove useless variable ce[3][5][4] 0.10/0.18 c remove useless variable ce[3][5][5] 0.10/0.18 c remove useless variable ce[3][6][0] 0.10/0.18 c remove useless variable ce[3][6][1] 0.10/0.18 c remove useless variable ce[3][6][2] 0.10/0.18 c remove useless variable ce[3][6][3] 0.10/0.18 c remove useless variable ce[3][6][4] 0.10/0.18 c remove useless variable ce[3][6][5] 0.10/0.18 c remove useless variable ce[3][6][6] 0.10/0.18 c remove useless variable ce[3][7][0] 0.10/0.18 c remove useless variable ce[3][7][1] 0.10/0.18 c remove useless variable ce[3][7][2] 0.10/0.18 c remove useless variable ce[3][7][3] 0.10/0.18 c remove useless variable ce[3][7][4] 0.10/0.18 c remove useless variable ce[3][7][5] 0.10/0.18 c remove useless variable ce[3][7][6] 0.10/0.18 c remove useless variable ce[3][7][7] 0.10/0.18 c remove useless variable ce[3][8][0] 0.10/0.18 c remove useless variable ce[3][8][1] 0.10/0.18 c remove useless variable ce[3][8][2] 0.10/0.18 c remove useless variable ce[3][8][3] 0.10/0.18 c remove useless variable ce[3][8][4] 0.10/0.18 c remove useless variable ce[3][8][5] 0.10/0.18 c remove useless variable ce[3][8][6] 0.10/0.18 c remove useless variable ce[3][8][7] 0.10/0.18 c remove useless variable ce[3][8][8] 0.10/0.18 c remove useless variable ce[3][9][0] 0.10/0.18 c remove useless variable ce[3][9][1] 0.10/0.18 c remove useless variable ce[3][9][2] 0.10/0.18 c remove useless variable ce[3][9][3] 0.10/0.18 c remove useless variable ce[3][9][4] 0.10/0.18 c remove useless variable ce[3][9][5] 0.10/0.18 c remove useless variable ce[3][9][6] 0.10/0.18 c remove useless variable ce[3][9][7] 0.10/0.18 c remove useless variable ce[3][9][8] 0.10/0.18 c remove useless variable ce[3][9][9] 0.10/0.18 c remove useless variable ce[3][10][0] 0.10/0.18 c remove useless variable ce[3][10][1] 0.10/0.18 c remove useless variable ce[3][10][2] 0.10/0.18 c remove useless variable ce[3][10][3] 0.10/0.18 c remove useless variable ce[3][10][4] 0.10/0.18 c remove useless variable ce[3][10][5] 0.10/0.18 c remove useless variable ce[3][10][6] 0.10/0.18 c remove useless variable ce[3][10][7] 0.10/0.18 c remove useless variable ce[3][10][8] 0.10/0.18 c remove useless variable ce[3][10][9] 0.10/0.18 c remove useless variable ce[3][10][10] 0.10/0.18 c remove useless variable ce[3][11][0] 0.10/0.18 c remove useless variable ce[3][11][1] 0.10/0.18 c remove useless variable ce[3][11][2] 0.10/0.18 c remove useless variable ce[3][11][3] 0.10/0.18 c remove useless variable ce[3][11][4] 0.10/0.18 c remove useless variable ce[3][11][5] 0.10/0.18 c remove useless variable ce[3][11][6] 0.10/0.18 c remove useless variable ce[3][11][7] 0.10/0.18 c remove useless variable ce[3][11][8] 0.10/0.18 c remove useless variable ce[3][11][9] 0.10/0.18 c remove useless variable ce[3][11][10] 0.10/0.18 c remove useless variable ce[3][11][11] 0.10/0.18 c remove useless variable ce[3][12][0] 0.10/0.18 c remove useless variable ce[3][12][1] 0.10/0.18 c remove useless variable ce[3][12][2] 0.10/0.18 c remove useless variable ce[3][12][3] 0.10/0.18 c remove useless variable ce[3][12][4] 0.10/0.18 c remove useless variable ce[3][12][5] 0.10/0.18 c remove useless variable ce[3][12][6] 0.10/0.18 c remove useless variable ce[3][12][7] 0.10/0.18 c remove useless variable ce[3][12][8] 0.10/0.18 c remove useless variable ce[3][12][9] 0.10/0.18 c remove useless variable ce[3][12][10] 0.10/0.18 c remove useless variable ce[3][12][11] 0.10/0.18 c remove useless variable ce[3][12][12] 0.10/0.18 c remove useless variable ce[3][13][0] 0.10/0.18 c remove useless variable ce[3][13][1] 0.10/0.18 c remove useless variable ce[3][13][2] 0.10/0.18 c remove useless variable ce[3][13][3] 0.10/0.18 c remove useless variable ce[3][13][4] 0.10/0.18 c remove useless variable ce[3][13][5] 0.10/0.18 c remove useless variable ce[3][13][6] 0.10/0.18 c remove useless variable ce[3][13][7] 0.10/0.18 c remove useless variable ce[3][13][8] 0.10/0.18 c remove useless variable ce[3][13][9] 0.10/0.18 c remove useless variable ce[3][13][10] 0.10/0.18 c remove useless variable ce[3][13][11] 0.10/0.18 c remove useless variable ce[3][13][12] 0.10/0.18 c remove useless variable ce[3][13][13] 0.10/0.18 c remove useless variable ce[4][0][0] 0.10/0.18 c remove useless variable ce[4][1][0] 0.10/0.18 c remove useless variable ce[4][1][1] 0.10/0.18 c remove useless variable ce[4][2][0] 0.10/0.18 c remove useless variable ce[4][2][1] 0.10/0.18 c remove useless variable ce[4][2][2] 0.10/0.18 c remove useless variable ce[4][3][0] 0.10/0.18 c remove useless variable ce[4][3][1] 0.10/0.18 c remove useless variable ce[4][3][2] 0.10/0.18 c remove useless variable ce[4][3][3] 0.10/0.18 c remove useless variable ce[4][4][0] 0.10/0.18 c remove useless variable ce[4][4][1] 0.10/0.18 c remove useless variable ce[4][4][2] 0.10/0.18 c remove useless variable ce[4][4][3] 0.10/0.18 c remove useless variable ce[4][4][4] 0.10/0.18 c remove useless variable ce[4][5][0] 0.10/0.18 c remove useless variable ce[4][5][1] 0.10/0.18 c remove useless variable ce[4][5][2] 0.10/0.18 c remove useless variable ce[4][5][3] 0.10/0.18 c remove useless variable ce[4][5][4] 0.10/0.18 c remove useless variable ce[4][5][5] 0.10/0.18 c remove useless variable ce[4][6][0] 0.10/0.18 c remove useless variable ce[4][6][1] 0.10/0.18 c remove useless variable ce[4][6][2] 0.10/0.18 c remove useless variable ce[4][6][3] 0.10/0.18 c remove useless variable ce[4][6][4] 0.10/0.18 c remove useless variable ce[4][6][5] 0.10/0.18 c remove useless variable ce[4][6][6] 0.10/0.18 c remove useless variable ce[4][7][0] 0.10/0.18 c remove useless variable ce[4][7][1] 0.10/0.18 c remove useless variable ce[4][7][2] 0.10/0.18 c remove useless variable ce[4][7][3] 0.10/0.18 c remove useless variable ce[4][7][4] 0.10/0.18 c remove useless variable ce[4][7][5] 0.10/0.18 c remove useless variable ce[4][7][6] 0.10/0.18 c remove useless variable ce[4][7][7] 0.10/0.18 c remove useless variable ce[4][8][0] 0.10/0.18 c remove useless variable ce[4][8][1] 0.10/0.18 c remove useless variable ce[4][8][2] 0.10/0.18 c remove useless variable ce[4][8][3] 0.10/0.18 c remove useless variable ce[4][8][4] 0.10/0.18 c remove useless variable ce[4][8][5] 0.10/0.18 c remove useless variable ce[4][8][6] 0.10/0.18 c remove useless variable ce[4][8][7] 0.10/0.18 c remove useless variable ce[4][8][8] 0.10/0.18 c remove useless variable ce[4][9][0] 0.10/0.18 c remove useless variable ce[4][9][1] 0.10/0.18 c remove useless variable ce[4][9][2] 0.10/0.18 c remove useless variable ce[4][9][3] 0.10/0.18 c remove useless variable ce[4][9][4] 0.10/0.18 c remove useless variable ce[4][9][5] 0.10/0.18 c remove useless variable ce[4][9][6] 0.10/0.18 c remove useless variable ce[4][9][7] 0.10/0.18 c remove useless variable ce[4][9][8] 0.10/0.18 c remove useless variable ce[4][9][9] 0.10/0.18 c remove useless variable ce[4][10][0] 0.10/0.18 c remove useless variable ce[4][10][1] 0.10/0.18 c remove useless variable ce[4][10][2] 0.10/0.18 c remove useless variable ce[4][10][3] 0.10/0.18 c remove useless variable ce[4][10][4] 0.10/0.18 c remove useless variable ce[4][10][5] 0.10/0.18 c remove useless variable ce[4][10][6] 0.10/0.18 c remove useless variable ce[4][10][7] 0.10/0.18 c remove useless variable ce[4][10][8] 0.10/0.18 c remove useless variable ce[4][10][9] 0.10/0.18 c remove useless variable ce[4][10][10] 0.10/0.18 c remove useless variable ce[4][11][0] 0.10/0.18 c remove useless variable ce[4][11][1] 0.10/0.18 c remove useless variable ce[4][11][2] 0.10/0.18 c remove useless variable ce[4][11][3] 0.10/0.18 c remove useless variable ce[4][11][4] 0.10/0.18 c remove useless variable ce[4][11][5] 0.10/0.18 c remove useless variable ce[4][11][6] 0.10/0.18 c remove useless variable ce[4][11][7] 0.10/0.18 c remove useless variable ce[4][11][8] 0.10/0.18 c remove useless variable ce[4][11][9] 0.10/0.18 c remove useless variable ce[4][11][10] 0.10/0.18 c remove useless variable ce[4][11][11] 0.10/0.18 c remove useless variable ce[4][12][0] 0.10/0.18 c remove useless variable ce[4][12][1] 0.10/0.18 c remove useless variable ce[4][12][2] 0.10/0.18 c remove useless variable ce[4][12][3] 0.10/0.18 c remove useless variable ce[4][12][4] 0.10/0.18 c remove useless variable ce[4][12][5] 0.10/0.18 c remove useless variable ce[4][12][6] 0.10/0.18 c remove useless variable ce[4][12][7] 0.10/0.18 c remove useless variable ce[4][12][8] 0.10/0.18 c remove useless variable ce[4][12][9] 0.10/0.18 c remove useless variable ce[4][12][10] 0.10/0.18 c remove useless variable ce[4][12][11] 0.10/0.18 c remove useless variable ce[4][12][12] 0.10/0.18 c remove useless variable ce[4][13][0] 0.10/0.18 c remove useless variable ce[4][13][1] 0.10/0.18 c remove useless variable ce[4][13][2] 0.10/0.18 c remove useless variable ce[4][13][3] 0.10/0.18 c remove useless variable ce[4][13][4] 0.10/0.18 c remove useless variable ce[4][13][5] 0.10/0.18 c remove useless variable ce[4][13][6] 0.10/0.18 c remove useless variable ce[4][13][7] 0.10/0.18 c remove useless variable ce[4][13][8] 0.10/0.18 c remove useless variable ce[4][13][9] 0.10/0.18 c remove useless variable ce[4][13][10] 0.10/0.18 c remove useless variable ce[4][13][11] 0.10/0.18 c remove useless variable ce[4][13][12] 0.10/0.18 c remove useless variable ce[4][13][13] 0.60/0.63 c 101 612 133471 139044 0 0 512 512 506 1.59/1.65 c 211 1094 256765 1044342 0 0 373 373 369 1.69/1.70 c 332 1220 260790 1046817 0 0 6 6 5 2.69/2.74 c 465 1629 365489 1922576 0 0 8 277 272 2.69/2.79 c 611 1778 369375 1924105 0 0 4 4 3 3.29/3.35 c 771 2117 438037 2249516 0 0 8 180 157 3.89/3.97 c 947 2486 504525 2585849 0 0 12 194 172 4.59/4.68 c 1140 2886 573563 3004281 0 0 9 208 167 5.49/5.54 c 1352 3319 642285 3557944 0 0 9 222 156 6.49/6.50 c 1585 3787 711474 4220864 0 0 12 236 146 7.00/7.08 c 1841 4292 780705 4582454 0 0 12 250 155 7.10/7.18 c 2122 4576 786751 4584388 0 0 4 4 3 7.79/7.81 c 2431 5190 862741 4973722 0 0 15 305 233 7.89/7.92 c 2770 5533 869730 4976409 0 0 5 5 4 8.79/8.83 c 3142 6285 955707 5610822 0 0 15 380 198 9.89/9.99 c 3551 7076 1038072 6511271 0 0 7 382 195 10.88/10.93 c 4000 7909 1119896 7207793 0 0 14 384 202 11.99/12.04 c 4493 8788 1198212 8102958 0 0 7 385 239 13.68/13.76 c 5035 9626 1254622 9632069 0 0 21 297 146 18.09/18.14 c 5631 10289 1275486 12582892 0 0 18 60 58 19.48/19.57 c 6286 11282 1333624 13651324 0 0 8 337 282 24.09/24.17 c 7006 12055 1361635 17498994 0 0 8 53 51 26.88/26.99 c 7798 12930 1384960 19206635 0 0 3 73 27 28.48/28.57 c 8669 14155 1443681 20347860 0 0 10 351 322 33.28/33.34 c 9627 15196 1466469 23057845 0 0 29 75 69 35.78/35.87 c 10680 16617 1523903 24948049 0 0 10 365 287 41.58/41.61 c 11838 17985 1550785 29602689 0 0 14 196 167 49.99/50.10 c 13111 19668 1603373 33948135 0 0 19 169 101 65.99/66.03 c 14511 21635 1702210 42601782 0 0 15 84 58 69.38/69.43 c 16051 23579 1764129 45101825 0 0 16 396 347 76.38/76.42 c 17745 25456 1832047 50899994 0 0 7 84 59 81.17/81.25 c 19608 27572 1866166 54710257 0 0 9 249 231 82.08/82.18 c 21657 30143 1963649 54878866 0 0 150 512 511 91.98/92.02 c 23910 32637 2009325 63413978 0 0 9 190 176 106.17/106.21 c 26388 35357 2061759 76584462 0 0 10 164 161 107.27/107.38 c 29113 38607 2168248 76769922 0 0 64 512 510 124.66/124.77 c 32110 41727 2238248 93749173 0 0 9 116 115 139.16/139.24 c 35406 45102 2381726 106075184 0 0 11 73 72 162.07/162.19 c 39031 48920 2469372 124212487 0 0 12 106 102 163.76/163.80 c 43018 53441 2599648 124448987 0 0 35 512 510 271.85/271.99 c 47403 57870 2976849 191499292 0 0 13 36 35 292.64/292.73 c 52226 62919 3104573 205084862 0 0 25 216 199 294.65/294.76 c 57531 68764 3250977 205353842 0 0 136 512 511 427.95/428.01 c 63366 75469 3702308 274266827 0 0 15 59 35 465.33/465.41 c 69784 82018 3865219 297757519 0 0 17 104 102 554.12/554.26 c 76843 89273 4303771 356251466 0 0 18 62 61 830.09/830.23 c 84607 97077 5079117 450134761 0 0 20 25 24 833.00/833.12 c 93147 105647 5219550 450274250 0 0 14 14 13 1067.06/1067.29 c 102541 115084 6023428 540510489 0 0 20 25 24 1104.06/1104.25 c 112874 125887 6175124 570529441 0 0 25 223 200 1191.05/1191.24 c 124240 137304 6669084 658620816 0 0 23 28 27 1195.65/1195.81 c 136742 150396 6927707 659125991 0 0 38 512 511 1291.94/1292.16 c 150494 164203 7445010 756459360 0 0 23 28 27 1297.43/1297.65 c 165621 179934 7745501 757045484 0 0 37 512 511 1418.83/1419.04 c 182260 196635 8433960 881148724 0 0 23 28 27 1578.00/1578.23 c 200562 215328 8908649 935400982 0 0 23 44 30 2099.54/2099.81 c 220694 235552 10628181 1116328865 0 0 22 49 48 2400.00/2400.30 2400.00/2400.30 c *** INTERRUPTED *** 2400.00/2400.30 c restarts : 57 2400.00/2400.30 c conflicts : 240142 (100 /sec) 2400.00/2400.30 c decisions : 255065 (106 /sec) 2400.00/2400.30 c propagations : 1229609589 (512342 /sec) 2400.00/2400.30 c root propagations : 0 2400.00/2400.30 c filter calls : 11502785 (4793 /sec) 2400.00/2400.30 c useless filter calls : 8439196 (73 %) 2400.00/2400.30 c Memory used : 61.07 MB 2400.00/2400.30 c CPU time : 2399.98 s 2400.00/2400.30 c real time : 2400.3 s 2400.00/2400.30 2400.00/2400.30 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (12855 MiB free) memory of node 1: 16384 MiB (13282 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390128-1568328364/watcher-4390128-1568328364 -o /tmp/evaluation-result-4390128-1568328364/solver-4390128-1568328364 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390128-1568328364.xml running on 4 cores: 0,2,4,6 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=22814, runsolver pid=22811 [startup+0.100213 s]* /proc/loadavg: 2.29 2.12 2.08 3/199 22815 /proc/meminfo: memFree=26749384/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=44276 memory=20616 CPUtime=0.1 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 5347 0 0 0 10 0 0 0 20 0 1 0 409083732 45338624 5154 33554432000 4194304 6210612 140722667206752 140722667203288 140093008321509 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 11069 5154 822 493 0 4374 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 44276 KiB Current children cumulated memory: 20616 KiB [startup+0.209768 s]* /proc/loadavg: 2.29 2.12 2.08 3/199 22815 /proc/meminfo: memFree=26738284/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=53664 memory=30120 CPUtime=0.21 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 7708 0 0 0 20 1 0 0 20 0 1 0 409083732 54951936 7530 33554432000 4194304 6210612 140722667206752 140722667203288 5393319 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 13416 7530 862 493 0 6721 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 53664 KiB Current children cumulated memory: 30120 KiB [startup+0.30965 s]* /proc/loadavg: 2.29 2.12 2.08 3/199 22815 /proc/meminfo: memFree=26737912/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=53988 memory=30528 CPUtime=0.31 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 7829 0 0 0 30 1 0 0 20 0 1 0 409083732 55283712 7632 33554432000 4194304 6210612 140722667206752 140722667203288 5397066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 13497 7632 862 493 0 6802 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 53988 KiB Current children cumulated memory: 30528 KiB [startup+0.700342 s] /proc/loadavg: 2.29 2.12 2.08 3/199 22815 /proc/meminfo: memFree=26737020/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=55936 memory=31996 CPUtime=0.69 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 8188 0 0 0 68 1 0 0 20 0 1 0 409083732 57278464 7999 33554432000 4194304 6210612 140722667206752 140722667204632 5081597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 13984 7999 863 493 0 7289 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 55936 KiB Current children cumulated memory: 31996 KiB [startup+1.50034 s] /proc/loadavg: 2.27 2.12 2.08 3/200 22817 /proc/meminfo: memFree=26735548/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=55936 memory=31996 CPUtime=1.49 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 8188 0 0 0 148 1 0 0 20 0 1 0 409083732 57278464 7999 33554432000 4194304 6210612 140722667206752 140722667204712 5164306 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 13984 7999 863 493 0 7289 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 55936 KiB Current children cumulated memory: 31996 KiB [startup+3.10934 s] /proc/loadavg: 2.27 2.12 2.08 3/200 22817 /proc/meminfo: memFree=26735128/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=55936 memory=32088 CPUtime=3.1 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 11284 0 0 0 309 1 0 0 20 0 1 0 409083732 57278464 8022 33554432000 4194304 6210612 140722667206752 140722667204712 5451372 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 13984 8022 864 493 0 7289 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 55936 KiB Current children cumulated memory: 32088 KiB [startup+6.30033 s] /proc/loadavg: 2.24 2.12 2.08 3/199 22817 /proc/meminfo: memFree=26734716/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=56200 memory=32388 CPUtime=6.29 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 14653 0 0 0 628 1 0 0 20 0 1 0 409083732 57548800 8097 33554432000 4194304 6210612 140722667206752 140722667204408 5440472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 14050 8097 864 493 0 7355 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 56200 KiB Current children cumulated memory: 32388 KiB [startup+12.7002 s] /proc/loadavg: 2.22 2.12 2.08 3/199 22817 /proc/meminfo: memFree=26733968/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=56728 memory=32792 CPUtime=12.68 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 18538 0 0 0 1267 1 0 0 20 0 1 0 409083732 58089472 8198 33554432000 4194304 6210612 140722667206752 140722667204408 5451466 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 14182 8198 864 493 0 7487 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 56728 KiB Current children cumulated memory: 32792 KiB [startup+25.5002 s] /proc/loadavg: 2.12 2.10 2.08 3/199 22818 /proc/meminfo: memFree=26733404/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=57652 memory=33740 CPUtime=25.48 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 25939 0 0 0 2547 1 0 0 20 0 1 0 409083732 59035648 8435 33554432000 4194304 6210612 140722667206752 140722667204408 5164368 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 14413 8435 864 493 0 7718 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 57652 KiB Current children cumulated memory: 33740 KiB [startup+51.1094 s] /proc/loadavg: 2.01 2.07 2.07 3/200 22820 /proc/meminfo: memFree=26731228/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=59104 memory=35156 CPUtime=51.09 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 31384 0 0 0 5107 2 0 0 20 0 1 0 409083732 60522496 8789 33554432000 4194304 6210612 140722667206752 140722667204712 5446100 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 14776 8789 864 493 0 8081 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 59104 KiB Current children cumulated memory: 35156 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.06 2.06 3/199 22824 /proc/meminfo: memFree=26729016/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=60160 memory=36312 CPUtime=102.27 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 36916 0 0 0 10225 2 0 0 20 0 1 0 409083732 61603840 9078 33554432000 4194304 6210612 140722667206752 140722667204712 5451324 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15040 9078 864 493 0 8345 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 60160 KiB Current children cumulated memory: 36312 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.05 2.06 3/199 22828 /proc/meminfo: memFree=26727648/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=60688 memory=36864 CPUtime=162.26 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 37369 0 0 0 16224 2 0 0 20 0 1 0 409083732 62144512 9216 33554432000 4194304 6210612 140722667206752 140722667204408 5192912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15172 9216 864 493 0 8477 0 Current children cumulated CPU time: 162.26 s Current children cumulated vsize: 60688 KiB Current children cumulated memory: 36864 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 22832 /proc/meminfo: memFree=26727272/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=60820 memory=37020 CPUtime=222.25 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 37851 0 0 0 22223 2 0 0 20 0 1 0 409083732 62279680 9255 33554432000 4194304 6210612 140722667206752 140722667204408 5446462 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15205 9255 864 493 0 8510 0 Current children cumulated CPU time: 222.25 s Current children cumulated vsize: 60820 KiB Current children cumulated memory: 37020 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.05 3/200 22846 /proc/meminfo: memFree=26726244/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=61348 memory=37364 CPUtime=282.24 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 38370 0 0 0 28222 2 0 0 20 0 1 0 409083732 62820352 9341 33554432000 4194304 6210612 140722667206752 140722667204408 5164391 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15337 9341 864 493 0 8642 0 Current children cumulated CPU time: 282.24 s Current children cumulated vsize: 61348 KiB Current children cumulated memory: 37364 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 22850 /proc/meminfo: memFree=26726268/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=61480 memory=37560 CPUtime=342.25 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 38853 0 0 0 34222 3 0 0 20 0 1 0 409083732 62955520 9390 33554432000 4194304 6210612 140722667206752 140722667204408 5164362 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15370 9390 864 493 0 8675 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 61480 KiB Current children cumulated memory: 37560 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 22854 /proc/meminfo: memFree=26726484/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=61480 memory=37620 CPUtime=402.24 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 39202 0 0 0 40221 3 0 0 20 0 1 0 409083732 62955520 9405 33554432000 4194304 6210612 140722667206752 140722667204408 5442901 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15370 9405 864 493 0 8675 0 Current children cumulated CPU time: 402.24 s Current children cumulated vsize: 61480 KiB Current children cumulated memory: 37620 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 22860 /proc/meminfo: memFree=26726416/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=61612 memory=37700 CPUtime=462.23 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 39666 0 0 0 46220 3 0 0 20 0 1 0 409083732 63090688 9425 33554432000 4194304 6210612 140722667206752 140722667204408 5476436 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15403 9425 864 493 0 8708 0 Current children cumulated CPU time: 462.23 s Current children cumulated vsize: 61612 KiB Current children cumulated memory: 37700 KiB ################ # More data... # ################ /proc/22814/statm: 15634 9660 864 493 0 8939 0 Current children cumulated CPU time: 1662.09 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38640 KiB [startup+1722.3 s] /proc/loadavg: 2.23 2.13 2.08 3/200 23001 /proc/meminfo: memFree=26723476/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38644 CPUtime=1722.08 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 47448 0 0 0 172205 3 0 0 20 0 1 0 409083732 64036864 9661 33554432000 4194304 6210612 140722667206752 140722667204408 5446066 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9661 864 493 0 8939 0 Current children cumulated CPU time: 1722.08 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38644 KiB [startup+1782.3 s] /proc/loadavg: 2.08 2.10 2.08 3/199 23005 /proc/meminfo: memFree=26723960/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38648 CPUtime=1782.08 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 47619 0 0 0 178205 3 0 0 20 0 1 0 409083732 64036864 9662 33554432000 4194304 6210612 140722667206752 140722667204408 5442936 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9662 864 493 0 8939 0 Current children cumulated CPU time: 1782.08 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38648 KiB [startup+1842.3 s] /proc/loadavg: 2.03 2.09 2.07 3/199 23009 /proc/meminfo: memFree=26723792/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38648 CPUtime=1842.07 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 47788 0 0 0 184204 3 0 0 20 0 1 0 409083732 64036864 9662 33554432000 4194304 6210612 140722667206752 140722667204408 5446764 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9662 864 493 0 8939 0 Current children cumulated CPU time: 1842.07 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38648 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.07 2.07 3/199 23015 /proc/meminfo: memFree=26723672/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38648 CPUtime=1902.06 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 47959 0 0 0 190203 3 0 0 20 0 1 0 409083732 64036864 9662 33554432000 4194304 6210612 140722667206752 140722667204408 5440537 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9662 864 493 0 8939 0 Current children cumulated CPU time: 1902.06 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38648 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.06 2.06 3/199 23019 /proc/meminfo: memFree=26723960/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38652 CPUtime=1962.05 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 48129 0 0 0 196202 3 0 0 20 0 1 0 409083732 64036864 9663 33554432000 4194304 6210612 140722667206752 140722667204408 5446483 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9663 864 493 0 8939 0 Current children cumulated CPU time: 1962.05 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38652 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.05 2.06 3/199 23023 /proc/meminfo: memFree=26723016/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38652 CPUtime=2022.05 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 48301 0 0 0 202202 3 0 0 20 0 1 0 409083732 64036864 9663 33554432000 4194304 6210612 140722667206752 140722667204408 140093018266452 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9663 864 493 0 8939 0 Current children cumulated CPU time: 2022.05 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38652 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.04 2.05 3/200 23037 /proc/meminfo: memFree=26722160/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38652 CPUtime=2082.04 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 48474 0 0 0 208201 3 0 0 20 0 1 0 409083732 64036864 9663 33554432000 4194304 6210612 140722667206752 140722667204408 5446070 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9663 864 493 0 8939 0 Current children cumulated CPU time: 2082.04 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38652 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 23041 /proc/meminfo: memFree=26723028/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38652 CPUtime=2142.03 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 48758 0 0 0 214200 3 0 0 20 0 1 0 409083732 64036864 9663 33554432000 4194304 6210612 140722667206752 140722667204712 140093009245031 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9663 864 493 0 8939 0 Current children cumulated CPU time: 2142.03 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38652 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 23045 /proc/meminfo: memFree=26723372/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38672 CPUtime=2202.03 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 49026 0 0 0 220200 3 0 0 20 0 1 0 409083732 64036864 9668 33554432000 4194304 6210612 140722667206752 140722667204712 5442882 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9668 864 493 0 8939 0 Current children cumulated CPU time: 2202.03 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38672 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 23051 /proc/meminfo: memFree=26722912/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38672 CPUtime=2262.02 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 49293 0 0 0 226199 3 0 0 20 0 1 0 409083732 64036864 9668 33554432000 4194304 6210612 140722667206752 140722667204712 5009251 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9668 864 493 0 8939 0 Current children cumulated CPU time: 2262.02 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38672 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 23055 /proc/meminfo: memFree=26723308/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38676 CPUtime=2322.01 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 49560 0 0 0 232198 3 0 0 20 0 1 0 409083732 64036864 9669 33554432000 4194304 6210612 140722667206752 140722667204712 5164480 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9669 864 493 0 8939 0 Current children cumulated CPU time: 2322.01 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 23060 /proc/meminfo: memFree=26723924/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38676 CPUtime=2382.01 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 49827 0 0 0 238198 3 0 0 20 0 1 0 409083732 64036864 9669 33554432000 4194304 6210612 140722667206752 140722667204712 5454000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9669 864 493 0 8939 0 Current children cumulated CPU time: 2382.01 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.3 s] /proc/loadavg: 1.93 2.00 2.04 3/199 23123 /proc/meminfo: memFree=26741316/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38676 CPUtime=2400 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 50089 0 0 0 239997 3 0 0 20 0 1 0 409083732 64036864 9669 33554432000 4194304 6210612 140722667206752 140722667204712 5442807 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9669 864 493 0 8939 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.3 s] # the end of solver process 22814 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.98 s, system=0.037995 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.3 s] /proc/loadavg: 1.93 2.00 2.04 3/199 23123 /proc/meminfo: memFree=26741316/32770624 swapFree=66927160/67108860 [pid=22814] ppid=22811 vsize=62536 memory=38676 CPUtime=2400 cores=0,2,4,6 /proc/22814/stat : 22814 (cosoco) R 22811 22814 21907 0 -1 4202496 50089 0 0 0 239997 3 0 0 20 0 1 0 409083732 64036864 9669 33554432000 4194304 6210612 140722667206752 140722667204712 5442807 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 20434944 140722667213835 140722667213937 140722667213937 140722667216846 0 /proc/22814/statm: 15634 9669 864 493 0 8939 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 62536 KiB Current children cumulated memory: 38676 KiB Child status: 1 Real time (s): 2400.3 CPU time (s): 2400.02 CPU user time (s): 2399.98 CPU system time (s): 0.037995 CPU usage (%): 99.9882 Max. virtual memory (cumulated for all children) (KiB): 62536 Max. memory (cumulated for all children) (KiB): 38676 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.98 system time used= 0.037995 maximum resident set size= 38744 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50138 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= 14 involuntary context switches= 3035 # summary of solver processes directly reported to runsolver: # pid: 22814 # total CPU time (s): 2400.02 # total CPU user time (s): 2399.98 # total CPU system time (s): 0.037995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.3038 second user time and 15.2018 second system time The end
Begin job on node137 at 2019-09-13 00:45:22 IDJOB=4390128 IDBENCH=120762 IDSOLVER=2830 FILE ID=node137/4390128-1568328364 RUNJOBID= node137-1568323498-21938 PBS_JOBID= 21701145 Free space on /tmp= 61232 MiB SOLVER NAME= cosoco 2 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-4390128-1568328364/watcher-4390128-1568328364 -o /tmp/evaluation-result-4390128-1568328364/solver-4390128-1568328364 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21938 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390128-1568328364.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 59020dc5d68df7ba2fdec80297510e85 RANDOM SEED=758515048 node137.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 : 5334.00 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 : 5334.00 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 : 5334.00 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 : 5334.00 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: 26765284 kB MemAvailable: 31791068 kB Buffers: 134156 kB Cached: 5156416 kB SwapCached: 77556 kB Active: 1377028 kB Inactive: 4010884 kB Active(anon): 20896 kB Inactive(anon): 117532 kB Active(file): 1356132 kB Inactive(file): 3893352 kB Unevictable: 108716 kB Mlocked: 108716 kB SwapTotal: 67108860 kB SwapFree: 66927160 kB Dirty: 2956 kB Writeback: 0 kB AnonPages: 129276 kB Mapped: 44940 kB Shmem: 32692 kB Slab: 213680 kB SReclaimable: 184272 kB SUnreclaim: 29408 kB KernelStack: 3536 kB PageTables: 5688 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 543672 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61232 MiB End job on node137 at 2019-09-13 01:25:22