unknown
(:elim-unconstrained  37
 :max-memory          25.67
 :memory              23.76
 :num-allocs          29528581
 :rlimit-count        2293869
 :solve-eqs-elim-vars 15
 :solve-eqs-steps     68
 :time                0.19
 :total-time          0.30)
