Job 2896

CakeML:b9b9b265413ab0452bcc29ddfebe33a5a00cb187
  More set_grammar_ancestry [Jul 18 08:35:55]
#1202 (set_grammar_ancestry)
Merging into:438ba42d07076a8f14c147c24a56b265ce72accd
  Merge pull request #1199 from CakeML/wordLang_multiret [Jul 29 06:29:57]
HOL:a81865b9bac5e3018a070980ce8f4a392c66c9c6
  Get Holmake and build to clean properly given .hol directory [Jul 07 07:18:21]
Machine:lammmington

Aug 01 00:44:16 Claimed job
Aug 01 00:44:22 Reusing HOL
Aug 01 00:44:30 Starting developers
Aug 01 00:44:34 Finished developers                                               3s 214MB
Aug 01 00:44:35 Starting developers/bin
Aug 01 00:44:40 Finished developers/bin                                           3s 592MB
Aug 01 00:44:41 Starting misc
Aug 01 00:45:23 Finished misc                                                    40s   2GB
Aug 01 00:45:23 Starting compiler/proofs
Aug 01 02:08:05 Finished compiler/proofs                                    1h22m39s  26GB
Aug 01 02:08:06 Starting compiler/bootstrap/translation
Aug 01 07:54:07 Finished compiler/bootstrap/translation                     5h46m00s 112GB
Aug 01 07:54:08 Starting semantics/ffi
Aug 01 07:54:17 Finished semantics/ffi                                            8s 565MB
Aug 01 07:54:18 Starting semantics
Aug 01 07:54:19 Finished semantics                                                0s  57MB
Aug 01 07:54:20 Starting semantics/proofs
Aug 01 07:54:44 Finished semantics/proofs                                        22s   1GB
Aug 01 07:54:45 Starting semantics/alt_semantics
Aug 01 07:55:06 Finished semantics/alt_semantics                                 20s 911MB
Aug 01 07:55:07 Starting semantics/alt_semantics/proofs
Aug 01 08:05:35 Finished semantics/alt_semantics/proofs                       10m27s   2GB
Aug 01 08:05:36 Starting basis/pure
Aug 01 08:05:38 Finished basis/pure                                               0s 100MB
Aug 01 08:05:39 Starting translator
Aug 01 08:07:15 Finished translator                                            1m35s   2GB
Aug 01 08:07:16 Starting compiler/parsing
Aug 01 08:07:18 Finished compiler/parsing                                         0s  65MB
Aug 01 08:07:19 Starting characteristic
Aug 01 08:07:21 Finished characteristic                                           1s 114MB
Aug 01 08:07:22 Starting translator/monadic
Aug 01 08:07:24 Finished translator/monadic                                       1s 113MB
Aug 01 08:07:25 Starting translator/monadic/monad_base
Aug 01 08:07:26 Finished translator/monadic/monad_base                            0s  57MB
Aug 01 08:07:27 Starting basis
Aug 01 08:09:46 Finished basis                                                 2m17s   4GB
Aug 01 08:09:46 Starting compiler
Aug 01 08:09:49 Finished compiler                                                 1s 210MB
Aug 01 08:09:50 Starting compiler/inference
Aug 01 08:09:52 Finished compiler/inference                                       1s 117MB
Aug 01 08:09:53 Starting compiler/backend/reg_alloc
Aug 01 08:09:54 Finished compiler/backend/reg_alloc                               0s  58MB
Aug 01 08:09:55 Starting compiler/backend/gc
Aug 01 08:09:58 Finished compiler/backend/gc                                      1s 144MB
Aug 01 08:09:58 Starting compiler/backend
Aug 01 08:10:03 Finished compiler/backend                                         4s 256MB
Aug 01 08:10:04 Starting compiler/encoders/asm
Aug 01 08:10:06 Finished compiler/encoders/asm                                    0s  85MB
Aug 01 08:10:07 Starting compiler/encoders/x64
Aug 01 08:10:09 Finished compiler/encoders/x64                                    0s  86MB
Aug 01 08:10:09 Starting compiler/encoders/arm7
Aug 01 08:10:11 Finished compiler/encoders/arm7                                   0s  88MB
Aug 01 08:10:12 Starting compiler/encoders/arm8
Aug 01 08:10:14 Finished compiler/encoders/arm8                                   0s  87MB
Aug 01 08:10:15 Starting compiler/encoders/arm8_asl
Aug 01 08:10:29 Finished compiler/encoders/arm8_asl                              13s   1GB
Aug 01 08:10:30 Starting compiler/encoders/mips
Aug 01 08:10:31 Finished compiler/encoders/mips                                   0s  86MB
Aug 01 08:10:32 Starting compiler/encoders/riscv
Aug 01 08:10:34 Finished compiler/encoders/riscv                                  0s  89MB
Aug 01 08:10:35 Starting compiler/encoders/ag32
Aug 01 08:10:36 Finished compiler/encoders/ag32                                   0s  90MB
Aug 01 08:10:37 Starting compiler/encoders/tests
Aug 01 08:10:39 Finished compiler/encoders/tests                                  0s 103MB
Aug 01 08:10:40 Starting compiler/encoders/monadic_enc
Aug 01 08:10:42 Finished compiler/encoders/monadic_enc                            1s 133MB
Aug 01 08:10:43 Starting compiler/backend/x64
Aug 01 08:10:45 Finished compiler/backend/x64                                     1s 144MB
Aug 01 08:10:46 Starting compiler/backend/arm7
Aug 01 08:10:48 Finished compiler/backend/arm7                                    1s 144MB
Aug 01 08:10:49 Starting compiler/backend/arm8
Aug 01 08:10:51 Finished compiler/backend/arm8                                    1s 144MB
Aug 01 08:10:52 Starting compiler/backend/mips
Aug 01 08:10:54 Finished compiler/backend/mips                                    1s 144MB
Aug 01 08:10:55 Starting compiler/backend/riscv
Aug 01 08:10:57 Finished compiler/backend/riscv                                   1s 144MB
Aug 01 08:10:58 Starting compiler/backend/ag32
Aug 01 08:12:07 Finished compiler/backend/ag32                                 1m07s   3GB
Aug 01 08:12:08 Starting compiler/backend/pattern_matching
Aug 01 08:12:09 Finished compiler/backend/pattern_matching                        0s  58MB
Aug 01 08:12:10 Starting compiler/parsing/ocaml
Aug 01 08:13:52 Finished compiler/parsing/ocaml                                1m40s   1GB
Aug 01 08:13:52 Starting compiler/printing
Aug 01 08:13:54 Finished compiler/printing                                        1s 124MB
Aug 01 08:13:55 Starting compiler/parsing/proofs
Aug 01 08:13:57 Finished compiler/parsing/proofs                                  0s  66MB
Aug 01 08:13:58 Starting compiler/inference/proofs
Aug 01 08:14:00 Finished compiler/inference/proofs                                1s 121MB
Aug 01 08:14:01 Starting compiler/backend/semantics
Aug 01 08:17:07 Finished compiler/backend/semantics                            3m05s   2GB
Aug 01 08:17:08 Starting compiler/backend/reg_alloc/proofs
Aug 01 08:17:10 Finished compiler/backend/reg_alloc/proofs                        1s 120MB
Aug 01 08:17:11 Starting compiler/backend/proofs
Aug 01 08:17:57 Finished compiler/backend/proofs                                 45s   3GB
Aug 01 08:17:58 Starting compiler/backend/serialiser
Aug 01 08:18:01 Finished compiler/backend/serialiser                              1s 140MB
Aug 01 08:18:01 Starting compiler/encoders/x64/proofs
Aug 01 08:28:03 Finished compiler/encoders/x64/proofs                         10m00s   4GB
Aug 01 08:28:04 Starting compiler/encoders/arm7/proofs
Aug 01 08:40:56 Finished compiler/encoders/arm7/proofs                        12m51s   8GB
Aug 01 08:40:57 Starting compiler/encoders/arm8/proofs
Aug 01 08:47:48 Finished compiler/encoders/arm8/proofs                         6m49s   3GB
Aug 01 08:47:49 Starting compiler/encoders/arm8_asl/proofs
Aug 01 09:02:52 Finished compiler/encoders/arm8_asl/proofs                    15m01s   3GB
Aug 01 09:02:52 Starting compiler/encoders/mips/proofs
Aug 01 09:12:56 Finished compiler/encoders/mips/proofs                        10m02s   9GB
Aug 01 09:12:57 Starting compiler/encoders/riscv/proofs
Aug 01 09:21:29 Finished compiler/encoders/riscv/proofs                        8m30s   4GB
Aug 01 09:21:30 Starting compiler/encoders/ag32/proofs
Aug 01 09:24:23 Finished compiler/encoders/ag32/proofs                         2m52s   1GB
Aug 01 09:24:24 Starting compiler/backend/x64/proofs
Aug 01 09:24:51 Finished compiler/backend/x64/proofs                             26s   1GB
Aug 01 09:24:52 Starting compiler/backend/arm7/proofs
Aug 01 09:25:22 Finished compiler/backend/arm7/proofs                            29s   2GB
Aug 01 09:25:23 Starting compiler/backend/arm8/proofs
Aug 01 09:25:52 Finished compiler/backend/arm8/proofs                            28s   2GB
Aug 01 09:25:53 Starting compiler/backend/arm8_asl
Aug 01 09:26:15 Finished compiler/backend/arm8_asl                               20s   1GB
Aug 01 09:26:16 Starting compiler/backend/mips/proofs
Aug 01 09:26:48 Finished compiler/backend/mips/proofs                            31s   2GB
Aug 01 09:26:48 Starting compiler/backend/riscv/proofs
Aug 01 09:27:21 Finished compiler/backend/riscv/proofs                           31s   2GB
Aug 01 09:27:22 Starting compiler/backend/ag32/proofs
Aug 01 09:41:03 Finished compiler/backend/ag32/proofs                         13m40s   5GB
Aug 01 09:41:04 Starting compiler/backend/cv_compute
Aug 01 09:42:14 Finished compiler/backend/cv_compute                           1m09s   2GB
Aug 01 09:42:15 Starting cv_translator
Aug 01 10:00:40 Finished cv_translator                                        18m23s  11GB
Aug 01 10:00:41 Starting candle
Aug 01 10:00:42 Finished candle                                                   0s  14MB
Aug 01 10:00:43 Starting candle/set-theory
Aug 01 10:01:16 Finished candle/set-theory                                       32s   1GB
Aug 01 10:01:17 Starting candle/syntax-lib
Aug 01 10:01:19 Finished candle/syntax-lib                                        0s  99MB
Aug 01 10:01:20 Starting candle/standard
Aug 01 10:01:21 Finished candle/standard                                          0s  13MB
Aug 01 10:01:21 Starting candle/standard/syntax
Aug 01 10:01:34 Finished candle/standard/syntax                                  11s 721MB
Aug 01 10:01:34 Starting candle/standard/semantics
Aug 01 10:03:31 Finished candle/standard/semantics                             1m55s   1GB
Aug 01 10:03:32 Starting candle/standard/monadic
Aug 01 10:03:34 Finished candle/standard/monadic                                  1s 124MB
Aug 01 10:03:35 Starting candle/standard/ml_kernel
Aug 01 10:05:17 Finished candle/standard/ml_kernel                             1m41s   4GB
Aug 01 10:05:18 Starting candle/standard/ml_kernel/lisp
Aug 01 10:05:20 Finished candle/standard/ml_kernel/lisp                           0s  51MB
Aug 01 10:05:20 Starting candle/overloading
Aug 01 10:05:21 Finished candle/overloading                                       0s  14MB
Aug 01 10:05:22 Starting candle/overloading/syntax
Aug 01 10:08:29 Finished candle/overloading/syntax                             3m05s   2GB
Aug 01 10:08:30 Starting candle/overloading/semantics
Aug 01 10:19:19 Finished candle/overloading/semantics                         10m47s   4GB
Aug 01 10:19:19 Starting candle/overloading/monadic
Aug 01 10:21:38 Finished candle/overloading/monadic                            2m17s   2GB
Aug 01 10:21:39 Starting candle/overloading/ml_kernel
Aug 01 10:28:44 Finished candle/overloading/ml_kernel                          7m04s   5GB
Aug 01 10:28:45 Starting candle/overloading/ml_checker
Aug 01 10:30:57 Finished candle/overloading/ml_checker                         2m11s   6GB
Aug 01 10:30:58 Starting candle/prover
Aug 01 10:40:32 Finished candle/prover                                         9m32s   5GB
Aug 01 10:40:33 Starting candle/prover/compute
Aug 01 10:40:35 Finished candle/prover/compute                                    1s 143MB
Aug 01 10:40:36 Starting pancake
Aug 01 10:40:38 Finished pancake                                                  1s 144MB
Aug 01 10:40:39 Starting pancake/semantics
Aug 01 10:42:47 Finished pancake/semantics                                     2m07s   2GB
Aug 01 10:42:48 Starting pancake/parser
Aug 01 10:43:13 Finished pancake/parser                                          24s 472MB
Aug 01 10:43:14 Starting pancake/static_checker
Aug 01 10:43:51 Finished pancake/static_checker                                  36s   1GB
Aug 01 10:43:52 Starting pancake/proofs
Aug 01 10:59:47 Finished pancake/proofs                                       15m54s   7GB
Aug 01 10:59:48 Starting compiler/dafny
Aug 01 11:00:48 Finished compiler/dafny                                          58s   1GB
Aug 01 11:00:49 Starting compiler/dafny/translation
Aug 01 11:07:26 Finished compiler/dafny/translation                            6m35s   4GB
Aug 01 11:07:26 Starting compiler/dafny/compilation
Aug 01 11:09:20 Finished compiler/dafny/compilation                            1m52s   6GB
Aug 01 11:09:21 Starting compiler/dafny/semantics
Aug 01 11:11:38 Finished compiler/dafny/semantics                              2m16s   1GB
Aug 01 11:11:39 Starting compiler/dafny/vcg
Aug 01 11:11:44 Finished compiler/dafny/vcg                                       4s 252MB
Aug 01 11:11:45 Starting compiler/scheme
Aug 01 11:12:10 Finished compiler/scheme                                         23s   1GB
Aug 01 11:12:11 Starting compiler/scheme/translation
Aug 01 11:20:03 Finished compiler/scheme/translation                           7m51s   7GB
Aug 01 11:20:04 Starting compiler/scheme/compilation
Aug 01 11:21:21 Finished compiler/scheme/compilation                           1m16s   4GB
Aug 01 11:21:22 Starting compiler/scheme/proofs
Aug 01 11:41:28 Finished compiler/scheme/proofs                               20m04s  56GB
Aug 01 11:41:29 Starting characteristic/examples
Aug 01 11:42:53 Finished characteristic/examples                               1m23s   4GB
Aug 01 11:42:54 Starting tutorial/solutions
Aug 01 11:45:17 Finished tutorial/solutions                                    2m22s   3GB
Aug 01 11:45:18 Starting translator/monadic/examples
Aug 01 11:48:16 Finished translator/monadic/examples                           2m56s   3GB
Aug 01 11:48:17 Starting examples
Aug 01 11:54:03 Finished examples                                              5m45s   4GB
Aug 01 11:54:04 Starting examples/compilation
Aug 01 11:54:05 Finished examples/compilation                                     0s  13MB
Aug 01 11:54:06 Starting examples/compilation/x64
Aug 01 12:01:06 Finished examples/compilation/x64                              6m59s   4GB
Aug 01 12:01:07 Starting examples/compilation/x64/proofs
Aug 01 12:03:30 Finished examples/compilation/x64/proofs                       2m22s   4GB
Aug 01 12:03:31 Starting examples/compilation/ag32
Aug 01 12:05:28 Finished examples/compilation/ag32                             1m55s   3GB
Aug 01 12:05:28 Starting examples/compilation/ag32/proofs
Aug 01 12:06:27 Finished examples/compilation/ag32/proofs                        57s   5GB
Aug 01 12:06:28 Starting examples/lpr_checker
Aug 01 12:06:59 Finished examples/lpr_checker                                    30s   1GB
Aug 01 12:07:00 Starting examples/lpr_checker/array
Aug 01 12:33:22 Finished examples/lpr_checker/array                           26m21s  19GB
Aug 01 12:33:23 Starting examples/lpr_checker/array/compilation
Aug 01 12:35:47 Finished examples/lpr_checker/array/compilation                2m22s   7GB
Aug 01 12:35:48 Starting examples/lpr_checker/array/compilation/proofs
Aug 01 12:36:58 Finished examples/lpr_checker/array/compilation/proofs         1m09s   6GB
Aug 01 12:36:59 Starting examples/lpr_checker/array/compilation/proofsARM8
Aug 01 12:38:05 Finished examples/lpr_checker/array/compilation/proofsARM8     1m05s   6GB
Aug 01 12:38:06 Starting .
Aug 01 12:38:10 Finished .                                                        3s 325MB
Aug 01 12:38:11 Starting examples/xlrup_checker
Aug 01 12:38:58 Finished examples/xlrup_checker                                  46s   1GB
Aug 01 12:38:59 Starting examples/xlrup_checker/array
Aug 01 12:56:24 Finished examples/xlrup_checker/array                         17m24s  13GB
Aug 01 12:56:25 Starting examples/xlrup_checker/array/compilation
Aug 01 12:57:38 Finished examples/xlrup_checker/array/compilation              1m12s   5GB
Aug 01 12:57:39 Starting examples/xlrup_checker/array/compilation/proofs
Aug 01 12:58:41 Finished examples/xlrup_checker/array/compilation/proofs       1m01s   4GB
Aug 01 12:58:42 Starting examples/scpog_checker
Aug 01 12:59:26 Finished examples/scpog_checker                                  42s   2GB
Aug 01 12:59:26 Starting examples/scpog_checker/array
Aug 01 13:09:20 Finished examples/scpog_checker/array                          9m52s   7GB
Aug 01 13:09:21 Starting examples/scpog_checker/array/compilation
Aug 01 13:11:21 Finished examples/scpog_checker/array/compilation              1m58s   8GB
Aug 01 13:11:22 Starting examples/scpog_checker/array/compilation/proofs
Aug 01 13:12:30 Finished examples/scpog_checker/array/compilation/proofs       1m07s   5GB
Aug 01 13:12:31 Starting examples/pseudo_bool
Aug 01 13:14:23 Finished examples/pseudo_bool                                  1m51s   1GB
Aug 01 13:14:24 Starting examples/pseudo_bool/cnf_encoding
Aug 01 13:14:52 Finished examples/pseudo_bool/cnf_encoding                       27s   1GB
Aug 01 13:14:53 Starting examples/pseudo_bool/graph_encoding
Aug 01 13:15:35 Finished examples/pseudo_bool/graph_encoding                     41s   1GB
Aug 01 13:15:36 Starting examples/pseudo_bool/array
Aug 01 14:46:01 Finished examples/pseudo_bool/array                         1h30m24s  45GB
Aug 01 14:46:02 Starting examples/pseudo_bool/array/compilation
Aug 01 14:57:03 Finished examples/pseudo_bool/array/compilation               11m00s  22GB
Aug 01 14:57:04 Starting examples/pseudo_bool/array/compilation/proofs
Aug 01 14:59:42 Finished examples/pseudo_bool/array/compilation/proofs         2m37s   7GB
Aug 01 14:59:43 Starting examples/pseudo_bool/array/compilation/proofsARM8
Aug 01 15:01:00 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m16s   6GB
Aug 01 15:01:01 Starting examples/opentheory
Aug 01 15:09:31 Finished examples/opentheory                                   8m28s   5GB
Aug 01 15:09:32 Starting examples/opentheory/compilation
Aug 01 15:11:05 Finished examples/opentheory/compilation                       1m32s   6GB
Aug 01 15:11:06 Starting examples/opentheory/compilation/proofs
Aug 01 15:12:08 Finished examples/opentheory/compilation/proofs                1m01s   4GB
Aug 01 15:12:09 Starting examples/opentheory/compilation/ag32
Aug 01 15:13:46 Finished examples/opentheory/compilation/ag32                  1m36s   7GB
Aug 01 15:13:47 Starting examples/opentheory/compilation/ag32/proofs
Aug 01 15:15:23 Finished examples/opentheory/compilation/ag32/proofs           1m35s   8GB
Aug 01 15:15:24 Starting examples/sat_encodings
Aug 01 15:16:25 Finished examples/sat_encodings                                1m00s 876MB
Aug 01 15:16:26 Starting examples/sat_encodings/demo
Aug 01 15:16:27 Finished examples/sat_encodings/demo                              0s  15MB
Aug 01 15:16:28 Starting examples/sat_encodings/case_studies
Aug 01 15:18:10 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Aug 01 15:18:11 Starting examples/sat_encodings/translation
Aug 01 15:21:43 Finished examples/sat_encodings/translation                    3m31s   2GB
Aug 01 15:21:43 Starting examples/sat_encodings/translation/compilation
Aug 01 15:23:38 Finished examples/sat_encodings/translation/compilation        1m53s   4GB
Aug 01 15:23:39 Starting examples/deflate
Aug 01 15:24:07 Finished examples/deflate                                        27s 748MB
Aug 01 15:24:08 Starting examples/deflate/translation
Aug 01 15:25:13 Finished examples/deflate/translation                          1m03s   4GB
Aug 01 15:25:14 Starting examples/deflate/translation/compilation
Aug 01 15:26:05 Finished examples/deflate/translation/compilation                50s   3GB
Aug 01 15:26:06 Starting examples/vipr
Aug 01 15:29:16 Finished examples/vipr                                         3m09s   4GB
Aug 01 15:29:17 Starting examples/vipr/compilation
Aug 01 15:30:15 Finished examples/vipr/compilation                               56s   4GB
Aug 01 15:30:16 Starting translator/okasaki-examples
Aug 01 15:34:17 Finished translator/okasaki-examples                           4m00s   3GB
Aug 01 15:34:18 Starting translator/other-examples
Aug 01 15:35:09 Finished translator/other-examples                               50s   3GB
Aug 01 15:35:10 Starting translator/other-examples/auxiliary
Aug 01 15:35:11 Finished translator/other-examples/auxiliary                      0s  16MB
Aug 01 15:35:12 Starting compiler/parsing/tests
Aug 01 15:35:46 Finished compiler/parsing/tests                                  33s   1GB
Aug 01 15:35:47 Starting compiler/inference/tests
Aug 01 15:36:22 Finished compiler/inference/tests                                34s   2GB
Aug 01 15:36:23 Starting compiler/printing/test
Aug 01 15:37:34 Finished compiler/printing/test                                1m09s   5GB
Aug 01 15:37:34 Starting icing/flover
Aug 01 16:10:08 Finished icing/flover                                         32m32s   2GB
Aug 01 16:10:09 Starting icing/flover/Infra
Aug 01 16:10:10 Finished icing/flover/Infra                                       0s  17MB
Aug 01 16:10:11 Starting icing/flover/semantics
Aug 01 16:10:12 Finished icing/flover/semantics                                   0s  17MB
Aug 01 16:10:13 Starting icing/
Aug 01 16:36:30 Finished icing/                                               26m16s   4GB
Aug 01 16:36:31 Starting icing/examples
Aug 01 16:37:57 Finished icing/examples                                        1m25s   7GB
Aug 01 16:37:58 Starting compiler/repl
Aug 01 16:45:13 Finished compiler/repl                                         7m13s   6GB
Aug 01 16:45:13 Starting unverified/sexpr-bootstrap/x64/64
Aug 01 16:48:56 Finished unverified/sexpr-bootstrap/x64/64                     3m41s  16GB
Aug 01 16:48:57 Starting unverified/sexpr-bootstrap/x64/32
Aug 01 16:52:06 Finished unverified/sexpr-bootstrap/x64/32                     3m07s  13GB
Aug 01 16:52:07 Starting compiler/benchmarks
Aug 01 16:52:52 Finished compiler/benchmarks                                     44s 711MB
Aug 01 16:52:53 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Aug 01 16:52:57 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 266MB
Aug 01 16:52:57 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Aug 01 16:53:01 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 267MB
Aug 01 16:53:02 Starting compiler/bootstrap/compilation/x64/64
Aug 01 17:18:49 Finished compiler/bootstrap/compilation/x64/64                25m46s  94GB
Aug 01 17:18:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 01 17:42:52 Finished compiler/bootstrap/compilation/x64/64/proofs         24m01s  52GB
Aug 01 17:42:53 Starting compiler/bootstrap/compilation/x64/32
Aug 01 18:12:16 Finished compiler/bootstrap/compilation/x64/32                29m21s  82GB
Aug 01 18:12:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 01 18:16:30 Finished compiler/bootstrap/compilation/x64/32/proofs          4m11s  23GB
Aug 01 18:16:31 Starting compiler/bootstrap/compilation/arm8/64
Aug 01 18:58:39 Finished compiler/bootstrap/compilation/arm8/64               42m07s 119GB
Aug 01 18:58:40 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 01 19:03:45 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m03s  32GB
Aug 01 19:03:46 Starting compiler/bootstrap/compilation/ag32/32
Aug 01 19:35:34 Finished compiler/bootstrap/compilation/ag32/32               31m47s  90GB
Aug 01 19:35:35 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 01 19:41:04 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m27s  30GB
Aug 01 19:41:05 SUCCESS