optionally ignore solver failures

option to ignore solver failure

this is needed because our increasingly complex queries are making solvers chomp lots of RAM, making us kill them, and we want to ignore that kind of thing sometimes

Looks like something weird is going on with the indentation here, maybe because your editor inserted tabs instead of spaces?