unknown
(:elim-unconstrained  3
 :max-memory          25.22
 :memory              23.11
 :num-allocs          20156246
 :rlimit-count        1679097
 :solve-eqs-elim-vars 11
 :solve-eqs-steps     14
 :time                0.13
 :total-time          0.22)
