consider solver failures (add timeout to the next solver + do not print anything)
small fix
small fix
add tmp dir