unknown
(:max-memory          25.32
 :memory              23.20
 :num-allocs          21118709
 :rlimit-count        1730957
 :solve-eqs-elim-vars 13
 :solve-eqs-steps     17
 :time                0.14
 :total-time          0.24)
