Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts