make counter non-global, since now there can be multiple solvers running at once
make counter non-global, since now there can be multiple solvers running at once

Lucas-naceri/to11,MCSDWVL/to11,asbien/to11,Lucas-naceri/to11,asbien/to11