Job 3474

CakeML:aeb278b98ff0c1bfec0680693540c4261f700826
  Merge pull request #1460 from IlmariReissumies/pan_shift [Aug 20 09:58:55]
HOL:a390cbabd3a4521bab4ee20281e3e42933a8a3ae
  Holmake: resolve a foreign HOLHEAP in its own Holmakefile's directory [Aug 20 06:42:59]
Machine:lammmington
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz

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