Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.06 | 2400.11 |
Name | GracefulGraph/GracefulGraph-m1-s1/ GracefulGraph-K13-P04.xml |
MD5SUM | d0b71dfa4b5b9c5fdcf93c837b98c609 |
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 | 767 |
Number of constraints | 353 |
Number of domains | 2 |
Minimum domain size | 351 |
Maximum domain size | 352 |
Distribution of domain sizes | [{"size":351,"count":351},{"size":352,"count":52}] |
Minimum variable degree | 0 |
Maximum variable degree | 15 |
Distribution of variable degrees | [{"degree":0,"count":364},{"degree":2,"count":351},{"degree":14,"count":26},{"degree":15,"count":26}] |
Minimum constraint arity | 3 |
Maximum constraint arity | 351 |
Distribution of constraint arities | [{"arity":3,"count":351},{"arity":52,"count":1},{"arity":351,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 351 |
Distribution of constraint types | [{"type":"intension","count":351},{"type":"allDifferent","count":2}] |
Optimization problem | NO |
Type of objective |
0.09/0.12 c root propagations : 0 0.09/0.12 c restarts enabled, print stats at every restarts 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c This is cosoco 2.00 -- 0.09/0.12 c 0.09/0.12 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408701-1569787754.xml 0.09/0.12 c ========================================[ Problem Statistics ]=========================================== 0.09/0.12 c | 0.09/0.12 c | Parse time : 0.11 s 0.09/0.12 c | 0.09/0.12 c | Variables: 767 0.09/0.12 c | Domain Sizes: 351..352 0.09/0.12 c | 0.09/0.12 c | Constraints: 353 0.09/0.12 c | Arity: 3..351 -- Ternary: 351 0.09/0.12 c | 0.09/0.12 c | Types: 0.09/0.12 c | All Different: 2 0.09/0.12 c | Intension: 351 0.09/0.12 c | 0.09/0.12 c ========================================================================================================= 0.09/0.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.09/0.12 c remove useless variable ce[0][0][0] 0.09/0.12 c remove useless variable ce[0][1][0] 0.09/0.12 c remove useless variable ce[0][1][1] 0.09/0.12 c remove useless variable ce[0][2][0] 0.09/0.12 c remove useless variable ce[0][2][1] 0.09/0.12 c remove useless variable ce[0][2][2] 0.09/0.12 c remove useless variable ce[0][3][0] 0.09/0.12 c remove useless variable ce[0][3][1] 0.09/0.12 c remove useless variable ce[0][3][2] 0.09/0.12 c remove useless variable ce[0][3][3] 0.09/0.12 c remove useless variable ce[0][4][0] 0.09/0.12 c remove useless variable ce[0][4][1] 0.09/0.12 c remove useless variable ce[0][4][2] 0.09/0.12 c remove useless variable ce[0][4][3] 0.09/0.12 c remove useless variable ce[0][4][4] 0.09/0.12 c remove useless variable ce[0][5][0] 0.09/0.12 c remove useless variable ce[0][5][1] 0.09/0.12 c remove useless variable ce[0][5][2] 0.09/0.12 c remove useless variable ce[0][5][3] 0.09/0.12 c remove useless variable ce[0][5][4] 0.09/0.12 c remove useless variable ce[0][5][5] 0.09/0.12 c remove useless variable ce[0][6][0] 0.09/0.12 c remove useless variable ce[0][6][1] 0.09/0.12 c remove useless variable ce[0][6][2] 0.09/0.12 c remove useless variable ce[0][6][3] 0.09/0.12 c remove useless variable ce[0][6][4] 0.09/0.12 c remove useless variable ce[0][6][5] 0.09/0.12 c remove useless variable ce[0][6][6] 0.09/0.12 c remove useless variable ce[0][7][0] 0.09/0.12 c remove useless variable ce[0][7][1] 0.09/0.12 c remove useless variable ce[0][7][2] 0.09/0.12 c remove useless variable ce[0][7][3] 0.09/0.12 c remove useless variable ce[0][7][4] 0.09/0.12 c remove useless variable ce[0][7][5] 0.09/0.12 c remove useless variable ce[0][7][6] 0.09/0.12 c remove useless variable ce[0][7][7] 0.09/0.12 c remove useless variable ce[0][8][0] 0.09/0.12 c remove useless variable ce[0][8][1] 0.09/0.12 c remove useless variable ce[0][8][2] 0.09/0.12 c remove useless variable ce[0][8][3] 0.09/0.12 c remove useless variable ce[0][8][4] 0.09/0.12 c remove useless variable ce[0][8][5] 0.09/0.12 c remove useless variable ce[0][8][6] 0.09/0.12 c remove useless variable ce[0][8][7] 0.09/0.12 c remove useless variable ce[0][8][8] 0.09/0.12 c remove useless variable ce[0][9][0] 0.09/0.12 c remove useless variable ce[0][9][1] 0.09/0.12 c remove useless variable ce[0][9][2] 0.09/0.12 c remove useless variable ce[0][9][3] 0.09/0.12 c remove useless variable ce[0][9][4] 0.09/0.12 c remove useless variable ce[0][9][5] 0.09/0.12 c remove useless variable ce[0][9][6] 0.09/0.12 c remove useless variable ce[0][9][7] 0.09/0.12 c remove useless variable ce[0][9][8] 0.09/0.12 c remove useless variable ce[0][9][9] 0.09/0.12 c remove useless variable ce[0][10][0] 0.09/0.12 c remove useless variable ce[0][10][1] 0.09/0.12 c remove useless variable ce[0][10][2] 0.09/0.12 c remove useless variable ce[0][10][3] 0.09/0.12 c remove useless variable ce[0][10][4] 0.09/0.12 c remove useless variable ce[0][10][5] 0.09/0.12 c remove useless variable ce[0][10][6] 0.09/0.12 c remove useless variable ce[0][10][7] 0.09/0.12 c remove useless variable ce[0][10][8] 0.09/0.12 c remove useless variable ce[0][10][9] 0.09/0.12 c remove useless variable ce[0][10][10] 0.09/0.12 c remove useless variable ce[0][11][0] 0.09/0.12 c remove useless variable ce[0][11][1] 0.09/0.12 c remove useless variable ce[0][11][2] 0.09/0.12 c remove useless variable ce[0][11][3] 0.09/0.12 c remove useless variable ce[0][11][4] 0.09/0.12 c remove useless variable ce[0][11][5] 0.09/0.12 c remove useless variable ce[0][11][6] 0.09/0.12 c remove useless variable ce[0][11][7] 0.09/0.12 c remove useless variable ce[0][11][8] 0.09/0.12 c remove useless variable ce[0][11][9] 0.09/0.12 c remove useless variable ce[0][11][10] 0.09/0.12 c remove useless variable ce[0][11][11] 0.09/0.12 c remove useless variable ce[0][12][0] 0.09/0.12 c remove useless variable ce[0][12][1] 0.09/0.12 c remove useless variable ce[0][12][2] 0.09/0.12 c remove useless variable ce[0][12][3] 0.09/0.12 c remove useless variable ce[0][12][4] 0.09/0.12 c remove useless variable ce[0][12][5] 0.09/0.12 c remove useless variable ce[0][12][6] 0.09/0.12 c remove useless variable ce[0][12][7] 0.09/0.12 c remove useless variable ce[0][12][8] 0.09/0.12 c remove useless variable ce[0][12][9] 0.09/0.12 c remove useless variable ce[0][12][10] 0.09/0.12 c remove useless variable ce[0][12][11] 0.09/0.12 c remove useless variable ce[0][12][12] 0.09/0.12 c remove useless variable ce[1][0][0] 0.09/0.12 c remove useless variable ce[1][1][0] 0.09/0.12 c remove useless variable ce[1][1][1] 0.09/0.12 c remove useless variable ce[1][2][0] 0.09/0.12 c remove useless variable ce[1][2][1] 0.09/0.12 c remove useless variable ce[1][2][2] 0.09/0.12 c remove useless variable ce[1][3][0] 0.09/0.12 c remove useless variable ce[1][3][1] 0.09/0.12 c remove useless variable ce[1][3][2] 0.09/0.12 c remove useless variable ce[1][3][3] 0.09/0.12 c remove useless variable ce[1][4][0] 0.09/0.12 c remove useless variable ce[1][4][1] 0.09/0.12 c remove useless variable ce[1][4][2] 0.09/0.12 c remove useless variable ce[1][4][3] 0.09/0.12 c remove useless variable ce[1][4][4] 0.09/0.12 c remove useless variable ce[1][5][0] 0.09/0.12 c remove useless variable ce[1][5][1] 0.09/0.12 c remove useless variable ce[1][5][2] 0.09/0.12 c remove useless variable ce[1][5][3] 0.09/0.12 c remove useless variable ce[1][5][4] 0.09/0.12 c remove useless variable ce[1][5][5] 0.09/0.12 c remove useless variable ce[1][6][0] 0.09/0.12 c remove useless variable ce[1][6][1] 0.09/0.12 c remove useless variable ce[1][6][2] 0.09/0.12 c remove useless variable ce[1][6][3] 0.09/0.12 c remove useless variable ce[1][6][4] 0.09/0.12 c remove useless variable ce[1][6][5] 0.09/0.12 c remove useless variable ce[1][6][6] 0.09/0.12 c remove useless variable ce[1][7][0] 0.09/0.12 c remove useless variable ce[1][7][1] 0.09/0.12 c remove useless variable ce[1][7][2] 0.09/0.12 c remove useless variable ce[1][7][3] 0.09/0.12 c remove useless variable ce[1][7][4] 0.09/0.12 c remove useless variable ce[1][7][5] 0.09/0.12 c remove useless variable ce[1][7][6] 0.09/0.12 c remove useless variable ce[1][7][7] 0.09/0.12 c remove useless variable ce[1][8][0] 0.09/0.12 c remove useless variable ce[1][8][1] 0.09/0.12 c remove useless variable ce[1][8][2] 0.09/0.12 c remove useless variable ce[1][8][3] 0.09/0.12 c remove useless variable ce[1][8][4] 0.09/0.12 c remove useless variable ce[1][8][5] 0.09/0.12 c remove useless variable ce[1][8][6] 0.09/0.12 c remove useless variable ce[1][8][7] 0.09/0.12 c remove useless variable ce[1][8][8] 0.09/0.12 c remove useless variable ce[1][9][0] 0.09/0.12 c remove useless variable ce[1][9][1] 0.09/0.12 c remove useless variable ce[1][9][2] 0.09/0.12 c remove useless variable ce[1][9][3] 0.09/0.12 c remove useless variable ce[1][9][4] 0.09/0.12 c remove useless variable ce[1][9][5] 0.09/0.12 c remove useless variable ce[1][9][6] 0.09/0.12 c remove useless variable ce[1][9][7] 0.09/0.12 c remove useless variable ce[1][9][8] 0.09/0.12 c remove useless variable ce[1][9][9] 0.09/0.12 c remove useless variable ce[1][10][0] 0.09/0.12 c remove useless variable ce[1][10][1] 0.09/0.12 c remove useless variable ce[1][10][2] 0.09/0.12 c remove useless variable ce[1][10][3] 0.09/0.12 c remove useless variable ce[1][10][4] 0.09/0.12 c remove useless variable ce[1][10][5] 0.09/0.12 c remove useless variable ce[1][10][6] 0.09/0.12 c remove useless variable ce[1][10][7] 0.09/0.12 c remove useless variable ce[1][10][8] 0.09/0.12 c remove useless variable ce[1][10][9] 0.09/0.12 c remove useless variable ce[1][10][10] 0.09/0.12 c remove useless variable ce[1][11][0] 0.09/0.12 c remove useless variable ce[1][11][1] 0.09/0.12 c remove useless variable ce[1][11][2] 0.09/0.12 c remove useless variable ce[1][11][3] 0.09/0.12 c remove useless variable ce[1][11][4] 0.09/0.12 c remove useless variable ce[1][11][5] 0.09/0.12 c remove useless variable ce[1][11][6] 0.09/0.12 c remove useless variable ce[1][11][7] 0.09/0.12 c remove useless variable ce[1][11][8] 0.09/0.12 c remove useless variable ce[1][11][9] 0.09/0.12 c remove useless variable ce[1][11][10] 0.09/0.12 c remove useless variable ce[1][11][11] 0.09/0.12 c remove useless variable ce[1][12][0] 0.09/0.12 c remove useless variable ce[1][12][1] 0.09/0.12 c remove useless variable ce[1][12][2] 0.09/0.12 c remove useless variable ce[1][12][3] 0.09/0.12 c remove useless variable ce[1][12][4] 0.09/0.12 c remove useless variable ce[1][12][5] 0.09/0.12 c remove useless variable ce[1][12][6] 0.09/0.12 c remove useless variable ce[1][12][7] 0.09/0.12 c remove useless variable ce[1][12][8] 0.09/0.12 c remove useless variable ce[1][12][9] 0.09/0.12 c remove useless variable ce[1][12][10] 0.09/0.12 c remove useless variable ce[1][12][11] 0.09/0.12 c remove useless variable ce[1][12][12] 0.09/0.12 c remove useless variable ce[2][0][0] 0.09/0.12 c remove useless variable ce[2][1][0] 0.09/0.12 c remove useless variable ce[2][1][1] 0.09/0.12 c remove useless variable ce[2][2][0] 0.09/0.12 c remove useless variable ce[2][2][1] 0.09/0.12 c remove useless variable ce[2][2][2] 0.09/0.12 c remove useless variable ce[2][3][0] 0.09/0.12 c remove useless variable ce[2][3][1] 0.09/0.12 c remove useless variable ce[2][3][2] 0.09/0.12 c remove useless variable ce[2][3][3] 0.09/0.12 c remove useless variable ce[2][4][0] 0.09/0.12 c remove useless variable ce[2][4][1] 0.09/0.12 c remove useless variable ce[2][4][2] 0.09/0.12 c remove useless variable ce[2][4][3] 0.09/0.12 c remove useless variable ce[2][4][4] 0.09/0.12 c remove useless variable ce[2][5][0] 0.09/0.12 c remove useless variable ce[2][5][1] 0.09/0.12 c remove useless variable ce[2][5][2] 0.09/0.12 c remove useless variable ce[2][5][3] 0.09/0.12 c remove useless variable ce[2][5][4] 0.09/0.12 c remove useless variable ce[2][5][5] 0.09/0.12 c remove useless variable ce[2][6][0] 0.09/0.12 c remove useless variable ce[2][6][1] 0.09/0.12 c remove useless variable ce[2][6][2] 0.09/0.12 c remove useless variable ce[2][6][3] 0.09/0.12 c remove useless variable ce[2][6][4] 0.09/0.12 c remove useless variable ce[2][6][5] 0.09/0.12 c remove useless variable ce[2][6][6] 0.09/0.12 c remove useless variable ce[2][7][0] 0.09/0.12 c remove useless variable ce[2][7][1] 0.09/0.12 c remove useless variable ce[2][7][2] 0.09/0.12 c remove useless variable ce[2][7][3] 0.09/0.12 c remove useless variable ce[2][7][4] 0.09/0.12 c remove useless variable ce[2][7][5] 0.09/0.12 c remove useless variable ce[2][7][6] 0.09/0.12 c remove useless variable ce[2][7][7] 0.09/0.12 c remove useless variable ce[2][8][0] 0.09/0.12 c remove useless variable ce[2][8][1] 0.09/0.12 c remove useless variable ce[2][8][2] 0.09/0.12 c remove useless variable ce[2][8][3] 0.09/0.12 c remove useless variable ce[2][8][4] 0.09/0.12 c remove useless variable ce[2][8][5] 0.09/0.12 c remove useless variable ce[2][8][6] 0.09/0.12 c remove useless variable ce[2][8][7] 0.09/0.12 c remove useless variable ce[2][8][8] 0.09/0.12 c remove useless variable ce[2][9][0] 0.09/0.12 c remove useless variable ce[2][9][1] 0.09/0.12 c remove useless variable ce[2][9][2] 0.09/0.12 c remove useless variable ce[2][9][3] 0.09/0.12 c remove useless variable ce[2][9][4] 0.09/0.12 c remove useless variable ce[2][9][5] 0.09/0.12 c remove useless variable ce[2][9][6] 0.09/0.12 c remove useless variable ce[2][9][7] 0.09/0.12 c remove useless variable ce[2][9][8] 0.09/0.12 c remove useless variable ce[2][9][9] 0.09/0.12 c remove useless variable ce[2][10][0] 0.09/0.12 c remove useless variable ce[2][10][1] 0.09/0.12 c remove useless variable ce[2][10][2] 0.09/0.12 c remove useless variable ce[2][10][3] 0.09/0.12 c remove useless variable ce[2][10][4] 0.09/0.12 c remove useless variable ce[2][10][5] 0.09/0.12 c remove useless variable ce[2][10][6] 0.09/0.12 c remove useless variable ce[2][10][7] 0.09/0.12 c remove useless variable ce[2][10][8] 0.09/0.12 c remove useless variable ce[2][10][9] 0.09/0.12 c remove useless variable ce[2][10][10] 0.09/0.12 c remove useless variable ce[2][11][0] 0.09/0.12 c remove useless variable ce[2][11][1] 0.09/0.12 c remove useless variable ce[2][11][2] 0.09/0.12 c remove useless variable ce[2][11][3] 0.09/0.12 c remove useless variable ce[2][11][4] 0.09/0.12 c remove useless variable ce[2][11][5] 0.09/0.12 c remove useless variable ce[2][11][6] 0.09/0.12 c remove useless variable ce[2][11][7] 0.09/0.12 c remove useless variable ce[2][11][8] 0.09/0.12 c remove useless variable ce[2][11][9] 0.09/0.12 c remove useless variable ce[2][11][10] 0.09/0.12 c remove useless variable ce[2][11][11] 0.09/0.12 c remove useless variable ce[2][12][0] 0.09/0.12 c remove useless variable ce[2][12][1] 0.09/0.12 c remove useless variable ce[2][12][2] 0.09/0.12 c remove useless variable ce[2][12][3] 0.09/0.12 c remove useless variable ce[2][12][4] 0.09/0.12 c remove useless variable ce[2][12][5] 0.09/0.12 c remove useless variable ce[2][12][6] 0.09/0.12 c remove useless variable ce[2][12][7] 0.09/0.12 c remove useless variable ce[2][12][8] 0.09/0.12 c remove useless variable ce[2][12][9] 0.09/0.12 c remove useless variable ce[2][12][10] 0.09/0.12 c remove useless variable ce[2][12][11] 0.09/0.12 c remove useless variable ce[2][12][12] 0.09/0.12 c remove useless variable ce[3][0][0] 0.09/0.12 c remove useless variable ce[3][1][0] 0.09/0.12 c remove useless variable ce[3][1][1] 0.09/0.12 c remove useless variable ce[3][2][0] 0.09/0.12 c remove useless variable ce[3][2][1] 0.09/0.12 c remove useless variable ce[3][2][2] 0.09/0.12 c remove useless variable ce[3][3][0] 0.09/0.12 c remove useless variable ce[3][3][1] 0.09/0.12 c remove useless variable ce[3][3][2] 0.09/0.12 c remove useless variable ce[3][3][3] 0.09/0.12 c remove useless variable ce[3][4][0] 0.09/0.12 c remove useless variable ce[3][4][1] 0.09/0.12 c remove useless variable ce[3][4][2] 0.09/0.12 c remove useless variable ce[3][4][3] 0.09/0.12 c remove useless variable ce[3][4][4] 0.09/0.12 c remove useless variable ce[3][5][0] 0.09/0.12 c remove useless variable ce[3][5][1] 0.09/0.12 c remove useless variable ce[3][5][2] 0.09/0.12 c remove useless variable ce[3][5][3] 0.09/0.12 c remove useless variable ce[3][5][4] 0.09/0.12 c remove useless variable ce[3][5][5] 0.09/0.12 c remove useless variable ce[3][6][0] 0.09/0.12 c remove useless variable ce[3][6][1] 0.09/0.12 c remove useless variable ce[3][6][2] 0.09/0.12 c remove useless variable ce[3][6][3] 0.09/0.12 c remove useless variable ce[3][6][4] 0.09/0.12 c remove useless variable ce[3][6][5] 0.09/0.12 c remove useless variable ce[3][6][6] 0.09/0.12 c remove useless variable ce[3][7][0] 0.09/0.12 c remove useless variable ce[3][7][1] 0.09/0.12 c remove useless variable ce[3][7][2] 0.09/0.12 c remove useless variable ce[3][7][3] 0.09/0.12 c remove useless variable ce[3][7][4] 0.09/0.12 c remove useless variable ce[3][7][5] 0.09/0.12 c remove useless variable ce[3][7][6] 0.09/0.12 c remove useless variable ce[3][7][7] 0.09/0.12 c remove useless variable ce[3][8][0] 0.09/0.12 c remove useless variable ce[3][8][1] 0.09/0.12 c remove useless variable ce[3][8][2] 0.09/0.12 c remove useless variable ce[3][8][3] 0.09/0.12 c remove useless variable ce[3][8][4] 0.09/0.12 c remove useless variable ce[3][8][5] 0.09/0.12 c remove useless variable ce[3][8][6] 0.09/0.12 c remove useless variable ce[3][8][7] 0.09/0.12 c remove useless variable ce[3][8][8] 0.09/0.12 c remove useless variable ce[3][9][0] 0.09/0.12 c remove useless variable ce[3][9][1] 0.09/0.12 c remove useless variable ce[3][9][2] 0.09/0.12 c remove useless variable ce[3][9][3] 0.09/0.12 c remove useless variable ce[3][9][4] 0.09/0.12 c remove useless variable ce[3][9][5] 0.09/0.12 c remove useless variable ce[3][9][6] 0.09/0.12 c remove useless variable ce[3][9][7] 0.09/0.12 c remove useless variable ce[3][9][8] 0.09/0.12 c remove useless variable ce[3][9][9] 0.09/0.12 c remove useless variable ce[3][10][0] 0.09/0.12 c remove useless variable ce[3][10][1] 0.09/0.12 c remove useless variable ce[3][10][2] 0.09/0.12 c remove useless variable ce[3][10][3] 0.09/0.12 c remove useless variable ce[3][10][4] 0.09/0.12 c remove useless variable ce[3][10][5] 0.09/0.12 c remove useless variable ce[3][10][6] 0.09/0.12 c remove useless variable ce[3][10][7] 0.09/0.12 c remove useless variable ce[3][10][8] 0.09/0.12 c remove useless variable ce[3][10][9] 0.09/0.12 c remove useless variable ce[3][10][10] 0.09/0.12 c remove useless variable ce[3][11][0] 0.09/0.12 c remove useless variable ce[3][11][1] 0.09/0.12 c remove useless variable ce[3][11][2] 0.09/0.12 c remove useless variable ce[3][11][3] 0.09/0.12 c remove useless variable ce[3][11][4] 0.09/0.12 c remove useless variable ce[3][11][5] 0.09/0.12 c remove useless variable ce[3][11][6] 0.09/0.12 c remove useless variable ce[3][11][7] 0.09/0.12 c remove useless variable ce[3][11][8] 0.09/0.12 c remove useless variable ce[3][11][9] 0.09/0.12 c remove useless variable ce[3][11][10] 0.09/0.12 c remove useless variable ce[3][11][11] 0.09/0.12 c remove useless variable ce[3][12][0] 0.09/0.12 c remove useless variable ce[3][12][1] 0.09/0.12 c remove useless variable ce[3][12][2] 0.09/0.12 c remove useless variable ce[3][12][3] 0.09/0.12 c remove useless variable ce[3][12][4] 0.09/0.12 c remove useless variable ce[3][12][5] 0.09/0.12 c remove useless variable ce[3][12][6] 0.09/0.12 c remove useless variable ce[3][12][7] 0.09/0.12 c remove useless variable ce[3][12][8] 0.09/0.12 c remove useless variable ce[3][12][9] 0.09/0.12 c remove useless variable ce[3][12][10] 0.09/0.12 c remove useless variable ce[3][12][11] 0.09/0.12 c remove useless variable ce[3][12][12] 0.20/0.28 c 101 452 64009 67137 0 0 352 352 348 0.88/0.91 c 211 809 122669 619453 0 0 247 247 244 0.88/0.95 c 332 934 125569 620970 0 0 5 5 4 1.58/1.64 c 465 1213 167059 1219053 0 0 8 147 143 1.78/1.88 c 611 1428 177676 1380634 0 0 6 70 45 2.09/2.19 c 771 1630 184926 1624356 0 0 5 43 35 2.18/2.23 c 947 1808 188284 1625287 0 0 3 3 2 2.58/2.63 c 1140 2096 201594 1937959 0 0 6 96 51 3.18/3.23 c 1352 2360 210670 2360419 0 0 5 53 34 3.48/3.51 c 1585 2849 246229 2579877 0 0 7 255 211 3.68/3.77 c 1841 3363 279991 2805123 0 0 11 257 187 4.39/4.42 c 2122 3902 313935 3312478 0 0 5 259 88 5.39/5.41 c 2431 4334 324124 4126008 0 0 6 124 83 8.59/8.64 c 2770 4702 343509 5371434 0 0 6 29 28 11.99/12.02 c 3142 5140 359661 7552541 0 0 11 50 49 12.19/12.20 c 3551 5902 402072 7620974 0 0 50 352 345 16.58/16.69 c 4000 6382 430186 9856894 0 0 6 31 30 18.28/18.34 c 4493 7019 442958 11196310 0 0 14 136 121 18.48/18.55 c 5035 7914 484858 11264532 0 0 55 352 348 21.58/21.68 c 5631 8544 509813 13197245 0 0 8 33 32 23.48/23.51 c 6286 9225 539640 15242063 0 0 12 24 23 24.58/24.63 c 7006 10192 566952 16158854 0 0 18 243 208 26.78/26.80 c 7798 11203 591123 17828942 0 0 16 218 167 30.88/30.98 c 8669 12134 617713 21908504 0 0 17 58 57 31.18/31.28 c 9627 13448 661969 21979520 0 0 16 352 349 35.18/35.22 c 10680 14568 691964 25182545 0 0 19 65 64 37.37/37.45 c 11838 15805 726505 27105433 0 0 21 73 67 48.37/48.47 c 13111 17125 793740 36248015 0 0 22 44 43 54.47/54.57 c 14511 18728 834157 41007586 0 0 25 155 112 54.98/55.02 c 16051 20630 885787 41099445 0 0 24 352 349 63.77/63.89 c 17745 22375 944192 49030873 0 0 24 47 46 76.27/76.33 c 19608 24325 1019048 56840996 0 0 29 40 34 80.98/81.04 c 21657 26447 1074955 62447342 0 0 67 67 66 94.27/94.37 c 23910 28763 1173214 73127094 0 0 56 56 55 94.98/95.06 c 26388 31612 1239992 73251156 0 0 32 352 349 111.98/112.01 c 29113 34712 1348322 87764034 0 0 29 63 35 122.67/122.74 c 32110 37853 1399037 98258812 0 0 24 132 131 123.57/123.63 c 35406 41530 1475123 98410871 0 0 36 352 350 136.57/136.68 c 39031 45510 1569888 109711738 0 0 19 155 133 149.27/149.37 c 43018 49811 1649798 121374666 0 0 89 155 140 205.26/205.31 c 47403 54232 1912793 152054028 0 0 23 23 22 206.46/206.58 c 52226 59448 2010035 152246415 0 0 67 352 351 225.06/225.19 c 57531 65085 2122676 168355379 0 0 97 169 129 226.66/226.71 c 63366 71321 2234010 168578299 0 0 75 352 351 252.35/252.42 c 69784 78080 2376529 191681426 0 0 97 169 133 269.85/269.92 c 76843 85450 2513335 207193405 0 0 29 48 31 271.85/271.93 c 84607 93637 2654482 207477276 0 0 63 352 351 302.05/302.14 c 93147 102883 2835629 235568237 0 0 21 157 140 336.04/336.16 c 102541 112875 3033514 266812683 0 0 23 169 150 354.94/355.02 c 112874 123718 3191065 284388115 0 0 15 95 94 374.43/374.58 c 124240 135182 3457630 300563088 0 0 47 51 47 417.22/417.33 c 136742 148439 3721537 340044114 0 0 68 169 145 420.72/420.82 c 150494 162680 3951457 340523207 0 0 113 352 351 473.81/473.94 c 165621 178681 4277524 390423848 0 0 68 169 147 478.02/478.14 c 182260 195835 4549631 390993904 0 0 45 352 351 541.11/541.21 c 200562 215163 4935621 451495120 0 0 86 168 151 648.02/648.15 c 220694 236148 5652668 551491012 0 0 36 182 85 653.61/653.70 c 242839 258862 6011943 552238492 0 0 54 352 351 781.92/782.04 c 267198 284868 7051660 672996059 0 0 44 111 61 788.62/788.74 c 293992 312275 7479896 673887115 0 0 67 352 351 921.62/921.76 c 323465 343475 8221171 804723427 0 0 80 144 111 1024.13/1024.29 c 355885 377605 8835441 899486281 0 0 82 168 130 1033.13/1033.23 c 391547 413983 9395194 900663950 0 0 35 352 351 1179.53/1179.65 c 430775 455239 10187059 1042899319 0 0 89 134 130 1190.33/1190.44 c 473925 499188 10862147 1044314484 0 0 41 352 351 1363.43/1363.58 c 521390 548638 11791055 1200606599 0 0 102 134 129 1537.83/1537.90 c 573601 603637 12846215 1367775260 0 0 55 182 137 1552.13/1552.24 c 631033 662018 13734746 1369641585 0 0 40 352 351 1721.13/1721.23 c 694208 726484 15436161 1553726057 0 0 67 78 71 2400.05/2400.10 2400.05/2400.10 c *** INTERRUPTED *** 2400.05/2400.10 c restarts : 69 2400.05/2400.10 c conflicts : 750975 (313 /sec) 2400.05/2400.10 c decisions : 783969 (327 /sec) 2400.05/2400.10 c propagations : 2045374888 (852230 /sec) 2400.05/2400.10 c root propagations : 0 2400.05/2400.10 c filter calls : 20924184 (8718 /sec) 2400.05/2400.10 c useless filter calls : 13510948 (64 %) 2400.05/2400.10 c Memory used : 45.62 MB 2400.05/2400.10 c CPU time : 2400.03 s 2400.05/2400.10 c real time : 2400.11 s 2400.05/2400.10 2400.05/2400.10 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 (15134 MiB free) memory of node 1: 16384 MiB (15693 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408701-1569787754/watcher-4408701-1569787754 -o /tmp/evaluation-result-4408701-1569787754/solver-4408701-1569787754 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408701-1569787754.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 solver pid=6376, runsolver pid=6373 Current StackSize limit: 8192 KiB [startup+0.100712 s]* /proc/loadavg: 1.87 1.38 0.66 3/199 6377 /proc/meminfo: memFree=31555988/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=39116 memory=15460 CPUtime=0.09 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 4041 0 0 0 9 0 0 0 20 0 1 0 555040134 40054784 3865 33554432000 4194304 6211132 140725481800576 140725481795672 140169709517797 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 9779 3865 823 493 0 3084 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 39116 KiB Current children cumulated memory: 15460 KiB [startup+0.209587 s]* /proc/loadavg: 1.87 1.38 0.66 3/199 6377 /proc/meminfo: memFree=31554004/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=41484 memory=17892 CPUtime=0.2 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 4666 0 0 0 20 0 0 0 20 0 1 0 555040134 42479616 4473 33554432000 4194304 6211132 140725481800576 140725481795672 5393511 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10371 4473 869 493 0 3676 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 41484 KiB Current children cumulated memory: 17892 KiB [startup+0.309196 s]* /proc/loadavg: 1.87 1.38 0.66 3/199 6377 /proc/meminfo: memFree=31553632/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=41832 memory=18152 CPUtime=0.3 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 4768 0 0 0 30 0 0 0 20 0 1 0 555040134 42835968 4538 33554432000 4194304 6211132 140725481800576 140725481795672 5081956 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10458 4538 869 493 0 3763 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 41832 KiB Current children cumulated memory: 18152 KiB [startup+0.700225 s] /proc/loadavg: 1.87 1.38 0.66 3/199 6377 /proc/meminfo: memFree=31552972/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=41832 memory=18152 CPUtime=0.68 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 4768 0 0 0 68 0 0 0 20 0 1 0 555040134 42835968 4538 33554432000 4194304 6211132 140725481800576 140725481798536 5451514 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10458 4538 869 493 0 3763 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 41832 KiB Current children cumulated memory: 18152 KiB [startup+1.50023 s] /proc/loadavg: 1.87 1.38 0.66 3/199 6377 /proc/meminfo: memFree=31552632/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=41964 memory=18416 CPUtime=1.48 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 4805 0 0 0 148 0 0 0 20 0 1 0 555040134 42971136 4604 33554432000 4194304 6211132 140725481800576 140725481797864 5451460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10491 4604 871 493 0 3796 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 41964 KiB Current children cumulated memory: 18416 KiB [startup+3.10901 s] /proc/loadavg: 1.87 1.38 0.66 3/199 6377 /proc/meminfo: memFree=31552228/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=42228 memory=18612 CPUtime=3.09 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 6827 0 0 0 309 0 0 0 20 0 1 0 555040134 43241472 4653 33554432000 4194304 6211132 140725481800576 140725481798536 5454215 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10557 4653 871 493 0 3862 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 42228 KiB Current children cumulated memory: 18612 KiB [startup+6.30022 s] /proc/loadavg: 1.88 1.39 0.67 3/199 6377 /proc/meminfo: memFree=31551980/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=42624 memory=18904 CPUtime=6.29 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 9449 0 0 0 628 1 0 0 20 0 1 0 555040134 43646976 4726 33554432000 4194304 6211132 140725481800576 140725481798232 5440629 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10656 4726 871 493 0 3961 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42624 KiB Current children cumulated memory: 18904 KiB [startup+12.7003 s] /proc/loadavg: 1.89 1.40 0.68 3/199 6377 /proc/meminfo: memFree=31551856/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=43020 memory=19516 CPUtime=12.69 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 11855 0 0 0 1268 1 0 0 20 0 1 0 555040134 44052480 4879 33554432000 4194304 6211132 140725481800576 140725481798536 5440715 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10755 4879 871 493 0 4060 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 43020 KiB Current children cumulated memory: 19516 KiB [startup+25.5003 s] /proc/loadavg: 1.92 1.43 0.70 3/199 6377 /proc/meminfo: memFree=31552260/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=43680 memory=20020 CPUtime=25.48 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 17241 0 0 0 2547 1 0 0 20 0 1 0 555040134 44728320 5005 33554432000 4194304 6211132 140725481800576 140725481798232 5069176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 10920 5005 871 493 0 4225 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 43680 KiB Current children cumulated memory: 20020 KiB [startup+51.1092 s] /proc/loadavg: 1.87 1.46 0.73 3/199 6380 /proc/meminfo: memFree=31550504/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=44340 memory=20704 CPUtime=51.08 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 17965 0 0 0 5107 1 0 0 20 0 1 0 555040134 45404160 5176 33554432000 4194304 6211132 140725481800576 140725481798232 5075897 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11085 5176 871 493 0 4390 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 44340 KiB Current children cumulated memory: 20704 KiB [startup+102.3 s] /proc/loadavg: 1.94 1.54 0.79 3/200 6391 /proc/meminfo: memFree=31549576/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=44868 memory=21312 CPUtime=102.27 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 18769 0 0 0 10226 1 0 0 20 0 1 0 555040134 45944832 5328 33554432000 4194304 6211132 140725481800576 140725481798536 5446936 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11217 5328 871 493 0 4522 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 44868 KiB Current children cumulated memory: 21312 KiB [startup+162.3 s] /proc/loadavg: 1.89 1.60 0.86 3/200 6395 /proc/meminfo: memFree=31548476/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=45396 memory=21604 CPUtime=162.27 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 19638 0 0 0 16226 1 0 0 20 0 1 0 555040134 46485504 5401 33554432000 4194304 6211132 140725481800576 140725481798232 5446189 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11349 5401 871 493 0 4654 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 45396 KiB Current children cumulated memory: 21604 KiB [startup+222.3 s] /proc/loadavg: 1.96 1.67 0.93 3/200 6399 /proc/meminfo: memFree=31548720/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=45792 memory=22124 CPUtime=222.26 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 20532 0 0 0 22225 1 0 0 20 0 1 0 555040134 46891008 5531 33554432000 4194304 6211132 140725481800576 140725481798232 5456330 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11448 5531 871 493 0 4753 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 45792 KiB Current children cumulated memory: 22124 KiB [startup+282.3 s] /proc/loadavg: 1.99 1.73 1.00 3/200 6406 /proc/meminfo: memFree=31548256/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46056 memory=22464 CPUtime=282.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 21019 0 0 0 28223 1 0 0 20 0 1 0 555040134 47161344 5616 33554432000 4194304 6211132 140725481800576 140725481798536 5446265 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11514 5616 871 493 0 4819 0 Current children cumulated CPU time: 282.24 s Current children cumulated vsize: 46056 KiB Current children cumulated memory: 22464 KiB [startup+342.3 s] /proc/loadavg: 1.99 1.78 1.06 3/200 6410 /proc/meminfo: memFree=31548144/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46188 memory=22496 CPUtime=342.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 21419 0 0 0 34223 1 0 0 20 0 1 0 555040134 47296512 5624 33554432000 4194304 6211132 140725481800576 140725481798232 5454220 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11547 5624 871 493 0 4852 0 Current children cumulated CPU time: 342.24 s Current children cumulated vsize: 46188 KiB Current children cumulated memory: 22496 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.82 1.12 3/199 6414 /proc/meminfo: memFree=31548844/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46188 memory=22628 CPUtime=402.23 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 21840 0 0 0 40222 1 0 0 20 0 1 0 555040134 47296512 5657 33554432000 4194304 6211132 140725481800576 140725481798536 5446944 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11547 5657 871 493 0 4852 0 Current children cumulated CPU time: 402.23 s Current children cumulated vsize: 46188 KiB Current children cumulated memory: 22628 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.85 1.17 3/199 6420 /proc/meminfo: memFree=31548760/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46320 memory=22716 CPUtime=462.22 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 22340 0 0 0 46221 1 0 0 20 0 1 0 555040134 47431680 5679 33554432000 4194304 6211132 140725481800576 140725481798536 5065987 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11580 5679 871 493 0 4885 0 Current children cumulated CPU time: 462.22 s Current children cumulated vsize: 46320 KiB Current children cumulated memory: 22716 KiB ################ # More data... # ################ /proc/6376/statm: 11679 5785 871 493 0 4984 0 Current children cumulated CPU time: 1662.23 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23140 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.79 3/199 6534 /proc/meminfo: memFree=31547148/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23140 CPUtime=1722.23 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 32519 0 0 0 172221 2 0 0 20 0 1 0 555040134 47837184 5785 33554432000 4194304 6211132 140725481800576 140725481798536 5443093 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5785 871 493 0 4984 0 Current children cumulated CPU time: 1722.23 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23140 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.80 3/199 6538 /proc/meminfo: memFree=31547496/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23164 CPUtime=1782.23 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 32983 0 0 0 178221 2 0 0 20 0 1 0 555040134 47837184 5791 33554432000 4194304 6211132 140725481800576 140725481798536 5164837 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5791 871 493 0 4984 0 Current children cumulated CPU time: 1782.23 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.00 1.81 3/199 6542 /proc/meminfo: memFree=31547452/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23164 CPUtime=1842.23 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 33440 0 0 0 184221 2 0 0 20 0 1 0 555040134 47837184 5791 33554432000 4194304 6211132 140725481800576 140725481798536 5442996 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5791 871 493 0 4984 0 Current children cumulated CPU time: 1842.23 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.00 1.82 3/200 6556 /proc/meminfo: memFree=31547140/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23164 CPUtime=1902.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 33897 0 0 0 190221 3 0 0 20 0 1 0 555040134 47837184 5791 33554432000 4194304 6211132 140725481800576 140725481798536 5451586 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5791 871 493 0 4984 0 Current children cumulated CPU time: 1902.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.00 1.84 3/200 6560 /proc/meminfo: memFree=31547580/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=1962.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 34355 0 0 0 196221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 140169710441302 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 1962.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB [startup+2022.3 s] /proc/loadavg: 2.04 2.01 1.85 3/200 6564 /proc/meminfo: memFree=31547144/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2022.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 34814 0 0 0 202221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 5443025 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2022.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB [startup+2082.3 s] /proc/loadavg: 2.02 2.01 1.86 3/200 6631 /proc/meminfo: memFree=31547216/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2082.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 35273 0 0 0 208221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 140169710441321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2082.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB [startup+2142.3 s] /proc/loadavg: 2.01 2.01 1.87 3/200 6699 /proc/meminfo: memFree=31548960/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2142.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 35734 0 0 0 214221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 5164621 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2142.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.88 3/199 6703 /proc/meminfo: memFree=31549636/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2202.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 36158 0 0 0 220221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 140169710441942 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2202.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB [startup+2262.3 s] /proc/loadavg: 2.04 2.03 1.89 3/199 6709 /proc/meminfo: memFree=31548232/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2262.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 36654 0 0 0 226221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 5164867 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2262.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB [startup+2322.3 s] /proc/loadavg: 2.01 2.02 1.89 3/199 6713 /proc/meminfo: memFree=31548300/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2322.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 37100 0 0 0 232221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 5443135 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2322.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.90 3/199 6717 /proc/meminfo: memFree=31547788/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2382.24 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 37534 0 0 0 238221 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 140169710443963 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2382.24 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.11 s] /proc/loadavg: 2.08 2.03 1.91 3/199 6720 /proc/meminfo: memFree=31547508/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2400.05 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 37958 0 0 0 240002 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 5455682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.11 s] # the end of solver process 6376 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.03 s, system=0.035999 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.11 s] /proc/loadavg: 2.08 2.03 1.91 3/199 6720 /proc/meminfo: memFree=31547508/32770624 swapFree=66999984/67108860 [pid=6376] ppid=6373 vsize=46716 memory=23168 CPUtime=2400.05 cores=0,2,4,6 /proc/6376/stat : 6376 (cosoco) R 6373 6376 6041 0 -1 4202496 37958 0 0 0 240002 3 0 0 20 0 1 0 555040134 47837184 5792 33554432000 4194304 6211132 140725481800576 140725481798536 5455682 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17698816 140725481804811 140725481804913 140725481804913 140725481807822 0 /proc/6376/statm: 11679 5792 871 493 0 4984 0 Current children cumulated CPU time: 2400.05 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23168 KiB Child status: 1 Real time (s): 2400.11 CPU time (s): 2400.06 CPU user time (s): 2400.03 CPU system time (s): 0.035999 CPU usage (%): 99.998 Max. virtual memory (cumulated for all children) (KiB): 46716 Max. memory (cumulated for all children) (KiB): 23168 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.03 system time used= 0.035999 maximum resident set size= 23236 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 38006 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= 12 involuntary context switches= 2486 # summary of solver processes directly reported to runsolver: # pid: 6376 # total CPU time (s): 2400.06 # total CPU user time (s): 2400.03 # total CPU system time (s): 0.035999 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.56339 second user time and 15.5904 second system time The end
Begin job on node123 at 2019-09-29 22:08:34 IDJOB=4408701 IDBENCH=120733 IDSOLVER=2875 FILE ID=node123/4408701-1569787754 RUNJOBID= node123-1569787353-6072 PBS_JOBID= 21705830 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/GracefulGraph/GracefulGraph-m1-s1/GracefulGraph-K13-P04.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408701-1569787754/watcher-4408701-1569787754 -o /tmp/evaluation-result-4408701-1569787754/solver-4408701-1569787754 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6072 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408701-1569787754.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0b71dfa4b5b9c5fdcf93c837b98c609 RANDOM SEED=1320885402 node123.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 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: 31567836 kB MemAvailable: 31848492 kB Buffers: 182964 kB Cached: 419828 kB SwapCached: 6544 kB Active: 307076 kB Inactive: 308272 kB Active(anon): 22256 kB Inactive(anon): 71784 kB Active(file): 284820 kB Inactive(file): 236488 kB Unevictable: 107612 kB Mlocked: 107612 kB SwapTotal: 67108860 kB SwapFree: 66999984 kB Dirty: 2592 kB Writeback: 0 kB AnonPages: 114656 kB Mapped: 27812 kB Shmem: 72640 kB Slab: 180892 kB SReclaimable: 150368 kB SUnreclaim: 30524 kB KernelStack: 3584 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 569568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 62024 MiB End job on node123 at 2019-09-29 22:48:34