Adds incremental progress writes, restricted time limit, and validation for only feasible results.