unknown
(:elim-unconstrained  2
 :max-memory          25.53
 :memory              23.39
 :num-allocs          22206631
 :rlimit-count        1816105
 :solve-eqs-elim-vars 12
 :solve-eqs-steps     22
 :time                0.14
 :total-time          0.25)
