Added timeouts for loading and solving