unknown
(:elim-unconstrained  10
 :max-memory          25.63
 :memory              23.73
 :num-allocs          25916851
 :rlimit-count        2047714
 :solve-eqs-elim-vars 23
 :solve-eqs-steps     66
 :time                0.19
 :total-time          0.29)
