unknown
(:elim-unconstrained  2
 :max-memory          18.40
 :memory              18.40
 :num-allocs          40047
 :rlimit-count        80629
 :solve-eqs-elim-vars 7
 :solve-eqs-steps     24
 :time                0.01
 :total-time          0.02)
