Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2400.1 | 2400.3 |
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.10/0.12 c root propagations : 0 0.10/0.12 c restarts enabled, print stats at every restarts 0.10/0.12 c 0.10/0.12 c 0.10/0.12 c 0.10/0.12 c This is cosoco 2.00 -- 0.10/0.12 c 0.10/0.12 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390161-1568328347.xml 0.10/0.12 c ========================================[ Problem Statistics ]=========================================== 0.10/0.12 c | 0.10/0.12 c | Parse time : 0.11 s 0.10/0.12 c | 0.10/0.12 c | Variables: 767 0.10/0.12 c | Domain Sizes: 351..352 0.10/0.12 c | 0.10/0.12 c | Constraints: 353 0.10/0.12 c | Arity: 3..351 -- Ternary: 351 0.10/0.12 c | 0.10/0.12 c | Types: 0.10/0.12 c | All Different: 2 0.10/0.12 c | Intension: 351 0.10/0.12 c | 0.10/0.12 c ========================================================================================================= 0.10/0.12 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.12 c remove useless variable ce[0][0][0] 0.10/0.12 c remove useless variable ce[0][1][0] 0.10/0.12 c remove useless variable ce[0][1][1] 0.10/0.12 c remove useless variable ce[0][2][0] 0.10/0.12 c remove useless variable ce[0][2][1] 0.10/0.12 c remove useless variable ce[0][2][2] 0.10/0.12 c remove useless variable ce[0][3][0] 0.10/0.12 c remove useless variable ce[0][3][1] 0.10/0.12 c remove useless variable ce[0][3][2] 0.10/0.12 c remove useless variable ce[0][3][3] 0.10/0.12 c remove useless variable ce[0][4][0] 0.10/0.12 c remove useless variable ce[0][4][1] 0.10/0.12 c remove useless variable ce[0][4][2] 0.10/0.12 c remove useless variable ce[0][4][3] 0.10/0.12 c remove useless variable ce[0][4][4] 0.10/0.12 c remove useless variable ce[0][5][0] 0.10/0.12 c remove useless variable ce[0][5][1] 0.10/0.12 c remove useless variable ce[0][5][2] 0.10/0.12 c remove useless variable ce[0][5][3] 0.10/0.12 c remove useless variable ce[0][5][4] 0.10/0.12 c remove useless variable ce[0][5][5] 0.10/0.12 c remove useless variable ce[0][6][0] 0.10/0.12 c remove useless variable ce[0][6][1] 0.10/0.12 c remove useless variable ce[0][6][2] 0.10/0.12 c remove useless variable ce[0][6][3] 0.10/0.12 c remove useless variable ce[0][6][4] 0.10/0.12 c remove useless variable ce[0][6][5] 0.10/0.12 c remove useless variable ce[0][6][6] 0.10/0.12 c remove useless variable ce[0][7][0] 0.10/0.12 c remove useless variable ce[0][7][1] 0.10/0.12 c remove useless variable ce[0][7][2] 0.10/0.12 c remove useless variable ce[0][7][3] 0.10/0.12 c remove useless variable ce[0][7][4] 0.10/0.12 c remove useless variable ce[0][7][5] 0.10/0.12 c remove useless variable ce[0][7][6] 0.10/0.12 c remove useless variable ce[0][7][7] 0.10/0.12 c remove useless variable ce[0][8][0] 0.10/0.12 c remove useless variable ce[0][8][1] 0.10/0.12 c remove useless variable ce[0][8][2] 0.10/0.12 c remove useless variable ce[0][8][3] 0.10/0.12 c remove useless variable ce[0][8][4] 0.10/0.12 c remove useless variable ce[0][8][5] 0.10/0.12 c remove useless variable ce[0][8][6] 0.10/0.12 c remove useless variable ce[0][8][7] 0.10/0.12 c remove useless variable ce[0][8][8] 0.10/0.12 c remove useless variable ce[0][9][0] 0.10/0.12 c remove useless variable ce[0][9][1] 0.10/0.12 c remove useless variable ce[0][9][2] 0.10/0.12 c remove useless variable ce[0][9][3] 0.10/0.12 c remove useless variable ce[0][9][4] 0.10/0.12 c remove useless variable ce[0][9][5] 0.10/0.12 c remove useless variable ce[0][9][6] 0.10/0.12 c remove useless variable ce[0][9][7] 0.10/0.12 c remove useless variable ce[0][9][8] 0.10/0.12 c remove useless variable ce[0][9][9] 0.10/0.12 c remove useless variable ce[0][10][0] 0.10/0.12 c remove useless variable ce[0][10][1] 0.10/0.12 c remove useless variable ce[0][10][2] 0.10/0.12 c remove useless variable ce[0][10][3] 0.10/0.12 c remove useless variable ce[0][10][4] 0.10/0.12 c remove useless variable ce[0][10][5] 0.10/0.12 c remove useless variable ce[0][10][6] 0.10/0.12 c remove useless variable ce[0][10][7] 0.10/0.12 c remove useless variable ce[0][10][8] 0.10/0.12 c remove useless variable ce[0][10][9] 0.10/0.12 c remove useless variable ce[0][10][10] 0.10/0.12 c remove useless variable ce[0][11][0] 0.10/0.12 c remove useless variable ce[0][11][1] 0.10/0.12 c remove useless variable ce[0][11][2] 0.10/0.12 c remove useless variable ce[0][11][3] 0.10/0.12 c remove useless variable ce[0][11][4] 0.10/0.12 c remove useless variable ce[0][11][5] 0.10/0.12 c remove useless variable ce[0][11][6] 0.10/0.12 c remove useless variable ce[0][11][7] 0.10/0.12 c remove useless variable ce[0][11][8] 0.10/0.12 c remove useless variable ce[0][11][9] 0.10/0.12 c remove useless variable ce[0][11][10] 0.10/0.12 c remove useless variable ce[0][11][11] 0.10/0.12 c remove useless variable ce[0][12][0] 0.10/0.12 c remove useless variable ce[0][12][1] 0.10/0.12 c remove useless variable ce[0][12][2] 0.10/0.12 c remove useless variable ce[0][12][3] 0.10/0.12 c remove useless variable ce[0][12][4] 0.10/0.12 c remove useless variable ce[0][12][5] 0.10/0.12 c remove useless variable ce[0][12][6] 0.10/0.12 c remove useless variable ce[0][12][7] 0.10/0.12 c remove useless variable ce[0][12][8] 0.10/0.12 c remove useless variable ce[0][12][9] 0.10/0.12 c remove useless variable ce[0][12][10] 0.10/0.12 c remove useless variable ce[0][12][11] 0.10/0.12 c remove useless variable ce[0][12][12] 0.10/0.12 c remove useless variable ce[1][0][0] 0.10/0.12 c remove useless variable ce[1][1][0] 0.10/0.12 c remove useless variable ce[1][1][1] 0.10/0.12 c remove useless variable ce[1][2][0] 0.10/0.12 c remove useless variable ce[1][2][1] 0.10/0.12 c remove useless variable ce[1][2][2] 0.10/0.12 c remove useless variable ce[1][3][0] 0.10/0.12 c remove useless variable ce[1][3][1] 0.10/0.12 c remove useless variable ce[1][3][2] 0.10/0.12 c remove useless variable ce[1][3][3] 0.10/0.12 c remove useless variable ce[1][4][0] 0.10/0.12 c remove useless variable ce[1][4][1] 0.10/0.12 c remove useless variable ce[1][4][2] 0.10/0.12 c remove useless variable ce[1][4][3] 0.10/0.12 c remove useless variable ce[1][4][4] 0.10/0.12 c remove useless variable ce[1][5][0] 0.10/0.12 c remove useless variable ce[1][5][1] 0.10/0.12 c remove useless variable ce[1][5][2] 0.10/0.12 c remove useless variable ce[1][5][3] 0.10/0.12 c remove useless variable ce[1][5][4] 0.10/0.12 c remove useless variable ce[1][5][5] 0.10/0.12 c remove useless variable ce[1][6][0] 0.10/0.12 c remove useless variable ce[1][6][1] 0.10/0.12 c remove useless variable ce[1][6][2] 0.10/0.12 c remove useless variable ce[1][6][3] 0.10/0.12 c remove useless variable ce[1][6][4] 0.10/0.12 c remove useless variable ce[1][6][5] 0.10/0.12 c remove useless variable ce[1][6][6] 0.10/0.12 c remove useless variable ce[1][7][0] 0.10/0.12 c remove useless variable ce[1][7][1] 0.10/0.12 c remove useless variable ce[1][7][2] 0.10/0.12 c remove useless variable ce[1][7][3] 0.10/0.12 c remove useless variable ce[1][7][4] 0.10/0.12 c remove useless variable ce[1][7][5] 0.10/0.12 c remove useless variable ce[1][7][6] 0.10/0.12 c remove useless variable ce[1][7][7] 0.10/0.12 c remove useless variable ce[1][8][0] 0.10/0.12 c remove useless variable ce[1][8][1] 0.10/0.12 c remove useless variable ce[1][8][2] 0.10/0.12 c remove useless variable ce[1][8][3] 0.10/0.12 c remove useless variable ce[1][8][4] 0.10/0.12 c remove useless variable ce[1][8][5] 0.10/0.12 c remove useless variable ce[1][8][6] 0.10/0.12 c remove useless variable ce[1][8][7] 0.10/0.12 c remove useless variable ce[1][8][8] 0.10/0.12 c remove useless variable ce[1][9][0] 0.10/0.12 c remove useless variable ce[1][9][1] 0.10/0.12 c remove useless variable ce[1][9][2] 0.10/0.12 c remove useless variable ce[1][9][3] 0.10/0.12 c remove useless variable ce[1][9][4] 0.10/0.12 c remove useless variable ce[1][9][5] 0.10/0.12 c remove useless variable ce[1][9][6] 0.10/0.12 c remove useless variable ce[1][9][7] 0.10/0.12 c remove useless variable ce[1][9][8] 0.10/0.12 c remove useless variable ce[1][9][9] 0.10/0.12 c remove useless variable ce[1][10][0] 0.10/0.12 c remove useless variable ce[1][10][1] 0.10/0.12 c remove useless variable ce[1][10][2] 0.10/0.12 c remove useless variable ce[1][10][3] 0.10/0.12 c remove useless variable ce[1][10][4] 0.10/0.12 c remove useless variable ce[1][10][5] 0.10/0.12 c remove useless variable ce[1][10][6] 0.10/0.12 c remove useless variable ce[1][10][7] 0.10/0.12 c remove useless variable ce[1][10][8] 0.10/0.12 c remove useless variable ce[1][10][9] 0.10/0.12 c remove useless variable ce[1][10][10] 0.10/0.12 c remove useless variable ce[1][11][0] 0.10/0.12 c remove useless variable ce[1][11][1] 0.10/0.12 c remove useless variable ce[1][11][2] 0.10/0.12 c remove useless variable ce[1][11][3] 0.10/0.12 c remove useless variable ce[1][11][4] 0.10/0.12 c remove useless variable ce[1][11][5] 0.10/0.12 c remove useless variable ce[1][11][6] 0.10/0.12 c remove useless variable ce[1][11][7] 0.10/0.12 c remove useless variable ce[1][11][8] 0.10/0.12 c remove useless variable ce[1][11][9] 0.10/0.12 c remove useless variable ce[1][11][10] 0.10/0.12 c remove useless variable ce[1][11][11] 0.10/0.12 c remove useless variable ce[1][12][0] 0.10/0.12 c remove useless variable ce[1][12][1] 0.10/0.12 c remove useless variable ce[1][12][2] 0.10/0.12 c remove useless variable ce[1][12][3] 0.10/0.12 c remove useless variable ce[1][12][4] 0.10/0.12 c remove useless variable ce[1][12][5] 0.10/0.12 c remove useless variable ce[1][12][6] 0.10/0.12 c remove useless variable ce[1][12][7] 0.10/0.12 c remove useless variable ce[1][12][8] 0.10/0.12 c remove useless variable ce[1][12][9] 0.10/0.12 c remove useless variable ce[1][12][10] 0.10/0.12 c remove useless variable ce[1][12][11] 0.10/0.12 c remove useless variable ce[1][12][12] 0.10/0.12 c remove useless variable ce[2][0][0] 0.10/0.12 c remove useless variable ce[2][1][0] 0.10/0.12 c remove useless variable ce[2][1][1] 0.10/0.12 c remove useless variable ce[2][2][0] 0.10/0.12 c remove useless variable ce[2][2][1] 0.10/0.12 c remove useless variable ce[2][2][2] 0.10/0.12 c remove useless variable ce[2][3][0] 0.10/0.12 c remove useless variable ce[2][3][1] 0.10/0.12 c remove useless variable ce[2][3][2] 0.10/0.12 c remove useless variable ce[2][3][3] 0.10/0.12 c remove useless variable ce[2][4][0] 0.10/0.12 c remove useless variable ce[2][4][1] 0.10/0.12 c remove useless variable ce[2][4][2] 0.10/0.12 c remove useless variable ce[2][4][3] 0.10/0.12 c remove useless variable ce[2][4][4] 0.10/0.12 c remove useless variable ce[2][5][0] 0.10/0.12 c remove useless variable ce[2][5][1] 0.10/0.12 c remove useless variable ce[2][5][2] 0.10/0.12 c remove useless variable ce[2][5][3] 0.10/0.12 c remove useless variable ce[2][5][4] 0.10/0.12 c remove useless variable ce[2][5][5] 0.10/0.12 c remove useless variable ce[2][6][0] 0.10/0.12 c remove useless variable ce[2][6][1] 0.10/0.12 c remove useless variable ce[2][6][2] 0.10/0.12 c remove useless variable ce[2][6][3] 0.10/0.12 c remove useless variable ce[2][6][4] 0.10/0.12 c remove useless variable ce[2][6][5] 0.10/0.12 c remove useless variable ce[2][6][6] 0.10/0.12 c remove useless variable ce[2][7][0] 0.10/0.12 c remove useless variable ce[2][7][1] 0.10/0.12 c remove useless variable ce[2][7][2] 0.10/0.12 c remove useless variable ce[2][7][3] 0.10/0.12 c remove useless variable ce[2][7][4] 0.10/0.12 c remove useless variable ce[2][7][5] 0.10/0.12 c remove useless variable ce[2][7][6] 0.10/0.12 c remove useless variable ce[2][7][7] 0.10/0.12 c remove useless variable ce[2][8][0] 0.10/0.12 c remove useless variable ce[2][8][1] 0.10/0.12 c remove useless variable ce[2][8][2] 0.10/0.12 c remove useless variable ce[2][8][3] 0.10/0.12 c remove useless variable ce[2][8][4] 0.10/0.12 c remove useless variable ce[2][8][5] 0.10/0.12 c remove useless variable ce[2][8][6] 0.10/0.12 c remove useless variable ce[2][8][7] 0.10/0.12 c remove useless variable ce[2][8][8] 0.10/0.12 c remove useless variable ce[2][9][0] 0.10/0.12 c remove useless variable ce[2][9][1] 0.10/0.12 c remove useless variable ce[2][9][2] 0.10/0.12 c remove useless variable ce[2][9][3] 0.10/0.12 c remove useless variable ce[2][9][4] 0.10/0.12 c remove useless variable ce[2][9][5] 0.10/0.12 c remove useless variable ce[2][9][6] 0.10/0.12 c remove useless variable ce[2][9][7] 0.10/0.12 c remove useless variable ce[2][9][8] 0.10/0.12 c remove useless variable ce[2][9][9] 0.10/0.12 c remove useless variable ce[2][10][0] 0.10/0.12 c remove useless variable ce[2][10][1] 0.10/0.12 c remove useless variable ce[2][10][2] 0.10/0.12 c remove useless variable ce[2][10][3] 0.10/0.12 c remove useless variable ce[2][10][4] 0.10/0.12 c remove useless variable ce[2][10][5] 0.10/0.12 c remove useless variable ce[2][10][6] 0.10/0.12 c remove useless variable ce[2][10][7] 0.10/0.12 c remove useless variable ce[2][10][8] 0.10/0.12 c remove useless variable ce[2][10][9] 0.10/0.12 c remove useless variable ce[2][10][10] 0.10/0.12 c remove useless variable ce[2][11][0] 0.10/0.12 c remove useless variable ce[2][11][1] 0.10/0.12 c remove useless variable ce[2][11][2] 0.10/0.12 c remove useless variable ce[2][11][3] 0.10/0.12 c remove useless variable ce[2][11][4] 0.10/0.12 c remove useless variable ce[2][11][5] 0.10/0.12 c remove useless variable ce[2][11][6] 0.10/0.12 c remove useless variable ce[2][11][7] 0.10/0.12 c remove useless variable ce[2][11][8] 0.10/0.12 c remove useless variable ce[2][11][9] 0.10/0.12 c remove useless variable ce[2][11][10] 0.10/0.12 c remove useless variable ce[2][11][11] 0.10/0.12 c remove useless variable ce[2][12][0] 0.10/0.12 c remove useless variable ce[2][12][1] 0.10/0.12 c remove useless variable ce[2][12][2] 0.10/0.12 c remove useless variable ce[2][12][3] 0.10/0.12 c remove useless variable ce[2][12][4] 0.10/0.12 c remove useless variable ce[2][12][5] 0.10/0.12 c remove useless variable ce[2][12][6] 0.10/0.12 c remove useless variable ce[2][12][7] 0.10/0.12 c remove useless variable ce[2][12][8] 0.10/0.12 c remove useless variable ce[2][12][9] 0.10/0.12 c remove useless variable ce[2][12][10] 0.10/0.12 c remove useless variable ce[2][12][11] 0.10/0.12 c remove useless variable ce[2][12][12] 0.10/0.12 c remove useless variable ce[3][0][0] 0.10/0.12 c remove useless variable ce[3][1][0] 0.10/0.12 c remove useless variable ce[3][1][1] 0.10/0.12 c remove useless variable ce[3][2][0] 0.10/0.12 c remove useless variable ce[3][2][1] 0.10/0.12 c remove useless variable ce[3][2][2] 0.10/0.12 c remove useless variable ce[3][3][0] 0.10/0.12 c remove useless variable ce[3][3][1] 0.10/0.12 c remove useless variable ce[3][3][2] 0.10/0.12 c remove useless variable ce[3][3][3] 0.10/0.12 c remove useless variable ce[3][4][0] 0.10/0.12 c remove useless variable ce[3][4][1] 0.10/0.12 c remove useless variable ce[3][4][2] 0.10/0.12 c remove useless variable ce[3][4][3] 0.10/0.12 c remove useless variable ce[3][4][4] 0.10/0.12 c remove useless variable ce[3][5][0] 0.10/0.12 c remove useless variable ce[3][5][1] 0.10/0.12 c remove useless variable ce[3][5][2] 0.10/0.12 c remove useless variable ce[3][5][3] 0.10/0.12 c remove useless variable ce[3][5][4] 0.10/0.12 c remove useless variable ce[3][5][5] 0.10/0.12 c remove useless variable ce[3][6][0] 0.10/0.12 c remove useless variable ce[3][6][1] 0.10/0.12 c remove useless variable ce[3][6][2] 0.10/0.12 c remove useless variable ce[3][6][3] 0.10/0.12 c remove useless variable ce[3][6][4] 0.10/0.12 c remove useless variable ce[3][6][5] 0.10/0.12 c remove useless variable ce[3][6][6] 0.10/0.12 c remove useless variable ce[3][7][0] 0.10/0.12 c remove useless variable ce[3][7][1] 0.10/0.12 c remove useless variable ce[3][7][2] 0.10/0.12 c remove useless variable ce[3][7][3] 0.10/0.12 c remove useless variable ce[3][7][4] 0.10/0.12 c remove useless variable ce[3][7][5] 0.10/0.12 c remove useless variable ce[3][7][6] 0.10/0.12 c remove useless variable ce[3][7][7] 0.10/0.12 c remove useless variable ce[3][8][0] 0.10/0.12 c remove useless variable ce[3][8][1] 0.10/0.12 c remove useless variable ce[3][8][2] 0.10/0.12 c remove useless variable ce[3][8][3] 0.10/0.12 c remove useless variable ce[3][8][4] 0.10/0.12 c remove useless variable ce[3][8][5] 0.10/0.12 c remove useless variable ce[3][8][6] 0.10/0.12 c remove useless variable ce[3][8][7] 0.10/0.12 c remove useless variable ce[3][8][8] 0.10/0.12 c remove useless variable ce[3][9][0] 0.10/0.12 c remove useless variable ce[3][9][1] 0.10/0.12 c remove useless variable ce[3][9][2] 0.10/0.12 c remove useless variable ce[3][9][3] 0.10/0.12 c remove useless variable ce[3][9][4] 0.10/0.12 c remove useless variable ce[3][9][5] 0.10/0.12 c remove useless variable ce[3][9][6] 0.10/0.12 c remove useless variable ce[3][9][7] 0.10/0.12 c remove useless variable ce[3][9][8] 0.10/0.12 c remove useless variable ce[3][9][9] 0.10/0.12 c remove useless variable ce[3][10][0] 0.10/0.12 c remove useless variable ce[3][10][1] 0.10/0.12 c remove useless variable ce[3][10][2] 0.10/0.12 c remove useless variable ce[3][10][3] 0.10/0.12 c remove useless variable ce[3][10][4] 0.10/0.12 c remove useless variable ce[3][10][5] 0.10/0.12 c remove useless variable ce[3][10][6] 0.10/0.12 c remove useless variable ce[3][10][7] 0.10/0.12 c remove useless variable ce[3][10][8] 0.10/0.12 c remove useless variable ce[3][10][9] 0.10/0.12 c remove useless variable ce[3][10][10] 0.10/0.12 c remove useless variable ce[3][11][0] 0.10/0.12 c remove useless variable ce[3][11][1] 0.10/0.12 c remove useless variable ce[3][11][2] 0.10/0.12 c remove useless variable ce[3][11][3] 0.10/0.12 c remove useless variable ce[3][11][4] 0.10/0.12 c remove useless variable ce[3][11][5] 0.10/0.12 c remove useless variable ce[3][11][6] 0.10/0.12 c remove useless variable ce[3][11][7] 0.10/0.12 c remove useless variable ce[3][11][8] 0.10/0.12 c remove useless variable ce[3][11][9] 0.10/0.12 c remove useless variable ce[3][11][10] 0.10/0.12 c remove useless variable ce[3][11][11] 0.10/0.12 c remove useless variable ce[3][12][0] 0.10/0.12 c remove useless variable ce[3][12][1] 0.10/0.12 c remove useless variable ce[3][12][2] 0.10/0.12 c remove useless variable ce[3][12][3] 0.10/0.12 c remove useless variable ce[3][12][4] 0.10/0.12 c remove useless variable ce[3][12][5] 0.10/0.12 c remove useless variable ce[3][12][6] 0.10/0.12 c remove useless variable ce[3][12][7] 0.10/0.12 c remove useless variable ce[3][12][8] 0.10/0.12 c remove useless variable ce[3][12][9] 0.10/0.12 c remove useless variable ce[3][12][10] 0.10/0.12 c remove useless variable ce[3][12][11] 0.10/0.12 c remove useless variable ce[3][12][12] 0.21/0.28 c 101 452 64009 67137 0 0 352 352 348 0.89/0.94 c 211 809 122669 619453 0 0 247 247 244 0.89/0.97 c 332 934 125569 620970 0 0 5 5 4 1.69/1.70 c 465 1213 167059 1219053 0 0 8 147 143 1.89/1.94 c 611 1428 177676 1380634 0 0 6 70 45 2.19/2.26 c 771 1630 184926 1624356 0 0 5 43 35 2.29/2.30 c 947 1808 188284 1625287 0 0 3 3 2 2.69/2.71 c 1140 2096 201594 1937959 0 0 6 96 51 3.29/3.34 c 1352 2360 210670 2360419 0 0 5 53 34 3.59/3.62 c 1585 2849 246229 2579877 0 0 7 255 211 3.89/3.90 c 1841 3363 279991 2805123 0 0 11 257 187 4.49/4.56 c 2122 3902 313935 3312478 0 0 5 259 88 5.49/5.59 c 2431 4334 324124 4126008 0 0 6 124 83 8.89/8.99 c 2770 4702 343509 5371434 0 0 6 29 28 12.49/12.53 c 3142 5140 359661 7552541 0 0 11 50 49 12.69/12.71 c 3551 5902 402072 7620974 0 0 50 352 345 17.39/17.43 c 4000 6382 430186 9856894 0 0 6 31 30 19.09/19.14 c 4493 7019 442958 11196310 0 0 14 136 121 19.28/19.36 c 5035 7914 484858 11264532 0 0 55 352 348 22.58/22.65 c 5631 8544 509813 13197245 0 0 8 33 32 24.48/24.58 c 6286 9225 539640 15242063 0 0 12 24 23 25.68/25.74 c 7006 10192 566952 16158854 0 0 18 243 208 27.88/28.00 c 7798 11203 591123 17828942 0 0 16 218 167 32.28/32.35 c 8669 12134 617713 21908504 0 0 17 58 57 32.58/32.67 c 9627 13448 661969 21979520 0 0 16 352 349 36.69/36.77 c 10680 14568 691964 25182545 0 0 19 65 64 39.00/39.10 c 11838 15805 726505 27105433 0 0 21 73 67 50.59/50.65 c 13111 17125 793740 36248015 0 0 22 44 43 56.99/57.06 c 14511 18728 834157 41007586 0 0 25 155 112 57.48/57.53 c 16051 20630 885787 41099445 0 0 24 352 349 66.78/66.82 c 17745 22375 944192 49030873 0 0 24 47 46 79.88/79.92 c 19608 24325 1019048 56840996 0 0 29 40 34 84.78/84.85 c 21657 26447 1074955 62447342 0 0 67 67 66 98.78/98.84 c 23910 28763 1173214 73127094 0 0 56 56 55 99.48/99.56 c 26388 31612 1239992 73251156 0 0 32 352 349 117.27/117.32 c 29113 34712 1348322 87764034 0 0 29 63 35 128.37/128.49 c 32110 37853 1399037 98258812 0 0 24 132 131 129.37/129.43 c 35406 41530 1475123 98410871 0 0 36 352 350 142.98/143.10 c 39031 45510 1569888 109711738 0 0 19 155 133 156.27/156.36 c 43018 49811 1649798 121374666 0 0 89 155 140 214.77/214.88 c 47403 54232 1912793 152054028 0 0 23 23 22 216.17/216.20 c 52226 59448 2010035 152246415 0 0 67 352 351 235.66/235.72 c 57531 65085 2122676 168355379 0 0 97 169 129 237.26/237.31 c 63366 71321 2234010 168578299 0 0 75 352 351 264.26/264.30 c 69784 78080 2376529 191681426 0 0 97 169 133 282.46/282.55 c 76843 85450 2513335 207193405 0 0 29 48 31 284.56/284.64 c 84607 93637 2654482 207477276 0 0 63 352 351 316.06/316.18 c 93147 102883 2835629 235568237 0 0 21 157 140 351.65/351.79 c 102541 112875 3033514 266812683 0 0 23 169 150 371.55/371.63 c 112874 123718 3191065 284388115 0 0 15 95 94 391.85/391.97 c 124240 135182 3457630 300563088 0 0 47 51 47 436.44/436.58 c 136742 148439 3721537 340044114 0 0 68 169 145 440.14/440.26 c 150494 162680 3951457 340523207 0 0 113 352 351 495.64/495.75 c 165621 178681 4277524 390423848 0 0 68 169 147 500.05/500.18 c 182260 195835 4549631 390993904 0 0 45 352 351 566.13/566.29 c 200562 215163 4935621 451495120 0 0 86 168 151 678.62/678.73 c 220694 236148 5652668 551491012 0 0 36 182 85 684.52/684.63 c 242839 258862 6011943 552238492 0 0 54 352 351 819.31/819.43 c 267198 284868 7051660 672996059 0 0 44 111 61 826.41/826.55 c 293992 312275 7479896 673887115 0 0 67 352 351 966.01/966.18 c 323465 343475 8221171 804723427 0 0 80 144 111 1073.59/1073.74 c 355885 377605 8835441 899486281 0 0 82 168 130 1083.00/1083.18 c 391547 413983 9395194 900663950 0 0 35 352 351 1236.48/1236.61 c 430775 455239 10187059 1042899319 0 0 89 134 130 1247.88/1248.04 c 473925 499188 10862147 1044314484 0 0 41 352 351 1429.66/1429.86 c 521390 548638 11791055 1200606599 0 0 102 134 129 1612.45/1612.62 c 573601 603637 12846215 1367775260 0 0 55 182 137 1627.65/1627.81 c 631033 662018 13734746 1369641585 0 0 40 352 351 1804.34/1804.57 c 694208 726484 15436161 1553726057 0 0 67 78 71 2400.09/2400.30 2400.09/2400.30 c *** INTERRUPTED *** 2400.09/2400.30 c restarts : 69 2400.09/2400.30 c conflicts : 741454 (309 /sec) 2400.09/2400.30 c decisions : 774405 (323 /sec) 2400.09/2400.30 c propagations : 1963025482 (817900 /sec) 2400.09/2400.30 c root propagations : 0 2400.09/2400.30 c filter calls : 20001413 (8334 /sec) 2400.09/2400.30 c useless filter calls : 12909526 (64 %) 2400.09/2400.30 c Memory used : 45.62 MB 2400.09/2400.30 c CPU time : 2400.08 s 2400.09/2400.30 c real time : 2400.3 s 2400.09/2400.30 2400.09/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 (12853 MiB free) memory of node 1: 16384 MiB (13298 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390161-1568328347/watcher-4390161-1568328347 -o /tmp/evaluation-result-4390161-1568328347/solver-4390161-1568328347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390161-1568328347.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=22753, runsolver pid=22750 Current StackSize limit: 8192 KiB [startup+0.100094 s]* /proc/loadavg: 2.09 2.08 2.07 3/199 22754 /proc/meminfo: memFree=26767980/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=39648 memory=15984 CPUtime=0.1 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 4177 0 0 0 10 0 0 0 20 0 1 0 409082094 40599552 3996 33554432000 4194304 6210612 140725627683600 140725627680136 140017655811045 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 9912 3996 822 493 0 3217 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 39648 KiB Current children cumulated memory: 15984 KiB [startup+0.209627 s]* /proc/loadavg: 2.09 2.08 2.07 3/199 22754 /proc/meminfo: memFree=26765096/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=41484 memory=17872 CPUtime=0.21 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 4666 0 0 0 21 0 0 0 20 0 1 0 409082094 42479616 4468 33554432000 4194304 6210612 140725627683600 140725627680136 5393319 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10371 4468 864 493 0 3676 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 41484 KiB Current children cumulated memory: 17872 KiB [startup+0.309224 s]* /proc/loadavg: 2.09 2.08 2.07 3/199 22754 /proc/meminfo: memFree=26764724/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=41832 memory=18132 CPUtime=0.31 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 4763 0 0 0 31 0 0 0 20 0 1 0 409082094 42835968 4533 33554432000 4194304 6210612 140725627683600 140725627680136 5397066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10458 4533 864 493 0 3763 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 41832 KiB Current children cumulated memory: 18132 KiB [startup+0.700223 s] /proc/loadavg: 2.09 2.08 2.07 3/199 22754 /proc/meminfo: memFree=26764724/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=41832 memory=18132 CPUtime=0.69 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 4763 0 0 0 69 0 0 0 20 0 1 0 409082094 42835968 4533 33554432000 4194304 6210612 140725627683600 140725627680136 5479541 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10458 4533 864 493 0 3763 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 41832 KiB Current children cumulated memory: 18132 KiB [startup+1.50023 s] /proc/loadavg: 2.09 2.08 2.07 3/199 22754 /proc/meminfo: memFree=26764780/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=41964 memory=18396 CPUtime=1.49 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 4797 0 0 0 149 0 0 0 20 0 1 0 409082094 42971136 4599 33554432000 4194304 6210612 140725627683600 140725627681560 5455474 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10491 4599 866 493 0 3796 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 41964 KiB Current children cumulated memory: 18396 KiB [startup+3.10904 s] /proc/loadavg: 2.16 2.09 2.07 3/199 22754 /proc/meminfo: memFree=26764616/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=42228 memory=18548 CPUtime=3.1 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 5225 0 0 0 310 0 0 0 20 0 1 0 409082094 43241472 4637 33554432000 4194304 6210612 140725627683600 140725627681560 5452082 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10557 4637 866 493 0 3862 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 42228 KiB Current children cumulated memory: 18548 KiB [startup+6.30021 s] /proc/loadavg: 2.16 2.09 2.07 3/199 22754 /proc/meminfo: memFree=26764372/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=42624 memory=18816 CPUtime=6.29 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 5840 0 0 0 629 0 0 0 20 0 1 0 409082094 43646976 4704 33554432000 4194304 6210612 140725627683600 140725627681560 5446462 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10656 4704 866 493 0 3961 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42624 KiB Current children cumulated memory: 18816 KiB [startup+12.7002 s] /proc/loadavg: 2.23 2.11 2.08 3/199 22754 /proc/meminfo: memFree=26763868/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=43020 memory=19496 CPUtime=12.69 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 6529 0 0 0 1269 0 0 0 20 0 1 0 409082094 44052480 4874 33554432000 4194304 6210612 140725627683600 140725627681256 5440425 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10755 4874 866 493 0 4060 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 43020 KiB Current children cumulated memory: 19496 KiB [startup+25.5003 s] /proc/loadavg: 2.24 2.12 2.08 3/199 22817 /proc/meminfo: memFree=26734568/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=43548 memory=19948 CPUtime=25.48 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 8051 0 0 0 2548 0 0 0 20 0 1 0 409082094 44593152 4987 33554432000 4194304 6210612 140725627683600 140725627681560 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 10887 4987 866 493 0 4192 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 43548 KiB Current children cumulated memory: 19948 KiB [startup+51.1091 s] /proc/loadavg: 2.10 2.09 2.07 3/199 22818 /proc/meminfo: memFree=26732472/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=44340 memory=20680 CPUtime=51.09 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 9135 0 0 0 5108 1 0 0 20 0 1 0 409082094 45404160 5170 33554432000 4194304 6210612 140725627683600 140725627681560 140017656735190 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11085 5170 866 493 0 4390 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 44340 KiB Current children cumulated memory: 20680 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.07 2.06 3/199 22822 /proc/meminfo: memFree=26729540/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=44868 memory=21296 CPUtime=102.28 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 10445 0 0 0 10227 1 0 0 20 0 1 0 409082094 45944832 5324 33554432000 4194304 6210612 140725627683600 140725627681560 5453752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11217 5324 866 493 0 4522 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 44868 KiB Current children cumulated memory: 21296 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.05 2.06 3/199 22828 /proc/meminfo: memFree=26728052/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=45396 memory=21736 CPUtime=162.27 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 10817 0 0 0 16226 1 0 0 20 0 1 0 409082094 46485504 5434 33554432000 4194304 6210612 140725627683600 140725627681256 5454023 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11349 5434 866 493 0 4654 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 45396 KiB Current children cumulated memory: 21736 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 22832 /proc/meminfo: memFree=26727492/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=45792 memory=22132 CPUtime=222.26 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 11268 0 0 0 22225 1 0 0 20 0 1 0 409082094 46891008 5533 33554432000 4194304 6210612 140725627683600 140725627681256 5476367 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11448 5533 866 493 0 4753 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 45792 KiB Current children cumulated memory: 22132 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 22836 /proc/meminfo: memFree=26727532/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46056 memory=22376 CPUtime=282.26 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 11803 0 0 0 28225 1 0 0 20 0 1 0 409082094 47161344 5594 33554432000 4194304 6210612 140725627683600 140725627681560 5446066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11514 5594 866 493 0 4819 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 46056 KiB Current children cumulated memory: 22376 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 22850 /proc/meminfo: memFree=26726112/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46056 memory=22476 CPUtime=342.25 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 12278 0 0 0 34224 1 0 0 20 0 1 0 409082094 47161344 5619 33554432000 4194304 6210612 140725627683600 140725627681560 5164396 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11514 5619 866 493 0 4819 0 Current children cumulated CPU time: 342.25 s Current children cumulated vsize: 46056 KiB Current children cumulated memory: 22476 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 22854 /proc/meminfo: memFree=26726544/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46188 memory=22616 CPUtime=402.25 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 12782 0 0 0 40224 1 0 0 20 0 1 0 409082094 47296512 5654 33554432000 4194304 6210612 140725627683600 140725627681560 5009295 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11547 5654 866 493 0 4852 0 Current children cumulated CPU time: 402.25 s Current children cumulated vsize: 46188 KiB Current children cumulated memory: 22616 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 22858 /proc/meminfo: memFree=26727044/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46320 memory=22720 CPUtime=462.24 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 13370 0 0 0 46223 1 0 0 20 0 1 0 409082094 47431680 5680 33554432000 4194304 6210612 140725627683600 140725627681560 140017656734567 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11580 5680 866 493 0 4885 0 Current children cumulated CPU time: 462.24 s Current children cumulated vsize: 46320 KiB Current children cumulated memory: 22720 KiB ################ # More data... # ################ /proc/22753/statm: 11679 5780 866 493 0 4984 0 Current children cumulated CPU time: 1662.15 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23120 KiB [startup+1722.3 s] /proc/loadavg: 2.32 2.14 2.09 3/200 22999 /proc/meminfo: memFree=26723672/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23120 CPUtime=1722.15 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19000 0 0 0 172213 2 0 0 20 0 1 0 409082094 47837184 5780 33554432000 4194304 6210612 140725627683600 140725627681560 5068613 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5780 866 493 0 4984 0 Current children cumulated CPU time: 1722.15 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23120 KiB [startup+1782.3 s] /proc/loadavg: 2.12 2.11 2.08 3/201 23005 /proc/meminfo: memFree=26724052/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23120 CPUtime=1782.14 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19109 0 0 0 178212 2 0 0 20 0 1 0 409082094 47837184 5780 33554432000 4194304 6210612 140725627683600 140725627681560 140017656735186 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5780 866 493 0 4984 0 Current children cumulated CPU time: 1782.14 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23120 KiB [startup+1842.3 s] /proc/loadavg: 2.04 2.09 2.08 3/199 23009 /proc/meminfo: memFree=26723820/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23120 CPUtime=1842.14 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19235 0 0 0 184212 2 0 0 20 0 1 0 409082094 47837184 5780 33554432000 4194304 6210612 140725627683600 140725627681560 5440464 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5780 866 493 0 4984 0 Current children cumulated CPU time: 1842.14 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23120 KiB [startup+1902.3 s] /proc/loadavg: 2.02 2.07 2.07 3/199 23013 /proc/meminfo: memFree=26724280/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23144 CPUtime=1902.13 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19352 0 0 0 190211 2 0 0 20 0 1 0 409082094 47837184 5786 33554432000 4194304 6210612 140725627683600 140725627681560 140017656731555 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5786 866 493 0 4984 0 Current children cumulated CPU time: 1902.13 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23144 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.06 2.06 3/200 23019 /proc/meminfo: memFree=26723628/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23144 CPUtime=1962.13 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19470 0 0 0 196211 2 0 0 20 0 1 0 409082094 47837184 5786 33554432000 4194304 6210612 140725627683600 140725627681560 5442904 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5786 866 493 0 4984 0 Current children cumulated CPU time: 1962.13 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23144 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.05 2.06 3/199 23023 /proc/meminfo: memFree=26723436/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2022.12 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19588 0 0 0 202210 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 5445998 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2022.12 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 23027 /proc/meminfo: memFree=26723416/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2082.12 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19706 0 0 0 208210 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 5446100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2082.12 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.04 2.05 3/201 23041 /proc/meminfo: memFree=26723476/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2142.11 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19824 0 0 0 214209 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 5453748 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2142.11 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 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=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2202.11 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 19934 0 0 0 220209 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 5075326 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2202.11 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 23049 /proc/meminfo: memFree=26723580/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2262.1 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 20060 0 0 0 226208 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 140017665755982 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2262.1 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 3/201 23055 /proc/meminfo: memFree=26723380/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2322.1 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 20179 0 0 0 232208 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 5442848 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2322.1 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 23059 /proc/meminfo: memFree=26723848/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2382.09 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 20298 0 0 0 238207 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 140017656734554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2382.09 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2400.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 23060 /proc/meminfo: memFree=26723916/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2400.09 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 20407 0 0 0 240007 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 5164381 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2400.3 s] # the end of solver process 22753 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.08 s, system=0.020998 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2400.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 23060 /proc/meminfo: memFree=26723916/32770624 swapFree=66927160/67108860 [pid=22753] ppid=22750 vsize=46716 memory=23148 CPUtime=2400.09 cores=1,3,5,7 /proc/22753/stat : 22753 (cosoco) R 22750 22753 21907 0 -1 4202496 20407 0 0 0 240007 2 0 0 20 0 1 0 409082094 47837184 5787 33554432000 4194304 6210612 140725627683600 140725627681560 5164381 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 33222656 140725627687947 140725627688049 140725627688049 140725627690958 0 /proc/22753/statm: 11679 5787 866 493 0 4984 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23148 KiB Child status: 1 Real time (s): 2400.3 CPU time (s): 2400.1 CPU user time (s): 2400.08 CPU system time (s): 0.020998 CPU usage (%): 99.9916 Max. virtual memory (cumulated for all children) (KiB): 46716 Max. memory (cumulated for all children) (KiB): 23148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.08 system time used= 0.020998 maximum resident set size= 23220 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20456 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= 927 # summary of solver processes directly reported to runsolver: # pid: 22753 # total CPU time (s): 2400.1 # total CPU user time (s): 2400.08 # total CPU system time (s): 0.020998 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.21819 second user time and 15.6693 second system time The end
Begin job on node137 at 2019-09-13 00:45:05 IDJOB=4390161 IDBENCH=120733 IDSOLVER=2830 FILE ID=node137/4390161-1568328347 RUNJOBID= node137-1568323498-21939 PBS_JOBID= 21701145 Free space on /tmp= 61232 MiB SOLVER NAME= cosoco 2 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-4390161-1568328347/watcher-4390161-1568328347 -o /tmp/evaluation-result-4390161-1568328347/solver-4390161-1568328347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390161-1568328347.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0b71dfa4b5b9c5fdcf93c837b98c609 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: 26779424 kB MemAvailable: 31805176 kB Buffers: 134108 kB Cached: 5156736 kB SwapCached: 77556 kB Active: 1361744 kB Inactive: 4010884 kB Active(anon): 5700 kB Inactive(anon): 117532 kB Active(file): 1356044 kB Inactive(file): 3893352 kB Unevictable: 108716 kB Mlocked: 108716 kB SwapTotal: 67108860 kB SwapFree: 66927160 kB Dirty: 2884 kB Writeback: 212 kB AnonPages: 67464 kB Mapped: 45020 kB Shmem: 32692 kB Slab: 213548 kB SReclaimable: 184380 kB SUnreclaim: 29168 kB KernelStack: 3760 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 528460 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 20480 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:06