Job 3085

CakeML:9a6b1e38243770d39294d63a8360f894267210b9
  Merge pull request #1280 from CakeML/mlsexp [Dec 24 09:58:34]
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 26 10:13:09 Claimed job
Dec 26 10:13:12 Reusing HOL
Dec 26 10:13:20 Starting developers
Dec 26 10:13:26 Finished developers                                               4s 172MB
Dec 26 10:13:26 Starting developers/bin
Dec 26 10:13:31 Finished developers/bin                                           3s  91MB
Dec 26 10:13:32 Starting misc
Dec 26 10:14:12 Finished misc                                                    39s 882MB
Dec 26 10:14:13 Starting compiler/proofs
Dec 26 11:14:46 Finished compiler/proofs                                    1h00m31s  11GB
Dec 26 11:14:47 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 26 16:56:04 Finished compiler/bootstrap/compilation/x64/64/proofs       5h41m16s  80GB
Dec 26 16:56:05 Starting semantics/ffi
Dec 26 16:56:15 Finished semantics/ffi                                            9s 546MB
Dec 26 16:56:16 Starting semantics
Dec 26 16:56:17 Finished semantics                                                0s  62MB
Dec 26 16:56:18 Starting semantics/proofs
Dec 26 16:56:41 Finished semantics/proofs                                        21s 922MB
Dec 26 16:56:42 Starting semantics/alt_semantics
Dec 26 16:57:00 Finished semantics/alt_semantics                                 17s 713MB
Dec 26 16:57:01 Starting semantics/alt_semantics/proofs
Dec 26 17:00:57 Finished semantics/alt_semantics/proofs                        3m55s   2GB
Dec 26 17:00:58 Starting basis/pure
Dec 26 17:01:00 Finished basis/pure                                               1s  89MB
Dec 26 17:01:01 Starting translator
Dec 26 17:02:00 Finished translator                                              58s   3GB
Dec 26 17:02:01 Starting compiler/parsing
Dec 26 17:02:03 Finished compiler/parsing                                         0s  63MB
Dec 26 17:02:04 Starting characteristic
Dec 26 17:02:06 Finished characteristic                                           1s 119MB
Dec 26 17:02:07 Starting translator/monadic
Dec 26 17:02:09 Finished translator/monadic                                       1s 120MB
Dec 26 17:02:10 Starting translator/monadic/monad_base
Dec 26 17:02:11 Finished translator/monadic/monad_base                            0s  64MB
Dec 26 17:02:12 Starting profiler
Dec 26 17:02:42 Finished profiler                                                29s   1GB
Dec 26 17:02:43 Starting basis
Dec 26 17:04:17 Finished basis                                                 1m32s   4GB
Dec 26 17:04:18 Starting compiler
Dec 26 17:04:21 Finished compiler                                                 2s 221MB
Dec 26 17:04:22 Starting compiler/inference
Dec 26 17:04:24 Finished compiler/inference                                       1s 110MB
Dec 26 17:04:25 Starting compiler/backend/reg_alloc
Dec 26 17:04:27 Finished compiler/backend/reg_alloc                               1s  88MB
Dec 26 17:04:28 Starting compiler/backend/gc
Dec 26 17:04:30 Finished compiler/backend/gc                                      1s 137MB
Dec 26 17:04:31 Starting compiler/backend
Dec 26 17:04:37 Finished compiler/backend                                         5s 264MB
Dec 26 17:04:38 Starting compiler/encoders/asm
Dec 26 17:04:40 Finished compiler/encoders/asm                                    0s  95MB
Dec 26 17:04:40 Starting compiler/encoders/x64
Dec 26 17:04:42 Finished compiler/encoders/x64                                    1s  94MB
Dec 26 17:04:43 Starting compiler/encoders/arm7
Dec 26 17:04:45 Finished compiler/encoders/arm7                                   1s  94MB
Dec 26 17:04:46 Starting compiler/encoders/arm8
Dec 26 17:04:48 Finished compiler/encoders/arm8                                   1s  93MB
Dec 26 17:04:49 Starting compiler/encoders/arm8_asl
Dec 26 17:05:02 Finished compiler/encoders/arm8_asl                              12s   1GB
Dec 26 17:05:03 Starting compiler/encoders/mips
Dec 26 17:05:05 Finished compiler/encoders/mips                                   1s  95MB
Dec 26 17:05:06 Starting compiler/encoders/riscv
Dec 26 17:05:08 Finished compiler/encoders/riscv                                  1s  95MB
Dec 26 17:05:08 Starting compiler/encoders/ag32
Dec 26 17:05:10 Finished compiler/encoders/ag32                                   0s  90MB
Dec 26 17:05:11 Starting compiler/encoders/tests
Dec 26 17:05:13 Finished compiler/encoders/tests                                  1s 107MB
Dec 26 17:05:14 Starting compiler/encoders/monadic_enc
Dec 26 17:05:34 Finished compiler/encoders/monadic_enc                           19s 970MB
Dec 26 17:05:35 Starting compiler/backend/x64
Dec 26 17:05:38 Finished compiler/backend/x64                                     1s 141MB
Dec 26 17:05:38 Starting compiler/backend/arm7
Dec 26 17:05:41 Finished compiler/backend/arm7                                    1s 141MB
Dec 26 17:05:42 Starting compiler/backend/arm8
Dec 26 17:05:44 Finished compiler/backend/arm8                                    1s 140MB
Dec 26 17:05:45 Starting compiler/backend/mips
Dec 26 17:05:48 Finished compiler/backend/mips                                    1s 141MB
Dec 26 17:05:48 Starting compiler/backend/riscv
Dec 26 17:05:51 Finished compiler/backend/riscv                                   1s 141MB
Dec 26 17:05:52 Starting compiler/backend/ag32
Dec 26 17:06:51 Finished compiler/backend/ag32                                   58s   2GB
Dec 26 17:06:52 Starting compiler/backend/pattern_matching
Dec 26 17:06:53 Finished compiler/backend/pattern_matching                        0s  61MB
Dec 26 17:06:54 Starting compiler/parsing/ocaml
Dec 26 17:08:40 Finished compiler/parsing/ocaml                                1m44s   1GB
Dec 26 17:08:40 Starting compiler/printing
Dec 26 17:08:43 Finished compiler/printing                                        1s 121MB
Dec 26 17:08:44 Starting compiler/parsing/proofs
Dec 26 17:08:45 Finished compiler/parsing/proofs                                  0s  70MB
Dec 26 17:08:46 Starting compiler/inference/proofs
Dec 26 17:08:48 Finished compiler/inference/proofs                                1s 111MB
Dec 26 17:08:49 Starting compiler/backend/semantics
Dec 26 17:10:55 Finished compiler/backend/semantics                            2m05s   2GB
Dec 26 17:10:56 Starting compiler/backend/reg_alloc/proofs
Dec 26 17:10:59 Finished compiler/backend/reg_alloc/proofs                        1s 113MB
Dec 26 17:10:59 Starting compiler/backend/proofs
Dec 26 17:11:39 Finished compiler/backend/proofs                                 38s   1GB
Dec 26 17:11:39 Starting compiler/backend/serialiser
Dec 26 17:11:42 Finished compiler/backend/serialiser                              1s 144MB
Dec 26 17:11:43 Starting compiler/encoders/x64/proofs
Dec 26 17:11:45 Finished compiler/encoders/x64/proofs                             1s  94MB
Dec 26 17:11:45 Starting compiler/encoders/arm7/proofs
Dec 26 17:22:33 Finished compiler/encoders/arm7/proofs                        10m46s  12GB
Dec 26 17:22:34 Starting compiler/encoders/arm8/proofs
Dec 26 17:29:10 Finished compiler/encoders/arm8/proofs                         6m35s   5GB
Dec 26 17:29:11 Starting compiler/encoders/arm8_asl/proofs
Dec 26 17:43:59 Finished compiler/encoders/arm8_asl/proofs                    14m47s   3GB
Dec 26 17:44:00 Starting compiler/encoders/mips/proofs
Dec 26 17:52:53 Finished compiler/encoders/mips/proofs                         8m52s  10GB
Dec 26 17:52:54 Starting compiler/encoders/riscv/proofs
Dec 26 18:00:46 Finished compiler/encoders/riscv/proofs                        7m50s   4GB
Dec 26 18:00:47 Starting compiler/encoders/ag32/proofs
Dec 26 18:03:26 Finished compiler/encoders/ag32/proofs                         2m38s   2GB
Dec 26 18:03:27 Starting compiler/backend/x64/proofs
Dec 26 18:03:31 Finished compiler/backend/x64/proofs                              2s 209MB
Dec 26 18:03:31 Starting compiler/backend/arm7/proofs
Dec 26 18:04:09 Finished compiler/backend/arm7/proofs                            36s   2GB
Dec 26 18:04:10 Starting compiler/backend/arm8/proofs
Dec 26 18:04:48 Finished compiler/backend/arm8/proofs                            37s   2GB
Dec 26 18:04:49 Starting compiler/backend/arm8_asl
Dec 26 18:05:14 Finished compiler/backend/arm8_asl                               24s   2GB
Dec 26 18:05:15 Starting compiler/backend/mips/proofs
Dec 26 18:05:51 Finished compiler/backend/mips/proofs                            34s   2GB
Dec 26 18:05:52 Starting compiler/backend/riscv/proofs
Dec 26 18:06:29 Finished compiler/backend/riscv/proofs                           36s   2GB
Dec 26 18:06:30 Starting compiler/backend/ag32/proofs
Dec 26 18:17:25 Finished compiler/backend/ag32/proofs                         10m54s   5GB
Dec 26 18:17:26 Starting compiler/backend/cv_compute
Dec 26 18:17:54 Finished compiler/backend/cv_compute                             26s   1GB
Dec 26 18:17:55 Starting cv_translator
Dec 26 18:23:08 Finished cv_translator                                         5m13s   5GB
Dec 26 18:23:09 Starting candle
Dec 26 18:23:10 Finished candle                                                   0s  18MB
Dec 26 18:23:11 Starting candle/set-theory
Dec 26 18:23:40 Finished candle/set-theory                                       27s 942MB
Dec 26 18:23:41 Starting candle/syntax-lib
Dec 26 18:23:43 Finished candle/syntax-lib                                        1s  97MB
Dec 26 18:23:43 Starting candle/standard
Dec 26 18:23:44 Finished candle/standard                                          0s  18MB
Dec 26 18:23:45 Starting candle/standard/syntax
Dec 26 18:23:59 Finished candle/standard/syntax                                  13s 788MB
Dec 26 18:24:00 Starting candle/standard/semantics
Dec 26 18:26:07 Finished candle/standard/semantics                             2m05s   2GB
Dec 26 18:26:07 Starting candle/standard/monadic
Dec 26 18:26:10 Finished candle/standard/monadic                                  1s 121MB
Dec 26 18:26:11 Starting candle/standard/ml_kernel
Dec 26 18:28:04 Finished candle/standard/ml_kernel                             1m52s   4GB
Dec 26 18:28:04 Starting candle/overloading
Dec 26 18:28:05 Finished candle/overloading                                       0s  15MB
Dec 26 18:28:06 Starting candle/overloading/syntax
Dec 26 18:31:04 Finished candle/overloading/syntax                             2m56s   2GB
Dec 26 18:31:04 Starting candle/overloading/semantics
Dec 26 18:41:13 Finished candle/overloading/semantics                         10m08s   6GB
Dec 26 18:41:14 Starting candle/overloading/monadic
Dec 26 18:43:12 Finished candle/overloading/monadic                            1m57s   1GB
Dec 26 18:43:13 Starting candle/overloading/ml_kernel
Dec 26 18:49:12 Finished candle/overloading/ml_kernel                          5m58s   5GB
Dec 26 18:49:13 Starting candle/overloading/ml_checker
Dec 26 18:51:26 Finished candle/overloading/ml_checker                         2m11s   6GB
Dec 26 18:51:27 Starting candle/prover
Dec 26 18:51:30 Finished candle/prover                                            2s 161MB
Dec 26 18:51:30 Starting candle/prover/compute
Dec 26 18:51:33 Finished candle/prover/compute                                    1s 146MB
Dec 26 18:51:34 Starting pancake
Dec 26 18:51:36 Finished pancake                                                  1s 138MB
Dec 26 18:51:37 Starting pancake/semantics
Dec 26 18:54:18 Finished pancake/semantics                                     2m39s   1GB
Dec 26 18:54:19 Starting pancake/parser
Dec 26 18:54:48 Finished pancake/parser                                          28s 523MB
Dec 26 18:54:49 Starting pancake/static_checker
Dec 26 18:55:53 Finished pancake/static_checker                                1m04s   1GB
Dec 26 18:55:54 Starting pancake/proofs
Dec 26 19:09:12 Finished pancake/proofs                                       13m17s   5GB
Dec 26 19:09:13 Starting compiler/dafny
Dec 26 19:09:38 Finished compiler/dafny                                          24s 716MB
Dec 26 19:09:39 Starting compiler/dafny/translation
Dec 26 19:19:02 Finished compiler/dafny/translation                            9m21s   5GB
Dec 26 19:19:03 Starting compiler/dafny/compilation
Dec 26 19:20:52 Finished compiler/dafny/compilation                            1m48s   6GB
Dec 26 19:20:53 Starting compiler/dafny/semantics
Dec 26 19:21:30 Finished compiler/dafny/semantics                                35s 555MB
Dec 26 19:21:30 Starting compiler/dafny/proofs
Dec 26 19:22:59 Finished compiler/dafny/proofs                                 1m28s   1GB
Dec 26 19:23:00 Starting compiler/dafny/vcg
Dec 26 19:23:02 Finished compiler/dafny/vcg                                       1s 107MB
Dec 26 19:23:03 Starting compiler/dafny/vcg/examples
Dec 26 19:23:29 Finished compiler/dafny/vcg/examples                             24s   1GB
Dec 26 19:23:30 Starting compiler/scheme
Dec 26 19:23:57 Finished compiler/scheme                                         26s   1GB
Dec 26 19:23:58 Starting compiler/scheme/translation
Dec 26 19:30:47 Finished compiler/scheme/translation                           6m48s   9GB
Dec 26 19:30:48 Starting compiler/scheme/compilation
Dec 26 19:32:08 Finished compiler/scheme/compilation                           1m18s   4GB
Dec 26 19:32:09 Starting compiler/scheme/proofs
Dec 26 19:38:24 Finished compiler/scheme/proofs                                6m14s   4GB
Dec 26 19:38:25 Starting characteristic/examples
Dec 26 19:39:52 Finished characteristic/examples                               1m26s   5GB
Dec 26 19:39:53 Starting tutorial/solutions
Dec 26 19:42:27 Finished tutorial/solutions                                    2m32s   3GB
Dec 26 19:42:28 Starting translator/monadic/examples
Dec 26 19:45:22 Finished translator/monadic/examples                           2m53s   4GB
Dec 26 19:45:23 Starting examples
Dec 26 19:49:59 Finished examples                                              4m35s   5GB
Dec 26 19:50:00 Starting examples/compilation
Dec 26 19:50:01 Finished examples/compilation                                     0s  18MB
Dec 26 19:50:02 Starting examples/compilation/x64
Dec 26 19:57:01 Finished examples/compilation/x64                              6m58s   4GB
Dec 26 19:57:02 Starting examples/compilation/x64/proofs
Dec 26 19:59:56 Finished examples/compilation/x64/proofs                       2m52s   4GB
Dec 26 19:59:57 Starting examples/compilation/ag32
Dec 26 20:02:02 Finished examples/compilation/ag32                             2m04s   3GB
Dec 26 20:02:03 Starting examples/compilation/ag32/proofs
Dec 26 20:03:13 Finished examples/compilation/ag32/proofs                      1m09s   5GB
Dec 26 20:03:14 Starting examples/lpr_checker
Dec 26 20:03:50 Finished examples/lpr_checker                                    35s   1GB
Dec 26 20:03:50 Starting examples/lpr_checker/array
Dec 26 20:16:15 Finished examples/lpr_checker/array                           12m23s   7GB
Dec 26 20:16:16 Starting examples/lpr_checker/array/compilation
Dec 26 20:18:40 Finished examples/lpr_checker/array/compilation                2m22s   6GB
Dec 26 20:18:41 Starting examples/lpr_checker/array/compilation/proofs
Dec 26 20:19:50 Finished examples/lpr_checker/array/compilation/proofs         1m08s   5GB
Dec 26 20:19:51 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 26 20:21:06 Finished examples/lpr_checker/array/compilation/proofsARM8     1m13s   6GB
Dec 26 20:21:07 Starting .
Dec 26 20:21:11 Finished .                                                        3s 328MB
Dec 26 20:21:12 Starting examples/xlrup_checker
Dec 26 20:22:01 Finished examples/xlrup_checker                                  48s   1GB
Dec 26 20:22:02 Starting examples/xlrup_checker/array
Dec 26 20:31:33 Finished examples/xlrup_checker/array                          9m29s   9GB
Dec 26 20:31:34 Starting examples/xlrup_checker/array/compilation
Dec 26 20:32:49 Finished examples/xlrup_checker/array/compilation              1m14s   4GB
Dec 26 20:32:50 Starting examples/xlrup_checker/array/compilation/proofs
Dec 26 20:33:57 Finished examples/xlrup_checker/array/compilation/proofs       1m05s   4GB
Dec 26 20:33:57 Starting examples/scpog_checker
Dec 26 20:34:44 Finished examples/scpog_checker                                  45s   2GB
Dec 26 20:34:45 Starting examples/scpog_checker/array
Dec 26 20:40:28 Finished examples/scpog_checker/array                          5m42s   4GB
Dec 26 20:40:29 Starting examples/scpog_checker/array/compilation
Dec 26 20:42:25 Finished examples/scpog_checker/array/compilation              1m54s   7GB
Dec 26 20:42:26 Starting examples/scpog_checker/array/compilation/proofs
Dec 26 20:43:42 Finished examples/scpog_checker/array/compilation/proofs       1m15s   5GB
Dec 26 20:43:43 Starting examples/pseudo_bool
Dec 26 20:45:36 Finished examples/pseudo_bool                                  1m52s   1GB
Dec 26 20:45:37 Starting examples/pseudo_bool/cnf_encoding
Dec 26 20:46:07 Finished examples/pseudo_bool/cnf_encoding                       29s 947MB
Dec 26 20:46:08 Starting examples/pseudo_bool/graph_encoding
Dec 26 20:46:50 Finished examples/pseudo_bool/graph_encoding                     41s   1GB
Dec 26 20:46:51 Starting examples/pseudo_bool/array
Dec 26 21:23:58 Finished examples/pseudo_bool/array                           37m05s  22GB
Dec 26 21:23:59 Starting examples/pseudo_bool/array/compilation
Dec 26 21:34:21 Finished examples/pseudo_bool/array/compilation               10m20s  17GB
Dec 26 21:34:21 Starting examples/pseudo_bool/array/compilation/proofs
Dec 26 21:37:20 Finished examples/pseudo_bool/array/compilation/proofs         2m57s   7GB
Dec 26 21:37:21 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 26 21:38:47 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m25s   7GB
Dec 26 21:38:48 Starting examples/opentheory
Dec 26 21:45:41 Finished examples/opentheory                                   6m51s   5GB
Dec 26 21:45:42 Starting examples/opentheory/compilation
Dec 26 21:47:17 Finished examples/opentheory/compilation                       1m34s   5GB
Dec 26 21:47:18 Starting examples/opentheory/compilation/proofs
Dec 26 21:48:19 Finished examples/opentheory/compilation/proofs                1m00s   4GB
Dec 26 21:48:20 Starting examples/opentheory/compilation/ag32
Dec 26 21:49:56 Finished examples/opentheory/compilation/ag32                  1m35s   6GB
Dec 26 21:49:57 Starting examples/opentheory/compilation/ag32/proofs
Dec 26 21:51:37 Finished examples/opentheory/compilation/ag32/proofs           1m39s   7GB
Dec 26 21:51:38 Starting examples/sat_encodings
Dec 26 21:52:44 Finished examples/sat_encodings                                1m05s 792MB
Dec 26 21:52:45 Starting examples/sat_encodings/demo
Dec 26 21:52:46 Finished examples/sat_encodings/demo                              0s  17MB
Dec 26 21:52:46 Starting examples/sat_encodings/case_studies
Dec 26 21:54:31 Finished examples/sat_encodings/case_studies                   1m43s   1GB
Dec 26 21:54:32 Starting examples/sat_encodings/translation
Dec 26 21:57:54 Finished examples/sat_encodings/translation                    3m20s   3GB
Dec 26 21:57:55 Starting examples/sat_encodings/translation/compilation
Dec 26 21:59:55 Finished examples/sat_encodings/translation/compilation        1m59s   4GB
Dec 26 21:59:55 Starting examples/deflate
Dec 26 22:00:17 Finished examples/deflate                                        20s 464MB
Dec 26 22:00:18 Starting examples/deflate/translation
Dec 26 22:01:13 Finished examples/deflate/translation                            54s   3GB
Dec 26 22:01:14 Starting examples/deflate/translation/compilation
Dec 26 22:02:08 Finished examples/deflate/translation/compilation                53s   3GB
Dec 26 22:02:09 Starting examples/vipr
Dec 26 22:05:24 Finished examples/vipr                                         3m14s   8GB
Dec 26 22:05:25 Starting examples/vipr/compilation
Dec 26 22:06:27 Finished examples/vipr/compilation                             1m01s   4GB
Dec 26 22:06:28 Starting examples/template
Dec 26 22:06:31 Finished examples/template                                        2s 154MB
Dec 26 22:06:32 Starting examples/template/translation
Dec 26 22:06:50 Finished examples/template/translation                           17s 875MB
Dec 26 22:06:51 Starting examples/template/compilation
Dec 26 22:07:55 Finished examples/template/compilation                         1m02s   4GB
Dec 26 22:07:56 Starting translator/okasaki-examples
Dec 26 22:10:37 Finished translator/okasaki-examples                           2m40s   2GB
Dec 26 22:10:38 Starting translator/other-examples
Dec 26 22:11:33 Finished translator/other-examples                               54s   2GB
Dec 26 22:11:34 Starting translator/other-examples/auxiliary
Dec 26 22:11:35 Finished translator/other-examples/auxiliary                      0s  20MB
Dec 26 22:11:36 Starting compiler/parsing/tests
Dec 26 22:12:15 Finished compiler/parsing/tests                                  38s   1GB
Dec 26 22:12:16 Starting compiler/inference/tests
Dec 26 22:12:57 Finished compiler/inference/tests                                40s   2GB
Dec 26 22:12:58 Starting compiler/printing/test
Dec 26 22:14:15 Finished compiler/printing/test                                1m15s   5GB
Dec 26 22:14:15 Starting compiler/repl
Dec 26 22:14:19 Finished compiler/repl                                            2s 254MB
Dec 26 22:14:20 Starting compiler/benchmarks
Dec 26 22:15:14 Finished compiler/benchmarks                                     53s 747MB
Dec 26 22:15:15 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Dec 26 22:15:19 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 268MB
Dec 26 22:15:20 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Dec 26 22:15:24 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 281MB
Dec 26 22:15:24 Starting compiler/bootstrap/translation
Dec 27 00:06:39 Finished compiler/bootstrap/translation                     1h51m13s  84GB
Dec 27 00:06:40 Starting compiler/bootstrap/compilation/x64/64
Dec 27 00:10:03 Finished compiler/bootstrap/compilation/x64/64                 3m11s  16GB
Dec 27 00:10:03 Starting compiler/bootstrap/compilation/x64/32
Dec 27 00:36:50 Finished compiler/bootstrap/compilation/x64/32                26m39s  45GB
Dec 27 00:36:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 27 00:41:48 Finished compiler/bootstrap/compilation/x64/32/proofs          4m55s  27GB
Dec 27 00:41:48 Starting compiler/bootstrap/compilation/arm8/64
Dec 27 01:20:02 Finished compiler/bootstrap/compilation/arm8/64               38m05s  77GB
Dec 27 01:20:02 Starting compiler/bootstrap/compilation/arm8/64/proofs
Dec 27 01:26:13 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m09s  30GB
Dec 27 01:26:14 Starting compiler/bootstrap/compilation/ag32/32
Dec 27 01:54:13 Finished compiler/bootstrap/compilation/ag32/32               27m58s  60GB
Dec 27 01:54:14 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 27 01:59:28 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m13s  32GB
Dec 27 01:59:29 SUCCESS