[SCIP] vbcfile 4.0.1

[Marc Pfetsch]

> okay, as I understand it, it is no longer necessary to set visual/objextern = FALSE to get a correct vbc outpout. Furthermore lines with "L..." or "U..." always concern primal bounds.

No, objextern is unrelated to this. This parameter decides whether the
internal value of the objective function is used (it may have been
shifted and scaled) or the "external" value, which is the one that one
would expect for the original problem.

The "L ..."  and "U ..." indeed only concern primal bounds. We thought
about adding output for the dual bounds, but have not yet implemented this.

Best

Marc




> -----Ursprüngliche Nachricht-----
> Von: Scip [mailto:scip-bounces at zib.de] Im Auftrag von Marc Pfetsch
> Gesendet: Samstag, 18. November 2017 17:29
> An: scip at zib.de
> Betreff: Re: [SCIP] vbcfile 4.0.1
> 
> 
> 
> Dear Uwe,
> 
> the output of vbcfiles is indeed different:
> 
> 1. The output for maximization problems should be correct now (previously it produced wrong output).
> 
> 2. There is a message for each new solution ("A ...").
> 
> 
> The order should be "A ..." to indicate that a solution has been found.
> As a consequence, the bounds are sometimes updated afterwards (but not always, i.e. if the solution does not improve the bound) and a message is printed ("L ..." or "U ...").
> 
> Best
> 
> Marc
> 
> 
> 
> On 16/11/17 12:01, Gotzes, Uwe Dr. wrote:
>> Hi,
>>
>>  
>>
>> I have observed, that the vbcfile is generated in a different manner 
>> than before in scip 4.0.1.
>>
>>  
>>
>> Here is a small example
>>
>>  
>>
>> #TYPE: COMPLETE TREE
>>
>> #TIME: SET
>>
>> #BOUNDS: SET
>>
>> #INFORMATION: STANDARD
>>
>> #NODE_NUMBER: NONE
>>
>> 00:00:00.17 N 0 1 3
>>
>> 00:00:00.17 I 1 \inode:\t1
>> (000000000075B280)\idepth:\t0\nvar:\t-\nbound:\t-100000000000000000000
>> .000000
>>
>> 00:00:00.18 L 10.000000
>>
>> 00:00:00.18 A 1 \nfound better solution: 1.000000
>>
>> 00:00:00.18 P 1 14
>>
>> 00:00:00.18 L 1.000000
>>
>> 00:00:00.18 P 1 11
>>
>> 00:00:00.18 A 1 \nfound better solution: 0.000000
>>
>> 00:00:00.18 P 1 14
>>
>> 00:00:00.18 L 0.000000
>>
>>  
>>
>> The occurrence of L and A is new, correct? I assume that A indicates, 
>> that a better upper bound was found. Hence I would expect a line with 
>> the indicator U (upper bound) before a line with the indicator A 
>> appears. Or do I get something wrong?
>>
>>  
>>
>> Best
>>
>> Uwe
>>
>>  
>>
>>
>>
>> _______________________________________________
>> Scip mailing list
>> Scip at zib.de
>> https://listserv.zib.de/mailman/listinfo/scip
>>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
>