unknown
(:elim-unconstrained  7
 :max-memory          25.32
 :memory              23.21
 :num-allocs          23016747
 :rlimit-count        1947930
 :solve-eqs-elim-vars 14
 :solve-eqs-steps     33
 :time                0.15
 :total-time          0.25)
