job files: 87 light slices (one job each), 53 heavy slices x 16 = 848 jobs, 741 resume jobs
resume jobs by engine: v6 0, v7 741
expected log ids: 935
driver logs: 853 started entries, 848 finished entries, 0 FAILED; heavy sub-slices with exactly one "finished": 848 of 848
run directory programB/out/runs: 935 B logs; stray files: 0
logs passing all per-log checks: 935 of 935 expected
complete slices: 140 of 140
engines: light single-log v6: 87 slices; heavy v6: [0, 53, 58, 59, 66, 67]; heavy v7: 47 slices
TOTAL logs=935 nodes(trials)=326322489739 solutions=0 cpu_seconds=234522.33 (65.15 h)
checksum of RESUME_ADDENDUM.md (e93013be9073d3e8...): reproduced with recipe "name bytes + raw digest bytes"
NOTE: jobs started more than once (first start interrupted, .log.part overwritten at restart): B_t000_s08of16[22:33:43,23:07:39] B_t000_s09of16[22:35:07,23:10:12] B_t002_s11of16[23:33:47,00:55:17] B_t002_s12of16[23:37:30,00:55:17] B_t053_s13of16[22:21:28,23:07:39]
NOTE: slice 1 (v7): 2996 of 6008 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 3 (v7): 3393 of 6806 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 4 (v7): 7 of 7056 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 6 (v7): 9 of 3822 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 7 (v7): 44 of 3792 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 9 (v7): 3271 of 6561 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 12 (v7): 41 of 3475 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 13 (v7): 27 of 7384 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 18 (v7): 9 of 1615 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 20 (v7): 11 of 6098 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 24 (v7): 5 of 5767 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 29 (v7): 4 of 4856 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 34 (v7): 3 of 2181 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 35 (v7): 3359 of 6738 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 37 (v7): 2 of 1892 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 42 (v7): 2920 of 5854 listed options were refused at depth 1 by the lex-leader test
NOTE: slice 52 (v7): 2234 of 4482 listed options were refused at depth 1 by the lex-leader test
RESULT: PASS (0 failures)
