The line about "the process terminates with a message", suggests to me that source code for this algorithm does exist. I think the algorithm is probably NP but

The line about "the process terminates with a message", suggests to me that source code for this algorithm does exist. I think the algorithm is probably NP but it still could be useful for solving NP-hard problems.