Job 986

CakeML:45525c3460da6c671990b6f94687bded8309b023
  Retire a workaround [Aug 08 23:00:47]
#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:oven2 4.15.0-34-generic x86_64 GNU/Linux

Aug 09 05:39:53 Claimed job
Aug 09 05:40:45 Building HOL
Aug 09 05:48:36 Starting developers
Aug 09 05:48:37 Finished developers                                               0s  44MB
Aug 09 05:48:37 Starting developers/bin
Aug 09 05:50:10 Finished developers/bin                                        1m32s 164MB
Aug 09 05:50:10 Starting semantics/ffi
Aug 09 05:50:43 Finished semantics/ffi                                           33s 338MB
Aug 09 05:50:44 Starting semantics
Aug 09 05:52:13 Finished semantics                                             1m29s   1GB
Aug 09 05:52:14 Starting semantics/proofs
Aug 09 05:55:09 Finished semantics/proofs                                      2m55s   1GB
Aug 09 05:55:10 Starting semantics/alt_semantics
Aug 09 05:55:16 Finished semantics/alt_semantics                                  5s 309MB
Aug 09 05:55:17 Starting semantics/alt_semantics/proofs
Aug 09 05:57:04 Finished semantics/alt_semantics/proofs                        1m46s 758MB
Aug 09 05:57:04 Starting basis/pure
Aug 09 06:00:35 Finished basis/pure                                            3m30s 696MB
Aug 09 06:00:35 Starting translator
Aug 09 06:02:20 Finished translator                                            1m44s   1GB
Aug 09 06:02:20 Starting compiler/parsing
Aug 09 06:03:17 Finished compiler/parsing                                        56s   1GB
Aug 09 06:03:17 Starting characteristic
Aug 09 06:08:26 Finished characteristic                                        5m08s   1GB
Aug 09 06:08:26 Starting translator/monadic
Aug 09 06:09:52 Finished translator/monadic                                    1m24s   1GB
Aug 09 06:09:52 Starting basis
Aug 09 06:28:00 Finished basis                                                18m07s   2GB
Aug 09 06:28:01 Starting compiler/inference
Aug 09 06:29:53 Finished compiler/inference                                    1m51s   1GB
Aug 09 06:29:53 Starting compiler/backend/reg_alloc
Aug 09 06:30:51 Finished compiler/backend/reg_alloc                              57s   1GB
Aug 09 06:30:52 Starting compiler/backend/gc
Aug 09 06:39:53 Finished compiler/backend/gc                                   9m00s   2GB
Aug 09 06:39:53 Starting compiler/backend
Aug 09 06:39:55 Finished compiler/backend                                         0s  43MB
Aug 09 06:39:55 Starting compiler/encoders/asm
Aug 09 06:39:55 Finished compiler/encoders/asm                                    0s  37MB
Aug 09 06:39:56 Starting compiler/encoders/x64
Aug 09 06:40:52 Finished compiler/encoders/x64                                   55s 673MB
Aug 09 06:40:52 Starting compiler/encoders/arm7
Aug 09 06:42:29 Finished compiler/encoders/arm7                                1m36s   1GB
Aug 09 06:42:30 Starting compiler/encoders/arm8
Aug 09 06:42:59 Finished compiler/encoders/arm8                                  28s 565MB
Aug 09 06:42:59 Starting compiler/encoders/mips
Aug 09 06:44:03 Finished compiler/encoders/mips                                1m03s 865MB
Aug 09 06:44:03 Starting compiler/encoders/riscv
Aug 09 06:45:20 Finished compiler/encoders/riscv                               1m16s   1GB
Aug 09 06:45:21 Starting compiler/encoders/ag32
Aug 09 06:45:36 Finished compiler/encoders/ag32                                  14s 778MB
Aug 09 06:45:36 Starting compiler/backend/x64
Aug 09 06:45:52 Finished compiler/backend/x64                                    15s   1GB
Aug 09 06:45:53 Starting compiler/backend/arm7
Aug 09 06:46:11 Finished compiler/backend/arm7                                   18s   1GB
Aug 09 06:46:12 Starting compiler/backend/arm8
Aug 09 06:46:28 Finished compiler/backend/arm8                                   16s   1GB
Aug 09 06:46:28 Starting compiler/backend/mips
Aug 09 06:46:45 Finished compiler/backend/mips                                   16s   1GB
Aug 09 06:46:46 Starting compiler/backend/riscv
Aug 09 06:47:02 Finished compiler/backend/riscv                                  15s   1GB
Aug 09 06:47:02 Starting compiler/backend/ag32
Aug 09 06:48:08 Finished compiler/backend/ag32                                 1m05s   1GB
Aug 09 06:48:08 Starting compiler/parsing/proofs
Aug 09 06:53:35 Finished compiler/parsing/proofs                               5m26s 955MB
Aug 09 06:53:35 Starting compiler/inference/proofs
Aug 09 06:56:15 Finished compiler/inference/proofs                             2m40s   1GB
Aug 09 06:56:16 Starting compiler/backend/semantics
Aug 09 07:02:03 Finished compiler/backend/semantics                            5m47s   2GB
Aug 09 07:02:04 Starting compiler/backend/reg_alloc/proofs
Aug 09 07:05:17 Finished compiler/backend/reg_alloc/proofs                     3m12s   1GB
Aug 09 07:05:17 Starting compiler/backend/proofs
Aug 09 07:42:28 Finished compiler/backend/proofs                              37m09s   4GB
Aug 09 07:42:28 Starting compiler/encoders/x64/proofs
Aug 09 07:52:26 Finished compiler/encoders/x64/proofs                          9m57s   5GB
Aug 09 07:52:26 Starting compiler/encoders/arm7/proofs
Aug 09 08:06:08 Finished compiler/encoders/arm7/proofs                        13m41s   3GB
Aug 09 08:06:08 Starting compiler/encoders/arm8/proofs
Aug 09 08:12:49 Finished compiler/encoders/arm8/proofs                         6m39s   1GB
Aug 09 08:12:49 Starting compiler/encoders/mips/proofs
Aug 09 08:22:41 Finished compiler/encoders/mips/proofs                         9m51s   2GB
Aug 09 08:22:42 Starting compiler/encoders/riscv/proofs
Aug 09 08:31:05 Finished compiler/encoders/riscv/proofs                        8m23s   1GB
Aug 09 08:31:06 Starting compiler/encoders/ag32/proofs
Aug 09 08:33:33 Finished compiler/encoders/ag32/proofs                         2m26s 879MB
Aug 09 08:33:34 Starting compiler/backend/x64/proofs
Aug 09 08:33:50 Finished compiler/backend/x64/proofs                             16s   1GB
Aug 09 08:33:51 Starting compiler/backend/arm7/proofs
Aug 09 08:34:07 Finished compiler/backend/arm7/proofs                            16s   1GB
Aug 09 08:34:08 Starting compiler/backend/arm8/proofs
Aug 09 08:34:25 Finished compiler/backend/arm8/proofs                            17s 874MB
Aug 09 08:34:25 Starting compiler/backend/mips/proofs
Aug 09 08:34:43 Finished compiler/backend/mips/proofs                            17s   1GB
Aug 09 08:34:43 Starting compiler/backend/riscv/proofs
Aug 09 08:35:00 Finished compiler/backend/riscv/proofs                           16s   1GB
Aug 09 08:35:01 Starting compiler/backend/ag32/proofs
Aug 09 08:44:00 Finished compiler/backend/ag32/proofs                          8m58s   1GB
Aug 09 08:44:00 Starting compiler/proofs
Aug 09 08:45:14 Finished compiler/proofs                                       1m13s   2GB
Aug 09 08:45:14 Starting candle/set-theory
Aug 09 08:45:40 Finished candle/set-theory                                       25s 721MB
Aug 09 08:45:40 Starting candle/syntax-lib
Aug 09 08:45:49 Finished candle/syntax-lib                                        9s 590MB
Aug 09 08:45:50 Starting candle/standard/syntax
Aug 09 08:47:29 Finished candle/standard/syntax                                1m38s 953MB
Aug 09 08:47:29 Starting candle/standard/semantics
Aug 09 08:49:02 Finished candle/standard/semantics                             1m32s   1GB
Aug 09 08:49:02 Starting candle/standard/monadic
Aug 09 08:50:33 Finished candle/standard/monadic                               1m30s   1GB
Aug 09 08:50:33 Starting candle/standard/ml_kernel
Aug 09 08:54:23 Finished candle/standard/ml_kernel                             3m49s   3GB
Aug 09 08:54:24 Starting candle/standard/opentheory
Aug 09 09:02:56 Finished candle/standard/opentheory                            8m31s   3GB
Aug 09 09:02:56 Starting candle/standard/opentheory/compilation Aug 09 09:02:56 2300s