unknown
(:elim-unconstrained  5
 :max-memory          19.78
 :memory              19.50
 :num-allocs          897180
 :rlimit-count        353382
 :solve-eqs-elim-vars 9
 :solve-eqs-steps     43
 :time                0.03
 :total-time          0.05)
