[Scip] failure to free feasible primal CIP solutions

[James Cussens]

I'm solving a series of MIPs, each one with an extra constraint added.
I call

SCIP_CALL( SCIPfreeTransform(scip) );

just before adding each new constraint. When running in debug mode I
(sometimes) get:

gobnilp: src/scip/primal.c:143: SCIPprimalFree: Assertion
`(*primal)->nexistingsols == 0' failed.

Looking at the code in primal.c it seems like the calls to SCIPsolFree
should clear out existing primal
solutions, so I can't see what's gone wrong.

Some of these to-be-deleted primal solutions will have originated from
a heuristic of mine, so perhaps I missed implementing something needed
there.

Any ideas?

James

-- 
James Cussens
Dept of Computer Science &
York Centre for Complex Systems Analysis
Room 326, The Hub, Deramore Lane            Tel    +44 (0)1904 325371
University of York                                        Fax  +44
(0)1904 500159
York YO10 5GE, UK                               http://www.cs.york.ac.uk/~jc