2018-09-27 03:49:16,225 - Mock Version: 1.3.4
2018-09-27 03:49:16,376 - Start: dnf install
2018-09-27 03:50:07,678 - Finish: dnf install
2018-09-27 03:50:07,939 - Finish: chroot init
2018-09-27 03:50:07,977 - Finish: run
2018-09-27 03:50:12,062 - Mock Version: 1.3.4
2018-09-27 03:50:12,495 - Finish: chroot init
2018-09-27 03:50:12,497 - Start: build phase for cbmc-5.10-1.fc29.src.rpm
2018-09-27 03:50:12,501 - Start: build setup for cbmc-5.10-1.fc29.src.rpm
2018-09-27 03:51:48,322 - Finish: build setup for cbmc-5.10-1.fc29.src.rpm
2018-09-27 03:51:48,322 - Start: rpmbuild cbmc-5.10-1.fc29.src.rpm
2018-09-27 04:09:28,935 - Finish: rpmbuild cbmc-5.10-1.fc29.src.rpm
2018-09-27 04:09:28,939 - Finish: build phase for cbmc-5.10-1.fc29.src.rpm
2018-09-27 04:09:28,940 - Finish: run