launch.sh

#!/usr/bin/env bash
set -euo pipefail

RESULTS_DIR="${1:-results}"
WORKERS="${WORKERS:-8}"
RUN_SECONDS="${RUN_SECONDS:-30}"
ROOT_MAX="${ROOT_MAX:-50000}"
STEP_MAX="${STEP_MAX:-500}"
DIAG_BASE="${DIAG_BASE:-194481}"
DIAG_JITTER="${DIAG_JITTER:-5000}"
DIAG_ROOT_MAX="${DIAG_ROOT_MAX:-2000}"
DIAG_MAX_PAIRS="${DIAG_MAX_PAIRS:-25}"

mkdir -p "${RESULTS_DIR}"

nohup python3 runner_daemon.py \
  --workers "${WORKERS}" \
  --run-seconds "${RUN_SECONDS}" \
  --root-max "${ROOT_MAX}" \
  --step-max "${STEP_MAX}" \
  --diag-target-base "${DIAG_BASE}" \
  --diag-target-jitter "${DIAG_JITTER}" \
  --diag-root-max "${DIAG_ROOT_MAX}" \
  --diag-max-pairs "${DIAG_MAX_PAIRS}" \
  --results-dir "${RESULTS_DIR}" \
  > "${RESULTS_DIR}/daemon.log" 2>&1 &

nohup python3 merge_results.py \
  --results-dir "${RESULTS_DIR}" \
  --loop \
  --interval 300 \
  > "${RESULTS_DIR}/merge.log" 2>&1 &

echo "Started runner_daemon and merge_results in background."
echo "Logs: ${RESULTS_DIR}/daemon.log, ${RESULTS_DIR}/merge.log"