Job 2895

CakeML:37518565be94bc14dc08fcd0968751ddc6a967ee
  Remove dead code from xletauto [Jul 30 03:46:33]
#1200 (xletautodeadcode)
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

Jul 31 05:49:10 Claimed job
Jul 31 05:49:15 Reusing HOL
Jul 31 05:49:23 Starting developers
Jul 31 05:49:27 Finished developers                                               3s 197MB
Jul 31 05:49:28 Starting developers/bin
Jul 31 05:49:33 Finished developers/bin                                           4s 592MB
Jul 31 05:49:34 Starting misc
Jul 31 05:50:17 Finished misc                                                    41s   2GB
Jul 31 05:50:18 Starting compiler/proofs
Jul 31 07:13:31 Finished compiler/proofs                                    1h23m11s  38GB
Jul 31 07:13:32 Starting compiler/bootstrap/translation
Jul 31 13:01:40 Finished compiler/bootstrap/translation                     5h48m05s  96GB
Jul 31 13:01:40 Starting semantics/ffi
Jul 31 13:01:50 Finished semantics/ffi                                            8s 532MB
Jul 31 13:01:51 Starting semantics
Jul 31 13:01:52 Finished semantics                                                0s  59MB
Jul 31 13:01:53 Starting semantics/proofs
Jul 31 13:02:17 Finished semantics/proofs                                        23s   1GB
Jul 31 13:02:18 Starting semantics/alt_semantics
Jul 31 13:02:39 Finished semantics/alt_semantics                                 20s 908MB
Jul 31 13:02:40 Starting semantics/alt_semantics/proofs
Jul 31 13:13:11 Finished semantics/alt_semantics/proofs                       10m29s   2GB
Jul 31 13:13:12 Starting basis/pure
Jul 31 13:13:13 Finished basis/pure                                               0s  90MB
Jul 31 13:13:14 Starting translator
Jul 31 13:14:48 Finished translator                                            1m33s   4GB
Jul 31 13:14:49 Starting compiler/parsing
Jul 31 13:14:51 Finished compiler/parsing                                         0s  65MB
Jul 31 13:14:52 Starting characteristic
Jul 31 13:14:54 Finished characteristic                                           1s 121MB
Jul 31 13:14:55 Starting translator/monadic
Jul 31 13:14:57 Finished translator/monadic                                       1s 111MB
Jul 31 13:14:57 Starting translator/monadic/monad_base
Jul 31 13:14:59 Finished translator/monadic/monad_base                            0s  57MB
Jul 31 13:15:00 Starting basis
Jul 31 13:17:20 Finished basis                                                 2m19s   3GB
Jul 31 13:17:21 Starting compiler
Jul 31 13:17:24 Finished compiler                                                 1s 201MB
Jul 31 13:17:24 Starting compiler/inference
Jul 31 13:17:26 Finished compiler/inference                                       1s 117MB
Jul 31 13:17:27 Starting compiler/backend/reg_alloc
Jul 31 13:17:29 Finished compiler/backend/reg_alloc                               0s  58MB
Jul 31 13:17:30 Starting compiler/backend/gc
Jul 31 13:17:32 Finished compiler/backend/gc                                      1s 138MB
Jul 31 13:17:33 Starting compiler/backend
Jul 31 13:17:38 Finished compiler/backend                                         4s 272MB
Jul 31 13:17:39 Starting compiler/encoders/asm
Jul 31 13:17:40 Finished compiler/encoders/asm                                    0s  85MB
Jul 31 13:17:41 Starting compiler/encoders/x64
Jul 31 13:17:43 Finished compiler/encoders/x64                                    0s  86MB
Jul 31 13:17:44 Starting compiler/encoders/arm7
Jul 31 13:17:45 Finished compiler/encoders/arm7                                   0s  87MB
Jul 31 13:17:46 Starting compiler/encoders/arm8
Jul 31 13:17:48 Finished compiler/encoders/arm8                                   0s  88MB
Jul 31 13:17:49 Starting compiler/encoders/arm8_asl
Jul 31 13:18:02 Finished compiler/encoders/arm8_asl                              12s   1GB
Jul 31 13:18:03 Starting compiler/encoders/mips
Jul 31 13:18:05 Finished compiler/encoders/mips                                   0s  85MB
Jul 31 13:18:06 Starting compiler/encoders/riscv
Jul 31 13:18:07 Finished compiler/encoders/riscv                                  0s  89MB
Jul 31 13:18:08 Starting compiler/encoders/ag32
Jul 31 13:18:10 Finished compiler/encoders/ag32                                   0s  88MB
Jul 31 13:18:11 Starting compiler/encoders/tests
Jul 31 13:18:13 Finished compiler/encoders/tests                                  0s 103MB
Jul 31 13:18:14 Starting compiler/encoders/monadic_enc
Jul 31 13:18:16 Finished compiler/encoders/monadic_enc                            1s 133MB
Jul 31 13:18:17 Starting compiler/backend/x64
Jul 31 13:18:19 Finished compiler/backend/x64                                     1s 144MB
Jul 31 13:18:20 Starting compiler/backend/arm7
Jul 31 13:18:22 Finished compiler/backend/arm7                                    1s 144MB
Jul 31 13:18:23 Starting compiler/backend/arm8
Jul 31 13:18:25 Finished compiler/backend/arm8                                    1s 144MB
Jul 31 13:18:26 Starting compiler/backend/mips
Jul 31 13:18:28 Finished compiler/backend/mips                                    1s 144MB
Jul 31 13:18:29 Starting compiler/backend/riscv
Jul 31 13:18:31 Finished compiler/backend/riscv                                   1s 144MB
Jul 31 13:18:32 Starting compiler/backend/ag32
Jul 31 13:19:38 Finished compiler/backend/ag32                                 1m04s   3GB
Jul 31 13:19:39 Starting compiler/backend/pattern_matching
Jul 31 13:19:40 Finished compiler/backend/pattern_matching                        0s  57MB
Jul 31 13:19:41 Starting compiler/parsing/ocaml
Jul 31 13:21:22 Finished compiler/parsing/ocaml                                1m40s   1GB
Jul 31 13:21:23 Starting compiler/printing
Jul 31 13:21:25 Finished compiler/printing                                        1s 121MB
Jul 31 13:21:26 Starting compiler/parsing/proofs
Jul 31 13:21:28 Finished compiler/parsing/proofs                                  0s  68MB
Jul 31 13:21:29 Starting compiler/inference/proofs
Jul 31 13:21:31 Finished compiler/inference/proofs                                1s 121MB
Jul 31 13:21:32 Starting compiler/backend/semantics
Jul 31 13:24:39 Finished compiler/backend/semantics                            3m06s   2GB
Jul 31 13:24:39 Starting compiler/backend/reg_alloc/proofs
Jul 31 13:24:42 Finished compiler/backend/reg_alloc/proofs                        1s 114MB
Jul 31 13:24:42 Starting compiler/backend/proofs
Jul 31 13:25:28 Finished compiler/backend/proofs                                 45s   3GB
Jul 31 13:25:29 Starting compiler/backend/serialiser
Jul 31 13:25:32 Finished compiler/backend/serialiser                              1s 142MB
Jul 31 13:25:32 Starting compiler/encoders/x64/proofs
Jul 31 13:35:43 Finished compiler/encoders/x64/proofs                         10m09s   4GB
Jul 31 13:35:44 Starting compiler/encoders/arm7/proofs
Jul 31 13:48:37 Finished compiler/encoders/arm7/proofs                        12m52s   6GB
Jul 31 13:48:38 Starting compiler/encoders/arm8/proofs
Jul 31 13:55:30 Finished compiler/encoders/arm8/proofs                         6m50s   3GB
Jul 31 13:55:31 Starting compiler/encoders/arm8_asl/proofs
Jul 31 14:10:38 Finished compiler/encoders/arm8_asl/proofs                    15m05s   3GB
Jul 31 14:10:39 Starting compiler/encoders/mips/proofs
Jul 31 14:20:32 Finished compiler/encoders/mips/proofs                         9m52s   7GB
Jul 31 14:20:33 Starting compiler/encoders/riscv/proofs
Jul 31 14:28:39 Finished compiler/encoders/riscv/proofs                        8m04s   4GB
Jul 31 14:28:40 Starting compiler/encoders/ag32/proofs
Jul 31 14:31:30 Finished compiler/encoders/ag32/proofs                         2m49s   1GB
Jul 31 14:31:31 Starting compiler/backend/x64/proofs
Jul 31 14:32:01 Finished compiler/backend/x64/proofs                             29s   2GB
Jul 31 14:32:02 Starting compiler/backend/arm7/proofs
Jul 31 14:32:32 Finished compiler/backend/arm7/proofs                            28s   2GB
Jul 31 14:32:33 Starting compiler/backend/arm8/proofs
Jul 31 14:33:04 Finished compiler/backend/arm8/proofs                            30s   2GB
Jul 31 14:33:05 Starting compiler/backend/arm8_asl
Jul 31 14:33:26 Finished compiler/backend/arm8_asl                               20s   1GB
Jul 31 14:33:27 Starting compiler/backend/mips/proofs
Jul 31 14:33:57 Finished compiler/backend/mips/proofs                            28s   2GB
Jul 31 14:33:58 Starting compiler/backend/riscv/proofs
Jul 31 14:34:31 Finished compiler/backend/riscv/proofs                           31s   2GB
Jul 31 14:34:32 Starting compiler/backend/ag32/proofs
Jul 31 14:48:16 Finished compiler/backend/ag32/proofs                         13m42s   5GB
Jul 31 14:48:16 Starting compiler/backend/cv_compute
Jul 31 14:49:25 Finished compiler/backend/cv_compute                           1m08s   2GB
Jul 31 14:49:26 Starting cv_translator
Jul 31 15:07:52 Finished cv_translator                                        18m24s   7GB
Jul 31 15:07:53 Starting candle
Jul 31 15:07:54 Finished candle                                                   0s  15MB
Jul 31 15:07:55 Starting candle/set-theory
Jul 31 15:08:29 Finished candle/set-theory                                       32s   1GB
Jul 31 15:08:29 Starting candle/syntax-lib
Jul 31 15:08:31 Finished candle/syntax-lib                                        0s 101MB
Jul 31 15:08:32 Starting candle/standard
Jul 31 15:08:33 Finished candle/standard                                          0s  14MB
Jul 31 15:08:34 Starting candle/standard/syntax
Jul 31 15:08:46 Finished candle/standard/syntax                                  10s 720MB
Jul 31 15:08:47 Starting candle/standard/semantics
Jul 31 15:10:44 Finished candle/standard/semantics                             1m56s   2GB
Jul 31 15:10:45 Starting candle/standard/monadic
Jul 31 15:10:47 Finished candle/standard/monadic                                  1s 124MB
Jul 31 15:10:48 Starting candle/standard/ml_kernel
Jul 31 15:12:31 Finished candle/standard/ml_kernel                             1m41s   3GB
Jul 31 15:12:32 Starting candle/standard/ml_kernel/lisp
Jul 31 15:12:33 Finished candle/standard/ml_kernel/lisp                           0s  51MB
Jul 31 15:12:34 Starting candle/overloading
Jul 31 15:12:35 Finished candle/overloading                                       0s  14MB
Jul 31 15:12:35 Starting candle/overloading/syntax
Jul 31 15:15:41 Finished candle/overloading/syntax                             3m04s   1GB
Jul 31 15:15:42 Starting candle/overloading/semantics
Jul 31 15:26:33 Finished candle/overloading/semantics                         10m50s   5GB
Jul 31 15:26:34 Starting candle/overloading/monadic
Jul 31 15:28:52 Finished candle/overloading/monadic                            2m16s   1GB
Jul 31 15:28:52 Starting candle/overloading/ml_kernel
Jul 31 15:36:09 Finished candle/overloading/ml_kernel                          7m15s   6GB
Jul 31 15:36:10 Starting candle/overloading/ml_checker
Jul 31 15:38:20 Finished candle/overloading/ml_checker                         2m09s   6GB
Jul 31 15:38:21 Starting candle/prover
Jul 31 15:47:53 Finished candle/prover                                         9m30s   5GB
Jul 31 15:47:54 Starting candle/prover/compute
Jul 31 15:47:56 Finished candle/prover/compute                                    1s 143MB
Jul 31 15:47:57 Starting pancake
Jul 31 15:47:59 Finished pancake                                                  1s 144MB
Jul 31 15:48:00 Starting pancake/semantics
Jul 31 15:50:08 Finished pancake/semantics                                     2m06s   1GB
Jul 31 15:50:09 Starting pancake/parser
Jul 31 15:50:34 Finished pancake/parser                                          24s 470MB
Jul 31 15:50:35 Starting pancake/static_checker
Jul 31 15:51:12 Finished pancake/static_checker                                  36s   1GB
Jul 31 15:51:13 Starting pancake/proofs
Jul 31 16:07:11 Finished pancake/proofs                                       15m57s   7GB
Jul 31 16:07:12 Starting compiler/dafny
Jul 31 16:08:09 Finished compiler/dafny                                          56s   1GB
Jul 31 16:08:10 Starting compiler/dafny/translation
Jul 31 16:14:49 Finished compiler/dafny/translation                            6m37s   4GB
Jul 31 16:14:50 Starting compiler/dafny/compilation
Jul 31 16:16:44 Finished compiler/dafny/compilation                            1m52s   7GB
Jul 31 16:16:45 Starting compiler/dafny/semantics
Jul 31 16:19:03 Finished compiler/dafny/semantics                              2m17s   2GB
Jul 31 16:19:04 Starting compiler/dafny/vcg
Jul 31 16:19:09 Finished compiler/dafny/vcg                                       4s 260MB
Jul 31 16:19:10 Starting compiler/scheme
Jul 31 16:19:35 Finished compiler/scheme                                         24s   1GB
Jul 31 16:19:36 Starting compiler/scheme/translation
Jul 31 16:27:29 Finished compiler/scheme/translation                           7m52s   7GB
Jul 31 16:27:30 Starting compiler/scheme/compilation
Jul 31 16:28:47 Finished compiler/scheme/compilation                           1m16s   5GB
Jul 31 16:28:48 Starting compiler/scheme/proofs
Jul 31 16:49:08 Finished compiler/scheme/proofs                               20m18s  45GB
Jul 31 16:49:09 Starting characteristic/examples
Jul 31 16:50:34 Finished characteristic/examples                               1m24s   4GB
Jul 31 16:50:35 Starting tutorial/solutions
Jul 31 16:52:58 Finished tutorial/solutions                                    2m22s   3GB
Jul 31 16:52:59 Starting translator/monadic/examples
Jul 31 16:56:00 Finished translator/monadic/examples                           3m00s   3GB
Jul 31 16:56:01 Starting examples
Jul 31 17:01:51 Finished examples                                              5m48s   4GB
Jul 31 17:01:52 Starting examples/compilation
Jul 31 17:01:53 Finished examples/compilation                                     0s  13MB
Jul 31 17:01:54 Starting examples/compilation/x64
Jul 31 17:08:55 Finished examples/compilation/x64                              7m00s   4GB
Jul 31 17:08:56 Starting examples/compilation/x64/proofs
Jul 31 17:11:16 Finished examples/compilation/x64/proofs                       2m19s   4GB
Jul 31 17:11:17 Starting examples/compilation/ag32
Jul 31 17:13:13 Finished examples/compilation/ag32                             1m54s   3GB
Jul 31 17:13:14 Starting examples/compilation/ag32/proofs
Jul 31 17:14:13 Finished examples/compilation/ag32/proofs                        58s   5GB
Jul 31 17:14:14 Starting examples/lpr_checker
Jul 31 17:14:45 Finished examples/lpr_checker                                    29s   1GB
Jul 31 17:14:45 Starting examples/lpr_checker/array
Jul 31 17:40:54 Finished examples/lpr_checker/array                           26m07s  24GB
Jul 31 17:40:55 Starting examples/lpr_checker/array/compilation
Jul 31 17:43:17 Finished examples/lpr_checker/array/compilation                2m20s   7GB
Jul 31 17:43:18 Starting examples/lpr_checker/array/compilation/proofs
Jul 31 17:44:27 Finished examples/lpr_checker/array/compilation/proofs         1m08s   6GB
Jul 31 17:44:28 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 31 17:45:39 Finished examples/lpr_checker/array/compilation/proofsARM8     1m10s   6GB
Jul 31 17:45:40 Starting .
Jul 31 17:45:44 Finished .                                                        3s 317MB
Jul 31 17:45:45 Starting examples/xlrup_checker
Jul 31 17:46:32 Finished examples/xlrup_checker                                  46s   1GB
Jul 31 17:46:33 Starting examples/xlrup_checker/array
Jul 31 18:03:59 Finished examples/xlrup_checker/array                         17m25s  18GB
Jul 31 18:04:00 Starting examples/xlrup_checker/array/compilation
Jul 31 18:05:14 Finished examples/xlrup_checker/array/compilation              1m13s   5GB
Jul 31 18:05:15 Starting examples/xlrup_checker/array/compilation/proofs
Jul 31 18:06:15 Finished examples/xlrup_checker/array/compilation/proofs         58s   5GB
Jul 31 18:06:16 Starting examples/scpog_checker
Jul 31 18:06:58 Finished examples/scpog_checker                                  41s   2GB
Jul 31 18:06:59 Starting examples/scpog_checker/array
Jul 31 18:16:41 Finished examples/scpog_checker/array                          9m41s   6GB
Jul 31 18:16:42 Starting examples/scpog_checker/array/compilation
Jul 31 18:18:43 Finished examples/scpog_checker/array/compilation              1m59s   8GB
Jul 31 18:18:44 Starting examples/scpog_checker/array/compilation/proofs
Jul 31 18:19:53 Finished examples/scpog_checker/array/compilation/proofs       1m08s   6GB
Jul 31 18:19:54 Starting examples/pseudo_bool
Jul 31 18:21:50 Finished examples/pseudo_bool                                  1m55s   1GB
Jul 31 18:21:51 Starting examples/pseudo_bool/cnf_encoding
Jul 31 18:22:18 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Jul 31 18:22:19 Starting examples/pseudo_bool/graph_encoding
Jul 31 18:23:02 Finished examples/pseudo_bool/graph_encoding                     42s   1GB
Jul 31 18:23:03 Starting examples/pseudo_bool/array
Jul 31 19:50:56 Finished examples/pseudo_bool/array                         1h27m51s  32GB
Jul 31 19:50:57 Starting examples/pseudo_bool/array/compilation
Jul 31 20:02:03 Finished examples/pseudo_bool/array/compilation               11m04s  21GB
Jul 31 20:02:03 Starting examples/pseudo_bool/array/compilation/proofs
Jul 31 20:04:43 Finished examples/pseudo_bool/array/compilation/proofs         2m38s   7GB
Jul 31 20:04:44 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 31 20:06:00 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m14s   5GB
Jul 31 20:06:00 Starting examples/opentheory
Jul 31 20:14:33 Finished examples/opentheory                                   8m31s   4GB
Jul 31 20:14:34 Starting examples/opentheory/compilation
Jul 31 20:16:08 Finished examples/opentheory/compilation                       1m33s   6GB
Jul 31 20:16:09 Starting examples/opentheory/compilation/proofs
Jul 31 20:17:09 Finished examples/opentheory/compilation/proofs                  58s   4GB
Jul 31 20:17:10 Starting examples/opentheory/compilation/ag32
Jul 31 20:18:48 Finished examples/opentheory/compilation/ag32                  1m37s   7GB
Jul 31 20:18:49 Starting examples/opentheory/compilation/ag32/proofs
Jul 31 20:20:25 Finished examples/opentheory/compilation/ag32/proofs           1m35s   8GB
Jul 31 20:20:26 Starting examples/sat_encodings
Jul 31 20:21:27 Finished examples/sat_encodings                                  59s 885MB
Jul 31 20:21:28 Starting examples/sat_encodings/demo
Jul 31 20:21:29 Finished examples/sat_encodings/demo                              0s  14MB
Jul 31 20:21:30 Starting examples/sat_encodings/case_studies
Jul 31 20:23:12 Finished examples/sat_encodings/case_studies                   1m41s   1GB
Jul 31 20:23:13 Starting examples/sat_encodings/translation
Jul 31 20:26:54 Finished examples/sat_encodings/translation                    3m40s   3GB
Jul 31 20:26:55 Starting examples/sat_encodings/translation/compilation
Jul 31 20:28:50 Finished examples/sat_encodings/translation/compilation        1m53s   4GB
Jul 31 20:28:50 Starting examples/deflate
Jul 31 20:29:19 Finished examples/deflate                                        27s 701MB
Jul 31 20:29:19 Starting examples/deflate/translation
Jul 31 20:30:24 Finished examples/deflate/translation                          1m03s   4GB
Jul 31 20:30:25 Starting examples/deflate/translation/compilation
Jul 31 20:31:17 Finished examples/deflate/translation/compilation                51s   4GB
Jul 31 20:31:17 Starting examples/vipr
Jul 31 20:34:29 Finished examples/vipr                                         3m10s   4GB
Jul 31 20:34:30 Starting examples/vipr/compilation
Jul 31 20:35:27 Finished examples/vipr/compilation                               55s   4GB
Jul 31 20:35:27 Starting translator/okasaki-examples
Jul 31 20:39:33 Finished translator/okasaki-examples                           4m04s   3GB
Jul 31 20:39:34 Starting translator/other-examples
Jul 31 20:40:25 Finished translator/other-examples                               49s   3GB
Jul 31 20:40:26 Starting translator/other-examples/auxiliary
Jul 31 20:40:27 Finished translator/other-examples/auxiliary                      0s  17MB
Jul 31 20:40:27 Starting compiler/parsing/tests
Jul 31 20:41:02 Finished compiler/parsing/tests                                  33s   1GB
Jul 31 20:41:03 Starting compiler/inference/tests
Jul 31 20:41:38 Finished compiler/inference/tests                                33s   2GB
Jul 31 20:41:39 Starting compiler/printing/test
Jul 31 20:42:49 Finished compiler/printing/test                                1m09s   4GB
Jul 31 20:42:50 Starting icing/flover
Jul 31 21:15:14 Finished icing/flover                                         32m23s   2GB
Jul 31 21:15:15 Starting icing/flover/Infra
Jul 31 21:15:16 Finished icing/flover/Infra                                       0s  18MB
Jul 31 21:15:17 Starting icing/flover/semantics
Jul 31 21:15:18 Finished icing/flover/semantics                                   0s  16MB
Jul 31 21:15:19 Starting icing/
Jul 31 21:41:39 Finished icing/                                               26m18s   4GB
Jul 31 21:41:39 Starting icing/examples
Jul 31 21:43:06 Finished icing/examples                                        1m25s   7GB
Jul 31 21:43:07 Starting compiler/repl
Jul 31 21:50:29 Finished compiler/repl                                         7m21s   7GB
Jul 31 21:50:30 Starting unverified/sexpr-bootstrap/x64/64
Jul 31 21:54:22 Finished unverified/sexpr-bootstrap/x64/64                     3m51s  18GB
Jul 31 21:54:23 Starting unverified/sexpr-bootstrap/x64/32
Jul 31 21:57:31 Finished unverified/sexpr-bootstrap/x64/32                     3m06s  14GB
Jul 31 21:57:32 Starting compiler/benchmarks
Jul 31 21:58:17 Finished compiler/benchmarks                                     44s 711MB
Jul 31 21:58:18 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jul 31 21:58:22 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 265MB
Jul 31 21:58:22 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jul 31 21:58:26 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 266MB
Jul 31 21:58:27 Starting compiler/bootstrap/compilation/x64/64
Jul 31 22:26:09 Finished compiler/bootstrap/compilation/x64/64                27m40s 106GB
Jul 31 22:26:10 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 31 22:49:31 Finished compiler/bootstrap/compilation/x64/64/proofs         23m20s  45GB
Jul 31 22:49:32 Starting compiler/bootstrap/compilation/x64/32
Jul 31 23:17:14 Finished compiler/bootstrap/compilation/x64/32                27m41s  76GB
Jul 31 23:17:15 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 31 23:21:30 Finished compiler/bootstrap/compilation/x64/32/proofs          4m14s  25GB
Jul 31 23:21:31 Starting compiler/bootstrap/compilation/arm8/64
Aug 01 00:02:52 Finished compiler/bootstrap/compilation/arm8/64               41m20s 116GB
Aug 01 00:02:53 Starting compiler/bootstrap/compilation/arm8/64/proofs
Aug 01 00:08:37 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m41s  29GB
Aug 01 00:08:38 Starting compiler/bootstrap/compilation/ag32/32
Aug 01 00:39:04 Finished compiler/bootstrap/compilation/ag32/32               30m24s  98GB
Aug 01 00:39:04 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 01 00:44:12 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m06s  32GB
Aug 01 00:44:13 SUCCESS