[Scip] scip reports optimal solution along with violated constraints

[Stefan Heinz]

Hi everyone,

the heuristic trivial is not culprit at all (as all other heuristic). The 
problem with this heuristic result from the fact that this heuristic finds 
solution during the presolving round. Such a solution has to be lifted (for 
some reason) in the original problem space  and their is a bug which we have 
to fix.

Best Stefan

On Wednesday 10 March 2010 09:07:54 you wrote:
> Hello Stefan,
> 
> > could you please turn off the heuristic trivial and check if this helps.
> > SCIP_CALL( SCIPsetIntParam(scip, "heuristics/trivial/freq", -1) );
> 
> This is interesting, the output is now:
> 
>  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols
>  |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap * 0.3s|     1
>  |     0 |     0 |     - | 200k|   0 |   - |  57 |  14 |  57 |   0 |   0 | 
>   0 |   0 | 0.000000e+00 | 0.000000e+00 |   0.00%
> 
> Note that cols is correct, rows is still 0. Any other heuristic which could
>  be the culprit?
> 
> Regards,
> Martin
>