let decay_clause_utility_interval = 100