frequency of checking time limit in minisat solve() was increased