unknown
(:elim-unconstrained  8
 :max-memory          25.34
 :memory              23.23
 :num-allocs          23293933
 :rlimit-count        1963448
 :solve-eqs-elim-vars 12
 :solve-eqs-steps     16
 :time                0.15
 :total-time          0.26)
