On Mon, Sep 23, 2019 at 07:12:20PM +0000, nia wrote: > Anyone else seen this? Wondering if it's a problem with my setup or if > HEAD is currently broken. Look in the meta/presolve file, you should be able to dig out the details from there. Thomas