unknown
(:elim-unconstrained  2
 :max-memory          25.33
 :memory              23.22
 :num-allocs          21136749
 :rlimit-count        1763935
 :solve-eqs-elim-vars 11
 :solve-eqs-steps     14
 :time                0.16
 :total-time          0.27)
