solver: + critical path data