diff options
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/docs/HOWTO_perf')
-rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/docs/HOWTO_perf | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/docs/HOWTO_perf b/cryptominisat5/cryptominisat-5.6.3/docs/HOWTO_perf new file mode 100644 index 000000000..b7cf81ae3 --- /dev/null +++ b/cryptominisat5/cryptominisat-5.6.3/docs/HOWTO_perf @@ -0,0 +1,11 @@ +To 'connect' to already running instance +======================================== +perf top + +But MUCH better results are achievable +======================================== +Run cryptoms and record its profile into perf.data : +perf record ./cryptominisat satfile.cnf + +Read perf.data and display profile: +perf report |