unknown
(:max-memory          18.39
 :memory              18.39
 :num-allocs          43327
 :rlimit-count        53507
 :solve-eqs-elim-vars 2
 :solve-eqs-steps     2
 :time                0.01
 :total-time          0.02)
