Job 3250

CakeML:f97d283ffb68b4455a52a42aebab90fb28931538
  Fix candle_{boot,records}.ml [Mar 06 15:49:28]
#1345 (ocaml-parser)
Merging into:3d0cf89483c60ea44c26379757f121ebe3901774
  Remove stray  [Mar 06 07:34:05]
HOL:e6d0417424f6e780d9ef01ffce6d7f69f789a706
  Mention change in remove_user_printer's type in release notes [Feb 27 23:41:15]
Machine:pavlova

Mar 07 00:10:03 Claimed job
Mar 07 00:10:08 Reusing HOL
Mar 07 00:10:20 Starting developers
Mar 07 00:10:25 Finished developers                                               4s 204MB
Mar 07 00:10:26 Starting developers/bin
Mar 07 00:10:31 Finished developers/bin                                           3s  90MB
Mar 07 00:10:32 Starting misc
Mar 07 00:11:12 Finished misc                                                    39s   1GB
Mar 07 00:11:13 Starting compiler/proofs
Mar 07 01:10:27 Finished compiler/proofs                                      59m10s  14GB
Mar 07 01:10:29 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 07 06:55:13 Finished compiler/bootstrap/compilation/x64/64/proofs       5h44m42s  95GB
Mar 07 06:55:15 Starting semantics/ffi
Mar 07 06:55:26 Finished semantics/ffi                                           10s 551MB
Mar 07 06:55:27 Starting semantics
Mar 07 06:55:29 Finished semantics                                                1s  90MB
Mar 07 06:55:30 Starting semantics/proofs
Mar 07 06:55:52 Finished semantics/proofs                                        20s 725MB
Mar 07 06:55:53 Starting semantics/alt_semantics
Mar 07 06:56:11 Finished semantics/alt_semantics                                 16s 547MB
Mar 07 06:56:12 Starting semantics/alt_semantics/proofs
Mar 07 06:59:27 Finished semantics/alt_semantics/proofs                        3m14s   1GB
Mar 07 06:59:28 Starting basis/pure
Mar 07 06:59:30 Finished basis/pure                                               0s  82MB
Mar 07 06:59:32 Starting translator
Mar 07 07:00:37 Finished translator                                            1m04s   3GB
Mar 07 07:00:38 Starting compiler/parsing
Mar 07 07:00:40 Finished compiler/parsing                                         1s  94MB
Mar 07 07:00:41 Starting characteristic
Mar 07 07:00:44 Finished characteristic                                           1s 114MB
Mar 07 07:00:45 Starting translator/monadic
Mar 07 07:00:48 Finished translator/monadic                                       1s 116MB
Mar 07 07:00:49 Starting translator/monadic/monad_base
Mar 07 07:00:51 Finished translator/monadic/monad_base                            1s  88MB
Mar 07 07:00:52 Starting profiler
Mar 07 07:01:21 Finished profiler                                                27s   1GB
Mar 07 07:01:22 Starting basis
Mar 07 07:02:58 Finished basis                                                 1m35s   4GB
Mar 07 07:03:00 Starting compiler
Mar 07 07:03:03 Finished compiler                                                 2s 215MB
Mar 07 07:03:04 Starting compiler/inference
Mar 07 07:03:07 Finished compiler/inference                                       1s 117MB
Mar 07 07:03:08 Starting compiler/backend/reg_alloc
Mar 07 07:03:10 Finished compiler/backend/reg_alloc                               1s  92MB
Mar 07 07:03:11 Starting compiler/backend/gc
Mar 07 07:03:14 Finished compiler/backend/gc                                      1s 137MB
Mar 07 07:03:15 Starting compiler/backend
Mar 07 07:03:21 Finished compiler/backend                                         4s 237MB
Mar 07 07:03:22 Starting compiler/encoders/asm
Mar 07 07:03:24 Finished compiler/encoders/asm                                    1s 101MB
Mar 07 07:03:25 Starting compiler/encoders/x64
Mar 07 07:03:28 Finished compiler/encoders/x64                                    1s 112MB
Mar 07 07:03:29 Starting compiler/encoders/arm7
Mar 07 07:03:31 Finished compiler/encoders/arm7                                   1s 106MB
Mar 07 07:03:32 Starting compiler/encoders/arm8
Mar 07 07:03:35 Finished compiler/encoders/arm8                                   1s 110MB
Mar 07 07:03:36 Starting compiler/encoders/arm8_asl
Mar 07 07:04:34 Finished compiler/encoders/arm8_asl                              57s  19GB
Mar 07 07:04:35 Starting compiler/encoders/mips
Mar 07 07:04:37 Finished compiler/encoders/mips                                   1s 108MB
Mar 07 07:04:39 Starting compiler/encoders/riscv
Mar 07 07:04:41 Finished compiler/encoders/riscv                                  1s 106MB
Mar 07 07:04:42 Starting compiler/encoders/ag32
Mar 07 07:04:44 Finished compiler/encoders/ag32                                   1s 105MB
Mar 07 07:04:45 Starting compiler/encoders/tests
Mar 07 07:04:48 Finished compiler/encoders/tests                                  1s 123MB
Mar 07 07:04:49 Starting compiler/encoders/monadic_enc
Mar 07 07:05:13 Finished compiler/encoders/monadic_enc                           22s   1GB
Mar 07 07:05:14 Starting compiler/backend/x64
Mar 07 07:05:16 Finished compiler/backend/x64                                     1s 141MB
Mar 07 07:05:18 Starting compiler/backend/arm7
Mar 07 07:05:20 Finished compiler/backend/arm7                                    1s 141MB
Mar 07 07:05:21 Starting compiler/backend/arm8
Mar 07 07:05:24 Finished compiler/backend/arm8                                    1s 142MB
Mar 07 07:05:25 Starting compiler/backend/mips
Mar 07 07:05:28 Finished compiler/backend/mips                                    1s 141MB
Mar 07 07:05:29 Starting compiler/backend/riscv
Mar 07 07:05:32 Finished compiler/backend/riscv                                   1s 142MB
Mar 07 07:05:33 Starting compiler/backend/ag32
Mar 07 07:06:32 Finished compiler/backend/ag32                                   57s   3GB
Mar 07 07:06:33 Starting compiler/backend/pattern_matching
Mar 07 07:06:35 Finished compiler/backend/pattern_matching                        1s  88MB
Mar 07 07:06:36 Starting compiler/parsing/ocaml
Mar 07 07:08:17 Finished compiler/parsing/ocaml                                1m40s   1GB
Mar 07 07:08:19 Starting compiler/printing
Mar 07 07:09:12 Finished compiler/printing                                       52s   1GB
Mar 07 07:09:13 Starting compiler/parsing/proofs
Mar 07 07:09:15 Finished compiler/parsing/proofs                                  1s  99MB
Mar 07 07:09:17 Starting compiler/inference/proofs
Mar 07 07:09:19 Finished compiler/inference/proofs                                1s 117MB
Mar 07 07:09:20 Starting compiler/backend/semantics
Mar 07 07:11:57 Finished compiler/backend/semantics                            2m35s   3GB
Mar 07 07:11:58 Starting compiler/backend/reg_alloc/proofs
Mar 07 07:12:01 Finished compiler/backend/reg_alloc/proofs                        1s 115MB
Mar 07 07:12:02 Starting compiler/backend/proofs
Mar 07 07:12:42 Finished compiler/backend/proofs                                 38s   2GB
Mar 07 07:12:43 Starting compiler/backend/serialiser
Mar 07 07:12:46 Finished compiler/backend/serialiser                              1s 151MB
Mar 07 07:12:47 Starting compiler/encoders/x64/proofs
Mar 07 07:12:49 Finished compiler/encoders/x64/proofs                             1s 113MB
Mar 07 07:12:50 Starting compiler/encoders/arm7/proofs
Mar 07 07:23:31 Finished compiler/encoders/arm7/proofs                        10m39s  11GB
Mar 07 07:23:32 Starting compiler/encoders/arm8/proofs
Mar 07 07:29:54 Finished compiler/encoders/arm8/proofs                         6m20s   6GB
Mar 07 07:29:55 Starting compiler/encoders/arm8_asl/proofs
Mar 07 07:44:45 Finished compiler/encoders/arm8_asl/proofs                    14m49s   6GB
Mar 07 07:44:46 Starting compiler/encoders/mips/proofs
Mar 07 07:53:59 Finished compiler/encoders/mips/proofs                         9m11s   9GB
Mar 07 07:54:00 Starting compiler/encoders/riscv/proofs
Mar 07 08:02:03 Finished compiler/encoders/riscv/proofs                        8m00s   4GB
Mar 07 08:02:04 Starting compiler/encoders/ag32/proofs
Mar 07 08:04:36 Finished compiler/encoders/ag32/proofs                         2m30s   2GB
Mar 07 08:04:37 Starting compiler/backend/x64/proofs
Mar 07 08:04:40 Finished compiler/backend/x64/proofs                              2s 218MB
Mar 07 08:04:42 Starting compiler/backend/arm7/proofs
Mar 07 08:05:16 Finished compiler/backend/arm7/proofs                            33s   2GB
Mar 07 08:05:17 Starting compiler/backend/arm8/proofs
Mar 07 08:05:51 Finished compiler/backend/arm8/proofs                            33s   2GB
Mar 07 08:05:53 Starting compiler/backend/arm8_asl
Mar 07 08:06:18 Finished compiler/backend/arm8_asl                               24s   2GB
Mar 07 08:06:19 Starting compiler/backend/mips/proofs
Mar 07 08:06:55 Finished compiler/backend/mips/proofs                            34s   2GB
Mar 07 08:06:56 Starting compiler/backend/riscv/proofs
Mar 07 08:07:31 Finished compiler/backend/riscv/proofs                           33s   2GB
Mar 07 08:07:32 Starting compiler/backend/ag32/proofs
Mar 07 08:15:09 Finished compiler/backend/ag32/proofs                          7m36s   4GB
Mar 07 08:15:10 Starting compiler/backend/cv_compute
Mar 07 08:15:37 Finished compiler/backend/cv_compute                             26s   1GB
Mar 07 08:15:39 Starting cv_translator
Mar 07 08:20:24 Finished cv_translator                                         4m44s   4GB
Mar 07 08:20:25 Starting candle
Mar 07 08:20:26 Finished candle                                                   0s  15MB
Mar 07 08:20:27 Starting candle/set-theory
Mar 07 08:20:57 Finished candle/set-theory                                       28s 953MB
Mar 07 08:20:58 Starting candle/syntax-lib
Mar 07 08:21:00 Finished candle/syntax-lib                                        0s  85MB
Mar 07 08:21:01 Starting candle/standard
Mar 07 08:21:03 Finished candle/standard                                          0s  15MB
Mar 07 08:21:04 Starting candle/standard/syntax
Mar 07 08:21:18 Finished candle/standard/syntax                                  13s 782MB
Mar 07 08:21:20 Starting candle/standard/semantics
Mar 07 08:23:25 Finished candle/standard/semantics                             2m04s   2GB
Mar 07 08:23:26 Starting candle/standard/monadic
Mar 07 08:23:29 Finished candle/standard/monadic                                  1s 128MB
Mar 07 08:23:30 Starting candle/standard/ml_kernel
Mar 07 08:25:24 Finished candle/standard/ml_kernel                             1m52s   4GB
Mar 07 08:25:25 Starting candle/overloading
Mar 07 08:25:26 Finished candle/overloading                                       0s  16MB
Mar 07 08:25:27 Starting candle/overloading/syntax
Mar 07 08:28:18 Finished candle/overloading/syntax                             2m50s   2GB
Mar 07 08:28:19 Starting candle/overloading/semantics
Mar 07 08:37:07 Finished candle/overloading/semantics                          8m45s   7GB
Mar 07 08:37:08 Starting candle/overloading/monadic
Mar 07 08:39:01 Finished candle/overloading/monadic                            1m52s   2GB
Mar 07 08:39:02 Starting candle/overloading/ml_kernel
Mar 07 08:45:07 Finished candle/overloading/ml_kernel                          6m03s   6GB
Mar 07 08:45:08 Starting candle/overloading/ml_checker
Mar 07 08:47:28 Finished candle/overloading/ml_checker                         2m19s   6GB
Mar 07 08:47:30 Starting candle/prover
Mar 07 08:47:33 Finished candle/prover                                            2s 168MB
Mar 07 08:47:34 Starting candle/prover/compute
Mar 07 08:47:37 Finished candle/prover/compute                                    1s 167MB
Mar 07 08:47:38 Starting pancake
Mar 07 08:47:41 Finished pancake                                                  1s 140MB
Mar 07 08:47:42 Starting pancake/semantics
Mar 07 08:50:25 Finished pancake/semantics                                     2m41s   2GB
Mar 07 08:50:26 Starting pancake/parser
Mar 07 08:50:57 Finished pancake/parser                                          29s 549MB
Mar 07 08:50:58 Starting pancake/static_checker
Mar 07 08:52:05 Finished pancake/static_checker                                1m05s   1GB
Mar 07 08:52:06 Starting pancake/proofs
Mar 07 09:07:20 Finished pancake/proofs                                       15m12s   5GB
Mar 07 09:07:21 Starting compiler/dafny
Mar 07 09:07:46 Finished compiler/dafny                                          23s 741MB
Mar 07 09:07:47 Starting compiler/dafny/translation
Mar 07 09:16:52 Finished compiler/dafny/translation                            9m04s   6GB
Mar 07 09:16:53 Starting compiler/dafny/compilation
Mar 07 09:18:41 Finished compiler/dafny/compilation                            1m45s   6GB
Mar 07 09:18:42 Starting compiler/dafny/semantics
Mar 07 09:19:19 Finished compiler/dafny/semantics                                36s 595MB
Mar 07 09:19:20 Starting compiler/dafny/proofs
Mar 07 09:20:45 Finished compiler/dafny/proofs                                 1m24s   1GB
Mar 07 09:20:47 Starting compiler/dafny/vcg
Mar 07 09:20:49 Finished compiler/dafny/vcg                                       1s 109MB
Mar 07 09:20:50 Starting compiler/dafny/vcg/examples
Mar 07 09:21:16 Finished compiler/dafny/vcg/examples                             24s   1GB
Mar 07 09:21:17 Starting compiler/scheme
Mar 07 09:21:44 Finished compiler/scheme                                         25s   1GB
Mar 07 09:21:45 Starting compiler/scheme/translation
Mar 07 09:27:43 Finished compiler/scheme/translation                           5m56s   9GB
Mar 07 09:27:44 Starting compiler/scheme/compilation
Mar 07 09:29:05 Finished compiler/scheme/compilation                           1m19s   4GB
Mar 07 09:29:06 Starting compiler/scheme/proofs
Mar 07 09:34:41 Finished compiler/scheme/proofs                                5m34s   2GB
Mar 07 09:34:42 Starting characteristic/examples
Mar 07 09:36:06 Finished characteristic/examples                               1m22s   5GB
Mar 07 09:36:07 Starting tutorial/solutions
Mar 07 09:38:41 Finished tutorial/solutions                                    2m32s   3GB
Mar 07 09:38:42 Starting translator/monadic/examples
Mar 07 09:41:36 Finished translator/monadic/examples                           2m52s   4GB
Mar 07 09:41:37 Starting examples
Mar 07 09:45:58 Finished examples                                              4m19s   6GB
Mar 07 09:45:59 Starting examples/compilation
Mar 07 09:46:00 Finished examples/compilation                                     0s  15MB
Mar 07 09:46:01 Starting examples/compilation/x64
Mar 07 09:53:23 Finished examples/compilation/x64                              7m20s   4GB
Mar 07 09:53:24 Starting examples/compilation/x64/proofs
Mar 07 09:56:09 Finished examples/compilation/x64/proofs                       2m43s   3GB
Mar 07 09:56:10 Starting examples/compilation/ag32
Mar 07 09:58:21 Finished examples/compilation/ag32                             2m10s   3GB
Mar 07 09:58:23 Starting examples/compilation/ag32/proofs
Mar 07 09:59:53 Finished examples/compilation/ag32/proofs                      1m29s   4GB
Mar 07 09:59:54 Starting examples/lpr_checker
Mar 07 10:00:31 Finished examples/lpr_checker                                    35s   1GB
Mar 07 10:00:32 Starting examples/lpr_checker/array
Mar 07 10:11:44 Finished examples/lpr_checker/array                           11m10s   6GB
Mar 07 10:11:45 Starting examples/lpr_checker/array/compilation
Mar 07 10:15:18 Finished examples/lpr_checker/array/compilation                3m32s   6GB
Mar 07 10:15:20 Starting examples/lpr_checker/array/compilation/proofs
Mar 07 10:16:34 Finished examples/lpr_checker/array/compilation/proofs         1m13s   5GB
Mar 07 10:16:35 Starting examples/lpr_checker/array/compilation/proofsARM8
Mar 07 10:17:49 Finished examples/lpr_checker/array/compilation/proofsARM8     1m12s   6GB
Mar 07 10:17:50 Starting .
Mar 07 10:17:54 Finished .                                                        3s 365MB
Mar 07 10:17:56 Starting examples/xlrup_checker
Mar 07 10:18:48 Finished examples/xlrup_checker                                  51s   1GB
Mar 07 10:18:49 Starting examples/xlrup_checker/array
Mar 07 10:27:04 Finished examples/xlrup_checker/array                          8m13s   5GB
Mar 07 10:27:05 Starting examples/xlrup_checker/array/compilation
Mar 07 10:28:26 Finished examples/xlrup_checker/array/compilation              1m19s   5GB
Mar 07 10:28:27 Starting examples/xlrup_checker/array/compilation/proofs
Mar 07 10:29:35 Finished examples/xlrup_checker/array/compilation/proofs       1m06s   4GB
Mar 07 10:29:36 Starting examples/scpog_checker
Mar 07 10:30:25 Finished examples/scpog_checker                                  47s   2GB
Mar 07 10:30:26 Starting examples/scpog_checker/array
Mar 07 10:35:40 Finished examples/scpog_checker/array                          5m12s   4GB
Mar 07 10:35:41 Starting examples/scpog_checker/array/compilation
Mar 07 10:37:45 Finished examples/scpog_checker/array/compilation              2m02s   8GB
Mar 07 10:37:46 Starting examples/scpog_checker/array/compilation/proofs
Mar 07 10:39:03 Finished examples/scpog_checker/array/compilation/proofs       1m15s   5GB
Mar 07 10:39:04 Starting examples/pseudo_bool
Mar 07 10:41:04 Finished examples/pseudo_bool                                  1m58s   2GB
Mar 07 10:41:05 Starting examples/pseudo_bool/cnf_encoding
Mar 07 10:41:37 Finished examples/pseudo_bool/cnf_encoding                       31s   1GB
Mar 07 10:41:38 Starting examples/pseudo_bool/graph_encoding
Mar 07 10:42:25 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Mar 07 10:42:26 Starting examples/pseudo_bool/array
Mar 07 11:13:58 Finished examples/pseudo_bool/array                           31m29s  25GB
Mar 07 11:13:59 Starting examples/pseudo_bool/array/compilation
Mar 07 11:25:03 Finished examples/pseudo_bool/array/compilation               11m02s  20GB
Mar 07 11:25:04 Starting examples/pseudo_bool/array/compilation/proofs
Mar 07 11:27:57 Finished examples/pseudo_bool/array/compilation/proofs         2m50s   6GB
Mar 07 11:27:58 Starting examples/pseudo_bool/array/compilation/proofsARM8
Mar 07 11:29:29 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m30s   6GB
Mar 07 11:29:30 Starting examples/opentheory
Mar 07 11:36:23 Finished examples/opentheory                                   6m51s   6GB
Mar 07 11:36:24 Starting examples/opentheory/compilation
Mar 07 11:38:06 Finished examples/opentheory/compilation                       1m41s   6GB
Mar 07 11:38:07 Starting examples/opentheory/compilation/proofs
Mar 07 11:39:17 Finished examples/opentheory/compilation/proofs                1m09s   4GB
Mar 07 11:39:18 Starting examples/opentheory/compilation/ag32
Mar 07 11:41:03 Finished examples/opentheory/compilation/ag32                  1m43s   6GB
Mar 07 11:41:04 Starting examples/opentheory/compilation/ag32/proofs
Mar 07 11:42:24 Finished examples/opentheory/compilation/ag32/proofs           1m18s   7GB
Mar 07 11:42:25 Starting examples/sat_encodings
Mar 07 11:43:30 Finished examples/sat_encodings                                1m04s 788MB
Mar 07 11:43:31 Starting examples/sat_encodings/demo
Mar 07 11:43:33 Finished examples/sat_encodings/demo                              0s  16MB
Mar 07 11:43:34 Starting examples/sat_encodings/case_studies
Mar 07 11:45:14 Finished examples/sat_encodings/case_studies                   1m39s   1GB
Mar 07 11:45:15 Starting examples/sat_encodings/translation
Mar 07 11:48:39 Finished examples/sat_encodings/translation                    3m22s   3GB
Mar 07 11:48:40 Starting examples/sat_encodings/translation/compilation
Mar 07 11:50:44 Finished examples/sat_encodings/translation/compilation        2m03s   4GB
Mar 07 11:50:46 Starting examples/deflate
Mar 07 11:51:08 Finished examples/deflate                                        21s 423MB
Mar 07 11:51:09 Starting examples/deflate/translation
Mar 07 11:52:05 Finished examples/deflate/translation                            54s   3GB
Mar 07 11:52:06 Starting examples/deflate/translation/compilation
Mar 07 11:53:06 Finished examples/deflate/translation/compilation                58s   3GB
Mar 07 11:53:07 Starting examples/vipr
Mar 07 11:56:13 Finished examples/vipr                                         3m05s   8GB
Mar 07 11:56:15 Starting examples/vipr/compilation
Mar 07 11:57:20 Finished examples/vipr/compilation                             1m04s   4GB
Mar 07 11:57:21 Starting examples/template
Mar 07 11:57:25 Finished examples/template                                        2s 154MB
Mar 07 11:57:26 Starting examples/template/translation
Mar 07 11:57:46 Finished examples/template/translation                           18s 933MB
Mar 07 11:57:47 Starting examples/template/compilation
Mar 07 11:58:54 Finished examples/template/compilation                         1m05s   4GB
Mar 07 11:58:55 Starting translator/okasaki-examples
Mar 07 12:02:05 Finished translator/okasaki-examples                           3m08s   3GB
Mar 07 12:02:06 Starting translator/other-examples
Mar 07 12:03:01 Finished translator/other-examples                               54s   2GB
Mar 07 12:03:03 Starting translator/other-examples/auxiliary
Mar 07 12:03:04 Finished translator/other-examples/auxiliary                      0s  21MB
Mar 07 12:03:05 Starting compiler/parsing/tests
Mar 07 12:03:42 Finished compiler/parsing/tests                                  36s   1GB
Mar 07 12:03:44 Starting compiler/inference/tests
Mar 07 12:04:27 Finished compiler/inference/tests                                42s   2GB
Mar 07 12:04:28 Starting compiler/printing/test
Mar 07 12:07:26 Finished compiler/printing/test                                2m56s  16GB
Mar 07 12:07:27 Starting compiler/repl
Mar 07 12:07:31 Finished compiler/repl                                            2s 248MB
Mar 07 12:07:32 Starting compiler/benchmarks
Mar 07 12:08:26 Finished compiler/benchmarks                                     53s 747MB
Mar 07 12:08:27 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Mar 07 12:08:32 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 265MB
Mar 07 12:08:33 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Mar 07 12:08:37 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 266MB
Mar 07 12:08:38 Starting compiler/bootstrap/translation
Mar 07 14:01:05 Finished compiler/bootstrap/translation                     1h52m25s  57GB
Mar 07 14:01:06 Starting compiler/bootstrap/compilation/x64/64
Mar 07 14:04:28 Finished compiler/bootstrap/compilation/x64/64                 3m20s  16GB
Mar 07 14:04:29 Starting compiler/bootstrap/compilation/x64/32
Mar 07 14:33:16 Finished compiler/bootstrap/compilation/x64/32                28m46s  71GB
Mar 07 14:33:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 07 14:38:39 Finished compiler/bootstrap/compilation/x64/32/proofs          5m20s  24GB
Mar 07 14:38:40 Starting compiler/bootstrap/compilation/arm8/64
Mar 07 15:21:18 Finished compiler/bootstrap/compilation/arm8/64               42m36s  84GB
Mar 07 15:21:19 Starting compiler/bootstrap/compilation/arm8/64/proofs
Mar 07 15:27:27 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m07s  31GB
Mar 07 15:27:28 Starting compiler/bootstrap/compilation/ag32/32
Mar 07 15:58:11 Finished compiler/bootstrap/compilation/ag32/32               30m41s  83GB
Mar 07 15:58:12 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 07 16:03:51 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m37s  31GB
Mar 07 16:03:52 SUCCESS