Experimenting with more correct measuring of peak RSS on Linux.
Experimenting with more correct measuring of peak RSS on Linux.

  Not sure how portable this field of the /proc filesystem is. May need to
be reverted if it turns out to work poorly.

niklasso/minisat,meteor/minisat,jamesbornholt/minisat,jamesbornholt/minisat,niklasso/minisat,mabdula/minisat,meteor/minisat,robertsami/minisat,mabdula/minisat,robertsami/minisat,meteor/minisat,mabdula/minisat,meteor/minisat