unknown
(:elim-unconstrained  52
 :max-memory          25.52
 :memory              23.38
 :num-allocs          21557821
 :rlimit-count        1797633
 :solve-eqs-elim-vars 10
 :solve-eqs-steps     10
 :time                0.17
 :total-time          0.28)
