Job 1568

CakeML:de51d72eb8946b47974fa0fc285fe69ea88a3a69
  Remove a termination cheat [Aug 10 07:26:38]
#831 (pancake)
Merging into:76ed0b05089a77059dee72d197fc56c3dae661e8
  Merge pull request #829 from CakeML/help [Jun 18 08:39:57]
HOL:1dfda82edf04a50d842dac582fd1231a6d07239a
  Remove .HOLMK directories before doing a build [Aug 08 23:49:27]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Aug 10 07:27:57 Claimed job
Aug 10 07:28:08 Building HOL
Aug 10 07:39:37 Starting developers
Aug 10 07:39:40 Finished developers                                               2s 123MB
Aug 10 07:39:40 Starting developers/bin
Aug 10 07:39:46 Finished developers/bin                                           5s   1GB
Aug 10 07:39:47 Starting semantics/ffi
Aug 10 07:39:57 Finished semantics/ffi                                            9s 311MB
Aug 10 07:39:57 Starting semantics
Aug 10 07:41:29 Finished semantics                                             1m32s   1GB
Aug 10 07:41:30 Starting semantics/proofs
Aug 10 07:45:02 Finished semantics/proofs                                      3m32s   1GB
Aug 10 07:45:02 Starting semantics/alt_semantics
Aug 10 07:45:11 Finished semantics/alt_semantics                                  8s 438MB
Aug 10 07:45:11 Starting semantics/alt_semantics/proofs
Aug 10 07:47:25 Finished semantics/alt_semantics/proofs                        2m14s   1GB
Aug 10 07:47:25 Starting basis/pure
Aug 10 07:50:07 Finished basis/pure                                            2m41s   1GB
Aug 10 07:50:07 Starting translator
Aug 10 07:53:27 Finished translator                                            3m19s   2GB
Aug 10 07:53:27 Starting compiler/parsing
Aug 10 07:54:36 Finished compiler/parsing                                      1m08s   4GB
Aug 10 07:54:36 Starting characteristic
Aug 10 08:00:22 Finished characteristic                                        5m45s   3GB
Aug 10 08:00:22 Starting translator/monadic
Aug 10 08:02:10 Finished translator/monadic                                    1m48s   3GB
Aug 10 08:02:11 Starting basis
Aug 10 08:46:47 Finished basis                                                44m36s  41GB
Aug 10 08:46:47 Starting compiler/inference
Aug 10 08:48:01 Finished compiler/inference                                    1m13s   2GB
Aug 10 08:48:01 Starting compiler/backend/reg_alloc
Aug 10 08:49:09 Finished compiler/backend/reg_alloc                            1m07s   1GB
Aug 10 08:49:09 Starting compiler/backend/gc
Aug 10 08:52:48 Finished compiler/backend/gc                                   3m38s   2GB
Aug 10 08:52:48 Starting compiler/backend
Aug 10 08:58:02 Finished compiler/backend                                      5m13s   5GB
Aug 10 08:58:02 Starting compiler/encoders/asm
Aug 10 08:58:25 Finished compiler/encoders/asm                                   22s   1GB
Aug 10 08:58:25 Starting compiler/encoders/x64
Aug 10 08:59:28 Finished compiler/encoders/x64                                 1m03s   1GB
Aug 10 08:59:29 Starting compiler/encoders/arm7
Aug 10 09:01:32 Finished compiler/encoders/arm7                                2m03s   1GB
Aug 10 09:01:32 Starting compiler/encoders/arm8
Aug 10 09:02:11 Finished compiler/encoders/arm8                                  38s 965MB
Aug 10 09:02:11 Starting compiler/encoders/mips
Aug 10 09:03:37 Finished compiler/encoders/mips                                1m26s   1GB
Aug 10 09:03:38 Starting compiler/encoders/riscv
Aug 10 09:05:19 Finished compiler/encoders/riscv                               1m41s   1GB
Aug 10 09:05:19 Starting compiler/encoders/ag32
Aug 10 09:05:38 Finished compiler/encoders/ag32                                  18s 972MB
Aug 10 09:05:38 Starting compiler/backend/x64
Aug 10 09:05:58 Finished compiler/backend/x64                                    19s   1GB
Aug 10 09:05:58 Starting compiler/backend/arm7
Aug 10 09:06:18 Finished compiler/backend/arm7                                   20s   1GB
Aug 10 09:06:18 Starting compiler/backend/arm8
Aug 10 09:06:40 Finished compiler/backend/arm8                                   21s   1GB
Aug 10 09:06:40 Starting compiler/backend/mips
Aug 10 09:07:00 Finished compiler/backend/mips                                   20s   1GB
Aug 10 09:07:00 Starting compiler/backend/riscv
Aug 10 09:07:21 Finished compiler/backend/riscv                                  20s   1GB
Aug 10 09:07:21 Starting compiler/backend/ag32
Aug 10 09:08:30 Finished compiler/backend/ag32                                 1m08s   3GB
Aug 10 09:08:30 Starting compiler/parsing/proofs
Aug 10 09:14:12 Finished compiler/parsing/proofs                               5m42s   2GB
Aug 10 09:14:13 Starting compiler/inference/proofs
Aug 10 09:16:45 Finished compiler/inference/proofs                             2m32s   2GB
Aug 10 09:16:46 Starting compiler/backend/semantics
Aug 10 09:43:46 Finished compiler/backend/semantics                           27m00s   4GB
Aug 10 09:43:46 Starting compiler/backend/reg_alloc/proofs
Aug 10 09:47:05 Finished compiler/backend/reg_alloc/proofs                     3m16s   1GB
Aug 10 09:47:05 Starting compiler/backend/proofs
Aug 10 10:41:20 Finished compiler/backend/proofs                              54m14s  34GB
Aug 10 10:41:20 Starting compiler/encoders/x64/proofs
Aug 10 10:50:38 Finished compiler/encoders/x64/proofs                          9m17s   7GB
Aug 10 10:50:38 Starting compiler/encoders/arm7/proofs
Aug 10 11:03:34 Finished compiler/encoders/arm7/proofs                        12m55s   4GB
Aug 10 11:03:34 Starting compiler/encoders/arm8/proofs
Aug 10 11:10:06 Finished compiler/encoders/arm8/proofs                         6m31s   3GB
Aug 10 11:10:06 Starting compiler/encoders/mips/proofs
Aug 10 11:19:55 Finished compiler/encoders/mips/proofs                         9m48s   4GB
Aug 10 11:19:55 Starting compiler/encoders/riscv/proofs
Aug 10 11:28:24 Finished compiler/encoders/riscv/proofs                        8m28s   3GB
Aug 10 11:28:25 Starting compiler/encoders/ag32/proofs
Aug 10 11:30:45 Finished compiler/encoders/ag32/proofs                         2m20s   1GB
Aug 10 11:30:45 Starting compiler/backend/x64/proofs
Aug 10 11:31:08 Finished compiler/backend/x64/proofs                             22s   2GB
Aug 10 11:31:09 Starting compiler/backend/arm7/proofs
Aug 10 11:31:32 Finished compiler/backend/arm7/proofs                            23s   1GB
Aug 10 11:31:32 Starting compiler/backend/arm8/proofs
Aug 10 11:31:55 Finished compiler/backend/arm8/proofs                            22s   1GB
Aug 10 11:31:55 Starting compiler/backend/mips/proofs
Aug 10 11:32:19 Finished compiler/backend/mips/proofs                            23s   1GB
Aug 10 11:32:19 Starting compiler/backend/riscv/proofs
Aug 10 11:32:42 Finished compiler/backend/riscv/proofs                           23s   2GB
Aug 10 11:32:42 Starting compiler/backend/ag32/proofs Aug 10 11:32:42 891s