Fix workers dying when no solutions are found. Fixes #20

Fixes #20 

Reviewers: @mhyee