Job 1581

CakeML:1cfcd59d4f8168f639ea94c4020ba0249898078a
  Merge pull request #833 from CakeML/parse-err [Sep 14 09:26:31]
HOL:6588642ec7a6716809206f4481f0c1c6a9edc536
  Holmake: multibuild reports directory completions with useful data [Sep 13 06:12:29]
Machine:oven3 4.19.67.1.amd64-smp

Sep 15 05:54:46 Claimed job
Sep 15 05:55:01 Building HOL
Sep 15 06:20:12 Starting developers
Sep 15 06:20:20 Finished developers                                               8s 147MB
Sep 15 06:20:21 Starting developers/bin
Sep 15 06:20:33 Finished developers/bin                                          12s   1GB
Sep 15 06:20:34 Starting semantics/ffi
Sep 15 06:21:00 Finished semantics/ffi                                           25s 252MB
Sep 15 06:21:00 Starting semantics
Sep 15 06:24:17 Finished semantics                                             3m17s   1GB
Sep 15 06:24:18 Starting semantics/proofs
Sep 15 06:32:49 Finished semantics/proofs                                      8m31s   1GB
Sep 15 06:32:50 Starting semantics/alt_semantics
Sep 15 06:33:10 Finished semantics/alt_semantics                                 19s 391MB
Sep 15 06:33:10 Starting semantics/alt_semantics/proofs
Sep 15 06:37:57 Finished semantics/alt_semantics/proofs                        4m46s   1GB
Sep 15 06:37:57 Starting basis/pure
Sep 15 06:44:03 Finished basis/pure                                            6m05s   1GB
Sep 15 06:44:03 Starting translator
Sep 15 06:51:02 Finished translator                                            6m58s   1GB
Sep 15 06:51:02 Starting compiler/parsing
Sep 15 06:53:39 Finished compiler/parsing                                      2m36s   2GB
Sep 15 06:53:39 Starting characteristic
Sep 15 07:05:45 Finished characteristic                                       12m05s   2GB
Sep 15 07:05:46 Starting translator/monadic
Sep 15 07:09:12 Finished translator/monadic                                    3m26s   1GB
Sep 15 07:09:12 Starting basis
Sep 15 08:45:33 Finished basis                                              1h36m20s  16GB
Sep 15 08:45:33 Starting compiler/inference
Sep 15 08:48:16 Finished compiler/inference                                    2m42s   1GB
Sep 15 08:48:16 Starting compiler/backend/reg_alloc
Sep 15 08:50:26 Finished compiler/backend/reg_alloc                            2m09s   1GB
Sep 15 08:50:26 Starting compiler/backend/gc
Sep 15 08:57:25 Finished compiler/backend/gc                                   6m58s   2GB
Sep 15 08:57:25 Starting compiler/backend
Sep 15 09:07:09 Finished compiler/backend                                      9m43s   3GB
Sep 15 09:07:09 Starting compiler/encoders/asm
Sep 15 09:07:59 Finished compiler/encoders/asm                                   49s 837MB
Sep 15 09:08:00 Starting compiler/encoders/x64
Sep 15 09:10:19 Finished compiler/encoders/x64                                 2m18s   1GB
Sep 15 09:10:19 Starting compiler/encoders/arm7
Sep 15 09:14:53 Finished compiler/encoders/arm7                                4m33s   1GB
Sep 15 09:14:53 Starting compiler/encoders/arm8
Sep 15 09:16:20 Finished compiler/encoders/arm8                                1m26s 684MB
Sep 15 09:16:20 Starting compiler/encoders/mips
Sep 15 09:19:29 Finished compiler/encoders/mips                                3m08s   1GB
Sep 15 09:19:29 Starting compiler/encoders/riscv
Sep 15 09:23:24 Finished compiler/encoders/riscv                               3m54s   1GB
Sep 15 09:23:24 Starting compiler/encoders/ag32
Sep 15 09:24:03 Finished compiler/encoders/ag32                                  39s 890MB
Sep 15 09:24:04 Starting compiler/backend/x64
Sep 15 09:24:44 Finished compiler/backend/x64                                    40s   1GB
Sep 15 09:24:44 Starting compiler/backend/arm7
Sep 15 09:25:28 Finished compiler/backend/arm7                                   43s   1GB
Sep 15 09:25:28 Starting compiler/backend/arm8
Sep 15 09:26:11 Finished compiler/backend/arm8                                   42s   1GB
Sep 15 09:26:11 Starting compiler/backend/mips
Sep 15 09:26:57 Finished compiler/backend/mips                                   45s   1GB
Sep 15 09:26:57 Starting compiler/backend/riscv
Sep 15 09:27:44 Finished compiler/backend/riscv                                  46s   1GB
Sep 15 09:27:44 Starting compiler/backend/ag32
Sep 15 09:30:15 Finished compiler/backend/ag32                                 2m30s   1GB
Sep 15 09:30:15 Starting compiler/parsing/proofs
Sep 15 09:44:53 Finished compiler/parsing/proofs                              14m37s 961MB
Sep 15 09:44:53 Starting compiler/inference/proofs
Sep 15 09:50:27 Finished compiler/inference/proofs                             5m33s   1GB
Sep 15 09:50:27 Starting compiler/backend/semantics
Sep 15 10:54:17 Finished compiler/backend/semantics                         1h03m49s   2GB
Sep 15 10:54:18 Starting compiler/backend/reg_alloc/proofs
Sep 15 11:02:00 Finished compiler/backend/reg_alloc/proofs                     7m41s 915MB
Sep 15 11:02:00 Starting compiler/backend/proofs
Sep 15 12:42:52 Finished compiler/backend/proofs                            1h40m51s  13GB
Sep 15 12:42:52 Starting compiler/encoders/x64/proofs
Sep 15 13:04:29 Finished compiler/encoders/x64/proofs                         21m37s   4GB
Sep 15 13:04:30 Starting compiler/encoders/arm7/proofs
Sep 15 13:34:17 Finished compiler/encoders/arm7/proofs                        29m47s   3GB
Sep 15 13:34:17 Starting compiler/encoders/arm8/proofs
Sep 15 13:49:33 Finished compiler/encoders/arm8/proofs                        15m15s   1GB
Sep 15 13:49:33 Starting compiler/encoders/mips/proofs
Sep 15 14:12:04 Finished compiler/encoders/mips/proofs                        22m30s   3GB
Sep 15 14:12:04 Starting compiler/encoders/riscv/proofs
Sep 15 14:31:57 Finished compiler/encoders/riscv/proofs                       19m52s   1GB
Sep 15 14:31:57 Starting compiler/encoders/ag32/proofs
Sep 15 14:37:42 Finished compiler/encoders/ag32/proofs                         5m44s 844MB
Sep 15 14:37:42 Starting compiler/backend/x64/proofs
Sep 15 14:38:31 Finished compiler/backend/x64/proofs                             48s   1GB
Sep 15 14:38:32 Starting compiler/backend/arm7/proofs
Sep 15 14:39:23 Finished compiler/backend/arm7/proofs                            51s   1GB
Sep 15 14:39:23 Starting compiler/backend/arm8/proofs
Sep 15 14:40:12 Finished compiler/backend/arm8/proofs                            48s   1GB
Sep 15 14:40:12 Starting compiler/backend/mips/proofs
Sep 15 14:41:03 Finished compiler/backend/mips/proofs                            50s   1GB
Sep 15 14:41:03 Starting compiler/backend/riscv/proofs
Sep 15 14:41:52 Finished compiler/backend/riscv/proofs                           49s   1GB
Sep 15 14:41:53 Starting compiler/backend/ag32/proofs
Sep 15 15:09:56 Finished compiler/backend/ag32/proofs                         28m02s   3GB
Sep 15 15:09:56 Starting compiler/proofs
Sep 15 15:14:21 Finished compiler/proofs                                       4m25s   4GB
Sep 15 15:14:22 Starting candle/set-theory
Sep 15 15:15:21 Finished candle/set-theory                                       59s   1GB
Sep 15 15:15:21 Starting candle/syntax-lib
Sep 15 15:15:45 Finished candle/syntax-lib                                       23s 742MB
Sep 15 15:15:45 Starting candle/standard/syntax
Sep 15 15:19:37 Finished candle/standard/syntax                                3m51s   1GB
Sep 15 15:19:37 Starting candle/standard/semantics
Sep 15 15:23:23 Finished candle/standard/semantics                             3m45s   1GB
Sep 15 15:23:23 Starting candle/standard/monadic
Sep 15 15:27:09 Finished candle/standard/monadic                               3m46s   1GB
Sep 15 15:27:10 Starting candle/standard/ml_kernel
Sep 15 15:39:07 Finished candle/standard/ml_kernel                            11m56s   6GB
Sep 15 15:39:07 Starting candle/overloading/syntax
Sep 15 15:45:43 Finished candle/overloading/syntax                             6m35s   1GB
Sep 15 15:45:44 Starting candle/overloading/semantics
Sep 15 16:12:47 Finished candle/overloading/semantics                         27m02s   2GB
Sep 15 16:12:47 Starting pancake
Sep 15 16:14:29 Finished pancake                                               1m42s 811MB
Sep 15 16:14:30 Starting pancake/ffi
Sep 15 16:14:30 Finished pancake/ffi                                              0s   9MB
Sep 15 16:14:31 Starting pancake/semantics
Sep 15 16:19:21 Finished pancake/semantics                                     4m50s   1GB
Sep 15 16:19:22 Starting pancake/proofs
Sep 15 16:46:39 Finished pancake/proofs                                       27m17s   6GB
Sep 15 16:46:39 Starting characteristic/examples
Sep 15 16:49:31 Finished characteristic/examples                               2m51s   3GB
Sep 15 16:49:31 Starting tutorial/solutions
Sep 15 17:23:16 Finished tutorial/solutions                                   33m43s   9GB
Sep 15 17:23:16 Starting translator/monadic/examples
Sep 15 17:29:04 Finished translator/monadic/examples                           5m48s   2GB
Sep 15 17:29:05 Starting examples
Sep 15 17:46:02 Finished examples                                             16m56s   4GB
Sep 15 17:46:02 Starting examples/compilation/x64 Sep 15 17:46:02 578s