Job 987

CakeML:1aac637e60d5305aa2fce6ba9717a69d64fbd9f4
  Add new lab_to_target code to backendComputeLib [Aug 09 12:09:57]
#677 (clos-install)
Merging into:980410c6c89921c2e8950a5127bd9f32791f50bf
  Fix more def_compte issues [Aug 05 04:31:17]
HOL:8384b1c70482d5fbd9ad4d83775cae2a05294515
  Make Portable.single available in Lib [Aug 08 02:06:55]
Machine:te1

Aug 09 12:51:13 Claimed job
Aug 09 12:51:19 Building HOL
Aug 09 13:04:30 Starting developers
Aug 09 13:04:32 Finished developers                                               2s  38MB
Aug 09 13:04:32 Starting developers/bin
Aug 09 13:04:39 Finished developers/bin                                           6s 972MB
Aug 09 13:04:40 Starting semantics/ffi
Aug 09 13:05:35 Finished semantics/ffi                                           55s 580MB
Aug 09 13:05:35 Starting semantics
Aug 09 13:07:52 Finished semantics                                             2m16s   1GB
Aug 09 13:07:52 Starting semantics/proofs
Aug 09 13:12:18 Finished semantics/proofs                                      4m25s   1GB
Aug 09 13:12:18 Starting semantics/alt_semantics
Aug 09 13:12:30 Finished semantics/alt_semantics                                 11s 290MB
Aug 09 13:12:30 Starting semantics/alt_semantics/proofs
Aug 09 13:15:03 Finished semantics/alt_semantics/proofs                        2m33s 818MB
Aug 09 13:15:03 Starting basis/pure
Aug 09 13:20:06 Finished basis/pure                                            5m02s 787MB
Aug 09 13:20:06 Starting translator
Aug 09 13:22:34 Finished translator                                            2m27s   1GB
Aug 09 13:22:34 Starting compiler/parsing
Aug 09 13:23:53 Finished compiler/parsing                                      1m18s   2GB
Aug 09 13:23:53 Starting characteristic
Aug 09 13:31:28 Finished characteristic                                        7m34s   1GB
Aug 09 13:31:28 Starting translator/monadic
Aug 09 13:33:31 Finished translator/monadic                                    2m03s   1GB
Aug 09 13:33:31 Starting basis
Aug 09 13:59:03 Finished basis                                                25m31s   2GB
Aug 09 13:59:03 Starting compiler/inference
Aug 09 14:01:44 Finished compiler/inference                                    2m41s   1GB
Aug 09 14:01:44 Starting compiler/backend/reg_alloc
Aug 09 14:03:05 Finished compiler/backend/reg_alloc                            1m21s   1GB
Aug 09 14:03:05 Starting compiler/backend/gc
Aug 09 14:15:59 Finished compiler/backend/gc                                  12m53s   2GB
Aug 09 14:15:59 Starting compiler/backend
Aug 09 14:16:02 Finished compiler/backend                                         2s  31MB
Aug 09 14:16:02 Starting compiler/encoders/asm
Aug 09 14:16:03 Finished compiler/encoders/asm                                    1s  21MB
Aug 09 14:16:03 Starting compiler/encoders/x64
Aug 09 14:17:32 Finished compiler/encoders/x64                                 1m28s 623MB
Aug 09 14:17:32 Starting compiler/encoders/arm7
Aug 09 14:19:58 Finished compiler/encoders/arm7                                2m26s   1GB
Aug 09 14:19:58 Starting compiler/encoders/arm8
Aug 09 14:20:46 Finished compiler/encoders/arm8                                  47s 646MB
Aug 09 14:20:46 Starting compiler/encoders/mips
Aug 09 14:22:28 Finished compiler/encoders/mips                                1m42s   1GB
Aug 09 14:22:28 Starting compiler/encoders/riscv
Aug 09 14:24:31 Finished compiler/encoders/riscv                               2m03s 866MB
Aug 09 14:24:31 Starting compiler/encoders/ag32
Aug 09 14:24:56 Finished compiler/encoders/ag32                                  24s 806MB
Aug 09 14:24:56 Starting compiler/backend/x64
Aug 09 14:25:22 Finished compiler/backend/x64                                    25s   1GB
Aug 09 14:25:22 Starting compiler/backend/arm7
Aug 09 14:25:49 Finished compiler/backend/arm7                                   27s   1GB
Aug 09 14:25:50 Starting compiler/backend/arm8
Aug 09 14:26:15 Finished compiler/backend/arm8                                   25s   1GB
Aug 09 14:26:15 Starting compiler/backend/mips
Aug 09 14:26:40 Finished compiler/backend/mips                                   24s   1GB
Aug 09 14:26:40 Starting compiler/backend/riscv
Aug 09 14:27:07 Finished compiler/backend/riscv                                  26s   1GB
Aug 09 14:27:07 Starting compiler/backend/ag32
Aug 09 14:28:41 Finished compiler/backend/ag32                                 1m33s   1GB
Aug 09 14:28:41 Starting compiler/parsing/proofs
Aug 09 14:37:35 Finished compiler/parsing/proofs                               8m53s   1GB
Aug 09 14:37:35 Starting compiler/inference/proofs
Aug 09 14:41:30 Finished compiler/inference/proofs                             3m55s   1GB
Aug 09 14:41:30 Starting compiler/backend/semantics
Aug 09 14:49:19 Finished compiler/backend/semantics                            7m48s   2GB
Aug 09 14:49:19 Starting compiler/backend/reg_alloc/proofs
Aug 09 14:54:12 Finished compiler/backend/reg_alloc/proofs                     4m53s   1GB
Aug 09 14:54:12 Starting compiler/backend/proofs
Aug 09 15:45:06 Finished compiler/backend/proofs                              50m52s   4GB
Aug 09 15:45:06 Starting compiler/encoders/x64/proofs Aug 09 15:45:06 620s