unknown
(:elim-unconstrained  14
 :max-memory          25.58
 :memory              23.68
 :num-allocs          29214070
 :rlimit-count        2285502
 :solve-eqs-elim-vars 18
 :solve-eqs-steps     32
 :time                0.17
 :total-time          0.27)
