|
@@ -69,8 +69,8 @@ void GSATThreadMPI::printResult() {
|
|
|
printf(YELLOW);
|
|
|
printf("c real time : %.4f seconds\n", result.calcTime);
|
|
|
printf("c [pid:%6d][process:%2d][thread:%2d][iteration:%4d][fill:%d][heuristic:%d]Satisfied clauses (begin: %d)(end:%d)\n",
|
|
|
- getpid(),
|
|
|
- world_rank,
|
|
|
+ result.pid,
|
|
|
+ result.rank,
|
|
|
result.threadId,
|
|
|
result.nbIteration,
|
|
|
result.heuristicFill,
|
|
@@ -81,6 +81,18 @@ void GSATThreadMPI::printResult() {
|
|
|
fflush(stdout);
|
|
|
}
|
|
|
|
|
|
+void GSATThreadMPI::setResult(int pid, int rank, int thread, double time, unsigned int nbIte, unsigned int heuriFill, unsigned int heuriSolve, unsigned int statisfFill, unsigned int satisfSolve) {
|
|
|
+ result.pid = pid;
|
|
|
+ result.rank = rank;
|
|
|
+ result.threadId = thread;
|
|
|
+ result.calcTime = time;
|
|
|
+ result.nbIteration = nbIte;
|
|
|
+ result.heuristicFill = heuriFill;
|
|
|
+ result.heuristicSolve = heuriSolve;
|
|
|
+ result.nbSatisfiedClausesFill = statisfFill;
|
|
|
+ result.nbSatisfiedClausesSolve = statisfFill;
|
|
|
+}
|
|
|
+
|
|
|
/* --- Private --- */
|
|
|
|
|
|
void GSATThreadMPI::solverThread(int id) {
|
|
@@ -115,13 +127,16 @@ void GSATThreadMPI::solverThread(int id) {
|
|
|
this->mpiNotify(world_rank);
|
|
|
this->end(true);
|
|
|
find = true;
|
|
|
- result.threadId = id;
|
|
|
- result.calcTime = gsat[id]->realTime() - startTime;
|
|
|
- result.nbIteration = gsat[id]->getNbIterations();
|
|
|
- result.heuristicFill = gsat[id]->getHeuristicFill();
|
|
|
- result.heuristicSolve = gsat[id]->getHeuristicSolve();
|
|
|
- result.nbSatisfiedClausesFill = gsat[id]->getNbSatisfiedClausesFill();
|
|
|
- result.nbSatisfiedClausesSolve = gsat[id]->getNbSatisfiedClausesSolve();
|
|
|
+ this->setResult(
|
|
|
+ getpid(),
|
|
|
+ world_rank,
|
|
|
+ id, gsat[id]->realTime() - startTime,
|
|
|
+ gsat[id]->getNbIterations(),
|
|
|
+ gsat[id]->getHeuristicFill(),
|
|
|
+ gsat[id]->getHeuristicSolve(),
|
|
|
+ gsat[id]->getNbSatisfiedClausesFill(),
|
|
|
+ gsat[id]->getNbSatisfiedClausesSolve()
|
|
|
+ );
|
|
|
}
|
|
|
}
|
|
|
|