unknown
(:max-memory          25.63
 :memory              23.73
 :num-allocs          23943390
 :rlimit-count        1849312
 :solve-eqs-elim-vars 12
 :solve-eqs-steps     47
 :time                0.15
 :total-time          0.26)
