unknown
(:max-memory          21.64
 :memory              20.64
 :num-allocs          7124837
 :rlimit-count        808922
 :solve-eqs-elim-vars 4
 :solve-eqs-steps     4
 :time                0.07
 :total-time          0.13)
