2019-07-26 18:40:10,881 - Mock Version: 1.4.14
2019-07-26 18:40:27,144 - Start: dnf install
2019-07-26 19:03:09,053 - Finish: dnf install
2019-07-26 19:03:25,595 - Finish: chroot init
2019-07-26 19:03:29,297 - Finish: run
2019-07-26 19:05:04,864 - Mock Version: 1.4.14
2019-07-26 19:05:52,610 - Finish: chroot init
2019-07-26 19:05:52,918 - Start: build phase for cbmc-5.11-2.fc31.src.rpm
2019-07-26 19:05:53,424 - Start: build setup for cbmc-5.11-2.fc31.src.rpm
2019-07-26 20:16:57,737 - Finish: build setup for cbmc-5.11-2.fc31.src.rpm
2019-07-26 20:16:57,745 - Start: rpmbuild cbmc-5.11-2.fc31.src.rpm
2019-07-27 23:23:39,408 - Finish: rpmbuild cbmc-5.11-2.fc31.src.rpm
2019-07-27 23:23:39,824 - Finish: build phase for cbmc-5.11-2.fc31.src.rpm
2019-07-27 23:23:40,091 - Finish: run