unknown
(:elim-unconstrained  5
 :max-memory          25.65
 :memory              23.75
 :num-allocs          27313647
 :rlimit-count        2059243
 :solve-eqs-elim-vars 16
 :solve-eqs-steps     61
 :time                0.16
 :total-time          0.26)
