unknown
(:elim-unconstrained  9
 :max-memory          25.63
 :memory              23.72
 :num-allocs          25921020
 :rlimit-count        2048750
 :solve-eqs-elim-vars 15
 :solve-eqs-steps     32
 :time                0.16
 :total-time          0.26)
