TimeConstraint option allows one to stop the evolution early. If an evolution object is requested, it will return
a partial result, otherwise, it will just give $Aborted:
In[] := WolframModel[{{1, 2}} -> {{1, 3}, {1, 3}, {3, 2}},
{{1, 1}}, Infinity, TimeConstraint -> 1]