unknown
(:elim-unconstrained  3
 :max-memory          19.79
 :memory              19.52
 :num-allocs          909259
 :rlimit-count        328108
 :solve-eqs-elim-vars 9
 :solve-eqs-steps     86
 :time                0.03
 :total-time          0.06)
