Multithreaded working solver