Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.1 | 2399.9 |
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-4397441-1568572857.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.21/0.28 c 101 452 64009 67137 0 0 352 352 348 0.89/0.91 c 211 809 122669 619453 0 0 247 247 244 0.89/0.94 c 332 934 125569 620970 0 0 5 5 4 1.59/1.64 c 465 1213 167059 1219053 0 0 8 147 143 1.79/1.87 c 611 1428 177676 1380634 0 0 6 70 45 2.10/2.19 c 771 1630 184926 1624356 0 0 5 43 35 2.19/2.23 c 947 1808 188284 1625287 0 0 3 3 2 2.59/2.62 c 1140 2096 201594 1937959 0 0 6 96 51 3.19/3.23 c 1352 2360 210670 2360419 0 0 5 53 34 3.49/3.51 c 1585 2849 246229 2579877 0 0 7 255 211 3.69/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.66 c 2770 4702 343509 5371434 0 0 6 29 28 12.00/12.06 c 3142 5140 359661 7552541 0 0 11 50 49 12.19/12.24 c 3551 5902 402072 7620974 0 0 50 352 345 16.69/16.76 c 4000 6382 430186 9856894 0 0 6 31 30 18.39/18.41 c 4493 7019 442958 11196310 0 0 14 136 121 18.59/18.62 c 5035 7914 484858 11264532 0 0 55 352 348 21.69/21.78 c 5631 8544 509813 13197245 0 0 8 33 32 23.59/23.62 c 6286 9225 539640 15242063 0 0 12 24 23 24.69/24.75 c 7006 10192 566952 16158854 0 0 18 243 208 26.89/26.93 c 7798 11203 591123 17828942 0 0 16 218 167 31.10/31.13 c 8669 12134 617713 21908504 0 0 17 58 57 31.39/31.44 c 9627 13448 661969 21979520 0 0 16 352 349 35.29/35.39 c 10680 14568 691964 25182545 0 0 19 65 64 37.59/37.64 c 11838 15805 726505 27105433 0 0 21 73 67 48.69/48.74 c 13111 17125 793740 36248015 0 0 22 44 43 54.79/54.89 c 14511 18728 834157 41007586 0 0 25 155 112 55.29/55.33 c 16051 20630 885787 41099445 0 0 24 352 349 64.19/64.24 c 17745 22375 944192 49030873 0 0 24 47 46 76.69/76.78 c 19608 24325 1019048 56840996 0 0 29 40 34 81.49/81.52 c 21657 26447 1074955 62447342 0 0 67 67 66 94.89/94.90 c 23910 28763 1173214 73127094 0 0 56 56 55 95.49/95.59 c 26388 31612 1239992 73251156 0 0 32 352 349 112.59/112.61 c 29113 34712 1348322 87764034 0 0 29 63 35 123.30/123.38 c 32110 37853 1399037 98258812 0 0 24 132 131 124.20/124.28 c 35406 41530 1475123 98410871 0 0 36 352 350 137.30/137.37 c 39031 45510 1569888 109711738 0 0 19 155 133 150.01/150.08 c 43018 49811 1649798 121374666 0 0 89 155 140 206.01/206.10 c 47403 54232 1912793 152054028 0 0 23 23 22 207.30/207.37 c 52226 59448 2010035 152246415 0 0 67 352 351 226.01/226.07 c 57531 65085 2122676 168355379 0 0 97 169 129 227.50/227.59 c 63366 71321 2234010 168578299 0 0 75 352 351 253.40/253.44 c 69784 78080 2376529 191681426 0 0 97 169 133 270.91/270.91 c 76843 85450 2513335 207193405 0 0 29 48 31 272.91/272.92 c 84607 93637 2654482 207477276 0 0 63 352 351 303.21/303.22 c 93147 102883 2835629 235568237 0 0 21 157 140 337.32/337.31 c 102541 112875 3033514 266812683 0 0 23 169 150 356.32/356.38 c 112874 123718 3191065 284388115 0 0 15 95 94 375.82/375.87 c 124240 135182 3457630 300563088 0 0 47 51 47 418.63/418.69 c 136742 148439 3721537 340044114 0 0 68 169 145 422.23/422.22 c 150494 162680 3951457 340523207 0 0 113 352 351 475.43/475.46 c 165621 178681 4277524 390423848 0 0 68 169 147 479.73/479.71 c 182260 195835 4549631 390993904 0 0 45 352 351 543.14/543.13 c 200562 215163 4935621 451495120 0 0 86 168 151 650.84/650.83 c 220694 236148 5652668 551491012 0 0 36 182 85 656.45/656.49 c 242839 258862 6011943 552238492 0 0 54 352 351 785.76/785.72 c 267198 284868 7051660 672996059 0 0 44 111 61 792.56/792.54 c 293992 312275 7479896 673887115 0 0 67 352 351 926.37/926.34 c 323465 343475 8221171 804723427 0 0 80 144 111 1029.68/1029.62 c 355885 377605 8835441 899486281 0 0 82 168 130 1038.68/1038.69 c 391547 413983 9395194 900663950 0 0 35 352 351 1185.69/1185.65 c 430775 455239 10187059 1042899319 0 0 89 134 130 1196.69/1196.63 c 473925 499188 10862147 1044314484 0 0 41 352 351 1370.80/1370.72 c 521390 548638 11791055 1200606599 0 0 102 134 129 1546.42/1546.39 c 573601 603637 12846215 1367775260 0 0 55 182 137 1561.02/1560.98 c 631033 662018 13734746 1369641585 0 0 40 352 351 1730.73/1730.66 c 694208 726484 15436161 1553726057 0 0 67 78 71 2400.09/2399.90 2400.09/2399.90 c *** INTERRUPTED *** 2400.09/2399.90 c restarts : 69 2400.09/2399.90 c conflicts : 749805 (312 /sec) 2400.09/2399.90 c decisions : 782794 (326 /sec) 2400.09/2399.90 c propagations : 2035136627 (847947 /sec) 2400.09/2399.90 c root propagations : 0 2400.09/2399.90 c filter calls : 20809217 (8670 /sec) 2400.09/2399.90 c useless filter calls : 13436160 (64 %) 2400.09/2399.90 c Memory used : 45.62 MB 2400.09/2399.90 c CPU time : 2400.07 s 2400.09/2399.90 c real time : 2399.9 s 2400.09/2399.90 2400.09/2399.90 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 (14901 MiB free) memory of node 1: 16384 MiB (15311 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397441-1568572857/watcher-4397441-1568572857 -o /tmp/evaluation-result-4397441-1568572857/solver-4397441-1568572857 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568572743-22678 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397441-1568572857.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=22843, runsolver pid=22840 [startup+0.100216 s]* /proc/loadavg: 1.43 0.45 0.20 3/200 22844 /proc/meminfo: memFree=30927852/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=39516 memory=15724 CPUtime=0.09 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 4135 0 0 0 9 0 0 0 20 0 1 0 433199733 40464384 3931 33554432000 4194304 6211092 140730108712000 140730108708536 140062820731877 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 9879 3931 823 493 0 3184 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 39516 KiB Current children cumulated memory: 15724 KiB [startup+0.209878 s]* /proc/loadavg: 1.43 0.45 0.20 3/200 22844 /proc/meminfo: memFree=30925000/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=41484 memory=17892 CPUtime=0.21 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 4671 0 0 0 20 1 0 0 20 0 1 0 433199733 42479616 4473 33554432000 4194304 6211092 140730108712000 140730108708536 5393479 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10371 4473 869 493 0 3676 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 41484 KiB Current children cumulated memory: 17892 KiB [startup+0.309326 s]* /proc/loadavg: 1.43 0.45 0.20 3/200 22844 /proc/meminfo: memFree=30924348/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=41832 memory=18152 CPUtime=0.31 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 4767 0 0 0 30 1 0 0 20 0 1 0 433199733 42835968 4538 33554432000 4194304 6211092 140730108712000 140730108708536 5081534 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10458 4538 869 493 0 3763 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 41832 KiB Current children cumulated memory: 18152 KiB [startup+0.700339 s] /proc/loadavg: 1.43 0.45 0.20 3/200 22844 /proc/meminfo: memFree=30923420/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=41832 memory=18152 CPUtime=0.69 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 4767 0 0 0 68 1 0 0 20 0 1 0 433199733 42835968 4538 33554432000 4194304 6211092 140730108712000 140730108709960 5451528 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10458 4538 869 493 0 3763 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 41832 KiB Current children cumulated memory: 18152 KiB [startup+1.50035 s] /proc/loadavg: 1.43 0.45 0.20 3/200 22844 /proc/meminfo: memFree=30923420/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=41964 memory=18416 CPUtime=1.49 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 4804 0 0 0 148 1 0 0 20 0 1 0 433199733 42971136 4604 33554432000 4194304 6211092 140730108712000 140730108709288 5440597 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10491 4604 870 493 0 3796 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 41964 KiB Current children cumulated memory: 18416 KiB [startup+3.10952 s] /proc/loadavg: 1.43 0.45 0.20 3/201 22846 /proc/meminfo: memFree=30922716/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=42228 memory=18608 CPUtime=3.1 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 6826 0 0 0 309 1 0 0 20 0 1 0 433199733 43241472 4652 33554432000 4194304 6211092 140730108712000 140730108709960 5452223 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10557 4652 870 493 0 3862 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 42228 KiB Current children cumulated memory: 18608 KiB [startup+6.30033 s] /proc/loadavg: 1.47 0.48 0.21 3/201 22846 /proc/meminfo: memFree=30922476/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=42624 memory=18900 CPUtime=6.29 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 9449 0 0 0 628 1 0 0 20 0 1 0 433199733 43646976 4725 33554432000 4194304 6211092 140730108712000 140730108709656 5451484 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10656 4725 870 493 0 3961 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 42624 KiB Current children cumulated memory: 18900 KiB [startup+12.7003 s] /proc/loadavg: 1.52 0.51 0.22 3/200 22846 /proc/meminfo: memFree=30922368/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=43020 memory=19512 CPUtime=12.69 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 11855 0 0 0 1268 1 0 0 20 0 1 0 433199733 44052480 4878 33554432000 4194304 6211092 140730108712000 140730108709960 5451424 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10755 4878 870 493 0 4060 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 43020 KiB Current children cumulated memory: 19512 KiB [startup+25.5004 s] /proc/loadavg: 1.62 0.58 0.25 3/200 22846 /proc/meminfo: memFree=30922240/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=43680 memory=20016 CPUtime=25.49 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 17235 0 0 0 2548 1 0 0 20 0 1 0 433199733 44728320 5004 33554432000 4194304 6211092 140730108712000 140730108709656 5452207 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 10920 5004 870 493 0 4225 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 43680 KiB Current children cumulated memory: 20016 KiB [startup+51.1092 s] /proc/loadavg: 1.75 0.69 0.29 3/200 22849 /proc/meminfo: memFree=30920384/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=44340 memory=20700 CPUtime=51.1 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 19805 0 0 0 5109 1 0 0 20 0 1 0 433199733 45404160 5175 33554432000 4194304 6211092 140730108712000 140730108709656 5453926 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11085 5175 870 493 0 4390 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 44340 KiB Current children cumulated memory: 20700 KiB [startup+102.3 s] /proc/loadavg: 1.89 0.89 0.38 3/201 22854 /proc/meminfo: memFree=30920300/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=44868 memory=21312 CPUtime=102.29 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 20652 0 0 0 10228 1 0 0 20 0 1 0 433199733 45944832 5328 33554432000 4194304 6211092 140730108712000 140730108709960 5451482 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11217 5328 870 493 0 4522 0 Current children cumulated CPU time: 102.29 s Current children cumulated vsize: 44868 KiB Current children cumulated memory: 21312 KiB [startup+162.3 s] /proc/loadavg: 1.96 1.10 0.48 3/201 22858 /proc/meminfo: memFree=30919264/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=45396 memory=21840 CPUtime=162.3 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 21558 0 0 0 16229 1 0 0 20 0 1 0 433199733 46485504 5460 33554432000 4194304 6211092 140730108712000 140730108709656 5442948 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11349 5460 870 493 0 4654 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 45396 KiB Current children cumulated memory: 21840 KiB [startup+222.3 s] /proc/loadavg: 1.99 1.26 0.58 3/201 22862 /proc/meminfo: memFree=30919664/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=45792 memory=22144 CPUtime=222.3 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 21977 0 0 0 22229 1 0 0 20 0 1 0 433199733 46891008 5536 33554432000 4194304 6211092 140730108712000 140730108709656 5446260 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11448 5536 870 493 0 4753 0 Current children cumulated CPU time: 222.3 s Current children cumulated vsize: 45792 KiB Current children cumulated memory: 22144 KiB [startup+282.3 s] /proc/loadavg: 1.99 1.40 0.67 3/201 22868 /proc/meminfo: memFree=30918668/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=46056 memory=22408 CPUtime=282.31 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 22037 0 0 0 28230 1 0 0 20 0 1 0 433199733 47161344 5602 33554432000 4194304 6211092 140730108712000 140730108709960 5390056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11514 5602 870 493 0 4819 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 46056 KiB Current children cumulated memory: 22408 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.51 0.75 3/200 22872 /proc/meminfo: memFree=30918604/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=46188 memory=22492 CPUtime=342.32 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 22472 0 0 0 34230 2 0 0 20 0 1 0 433199733 47296512 5623 33554432000 4194304 6211092 140730108712000 140730108709656 5446238 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11547 5623 870 493 0 4852 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 46188 KiB Current children cumulated memory: 22492 KiB [startup+402.3 s] /proc/loadavg: 2.00 1.60 0.83 3/199 22876 /proc/meminfo: memFree=30918500/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=46188 memory=22636 CPUtime=402.33 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 22496 0 0 0 40231 2 0 0 20 0 1 0 433199733 47296512 5659 33554432000 4194304 6211092 140730108712000 140730108709960 5165016 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11547 5659 870 493 0 4852 0 Current children cumulated CPU time: 402.33 s Current children cumulated vsize: 46188 KiB Current children cumulated memory: 22636 KiB [startup+462.3 s] /proc/loadavg: 2.00 1.67 0.90 3/199 22882 /proc/meminfo: memFree=30918480/32770624 swapFree=67001140/67108860 [pid=22843] ppid=22840 vsize=46320 memory=22712 CPUtime=462.33 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 23032 0 0 0 46231 2 0 0 20 0 1 0 433199733 47431680 5678 33554432000 4194304 6211092 140730108712000 140730108709960 140062830676814 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11580 5678 870 493 0 4885 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 46320 KiB Current children cumulated memory: 22712 KiB ################ # More data... # ################ /proc/22843/statm: 11679 5784 870 493 0 4984 0 Current children cumulated CPU time: 1662.43 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23136 KiB [startup+1722.3 s] /proc/loadavg: 2.00 1.99 1.73 3/199 23019 /proc/meminfo: memFree=30917384/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23136 CPUtime=1722.43 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 28726 0 0 0 172241 2 0 0 20 0 1 0 433199733 47837184 5784 33554432000 4194304 6211092 140730108712000 140730108709960 5446185 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5784 870 493 0 4984 0 Current children cumulated CPU time: 1722.43 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23136 KiB [startup+1782.3 s] /proc/loadavg: 2.00 1.99 1.75 3/199 23023 /proc/meminfo: memFree=30916472/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23156 CPUtime=1782.44 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 29201 0 0 0 178242 2 0 0 20 0 1 0 433199733 47837184 5789 33554432000 4194304 6211092 140730108712000 140730108709960 5446904 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5789 870 493 0 4984 0 Current children cumulated CPU time: 1782.44 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23156 KiB [startup+1842.3 s] /proc/loadavg: 2.00 1.99 1.76 3/200 23035 /proc/meminfo: memFree=30916580/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23156 CPUtime=1842.44 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 29201 0 0 0 184242 2 0 0 20 0 1 0 433199733 47837184 5789 33554432000 4194304 6211092 140730108712000 140730108709960 5440655 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5789 870 493 0 4984 0 Current children cumulated CPU time: 1842.44 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23156 KiB [startup+1902.3 s] /proc/loadavg: 2.00 1.99 1.78 3/200 23041 /proc/meminfo: memFree=30916856/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23160 CPUtime=1902.45 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 29642 0 0 0 190243 2 0 0 20 0 1 0 433199733 47837184 5790 33554432000 4194304 6211092 140730108712000 140730108709960 5446174 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5790 870 493 0 4984 0 Current children cumulated CPU time: 1902.45 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23160 KiB [startup+1962.3 s] /proc/loadavg: 2.00 1.99 1.79 3/200 23045 /proc/meminfo: memFree=30917300/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23160 CPUtime=1962.45 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 29644 0 0 0 196243 2 0 0 20 0 1 0 433199733 47837184 5790 33554432000 4194304 6211092 140730108712000 140730108709960 5446166 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5790 870 493 0 4984 0 Current children cumulated CPU time: 1962.45 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23160 KiB [startup+2022.3 s] /proc/loadavg: 2.00 1.99 1.80 3/200 23049 /proc/meminfo: memFree=30916688/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2022.46 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 30086 0 0 0 202244 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 140062821652368 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2022.46 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+2082.3 s] /proc/loadavg: 2.00 1.99 1.81 3/200 23055 /proc/meminfo: memFree=30916516/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2082.46 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 30088 0 0 0 208244 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5069144 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2082.46 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+2142.3 s] /proc/loadavg: 2.00 1.99 1.83 3/199 23059 /proc/meminfo: memFree=30916780/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2142.47 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 30533 0 0 0 214245 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5456310 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2142.47 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+2202.3 s] /proc/loadavg: 2.00 1.99 1.84 3/199 23063 /proc/meminfo: memFree=30917172/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2202.47 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 30534 0 0 0 220245 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5456310 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2202.47 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+2262.3 s] /proc/loadavg: 2.00 1.99 1.85 3/199 23069 /proc/meminfo: memFree=30917260/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2262.48 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 30979 0 0 0 226246 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5397223 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2262.48 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+2322.3 s] /proc/loadavg: 2.00 1.99 1.86 3/199 23073 /proc/meminfo: memFree=30917004/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2322.48 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 30979 0 0 0 232246 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5476577 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2322.48 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB [startup+2382.3 s] /proc/loadavg: 2.05 2.00 1.87 3/199 23137 /proc/meminfo: memFree=30916092/32770624 swapFree=67001144/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2382.49 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 31388 0 0 0 238247 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5443064 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2382.49 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.11 2.02 1.88 3/200 23149 /proc/meminfo: memFree=30916472/32770624 swapFree=67001148/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2400.09 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 31392 0 0 0 240007 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5453926 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 22843 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.08 s, system=0.026002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.11 2.02 1.88 3/200 23149 /proc/meminfo: memFree=30916472/32770624 swapFree=67001148/67108860 [pid=22843] ppid=22840 vsize=46716 memory=23164 CPUtime=2400.09 cores=0,2,4,6 /proc/22843/stat : 22843 (cosoco) R 22840 22843 22647 0 -1 4202496 31392 0 0 0 240007 2 0 0 20 0 1 0 433199733 47837184 5791 33554432000 4194304 6211092 140730108712000 140730108709960 5453926 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9646080 140730108716043 140730108716145 140730108716145 140730108719054 0 /proc/22843/statm: 11679 5791 870 493 0 4984 0 Current children cumulated CPU time: 2400.09 s Current children cumulated vsize: 46716 KiB Current children cumulated memory: 23164 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.1 CPU user time (s): 2400.08 CPU system time (s): 0.026002 CPU usage (%): 100.008 Max. virtual memory (cumulated for all children) (KiB): 46716 Max. memory (cumulated for all children) (KiB): 23164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.08 system time used= 0.026002 maximum resident set size= 23232 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 31436 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= 3042 # summary of solver processes directly reported to runsolver: # pid: 22843 # total CPU time (s): 2400.1 # total CPU user time (s): 2400.08 # total CPU system time (s): 0.026002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 7.74956 second user time and 16.527 second system time The end
Begin job on node146 at 2019-09-15 20:40:17 IDJOB=4397441 IDBENCH=120733 IDSOLVER=2849 FILE ID=node146/4397441-1568572857 RUNJOBID= node146-1568572743-22678 PBS_JOBID= 21703311 Free space on /tmp= 59028 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-4397441-1568572857/watcher-4397441-1568572857 -o /tmp/evaluation-result-4397441-1568572857/solver-4397441-1568572857 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568572743-22678 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397441-1568572857.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0b71dfa4b5b9c5fdcf93c837b98c609 RANDOM SEED=1007110592 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 30938836 kB MemAvailable: 31872804 kB Buffers: 206916 kB Cached: 998412 kB SwapCached: 4452 kB Active: 575888 kB Inactive: 634964 kB Active(anon): 22784 kB Inactive(anon): 29864 kB Active(file): 553104 kB Inactive(file): 605100 kB Unevictable: 110700 kB Mlocked: 110700 kB SwapTotal: 67108860 kB SwapFree: 67001140 kB Dirty: 2976 kB Writeback: 0 kB AnonPages: 113348 kB Mapped: 46836 kB Shmem: 38664 kB Slab: 213484 kB SReclaimable: 183196 kB SUnreclaim: 30288 kB KernelStack: 3584 kB PageTables: 5788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 537820 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: 109952 kB DirectMap2M: 33435648 kB Free space on /tmp at the end= 59024 MiB End job on node146 at 2019-09-15 21:20:17