Job 1980

CakeML:42b0f93d63ac7004a25f6bad36dc04a9df303e72
  Merge pull request #907 from mktnk3/word_to_word_Pancake [Sep 13 18:51:45]
HOL:6d032bf33d3633d210f8817c9e769ae66be444aa
  Fix sttVariants given ancestry change in stt example [Sep 09 06:53:04]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Sep 13 19:02:00 Claimed job
Sep 13 19:02:06 Building HOL
Sep 13 19:13:17 Starting developers
Sep 13 19:13:22 Finished developers                                               4s 167MB
Sep 13 19:13:22 Starting developers/bin
Sep 13 19:13:28 Finished developers/bin                                           6s   1GB
Sep 13 19:13:28 Starting semantics/ffi
Sep 13 19:13:37 Finished semantics/ffi                                            8s 223MB
Sep 13 19:13:37 Starting semantics
Sep 13 19:16:09 Finished semantics                                             2m31s   1GB
Sep 13 19:16:09 Starting semantics/proofs
Sep 13 19:24:33 Finished semantics/proofs                                      8m23s   1GB
Sep 13 19:24:33 Starting semantics/alt_semantics
Sep 13 19:24:58 Finished semantics/alt_semantics                                 25s 530MB
Sep 13 19:24:58 Starting semantics/alt_semantics/proofs
Sep 13 19:39:47 Finished semantics/alt_semantics/proofs                       14m48s   2GB
Sep 13 19:39:48 Starting basis/pure
Sep 13 19:43:17 Finished basis/pure                                            3m29s 881MB
Sep 13 19:43:18 Starting translator
Sep 13 19:50:40 Finished translator                                            7m21s   3GB
Sep 13 19:50:40 Starting compiler/parsing
Sep 13 19:52:11 Finished compiler/parsing                                      1m30s   5GB
Sep 13 19:52:11 Starting characteristic
Sep 13 19:59:12 Finished characteristic                                        7m01s   2GB
Sep 13 19:59:12 Starting translator/monadic
Sep 13 20:01:08 Finished translator/monadic                                    1m55s   2GB
Sep 13 20:01:08 Starting basis
Sep 13 20:53:21 Finished basis                                                52m11s  27GB
Sep 13 20:53:21 Starting compiler/inference
Sep 13 20:55:01 Finished compiler/inference                                    1m39s   1GB
Sep 13 20:55:01 Starting compiler/backend/reg_alloc
Sep 13 20:56:44 Finished compiler/backend/reg_alloc                            1m43s   1GB
Sep 13 20:56:44 Starting compiler/backend/gc
Sep 13 21:01:00 Finished compiler/backend/gc                                   4m16s   2GB
Sep 13 21:01:01 Starting compiler/backend
Sep 13 21:06:38 Finished compiler/backend                                      5m37s   2GB
Sep 13 21:06:38 Starting compiler/encoders/asm
Sep 13 21:07:07 Finished compiler/encoders/asm                                   28s 821MB
Sep 13 21:07:07 Starting compiler/encoders/x64
Sep 13 21:08:13 Finished compiler/encoders/x64                                 1m05s   1GB
Sep 13 21:08:13 Starting compiler/encoders/arm7
Sep 13 21:10:17 Finished compiler/encoders/arm7                                2m04s   1GB
Sep 13 21:10:18 Starting compiler/encoders/arm8
Sep 13 21:10:59 Finished compiler/encoders/arm8                                  41s 887MB
Sep 13 21:10:59 Starting compiler/encoders/arm8_asl
Sep 14 16:44:13 Resuming compiler/encoders/arm8_asl
Sep 14 16:46:25 Finished compiler/encoders/arm8_asl                            2m11s 121MB
Sep 14 16:46:25 Starting compiler/encoders/mips Sep 14 16:46:25 53s