unknown
(:elim-unconstrained  3
 :max-memory          21.67
 :memory              20.67
 :num-allocs          7909743
 :rlimit-count        901148
 :solve-eqs-elim-vars 4
 :solve-eqs-steps     5
 :time                0.08
 :total-time          0.13)
