unknown
(:elim-unconstrained  12
 :max-memory          25.59
 :memory              23.75
 :num-allocs          26000752
 :rlimit-count        2054380
 :solve-eqs-elim-vars 15
 :solve-eqs-steps     29
 :time                0.17
 :total-time          0.28)
