Job 3036

CakeML:af8d24e26f6c151d6d6f66f25ee522c5ea826ab7
  Merge pull request #1262 from CakeML/new-prims [Nov 12 13:39:08]
HOL:5d44f2fe1039d941831ee15ee0867c8cc2973f56
  Replace Datatype call with modern syntax in examples [Oct 26 23:02:27]
Machine:timtam
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

Nov 12 13:42:01 Claimed job
Nov 12 13:42:06 Reusing HOL
Nov 12 13:42:12 Starting developers
Nov 12 13:42:17 Finished developers                                               3s 120MB
Nov 12 13:42:18 Starting developers/bin
Nov 12 13:42:22 Finished developers/bin                                           3s  91MB
Nov 12 13:42:23 Starting misc
Nov 12 13:43:01 Finished misc                                                    37s   1GB
Nov 12 13:43:02 Starting compiler/proofs
Nov 12 14:42:39 Finished compiler/proofs                                      59m36s  10GB
Nov 12 14:42:40 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 12 20:20:37 Finished compiler/bootstrap/compilation/x64/64/proofs       5h37m56s 100GB
Nov 12 20:20:38 Starting semantics/ffi
Nov 12 20:20:48 Finished semantics/ffi                                            8s 537MB
Nov 12 20:20:48 Starting semantics
Nov 12 20:20:50 Finished semantics                                                0s  64MB
Nov 12 20:20:51 Starting semantics/proofs
Nov 12 20:21:12 Finished semantics/proofs                                        20s 873MB
Nov 12 20:21:13 Starting semantics/alt_semantics
Nov 12 20:21:30 Finished semantics/alt_semantics                                 16s 715MB
Nov 12 20:21:31 Starting semantics/alt_semantics/proofs
Nov 12 20:25:30 Finished semantics/alt_semantics/proofs                        3m56s   1GB
Nov 12 20:25:30 Starting basis/pure
Nov 12 20:25:32 Finished basis/pure                                               0s  96MB
Nov 12 20:25:33 Starting translator
Nov 12 20:26:40 Finished translator                                            1m05s   2GB
Nov 12 20:26:41 Starting compiler/parsing
Nov 12 20:26:42 Finished compiler/parsing                                         0s  70MB
Nov 12 20:26:43 Starting characteristic
Nov 12 20:26:45 Finished characteristic                                           1s 121MB
Nov 12 20:26:46 Starting translator/monadic
Nov 12 20:26:48 Finished translator/monadic                                       1s 120MB
Nov 12 20:26:49 Starting translator/monadic/monad_base
Nov 12 20:26:50 Finished translator/monadic/monad_base                            0s  63MB
Nov 12 20:26:51 Starting profiler
Nov 12 20:27:15 Finished profiler                                                23s   1GB
Nov 12 20:27:16 Starting basis
Nov 12 20:28:38 Finished basis                                                 1m20s   3GB
Nov 12 20:28:39 Starting compiler
Nov 12 20:28:42 Finished compiler                                                 2s 203MB
Nov 12 20:28:42 Starting compiler/inference
Nov 12 20:28:44 Finished compiler/inference                                       1s 109MB
Nov 12 20:28:45 Starting compiler/backend/reg_alloc
Nov 12 20:28:47 Finished compiler/backend/reg_alloc                               0s  91MB
Nov 12 20:28:48 Starting compiler/backend/gc
Nov 12 20:28:50 Finished compiler/backend/gc                                      1s 144MB
Nov 12 20:28:51 Starting compiler/backend
Nov 12 20:28:56 Finished compiler/backend                                         4s 253MB
Nov 12 20:28:57 Starting compiler/encoders/asm
Nov 12 20:28:58 Finished compiler/encoders/asm                                    0s  90MB
Nov 12 20:28:59 Starting compiler/encoders/x64
Nov 12 20:29:01 Finished compiler/encoders/x64                                    0s  93MB
Nov 12 20:29:02 Starting compiler/encoders/arm7
Nov 12 20:29:04 Finished compiler/encoders/arm7                                   0s  90MB
Nov 12 20:29:04 Starting compiler/encoders/arm8
Nov 12 20:29:06 Finished compiler/encoders/arm8                                   0s  90MB
Nov 12 20:29:07 Starting compiler/encoders/arm8_asl
Nov 12 20:29:20 Finished compiler/encoders/arm8_asl                              11s   1GB
Nov 12 20:29:21 Starting compiler/encoders/mips
Nov 12 20:29:22 Finished compiler/encoders/mips                                   0s  94MB
Nov 12 20:29:23 Starting compiler/encoders/riscv
Nov 12 20:29:25 Finished compiler/encoders/riscv                                  0s  94MB
Nov 12 20:29:26 Starting compiler/encoders/ag32
Nov 12 20:29:27 Finished compiler/encoders/ag32                                   0s  94MB
Nov 12 20:29:28 Starting compiler/encoders/tests
Nov 12 20:29:30 Finished compiler/encoders/tests                                  1s 113MB
Nov 12 20:29:31 Starting compiler/encoders/monadic_enc
Nov 12 20:29:49 Finished compiler/encoders/monadic_enc                           17s   1GB
Nov 12 20:29:50 Starting compiler/backend/x64
Nov 12 20:29:52 Finished compiler/backend/x64                                     1s 140MB
Nov 12 20:29:53 Starting compiler/backend/arm7
Nov 12 20:29:55 Finished compiler/backend/arm7                                    1s 140MB
Nov 12 20:29:56 Starting compiler/backend/arm8
Nov 12 20:29:59 Finished compiler/backend/arm8                                    1s 140MB
Nov 12 20:29:59 Starting compiler/backend/mips
Nov 12 20:30:02 Finished compiler/backend/mips                                    1s 139MB
Nov 12 20:30:02 Starting compiler/backend/riscv
Nov 12 20:30:04 Finished compiler/backend/riscv                                   1s 139MB
Nov 12 20:30:05 Starting compiler/backend/ag32
Nov 12 20:31:02 Finished compiler/backend/ag32                                   55s   2GB
Nov 12 20:31:03 Starting compiler/backend/pattern_matching
Nov 12 20:31:05 Finished compiler/backend/pattern_matching                        0s  64MB
Nov 12 20:31:05 Starting compiler/parsing/ocaml
Nov 12 20:32:49 Finished compiler/parsing/ocaml                                1m43s   1GB
Nov 12 20:32:50 Starting compiler/printing
Nov 12 20:32:52 Finished compiler/printing                                        1s 112MB
Nov 12 20:32:53 Starting compiler/parsing/proofs
Nov 12 20:32:55 Finished compiler/parsing/proofs                                  0s  67MB
Nov 12 20:32:56 Starting compiler/inference/proofs
Nov 12 20:32:58 Finished compiler/inference/proofs                                1s 111MB
Nov 12 20:32:58 Starting compiler/backend/semantics
Nov 12 20:35:19 Finished compiler/backend/semantics                            2m19s   2GB
Nov 12 20:35:20 Starting compiler/backend/reg_alloc/proofs
Nov 12 20:35:22 Finished compiler/backend/reg_alloc/proofs                        1s 119MB
Nov 12 20:35:23 Starting compiler/backend/proofs
Nov 12 20:36:05 Finished compiler/backend/proofs                                 41s   3GB
Nov 12 20:36:06 Starting compiler/backend/serialiser
Nov 12 20:36:08 Finished compiler/backend/serialiser                              1s 152MB
Nov 12 20:36:09 Starting compiler/encoders/x64/proofs
Nov 12 20:36:10 Finished compiler/encoders/x64/proofs                             0s  99MB
Nov 12 20:36:11 Starting compiler/encoders/arm7/proofs
Nov 12 20:46:40 Finished compiler/encoders/arm7/proofs                        10m28s   4GB
Nov 12 20:46:41 Starting compiler/encoders/arm8/proofs
Nov 12 20:53:11 Finished compiler/encoders/arm8/proofs                         6m29s   5GB
Nov 12 20:53:12 Starting compiler/encoders/arm8_asl/proofs
Nov 12 21:07:45 Finished compiler/encoders/arm8_asl/proofs                    14m31s   3GB
Nov 12 21:07:46 Starting compiler/encoders/mips/proofs
Nov 12 21:16:24 Finished compiler/encoders/mips/proofs                         8m37s   7GB
Nov 12 21:16:25 Starting compiler/encoders/riscv/proofs
Nov 12 21:24:10 Finished compiler/encoders/riscv/proofs                        7m43s   4GB
Nov 12 21:24:10 Starting compiler/encoders/ag32/proofs
Nov 12 21:26:45 Finished compiler/encoders/ag32/proofs                         2m33s   1GB
Nov 12 21:26:46 Starting compiler/backend/x64/proofs
Nov 12 21:26:49 Finished compiler/backend/x64/proofs                              2s 219MB
Nov 12 21:26:50 Starting compiler/backend/arm7/proofs
Nov 12 21:27:21 Finished compiler/backend/arm7/proofs                            30s   1GB
Nov 12 21:27:22 Starting compiler/backend/arm8/proofs
Nov 12 21:27:53 Finished compiler/backend/arm8/proofs                            30s   2GB
Nov 12 21:27:54 Starting compiler/backend/arm8_asl
Nov 12 21:28:16 Finished compiler/backend/arm8_asl                               21s   1GB
Nov 12 21:28:17 Starting compiler/backend/mips/proofs
Nov 12 21:28:49 Finished compiler/backend/mips/proofs                            31s   2GB
Nov 12 21:28:50 Starting compiler/backend/riscv/proofs
Nov 12 21:29:25 Finished compiler/backend/riscv/proofs                           34s   2GB
Nov 12 21:29:26 Starting compiler/backend/ag32/proofs
Nov 12 21:39:55 Finished compiler/backend/ag32/proofs                         10m28s   3GB
Nov 12 21:39:56 Starting compiler/backend/cv_compute
Nov 12 21:40:22 Finished compiler/backend/cv_compute                             24s   1GB
Nov 12 21:40:23 Starting cv_translator
Nov 12 21:45:21 Finished cv_translator                                         4m57s   4GB
Nov 12 21:45:22 Starting candle
Nov 12 21:45:23 Finished candle                                                   0s  14MB
Nov 12 21:45:24 Starting candle/set-theory
Nov 12 21:45:50 Finished candle/set-theory                                       24s 925MB
Nov 12 21:45:50 Starting candle/syntax-lib
Nov 12 21:45:52 Finished candle/syntax-lib                                        0s  88MB
Nov 12 21:45:53 Starting candle/standard
Nov 12 21:45:54 Finished candle/standard                                          0s  15MB
Nov 12 21:45:55 Starting candle/standard/syntax
Nov 12 21:46:07 Finished candle/standard/syntax                                  10s 789MB
Nov 12 21:46:07 Starting candle/standard/semantics
Nov 12 21:48:02 Finished candle/standard/semantics                             1m53s   2GB
Nov 12 21:48:02 Starting candle/standard/monadic
Nov 12 21:48:04 Finished candle/standard/monadic                                  1s 116MB
Nov 12 21:48:05 Starting candle/standard/ml_kernel
Nov 12 21:49:45 Finished candle/standard/ml_kernel                             1m38s   4GB
Nov 12 21:49:45 Starting candle/standard/ml_kernel/lisp
Nov 12 21:49:47 Finished candle/standard/ml_kernel/lisp                           0s  56MB
Nov 12 21:49:47 Starting candle/overloading
Nov 12 21:49:48 Finished candle/overloading                                       0s  18MB
Nov 12 21:49:49 Starting candle/overloading/syntax
Nov 12 21:52:36 Finished candle/overloading/syntax                             2m45s   1GB
Nov 12 21:52:37 Starting candle/overloading/semantics
Nov 12 22:02:16 Finished candle/overloading/semantics                          9m38s   4GB
Nov 12 22:02:17 Starting candle/overloading/monadic
Nov 12 22:04:13 Finished candle/overloading/monadic                            1m55s   1GB
Nov 12 22:04:14 Starting candle/overloading/ml_kernel
Nov 12 22:10:15 Finished candle/overloading/ml_kernel                          5m59s   5GB
Nov 12 22:10:15 Starting candle/overloading/ml_checker
Nov 12 22:12:21 Finished candle/overloading/ml_checker                         2m04s   6GB
Nov 12 22:12:22 Starting candle/prover
Nov 12 22:12:24 Finished candle/prover                                            1s 168MB
Nov 12 22:12:25 Starting candle/prover/compute
Nov 12 22:12:27 Finished candle/prover/compute                                    1s 150MB
Nov 12 22:12:28 Starting pancake
Nov 12 22:12:31 Finished pancake                                                  1s 139MB
Nov 12 22:12:31 Starting pancake/semantics
Nov 12 22:15:01 Finished pancake/semantics                                     2m29s   1GB
Nov 12 22:15:02 Starting pancake/parser
Nov 12 22:15:31 Finished pancake/parser                                          27s 510MB
Nov 12 22:15:32 Starting pancake/static_checker
Nov 12 22:16:35 Finished pancake/static_checker                                1m02s   1GB
Nov 12 22:16:36 Starting pancake/proofs
Nov 12 22:30:29 Finished pancake/proofs                                       13m52s   6GB
Nov 12 22:30:30 Starting compiler/dafny
Nov 12 22:30:55 Finished compiler/dafny                                          23s 746MB
Nov 12 22:30:55 Starting compiler/dafny/translation
Nov 12 22:39:45 Finished compiler/dafny/translation                            8m48s   5GB
Nov 12 22:39:46 Starting compiler/dafny/compilation
Nov 12 22:41:36 Finished compiler/dafny/compilation                            1m48s   6GB
Nov 12 22:41:36 Starting compiler/dafny/semantics
Nov 12 22:42:08 Finished compiler/dafny/semantics                                30s 561MB
Nov 12 22:42:09 Starting compiler/dafny/proofs
Nov 12 22:43:29 Finished compiler/dafny/proofs                                 1m19s   1GB
Nov 12 22:43:30 Starting compiler/dafny/vcg
Nov 12 22:44:34 Finished compiler/dafny/vcg                                    1m03s   1GB
Nov 12 22:44:35 Starting compiler/scheme
Nov 12 22:45:00 Finished compiler/scheme                                         25s   1GB
Nov 12 22:45:01 Starting compiler/scheme/translation
Nov 12 22:51:42 Finished compiler/scheme/translation                           6m39s   8GB
Nov 12 22:51:43 Starting compiler/scheme/compilation
Nov 12 22:52:55 Finished compiler/scheme/compilation                           1m11s   4GB
Nov 12 22:52:56 Starting compiler/scheme/proofs
Nov 12 23:07:14 Finished compiler/scheme/proofs                               14m17s  41GB
Nov 12 23:07:15 Starting characteristic/examples
Nov 12 23:08:35 Finished characteristic/examples                               1m18s   4GB
Nov 12 23:08:36 Starting tutorial/solutions
Nov 12 23:10:52 Finished tutorial/solutions                                    2m15s   3GB
Nov 12 23:10:52 Starting translator/monadic/examples
Nov 12 23:13:33 Finished translator/monadic/examples                           2m39s   3GB
Nov 12 23:13:34 Starting examples
Nov 12 23:18:01 Finished examples                                              4m25s   3GB
Nov 12 23:18:01 Starting examples/compilation
Nov 12 23:18:02 Finished examples/compilation                                     0s  14MB
Nov 12 23:18:03 Starting examples/compilation/x64
Nov 12 23:24:50 Finished examples/compilation/x64                              6m46s   3GB
Nov 12 23:24:51 Starting examples/compilation/x64/proofs
Nov 12 23:27:17 Finished examples/compilation/x64/proofs                       2m24s   4GB
Nov 12 23:27:18 Starting examples/compilation/ag32
Nov 12 23:29:11 Finished examples/compilation/ag32                             1m53s   3GB
Nov 12 23:29:12 Starting examples/compilation/ag32/proofs
Nov 12 23:30:14 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Nov 12 23:30:15 Starting examples/lpr_checker
Nov 12 23:30:47 Finished examples/lpr_checker                                    31s   1GB
Nov 12 23:30:48 Starting examples/lpr_checker/array
Nov 12 23:43:11 Finished examples/lpr_checker/array                           12m20s   7GB
Nov 12 23:43:12 Starting examples/lpr_checker/array/compilation
Nov 12 23:45:27 Finished examples/lpr_checker/array/compilation                2m13s   5GB
Nov 12 23:45:27 Starting examples/lpr_checker/array/compilation/proofs
Nov 12 23:46:39 Finished examples/lpr_checker/array/compilation/proofs         1m10s   5GB
Nov 12 23:46:40 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 12 23:47:46 Finished examples/lpr_checker/array/compilation/proofsARM8     1m05s   6GB
Nov 12 23:47:47 Starting .
Nov 12 23:47:51 Finished .                                                        3s 327MB
Nov 12 23:47:52 Starting examples/xlrup_checker
Nov 12 23:48:38 Finished examples/xlrup_checker                                  45s   1GB
Nov 12 23:48:39 Starting examples/xlrup_checker/array
Nov 12 23:57:41 Finished examples/xlrup_checker/array                          9m00s   4GB
Nov 12 23:57:41 Starting examples/xlrup_checker/array/compilation
Nov 12 23:58:48 Finished examples/xlrup_checker/array/compilation              1m06s   4GB
Nov 12 23:58:49 Starting examples/xlrup_checker/array/compilation/proofs
Nov 12 23:59:49 Finished examples/xlrup_checker/array/compilation/proofs         58s   5GB
Nov 12 23:59:49 Starting examples/scpog_checker
Nov 13 00:00:30 Finished examples/scpog_checker                                  39s   1GB
Nov 13 00:00:30 Starting examples/scpog_checker/array
Nov 13 00:06:08 Finished examples/scpog_checker/array                          5m36s   4GB
Nov 13 00:06:09 Starting examples/scpog_checker/array/compilation
Nov 13 00:08:00 Finished examples/scpog_checker/array/compilation              1m49s   7GB
Nov 13 00:08:00 Starting examples/scpog_checker/array/compilation/proofs
Nov 13 00:09:10 Finished examples/scpog_checker/array/compilation/proofs       1m08s   5GB
Nov 13 00:09:11 Starting examples/pseudo_bool
Nov 13 00:10:57 Finished examples/pseudo_bool                                  1m45s   1GB
Nov 13 00:10:58 Starting examples/pseudo_bool/cnf_encoding
Nov 13 00:11:25 Finished examples/pseudo_bool/cnf_encoding                       25s   1GB
Nov 13 00:11:26 Starting examples/pseudo_bool/graph_encoding
Nov 13 00:12:05 Finished examples/pseudo_bool/graph_encoding                     38s   1GB
Nov 13 00:12:06 Starting examples/pseudo_bool/array
Nov 13 00:47:48 Finished examples/pseudo_bool/array                           35m39s  17GB
Nov 13 00:47:49 Starting examples/pseudo_bool/array/compilation
Nov 13 00:57:59 Finished examples/pseudo_bool/array/compilation               10m07s  17GB
Nov 13 00:58:00 Starting examples/pseudo_bool/array/compilation/proofs
Nov 13 01:00:40 Finished examples/pseudo_bool/array/compilation/proofs         2m39s   7GB
Nov 13 01:00:41 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 13 01:01:57 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m15s   7GB
Nov 13 01:01:58 Starting examples/opentheory
Nov 13 01:08:56 Finished examples/opentheory                                   6m56s   5GB
Nov 13 01:08:57 Starting examples/opentheory/compilation
Nov 13 01:10:27 Finished examples/opentheory/compilation                       1m29s   5GB
Nov 13 01:10:28 Starting examples/opentheory/compilation/proofs
Nov 13 01:11:26 Finished examples/opentheory/compilation/proofs                  56s   4GB
Nov 13 01:11:27 Starting examples/opentheory/compilation/ag32
Nov 13 01:12:58 Finished examples/opentheory/compilation/ag32                  1m29s   6GB
Nov 13 01:12:58 Starting examples/opentheory/compilation/ag32/proofs
Nov 13 01:14:26 Finished examples/opentheory/compilation/ag32/proofs           1m27s   8GB
Nov 13 01:14:27 Starting examples/sat_encodings
Nov 13 01:15:25 Finished examples/sat_encodings                                  57s 720MB
Nov 13 01:15:26 Starting examples/sat_encodings/demo
Nov 13 01:15:27 Finished examples/sat_encodings/demo                              0s  14MB
Nov 13 01:15:28 Starting examples/sat_encodings/case_studies
Nov 13 01:17:03 Finished examples/sat_encodings/case_studies                   1m33s   1GB
Nov 13 01:17:03 Starting examples/sat_encodings/translation
Nov 13 01:20:11 Finished examples/sat_encodings/translation                    3m06s   3GB
Nov 13 01:20:12 Starting examples/sat_encodings/translation/compilation
Nov 13 01:21:59 Finished examples/sat_encodings/translation/compilation        1m46s   4GB
Nov 13 01:22:00 Starting examples/deflate
Nov 13 01:22:18 Finished examples/deflate                                        17s 469MB
Nov 13 01:22:19 Starting examples/deflate/translation
Nov 13 01:23:14 Finished examples/deflate/translation                            53s   2GB
Nov 13 01:23:15 Starting examples/deflate/translation/compilation
Nov 13 01:24:04 Finished examples/deflate/translation/compilation                48s   3GB
Nov 13 01:24:04 Starting examples/vipr
Nov 13 01:27:01 Finished examples/vipr                                         2m55s   7GB
Nov 13 01:27:01 Starting examples/vipr/compilation
Nov 13 01:27:55 Finished examples/vipr/compilation                               52s   3GB
Nov 13 01:27:56 Starting translator/okasaki-examples
Nov 13 01:30:54 Finished translator/okasaki-examples                           2m57s   3GB
Nov 13 01:30:55 Starting translator/other-examples
Nov 13 01:31:43 Finished translator/other-examples                               47s   2GB
Nov 13 01:31:44 Starting translator/other-examples/auxiliary
Nov 13 01:31:45 Finished translator/other-examples/auxiliary                      0s  19MB
Nov 13 01:31:46 Starting compiler/parsing/tests
Nov 13 01:32:21 Finished compiler/parsing/tests                                  33s   1GB
Nov 13 01:32:21 Starting compiler/inference/tests
Nov 13 01:32:58 Finished compiler/inference/tests                                34s   2GB
Nov 13 01:32:58 Starting compiler/printing/test
Nov 13 01:34:08 Finished compiler/printing/test                                1m08s   5GB
Nov 13 01:34:09 Starting compiler/repl
Nov 13 01:34:12 Finished compiler/repl                                            2s 265MB
Nov 13 01:34:13 Starting unverified/sexpr-bootstrap/x64/64
Nov 13 01:38:06 Finished unverified/sexpr-bootstrap/x64/64                     3m42s  18GB
Nov 13 01:38:07 Starting unverified/sexpr-bootstrap/x64/32
Nov 13 03:27:46 Finished unverified/sexpr-bootstrap/x64/32                  1h49m30s  55GB
Nov 13 03:27:47 Starting compiler/benchmarks
Nov 13 03:28:33 Finished compiler/benchmarks                                     45s 711MB
Nov 13 03:28:34 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Nov 13 03:28:37 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 266MB
Nov 13 03:28:38 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Nov 13 03:28:42 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 272MB
Nov 13 03:28:43 Starting compiler/bootstrap/translation
Nov 13 03:28:46 Finished compiler/bootstrap/translation                           2s 277MB
Nov 13 03:28:47 Starting compiler/bootstrap/compilation/x64/64
Nov 13 03:31:49 Finished compiler/bootstrap/compilation/x64/64                 2m50s  17GB
Nov 13 03:31:50 Starting compiler/bootstrap/compilation/x64/32
Nov 13 03:57:26 Finished compiler/bootstrap/compilation/x64/32                25m28s  63GB
Nov 13 03:57:27 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 13 04:02:07 Finished compiler/bootstrap/compilation/x64/32/proofs          4m39s  23GB
Nov 13 04:02:08 Starting compiler/bootstrap/compilation/arm8/64
Nov 13 04:40:25 Finished compiler/bootstrap/compilation/arm8/64               38m09s  84GB
Nov 13 04:40:26 Starting compiler/bootstrap/compilation/arm8/64/proofs
Nov 13 04:45:58 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m31s  29GB
Nov 13 04:45:59 Starting compiler/bootstrap/compilation/ag32/32
Nov 13 05:13:00 Finished compiler/bootstrap/compilation/ag32/32               26m59s  48GB
Nov 13 05:13:01 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 13 05:17:35 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m33s  30GB
Nov 13 05:17:36 SUCCESS