Job 3090

CakeML:cf85513f663ed72e8a496ada769869b6b5d1e696
  Remove aliases of drule to old_drule [Dec 30 20:41:19]
HOL:f02a261b181e0408a16745877f3feb8f1b8c1cb6
  Modernise syntax in milawa_proofp [Nov 27 06:20:54]
Machine:pavlova
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Dec 30 20:54:56 Claimed job
Dec 30 20:54:59 Reusing HOL
Dec 30 20:55:07 Starting developers
Dec 30 20:55:12 Finished developers                                               4s 153MB
Dec 30 20:55:13 Starting developers/bin
Dec 30 20:55:18 Finished developers/bin                                           3s  91MB
Dec 30 20:55:19 Starting misc
Dec 30 20:55:59 Finished misc                                                    39s   1GB
Dec 30 20:56:00 Starting compiler/proofs
Dec 30 21:57:45 Finished compiler/proofs                                    1h01m43s  12GB
Dec 30 21:57:46 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 31 03:41:06 Finished compiler/bootstrap/compilation/x64/64/proofs       5h43m18s  63GB
Dec 31 03:41:06 Starting semantics/ffi
Dec 31 03:41:17 Finished semantics/ffi                                            9s 547MB
Dec 31 03:41:17 Starting semantics
Dec 31 03:41:19 Finished semantics                                                0s  65MB
Dec 31 03:41:20 Starting semantics/proofs
Dec 31 03:41:43 Finished semantics/proofs                                        22s 927MB
Dec 31 03:41:44 Starting semantics/alt_semantics
Dec 31 03:42:03 Finished semantics/alt_semantics                                 18s 708MB
Dec 31 03:42:04 Starting semantics/alt_semantics/proofs
Dec 31 03:45:57 Finished semantics/alt_semantics/proofs                        3m51s   1GB
Dec 31 03:45:57 Starting basis/pure
Dec 31 03:45:59 Finished basis/pure                                               1s  89MB
Dec 31 03:46:00 Starting translator
Dec 31 03:47:04 Finished translator                                            1m03s   3GB
Dec 31 03:47:05 Starting compiler/parsing
Dec 31 03:47:07 Finished compiler/parsing                                         0s  63MB
Dec 31 03:47:08 Starting characteristic
Dec 31 03:47:10 Finished characteristic                                           1s 119MB
Dec 31 03:47:11 Starting translator/monadic
Dec 31 03:47:13 Finished translator/monadic                                       1s 120MB
Dec 31 03:47:14 Starting translator/monadic/monad_base
Dec 31 03:47:15 Finished translator/monadic/monad_base                            0s  64MB
Dec 31 03:47:16 Starting profiler
Dec 31 03:47:44 Finished profiler                                                26s   1GB
Dec 31 03:47:45 Starting basis
Dec 31 03:49:16 Finished basis                                                 1m30s   4GB
Dec 31 03:49:17 Starting compiler
Dec 31 03:49:21 Finished compiler                                                 2s 221MB
Dec 31 03:49:22 Starting compiler/inference
Dec 31 03:49:24 Finished compiler/inference                                       1s 110MB
Dec 31 03:49:25 Starting compiler/backend/reg_alloc
Dec 31 03:49:26 Finished compiler/backend/reg_alloc                               1s  89MB
Dec 31 03:49:27 Starting compiler/backend/gc
Dec 31 03:49:30 Finished compiler/backend/gc                                      1s 137MB
Dec 31 03:49:31 Starting compiler/backend
Dec 31 03:49:37 Finished compiler/backend                                         5s 270MB
Dec 31 03:49:37 Starting compiler/encoders/asm
Dec 31 03:49:39 Finished compiler/encoders/asm                                    0s  95MB
Dec 31 03:49:40 Starting compiler/encoders/x64
Dec 31 03:49:42 Finished compiler/encoders/x64                                    1s  94MB
Dec 31 03:49:43 Starting compiler/encoders/arm7
Dec 31 03:49:45 Finished compiler/encoders/arm7                                   1s  94MB
Dec 31 03:49:46 Starting compiler/encoders/arm8
Dec 31 03:49:48 Finished compiler/encoders/arm8                                   1s  94MB
Dec 31 03:49:48 Starting compiler/encoders/arm8_asl
Dec 31 03:50:03 Finished compiler/encoders/arm8_asl                              13s   1GB
Dec 31 03:50:04 Starting compiler/encoders/mips
Dec 31 03:50:06 Finished compiler/encoders/mips                                   1s  94MB
Dec 31 03:50:07 Starting compiler/encoders/riscv
Dec 31 03:50:08 Finished compiler/encoders/riscv                                  1s  93MB
Dec 31 03:50:09 Starting compiler/encoders/ag32
Dec 31 03:50:11 Finished compiler/encoders/ag32                                   0s  89MB
Dec 31 03:50:12 Starting compiler/encoders/tests
Dec 31 03:50:14 Finished compiler/encoders/tests                                  1s 107MB
Dec 31 03:50:15 Starting compiler/encoders/monadic_enc
Dec 31 03:50:37 Finished compiler/encoders/monadic_enc                           20s   1GB
Dec 31 03:50:38 Starting compiler/backend/x64
Dec 31 03:50:40 Finished compiler/backend/x64                                     1s 141MB
Dec 31 03:50:41 Starting compiler/backend/arm7
Dec 31 03:50:43 Finished compiler/backend/arm7                                    1s 141MB
Dec 31 03:50:44 Starting compiler/backend/arm8
Dec 31 03:50:47 Finished compiler/backend/arm8                                    1s 142MB
Dec 31 03:50:48 Starting compiler/backend/mips
Dec 31 03:50:50 Finished compiler/backend/mips                                    1s 141MB
Dec 31 03:50:51 Starting compiler/backend/riscv
Dec 31 03:50:53 Finished compiler/backend/riscv                                   1s 141MB
Dec 31 03:50:54 Starting compiler/backend/ag32
Dec 31 03:51:52 Finished compiler/backend/ag32                                   57s   2GB
Dec 31 03:51:53 Starting compiler/backend/pattern_matching
Dec 31 03:51:55 Finished compiler/backend/pattern_matching                        0s  61MB
Dec 31 03:51:55 Starting compiler/parsing/ocaml
Dec 31 03:53:41 Finished compiler/parsing/ocaml                                1m44s   1GB
Dec 31 03:53:42 Starting compiler/printing
Dec 31 03:53:44 Finished compiler/printing                                        1s 119MB
Dec 31 03:53:45 Starting compiler/parsing/proofs
Dec 31 03:53:46 Finished compiler/parsing/proofs                                  0s  70MB
Dec 31 03:53:47 Starting compiler/inference/proofs
Dec 31 03:53:49 Finished compiler/inference/proofs                                1s 111MB
Dec 31 03:53:50 Starting compiler/backend/semantics
Dec 31 03:55:54 Finished compiler/backend/semantics                            2m02s   2GB
Dec 31 03:55:55 Starting compiler/backend/reg_alloc/proofs
Dec 31 03:55:57 Finished compiler/backend/reg_alloc/proofs                        1s 113MB
Dec 31 03:55:58 Starting compiler/backend/proofs
Dec 31 03:56:38 Finished compiler/backend/proofs                                 39s   1GB
Dec 31 03:56:39 Starting compiler/backend/serialiser
Dec 31 03:56:42 Finished compiler/backend/serialiser                              1s 144MB
Dec 31 03:56:42 Starting compiler/encoders/x64/proofs
Dec 31 03:56:44 Finished compiler/encoders/x64/proofs                             1s  94MB
Dec 31 03:56:45 Starting compiler/encoders/arm7/proofs
Dec 31 04:07:36 Finished compiler/encoders/arm7/proofs                        10m49s  12GB
Dec 31 04:07:37 Starting compiler/encoders/arm8/proofs
Dec 31 04:14:12 Finished compiler/encoders/arm8/proofs                         6m34s   4GB
Dec 31 04:14:13 Starting compiler/encoders/arm8_asl/proofs
Dec 31 04:28:57 Finished compiler/encoders/arm8_asl/proofs                    14m43s   3GB
Dec 31 04:28:58 Starting compiler/encoders/mips/proofs
Dec 31 04:37:42 Finished compiler/encoders/mips/proofs                         8m43s   7GB
Dec 31 04:37:43 Starting compiler/encoders/riscv/proofs
Dec 31 04:45:25 Finished compiler/encoders/riscv/proofs                        7m40s   5GB
Dec 31 04:45:26 Starting compiler/encoders/ag32/proofs
Dec 31 04:48:02 Finished compiler/encoders/ag32/proofs                         2m35s   2GB
Dec 31 04:48:02 Starting compiler/backend/x64/proofs
Dec 31 04:48:06 Finished compiler/backend/x64/proofs                              2s 208MB
Dec 31 04:48:07 Starting compiler/backend/arm7/proofs
Dec 31 04:48:44 Finished compiler/backend/arm7/proofs                            36s   2GB
Dec 31 04:48:45 Starting compiler/backend/arm8/proofs
Dec 31 04:49:23 Finished compiler/backend/arm8/proofs                            36s   2GB
Dec 31 04:49:24 Starting compiler/backend/arm8_asl
Dec 31 04:49:49 Finished compiler/backend/arm8_asl                               24s   2GB
Dec 31 04:49:50 Starting compiler/backend/mips/proofs
Dec 31 04:50:25 Finished compiler/backend/mips/proofs                            34s   2GB
Dec 31 04:50:26 Starting compiler/backend/riscv/proofs
Dec 31 04:51:06 Finished compiler/backend/riscv/proofs                           39s   2GB
Dec 31 04:51:07 Starting compiler/backend/ag32/proofs
Dec 31 05:01:59 Finished compiler/backend/ag32/proofs                         10m51s   5GB
Dec 31 05:02:00 Starting compiler/backend/cv_compute
Dec 31 05:02:28 Finished compiler/backend/cv_compute                             26s   1GB
Dec 31 05:02:29 Starting cv_translator
Dec 31 05:07:37 Finished cv_translator                                         5m06s   5GB
Dec 31 05:07:38 Starting candle
Dec 31 05:07:38 Finished candle                                                   0s  18MB
Dec 31 05:07:39 Starting candle/set-theory
Dec 31 05:08:08 Finished candle/set-theory                                       28s 943MB
Dec 31 05:08:09 Starting candle/syntax-lib
Dec 31 05:08:11 Finished candle/syntax-lib                                        1s  98MB
Dec 31 05:08:12 Starting candle/standard
Dec 31 05:08:13 Finished candle/standard                                          0s  16MB
Dec 31 05:08:13 Starting candle/standard/syntax
Dec 31 05:08:28 Finished candle/standard/syntax                                  13s 788MB
Dec 31 05:08:28 Starting candle/standard/semantics
Dec 31 05:10:36 Finished candle/standard/semantics                             2m06s   2GB
Dec 31 05:10:37 Starting candle/standard/monadic
Dec 31 05:10:39 Finished candle/standard/monadic                                  1s 122MB
Dec 31 05:10:40 Starting candle/standard/ml_kernel
Dec 31 05:12:31 Finished candle/standard/ml_kernel                             1m50s   4GB
Dec 31 05:12:32 Starting candle/overloading
Dec 31 05:12:33 Finished candle/overloading                                       0s  18MB
Dec 31 05:12:34 Starting candle/overloading/syntax
Dec 31 05:15:34 Finished candle/overloading/syntax                             2m59s   2GB
Dec 31 05:15:35 Starting candle/overloading/semantics
Dec 31 05:25:51 Finished candle/overloading/semantics                         10m15s   5GB
Dec 31 05:25:52 Starting candle/overloading/monadic
Dec 31 05:27:53 Finished candle/overloading/monadic                            2m00s   2GB
Dec 31 05:27:54 Starting candle/overloading/ml_kernel
Dec 31 05:33:58 Finished candle/overloading/ml_kernel                          6m02s   6GB
Dec 31 05:33:59 Starting candle/overloading/ml_checker
Dec 31 05:36:14 Finished candle/overloading/ml_checker                         2m14s   6GB
Dec 31 05:36:15 Starting candle/prover
Dec 31 05:36:18 Finished candle/prover                                            2s 163MB
Dec 31 05:36:19 Starting candle/prover/compute
Dec 31 05:36:22 Finished candle/prover/compute                                    1s 146MB
Dec 31 05:36:22 Starting pancake
Dec 31 05:36:25 Finished pancake                                                  1s 140MB
Dec 31 05:36:26 Starting pancake/semantics
Dec 31 05:39:11 Finished pancake/semantics                                     2m44s   2GB
Dec 31 05:39:12 Starting pancake/parser
Dec 31 05:39:42 Finished pancake/parser                                          29s 462MB
Dec 31 05:39:43 Starting pancake/static_checker
Dec 31 05:40:48 Finished pancake/static_checker                                1m04s   1GB
Dec 31 05:40:49 Starting pancake/proofs
Dec 31 05:53:55 Finished pancake/proofs                                       13m05s   5GB
Dec 31 05:53:56 Starting compiler/dafny
Dec 31 05:54:20 Finished compiler/dafny                                          23s 718MB
Dec 31 05:54:21 Starting compiler/dafny/translation
Dec 31 06:03:49 Finished compiler/dafny/translation                            9m27s   6GB
Dec 31 06:03:50 Starting compiler/dafny/compilation
Dec 31 06:05:40 Finished compiler/dafny/compilation                            1m49s   6GB
Dec 31 06:05:41 Starting compiler/dafny/semantics
Dec 31 06:06:18 Finished compiler/dafny/semantics                                36s 565MB
Dec 31 06:06:19 Starting compiler/dafny/proofs
Dec 31 06:07:49 Finished compiler/dafny/proofs                                 1m29s   1GB
Dec 31 06:07:50 Starting compiler/dafny/vcg
Dec 31 06:07:52 Finished compiler/dafny/vcg                                       1s 108MB
Dec 31 06:07:53 Starting compiler/dafny/vcg/examples
Dec 31 06:08:19 Finished compiler/dafny/vcg/examples                             24s   1GB
Dec 31 06:08:19 Starting compiler/scheme
Dec 31 06:08:48 Finished compiler/scheme                                         27s   1GB
Dec 31 06:08:49 Starting compiler/scheme/translation
Dec 31 06:15:36 Finished compiler/scheme/translation                           6m46s   8GB
Dec 31 06:15:37 Starting compiler/scheme/compilation
Dec 31 06:16:55 Finished compiler/scheme/compilation                           1m17s   4GB
Dec 31 06:16:56 Starting compiler/scheme/proofs
Dec 31 06:23:13 Finished compiler/scheme/proofs                                6m15s   3GB
Dec 31 06:23:14 Starting characteristic/examples
Dec 31 06:24:41 Finished characteristic/examples                               1m26s   5GB
Dec 31 06:24:41 Starting tutorial/solutions
Dec 31 06:27:14 Finished tutorial/solutions                                    2m31s   3GB
Dec 31 06:27:15 Starting translator/monadic/examples
Dec 31 06:30:08 Finished translator/monadic/examples                           2m52s   3GB
Dec 31 06:30:09 Starting examples
Dec 31 06:34:40 Finished examples                                              4m29s   7GB
Dec 31 06:34:41 Starting examples/compilation
Dec 31 06:34:41 Finished examples/compilation                                     0s  18MB
Dec 31 06:34:42 Starting examples/compilation/x64
Dec 31 06:41:41 Finished examples/compilation/x64                              6m58s   4GB
Dec 31 06:41:42 Starting examples/compilation/x64/proofs
Dec 31 06:44:34 Finished examples/compilation/x64/proofs                       2m50s   4GB
Dec 31 06:44:35 Starting examples/compilation/ag32
Dec 31 06:46:43 Finished examples/compilation/ag32                             2m07s   3GB
Dec 31 06:46:43 Starting examples/compilation/ag32/proofs
Dec 31 06:47:54 Finished examples/compilation/ag32/proofs                      1m09s   5GB
Dec 31 06:47:55 Starting examples/lpr_checker
Dec 31 06:48:31 Finished examples/lpr_checker                                    35s   1GB
Dec 31 06:48:32 Starting examples/lpr_checker/array
Dec 31 07:01:11 Finished examples/lpr_checker/array                           12m37s   6GB
Dec 31 07:01:12 Starting examples/lpr_checker/array/compilation
Dec 31 07:03:33 Finished examples/lpr_checker/array/compilation                2m20s   7GB
Dec 31 07:03:33 Starting examples/lpr_checker/array/compilation/proofs
Dec 31 07:04:48 Finished examples/lpr_checker/array/compilation/proofs         1m14s   5GB
Dec 31 07:04:49 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 31 07:06:04 Finished examples/lpr_checker/array/compilation/proofsARM8     1m13s   6GB
Dec 31 07:06:05 Starting .
Dec 31 07:06:10 Finished .                                                        3s 355MB
Dec 31 07:06:10 Starting examples/xlrup_checker
Dec 31 07:06:59 Finished examples/xlrup_checker                                  48s   1GB
Dec 31 07:07:00 Starting examples/xlrup_checker/array
Dec 31 07:16:39 Finished examples/xlrup_checker/array                          9m37s   5GB
Dec 31 07:16:40 Starting examples/xlrup_checker/array/compilation
Dec 31 07:17:56 Finished examples/xlrup_checker/array/compilation              1m15s   4GB
Dec 31 07:17:57 Starting examples/xlrup_checker/array/compilation/proofs
Dec 31 07:19:04 Finished examples/xlrup_checker/array/compilation/proofs       1m06s   4GB
Dec 31 07:19:05 Starting examples/scpog_checker
Dec 31 07:19:52 Finished examples/scpog_checker                                  45s   2GB
Dec 31 07:19:53 Starting examples/scpog_checker/array
Dec 31 07:25:48 Finished examples/scpog_checker/array                          5m54s   4GB
Dec 31 07:25:49 Starting examples/scpog_checker/array/compilation
Dec 31 07:27:50 Finished examples/scpog_checker/array/compilation              2m00s   7GB
Dec 31 07:27:51 Starting examples/scpog_checker/array/compilation/proofs
Dec 31 07:29:08 Finished examples/scpog_checker/array/compilation/proofs       1m16s   6GB
Dec 31 07:29:09 Starting examples/pseudo_bool
Dec 31 07:31:04 Finished examples/pseudo_bool                                  1m54s   1GB
Dec 31 07:31:05 Starting examples/pseudo_bool/cnf_encoding
Dec 31 07:31:35 Finished examples/pseudo_bool/cnf_encoding                       28s 946MB
Dec 31 07:31:35 Starting examples/pseudo_bool/graph_encoding
Dec 31 07:32:18 Finished examples/pseudo_bool/graph_encoding                     42s   1GB
Dec 31 07:32:19 Starting examples/pseudo_bool/array
Dec 31 08:08:19 Finished examples/pseudo_bool/array                           35m59s  18GB
Dec 31 08:08:20 Starting examples/pseudo_bool/array/compilation
Dec 31 08:18:50 Finished examples/pseudo_bool/array/compilation               10m29s  18GB
Dec 31 08:18:51 Starting examples/pseudo_bool/array/compilation/proofs
Dec 31 08:22:27 Finished examples/pseudo_bool/array/compilation/proofs         3m34s   6GB
Dec 31 08:22:27 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 31 08:23:54 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m25s   7GB
Dec 31 08:23:55 Starting examples/opentheory
Dec 31 08:30:51 Finished examples/opentheory                                   6m55s   5GB
Dec 31 08:30:52 Starting examples/opentheory/compilation
Dec 31 08:32:27 Finished examples/opentheory/compilation                       1m34s   5GB
Dec 31 08:32:28 Starting examples/opentheory/compilation/proofs
Dec 31 08:33:39 Finished examples/opentheory/compilation/proofs                1m09s   4GB
Dec 31 08:33:40 Starting examples/opentheory/compilation/ag32
Dec 31 08:35:13 Finished examples/opentheory/compilation/ag32                  1m32s   6GB
Dec 31 08:35:13 Starting examples/opentheory/compilation/ag32/proofs
Dec 31 08:36:53 Finished examples/opentheory/compilation/ag32/proofs           1m39s   7GB
Dec 31 08:36:54 Starting examples/sat_encodings
Dec 31 08:38:01 Finished examples/sat_encodings                                1m06s 799MB
Dec 31 08:38:02 Starting examples/sat_encodings/demo
Dec 31 08:38:03 Finished examples/sat_encodings/demo                              0s  18MB
Dec 31 08:38:04 Starting examples/sat_encodings/case_studies
Dec 31 08:39:47 Finished examples/sat_encodings/case_studies                   1m41s   1GB
Dec 31 08:39:47 Starting examples/sat_encodings/translation
Dec 31 08:43:08 Finished examples/sat_encodings/translation                    3m20s   3GB
Dec 31 08:43:09 Starting examples/sat_encodings/translation/compilation
Dec 31 08:45:12 Finished examples/sat_encodings/translation/compilation        2m01s   4GB
Dec 31 08:45:13 Starting examples/deflate
Dec 31 08:45:34 Finished examples/deflate                                        20s 461MB
Dec 31 08:45:35 Starting examples/deflate/translation
Dec 31 08:46:32 Finished examples/deflate/translation                            56s   3GB
Dec 31 08:46:33 Starting examples/deflate/translation/compilation
Dec 31 08:47:27 Finished examples/deflate/translation/compilation                53s   3GB
Dec 31 08:47:28 Starting examples/vipr
Dec 31 08:50:44 Finished examples/vipr                                         3m15s   8GB
Dec 31 08:50:45 Starting examples/vipr/compilation
Dec 31 08:51:47 Finished examples/vipr/compilation                             1m01s   4GB
Dec 31 08:51:48 Starting examples/template
Dec 31 08:51:51 Finished examples/template                                        2s 154MB
Dec 31 08:51:52 Starting examples/template/translation
Dec 31 08:52:11 Finished examples/template/translation                           17s 885MB
Dec 31 08:52:12 Starting examples/template/compilation
Dec 31 08:53:14 Finished examples/template/compilation                         1m02s   4GB
Dec 31 08:53:15 Starting translator/okasaki-examples
Dec 31 08:55:55 Finished translator/okasaki-examples                           2m38s   3GB
Dec 31 08:55:56 Starting translator/other-examples
Dec 31 08:56:47 Finished translator/other-examples                               50s   2GB
Dec 31 08:56:48 Starting translator/other-examples/auxiliary
Dec 31 08:56:49 Finished translator/other-examples/auxiliary                      0s  20MB
Dec 31 08:56:50 Starting compiler/parsing/tests
Dec 31 08:57:28 Finished compiler/parsing/tests                                  37s   1GB
Dec 31 08:57:29 Starting compiler/inference/tests
Dec 31 08:58:09 Finished compiler/inference/tests                                39s   2GB
Dec 31 08:58:10 Starting compiler/printing/test
Dec 31 08:59:27 Finished compiler/printing/test                                1m16s   5GB
Dec 31 08:59:28 Starting compiler/repl
Dec 31 08:59:32 Finished compiler/repl                                            2s 252MB
Dec 31 08:59:33 Starting compiler/benchmarks
Dec 31 09:00:27 Finished compiler/benchmarks                                     53s 747MB
Dec 31 09:00:28 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Dec 31 09:00:31 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 269MB
Dec 31 09:00:32 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Dec 31 09:00:36 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 282MB
Dec 31 09:00:37 Starting compiler/bootstrap/translation
Dec 31 10:50:35 Finished compiler/bootstrap/translation                     1h49m56s  55GB
Dec 31 10:50:36 Starting compiler/bootstrap/compilation/x64/64
Dec 31 10:54:02 Finished compiler/bootstrap/compilation/x64/64                 3m14s  16GB
Dec 31 10:54:03 Starting compiler/bootstrap/compilation/x64/32
Dec 31 11:21:09 Finished compiler/bootstrap/compilation/x64/32                26m59s  64GB
Dec 31 11:21:10 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 31 11:26:09 Finished compiler/bootstrap/compilation/x64/32/proofs          4m57s  27GB
Dec 31 11:26:10 Starting compiler/bootstrap/compilation/arm8/64
Dec 31 12:04:50 Finished compiler/bootstrap/compilation/arm8/64               38m31s  60GB
Dec 31 12:04:51 Starting compiler/bootstrap/compilation/arm8/64/proofs
Dec 31 12:11:04 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m12s  30GB
Dec 31 12:11:05 Starting compiler/bootstrap/compilation/ag32/32
Dec 31 12:39:30 Finished compiler/bootstrap/compilation/ag32/32               28m24s  75GB
Dec 31 12:39:31 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 31 12:44:56 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m24s  32GB
Dec 31 12:44:57 SUCCESS