Summarise the log file of an mpi census of triangulations
tricensus-mpi-status log-file
This utility reads a log file produced by a tricensus-mpi job, and writes a human-readable summary to standard output. It can be used for either jobs that have finished or jobs that are still running, and it can happily read logs that have been compressed using gzip or bzip2.
The logs produced by tricensus-mpi are very detailed, including timestamps, details of which slaves have taken which tasks, and how many triangulations each task has produced. This utility distills this detailed log into an easy-to-read summary, with one line for each face pairing.
Output will only appear for face pairings that have been examined so far (which includes face pairings still being processed). This output will include:
•
whether processing for each face pairing has finished;
•
the number of triangulations found so far for each face pairing;
•
the number of subsearches generated and/or finished for each face pairing (only relevant when running in subsearch mode).
The final line of output will list the total number of triangulations found so far, whether the census has finished, and if not, when the last log entry was written.
For further explanation of the terminology used above, see the tricensus-mpi reference.
See the tricensus-mpi reference for a sample session in which tricensus-mpi-status is used.
This utility is not shipped with the drag-and-drop app bundle for MacOS\~X or with the Windows installer.
censuslookup, tricensus-mpi, regina-gui.
This utility was written by Benjamin Burton <[email protected]>. Many people have been involved in the development of Regina; see the users' handbook for a full list of credits.