unknown
(:max-memory          19.81
 :memory              19.51
 :num-allocs          853490
 :rlimit-count        287980
 :solve-eqs-elim-vars 4
 :solve-eqs-steps     9
 :time                0.03
 :total-time          0.06)
