OutOfMemoryException in glueminisat
The exception OutOfMemoryException occurred in glueminisat is unable to caught, which causes
terminate called after throwing an instance of 'GlueMiniSat::OutOfMemoryException'
Abort
and no further output such as best known models.
To reproduce the situation, inovoke
limits -v 300m naps normalized-mps-v2-20-10-nw04.opb