100.00% [12000/12000 00:07<00:00 Sampling 4 chains, 0 divergences]