Job 3201

CakeML:31136766cec636a98a5bea4edc36ef6da012b59b
  Fix id type arity in typeSysPropsScript [Feb 06 14:05:25]
#1324 (issue-1230)
Merging into:98c0e0472132a8e29243b9712120b58075309879
  Merge pull request #1323 from minhddo/crep_inline [Feb 06 14:49:13]
HOL:b725f6e8834462a5b4bb2fb67b35e36f368cb8b6
  Tweak regular Holmakefile to clean selftest's log [Jan 30 05:30:27]
Machine:pavlova

Feb 06 17:08:50 Claimed job
Feb 06 17:08:55 Reusing HOL
Feb 06 17:09:03 Starting developers
Feb 06 17:09:08 Finished developers                                               4s 208MB
Feb 06 17:09:09 Starting developers/bin
Feb 06 17:09:14 Finished developers/bin                                           3s  91MB
Feb 06 17:09:15 Starting misc
Feb 06 17:09:56 Finished misc                                                    40s   1GB
Feb 06 17:09:57 Starting compiler/proofs
Feb 06 18:11:36 Finished compiler/proofs                                    1h01m38s  11GB
Feb 06 18:11:37 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 07 00:22:37 Finished compiler/bootstrap/compilation/x64/64/proofs       6h10m59s  83GB
Feb 07 00:22:38 Starting semantics/ffi
Feb 07 00:22:49 Finished semantics/ffi                                           10s 535MB
Feb 07 00:22:50 Starting semantics
Feb 07 00:22:52 Finished semantics                                                1s  97MB
Feb 07 00:22:53 Starting semantics/proofs
Feb 07 00:23:15 Finished semantics/proofs                                        21s 721MB
Feb 07 00:23:16 Starting semantics/alt_semantics
Feb 07 00:23:36 Finished semantics/alt_semantics                                 19s 734MB
Feb 07 00:23:37 Starting semantics/alt_semantics/proofs
Feb 07 00:27:39 Finished semantics/alt_semantics/proofs                        4m00s   2GB
Feb 07 00:27:40 Starting basis/pure
Feb 07 00:27:41 Finished basis/pure                                               0s  89MB
Feb 07 00:27:42 Starting translator
Feb 07 00:28:46 Finished translator                                            1m02s   2GB
Feb 07 00:28:47 Starting compiler/parsing
Feb 07 00:28:49 Finished compiler/parsing                                         1s 104MB
Feb 07 00:28:49 Starting characteristic
Feb 07 00:28:52 Finished characteristic                                           1s 119MB
Feb 07 00:28:53 Starting translator/monadic
Feb 07 00:28:55 Finished translator/monadic                                       1s 120MB
Feb 07 00:28:56 Starting translator/monadic/monad_base
Feb 07 00:28:57 Finished translator/monadic/monad_base                            0s  97MB
Feb 07 00:28:58 Starting profiler
Feb 07 00:29:25 Finished profiler                                                26s   1GB
Feb 07 00:29:26 Starting basis
Feb 07 00:31:01 Finished basis                                                 1m34s   4GB
Feb 07 00:31:02 Starting compiler
Feb 07 00:31:05 Finished compiler                                                 2s 218MB
Feb 07 00:31:06 Starting compiler/inference
Feb 07 00:31:08 Finished compiler/inference                                       1s 117MB
Feb 07 00:31:09 Starting compiler/backend/reg_alloc
Feb 07 00:31:11 Finished compiler/backend/reg_alloc                               1s  96MB
Feb 07 00:31:12 Starting compiler/backend/gc
Feb 07 00:31:15 Finished compiler/backend/gc                                      1s 137MB
Feb 07 00:31:15 Starting compiler/backend
Feb 07 00:31:22 Finished compiler/backend                                         5s 292MB
Feb 07 00:31:22 Starting compiler/encoders/asm
Feb 07 00:31:24 Finished compiler/encoders/asm                                    1s 100MB
Feb 07 00:31:25 Starting compiler/encoders/x64
Feb 07 00:31:27 Finished compiler/encoders/x64                                    1s 111MB
Feb 07 00:31:28 Starting compiler/encoders/arm7
Feb 07 00:31:30 Finished compiler/encoders/arm7                                   1s 110MB
Feb 07 00:31:31 Starting compiler/encoders/arm8
Feb 07 00:31:33 Finished compiler/encoders/arm8                                   1s 110MB
Feb 07 00:31:34 Starting compiler/encoders/arm8_asl
Feb 07 00:31:48 Finished compiler/encoders/arm8_asl                              13s   1GB
Feb 07 00:31:49 Starting compiler/encoders/mips
Feb 07 00:31:51 Finished compiler/encoders/mips                                   1s 106MB
Feb 07 00:31:52 Starting compiler/encoders/riscv
Feb 07 00:31:54 Finished compiler/encoders/riscv                                  1s 106MB
Feb 07 00:31:55 Starting compiler/encoders/ag32
Feb 07 00:31:57 Finished compiler/encoders/ag32                                   1s 104MB
Feb 07 00:31:58 Starting compiler/encoders/tests
Feb 07 00:32:00 Finished compiler/encoders/tests                                  1s 128MB
Feb 07 00:32:01 Starting compiler/encoders/monadic_enc
Feb 07 00:32:25 Finished compiler/encoders/monadic_enc                           23s   1GB
Feb 07 00:32:26 Starting compiler/backend/x64
Feb 07 00:32:28 Finished compiler/backend/x64                                     1s 145MB
Feb 07 00:32:29 Starting compiler/backend/arm7
Feb 07 00:32:32 Finished compiler/backend/arm7                                    1s 141MB
Feb 07 00:32:32 Starting compiler/backend/arm8
Feb 07 00:32:35 Finished compiler/backend/arm8                                    1s 141MB
Feb 07 00:32:36 Starting compiler/backend/mips
Feb 07 00:32:38 Finished compiler/backend/mips                                    1s 145MB
Feb 07 00:32:39 Starting compiler/backend/riscv
Feb 07 00:32:41 Finished compiler/backend/riscv                                   1s 141MB
Feb 07 00:32:42 Starting compiler/backend/ag32
Feb 07 00:33:42 Finished compiler/backend/ag32                                   59s   3GB
Feb 07 00:33:43 Starting compiler/backend/pattern_matching
Feb 07 00:33:45 Finished compiler/backend/pattern_matching                        1s  91MB
Feb 07 00:33:46 Starting compiler/parsing/ocaml
Feb 07 00:35:30 Finished compiler/parsing/ocaml                                1m43s   1GB
Feb 07 00:35:31 Starting compiler/printing
Feb 07 00:36:24 Finished compiler/printing                                       51s   1GB
Feb 07 00:36:25 Starting compiler/parsing/proofs
Feb 07 00:36:27 Finished compiler/parsing/proofs                                  1s 104MB
Feb 07 00:36:28 Starting compiler/inference/proofs
Feb 07 00:36:30 Finished compiler/inference/proofs                                1s 112MB
Feb 07 00:36:31 Starting compiler/backend/semantics
Feb 07 00:38:36 Finished compiler/backend/semantics                            2m04s   2GB
Feb 07 00:38:37 Starting compiler/backend/reg_alloc/proofs
Feb 07 00:38:39 Finished compiler/backend/reg_alloc/proofs                        1s 125MB
Feb 07 00:38:40 Starting compiler/backend/proofs
Feb 07 00:39:20 Finished compiler/backend/proofs                                 39s   2GB
Feb 07 00:39:21 Starting compiler/backend/serialiser
Feb 07 00:39:24 Finished compiler/backend/serialiser                              1s 149MB
Feb 07 00:39:25 Starting compiler/encoders/x64/proofs
Feb 07 00:39:27 Finished compiler/encoders/x64/proofs                             1s 107MB
Feb 07 00:39:27 Starting compiler/encoders/arm7/proofs
Feb 07 00:49:58 Finished compiler/encoders/arm7/proofs                        10m29s   6GB
Feb 07 00:49:59 Starting compiler/encoders/arm8/proofs
Feb 07 00:56:40 Finished compiler/encoders/arm8/proofs                         6m40s   7GB
Feb 07 00:56:41 Starting compiler/encoders/arm8_asl/proofs
Feb 07 01:11:22 Finished compiler/encoders/arm8_asl/proofs                    14m40s   3GB
Feb 07 01:11:23 Starting compiler/encoders/mips/proofs
Feb 07 01:20:34 Finished compiler/encoders/mips/proofs                         9m09s  10GB
Feb 07 01:20:34 Starting compiler/encoders/riscv/proofs
Feb 07 01:28:10 Finished compiler/encoders/riscv/proofs                        7m34s   5GB
Feb 07 01:28:11 Starting compiler/encoders/ag32/proofs
Feb 07 01:30:49 Finished compiler/encoders/ag32/proofs                         2m37s   2GB
Feb 07 01:30:50 Starting compiler/backend/x64/proofs
Feb 07 01:30:54 Finished compiler/backend/x64/proofs                              2s 209MB
Feb 07 01:30:54 Starting compiler/backend/arm7/proofs
Feb 07 01:31:32 Finished compiler/backend/arm7/proofs                            36s   2GB
Feb 07 01:31:33 Starting compiler/backend/arm8/proofs
Feb 07 01:32:09 Finished compiler/backend/arm8/proofs                            35s   2GB
Feb 07 01:32:10 Starting compiler/backend/arm8_asl
Feb 07 01:32:36 Finished compiler/backend/arm8_asl                               24s   2GB
Feb 07 01:32:37 Starting compiler/backend/mips/proofs
Feb 07 01:33:13 Finished compiler/backend/mips/proofs                            35s   2GB
Feb 07 01:33:13 Starting compiler/backend/riscv/proofs
Feb 07 01:33:52 Finished compiler/backend/riscv/proofs                           37s   2GB
Feb 07 01:33:53 Starting compiler/backend/ag32/proofs
Feb 07 01:44:44 Finished compiler/backend/ag32/proofs                         10m50s   5GB
Feb 07 01:44:45 Starting compiler/backend/cv_compute
Feb 07 01:45:12 Finished compiler/backend/cv_compute                             26s   1GB
Feb 07 01:45:13 Starting cv_translator
Feb 07 01:50:34 Finished cv_translator                                         5m19s   6GB
Feb 07 01:50:35 Starting candle
Feb 07 01:50:35 Finished candle                                                   0s  17MB
Feb 07 01:50:36 Starting candle/set-theory
Feb 07 01:51:06 Finished candle/set-theory                                       28s 958MB
Feb 07 01:51:07 Starting candle/syntax-lib
Feb 07 01:51:08 Finished candle/syntax-lib                                        0s  92MB
Feb 07 01:51:09 Starting candle/standard
Feb 07 01:51:10 Finished candle/standard                                          0s  17MB
Feb 07 01:51:11 Starting candle/standard/syntax
Feb 07 01:51:25 Finished candle/standard/syntax                                  12s 793MB
Feb 07 01:51:25 Starting candle/standard/semantics
Feb 07 01:53:36 Finished candle/standard/semantics                             2m09s   3GB
Feb 07 01:53:37 Starting candle/standard/monadic
Feb 07 01:53:39 Finished candle/standard/monadic                                  1s 122MB
Feb 07 01:53:40 Starting candle/standard/ml_kernel
Feb 07 01:55:34 Finished candle/standard/ml_kernel                             1m52s   4GB
Feb 07 01:55:34 Starting candle/overloading
Feb 07 01:55:35 Finished candle/overloading                                       0s  17MB
Feb 07 01:55:36 Starting candle/overloading/syntax
Feb 07 01:58:42 Finished candle/overloading/syntax                             3m04s   2GB
Feb 07 01:58:43 Starting candle/overloading/semantics
Feb 07 02:08:45 Finished candle/overloading/semantics                         10m01s   3GB
Feb 07 02:08:45 Starting candle/overloading/monadic
Feb 07 02:10:47 Finished candle/overloading/monadic                            2m00s   2GB
Feb 07 02:10:47 Starting candle/overloading/ml_kernel
Feb 07 02:16:58 Finished candle/overloading/ml_kernel                          6m09s   7GB
Feb 07 02:16:59 Starting candle/overloading/ml_checker
Feb 07 02:19:24 Finished candle/overloading/ml_checker                         2m23s   6GB
Feb 07 02:19:24 Starting candle/prover
Feb 07 02:19:27 Finished candle/prover                                            2s 174MB
Feb 07 02:19:28 Starting candle/prover/compute
Feb 07 02:19:31 Finished candle/prover/compute                                    1s 165MB
Feb 07 02:19:32 Starting pancake
Feb 07 02:19:34 Finished pancake                                                  1s 143MB
Feb 07 02:19:35 Starting pancake/semantics
Feb 07 02:22:19 Finished pancake/semantics                                     2m42s   1GB
Feb 07 02:22:19 Starting pancake/parser
Feb 07 02:22:52 Finished pancake/parser                                          31s 859MB
Feb 07 02:22:53 Starting pancake/static_checker
Feb 07 02:23:58 Finished pancake/static_checker                                1m04s   1GB
Feb 07 02:23:59 Starting pancake/proofs
Feb 07 02:39:19 Finished pancake/proofs                                       15m18s   5GB
Feb 07 02:39:20 Starting compiler/dafny
Feb 07 02:39:45 Finished compiler/dafny                                          24s 718MB
Feb 07 02:39:46 Starting compiler/dafny/translation
Feb 07 02:50:00 Finished compiler/dafny/translation                           10m12s   7GB
Feb 07 02:50:00 Starting compiler/dafny/compilation
Feb 07 02:51:56 Finished compiler/dafny/compilation                            1m54s   6GB
Feb 07 02:51:56 Starting compiler/dafny/semantics
Feb 07 02:52:34 Finished compiler/dafny/semantics                                36s 555MB
Feb 07 02:52:35 Starting compiler/dafny/proofs
Feb 07 02:54:04 Finished compiler/dafny/proofs                                 1m28s   1GB
Feb 07 02:54:05 Starting compiler/dafny/vcg
Feb 07 02:54:07 Finished compiler/dafny/vcg                                       1s 112MB
Feb 07 02:54:08 Starting compiler/dafny/vcg/examples
Feb 07 02:54:34 Finished compiler/dafny/vcg/examples                             25s   1GB
Feb 07 02:54:35 Starting compiler/scheme
Feb 07 02:55:04 Finished compiler/scheme                                         27s   1GB
Feb 07 02:55:05 Starting compiler/scheme/translation
Feb 07 03:02:14 Finished compiler/scheme/translation                           7m08s   8GB
Feb 07 03:02:15 Starting compiler/scheme/compilation
Feb 07 03:03:37 Finished compiler/scheme/compilation                           1m20s   4GB
Feb 07 03:03:37 Starting compiler/scheme/proofs
Feb 07 03:10:05 Finished compiler/scheme/proofs                                6m26s   2GB
Feb 07 03:10:06 Starting characteristic/examples
Feb 07 03:11:30 Finished characteristic/examples                               1m23s   5GB
Feb 07 03:11:31 Starting tutorial/solutions
Feb 07 03:14:10 Finished tutorial/solutions                                    2m37s   3GB
Feb 07 03:14:10 Starting translator/monadic/examples
Feb 07 03:17:15 Finished translator/monadic/examples                           3m04s   4GB
Feb 07 03:17:16 Starting examples
Feb 07 03:21:47 Finished examples                                              4m29s   7GB
Feb 07 03:21:48 Starting examples/compilation
Feb 07 03:21:49 Finished examples/compilation                                     0s  16MB
Feb 07 03:21:50 Starting examples/compilation/x64
Feb 07 03:29:01 Finished examples/compilation/x64                              7m10s   4GB
Feb 07 03:29:02 Starting examples/compilation/x64/proofs
Feb 07 03:31:50 Finished examples/compilation/x64/proofs                       2m47s   4GB
Feb 07 03:31:51 Starting examples/compilation/ag32
Feb 07 03:34:00 Finished examples/compilation/ag32                             2m08s   3GB
Feb 07 03:34:01 Starting examples/compilation/ag32/proofs
Feb 07 03:35:15 Finished examples/compilation/ag32/proofs                      1m12s   5GB
Feb 07 03:35:15 Starting examples/lpr_checker
Feb 07 03:35:51 Finished examples/lpr_checker                                    34s   1GB
Feb 07 03:35:52 Starting examples/lpr_checker/array
Feb 07 03:48:04 Finished examples/lpr_checker/array                           12m10s  11GB
Feb 07 03:48:05 Starting examples/lpr_checker/array/compilation
Feb 07 03:50:34 Finished examples/lpr_checker/array/compilation                2m28s   7GB
Feb 07 03:50:35 Starting examples/lpr_checker/array/compilation/proofs
Feb 07 03:52:17 Finished examples/lpr_checker/array/compilation/proofs         1m41s   5GB
Feb 07 03:52:18 Starting examples/lpr_checker/array/compilation/proofsARM8
Feb 07 03:53:33 Finished examples/lpr_checker/array/compilation/proofsARM8     1m14s   6GB
Feb 07 03:53:34 Starting .
Feb 07 03:53:39 Finished .                                                        3s 365MB
Feb 07 03:53:40 Starting examples/xlrup_checker
Feb 07 03:54:31 Finished examples/xlrup_checker                                  50s   1GB
Feb 07 03:54:32 Starting examples/xlrup_checker/array
Feb 07 04:03:09 Finished examples/xlrup_checker/array                          8m35s   4GB
Feb 07 04:03:10 Starting examples/xlrup_checker/array/compilation
Feb 07 04:04:25 Finished examples/xlrup_checker/array/compilation              1m14s   4GB
Feb 07 04:04:26 Starting examples/xlrup_checker/array/compilation/proofs
Feb 07 04:05:38 Finished examples/xlrup_checker/array/compilation/proofs       1m10s   4GB
Feb 07 04:05:39 Starting examples/scpog_checker
Feb 07 04:06:27 Finished examples/scpog_checker                                  47s   2GB
Feb 07 04:06:28 Starting examples/scpog_checker/array
Feb 07 04:11:47 Finished examples/scpog_checker/array                          5m17s   4GB
Feb 07 04:11:47 Starting examples/scpog_checker/array/compilation
Feb 07 04:13:50 Finished examples/scpog_checker/array/compilation              2m02s   7GB
Feb 07 04:13:51 Starting examples/scpog_checker/array/compilation/proofs
Feb 07 04:15:12 Finished examples/scpog_checker/array/compilation/proofs       1m19s   5GB
Feb 07 04:15:13 Starting examples/pseudo_bool
Feb 07 04:17:12 Finished examples/pseudo_bool                                  1m58s   1GB
Feb 07 04:17:13 Starting examples/pseudo_bool/cnf_encoding
Feb 07 04:17:45 Finished examples/pseudo_bool/cnf_encoding                       30s   1GB
Feb 07 04:17:46 Starting examples/pseudo_bool/graph_encoding
Feb 07 04:18:29 Finished examples/pseudo_bool/graph_encoding                     42s 973MB
Feb 07 04:18:30 Starting examples/pseudo_bool/array
Feb 07 04:52:09 Finished examples/pseudo_bool/array                           33m37s  14GB
Feb 07 04:52:10 Starting examples/pseudo_bool/array/compilation
Feb 07 05:02:47 Finished examples/pseudo_bool/array/compilation               10m36s  17GB
Feb 07 05:02:48 Starting examples/pseudo_bool/array/compilation/proofs
Feb 07 05:05:55 Finished examples/pseudo_bool/array/compilation/proofs         3m05s   7GB
Feb 07 05:05:56 Starting examples/pseudo_bool/array/compilation/proofsARM8
Feb 07 05:07:25 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m27s   7GB
Feb 07 05:07:26 Starting examples/opentheory
Feb 07 05:14:21 Finished examples/opentheory                                   6m54s   5GB
Feb 07 05:14:22 Starting examples/opentheory/compilation
Feb 07 05:15:58 Finished examples/opentheory/compilation                       1m34s   5GB
Feb 07 05:15:58 Starting examples/opentheory/compilation/proofs
Feb 07 05:17:12 Finished examples/opentheory/compilation/proofs                1m13s   4GB
Feb 07 05:17:13 Starting examples/opentheory/compilation/ag32
Feb 07 05:18:54 Finished examples/opentheory/compilation/ag32                  1m39s   6GB
Feb 07 05:18:55 Starting examples/opentheory/compilation/ag32/proofs
Feb 07 05:20:34 Finished examples/opentheory/compilation/ag32/proofs           1m38s   8GB
Feb 07 05:20:34 Starting examples/sat_encodings
Feb 07 05:21:43 Finished examples/sat_encodings                                1m07s 790MB
Feb 07 05:21:44 Starting examples/sat_encodings/demo
Feb 07 05:21:45 Finished examples/sat_encodings/demo                              0s  17MB
Feb 07 05:21:46 Starting examples/sat_encodings/case_studies
Feb 07 05:23:29 Finished examples/sat_encodings/case_studies                   1m42s   1GB
Feb 07 05:23:30 Starting examples/sat_encodings/translation
Feb 07 05:26:50 Finished examples/sat_encodings/translation                    3m19s   4GB
Feb 07 05:26:51 Starting examples/sat_encodings/translation/compilation
Feb 07 05:28:55 Finished examples/sat_encodings/translation/compilation        2m02s   4GB
Feb 07 05:28:56 Starting examples/deflate
Feb 07 05:29:17 Finished examples/deflate                                        20s 450MB
Feb 07 05:29:18 Starting examples/deflate/translation
Feb 07 05:30:18 Finished examples/deflate/translation                            58s   3GB
Feb 07 05:30:19 Starting examples/deflate/translation/compilation
Feb 07 05:31:15 Finished examples/deflate/translation/compilation                55s   4GB
Feb 07 05:31:16 Starting examples/vipr
Feb 07 05:34:31 Finished examples/vipr                                         3m13s   9GB
Feb 07 05:34:32 Starting examples/vipr/compilation
Feb 07 05:35:34 Finished examples/vipr/compilation                             1m01s   4GB
Feb 07 05:35:35 Starting examples/template
Feb 07 05:35:39 Finished examples/template                                        2s 148MB
Feb 07 05:35:39 Starting examples/template/translation
Feb 07 05:36:00 Finished examples/template/translation                           19s 827MB
Feb 07 05:36:01 Starting examples/template/compilation
Feb 07 05:37:02 Finished examples/template/compilation                         1m00s   4GB
Feb 07 05:37:03 Starting translator/okasaki-examples
Feb 07 05:39:43 Finished translator/okasaki-examples                           2m39s   2GB
Feb 07 05:39:44 Starting translator/other-examples
Feb 07 05:40:41 Finished translator/other-examples                               55s   2GB
Feb 07 05:40:42 Starting translator/other-examples/auxiliary
Feb 07 05:40:43 Finished translator/other-examples/auxiliary                      0s  19MB
Feb 07 05:40:43 Starting compiler/parsing/tests
Feb 07 05:41:22 Finished compiler/parsing/tests                                  37s   1GB
Feb 07 05:41:23 Starting compiler/inference/tests
Feb 07 05:42:05 Finished compiler/inference/tests                                41s   2GB
Feb 07 05:42:06 Starting compiler/printing/test
Feb 07 05:45:03 Finished compiler/printing/test                                2m56s  15GB
Feb 07 05:45:04 Starting compiler/repl
Feb 07 05:45:08 Finished compiler/repl                                            2s 249MB
Feb 07 05:45:09 Starting compiler/benchmarks
Feb 07 05:46:03 Finished compiler/benchmarks                                     53s 747MB
Feb 07 05:46:04 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 07 05:46:07 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 262MB
Feb 07 05:46:08 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 07 05:46:12 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 264MB
Feb 07 05:46:13 Starting compiler/bootstrap/translation
Feb 07 07:44:49 Finished compiler/bootstrap/translation                     1h58m34s  90GB
Feb 07 07:44:50 Starting compiler/bootstrap/compilation/x64/64
Feb 07 07:48:12 Finished compiler/bootstrap/compilation/x64/64                 3m21s  18GB
Feb 07 07:48:13 Starting compiler/bootstrap/compilation/x64/32
Feb 07 08:15:41 Finished compiler/bootstrap/compilation/x64/32                27m27s  48GB
Feb 07 08:15:42 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 07 08:20:59 Finished compiler/bootstrap/compilation/x64/32/proofs          5m16s  26GB
Feb 07 08:21:00 Starting compiler/bootstrap/compilation/arm8/64
Feb 07 09:00:22 Finished compiler/bootstrap/compilation/arm8/64               39m21s  62GB
Feb 07 09:00:23 Starting compiler/bootstrap/compilation/arm8/64/proofs
Feb 07 09:06:56 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m31s  31GB
Feb 07 09:06:57 Starting compiler/bootstrap/compilation/ag32/32
Feb 07 09:36:44 Finished compiler/bootstrap/compilation/ag32/32               29m46s  73GB
Feb 07 09:36:45 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 07 09:42:31 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m44s  31GB
Feb 07 09:42:32 SUCCESS