unknown
(:max-memory          19.98
 :memory              19.58
 :num-allocs          880934
 :rlimit-count        303500
 :solve-eqs-elim-vars 2
 :solve-eqs-steps     2
 :time                0.02
 :total-time          0.06)
