unknown
(:elim-unconstrained  3
 :max-memory          25.43
 :memory              23.31
 :num-allocs          23223379
 :rlimit-count        1994546
 :solve-eqs-elim-vars 12
 :solve-eqs-steps     14
 :time                0.15
 :total-time          0.25)
