unknown
(:max-memory          21.54
 :memory              20.56
 :num-allocs          7082047
 :rlimit-count        800156
 :solve-eqs-elim-vars 5
 :solve-eqs-steps     10
 :time                0.07
 :total-time          0.13)
