2018-12-05 02:11:31,171 - Mock Version: 1.4.13
2018-12-05 02:11:32,296 - Start: dnf install
2018-12-05 02:17:04,163 - Finish: dnf install
2018-12-05 02:17:05,701 - Finish: chroot init
2018-12-05 02:17:06,497 - Finish: run
2018-12-05 02:17:14,723 - Mock Version: 1.4.13
2018-12-05 02:17:17,838 - Finish: chroot init
2018-12-05 02:17:17,871 - Start: build phase for cbmc-5.10-1.fc30.src.rpm
2018-12-05 02:17:17,923 - Start: build setup for cbmc-5.10-1.fc30.src.rpm
2018-12-05 02:27:49,180 - Finish: build setup for cbmc-5.10-1.fc30.src.rpm
2018-12-05 02:27:49,181 - Start: rpmbuild cbmc-5.10-1.fc30.src.rpm
2018-12-05 05:13:26,786 - Finish: rpmbuild cbmc-5.10-1.fc30.src.rpm
2018-12-05 05:13:26,812 - Finish: build phase for cbmc-5.10-1.fc30.src.rpm
2018-12-05 05:13:26,824 - Finish: run