Oliviarunning a constraint solver is always such fun because it'll chug merrily along until at the drop of a hat it will decide to use all of my memory and lock up the machine
no joke the second I posted this SCIP finished presolving and immediately hit its memory limit