On Tue, Sep 02, 2008 at 03:16:13PM +0200, Manuel Bouyer wrote: > I found no code dump. /bulklog/meta/presolve is empty; > /bulklog/meta/presolve.log doesn't show anything obvious. Can you provide the latter? Joerg