2019-08-01 14:27:13,164 - Mock Version: 1.4.14
2019-08-01 14:27:27,183 - Start: dnf install
2019-08-01 14:48:08,094 - Finish: dnf install
2019-08-01 14:48:26,386 - Finish: chroot init
2019-08-01 14:48:29,900 - Finish: run
2019-08-01 14:49:47,478 - Mock Version: 1.4.14
2019-08-01 14:50:29,230 - Finish: chroot init
2019-08-01 14:50:29,663 - Start: build phase for cbmc-5.11-3.fc31.src.rpm
2019-08-01 14:50:30,262 - Start: build setup for cbmc-5.11-3.fc31.src.rpm
2019-08-01 15:53:06,294 - Finish: build setup for cbmc-5.11-3.fc31.src.rpm
2019-08-01 15:53:06,308 - Start: rpmbuild cbmc-5.11-3.fc31.src.rpm
2019-08-02 03:34:03,278 - Finish: rpmbuild cbmc-5.11-3.fc31.src.rpm
2019-08-02 03:34:03,474 - Finish: build phase for cbmc-5.11-3.fc31.src.rpm
2019-08-02 03:34:03,610 - Finish: run