static void timedGCPlusDeadlockSolving() {
  timedGC();
  printDeadlocksAndSolve();
}