Job 2889

CakeML:6965d96e6c0908e01d4a071ea1fb49a5bfeb2ad3
  Make interpTheory's dependency on state_transformer more explicit [Jul 15 00:36:16]
#1193 (interp-fix)
Merging into:195b23afc25ea299385843a196532d601d5d99dd
  Merge pull request #1195 from CakeML/aux_dom [Jul 20 10:06:39]
HOL:a81865b9bac5e3018a070980ce8f4a392c66c9c6
  Get Holmake and build to clean properly given .hol directory [Jul 07 07:18:21]
Machine:lammmington

Jul 20 15:10:06 Claimed job
Jul 20 15:10:10 Reusing HOL
Jul 20 15:10:18 Starting developers
Jul 20 15:10:22 Finished developers                                               3s 169MB
Jul 20 15:10:23 Starting developers/bin
Jul 20 15:10:28 Finished developers/bin                                           3s 592MB
Jul 20 15:10:29 Starting misc
Jul 20 15:11:11 Finished misc                                                    41s   2GB
Jul 20 15:11:12 Starting compiler/proofs
Jul 20 16:43:03 Finished compiler/proofs                                    1h31m48s  44GB
Jul 20 16:43:04 Starting compiler/bootstrap/translation
Jul 20 22:21:35 Finished compiler/bootstrap/translation                     5h38m29s  61GB
Jul 20 22:21:35 Starting semantics/ffi
Jul 20 22:21:45 Finished semantics/ffi                                            8s 532MB
Jul 20 22:21:46 Starting semantics
Jul 20 22:21:47 Finished semantics                                                0s  59MB
Jul 20 22:21:48 Starting semantics/proofs
Jul 20 22:22:12 Finished semantics/proofs                                        23s   1GB
Jul 20 22:22:13 Starting semantics/alt_semantics
Jul 20 22:22:34 Finished semantics/alt_semantics                                 20s 900MB
Jul 20 22:22:35 Starting semantics/alt_semantics/proofs
Jul 20 22:32:52 Finished semantics/alt_semantics/proofs                       10m15s   2GB
Jul 20 22:32:53 Starting basis/pure
Jul 20 22:32:54 Finished basis/pure                                               0s  98MB
Jul 20 22:32:55 Starting translator
Jul 20 22:34:26 Finished translator                                            1m29s   3GB
Jul 20 22:34:27 Starting compiler/parsing
Jul 20 22:34:28 Finished compiler/parsing                                         0s  66MB
Jul 20 22:34:29 Starting characteristic
Jul 20 22:34:31 Finished characteristic                                           1s 114MB
Jul 20 22:34:32 Starting translator/monadic
Jul 20 22:34:34 Finished translator/monadic                                       1s 113MB
Jul 20 22:34:35 Starting translator/monadic/monad_base
Jul 20 22:34:36 Finished translator/monadic/monad_base                            0s  56MB
Jul 20 22:34:37 Starting basis
Jul 20 22:36:55 Finished basis                                                 2m17s   4GB
Jul 20 22:36:56 Starting compiler
Jul 20 22:36:59 Finished compiler                                                 1s 201MB
Jul 20 22:37:00 Starting compiler/inference
Jul 20 22:37:02 Finished compiler/inference                                       1s 117MB
Jul 20 22:37:03 Starting compiler/backend/reg_alloc
Jul 20 22:37:04 Finished compiler/backend/reg_alloc                               0s  59MB
Jul 20 22:37:05 Starting compiler/backend/gc
Jul 20 22:37:07 Finished compiler/backend/gc                                      1s 147MB
Jul 20 22:37:08 Starting compiler/backend
Jul 20 22:37:13 Finished compiler/backend                                         4s 256MB
Jul 20 22:37:14 Starting compiler/encoders/asm
Jul 20 22:37:16 Finished compiler/encoders/asm                                    0s  85MB
Jul 20 22:37:17 Starting compiler/encoders/x64
Jul 20 22:37:19 Finished compiler/encoders/x64                                    0s  86MB
Jul 20 22:37:19 Starting compiler/encoders/arm7
Jul 20 22:37:21 Finished compiler/encoders/arm7                                   0s  87MB
Jul 20 22:37:22 Starting compiler/encoders/arm8
Jul 20 22:37:24 Finished compiler/encoders/arm8                                   0s  88MB
Jul 20 22:37:25 Starting compiler/encoders/arm8_asl
Jul 20 22:37:39 Finished compiler/encoders/arm8_asl                              12s   1GB
Jul 20 22:37:40 Starting compiler/encoders/mips
Jul 20 22:37:41 Finished compiler/encoders/mips                                   0s  86MB
Jul 20 22:37:42 Starting compiler/encoders/riscv
Jul 20 22:37:44 Finished compiler/encoders/riscv                                  0s  89MB
Jul 20 22:37:45 Starting compiler/encoders/ag32
Jul 20 22:37:46 Finished compiler/encoders/ag32                                   0s  88MB
Jul 20 22:37:47 Starting compiler/encoders/tests
Jul 20 22:37:49 Finished compiler/encoders/tests                                  0s 103MB
Jul 20 22:37:50 Starting compiler/encoders/monadic_enc
Jul 20 22:37:52 Finished compiler/encoders/monadic_enc                            1s 141MB
Jul 20 22:37:53 Starting compiler/backend/x64
Jul 20 22:37:55 Finished compiler/backend/x64                                     1s 144MB
Jul 20 22:37:56 Starting compiler/backend/arm7
Jul 20 22:37:59 Finished compiler/backend/arm7                                    1s 144MB
Jul 20 22:37:59 Starting compiler/backend/arm8
Jul 20 22:38:02 Finished compiler/backend/arm8                                    1s 144MB
Jul 20 22:38:03 Starting compiler/backend/mips
Jul 20 22:38:05 Finished compiler/backend/mips                                    1s 143MB
Jul 20 22:38:06 Starting compiler/backend/riscv
Jul 20 22:38:08 Finished compiler/backend/riscv                                   1s 144MB
Jul 20 22:38:09 Starting compiler/backend/ag32
Jul 20 22:39:17 Finished compiler/backend/ag32                                 1m07s   3GB
Jul 20 22:39:18 Starting compiler/backend/pattern_matching
Jul 20 22:39:19 Finished compiler/backend/pattern_matching                        0s  57MB
Jul 20 22:39:20 Starting compiler/parsing/ocaml
Jul 20 22:41:02 Finished compiler/parsing/ocaml                                1m40s   1GB
Jul 20 22:41:02 Starting compiler/printing
Jul 20 22:41:04 Finished compiler/printing                                        1s 120MB
Jul 20 22:41:05 Starting compiler/parsing/proofs
Jul 20 22:41:07 Finished compiler/parsing/proofs                                  0s  66MB
Jul 20 22:41:08 Starting compiler/inference/proofs
Jul 20 22:41:10 Finished compiler/inference/proofs                                1s 122MB
Jul 20 22:41:11 Starting compiler/backend/semantics
Jul 20 22:44:18 Finished compiler/backend/semantics                            3m06s   2GB
Jul 20 22:44:19 Starting compiler/backend/reg_alloc/proofs
Jul 20 22:44:21 Finished compiler/backend/reg_alloc/proofs                        1s 114MB
Jul 20 22:44:22 Starting compiler/backend/proofs
Jul 20 22:45:11 Finished compiler/backend/proofs                                 48s   4GB
Jul 20 22:45:12 Starting compiler/backend/serialiser
Jul 20 22:45:14 Finished compiler/backend/serialiser                              1s 140MB
Jul 20 22:45:15 Starting compiler/encoders/x64/proofs
Jul 20 22:55:28 Finished compiler/encoders/x64/proofs                         10m12s   4GB
Jul 20 22:55:29 Starting compiler/encoders/arm7/proofs
Jul 20 23:08:28 Finished compiler/encoders/arm7/proofs                        12m56s   6GB
Jul 20 23:08:29 Starting compiler/encoders/arm8/proofs
Jul 20 23:15:13 Finished compiler/encoders/arm8/proofs                         6m42s   3GB
Jul 20 23:15:14 Starting compiler/encoders/arm8_asl/proofs
Jul 20 23:30:27 Finished compiler/encoders/arm8_asl/proofs                    15m12s   4GB
Jul 20 23:30:28 Starting compiler/encoders/mips/proofs
Jul 20 23:40:15 Finished compiler/encoders/mips/proofs                         9m46s   4GB
Jul 20 23:40:16 Starting compiler/encoders/riscv/proofs
Jul 20 23:48:35 Finished compiler/encoders/riscv/proofs                        8m17s   4GB
Jul 20 23:48:36 Starting compiler/encoders/ag32/proofs
Jul 20 23:51:32 Finished compiler/encoders/ag32/proofs                         2m55s   1GB
Jul 20 23:51:33 Starting compiler/backend/x64/proofs
Jul 20 23:52:05 Finished compiler/backend/x64/proofs                             31s   2GB
Jul 20 23:52:06 Starting compiler/backend/arm7/proofs
Jul 20 23:52:36 Finished compiler/backend/arm7/proofs                            29s   2GB
Jul 20 23:52:37 Starting compiler/backend/arm8/proofs
Jul 20 23:53:08 Finished compiler/backend/arm8/proofs                            30s   2GB
Jul 20 23:53:09 Starting compiler/backend/arm8_asl
Jul 20 23:53:31 Finished compiler/backend/arm8_asl                               20s   2GB
Jul 20 23:53:32 Starting compiler/backend/mips/proofs
Jul 20 23:54:02 Finished compiler/backend/mips/proofs                            28s   2GB
Jul 20 23:54:03 Starting compiler/backend/riscv/proofs
Jul 20 23:54:34 Finished compiler/backend/riscv/proofs                           30s   2GB
Jul 20 23:54:35 Starting compiler/backend/ag32/proofs
Jul 21 00:08:08 Finished compiler/backend/ag32/proofs                         13m32s   4GB
Jul 21 00:08:09 Starting compiler/backend/cv_compute
Jul 21 00:09:19 Finished compiler/backend/cv_compute                           1m08s   2GB
Jul 21 00:09:20 Starting cv_translator
Jul 21 00:27:29 Finished cv_translator                                        18m08s   8GB
Jul 21 00:27:30 Starting candle
Jul 21 00:27:31 Finished candle                                                   0s  14MB
Jul 21 00:27:32 Starting candle/set-theory
Jul 21 00:28:05 Finished candle/set-theory                                       32s   1GB
Jul 21 00:28:06 Starting candle/syntax-lib
Jul 21 00:28:08 Finished candle/syntax-lib                                        0s 100MB
Jul 21 00:28:09 Starting candle/standard
Jul 21 00:28:10 Finished candle/standard                                          0s  15MB
Jul 21 00:28:11 Starting candle/standard/syntax
Jul 21 00:28:23 Finished candle/standard/syntax                                  11s 722MB
Jul 21 00:28:24 Starting candle/standard/semantics
Jul 21 00:30:19 Finished candle/standard/semantics                             1m54s   1GB
Jul 21 00:30:20 Starting candle/standard/monadic
Jul 21 00:30:22 Finished candle/standard/monadic                                  1s 124MB
Jul 21 00:30:23 Starting candle/standard/ml_kernel
Jul 21 00:32:06 Finished candle/standard/ml_kernel                             1m42s   4GB
Jul 21 00:32:07 Starting candle/standard/ml_kernel/lisp
Jul 21 00:32:08 Finished candle/standard/ml_kernel/lisp                           0s  52MB
Jul 21 00:32:09 Starting candle/overloading
Jul 21 00:32:10 Finished candle/overloading                                       0s  14MB
Jul 21 00:32:11 Starting candle/overloading/syntax
Jul 21 00:35:20 Finished candle/overloading/syntax                             3m08s   2GB
Jul 21 00:35:21 Starting candle/overloading/semantics
Jul 21 00:46:12 Finished candle/overloading/semantics                         10m49s   3GB
Jul 21 00:46:13 Starting candle/overloading/monadic
Jul 21 00:48:25 Finished candle/overloading/monadic                            2m10s   2GB
Jul 21 00:48:26 Starting candle/overloading/ml_kernel
Jul 21 00:55:36 Finished candle/overloading/ml_kernel                          7m08s   6GB
Jul 21 00:55:37 Starting candle/overloading/ml_checker
Jul 21 00:57:47 Finished candle/overloading/ml_checker                         2m09s   6GB
Jul 21 00:57:48 Starting candle/prover
Jul 21 01:07:19 Finished candle/prover                                         9m29s   5GB
Jul 21 01:07:20 Starting candle/prover/compute
Jul 21 01:07:22 Finished candle/prover/compute                                    1s 143MB
Jul 21 01:07:23 Starting pancake
Jul 21 01:07:25 Finished pancake                                                  1s 144MB
Jul 21 01:07:26 Starting pancake/semantics
Jul 21 01:09:39 Finished pancake/semantics                                     2m11s   2GB
Jul 21 01:09:40 Starting pancake/parser
Jul 21 01:10:05 Finished pancake/parser                                          24s 475MB
Jul 21 01:10:06 Starting pancake/static_checker
Jul 21 01:10:43 Finished pancake/static_checker                                  36s   1GB
Jul 21 01:10:44 Starting pancake/proofs
Jul 21 01:26:47 Finished pancake/proofs                                       16m01s   5GB
Jul 21 01:26:48 Starting compiler/dafny
Jul 21 01:27:46 Finished compiler/dafny                                          56s   1GB
Jul 21 01:27:47 Starting compiler/dafny/translation
Jul 21 01:34:15 Finished compiler/dafny/translation                            6m27s   4GB
Jul 21 01:34:16 Starting compiler/dafny/compilation
Jul 21 01:36:03 Finished compiler/dafny/compilation                            1m46s   6GB
Jul 21 01:36:04 Starting compiler/dafny/semantics
Jul 21 01:38:23 Finished compiler/dafny/semantics                              2m17s   1GB
Jul 21 01:38:24 Starting compiler/dafny/vcg
Jul 21 01:38:29 Finished compiler/dafny/vcg                                       4s 263MB
Jul 21 01:38:30 Starting compiler/scheme
Jul 21 01:38:55 Finished compiler/scheme                                         23s   1GB
Jul 21 01:38:56 Starting compiler/scheme/translation
Jul 21 01:46:51 Finished compiler/scheme/translation                           7m53s   7GB
Jul 21 01:46:52 Starting compiler/scheme/compilation
Jul 21 01:48:08 Finished compiler/scheme/compilation                           1m14s   4GB
Jul 21 01:48:09 Starting compiler/scheme/proofs
Jul 21 01:53:52 Finished compiler/scheme/proofs                                5m42s   6GB
Jul 21 01:53:53 Starting characteristic/examples
Jul 21 01:55:17 Finished characteristic/examples                               1m22s   4GB
Jul 21 01:55:18 Starting tutorial/solutions
Jul 21 01:57:46 Finished tutorial/solutions                                    2m26s   4GB
Jul 21 01:57:47 Starting translator/monadic/examples
Jul 21 02:00:44 Finished translator/monadic/examples                           2m56s   4GB
Jul 21 02:00:45 Starting examples
Jul 21 02:06:35 Finished examples                                              5m49s   4GB
Jul 21 02:06:36 Starting examples/compilation
Jul 21 02:06:37 Finished examples/compilation                                     0s  13MB
Jul 21 02:06:38 Starting examples/compilation/x64
Jul 21 02:13:36 Finished examples/compilation/x64                              6m56s   4GB
Jul 21 02:13:37 Starting examples/compilation/x64/proofs
Jul 21 02:15:58 Finished examples/compilation/x64/proofs                       2m19s   4GB
Jul 21 02:15:58 Starting examples/compilation/ag32
Jul 21 02:17:55 Finished examples/compilation/ag32                             1m55s   3GB
Jul 21 02:17:56 Starting examples/compilation/ag32/proofs
Jul 21 02:18:57 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Jul 21 02:18:58 Starting examples/lpr_checker
Jul 21 02:19:28 Finished examples/lpr_checker                                    29s   1GB
Jul 21 02:19:29 Starting examples/lpr_checker/array
Jul 21 02:46:38 Finished examples/lpr_checker/array                           27m08s  19GB
Jul 21 02:46:39 Starting examples/lpr_checker/array/compilation
Jul 21 02:49:01 Finished examples/lpr_checker/array/compilation                2m21s   7GB
Jul 21 02:49:02 Starting examples/lpr_checker/array/compilation/proofs
Jul 21 02:50:12 Finished examples/lpr_checker/array/compilation/proofs         1m08s   6GB
Jul 21 02:50:13 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 21 02:51:21 Finished examples/lpr_checker/array/compilation/proofsARM8     1m06s   6GB
Jul 21 02:51:21 Starting .
Jul 21 02:51:25 Finished .                                                        3s 312MB
Jul 21 02:51:26 Starting examples/xlrup_checker
Jul 21 02:52:14 Finished examples/xlrup_checker                                  46s   1GB
Jul 21 02:52:15 Starting examples/xlrup_checker/array
Jul 21 03:09:51 Finished examples/xlrup_checker/array                         17m35s  16GB
Jul 21 03:09:52 Starting examples/xlrup_checker/array/compilation
Jul 21 03:11:05 Finished examples/xlrup_checker/array/compilation              1m12s   5GB
Jul 21 03:11:06 Starting examples/xlrup_checker/array/compilation/proofs
Jul 21 03:12:41 Finished examples/xlrup_checker/array/compilation/proofs       1m34s   4GB
Jul 21 03:12:42 Starting examples/scpog_checker
Jul 21 03:13:25 Finished examples/scpog_checker                                  42s   2GB
Jul 21 03:13:26 Starting examples/scpog_checker/array
Jul 21 03:23:12 Finished examples/scpog_checker/array                          9m45s   5GB
Jul 21 03:23:12 Starting examples/scpog_checker/array/compilation
Jul 21 03:25:12 Finished examples/scpog_checker/array/compilation              1m58s   8GB
Jul 21 03:25:12 Starting examples/scpog_checker/array/compilation/proofs
Jul 21 03:26:19 Finished examples/scpog_checker/array/compilation/proofs       1m05s   6GB
Jul 21 03:26:20 Starting examples/pseudo_bool
Jul 21 03:28:14 Finished examples/pseudo_bool                                  1m53s   2GB
Jul 21 03:28:14 Starting examples/pseudo_bool/cnf_encoding
Jul 21 03:28:42 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Jul 21 03:28:43 Starting examples/pseudo_bool/graph_encoding
Jul 21 03:29:27 Finished examples/pseudo_bool/graph_encoding                     42s   2GB
Jul 21 03:29:28 Starting examples/pseudo_bool/array
Jul 21 04:58:33 Finished examples/pseudo_bool/array                         1h29m04s  35GB
Jul 21 04:58:34 Starting examples/pseudo_bool/array/compilation
Jul 21 05:09:38 Finished examples/pseudo_bool/array/compilation               11m02s  21GB
Jul 21 05:09:39 Starting examples/pseudo_bool/array/compilation/proofs
Jul 21 05:12:22 Finished examples/pseudo_bool/array/compilation/proofs         2m41s   7GB
Jul 21 05:12:23 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 21 05:13:41 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m16s   7GB
Jul 21 05:13:42 Starting examples/opentheory
Jul 21 05:22:16 Finished examples/opentheory                                   8m32s   5GB
Jul 21 05:22:17 Starting examples/opentheory/compilation
Jul 21 05:23:51 Finished examples/opentheory/compilation                       1m32s   6GB
Jul 21 05:23:52 Starting examples/opentheory/compilation/proofs
Jul 21 05:24:52 Finished examples/opentheory/compilation/proofs                  59s   4GB
Jul 21 05:24:53 Starting examples/opentheory/compilation/ag32
Jul 21 05:26:28 Finished examples/opentheory/compilation/ag32                  1m34s   6GB
Jul 21 05:26:29 Starting examples/opentheory/compilation/ag32/proofs
Jul 21 05:28:06 Finished examples/opentheory/compilation/ag32/proofs           1m35s   8GB
Jul 21 05:28:06 Starting examples/sat_encodings
Jul 21 05:29:08 Finished examples/sat_encodings                                1m00s 882MB
Jul 21 05:29:09 Starting examples/sat_encodings/demo
Jul 21 05:29:10 Finished examples/sat_encodings/demo                              0s  13MB
Jul 21 05:29:10 Starting examples/sat_encodings/case_studies
Jul 21 05:30:53 Finished examples/sat_encodings/case_studies                   1m41s   1GB
Jul 21 05:30:54 Starting examples/sat_encodings/translation
Jul 21 05:34:34 Finished examples/sat_encodings/translation                    3m37s   2GB
Jul 21 05:34:35 Starting examples/sat_encodings/translation/compilation
Jul 21 05:36:29 Finished examples/sat_encodings/translation/compilation        1m54s   5GB
Jul 21 05:36:30 Starting examples/deflate
Jul 21 05:36:58 Finished examples/deflate                                        27s 706MB
Jul 21 05:36:59 Starting examples/deflate/translation
Jul 21 05:38:05 Finished examples/deflate/translation                          1m04s   4GB
Jul 21 05:38:06 Starting examples/deflate/translation/compilation
Jul 21 05:38:57 Finished examples/deflate/translation/compilation                49s   3GB
Jul 21 05:38:58 Starting examples/vipr
Jul 21 05:42:09 Finished examples/vipr                                         3m10s   4GB
Jul 21 05:42:10 Starting examples/vipr/compilation
Jul 21 05:43:07 Finished examples/vipr/compilation                               55s   4GB
Jul 21 05:43:08 Starting translator/okasaki-examples
Jul 21 05:47:12 Finished translator/okasaki-examples                           4m03s   3GB
Jul 21 05:47:13 Starting translator/other-examples
Jul 21 05:48:00 Finished translator/other-examples                               46s   3GB
Jul 21 05:48:01 Starting translator/other-examples/auxiliary
Jul 21 05:48:02 Finished translator/other-examples/auxiliary                      0s  16MB
Jul 21 05:48:03 Starting compiler/parsing/tests
Jul 21 05:48:37 Finished compiler/parsing/tests                                  33s   1GB
Jul 21 05:48:38 Starting compiler/inference/tests
Jul 21 05:49:14 Finished compiler/inference/tests                                35s   2GB
Jul 21 05:49:15 Starting compiler/printing/test
Jul 21 05:50:24 Finished compiler/printing/test                                1m08s   4GB
Jul 21 05:50:25 Starting icing/flover
Jul 21 06:22:56 Finished icing/flover                                         32m29s   2GB
Jul 21 06:22:57 Starting icing/flover/Infra
Jul 21 06:22:58 Finished icing/flover/Infra                                       0s  16MB
Jul 21 06:22:59 Starting icing/flover/semantics
Jul 21 06:23:00 Finished icing/flover/semantics                                   0s  17MB
Jul 21 06:23:01 Starting icing/
Jul 21 06:49:18 Finished icing/                                               26m15s   7GB
Jul 21 06:49:19 Starting icing/examples
Jul 21 06:50:45 Finished icing/examples                                        1m25s   7GB
Jul 21 06:50:46 Starting compiler/repl
Jul 21 06:57:58 Finished compiler/repl                                         7m10s   6GB
Jul 21 06:57:59 Starting unverified/sexpr-bootstrap/x64/64
Jul 21 07:01:41 Finished unverified/sexpr-bootstrap/x64/64                     3m41s  17GB
Jul 21 07:01:42 Starting unverified/sexpr-bootstrap/x64/32
Jul 21 07:04:52 Finished unverified/sexpr-bootstrap/x64/32                     3m08s  15GB
Jul 21 07:04:53 Starting compiler/benchmarks
Jul 21 07:05:39 Finished compiler/benchmarks                                     45s 711MB
Jul 21 07:05:40 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jul 21 07:05:43 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 265MB
Jul 21 07:05:44 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jul 21 07:05:47 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 265MB
Jul 21 07:05:48 Starting compiler/bootstrap/compilation/x64/64
Jul 21 07:33:03 Finished compiler/bootstrap/compilation/x64/64                27m12s 102GB
Jul 21 07:33:03 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 21 07:56:27 Finished compiler/bootstrap/compilation/x64/64/proofs         23m22s  42GB
Jul 21 07:56:27 Starting compiler/bootstrap/compilation/x64/32
Jul 21 08:23:56 Finished compiler/bootstrap/compilation/x64/32                27m27s  82GB
Jul 21 08:23:57 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 21 08:27:55 Finished compiler/bootstrap/compilation/x64/32/proofs          3m56s  23GB
Jul 21 08:27:55 Starting compiler/bootstrap/compilation/arm8/64
Jul 21 09:12:46 Finished compiler/bootstrap/compilation/arm8/64               44m48s 109GB
Jul 21 09:12:47 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 21 09:18:11 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m23s  30GB
Jul 21 09:18:12 Starting compiler/bootstrap/compilation/ag32/32
Jul 21 09:48:12 Finished compiler/bootstrap/compilation/ag32/32               29m59s  85GB
Jul 21 09:48:13 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 21 09:52:51 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m37s  29GB
Jul 21 09:52:52 SUCCESS