unknown
(:elim-unconstrained  2
 :max-memory          19.81
 :memory              19.51
 :num-allocs          849491
 :rlimit-count        285544
 :solve-eqs-elim-vars 2
 :solve-eqs-steps     2
 :time                0.02
 :total-time          0.05)
