unknown
(:max-memory          25.43
 :memory              23.31
 :num-allocs          21215301
 :rlimit-count        1792832
 :solve-eqs-elim-vars 11
 :solve-eqs-steps     11
 :time                0.14
 :total-time          0.24)
