[Scip] scip reports optimal solution along with violated constraints

[michael.winkler@zib.de]

Hi,

Martin, you wrote, that you used "SCIPcreate/addCons/Var". This means you
use SCIP(create/add)Cons and SCIP(create/add)Var?

Did you run scip in debug-mode? If not please do so.

Best, Michael

> 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
>>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip
>