Job 1892

CakeML:65e9c2b8fdf9de764ec8312c2a898e535154342d
  Remove small tactics [May 06 11:03:43]
#865 (Iced_cake)
Merging into:b22ea8e8ba7e6a7474e33f8273f526a9360cc788
  Merge pull request #883 from CakeML/pan-lemma [May 09 03:44:38]
HOL:66b3a9840d7383e92b62bfdb206f6012f4161e6f
  Add new [simp] theorem to indexedLists: MAPi ( [May 06 03:53:57]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

May 09 04:01:14 Claimed job
May 09 04:01:18 Building HOL
May 09 04:11:08 Starting developers
May 09 04:11:09 Finished developers                                               1s  36MB
May 09 04:11:09 Starting developers/bin
May 09 04:11:15 Finished developers/bin                                           6s   1GB
May 09 04:11:16 Starting semantics/ffi
May 09 04:11:25 Finished semantics/ffi                                            9s 230MB
May 09 04:11:25 Starting semantics
May 09 04:14:05 Finished semantics                                             2m39s   1GB
May 09 04:14:05 Starting semantics/proofs
May 09 04:21:09 Finished semantics/proofs                                      7m04s   1GB
May 09 04:21:10 Starting semantics/alt_semantics
May 09 04:21:37 Finished semantics/alt_semantics                                 26s 533MB
May 09 04:21:38 Starting semantics/alt_semantics/proofs
May 09 04:33:11 Finished semantics/alt_semantics/proofs                       11m33s   1GB
May 09 04:33:11 Starting basis/pure
May 09 04:36:51 Finished basis/pure                                            3m39s 865MB
May 09 04:36:51 Starting translator
May 09 04:40:30 Finished translator                                            3m39s   2GB
May 09 04:40:30 Starting compiler/parsing
May 09 04:42:01 Finished compiler/parsing                                      1m30s   4GB
May 09 04:42:02 Starting characteristic
May 09 04:49:04 Finished characteristic                                        7m02s   1GB
May 09 04:49:05 Starting translator/monadic
May 09 04:51:07 Finished translator/monadic                                    2m01s   1GB
May 09 04:51:07 Starting basis
May 09 05:42:22 Finished basis                                                51m13s  12GB
May 09 05:42:22 Starting compiler/inference
May 09 05:43:59 Finished compiler/inference                                    1m37s   1GB
May 09 05:43:59 Starting compiler/backend/reg_alloc
May 09 05:45:44 Finished compiler/backend/reg_alloc                            1m44s   1GB
May 09 05:45:44 Starting compiler/backend/gc
May 09 05:50:14 Finished compiler/backend/gc                                   4m29s   2GB
May 09 05:50:14 Starting compiler/backend
May 09 05:56:05 Finished compiler/backend                                      5m51s   2GB
May 09 05:56:06 Starting compiler/encoders/asm
May 09 05:56:36 Finished compiler/encoders/asm                                   30s 722MB
May 09 05:56:37 Starting compiler/encoders/x64
May 09 05:57:44 Finished compiler/encoders/x64                                 1m07s 834MB
May 09 05:57:44 Starting compiler/encoders/arm7
May 09 05:59:48 Finished compiler/encoders/arm7                                2m03s   1GB
May 09 05:59:49 Starting compiler/encoders/arm8
May 09 06:00:30 Finished compiler/encoders/arm8                                  41s   1GB
May 09 06:00:31 Starting compiler/encoders/arm8_asl
May 09 08:19:08 Finished compiler/encoders/arm8_asl                         2h18m36s  42GB
May 09 08:19:08 Starting compiler/encoders/mips
May 09 08:20:38 Finished compiler/encoders/mips                                1m29s   1GB
May 09 08:20:38 Starting compiler/encoders/riscv
May 09 08:22:26 Finished compiler/encoders/riscv                               1m48s   1GB
May 09 08:22:26 Starting compiler/encoders/ag32
May 09 08:22:49 Finished compiler/encoders/ag32                                  22s 963MB
May 09 08:22:49 Starting compiler/backend/x64
May 09 08:23:12 Finished compiler/backend/x64                                    23s   1GB
May 09 08:23:12 Starting compiler/backend/arm7
May 09 08:23:37 Finished compiler/backend/arm7                                   24s   1GB
May 09 08:23:37 Starting compiler/backend/arm8
May 09 08:23:59 Finished compiler/backend/arm8                                   22s   1GB
May 09 08:23:59 Starting compiler/backend/mips
May 09 08:24:22 Finished compiler/backend/mips                                   22s   1GB
May 09 08:24:22 Starting compiler/backend/riscv
May 09 08:24:46 Finished compiler/backend/riscv                                  24s   1GB
May 09 08:24:46 Starting compiler/backend/ag32
May 09 08:26:13 Finished compiler/backend/ag32                                 1m27s   1GB
May 09 08:26:13 Starting compiler/parsing/proofs
May 09 08:29:57 Finished compiler/parsing/proofs                               3m43s   1GB
May 09 08:29:57 Starting compiler/inference/proofs
May 09 08:32:42 Finished compiler/inference/proofs                             2m45s   1GB
May 09 08:32:42 Starting compiler/backend/semantics
May 09 09:04:36 Finished compiler/backend/semantics                           31m53s   2GB
May 09 09:04:36 Starting compiler/backend/reg_alloc/proofs
May 09 09:08:10 Finished compiler/backend/reg_alloc/proofs                     3m34s   1GB
May 09 09:08:11 Starting compiler/backend/proofs May 09 09:08:11 3088s