Job 3251

CakeML:dba45a2208258fb0605c78fd13b787a3f7203ff7
  Adjust desugaring of OCaml to CakeML AST (#1345) [Mar 08 05:11:09]
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
  Mention change in remove_user_printer's type in release notes [Feb 27 23:41:15]
Machine:pavlova
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Mar 08 05:24:50 Claimed job
Mar 08 05:24:55 Reusing HOL
Mar 08 05:25:06 Starting developers
Mar 08 05:25:12 Finished developers                                               4s 211MB
Mar 08 05:25:13 Starting developers/bin
Mar 08 05:25:17 Finished developers/bin                                           3s  90MB
Mar 08 05:25:18 Starting misc
Mar 08 05:26:02 Finished misc                                                    42s   1GB
Mar 08 05:26:03 Starting compiler/proofs
Mar 08 06:25:21 Finished compiler/proofs                                      59m16s  15GB
Mar 08 06:25:22 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 08 12:13:22 Finished compiler/bootstrap/compilation/x64/64/proofs       5h47m57s  95GB
Mar 08 12:13:23 Starting semantics/ffi
Mar 08 12:13:34 Finished semantics/ffi                                           10s 550MB
Mar 08 12:13:35 Starting semantics
Mar 08 12:13:37 Finished semantics                                                1s  91MB
Mar 08 12:13:39 Starting semantics/proofs
Mar 08 12:14:01 Finished semantics/proofs                                        21s   1GB
Mar 08 12:14:02 Starting semantics/alt_semantics
Mar 08 12:14:20 Finished semantics/alt_semantics                                 16s 558MB
Mar 08 12:14:21 Starting semantics/alt_semantics/proofs
Mar 08 12:17:36 Finished semantics/alt_semantics/proofs                        3m14s   1GB
Mar 08 12:17:37 Starting basis/pure
Mar 08 12:17:39 Finished basis/pure                                               0s  82MB
Mar 08 12:17:41 Starting translator
Mar 08 12:18:47 Finished translator                                            1m05s   3GB
Mar 08 12:18:48 Starting compiler/parsing
Mar 08 12:18:50 Finished compiler/parsing                                         1s  93MB
Mar 08 12:18:51 Starting characteristic
Mar 08 12:18:54 Finished characteristic                                           1s 114MB
Mar 08 12:18:55 Starting translator/monadic
Mar 08 12:18:57 Finished translator/monadic                                       1s 115MB
Mar 08 12:18:59 Starting translator/monadic/monad_base
Mar 08 12:19:01 Finished translator/monadic/monad_base                            1s  88MB
Mar 08 12:19:02 Starting profiler
Mar 08 12:19:33 Finished profiler                                                30s   1GB
Mar 08 12:19:34 Starting basis
Mar 08 12:21:10 Finished basis                                                 1m34s   4GB
Mar 08 12:21:11 Starting compiler
Mar 08 12:21:15 Finished compiler                                                 2s 216MB
Mar 08 12:21:16 Starting compiler/inference
Mar 08 12:21:19 Finished compiler/inference                                       1s 119MB
Mar 08 12:21:20 Starting compiler/backend/reg_alloc
Mar 08 12:21:22 Finished compiler/backend/reg_alloc                               1s  92MB
Mar 08 12:21:23 Starting compiler/backend/gc
Mar 08 12:21:26 Finished compiler/backend/gc                                      1s 144MB
Mar 08 12:21:27 Starting compiler/backend
Mar 08 12:21:33 Finished compiler/backend                                         4s 237MB
Mar 08 12:21:34 Starting compiler/encoders/asm
Mar 08 12:21:36 Finished compiler/encoders/asm                                    1s 100MB
Mar 08 12:21:37 Starting compiler/encoders/x64
Mar 08 12:21:40 Finished compiler/encoders/x64                                    1s 112MB
Mar 08 12:21:41 Starting compiler/encoders/arm7
Mar 08 12:21:43 Finished compiler/encoders/arm7                                   1s 106MB
Mar 08 12:21:44 Starting compiler/encoders/arm8
Mar 08 12:21:46 Finished compiler/encoders/arm8                                   1s 111MB
Mar 08 12:21:48 Starting compiler/encoders/arm8_asl
Mar 08 12:22:46 Finished compiler/encoders/arm8_asl                              57s  19GB
Mar 08 12:22:47 Starting compiler/encoders/mips
Mar 08 12:22:49 Finished compiler/encoders/mips                                   1s 106MB
Mar 08 12:22:50 Starting compiler/encoders/riscv
Mar 08 12:22:53 Finished compiler/encoders/riscv                                  1s 106MB
Mar 08 12:22:54 Starting compiler/encoders/ag32
Mar 08 12:22:56 Finished compiler/encoders/ag32                                   1s 106MB
Mar 08 12:22:57 Starting compiler/encoders/tests
Mar 08 12:23:00 Finished compiler/encoders/tests                                  1s 124MB
Mar 08 12:23:01 Starting compiler/encoders/monadic_enc
Mar 08 12:23:24 Finished compiler/encoders/monadic_enc                           21s   1GB
Mar 08 12:23:25 Starting compiler/backend/x64
Mar 08 12:23:28 Finished compiler/backend/x64                                     1s 142MB
Mar 08 12:23:29 Starting compiler/backend/arm7
Mar 08 12:23:31 Finished compiler/backend/arm7                                    1s 141MB
Mar 08 12:23:33 Starting compiler/backend/arm8
Mar 08 12:23:35 Finished compiler/backend/arm8                                    1s 141MB
Mar 08 12:23:36 Starting compiler/backend/mips
Mar 08 12:23:39 Finished compiler/backend/mips                                    1s 142MB
Mar 08 12:23:40 Starting compiler/backend/riscv
Mar 08 12:23:43 Finished compiler/backend/riscv                                   1s 141MB
Mar 08 12:23:44 Starting compiler/backend/ag32
Mar 08 12:24:43 Finished compiler/backend/ag32                                   57s   3GB
Mar 08 12:24:44 Starting compiler/backend/pattern_matching
Mar 08 12:24:46 Finished compiler/backend/pattern_matching                        1s  88MB
Mar 08 12:24:48 Starting compiler/parsing/ocaml
Mar 08 12:26:35 Finished compiler/parsing/ocaml                                1m46s   1GB
Mar 08 12:26:36 Starting compiler/printing
Mar 08 12:27:34 Finished compiler/printing                                       56s   1GB
Mar 08 12:27:35 Starting compiler/parsing/proofs
Mar 08 12:27:37 Finished compiler/parsing/proofs                                  1s  99MB
Mar 08 12:27:38 Starting compiler/inference/proofs
Mar 08 12:27:41 Finished compiler/inference/proofs                                1s 116MB
Mar 08 12:27:42 Starting compiler/backend/semantics
Mar 08 12:30:24 Finished compiler/backend/semantics                            2m41s   3GB
Mar 08 12:30:25 Starting compiler/backend/reg_alloc/proofs
Mar 08 12:30:28 Finished compiler/backend/reg_alloc/proofs                        1s 115MB
Mar 08 12:30:29 Starting compiler/backend/proofs
Mar 08 12:31:09 Finished compiler/backend/proofs                                 38s   1GB
Mar 08 12:31:10 Starting compiler/backend/serialiser
Mar 08 12:31:13 Finished compiler/backend/serialiser                              1s 153MB
Mar 08 12:31:14 Starting compiler/encoders/x64/proofs
Mar 08 12:31:16 Finished compiler/encoders/x64/proofs                             1s 114MB
Mar 08 12:31:17 Starting compiler/encoders/arm7/proofs
Mar 08 12:41:51 Finished compiler/encoders/arm7/proofs                        10m32s   9GB
Mar 08 12:41:52 Starting compiler/encoders/arm8/proofs
Mar 08 12:48:10 Finished compiler/encoders/arm8/proofs                         6m16s   5GB
Mar 08 12:48:11 Starting compiler/encoders/arm8_asl/proofs
Mar 08 13:02:57 Finished compiler/encoders/arm8_asl/proofs                    14m44s   3GB
Mar 08 13:02:58 Starting compiler/encoders/mips/proofs
Mar 08 13:12:07 Finished compiler/encoders/mips/proofs                         9m07s  18GB
Mar 08 13:12:08 Starting compiler/encoders/riscv/proofs
Mar 08 13:20:26 Finished compiler/encoders/riscv/proofs                        8m16s   4GB
Mar 08 13:20:27 Starting compiler/encoders/ag32/proofs
Mar 08 13:22:57 Finished compiler/encoders/ag32/proofs                         2m28s   2GB
Mar 08 13:22:58 Starting compiler/backend/x64/proofs
Mar 08 13:23:02 Finished compiler/backend/x64/proofs                              2s 210MB
Mar 08 13:23:03 Starting compiler/backend/arm7/proofs
Mar 08 13:23:37 Finished compiler/backend/arm7/proofs                            33s   2GB
Mar 08 13:23:38 Starting compiler/backend/arm8/proofs
Mar 08 13:24:13 Finished compiler/backend/arm8/proofs                            33s   2GB
Mar 08 13:24:14 Starting compiler/backend/arm8_asl
Mar 08 13:24:39 Finished compiler/backend/arm8_asl                               24s   2GB
Mar 08 13:24:41 Starting compiler/backend/mips/proofs
Mar 08 13:25:16 Finished compiler/backend/mips/proofs                            33s   2GB
Mar 08 13:25:17 Starting compiler/backend/riscv/proofs
Mar 08 13:25:52 Finished compiler/backend/riscv/proofs                           33s   2GB
Mar 08 13:25:53 Starting compiler/backend/ag32/proofs
Mar 08 13:33:31 Finished compiler/backend/ag32/proofs                          7m36s   4GB
Mar 08 13:33:32 Starting compiler/backend/cv_compute
Mar 08 13:33:59 Finished compiler/backend/cv_compute                             26s   1GB
Mar 08 13:34:00 Starting cv_translator
Mar 08 13:38:40 Finished cv_translator                                         4m39s   4GB
Mar 08 13:38:42 Starting candle
Mar 08 13:38:43 Finished candle                                                   0s  15MB
Mar 08 13:38:44 Starting candle/set-theory
Mar 08 13:39:14 Finished candle/set-theory                                       28s 941MB
Mar 08 13:39:15 Starting candle/syntax-lib
Mar 08 13:39:17 Finished candle/syntax-lib                                        0s  87MB
Mar 08 13:39:18 Starting candle/standard
Mar 08 13:39:19 Finished candle/standard                                          0s  16MB
Mar 08 13:39:20 Starting candle/standard/syntax
Mar 08 13:39:35 Finished candle/standard/syntax                                  13s 782MB
Mar 08 13:39:36 Starting candle/standard/semantics
Mar 08 13:41:42 Finished candle/standard/semantics                             2m04s   2GB
Mar 08 13:41:43 Starting candle/standard/monadic
Mar 08 13:41:46 Finished candle/standard/monadic                                  1s 128MB
Mar 08 13:41:47 Starting candle/standard/ml_kernel
Mar 08 13:43:42 Finished candle/standard/ml_kernel                             1m54s   4GB
Mar 08 13:43:43 Starting candle/overloading
Mar 08 13:43:45 Finished candle/overloading                                       0s  16MB
Mar 08 13:43:46 Starting candle/overloading/syntax
Mar 08 13:46:45 Finished candle/overloading/syntax                             2m58s   2GB
Mar 08 13:46:46 Starting candle/overloading/semantics
Mar 08 13:55:19 Finished candle/overloading/semantics                          8m32s   4GB
Mar 08 13:55:20 Starting candle/overloading/monadic
Mar 08 13:57:11 Finished candle/overloading/monadic                            1m49s   2GB
Mar 08 13:57:12 Starting candle/overloading/ml_kernel
Mar 08 14:03:16 Finished candle/overloading/ml_kernel                          6m02s   6GB
Mar 08 14:03:17 Starting candle/overloading/ml_checker
Mar 08 14:05:40 Finished candle/overloading/ml_checker                         2m21s   6GB
Mar 08 14:05:41 Starting candle/prover
Mar 08 14:05:44 Finished candle/prover                                            2s 170MB
Mar 08 14:05:46 Starting candle/prover/compute
Mar 08 14:05:49 Finished candle/prover/compute                                    1s 167MB
Mar 08 14:05:50 Starting pancake
Mar 08 14:05:52 Finished pancake                                                  1s 140MB
Mar 08 14:05:54 Starting pancake/semantics
Mar 08 14:08:34 Finished pancake/semantics                                     2m39s   1GB
Mar 08 14:08:36 Starting pancake/parser
Mar 08 14:09:06 Finished pancake/parser                                          29s 570MB
Mar 08 14:09:07 Starting pancake/static_checker
Mar 08 14:10:14 Finished pancake/static_checker                                1m05s   1GB
Mar 08 14:10:15 Starting pancake/proofs
Mar 08 14:25:37 Finished pancake/proofs                                       15m20s   5GB
Mar 08 14:25:38 Starting compiler/dafny
Mar 08 14:26:02 Finished compiler/dafny                                          23s 741MB
Mar 08 14:26:03 Starting compiler/dafny/translation
Mar 08 14:35:09 Finished compiler/dafny/translation                            9m05s   7GB
Mar 08 14:35:11 Starting compiler/dafny/compilation
Mar 08 14:36:56 Finished compiler/dafny/compilation                            1m44s   6GB
Mar 08 14:36:57 Starting compiler/dafny/semantics
Mar 08 14:37:35 Finished compiler/dafny/semantics                                36s 580MB
Mar 08 14:37:36 Starting compiler/dafny/proofs
Mar 08 14:39:02 Finished compiler/dafny/proofs                                 1m24s   1GB
Mar 08 14:39:03 Starting compiler/dafny/vcg
Mar 08 14:39:06 Finished compiler/dafny/vcg                                       1s 108MB
Mar 08 14:39:07 Starting compiler/dafny/vcg/examples
Mar 08 14:39:33 Finished compiler/dafny/vcg/examples                             25s   1GB
Mar 08 14:39:34 Starting compiler/scheme
Mar 08 14:40:01 Finished compiler/scheme                                         25s   1GB
Mar 08 14:40:02 Starting compiler/scheme/translation
Mar 08 14:45:58 Finished compiler/scheme/translation                           5m54s   8GB
Mar 08 14:45:59 Starting compiler/scheme/compilation
Mar 08 14:47:20 Finished compiler/scheme/compilation                           1m19s   4GB
Mar 08 14:47:21 Starting compiler/scheme/proofs
Mar 08 14:52:50 Finished compiler/scheme/proofs                                5m27s   3GB
Mar 08 14:52:51 Starting characteristic/examples
Mar 08 14:54:15 Finished characteristic/examples                               1m23s   5GB
Mar 08 14:54:17 Starting tutorial/solutions
Mar 08 14:56:59 Finished tutorial/solutions                                    2m41s   8GB
Mar 08 14:57:00 Starting translator/monadic/examples
Mar 08 14:59:56 Finished translator/monadic/examples                           2m54s   4GB
Mar 08 14:59:57 Starting examples
Mar 08 15:04:14 Finished examples                                              4m16s   6GB
Mar 08 15:04:15 Starting examples/compilation
Mar 08 15:04:17 Finished examples/compilation                                     0s  16MB
Mar 08 15:04:18 Starting examples/compilation/x64
Mar 08 15:11:43 Finished examples/compilation/x64                              7m24s   4GB
Mar 08 15:11:44 Starting examples/compilation/x64/proofs
Mar 08 15:14:27 Finished examples/compilation/x64/proofs                       2m41s   3GB
Mar 08 15:14:28 Starting examples/compilation/ag32
Mar 08 15:16:41 Finished examples/compilation/ag32                             2m12s   3GB
Mar 08 15:16:42 Starting examples/compilation/ag32/proofs
Mar 08 15:17:49 Finished examples/compilation/ag32/proofs                      1m05s   4GB
Mar 08 15:17:50 Starting examples/lpr_checker
Mar 08 15:18:27 Finished examples/lpr_checker                                    35s   1GB
Mar 08 15:18:28 Starting examples/lpr_checker/array
Mar 08 15:29:29 Finished examples/lpr_checker/array                           10m59s  10GB
Mar 08 15:29:30 Starting examples/lpr_checker/array/compilation
Mar 08 15:33:02 Finished examples/lpr_checker/array/compilation                3m31s   6GB
Mar 08 15:33:03 Starting examples/lpr_checker/array/compilation/proofs
Mar 08 15:34:20 Finished examples/lpr_checker/array/compilation/proofs         1m15s   5GB
Mar 08 15:34:21 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 08 15:35:35 Finished examples/lpr_checker/array/compilation/proofsARM8     1m12s   6GB
Mar 08 15:35:36 Starting .
Mar 08 15:35:41 Finished .                                                        3s 367MB
Mar 08 15:35:42 Starting examples/xlrup_checker
Mar 08 15:36:34 Finished examples/xlrup_checker                                  50s   1GB
Mar 08 15:36:35 Starting examples/xlrup_checker/array
Mar 08 15:44:57 Finished examples/xlrup_checker/array                          8m21s   6GB
Mar 08 15:44:59 Starting examples/xlrup_checker/array/compilation
Mar 08 15:46:19 Finished examples/xlrup_checker/array/compilation              1m19s   5GB
Mar 08 15:46:20 Starting examples/xlrup_checker/array/compilation/proofs
Mar 08 15:47:29 Finished examples/xlrup_checker/array/compilation/proofs       1m07s   4GB
Mar 08 15:47:30 Starting examples/scpog_checker
Mar 08 15:48:17 Finished examples/scpog_checker                                  46s   2GB
Mar 08 15:48:19 Starting examples/scpog_checker/array
Mar 08 15:53:34 Finished examples/scpog_checker/array                          5m13s   4GB
Mar 08 15:53:35 Starting examples/scpog_checker/array/compilation
Mar 08 15:55:41 Finished examples/scpog_checker/array/compilation              2m04s   8GB
Mar 08 15:55:42 Starting examples/scpog_checker/array/compilation/proofs
Mar 08 15:56:58 Finished examples/scpog_checker/array/compilation/proofs       1m15s   5GB
Mar 08 15:56:59 Starting examples/pseudo_bool
Mar 08 15:58:55 Finished examples/pseudo_bool                                  1m54s   2GB
Mar 08 15:58:56 Starting examples/pseudo_bool/cnf_encoding
Mar 08 15:59:29 Finished examples/pseudo_bool/cnf_encoding                       31s   1GB
Mar 08 15:59:30 Starting examples/pseudo_bool/graph_encoding
Mar 08 16:00:17 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Mar 08 16:00:18 Starting examples/pseudo_bool/array
Mar 08 16:32:04 Finished examples/pseudo_bool/array                           31m45s  26GB
Mar 08 16:32:05 Starting examples/pseudo_bool/array/compilation
Mar 08 16:43:24 Finished examples/pseudo_bool/array/compilation               11m17s  19GB
Mar 08 16:43:26 Starting examples/pseudo_bool/array/compilation/proofs
Mar 08 16:46:30 Finished examples/pseudo_bool/array/compilation/proofs         3m03s   7GB
Mar 08 16:46:31 Starting examples/pseudo_bool/array/compilation/proofsARM8
Mar 08 16:48:02 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m30s   6GB
Mar 08 16:48:03 Starting examples/opentheory
Mar 08 16:54:45 Finished examples/opentheory                                   6m40s   5GB
Mar 08 16:54:46 Starting examples/opentheory/compilation
Mar 08 16:56:28 Finished examples/opentheory/compilation                       1m40s   6GB
Mar 08 16:56:29 Starting examples/opentheory/compilation/proofs
Mar 08 16:57:39 Finished examples/opentheory/compilation/proofs                1m09s   4GB
Mar 08 16:57:41 Starting examples/opentheory/compilation/ag32
Mar 08 16:59:25 Finished examples/opentheory/compilation/ag32                  1m42s   5GB
Mar 08 16:59:26 Starting examples/opentheory/compilation/ag32/proofs
Mar 08 17:00:51 Finished examples/opentheory/compilation/ag32/proofs           1m23s   7GB
Mar 08 17:00:52 Starting examples/sat_encodings
Mar 08 17:01:57 Finished examples/sat_encodings                                1m04s 815MB
Mar 08 17:01:58 Starting examples/sat_encodings/demo
Mar 08 17:02:00 Finished examples/sat_encodings/demo                              0s  16MB
Mar 08 17:02:01 Starting examples/sat_encodings/case_studies
Mar 08 17:03:39 Finished examples/sat_encodings/case_studies                   1m37s   1GB
Mar 08 17:03:41 Starting examples/sat_encodings/translation
Mar 08 17:07:00 Finished examples/sat_encodings/translation                    3m17s   3GB
Mar 08 17:07:01 Starting examples/sat_encodings/translation/compilation
Mar 08 17:09:13 Finished examples/sat_encodings/translation/compilation        2m10s   4GB
Mar 08 17:09:14 Starting examples/deflate
Mar 08 17:09:37 Finished examples/deflate                                        21s 423MB
Mar 08 17:09:38 Starting examples/deflate/translation
Mar 08 17:10:35 Finished examples/deflate/translation                            56s   4GB
Mar 08 17:10:36 Starting examples/deflate/translation/compilation
Mar 08 17:11:37 Finished examples/deflate/translation/compilation                59s   3GB
Mar 08 17:11:38 Starting examples/vipr
Mar 08 17:14:44 Finished examples/vipr                                         3m05s   8GB
Mar 08 17:14:45 Starting examples/vipr/compilation
Mar 08 17:15:52 Finished examples/vipr/compilation                             1m05s   4GB
Mar 08 17:15:53 Starting examples/template
Mar 08 17:15:57 Finished examples/template                                        2s 154MB
Mar 08 17:15:58 Starting examples/template/translation
Mar 08 17:16:18 Finished examples/template/translation                           19s 960MB
Mar 08 17:16:19 Starting examples/template/compilation
Mar 08 17:17:27 Finished examples/template/compilation                         1m06s   4GB
Mar 08 17:17:28 Starting translator/okasaki-examples
Mar 08 17:20:37 Finished translator/okasaki-examples                           3m07s   3GB
Mar 08 17:20:38 Starting translator/other-examples
Mar 08 17:21:35 Finished translator/other-examples                               55s   2GB
Mar 08 17:21:36 Starting translator/other-examples/auxiliary
Mar 08 17:21:37 Finished translator/other-examples/auxiliary                      0s  20MB
Mar 08 17:21:38 Starting compiler/parsing/tests
Mar 08 17:22:17 Finished compiler/parsing/tests                                  37s   1GB
Mar 08 17:22:18 Starting compiler/inference/tests
Mar 08 17:23:01 Finished compiler/inference/tests                                42s   2GB
Mar 08 17:23:02 Starting compiler/printing/test
Mar 08 17:25:59 Finished compiler/printing/test                                2m55s  16GB
Mar 08 17:26:00 Starting compiler/repl
Mar 08 17:26:04 Finished compiler/repl                                            2s 250MB
Mar 08 17:26:05 Starting compiler/benchmarks
Mar 08 17:26:59 Finished compiler/benchmarks                                     53s 747MB
Mar 08 17:27:00 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Mar 08 17:27:04 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 264MB
Mar 08 17:27:06 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Mar 08 17:27:10 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 267MB
Mar 08 17:27:11 Starting compiler/bootstrap/translation
Mar 08 19:35:03 Finished compiler/bootstrap/translation                     2h07m51s  97GB
Mar 08 19:35:04 Starting compiler/bootstrap/compilation/x64/64
Mar 08 19:38:37 Finished compiler/bootstrap/compilation/x64/64                 3m20s  16GB
Mar 08 19:38:39 Starting compiler/bootstrap/compilation/x64/32
Mar 08 20:07:23 Finished compiler/bootstrap/compilation/x64/32                28m36s  70GB
Mar 08 20:07:24 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 08 20:12:26 Finished compiler/bootstrap/compilation/x64/32/proofs          5m01s  23GB
Mar 08 20:12:28 Starting compiler/bootstrap/compilation/arm8/64
Mar 08 20:57:43 Finished compiler/bootstrap/compilation/arm8/64               45m06s  94GB
Mar 08 20:57:44 Starting compiler/bootstrap/compilation/arm8/64/proofs
Mar 08 21:03:46 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m00s  31GB
Mar 08 21:03:47 Starting compiler/bootstrap/compilation/ag32/32
Mar 08 21:32:41 Finished compiler/bootstrap/compilation/ag32/32               28m53s  60GB
Mar 08 21:32:42 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 08 21:37:53 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m09s  31GB
Mar 08 21:37:54 SUCCESS