unknown
(:elim-unconstrained  5
 :max-memory          21.57
 :memory              20.59
 :num-allocs          7884171
 :rlimit-count        899209
 :solve-eqs-elim-vars 5
 :solve-eqs-steps     11
 :time                0.08
 :total-time          0.13)
