unknown
(:elim-unconstrained  4
 :max-memory          18.39
 :memory              18.39
 :num-allocs          40211
 :rlimit-count        75755
 :solve-eqs-elim-vars 6
 :solve-eqs-steps     37
 :time                0.01
 :total-time          0.02)
