unknown
(:elim-unconstrained  13
 :max-memory          25.61
 :memory              23.71
 :num-allocs          28978729
 :rlimit-count        2288834
 :solve-eqs-elim-vars 21
 :solve-eqs-steps     64
 :time                0.18
 :total-time          0.28)
