MPI_Wtime() -> Minisat::cpuTime()