laser/mpi/search/deadlock
