unknown
(:elim-unconstrained  2
 :max-memory          25.23
 :memory              23.14
 :num-allocs          24733754
 :rlimit-count        1704956
 :solve-eqs-elim-vars 11
 :solve-eqs-steps     11
 :time                0.13
 :total-time          0.24)
