[Bug 551717] kpatience: solver uses too much cpu