[Bug 551717] New: kpatience: solver uses too much cpu