SymCC MPI Parallel Concolic Execution
  Processes:     8
  Mode:          multi-master (2 masters, auto-scaled at 3 workers/master)
    Master 0: 3 workers
    Master 1: 3 workers
  Shared dir:    /tmp/symcc-f324-heartbeat-final.UebIcV/out
  Input dir:     /tmp/symcc-f324-heartbeat-final.UebIcV/in
  Target:        /bin/sh -c sleep 1.2; mkdir -p "$SYMCC_OUTPUT_DIR"; printf "f324-heartbeat-child\n" > "$SYMCC_OUTPUT_DIR/out"; cat >/dev/null
  Timeout:       3s per execution
  Work epoch:    d7bc9207f53770ee4809b32fdbf55a5f5d4321e79d4ebb9c2666636d44919b84 (new)
  Wall timeout:  30s total

[Master] Imported 12 initial inputs from /tmp/symcc-f324-heartbeat-final.UebIcV/in
[Master] Using 2 master(s), 3 workers in this group
[Master] Durable work ownership: rendezvous + 4 fenced shards, lease=1s
[Master] 3 generated, 0 interesting, 7 analyzed, 3 busy (1 tc/s)
[Master] 7 generated, 0 interesting, 7 analyzed, 0 busy (2 tc/s)
[Master] Global quiescence commit proposed after 1.056s (limit 1s).
[Master 1] Worker shutdown: acked=3/3 pending=[] drained_results=0 result_errors=[] quarantined={} communication_errors=[] elapsed=0.010s
[Master 1] Lease heartbeat group commit: batches=7 renewals=27 directory_syncs=21 directory_syncs_avoided=6 failures=0
[Master] Global quiescence committed by all masters.
[Master 0] Worker shutdown: acked=3/3 pending=[] drained_results=0 result_errors=[] quarantined={} communication_errors=[] elapsed=0.010s
[Master 0] Lease heartbeat group commit: batches=10 renewals=40 directory_syncs=20 directory_syncs_avoided=20 failures=0

[Master] === Final Statistics ===
[Master] Total analysis observations:      13
[Master] Total test cases generated:  13
[Master] New interesting test cases:  1
[Master] Throughput:                  2.6 tc/s
[Master] Masters used:               2
[Master] Workers used:               6
[Master] Analysis by master:         0=7, 1=6