Job 2893

CakeML:3dad466f2fd3c0673b9c47935b1a4865e68b0657
  Merge pull request #1196 from CakeML/bnn_checker [Jul 22 04:08:41]
HOL:a81865b9bac5e3018a070980ce8f4a392c66c9c6
  Get Holmake and build to clean properly given .hol directory [Jul 07 07:18:21]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Jul 22 04:52:05 Claimed job
Jul 22 04:52:09 Reusing HOL
Jul 22 04:52:17 Starting developers
Jul 22 04:52:21 Finished developers                                               3s 188MB
Jul 22 04:52:22 Starting developers/bin
Jul 22 04:52:27 Finished developers/bin                                           4s 592MB
Jul 22 04:52:28 Starting misc
Jul 22 04:53:11 Finished misc                                                    41s   2GB
Jul 22 04:53:12 Starting compiler/proofs
Jul 22 06:24:53 Finished compiler/proofs                                    1h31m38s  30GB
Jul 22 06:24:54 Starting compiler/bootstrap/translation
Jul 22 12:24:38 Finished compiler/bootstrap/translation                     5h59m43s  87GB
Jul 22 12:24:39 Starting semantics/ffi
Jul 22 12:24:48 Finished semantics/ffi                                            8s 532MB
Jul 22 12:24:49 Starting semantics
Jul 22 12:24:50 Finished semantics                                                0s  59MB
Jul 22 12:24:51 Starting semantics/proofs
Jul 22 12:25:15 Finished semantics/proofs                                        22s 711MB
Jul 22 12:25:16 Starting semantics/alt_semantics
Jul 22 12:25:37 Finished semantics/alt_semantics                                 20s 909MB
Jul 22 12:25:38 Starting semantics/alt_semantics/proofs
Jul 22 12:36:03 Finished semantics/alt_semantics/proofs                       10m24s   2GB
Jul 22 12:36:04 Starting basis/pure
Jul 22 12:36:06 Finished basis/pure                                               0s  90MB
Jul 22 12:36:07 Starting translator
Jul 22 12:37:43 Finished translator                                            1m34s   3GB
Jul 22 12:37:44 Starting compiler/parsing
Jul 22 12:37:45 Finished compiler/parsing                                         0s  64MB
Jul 22 12:37:46 Starting characteristic
Jul 22 12:37:48 Finished characteristic                                           1s 114MB
Jul 22 12:37:49 Starting translator/monadic
Jul 22 12:37:51 Finished translator/monadic                                       1s 111MB
Jul 22 12:37:52 Starting translator/monadic/monad_base
Jul 22 12:37:53 Finished translator/monadic/monad_base                            0s  57MB
Jul 22 12:37:54 Starting basis
Jul 22 12:40:14 Finished basis                                                 2m18s   4GB
Jul 22 12:40:15 Starting compiler
Jul 22 12:40:18 Finished compiler                                                 1s 204MB
Jul 22 12:40:18 Starting compiler/inference
Jul 22 12:40:20 Finished compiler/inference                                       1s 117MB
Jul 22 12:40:21 Starting compiler/backend/reg_alloc
Jul 22 12:40:23 Finished compiler/backend/reg_alloc                               0s  58MB
Jul 22 12:40:24 Starting compiler/backend/gc
Jul 22 12:40:26 Finished compiler/backend/gc                                      1s 144MB
Jul 22 12:40:27 Starting compiler/backend
Jul 22 12:40:32 Finished compiler/backend                                         4s 249MB
Jul 22 12:40:33 Starting compiler/encoders/asm
Jul 22 12:40:35 Finished compiler/encoders/asm                                    0s  84MB
Jul 22 12:40:35 Starting compiler/encoders/x64
Jul 22 12:40:37 Finished compiler/encoders/x64                                    0s  86MB
Jul 22 12:40:38 Starting compiler/encoders/arm7
Jul 22 12:40:40 Finished compiler/encoders/arm7                                   0s  88MB
Jul 22 12:40:41 Starting compiler/encoders/arm8
Jul 22 12:40:42 Finished compiler/encoders/arm8                                   0s  88MB
Jul 22 12:40:43 Starting compiler/encoders/arm8_asl
Jul 22 12:40:57 Finished compiler/encoders/arm8_asl                              12s   1GB
Jul 22 12:40:58 Starting compiler/encoders/mips
Jul 22 12:40:59 Finished compiler/encoders/mips                                   0s  86MB
Jul 22 12:41:00 Starting compiler/encoders/riscv
Jul 22 12:41:02 Finished compiler/encoders/riscv                                  0s  89MB
Jul 22 12:41:03 Starting compiler/encoders/ag32
Jul 22 12:41:05 Finished compiler/encoders/ag32                                   0s  88MB
Jul 22 12:41:06 Starting compiler/encoders/tests
Jul 22 12:41:07 Finished compiler/encoders/tests                                  0s 103MB
Jul 22 12:41:08 Starting compiler/encoders/monadic_enc
Jul 22 12:41:11 Finished compiler/encoders/monadic_enc                            1s 141MB
Jul 22 12:41:11 Starting compiler/backend/x64
Jul 22 12:41:14 Finished compiler/backend/x64                                     1s 144MB
Jul 22 12:41:15 Starting compiler/backend/arm7
Jul 22 12:41:17 Finished compiler/backend/arm7                                    1s 144MB
Jul 22 12:41:18 Starting compiler/backend/arm8
Jul 22 12:41:20 Finished compiler/backend/arm8                                    1s 144MB
Jul 22 12:41:21 Starting compiler/backend/mips
Jul 22 12:41:23 Finished compiler/backend/mips                                    1s 144MB
Jul 22 12:41:24 Starting compiler/backend/riscv
Jul 22 12:41:26 Finished compiler/backend/riscv                                   1s 144MB
Jul 22 12:41:27 Starting compiler/backend/ag32
Jul 22 12:42:33 Finished compiler/backend/ag32                                 1m04s   3GB
Jul 22 12:42:34 Starting compiler/backend/pattern_matching
Jul 22 12:42:35 Finished compiler/backend/pattern_matching                        0s  57MB
Jul 22 12:42:36 Starting compiler/parsing/ocaml
Jul 22 12:44:18 Finished compiler/parsing/ocaml                                1m40s   1GB
Jul 22 12:44:19 Starting compiler/printing
Jul 22 12:44:21 Finished compiler/printing                                        1s 122MB
Jul 22 12:44:21 Starting compiler/parsing/proofs
Jul 22 12:44:23 Finished compiler/parsing/proofs                                  0s  68MB
Jul 22 12:44:24 Starting compiler/inference/proofs
Jul 22 12:44:26 Finished compiler/inference/proofs                                1s 121MB
Jul 22 12:44:27 Starting compiler/backend/semantics
Jul 22 12:47:32 Finished compiler/backend/semantics                            3m04s   2GB
Jul 22 12:47:33 Starting compiler/backend/reg_alloc/proofs
Jul 22 12:47:35 Finished compiler/backend/reg_alloc/proofs                        1s 114MB
Jul 22 12:47:36 Starting compiler/backend/proofs
Jul 22 12:48:23 Finished compiler/backend/proofs                                 46s   2GB
Jul 22 12:48:24 Starting compiler/backend/serialiser
Jul 22 12:48:26 Finished compiler/backend/serialiser                              1s 140MB
Jul 22 12:48:27 Starting compiler/encoders/x64/proofs
Jul 22 12:58:51 Finished compiler/encoders/x64/proofs                         10m23s   5GB
Jul 22 12:58:52 Starting compiler/encoders/arm7/proofs
Jul 22 13:11:48 Finished compiler/encoders/arm7/proofs                        12m54s   6GB
Jul 22 13:11:49 Starting compiler/encoders/arm8/proofs
Jul 22 13:18:51 Finished compiler/encoders/arm8/proofs                         7m01s   4GB
Jul 22 13:18:52 Starting compiler/encoders/arm8_asl/proofs
Jul 22 13:34:08 Finished compiler/encoders/arm8_asl/proofs                    15m14s   3GB
Jul 22 13:34:08 Starting compiler/encoders/mips/proofs
Jul 22 13:44:06 Finished compiler/encoders/mips/proofs                         9m56s   8GB
Jul 22 13:44:07 Starting compiler/encoders/riscv/proofs
Jul 22 13:52:07 Finished compiler/encoders/riscv/proofs                        8m00s   5GB
Jul 22 13:52:08 Starting compiler/encoders/ag32/proofs
Jul 22 13:54:58 Finished compiler/encoders/ag32/proofs                         2m48s   1GB
Jul 22 13:54:59 Starting compiler/backend/x64/proofs
Jul 22 13:55:29 Finished compiler/backend/x64/proofs                             29s   2GB
Jul 22 13:55:30 Starting compiler/backend/arm7/proofs
Jul 22 13:56:01 Finished compiler/backend/arm7/proofs                            29s   2GB
Jul 22 13:56:02 Starting compiler/backend/arm8/proofs
Jul 22 13:56:32 Finished compiler/backend/arm8/proofs                            29s   2GB
Jul 22 13:56:33 Starting compiler/backend/arm8_asl
Jul 22 13:56:54 Finished compiler/backend/arm8_asl                               20s   1GB
Jul 22 13:56:55 Starting compiler/backend/mips/proofs
Jul 22 13:57:26 Finished compiler/backend/mips/proofs                            29s   2GB
Jul 22 13:57:27 Starting compiler/backend/riscv/proofs
Jul 22 13:57:58 Finished compiler/backend/riscv/proofs                           31s   2GB
Jul 22 13:57:59 Starting compiler/backend/ag32/proofs
Jul 22 14:11:48 Finished compiler/backend/ag32/proofs                         13m46s   5GB
Jul 22 14:11:49 Starting compiler/backend/cv_compute
Jul 22 14:12:56 Finished compiler/backend/cv_compute                           1m06s   1GB
Jul 22 14:12:56 Starting cv_translator
Jul 22 14:31:24 Finished cv_translator                                        18m26s   9GB
Jul 22 14:31:25 Starting candle
Jul 22 14:31:26 Finished candle                                                   0s  14MB
Jul 22 14:31:27 Starting candle/set-theory
Jul 22 14:32:01 Finished candle/set-theory                                       32s   1GB
Jul 22 14:32:02 Starting candle/syntax-lib
Jul 22 14:32:03 Finished candle/syntax-lib                                        0s 100MB
Jul 22 14:32:04 Starting candle/standard
Jul 22 14:32:05 Finished candle/standard                                          0s  15MB
Jul 22 14:32:06 Starting candle/standard/syntax
Jul 22 14:32:18 Finished candle/standard/syntax                                  11s 721MB
Jul 22 14:32:19 Starting candle/standard/semantics
Jul 22 14:34:16 Finished candle/standard/semantics                             1m55s   1GB
Jul 22 14:34:17 Starting candle/standard/monadic
Jul 22 14:34:19 Finished candle/standard/monadic                                  1s 123MB
Jul 22 14:34:20 Starting candle/standard/ml_kernel
Jul 22 14:36:04 Finished candle/standard/ml_kernel                             1m42s   4GB
Jul 22 14:36:05 Starting candle/standard/ml_kernel/lisp
Jul 22 14:36:06 Finished candle/standard/ml_kernel/lisp                           0s  51MB
Jul 22 14:36:07 Starting candle/overloading
Jul 22 14:36:08 Finished candle/overloading                                       0s  14MB
Jul 22 14:36:09 Starting candle/overloading/syntax
Jul 22 14:39:15 Finished candle/overloading/syntax                             3m05s   2GB
Jul 22 14:39:16 Starting candle/overloading/semantics
Jul 22 14:50:11 Finished candle/overloading/semantics                         10m54s   7GB
Jul 22 14:50:12 Starting candle/overloading/monadic
Jul 22 14:52:32 Finished candle/overloading/monadic                            2m18s   2GB
Jul 22 14:52:32 Starting candle/overloading/ml_kernel
Jul 22 15:00:12 Finished candle/overloading/ml_kernel                          7m38s   6GB
Jul 22 15:00:13 Starting candle/overloading/ml_checker
Jul 22 15:02:24 Finished candle/overloading/ml_checker                         2m09s   6GB
Jul 22 15:02:25 Starting candle/prover
Jul 22 15:11:58 Finished candle/prover                                         9m32s   4GB
Jul 22 15:11:59 Starting candle/prover/compute
Jul 22 15:12:02 Finished candle/prover/compute                                    1s 143MB
Jul 22 15:12:03 Starting pancake
Jul 22 15:12:05 Finished pancake                                                  1s 133MB
Jul 22 15:12:06 Starting pancake/semantics
Jul 22 15:14:17 Finished pancake/semantics                                     2m10s   2GB
Jul 22 15:14:18 Starting pancake/parser
Jul 22 15:14:44 Finished pancake/parser                                          24s 472MB
Jul 22 15:14:44 Starting pancake/static_checker
Jul 22 15:15:22 Finished pancake/static_checker                                  36s   1GB
Jul 22 15:15:23 Starting pancake/proofs
Jul 22 15:31:29 Finished pancake/proofs                                       16m05s   8GB
Jul 22 15:31:30 Starting compiler/dafny
Jul 22 15:32:27 Finished compiler/dafny                                          56s   1GB
Jul 22 15:32:28 Starting compiler/dafny/translation
Jul 22 15:39:07 Finished compiler/dafny/translation                            6m37s   4GB
Jul 22 15:39:08 Starting compiler/dafny/compilation
Jul 22 15:40:57 Finished compiler/dafny/compilation                            1m48s   6GB
Jul 22 15:40:58 Starting compiler/dafny/semantics
Jul 22 15:43:16 Finished compiler/dafny/semantics                              2m17s   2GB
Jul 22 15:43:17 Starting compiler/dafny/vcg
Jul 22 15:43:22 Finished compiler/dafny/vcg                                       4s 261MB
Jul 22 15:43:23 Starting compiler/scheme
Jul 22 15:43:48 Finished compiler/scheme                                         24s   1GB
Jul 22 15:43:49 Starting compiler/scheme/translation
Jul 22 15:51:53 Finished compiler/scheme/translation                           8m02s   9GB
Jul 22 15:51:54 Starting compiler/scheme/compilation
Jul 22 15:53:07 Finished compiler/scheme/compilation                           1m11s   4GB
Jul 22 15:53:07 Starting compiler/scheme/proofs
Jul 22 16:11:16 Finished compiler/scheme/proofs                               18m07s  20GB
Jul 22 16:11:17 Starting characteristic/examples
Jul 22 16:12:42 Finished characteristic/examples                               1m23s   4GB
Jul 22 16:12:43 Starting tutorial/solutions
Jul 22 16:15:11 Finished tutorial/solutions                                    2m27s   3GB
Jul 22 16:15:12 Starting translator/monadic/examples
Jul 22 16:18:14 Finished translator/monadic/examples                           3m01s   3GB
Jul 22 16:18:15 Starting examples
Jul 22 16:24:09 Finished examples                                              5m52s   5GB
Jul 22 16:24:10 Starting examples/compilation
Jul 22 16:24:10 Finished examples/compilation                                     0s  14MB
Jul 22 16:24:11 Starting examples/compilation/x64
Jul 22 16:31:12 Finished examples/compilation/x64                              6m59s   4GB
Jul 22 16:31:13 Starting examples/compilation/x64/proofs
Jul 22 16:33:36 Finished examples/compilation/x64/proofs                       2m22s   4GB
Jul 22 16:33:37 Starting examples/compilation/ag32
Jul 22 16:35:35 Finished examples/compilation/ag32                             1m56s   3GB
Jul 22 16:35:36 Starting examples/compilation/ag32/proofs
Jul 22 16:36:36 Finished examples/compilation/ag32/proofs                        59s   5GB
Jul 22 16:36:37 Starting examples/lpr_checker
Jul 22 16:37:07 Finished examples/lpr_checker                                    29s   1GB
Jul 22 16:37:08 Starting examples/lpr_checker/array
Jul 22 17:03:43 Finished examples/lpr_checker/array                           26m33s  30GB
Jul 22 17:03:44 Starting examples/lpr_checker/array/compilation
Jul 22 17:06:11 Finished examples/lpr_checker/array/compilation                2m26s   7GB
Jul 22 17:06:12 Starting examples/lpr_checker/array/compilation/proofs
Jul 22 17:07:21 Finished examples/lpr_checker/array/compilation/proofs         1m07s   6GB
Jul 22 17:07:21 Starting examples/lpr_checker/array/compilation/proofsARM8
Jul 22 17:08:31 Finished examples/lpr_checker/array/compilation/proofsARM8     1m08s   6GB
Jul 22 17:08:32 Starting .
Jul 22 17:08:36 Finished .                                                        3s 307MB
Jul 22 17:08:37 Starting examples/xlrup_checker
Jul 22 17:09:24 Finished examples/xlrup_checker                                  46s   1GB
Jul 22 17:09:25 Starting examples/xlrup_checker/array
Jul 22 17:26:45 Finished examples/xlrup_checker/array                         17m18s  15GB
Jul 22 17:26:46 Starting examples/xlrup_checker/array/compilation
Jul 22 17:27:59 Finished examples/xlrup_checker/array/compilation              1m12s   5GB
Jul 22 17:28:00 Starting examples/xlrup_checker/array/compilation/proofs
Jul 22 17:29:32 Finished examples/xlrup_checker/array/compilation/proofs       1m30s   4GB
Jul 22 17:29:33 Starting examples/scpog_checker
Jul 22 17:30:18 Finished examples/scpog_checker                                  43s   2GB
Jul 22 17:30:18 Starting examples/scpog_checker/array
Jul 22 17:40:16 Finished examples/scpog_checker/array                          9m56s   6GB
Jul 22 17:40:17 Starting examples/scpog_checker/array/compilation
Jul 22 17:42:19 Finished examples/scpog_checker/array/compilation              2m01s   8GB
Jul 22 17:42:20 Starting examples/scpog_checker/array/compilation/proofs
Jul 22 17:43:30 Finished examples/scpog_checker/array/compilation/proofs       1m08s   6GB
Jul 22 17:43:31 Starting examples/pseudo_bool
Jul 22 17:45:24 Finished examples/pseudo_bool                                  1m51s   1GB
Jul 22 17:45:25 Starting examples/pseudo_bool/cnf_encoding
Jul 22 17:45:53 Finished examples/pseudo_bool/cnf_encoding                       27s   1GB
Jul 22 17:45:54 Starting examples/pseudo_bool/graph_encoding
Jul 22 17:46:38 Finished examples/pseudo_bool/graph_encoding                     43s   2GB
Jul 22 17:46:39 Starting examples/pseudo_bool/array
Jul 22 19:14:27 Finished examples/pseudo_bool/array                         1h27m47s  35GB
Jul 22 19:14:28 Starting examples/pseudo_bool/array/compilation
Jul 22 19:25:17 Finished examples/pseudo_bool/array/compilation               10m47s  22GB
Jul 22 19:25:18 Starting examples/pseudo_bool/array/compilation/proofs
Jul 22 19:27:57 Finished examples/pseudo_bool/array/compilation/proofs         2m37s   7GB
Jul 22 19:27:58 Starting examples/pseudo_bool/array/compilation/proofsARM8
Jul 22 19:29:09 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m10s   6GB
Jul 22 19:29:10 Starting examples/opentheory
Jul 22 19:37:32 Finished examples/opentheory                                   8m21s   5GB
Jul 22 19:37:33 Starting examples/opentheory/compilation
Jul 22 19:39:05 Finished examples/opentheory/compilation                       1m30s   6GB
Jul 22 19:39:06 Starting examples/opentheory/compilation/proofs
Jul 22 19:40:06 Finished examples/opentheory/compilation/proofs                  58s   4GB
Jul 22 19:40:07 Starting examples/opentheory/compilation/ag32
Jul 22 19:41:46 Finished examples/opentheory/compilation/ag32                  1m38s   7GB
Jul 22 19:41:47 Starting examples/opentheory/compilation/ag32/proofs
Jul 22 19:43:25 Finished examples/opentheory/compilation/ag32/proofs           1m36s   8GB
Jul 22 19:43:26 Starting examples/sat_encodings
Jul 22 19:44:27 Finished examples/sat_encodings                                  59s 886MB
Jul 22 19:44:27 Starting examples/sat_encodings/demo
Jul 22 19:44:28 Finished examples/sat_encodings/demo                              0s  14MB
Jul 22 19:44:29 Starting examples/sat_encodings/case_studies
Jul 22 19:46:13 Finished examples/sat_encodings/case_studies                   1m42s   1GB
Jul 22 19:46:14 Starting examples/sat_encodings/translation
Jul 22 19:49:55 Finished examples/sat_encodings/translation                    3m40s   3GB
Jul 22 19:49:56 Starting examples/sat_encodings/translation/compilation
Jul 22 19:51:53 Finished examples/sat_encodings/translation/compilation        1m55s   4GB
Jul 22 19:51:53 Starting examples/deflate
Jul 22 19:52:21 Finished examples/deflate                                        27s 761MB
Jul 22 19:52:22 Starting examples/deflate/translation
Jul 22 19:53:29 Finished examples/deflate/translation                          1m05s   4GB
Jul 22 19:53:30 Starting examples/deflate/translation/compilation
Jul 22 19:54:21 Finished examples/deflate/translation/compilation                50s   3GB
Jul 22 19:54:22 Starting examples/vipr
Jul 22 19:57:33 Finished examples/vipr                                         3m10s   4GB
Jul 22 19:57:34 Starting examples/vipr/compilation
Jul 22 19:58:31 Finished examples/vipr/compilation                               55s   4GB
Jul 22 19:58:32 Starting translator/okasaki-examples
Jul 22 20:02:38 Finished translator/okasaki-examples                           4m05s   3GB
Jul 22 20:02:39 Starting translator/other-examples
Jul 22 20:03:29 Finished translator/other-examples                               49s   3GB
Jul 22 20:03:30 Starting translator/other-examples/auxiliary
Jul 22 20:03:31 Finished translator/other-examples/auxiliary                      0s  16MB
Jul 22 20:03:32 Starting compiler/parsing/tests
Jul 22 20:04:07 Finished compiler/parsing/tests                                  33s   1GB
Jul 22 20:04:07 Starting compiler/inference/tests
Jul 22 20:04:43 Finished compiler/inference/tests                                35s   2GB
Jul 22 20:04:44 Starting compiler/printing/test
Jul 22 20:05:55 Finished compiler/printing/test                                1m09s   4GB
Jul 22 20:05:56 Starting icing/flover
Jul 22 20:38:35 Finished icing/flover                                         32m38s   2GB
Jul 22 20:38:36 Starting icing/flover/Infra
Jul 22 20:38:37 Finished icing/flover/Infra                                       0s  17MB
Jul 22 20:38:38 Starting icing/flover/semantics
Jul 22 20:38:39 Finished icing/flover/semantics                                   0s  16MB
Jul 22 20:38:40 Starting icing/
Jul 22 21:05:03 Finished icing/                                               26m21s   4GB
Jul 22 21:05:04 Starting icing/examples
Jul 22 21:06:30 Finished icing/examples                                        1m25s   7GB
Jul 22 21:06:31 Starting compiler/repl
Jul 22 21:13:52 Finished compiler/repl                                         7m19s   7GB
Jul 22 21:13:53 Starting unverified/sexpr-bootstrap/x64/64
Jul 22 21:17:55 Finished unverified/sexpr-bootstrap/x64/64                     3m51s  17GB
Jul 22 21:17:56 Starting unverified/sexpr-bootstrap/x64/32
Jul 22 21:21:14 Finished unverified/sexpr-bootstrap/x64/32                     3m09s  14GB
Jul 22 21:21:15 Starting compiler/benchmarks
Jul 22 21:22:01 Finished compiler/benchmarks                                     44s 711MB
Jul 22 21:22:02 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Jul 22 21:22:05 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 265MB
Jul 22 21:22:06 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Jul 22 21:22:10 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 267MB
Jul 22 21:22:10 Starting compiler/bootstrap/compilation/x64/64
Jul 22 21:50:25 Finished compiler/bootstrap/compilation/x64/64                28m02s 107GB
Jul 22 21:50:25 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 22 22:14:34 Finished compiler/bootstrap/compilation/x64/64/proofs         24m07s  55GB
Jul 22 22:14:35 Starting compiler/bootstrap/compilation/x64/32
Jul 22 22:42:18 Finished compiler/bootstrap/compilation/x64/32                27m36s  82GB
Jul 22 22:42:19 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 22 22:46:26 Finished compiler/bootstrap/compilation/x64/32/proofs          4m06s  24GB
Jul 22 22:46:27 Starting compiler/bootstrap/compilation/arm8/64
Jul 22 23:29:51 Finished compiler/bootstrap/compilation/arm8/64               43m09s 115GB
Jul 22 23:29:52 Starting compiler/bootstrap/compilation/arm8/64/proofs
Jul 22 23:35:35 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m42s  29GB
Jul 22 23:35:36 Starting compiler/bootstrap/compilation/ag32/32
Jul 23 00:07:34 Finished compiler/bootstrap/compilation/ag32/32               31m56s  93GB
Jul 23 00:07:34 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 23 00:12:18 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m42s  30GB
Jul 23 00:12:19 SUCCESS