[SCIP] Another SCIP-Jack related question

[Peter Midford]

Hi,
     How do I interpret the solution reported by SCIP in terms of the
original graph I submitted to SCIP-Jack.  For example, the hc6u problem
(which is included in the SCIP distribution) generates a solution, but when
I type display solution, I get something like the following

SCIP> display solution

objective value:                                   39
x_0_32                                              1     (obj:1)
x_35_3                                              1     (obj:1)
x_37_5                                              1     (obj:1)
x_5_21                                              1     (obj:1)
x_14_6                                              1     (obj:1)
x_25_9                                              1     (obj:1)
...
x_62_54                                             1     (obj:1)
x_58_62                                             1     (obj:1)
x_62_60                                             1     (obj:1)
x_62_63                                             1     (obj:1)
OFFSET                                              1     (obj:0)

So how do the X_a_b variables correspond to the tree?  They look like they
could be edges, but few if any of the numbers of the terminals stated in
the problem appear in the solution.  Is the OFFSET variable indicating I
should adjust the variable names in some way?   This seems plausible, but
it would be nice to know, rather than guess.

Thanks,

Peter Midford
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20171110/987e38cc/attachment.html>