unknown
(:elim-unconstrained  4
 :max-memory          25.29
 :memory              23.19
 :num-allocs          22904715
 :rlimit-count        1935660
 :solve-eqs-elim-vars 13
 :solve-eqs-steps     23
 :time                0.15
 :total-time          0.25)
