High-Efficiency Distributed Nonconvex Optimization Design with Certified Stopping Rule