Job 3086

CakeML:33f42d931afb6a441c24ab775b2e728fc48f7539
  Remove aliases of drule to old_drule [Dec 30 10:04:27]
#1287 (old_drule)
Merging into: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:lammmington

Dec 30 10:16:08 Claimed job
Dec 30 10:16:13 Reusing HOL
Dec 30 10:16:20 Starting developers
Dec 30 10:16:25 Finished developers                                               4s 127MB
Dec 30 10:16:26 Starting developers/bin
Dec 30 10:16:32 Finished developers/bin                                           4s  91MB
Dec 30 10:16:33 Starting misc
Dec 30 10:17:13 Finished misc                                                    38s   1GB
Dec 30 10:17:13 Starting compiler/proofs
Dec 30 11:17:44 Finished compiler/proofs                                    1h00m29s  21GB
Dec 30 11:17:45 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 30 17:05:45 Finished compiler/bootstrap/compilation/x64/64/proofs       5h47m59s 100GB
Dec 30 17:05:46 Starting semantics/ffi
Dec 30 17:05:56 Finished semantics/ffi                                            9s 527MB
Dec 30 17:05:57 Starting semantics
Dec 30 17:05:59 Finished semantics                                                0s  59MB
Dec 30 17:06:00 Starting semantics/proofs
Dec 30 17:06:22 Finished semantics/proofs                                        21s 914MB
Dec 30 17:06:22 Starting semantics/alt_semantics
Dec 30 17:06:41 Finished semantics/alt_semantics                                 18s 710MB
Dec 30 17:06:42 Starting semantics/alt_semantics/proofs
Dec 30 17:10:36 Finished semantics/alt_semantics/proofs                        3m53s   2GB
Dec 30 17:10:37 Starting basis/pure
Dec 30 17:10:39 Finished basis/pure                                               1s  96MB
Dec 30 17:10:40 Starting translator
Dec 30 17:11:46 Finished translator                                            1m04s   3GB
Dec 30 17:11:46 Starting compiler/parsing
Dec 30 17:11:48 Finished compiler/parsing                                         0s  71MB
Dec 30 17:11:49 Starting characteristic
Dec 30 17:11:51 Finished characteristic                                           1s 119MB
Dec 30 17:11:52 Starting translator/monadic
Dec 30 17:11:54 Finished translator/monadic                                       1s 120MB
Dec 30 17:11:55 Starting translator/monadic/monad_base
Dec 30 17:11:57 Finished translator/monadic/monad_base                            0s  64MB
Dec 30 17:11:57 Starting profiler
Dec 30 17:12:27 Finished profiler                                                29s   1GB
Dec 30 17:12:28 Starting basis
Dec 30 17:14:01 Finished basis                                                 1m32s   4GB
Dec 30 17:14:02 Starting compiler
Dec 30 17:14:05 Finished compiler                                                 2s 215MB
Dec 30 17:14:06 Starting compiler/inference
Dec 30 17:14:08 Finished compiler/inference                                       1s 109MB
Dec 30 17:14:09 Starting compiler/backend/reg_alloc
Dec 30 17:14:11 Finished compiler/backend/reg_alloc                               1s  92MB
Dec 30 17:14:12 Starting compiler/backend/gc
Dec 30 17:14:15 Finished compiler/backend/gc                                      1s 144MB
Dec 30 17:14:15 Starting compiler/backend
Dec 30 17:14:21 Finished compiler/backend                                         5s 262MB
Dec 30 17:14:22 Starting compiler/encoders/asm
Dec 30 17:14:24 Finished compiler/encoders/asm                                    0s  89MB
Dec 30 17:14:25 Starting compiler/encoders/x64
Dec 30 17:14:27 Finished compiler/encoders/x64                                    1s  94MB
Dec 30 17:14:28 Starting compiler/encoders/arm7
Dec 30 17:14:30 Finished compiler/encoders/arm7                                   1s  95MB
Dec 30 17:14:30 Starting compiler/encoders/arm8
Dec 30 17:14:32 Finished compiler/encoders/arm8                                   1s  94MB
Dec 30 17:14:33 Starting compiler/encoders/arm8_asl
Dec 30 17:14:47 Finished compiler/encoders/arm8_asl                              13s   1GB
Dec 30 17:14:48 Starting compiler/encoders/mips
Dec 30 17:14:50 Finished compiler/encoders/mips                                   1s  90MB
Dec 30 17:14:51 Starting compiler/encoders/riscv
Dec 30 17:14:53 Finished compiler/encoders/riscv                                  1s  95MB
Dec 30 17:14:54 Starting compiler/encoders/ag32
Dec 30 17:14:55 Finished compiler/encoders/ag32                                   0s  90MB
Dec 30 17:14:56 Starting compiler/encoders/tests
Dec 30 17:14:58 Finished compiler/encoders/tests                                  1s 111MB
Dec 30 17:14:59 Starting compiler/encoders/monadic_enc
Dec 30 17:15:23 Finished compiler/encoders/monadic_enc                           22s   1GB
Dec 30 17:15:24 Starting compiler/backend/x64
Dec 30 17:15:26 Finished compiler/backend/x64                                     1s 136MB
Dec 30 17:15:27 Starting compiler/backend/arm7
Dec 30 17:15:29 Finished compiler/backend/arm7                                    1s 142MB
Dec 30 17:15:30 Starting compiler/backend/arm8
Dec 30 17:15:33 Finished compiler/backend/arm8                                    1s 136MB
Dec 30 17:15:33 Starting compiler/backend/mips
Dec 30 17:15:36 Finished compiler/backend/mips                                    1s 136MB
Dec 30 17:15:37 Starting compiler/backend/riscv
Dec 30 17:15:39 Finished compiler/backend/riscv                                   1s 136MB
Dec 30 17:15:40 Starting compiler/backend/ag32
Dec 30 17:16:40 Finished compiler/backend/ag32                                   58s   2GB
Dec 30 17:16:40 Starting compiler/backend/pattern_matching
Dec 30 17:16:42 Finished compiler/backend/pattern_matching                        0s  64MB
Dec 30 17:16:43 Starting compiler/parsing/ocaml
Dec 30 17:18:28 Finished compiler/parsing/ocaml                                1m44s   1GB
Dec 30 17:18:29 Starting compiler/printing
Dec 30 17:18:31 Finished compiler/printing                                        1s 113MB
Dec 30 17:18:32 Starting compiler/parsing/proofs
Dec 30 17:18:33 Finished compiler/parsing/proofs                                  0s  70MB
Dec 30 17:18:34 Starting compiler/inference/proofs
Dec 30 17:18:36 Finished compiler/inference/proofs                                1s 111MB
Dec 30 17:18:37 Starting compiler/backend/semantics
Dec 30 17:20:42 Finished compiler/backend/semantics                            2m03s   2GB
Dec 30 17:20:43 Starting compiler/backend/reg_alloc/proofs
Dec 30 17:20:45 Finished compiler/backend/reg_alloc/proofs                        1s 124MB
Dec 30 17:20:46 Starting compiler/backend/proofs
Dec 30 17:21:30 Finished compiler/backend/proofs                                 43s   2GB
Dec 30 17:21:31 Starting compiler/backend/serialiser
Dec 30 17:21:34 Finished compiler/backend/serialiser                              1s 145MB
Dec 30 17:21:35 Starting compiler/encoders/x64/proofs
Dec 30 17:21:37 Finished compiler/encoders/x64/proofs                             1s 100MB
Dec 30 17:21:37 Starting compiler/encoders/arm7/proofs
Dec 30 17:32:30 Finished compiler/encoders/arm7/proofs                        10m51s   9GB
Dec 30 17:32:31 Starting compiler/encoders/arm8/proofs
Dec 30 17:38:55 Finished compiler/encoders/arm8/proofs                         6m22s   5GB
Dec 30 17:38:56 Starting compiler/encoders/arm8_asl/proofs
Dec 30 17:53:36 Finished compiler/encoders/arm8_asl/proofs                    14m39s   3GB
Dec 30 17:53:37 Starting compiler/encoders/mips/proofs
Dec 30 18:02:32 Finished compiler/encoders/mips/proofs                         8m54s   8GB
Dec 30 18:02:33 Starting compiler/encoders/riscv/proofs
Dec 30 18:09:59 Finished compiler/encoders/riscv/proofs                        7m25s   4GB
Dec 30 18:10:00 Starting compiler/encoders/ag32/proofs
Dec 30 18:12:37 Finished compiler/encoders/ag32/proofs                         2m36s   2GB
Dec 30 18:12:38 Starting compiler/backend/x64/proofs
Dec 30 18:12:41 Finished compiler/backend/x64/proofs                              2s 208MB
Dec 30 18:12:42 Starting compiler/backend/arm7/proofs
Dec 30 18:13:19 Finished compiler/backend/arm7/proofs                            36s   2GB
Dec 30 18:13:20 Starting compiler/backend/arm8/proofs
Dec 30 18:13:56 Finished compiler/backend/arm8/proofs                            34s   2GB
Dec 30 18:13:57 Starting compiler/backend/arm8_asl
Dec 30 18:14:22 Finished compiler/backend/arm8_asl                               24s   2GB
Dec 30 18:14:23 Starting compiler/backend/mips/proofs
Dec 30 18:14:58 Finished compiler/backend/mips/proofs                            34s   2GB
Dec 30 18:14:59 Starting compiler/backend/riscv/proofs
Dec 30 18:15:35 Finished compiler/backend/riscv/proofs                           34s   2GB
Dec 30 18:15:35 Starting compiler/backend/ag32/proofs
Dec 30 18:26:27 Finished compiler/backend/ag32/proofs                         10m51s   5GB
Dec 30 18:26:28 Starting compiler/backend/cv_compute
Dec 30 18:26:56 Finished compiler/backend/cv_compute                             26s   1GB
Dec 30 18:26:57 Starting cv_translator
Dec 30 18:32:03 Finished cv_translator                                         5m05s   4GB
Dec 30 18:32:04 Starting candle
Dec 30 18:32:05 Finished candle                                                   0s  18MB
Dec 30 18:32:06 Starting candle/set-theory
Dec 30 18:32:35 Finished candle/set-theory                                       28s 930MB
Dec 30 18:32:36 Starting candle/syntax-lib
Dec 30 18:32:38 Finished candle/syntax-lib                                        1s  89MB
Dec 30 18:32:39 Starting candle/standard
Dec 30 18:32:40 Finished candle/standard                                          0s  17MB
Dec 30 18:32:41 Starting candle/standard/syntax
Dec 30 18:32:55 Finished candle/standard/syntax                                  12s 773MB
Dec 30 18:32:55 Starting candle/standard/semantics
Dec 30 18:35:04 Finished candle/standard/semantics                             2m07s   3GB
Dec 30 18:35:05 Starting candle/standard/monadic
Dec 30 18:35:07 Finished candle/standard/monadic                                  1s 121MB
Dec 30 18:35:08 Starting candle/standard/ml_kernel
Dec 30 18:37:21 Finished candle/standard/ml_kernel                             2m11s   3GB
Dec 30 18:37:21 Starting candle/overloading
Dec 30 18:37:22 Finished candle/overloading                                       0s  18MB
Dec 30 18:37:23 Starting candle/overloading/syntax
Dec 30 18:40:18 Finished candle/overloading/syntax                             2m54s   2GB
Dec 30 18:40:19 Starting candle/overloading/semantics
Dec 30 18:50:20 Finished candle/overloading/semantics                         10m00s   3GB
Dec 30 18:50:21 Starting candle/overloading/monadic
Dec 30 18:52:28 Finished candle/overloading/monadic                            2m06s   1GB
Dec 30 18:52:29 Starting candle/overloading/ml_kernel
Dec 30 18:58:39 Finished candle/overloading/ml_kernel                          6m08s   5GB
Dec 30 18:58:39 Starting candle/overloading/ml_checker
Dec 30 19:00:55 Finished candle/overloading/ml_checker                         2m14s   6GB
Dec 30 19:00:56 Starting candle/prover
Dec 30 19:00:59 Finished candle/prover                                            2s 164MB
Dec 30 19:00:59 Starting candle/prover/compute
Dec 30 19:01:02 Finished candle/prover/compute                                    1s 145MB
Dec 30 19:01:03 Starting pancake
Dec 30 19:01:05 Finished pancake                                                  1s 146MB
Dec 30 19:01:06 Starting pancake/semantics
Dec 30 19:03:49 Finished pancake/semantics                                     2m42s   2GB
Dec 30 19:03:50 Starting pancake/parser
Dec 30 19:04:19 Finished pancake/parser                                          28s 518MB
Dec 30 19:04:20 Starting pancake/static_checker
Dec 30 19:05:25 Finished pancake/static_checker                                1m03s   1GB
Dec 30 19:05:26 Starting pancake/proofs
Dec 30 19:18:27 Finished pancake/proofs                                       13m00s   5GB
Dec 30 19:18:28 Starting compiler/dafny
Dec 30 19:18:54 Finished compiler/dafny                                          24s 721MB
Dec 30 19:18:54 Starting compiler/dafny/translation
Dec 30 19:28:46 Finished compiler/dafny/translation                            9m50s   5GB
Dec 30 19:28:47 Starting compiler/dafny/compilation
Dec 30 19:30:34 Finished compiler/dafny/compilation                            1m46s   5GB
Dec 30 19:30:35 Starting compiler/dafny/semantics
Dec 30 19:31:11 Finished compiler/dafny/semantics                                35s 574MB
Dec 30 19:31:12 Starting compiler/dafny/proofs
Dec 30 19:32:40 Finished compiler/dafny/proofs                                 1m27s   1GB
Dec 30 19:32:41 Starting compiler/dafny/vcg
Dec 30 19:32:43 Finished compiler/dafny/vcg                                       1s 104MB
Dec 30 19:32:44 Starting compiler/dafny/vcg/examples
Dec 30 19:33:10 Finished compiler/dafny/vcg/examples                             24s   1GB
Dec 30 19:33:11 Starting compiler/scheme
Dec 30 19:33:37 Finished compiler/scheme                                         25s   1GB
Dec 30 19:33:38 Starting compiler/scheme/translation
Dec 30 19:40:19 Finished compiler/scheme/translation                           6m40s   7GB
Dec 30 19:40:20 Starting compiler/scheme/compilation
Dec 30 19:41:40 Finished compiler/scheme/compilation                           1m18s   4GB
Dec 30 19:41:41 Starting compiler/scheme/proofs
Dec 30 19:48:03 Finished compiler/scheme/proofs                                6m21s   3GB
Dec 30 19:48:04 Starting characteristic/examples
Dec 30 19:49:34 Finished characteristic/examples                               1m29s   5GB
Dec 30 19:49:35 Starting tutorial/solutions
Dec 30 19:52:10 Finished tutorial/solutions                                    2m33s   3GB
Dec 30 19:52:11 Starting translator/monadic/examples
Dec 30 19:55:06 Finished translator/monadic/examples                           2m54s   4GB
Dec 30 19:55:07 Starting examples
Dec 30 19:59:45 Finished examples                                              4m37s   4GB
Dec 30 19:59:46 Starting examples/compilation
Dec 30 19:59:47 Finished examples/compilation                                     0s  18MB
Dec 30 19:59:47 Starting examples/compilation/x64
Dec 30 20:06:51 Finished examples/compilation/x64                              7m02s   4GB
Dec 30 20:06:51 Starting examples/compilation/x64/proofs
Dec 30 20:09:31 Finished examples/compilation/x64/proofs                       2m38s   4GB
Dec 30 20:09:32 Starting examples/compilation/ag32
Dec 30 20:11:40 Finished examples/compilation/ag32                             2m07s   3GB
Dec 30 20:11:41 Starting examples/compilation/ag32/proofs
Dec 30 20:12:49 Finished examples/compilation/ag32/proofs                      1m07s   5GB
Dec 30 20:12:50 Starting examples/lpr_checker
Dec 30 20:13:26 Finished examples/lpr_checker                                    34s   1GB
Dec 30 20:13:27 Starting examples/lpr_checker/array
Dec 30 20:26:34 Finished examples/lpr_checker/array                           13m06s  11GB
Dec 30 20:26:35 Starting examples/lpr_checker/array/compilation
Dec 30 20:29:10 Finished examples/lpr_checker/array/compilation                2m34s   7GB
Dec 30 20:29:11 Starting examples/lpr_checker/array/compilation/proofs
Dec 30 20:30:29 Finished examples/lpr_checker/array/compilation/proofs         1m16s   5GB
Dec 30 20:30:30 Starting examples/lpr_checker/array/compilation/proofsARM8
Dec 30 20:31:47 Finished examples/lpr_checker/array/compilation/proofsARM8     1m16s   6GB
Dec 30 20:31:48 Starting .
Dec 30 20:31:53 Finished .                                                        3s 328MB
Dec 30 20:31:53 Starting examples/xlrup_checker
Dec 30 20:32:46 Finished examples/xlrup_checker                                  51s   1GB
Dec 30 20:32:47 Starting examples/xlrup_checker/array
Dec 30 20:42:35 Finished examples/xlrup_checker/array                          9m47s   4GB
Dec 30 20:42:36 Starting examples/xlrup_checker/array/compilation
Dec 30 20:43:51 Finished examples/xlrup_checker/array/compilation              1m13s   4GB
Dec 30 20:43:52 Starting examples/xlrup_checker/array/compilation/proofs
Dec 30 20:45:01 Finished examples/xlrup_checker/array/compilation/proofs       1m08s   4GB
Dec 30 20:45:02 Starting examples/scpog_checker
Dec 30 20:45:49 Finished examples/scpog_checker                                  46s   2GB
Dec 30 20:45:50 Starting examples/scpog_checker/array
Dec 30 20:51:43 Finished examples/scpog_checker/array                          5m52s   4GB
Dec 30 20:51:44 Starting examples/scpog_checker/array/compilation
Dec 30 20:53:48 Finished examples/scpog_checker/array/compilation              2m02s   7GB
Dec 30 20:53:49 Starting examples/scpog_checker/array/compilation/proofs
Dec 30 20:55:09 Finished examples/scpog_checker/array/compilation/proofs       1m19s   6GB
Dec 30 20:55:10 Starting examples/pseudo_bool
Dec 30 20:57:05 Finished examples/pseudo_bool                                  1m54s   2GB
Dec 30 20:57:06 Starting examples/pseudo_bool/cnf_encoding
Dec 30 20:57:37 Finished examples/pseudo_bool/cnf_encoding                       29s 922MB
Dec 30 20:57:37 Starting examples/pseudo_bool/graph_encoding
Dec 30 20:58:23 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Dec 30 20:58:23 Starting examples/pseudo_bool/array
Dec 30 21:35:34 Finished examples/pseudo_bool/array                           37m09s  18GB
Dec 30 21:35:34 Starting examples/pseudo_bool/array/compilation
Dec 30 21:46:21 Finished examples/pseudo_bool/array/compilation               10m45s  17GB
Dec 30 21:46:22 Starting examples/pseudo_bool/array/compilation/proofs
Dec 30 21:50:09 Finished examples/pseudo_bool/array/compilation/proofs         3m46s   7GB
Dec 30 21:50:10 Starting examples/pseudo_bool/array/compilation/proofsARM8
Dec 30 21:51:37 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m26s   6GB
Dec 30 21:51:38 Starting examples/opentheory
Dec 30 21:58:45 Finished examples/opentheory                                   7m05s   5GB
Dec 30 21:58:46 Starting examples/opentheory/compilation
Dec 30 22:00:26 Finished examples/opentheory/compilation                       1m39s   6GB
Dec 30 22:00:27 Starting examples/opentheory/compilation/proofs
Dec 30 22:01:36 Finished examples/opentheory/compilation/proofs                1m08s   4GB
Dec 30 22:01:37 Starting examples/opentheory/compilation/ag32
Dec 30 22:03:09 Finished examples/opentheory/compilation/ag32                  1m31s   6GB
Dec 30 22:03:10 Starting examples/opentheory/compilation/ag32/proofs
Dec 30 22:04:47 Finished examples/opentheory/compilation/ag32/proofs           1m35s   8GB
Dec 30 22:04:47 Starting examples/sat_encodings
Dec 30 22:05:54 Finished examples/sat_encodings                                1m05s 668MB
Dec 30 22:05:54 Starting examples/sat_encodings/demo
Dec 30 22:05:55 Finished examples/sat_encodings/demo                              0s  18MB
Dec 30 22:05:56 Starting examples/sat_encodings/case_studies
Dec 30 22:07:40 Finished examples/sat_encodings/case_studies                   1m43s   1GB
Dec 30 22:07:41 Starting examples/sat_encodings/translation
Dec 30 22:11:07 Finished examples/sat_encodings/translation                    3m25s   3GB
Dec 30 22:11:08 Starting examples/sat_encodings/translation/compilation
Dec 30 22:13:08 Finished examples/sat_encodings/translation/compilation        1m58s   4GB
Dec 30 22:13:09 Starting examples/deflate
Dec 30 22:13:30 Finished examples/deflate                                        20s 463MB
Dec 30 22:13:31 Starting examples/deflate/translation
Dec 30 22:14:30 Finished examples/deflate/translation                            57s   3GB
Dec 30 22:14:31 Starting examples/deflate/translation/compilation
Dec 30 22:15:26 Finished examples/deflate/translation/compilation                54s   3GB
Dec 30 22:15:27 Starting examples/vipr
Dec 30 22:18:40 Finished examples/vipr                                         3m12s   8GB
Dec 30 22:18:41 Starting examples/vipr/compilation
Dec 30 22:19:42 Finished examples/vipr/compilation                             1m00s   4GB
Dec 30 22:19:42 Starting examples/template
Dec 30 22:19:46 Finished examples/template                                        2s 148MB
Dec 30 22:19:46 Starting examples/template/translation
Dec 30 22:20:04 Finished examples/template/translation                           17s 792MB
Dec 30 22:20:05 Starting examples/template/compilation
Dec 30 22:21:08 Finished examples/template/compilation                         1m01s   4GB
Dec 30 22:21:08 Starting translator/okasaki-examples
Dec 30 22:23:47 Finished translator/okasaki-examples                           2m37s   3GB
Dec 30 22:23:48 Starting translator/other-examples
Dec 30 22:24:39 Finished translator/other-examples                               50s   2GB
Dec 30 22:24:40 Starting translator/other-examples/auxiliary
Dec 30 22:24:41 Finished translator/other-examples/auxiliary                      0s  19MB
Dec 30 22:24:42 Starting compiler/parsing/tests
Dec 30 22:25:18 Finished compiler/parsing/tests                                  35s   1GB
Dec 30 22:25:19 Starting compiler/inference/tests
Dec 30 22:26:00 Finished compiler/inference/tests                                39s   2GB
Dec 30 22:26:00 Starting compiler/printing/test
Dec 30 22:27:19 Finished compiler/printing/test                                1m17s   5GB
Dec 30 22:27:19 Starting compiler/repl
Dec 30 22:27:23 Finished compiler/repl                                            2s 260MB
Dec 30 22:27:24 Starting compiler/benchmarks
Dec 30 22:28:19 Finished compiler/benchmarks                                     53s 747MB
Dec 30 22:28:20 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Dec 30 22:28:24 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             3s 259MB
Dec 30 22:28:25 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Dec 30 22:28:29 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 258MB
Dec 30 22:28:29 Starting compiler/bootstrap/translation
Dec 31 00:18:33 Finished compiler/bootstrap/translation                     1h50m02s  98GB
Dec 31 00:18:34 Starting compiler/bootstrap/compilation/x64/64
Dec 31 00:21:45 Finished compiler/bootstrap/compilation/x64/64                 3m09s  16GB
Dec 31 00:21:45 Starting compiler/bootstrap/compilation/x64/32
Dec 31 00:48:06 Finished compiler/bootstrap/compilation/x64/32                26m19s  46GB
Dec 31 00:48:07 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 31 00:52:53 Finished compiler/bootstrap/compilation/x64/32/proofs          4m45s  24GB
Dec 31 00:52:54 Starting compiler/bootstrap/compilation/arm8/64
Dec 31 01:33:13 Finished compiler/bootstrap/compilation/arm8/64               40m18s  78GB
Dec 31 01:33:14 Starting compiler/bootstrap/compilation/arm8/64/proofs
Dec 31 01:38:35 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m20s  30GB
Dec 31 01:38:36 Starting compiler/bootstrap/compilation/ag32/32
Dec 31 02:06:02 Finished compiler/bootstrap/compilation/ag32/32               27m25s  63GB
Dec 31 02:06:03 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 31 02:11:56 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m52s  30GB
Dec 31 02:11:57 SUCCESS