unknown
(:elim-unconstrained  9
 :max-memory          25.57
 :memory              23.43
 :num-allocs          27789303
 :rlimit-count        2276363
 :solve-eqs-elim-vars 13
 :solve-eqs-steps     13
 :time                0.18
 :total-time          0.29)
