Job 3467

CakeML:f4e20d0b9631e1d07a20b03ed5cec35817b3249b
  Merge pull request #1459 from CakeML/tmc [Aug 19 14:19:06]
HOL:46eb20c9c802edede7e84dc6be6437d704bb6422
  Holmake: decide staleness after the directory walk, not during it [Aug 19 09:18:35]
Machine:timtam
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz

Aug 19 14:35:40 Claimed job
Aug 19 14:35:46 Building HOL
Aug 19 14:49:22 Starting developers
Aug 19 14:50:08 Finished developers                                              44s   1GB
Aug 19 14:50:09 Starting developers/bin
Aug 19 14:50:17 Finished developers/bin                                           7s   1GB
Aug 19 14:50:18 Starting misc
Aug 19 14:51:24 Finished misc                                                  1m05s   1GB
Aug 19 14:51:25 Starting compiler/proofs
Aug 19 16:11:06 Finished compiler/proofs                                    1h19m39s  13GB
Aug 19 16:11:07 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 19 22:37:49 Finished compiler/bootstrap/compilation/x64/64/proofs       6h26m40s  74GB
Aug 19 22:37:50 Starting semantics/ffi
Aug 19 22:38:12 Finished semantics/ffi                                           21s   1GB
Aug 19 22:38:12 Starting semantics
Aug 19 22:38:18 Finished semantics                                                4s   1GB
Aug 19 22:38:19 Starting semantics/proofs
Aug 19 22:38:49 Finished semantics/proofs                                        28s   1GB
Aug 19 22:38:50 Starting semantics/alt_semantics
Aug 19 22:39:12 Finished semantics/alt_semantics                                 21s   1GB
Aug 19 22:39:13 Starting semantics/alt_semantics/proofs
Aug 19 22:43:09 Finished semantics/alt_semantics/proofs                        3m54s   1GB
Aug 19 22:43:09 Starting basis/pure
Aug 19 22:43:16 Finished basis/pure                                               5s   1GB
Aug 19 22:43:17 Starting translator
Aug 19 22:44:29 Finished translator                                            1m11s   3GB
Aug 19 22:44:30 Starting compiler/parsing
Aug 19 22:45:20 Finished compiler/parsing                                        49s   2GB
Aug 19 22:45:21 Starting characteristic
Aug 19 22:45:28 Finished characteristic                                           5s   1GB
Aug 19 22:45:28 Starting translator/monadic
Aug 19 22:45:34 Finished translator/monadic                                       4s   1GB
Aug 19 22:45:35 Starting translator/monadic/monad_base
Aug 19 22:45:41 Finished translator/monadic/monad_base                            5s   1GB
Aug 19 22:45:42 Starting profiler
Aug 19 22:46:18 Finished profiler                                                34s   1GB
Aug 19 22:46:19 Starting basis
Aug 19 22:48:11 Finished basis                                                 1m51s   4GB
Aug 19 22:48:12 Starting compiler
Aug 19 22:48:17 Finished compiler                                                 5s   1GB
Aug 19 22:48:18 Starting compiler/inference
Aug 19 22:48:24 Finished compiler/inference                                       4s   1GB
Aug 19 22:48:25 Starting compiler/backend/reg_alloc
Aug 19 22:48:31 Finished compiler/backend/reg_alloc                               4s   1GB
Aug 19 22:48:32 Starting compiler/backend/gc
Aug 19 22:48:38 Finished compiler/backend/gc                                      4s   1GB
Aug 19 22:48:38 Starting compiler/backend
Aug 19 22:48:44 Finished compiler/backend                                         5s   1GB
Aug 19 22:48:45 Starting compiler/encoders/asm
Aug 19 22:48:51 Finished compiler/encoders/asm                                    4s   1GB
Aug 19 22:48:52 Starting compiler/encoders/x64
Aug 19 22:48:58 Finished compiler/encoders/x64                                    5s   1GB
Aug 19 22:48:59 Starting compiler/encoders/arm7
Aug 19 22:49:04 Finished compiler/encoders/arm7                                   4s   1GB
Aug 19 22:49:05 Starting compiler/encoders/arm8
Aug 19 22:49:11 Finished compiler/encoders/arm8                                   4s   1GB
Aug 19 22:49:12 Starting compiler/encoders/arm8_asl
Aug 20 01:15:18 Finished compiler/encoders/arm8_asl                         2h26m05s  22GB
Aug 20 01:15:19 Starting compiler/encoders/mips
Aug 20 01:15:25 Finished compiler/encoders/mips                                   5s   1GB
Aug 20 01:15:26 Starting compiler/encoders/riscv
Aug 20 01:15:32 Finished compiler/encoders/riscv                                  4s   1GB
Aug 20 01:15:33 Starting compiler/encoders/ag32
Aug 20 01:15:39 Finished compiler/encoders/ag32                                   4s   1GB
Aug 20 01:15:40 Starting compiler/encoders/tests
Aug 20 01:15:46 Finished compiler/encoders/tests                                  5s   1GB
Aug 20 01:15:46 Starting compiler/encoders/monadic_enc
Aug 20 01:16:12 Finished compiler/encoders/monadic_enc                           24s   1GB
Aug 20 01:16:13 Starting compiler/backend/x64
Aug 20 01:16:19 Finished compiler/backend/x64                                     5s   1GB
Aug 20 01:16:20 Starting compiler/backend/arm7
Aug 20 01:16:26 Finished compiler/backend/arm7                                    5s   1GB
Aug 20 01:16:26 Starting compiler/backend/arm8
Aug 20 01:16:32 Finished compiler/backend/arm8                                    4s   1GB
Aug 20 01:16:33 Starting compiler/backend/mips
Aug 20 01:16:39 Finished compiler/backend/mips                                    4s   1GB
Aug 20 01:16:40 Starting compiler/backend/riscv
Aug 20 01:16:46 Finished compiler/backend/riscv                                   5s   1GB
Aug 20 01:16:47 Starting compiler/backend/ag32
Aug 20 01:17:52 Finished compiler/backend/ag32                                 1m04s   1GB
Aug 20 01:17:53 Starting compiler/backend/pattern_matching
Aug 20 01:18:13 Finished compiler/backend/pattern_matching                       19s   1GB
Aug 20 01:18:14 Starting compiler/parsing/ocaml
Aug 20 01:20:28 Finished compiler/parsing/ocaml                                2m12s   1GB
Aug 20 01:20:29 Starting compiler/printing
Aug 20 01:21:29 Finished compiler/printing                                       59s   1GB
Aug 20 01:21:30 Starting compiler/parsing/proofs
Aug 20 01:21:36 Finished compiler/parsing/proofs                                  5s   1GB
Aug 20 01:21:37 Starting compiler/inference/proofs
Aug 20 01:21:42 Finished compiler/inference/proofs                                5s   1GB
Aug 20 01:21:43 Starting compiler/backend/semantics
Aug 20 01:24:53 Finished compiler/backend/semantics                            3m08s   3GB
Aug 20 01:24:54 Starting compiler/backend/reg_alloc/proofs
Aug 20 01:25:00 Finished compiler/backend/reg_alloc/proofs                        5s   1GB
Aug 20 01:25:01 Starting compiler/backend/proofs
Aug 20 01:25:51 Finished compiler/backend/proofs                                 49s   2GB
Aug 20 01:25:52 Starting compiler/backend/serialiser
Aug 20 01:25:57 Finished compiler/backend/serialiser                              5s   1GB
Aug 20 01:25:58 Starting compiler/encoders/x64/proofs
Aug 20 01:26:04 Finished compiler/encoders/x64/proofs                             4s   1GB
Aug 20 01:26:05 Starting compiler/encoders/arm7/proofs
Aug 20 01:38:35 Finished compiler/encoders/arm7/proofs                        12m29s   5GB
Aug 20 01:38:36 Starting compiler/encoders/arm8/proofs
Aug 20 01:46:45 Finished compiler/encoders/arm8/proofs                         8m08s   3GB
Aug 20 01:46:46 Starting compiler/encoders/arm8_asl/proofs
Aug 20 02:43:08 Finished compiler/encoders/arm8_asl/proofs                    56m21s   6GB
Aug 20 02:43:09 Starting compiler/encoders/mips/proofs
Aug 20 02:53:50 Finished compiler/encoders/mips/proofs                        10m39s  10GB
Aug 20 02:53:51 Starting compiler/encoders/riscv/proofs
Aug 20 03:03:22 Finished compiler/encoders/riscv/proofs                        9m29s   3GB
Aug 20 03:03:23 Starting compiler/encoders/ag32/proofs
Aug 20 03:06:33 Finished compiler/encoders/ag32/proofs                         3m09s   1GB
Aug 20 03:06:34 Starting compiler/backend/x64/proofs
Aug 20 03:06:40 Finished compiler/backend/x64/proofs                              4s   1GB
Aug 20 03:06:41 Starting compiler/backend/arm7/proofs
Aug 20 03:07:25 Finished compiler/backend/arm7/proofs                            43s   2GB
Aug 20 03:07:26 Starting compiler/backend/arm8/proofs
Aug 20 03:08:12 Finished compiler/backend/arm8/proofs                            45s   2GB
Aug 20 03:08:13 Starting compiler/backend/arm8_asl
Aug 20 03:08:52 Finished compiler/backend/arm8_asl                               38s   2GB
Aug 20 03:08:53 Starting compiler/backend/mips/proofs
Aug 20 03:09:38 Finished compiler/backend/mips/proofs                            43s   2GB
Aug 20 03:09:39 Starting compiler/backend/riscv/proofs
Aug 20 03:10:28 Finished compiler/backend/riscv/proofs                           48s   2GB
Aug 20 03:10:29 Starting compiler/backend/ag32/proofs
Aug 20 03:20:28 Finished compiler/backend/ag32/proofs                          9m58s   5GB
Aug 20 03:20:29 Starting compiler/backend/cv_compute
Aug 20 03:21:06 Finished compiler/backend/cv_compute                             36s   1GB
Aug 20 03:21:07 Starting cv_translator
Aug 20 03:26:24 Finished cv_translator                                         5m16s   5GB
Aug 20 03:26:25 Starting candle
Aug 20 03:26:31 Finished candle                                                   5s   1GB
Aug 20 03:26:32 Starting candle/set-theory
Aug 20 03:26:53 Finished candle/set-theory                                       20s   1GB
Aug 20 03:26:54 Starting candle/syntax-lib
Aug 20 03:27:00 Finished candle/syntax-lib                                        5s   1GB
Aug 20 03:27:01 Starting candle/standard
Aug 20 03:27:07 Finished candle/standard                                          5s   1GB
Aug 20 03:27:08 Starting candle/standard/syntax
Aug 20 03:27:27 Finished candle/standard/syntax                                  18s   1GB
Aug 20 03:27:28 Starting candle/standard/syntax/little_theories
Aug 20 03:28:47 Finished candle/standard/syntax/little_theories                1m16s   1GB
Aug 20 03:28:47 Starting candle/standard/semantics
Aug 20 03:28:53 Finished candle/standard/semantics                                5s   1GB
Aug 20 03:28:54 Starting candle/standard/monadic
Aug 20 03:29:00 Finished candle/standard/monadic                                  5s   1GB
Aug 20 03:29:01 Starting candle/standard/ml_kernel
Aug 20 03:31:23 Finished candle/standard/ml_kernel                             2m21s   5GB
Aug 20 03:31:25 Starting candle/overloading
Aug 20 03:31:31 Finished candle/overloading                                       5s   1GB
Aug 20 03:31:32 Starting candle/overloading/syntax
Aug 20 03:31:38 Finished candle/overloading/syntax                                4s   1GB
Aug 20 03:31:38 Starting candle/overloading/semantics
Aug 20 03:31:44 Finished candle/overloading/semantics                             5s   1GB
Aug 20 03:31:45 Starting candle/overloading/monadic
Aug 20 03:31:51 Finished candle/overloading/monadic                               5s   1GB
Aug 20 03:31:52 Starting candle/overloading/ml_kernel
Aug 20 03:31:58 Finished candle/overloading/ml_kernel                             5s   1GB
Aug 20 03:31:59 Starting candle/overloading/ml_checker
Aug 20 03:32:05 Finished candle/overloading/ml_checker                            5s   1GB
Aug 20 03:32:05 Starting candle/prover
Aug 20 03:32:11 Finished candle/prover                                            5s   1GB
Aug 20 03:32:12 Starting candle/prover/compute
Aug 20 03:32:18 Finished candle/prover/compute                                    5s   1GB
Aug 20 03:32:19 Starting pancake
Aug 20 03:32:25 Finished pancake                                                  5s   1GB
Aug 20 03:32:26 Starting pancake/semantics
Aug 20 03:35:33 Finished pancake/semantics                                     3m05s   1GB
Aug 20 03:35:34 Starting pancake/parser
Aug 20 03:36:20 Finished pancake/parser                                          45s   1GB
Aug 20 03:36:21 Starting pancake/static_checker
Aug 20 03:39:00 Finished pancake/static_checker                                2m38s   1GB
Aug 20 03:39:01 Starting pancake/proofs
Aug 20 03:56:07 Finished pancake/proofs                                       17m05s   5GB
Aug 20 03:56:08 Starting compiler/dafny
Aug 20 03:56:39 Finished compiler/dafny                                          29s   1GB
Aug 20 03:56:40 Starting compiler/dafny/translation
Aug 20 04:07:26 Finished compiler/dafny/translation                           10m45s   6GB
Aug 20 04:07:27 Starting compiler/dafny/compilation
Aug 20 04:09:47 Finished compiler/dafny/compilation                            2m18s   6GB
Aug 20 04:09:48 Starting compiler/dafny/semantics
Aug 20 04:10:32 Finished compiler/dafny/semantics                                43s   1GB
Aug 20 04:10:33 Starting compiler/dafny/proofs
Aug 20 04:12:20 Finished compiler/dafny/proofs                                 1m45s   1GB
Aug 20 04:12:21 Starting compiler/dafny/vcg
Aug 20 04:12:27 Finished compiler/dafny/vcg                                       5s   1GB
Aug 20 04:12:28 Starting compiler/dafny/vcg/examples
Aug 20 04:13:04 Finished compiler/dafny/vcg/examples                             34s   1GB
Aug 20 04:13:04 Starting compiler/scheme
Aug 20 04:13:36 Finished compiler/scheme                                         30s   1GB
Aug 20 04:13:37 Starting compiler/scheme/translation
Aug 20 04:20:35 Finished compiler/scheme/translation                           6m55s   8GB
Aug 20 04:20:35 Starting compiler/scheme/compilation
Aug 20 04:22:19 Finished compiler/scheme/compilation                           1m42s   5GB
Aug 20 04:22:20 Starting compiler/scheme/proofs
Aug 20 04:29:02 Finished compiler/scheme/proofs                                6m41s   2GB
Aug 20 04:29:03 Starting characteristic/examples
Aug 20 04:30:43 Finished characteristic/examples                               1m39s   5GB
Aug 20 04:30:44 Starting tutorial/solutions
Aug 20 04:30:50 Finished tutorial/solutions                                       5s   1GB
Aug 20 04:30:51 Starting translator/monadic/examples
Aug 20 04:30:57 Finished translator/monadic/examples                              5s   1GB
Aug 20 04:30:58 Starting examples
Aug 20 04:35:21 Finished examples                                              4m22s   4GB
Aug 20 04:35:22 Starting examples/compilation
Aug 20 04:35:28 Finished examples/compilation                                     5s   1GB
Aug 20 04:35:29 Starting examples/compilation/x64
Aug 20 04:44:32 Finished examples/compilation/x64                              9m01s   4GB
Aug 20 04:44:33 Starting examples/compilation/x64/proofs
Aug 20 04:48:23 Finished examples/compilation/x64/proofs                       3m49s   4GB
Aug 20 04:48:24 Starting examples/compilation/ag32
Aug 20 04:51:13 Finished examples/compilation/ag32                             2m47s   3GB
Aug 20 04:51:13 Starting examples/compilation/ag32/proofs
Aug 20 04:52:47 Finished examples/compilation/ag32/proofs                      1m33s   4GB
Aug 20 04:52:48 Starting examples/lpr_checker
Aug 20 04:53:32 Finished examples/lpr_checker                                    42s   1GB
Aug 20 04:53:33 Starting examples/lpr_checker/array
Aug 20 05:06:41 Finished examples/lpr_checker/array                           13m07s   7GB
Aug 20 05:06:42 Starting examples/lpr_checker/array/compilation
Aug 20 05:10:28 Finished examples/lpr_checker/array/compilation                3m45s   7GB
Aug 20 05:10:29 Starting examples/lpr_checker/array/compilation/proofs
Aug 20 05:12:17 Finished examples/lpr_checker/array/compilation/proofs         1m46s   6GB
Aug 20 05:12:18 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 20 05:14:05 Finished examples/lpr_checker/array/compilation/proofsARM8     1m46s   6GB
Aug 20 05:14:06 Starting .
Aug 20 05:14:12 Finished .                                                        5s   1GB
Aug 20 05:14:13 Starting examples/xlrup_checker
Aug 20 05:15:08 Finished examples/xlrup_checker                                  54s   1GB
Aug 20 05:15:09 Starting examples/xlrup_checker/array
Aug 20 05:25:02 Finished examples/xlrup_checker/array                          9m52s   7GB
Aug 20 05:25:03 Starting examples/xlrup_checker/array/compilation
Aug 20 05:26:48 Finished examples/xlrup_checker/array/compilation              1m44s   5GB
Aug 20 05:26:49 Starting examples/xlrup_checker/array/compilation/proofs
Aug 20 05:28:21 Finished examples/xlrup_checker/array/compilation/proofs       1m31s   5GB
Aug 20 05:28:22 Starting examples/cnf
Aug 20 05:28:50 Finished examples/cnf                                            27s   1GB
Aug 20 05:28:51 Starting examples/cnf/array
Aug 20 05:31:16 Finished examples/cnf/array                                    2m24s   2GB
Aug 20 05:31:17 Starting examples/cnf/dist
Aug 20 05:31:27 Finished examples/cnf/dist                                        9s   1GB
Aug 20 05:31:28 Starting examples/cnf/dist/array
Aug 20 05:38:29 Finished examples/cnf/dist/array                               7m00s   6GB
Aug 20 05:38:30 Starting examples/cnf/dist/array/compilation
Aug 20 05:39:36 Finished examples/cnf/dist/array/compilation                   1m05s   3GB
Aug 20 05:39:37 Starting examples/cnf/dist/array/compilation/proofs
Aug 20 05:41:04 Finished examples/cnf/dist/array/compilation/proofs            1m26s   4GB
Aug 20 05:41:05 Starting examples/scpog_checker
Aug 20 05:41:59 Finished examples/scpog_checker                                  52s   2GB
Aug 20 05:41:59 Starting examples/scpog_checker/array
Aug 20 05:47:44 Finished examples/scpog_checker/array                          5m42s   2GB
Aug 20 05:47:45 Starting examples/scpog_checker/array/compilation
Aug 20 05:50:27 Finished examples/scpog_checker/array/compilation              2m41s   8GB
Aug 20 05:50:28 Starting examples/scpog_checker/array/compilation/proofs
Aug 20 05:52:20 Finished examples/scpog_checker/array/compilation/proofs       1m51s   6GB
Aug 20 05:52:21 Starting examples/pseudo_bool
Aug 20 05:54:44 Finished examples/pseudo_bool                                  2m21s   1GB
Aug 20 05:54:45 Starting examples/pseudo_bool/cnf_encoding
Aug 20 05:55:20 Finished examples/pseudo_bool/cnf_encoding                       35s 995MB
Aug 20 05:55:21 Starting examples/pseudo_bool/graph_encoding
Aug 20 05:56:15 Finished examples/pseudo_bool/graph_encoding                     52s   1GB
Aug 20 05:56:16 Starting examples/pseudo_bool/array
Aug 20 06:39:31 Finished examples/pseudo_bool/array                           43m13s  23GB
Aug 20 06:39:32 Starting examples/pseudo_bool/array/compilation
Aug 20 07:04:14 Finished examples/pseudo_bool/array/compilation               24m40s  22GB
Aug 20 07:04:14 Starting examples/pseudo_bool/array/compilation/proofs
Aug 20 07:12:15 Finished examples/pseudo_bool/array/compilation/proofs         7m59s   9GB
Aug 20 07:12:16 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 20 07:15:02 Finished examples/pseudo_bool/array/compilation/proofsARM8     2m46s   8GB
Aug 20 07:15:03 Starting examples/pseudo_bool/cp_encoding
Aug 20 07:18:23 Finished examples/pseudo_bool/cp_encoding                      3m19s   1GB
Aug 20 07:18:24 Starting examples/pseudo_bool/cp_encoding/array
Aug 20 07:24:29 Finished examples/pseudo_bool/cp_encoding/array                6m04s   3GB
Aug 20 07:24:30 Starting examples/pseudo_bool/cp_encoding/array/compilation
Aug 20 07:43:11 Finished examples/pseudo_bool/cp_encoding/array/compilation    18m39s  42GB
Aug 20 07:43:11 Starting examples/pseudo_bool/cp_encoding/array/compilation/proofs
Aug 20 07:47:14 Finished examples/pseudo_bool/cp_encoding/array/compilation/proofs     4m01s  13GB
Aug 20 07:47:15 Starting examples/opentheory
Aug 20 07:54:36 Finished examples/opentheory                                   7m20s   3GB
Aug 20 07:54:37 Starting examples/opentheory/compilation
Aug 20 07:56:44 Finished examples/opentheory/compilation                       2m06s   5GB
Aug 20 07:56:45 Starting examples/opentheory/compilation/proofs
Aug 20 07:58:32 Finished examples/opentheory/compilation/proofs                1m45s   4GB
Aug 20 07:58:32 Starting examples/opentheory/compilation/ag32
Aug 20 08:00:52 Finished examples/opentheory/compilation/ag32                  2m18s   7GB
Aug 20 08:00:53 Starting examples/opentheory/compilation/ag32/proofs
Aug 20 08:02:53 Finished examples/opentheory/compilation/ag32/proofs           1m59s   7GB
Aug 20 08:02:54 Starting examples/sat_encodings
Aug 20 08:04:04 Finished examples/sat_encodings                                1m08s 771MB
Aug 20 08:04:04 Starting examples/sat_encodings/demo
Aug 20 08:04:08 Finished examples/sat_encodings/demo                              2s 294MB
Aug 20 08:04:08 Starting examples/sat_encodings/case_studies
Aug 20 08:05:58 Finished examples/sat_encodings/case_studies                   1m48s   1GB
Aug 20 08:05:58 Starting examples/sat_encodings/translation
Aug 20 08:09:54 Finished examples/sat_encodings/translation                    3m54s   1GB
Aug 20 08:09:54 Starting examples/sat_encodings/translation/compilation
Aug 20 08:12:51 Finished examples/sat_encodings/translation/compilation        2m55s   5GB
Aug 20 08:12:51 Starting examples/deflate
Aug 20 08:13:20 Finished examples/deflate                                        27s   1GB
Aug 20 08:13:21 Starting examples/deflate/translation
Aug 20 08:14:31 Finished examples/deflate/translation                          1m09s   3GB
Aug 20 08:14:32 Starting examples/deflate/translation/compilation
Aug 20 08:15:51 Finished examples/deflate/translation/compilation              1m17s   4GB
Aug 20 08:15:52 Starting examples/vipr
Aug 20 08:18:32 Finished examples/vipr                                         2m39s   5GB
Aug 20 08:18:33 Starting examples/vipr/compilation
Aug 20 08:19:58 Finished examples/vipr/compilation                             1m24s   4GB
Aug 20 08:19:59 Starting examples/flover/Infra
Aug 20 08:20:41 Finished examples/flover/Infra                                   41s   1GB
Aug 20 08:20:42 Starting examples/flover/semantics
Aug 20 08:22:13 Finished examples/flover/semantics                             1m30s   1GB
Aug 20 08:22:14 Starting examples/flover
Aug 20 08:42:29 Finished examples/flover                                      20m14s   1GB
Aug 20 08:42:30 Starting examples/template
Aug 20 08:42:39 Finished examples/template                                        7s   1GB
Aug 20 08:42:39 Starting examples/template/translation
Aug 20 08:43:09 Finished examples/template/translation                           29s   1GB
Aug 20 08:43:10 Starting examples/template/compilation
Aug 20 08:44:33 Finished examples/template/compilation                         1m22s   4GB
Aug 20 08:44:34 Starting translator/okasaki-examples
Aug 20 08:48:03 Finished translator/okasaki-examples                           3m28s   3GB
Aug 20 08:48:04 Starting translator/other-examples
Aug 20 08:48:10 Finished translator/other-examples                                5s   1GB
Aug 20 08:48:11 Starting translator/other-examples/auxiliary
Aug 20 08:48:18 Finished translator/other-examples/auxiliary                      5s   1GB
Aug 20 08:48:18 Starting compiler/parsing/tests
Aug 20 08:49:09 Finished compiler/parsing/tests                                  49s   1GB
Aug 20 08:49:10 Starting compiler/inference/tests
Aug 20 08:50:03 Finished compiler/inference/tests                                52s   2GB
Aug 20 08:50:04 Starting compiler/printing/test
Aug 20 08:53:26 Finished compiler/printing/test                                3m20s  14GB
Aug 20 08:53:26 Starting compiler/repl
Aug 20 08:53:33 Finished compiler/repl                                            5s   1GB
Aug 20 08:53:34 Starting compiler/benchmarks
Aug 20 08:53:40 Finished compiler/benchmarks                                      5s   1GB
Aug 20 08:53:41 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Aug 20 08:53:47 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             5s   1GB
Aug 20 08:53:48 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Aug 20 08:53:54 Finished compiler/benchmarks/mlton_benchmarks/cakeml              5s   1GB
Aug 20 08:53:55 Starting compiler/bootstrap/translation
Aug 20 10:43:53 Finished compiler/bootstrap/translation                     1h49m56s  36GB
Aug 20 10:43:53 Starting compiler/bootstrap/compilation/x64/64
Aug 20 10:49:22 Finished compiler/bootstrap/compilation/x64/64                 5m16s  23GB
Aug 20 10:49:23 Starting compiler/bootstrap/compilation/x64/32
Aug 20 10:49:29 Finished compiler/bootstrap/compilation/x64/32                    5s   1GB
Aug 20 10:49:30 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 20 10:49:37 Finished compiler/bootstrap/compilation/x64/32/proofs             5s   1GB
Aug 20 10:49:37 Starting compiler/bootstrap/compilation/arm8/64
Aug 20 11:46:56 Finished compiler/bootstrap/compilation/arm8/64               57m10s  88GB
Aug 20 11:46:57 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 20 11:58:53 Finished compiler/bootstrap/compilation/arm8/64/proofs        11m54s  40GB
Aug 20 11:58:54 Starting compiler/bootstrap/compilation/ag32/32
Aug 20 12:41:35 Finished compiler/bootstrap/compilation/ag32/32               42m39s  94GB
Aug 20 12:41:36 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 20 12:52:23 Finished compiler/bootstrap/compilation/ag32/32/proofs        10m45s  38GB
Aug 20 12:52:24 Starting unverified/sexpr-bootstrap/x64/64
Aug 20 12:58:54 Finished unverified/sexpr-bootstrap/x64/64                     6m28s  24GB
Aug 20 12:58:54 Starting unverified/sexpr-bootstrap/x64/32
Aug 20 12:59:01 Finished unverified/sexpr-bootstrap/x64/32                        5s   1GB
Aug 20 12:59:02 SUCCESS