unknown
(:elim-unconstrained  16
 :max-memory          25.25
 :memory              23.14
 :num-allocs          25091886
 :rlimit-count        2095794
 :solve-eqs-elim-vars 21
 :solve-eqs-steps     70
 :time                0.16
 :total-time          0.26)
