unknown
(:max-memory          21.55
 :memory              20.57
 :num-allocs          7271648
 :rlimit-count        800423
 :solve-eqs-elim-vars 5
 :solve-eqs-steps     9
 :time                0.07
 :total-time          0.12)
