+
+ cnt = get_system_time() - startTime;
+ cerr << "==============================="
+ << "\nTotal time (ms) : " << cnt
+ << "\nNodes searched : " << totalNodes
+ << "\nNodes/second : " << (int)(totalNodes/(cnt/1000.0)) << endl << endl;
+
+ if (!timFile.empty())
+ {
+ timingFile << cnt << endl << endl;
+ timingFile.close();
+ }
+
+ // Under MS Visual C++ debug window always unconditionally closes
+ // when program exits, this is bad because we want to read results before.
+ #if (defined(WINDOWS) || defined(WIN32) || defined(WIN64))
+ cerr << "Press any key to exit" << endl;
+ cin >> fileName;
+ #endif