GC constraint solving should be parallel