Restart timers in 'check_solver'
redis: set date of timer start as its value