unknown
(:max-memory          25.17
 :memory              23.06
 :num-allocs          20246607
 :rlimit-count        1650973
 :solve-eqs-elim-vars 13
 :solve-eqs-steps     17
 :time                0.13
 :total-time          0.23)
