eval {
        alarm $timeout;
        $result = `$solver $file`;
        waitpid($pid, 0);
      };