unknown
(:elim-unconstrained  9
 :max-memory          19.76
 :memory              19.51
 :num-allocs          1024691
 :rlimit-count        342823
 :solve-eqs-elim-vars 7
 :solve-eqs-steps     49
 :time                0.03
 :total-time          0.06)
