CakeML Regression Test

Job 3313

CakeML:90f954fd69efc8a47567669141575d2365af9859
  Make source_to_flat optimise `val foo = bar` when bar is a variable [Apr 26 06:24:23]
#1378 (source-dlet-var)
Merging into:2cd83dd3dc85f3b8e3453c17264cefa82f777540
  Merge pull request #1377 from CakeML/release-notes [Apr 26 07:22:41]
HOL:77fad203c275899bfee21faf6d2d3a66e749d7e1
  patch no_sig_docs for asl-equiv [Apr 21 06:34:06]
Machine:timtam

Apr 26 20:25:52 Claimed job
Apr 26 20:25:56 Reusing HOL
Apr 26 20:26:08 Starting developers
Apr 26 20:26:14 Finished developers                                               4s 202MB
Apr 26 20:26:14 Starting developers/bin
Apr 26 20:26:19 Finished developers/bin                                           3s  93MB
Apr 26 20:26:19 Starting misc
Apr 26 20:27:00 Finished misc                                                    39s   1GB
Apr 26 20:27:01 Starting compiler/proofs
Apr 26 21:27:16 Finished compiler/proofs                                    1h00m14s  10GB
Apr 26 21:27:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 27 03:16:31 Finished compiler/bootstrap/compilation/x64/64/proofs       5h49m07s  90GB
Apr 27 03:16:33 Starting semantics/ffi
Apr 27 09:50:19 Resuming semantics/ffi
Apr 27 09:50:21 Finished semantics/ffi                                            0s  78MB
Apr 27 09:50:22 Starting semantics
Apr 27 09:50:24 Finished semantics                                                1s  84MB
Apr 27 09:50:24 Starting semantics/proofs
Apr 27 09:50:45 Finished semantics/proofs                                        19s 722MB
Apr 27 09:50:46 Starting semantics/alt_semantics
Apr 27 09:51:03 Finished semantics/alt_semantics                                 16s 611MB
Apr 27 09:51:04 Starting semantics/alt_semantics/proofs
Apr 27 09:54:23 Finished semantics/alt_semantics/proofs                        3m18s   2GB
Apr 27 09:54:24 Starting basis/pure
Apr 27 09:54:25 Finished basis/pure                                               0s  75MB
Apr 27 09:54:26 Starting translator
Apr 27 09:55:33 Finished translator                                            1m06s   4GB
Apr 27 09:55:34 Starting compiler/parsing
Apr 27 09:55:36 Finished compiler/parsing                                         1s  84MB
Apr 27 09:55:37 Starting characteristic
Apr 27 09:55:39 Finished characteristic                                           1s 125MB
Apr 27 09:55:40 Starting translator/monadic
Apr 27 09:55:42 Finished translator/monadic                                       1s 107MB
Apr 27 09:55:43 Starting translator/monadic/monad_base
Apr 27 09:55:45 Finished translator/monadic/monad_base                            1s  77MB
Apr 27 09:55:46 Starting profiler
Apr 27 09:56:16 Finished profiler                                                29s   1GB
Apr 27 09:56:17 Starting basis
Apr 27 09:57:54 Finished basis                                                 1m35s   4GB
Apr 27 09:57:54 Starting compiler
Apr 27 09:57:58 Finished compiler                                                 2s 193MB
Apr 27 09:57:59 Starting compiler/inference
Apr 27 09:58:01 Finished compiler/inference                                       1s 103MB
Apr 27 09:58:02 Starting compiler/backend/reg_alloc
Apr 27 09:58:04 Finished compiler/backend/reg_alloc                               1s  82MB
Apr 27 09:58:04 Starting compiler/backend/gc
Apr 27 09:58:07 Finished compiler/backend/gc                                      1s 126MB
Apr 27 09:58:08 Starting compiler/backend
Apr 27 09:58:13 Finished compiler/backend                                         4s 228MB
Apr 27 09:58:14 Starting compiler/encoders/asm
Apr 27 09:58:16 Finished compiler/encoders/asm                                    1s  86MB
Apr 27 09:58:17 Starting compiler/encoders/x64
Apr 27 09:58:19 Finished compiler/encoders/x64                                    1s  97MB
Apr 27 09:58:20 Starting compiler/encoders/arm7
Apr 27 09:58:22 Finished compiler/encoders/arm7                                   1s  88MB
Apr 27 09:58:23 Starting compiler/encoders/arm8
Apr 27 09:58:25 Finished compiler/encoders/arm8                                   1s  91MB
Apr 27 09:58:26 Starting compiler/encoders/arm8_asl
Apr 27 09:58:44 Finished compiler/encoders/arm8_asl                              17s   1GB
Apr 27 09:58:44 Starting compiler/encoders/mips
Apr 27 09:58:46 Finished compiler/encoders/mips                                   1s  95MB
Apr 27 09:58:47 Starting compiler/encoders/riscv
Apr 27 09:58:49 Finished compiler/encoders/riscv                                  1s  93MB
Apr 27 09:58:50 Starting compiler/encoders/ag32
Apr 27 09:58:52 Finished compiler/encoders/ag32                                   1s  93MB
Apr 27 09:58:53 Starting compiler/encoders/tests
Apr 27 09:58:55 Finished compiler/encoders/tests                                  1s 109MB
Apr 27 09:58:56 Starting compiler/encoders/monadic_enc
Apr 27 09:59:21 Finished compiler/encoders/monadic_enc                           23s   1GB
Apr 27 09:59:21 Starting compiler/backend/x64
Apr 27 09:59:24 Finished compiler/backend/x64                                     1s 126MB
Apr 27 09:59:25 Starting compiler/backend/arm7
Apr 27 09:59:27 Finished compiler/backend/arm7                                    1s 126MB
Apr 27 09:59:28 Starting compiler/backend/arm8
Apr 27 09:59:31 Finished compiler/backend/arm8                                    1s 126MB
Apr 27 09:59:31 Starting compiler/backend/mips
Apr 27 09:59:34 Finished compiler/backend/mips                                    1s 126MB
Apr 27 09:59:35 Starting compiler/backend/riscv
Apr 27 09:59:37 Finished compiler/backend/riscv                                   1s 134MB
Apr 27 09:59:38 Starting compiler/backend/ag32
Apr 27 10:00:35 Finished compiler/backend/ag32                                   56s   2GB
Apr 27 10:00:36 Starting compiler/backend/pattern_matching
Apr 27 10:00:38 Finished compiler/backend/pattern_matching                        1s  77MB
Apr 27 10:00:38 Starting compiler/parsing/ocaml
Apr 27 10:02:24 Finished compiler/parsing/ocaml                                1m44s   1GB
Apr 27 10:02:25 Starting compiler/printing
Apr 27 10:03:24 Finished compiler/printing                                       57s   1GB
Apr 27 10:03:25 Starting compiler/parsing/proofs
Apr 27 10:03:27 Finished compiler/parsing/proofs                                  1s  94MB
Apr 27 10:03:27 Starting compiler/inference/proofs
Apr 27 10:03:30 Finished compiler/inference/proofs                                1s 107MB
Apr 27 10:03:31 Starting compiler/backend/semantics
Apr 27 10:06:13 Finished compiler/backend/semantics                            2m41s   3GB
Apr 27 10:06:14 Starting compiler/backend/reg_alloc/proofs
Apr 27 10:06:16 Finished compiler/backend/reg_alloc/proofs                        1s 102MB
Apr 27 10:06:17 Starting compiler/backend/proofs
Apr 27 10:06:58 Finished compiler/backend/proofs                                 40s   2GB
Apr 27 10:06:59 Starting compiler/backend/serialiser
Apr 27 10:07:01 Finished compiler/backend/serialiser                              1s 131MB
Apr 27 10:07:02 Starting compiler/encoders/x64/proofs
Apr 27 10:07:04 Finished compiler/encoders/x64/proofs                             1s  92MB
Apr 27 10:07:05 Starting compiler/encoders/arm7/proofs
Apr 27 10:17:44 Finished compiler/encoders/arm7/proofs                        10m37s  10GB
Apr 27 10:17:45 Starting compiler/encoders/arm8/proofs
Apr 27 10:24:16 Finished compiler/encoders/arm8/proofs                         6m30s   5GB
Apr 27 10:24:17 Starting compiler/encoders/arm8_asl/proofs
Apr 27 10:39:37 Finished compiler/encoders/arm8_asl/proofs                    15m19s   4GB
Apr 27 10:39:38 Starting compiler/encoders/mips/proofs
Apr 27 10:48:34 Finished compiler/encoders/mips/proofs                         8m55s  14GB
Apr 27 10:48:35 Starting compiler/encoders/riscv/proofs
Apr 27 10:56:24 Finished compiler/encoders/riscv/proofs                        7m48s   4GB
Apr 27 10:56:25 Starting compiler/encoders/ag32/proofs
Apr 27 10:58:53 Finished compiler/encoders/ag32/proofs                         2m27s   2GB
Apr 27 10:58:54 Starting compiler/backend/x64/proofs
Apr 27 10:58:57 Finished compiler/backend/x64/proofs                              2s 201MB
Apr 27 10:58:58 Starting compiler/backend/arm7/proofs
Apr 27 10:59:35 Finished compiler/backend/arm7/proofs                            36s   2GB
Apr 27 10:59:36 Starting compiler/backend/arm8/proofs
Apr 27 11:00:14 Finished compiler/backend/arm8/proofs                            37s   2GB
Apr 27 11:00:15 Starting compiler/backend/arm8_asl
Apr 27 11:00:42 Finished compiler/backend/arm8_asl                               26s   2GB
Apr 27 11:00:43 Starting compiler/backend/mips/proofs
Apr 27 11:01:20 Finished compiler/backend/mips/proofs                            35s   2GB
Apr 27 11:01:20 Starting compiler/backend/riscv/proofs
Apr 27 11:01:59 Finished compiler/backend/riscv/proofs                           37s   2GB
Apr 27 11:02:00 Starting compiler/backend/ag32/proofs
Apr 27 11:09:43 Finished compiler/backend/ag32/proofs                          7m41s   5GB
Apr 27 11:09:44 Starting compiler/backend/cv_compute
Apr 27 11:10:14 Finished compiler/backend/cv_compute                             29s   1GB
Apr 27 11:10:15 Starting cv_translator
Apr 27 11:15:02 Finished cv_translator                                         4m45s   4GB
Apr 27 11:15:03 Starting candle
Apr 27 11:15:04 Finished candle                                                   0s   6MB
Apr 27 11:15:04 Starting candle/set-theory
Apr 27 11:15:37 Finished candle/set-theory                                       31s 943MB
Apr 27 11:15:37 Starting candle/syntax-lib
Apr 27 11:15:39 Finished candle/syntax-lib                                        0s  71MB
Apr 27 11:15:40 Starting candle/standard
Apr 27 11:15:41 Finished candle/standard                                          0s   6MB
Apr 27 11:15:42 Starting candle/standard/syntax
Apr 27 11:15:56 Finished candle/standard/syntax                                  13s 785MB
Apr 27 11:15:57 Starting candle/standard/semantics
Apr 27 11:18:08 Finished candle/standard/semantics                             2m09s   2GB
Apr 27 11:18:08 Starting candle/standard/monadic
Apr 27 11:18:11 Finished candle/standard/monadic                                  1s 112MB
Apr 27 11:18:11 Starting candle/standard/ml_kernel
Apr 27 11:20:30 Finished candle/standard/ml_kernel                             2m17s   3GB
Apr 27 11:20:31 Starting candle/overloading
Apr 27 11:20:32 Finished candle/overloading                                       0s   6MB
Apr 27 11:20:32 Starting candle/overloading/syntax
Apr 27 11:23:31 Finished candle/overloading/syntax                             2m58s   2GB
Apr 27 11:23:32 Starting candle/overloading/semantics
Apr 27 11:32:04 Finished candle/overloading/semantics                          8m31s   4GB
Apr 27 11:32:05 Starting candle/overloading/monadic
Apr 27 11:34:01 Finished candle/overloading/monadic                            1m55s   1GB
Apr 27 11:34:02 Starting candle/overloading/ml_kernel
Apr 27 11:40:15 Finished candle/overloading/ml_kernel                          6m12s   6GB
Apr 27 11:40:16 Starting candle/overloading/ml_checker
Apr 27 11:42:40 Finished candle/overloading/ml_checker                         2m23s   6GB
Apr 27 11:42:41 Starting candle/prover
Apr 27 11:42:44 Finished candle/prover                                            2s 174MB
Apr 27 11:42:45 Starting candle/prover/compute
Apr 27 11:42:48 Finished candle/prover/compute                                    1s 150MB
Apr 27 11:42:49 Starting pancake
Apr 27 11:42:51 Finished pancake                                                  1s 127MB
Apr 27 11:42:52 Starting pancake/semantics
Apr 27 11:45:31 Finished pancake/semantics                                     2m37s   2GB
Apr 27 11:45:31 Starting pancake/parser
Apr 27 11:46:01 Finished pancake/parser                                          29s 513MB
Apr 27 11:46:02 Starting pancake/static_checker
Apr 27 11:47:11 Finished pancake/static_checker                                1m07s   1GB
Apr 27 11:47:12 Starting pancake/proofs
Apr 27 12:02:40 Finished pancake/proofs                                       15m27s   6GB
Apr 27 12:02:41 Starting compiler/dafny
Apr 27 12:03:05 Finished compiler/dafny                                          23s 731MB
Apr 27 12:03:06 Starting compiler/dafny/translation
Apr 27 12:12:32 Finished compiler/dafny/translation                            9m25s   7GB
Apr 27 12:12:33 Starting compiler/dafny/compilation
Apr 27 12:14:17 Finished compiler/dafny/compilation                            1m43s   6GB
Apr 27 12:14:18 Starting compiler/dafny/semantics
Apr 27 12:14:55 Finished compiler/dafny/semantics                                36s 556MB
Apr 27 12:14:56 Starting compiler/dafny/proofs
Apr 27 12:16:20 Finished compiler/dafny/proofs                                 1m23s   1GB
Apr 27 12:16:21 Starting compiler/dafny/vcg
Apr 27 12:16:23 Finished compiler/dafny/vcg                                       1s  95MB
Apr 27 12:16:24 Starting compiler/dafny/vcg/examples
Apr 27 12:16:50 Finished compiler/dafny/vcg/examples                             24s   1GB
Apr 27 12:16:50 Starting compiler/scheme
Apr 27 12:17:17 Finished compiler/scheme                                         25s   1GB
Apr 27 12:17:18 Starting compiler/scheme/translation
Apr 27 12:23:11 Finished compiler/scheme/translation                           5m52s   7GB
Apr 27 12:23:12 Starting compiler/scheme/compilation
Apr 27 12:24:33 Finished compiler/scheme/compilation                           1m20s   4GB
Apr 27 12:24:34 Starting compiler/scheme/proofs
Apr 27 12:29:58 Finished compiler/scheme/proofs                                5m23s   3GB
Apr 27 12:29:59 Starting characteristic/examples
Apr 27 12:31:22 Finished characteristic/examples                               1m21s   5GB
Apr 27 12:31:23 Starting tutorial/solutions
Apr 27 12:33:56 Finished tutorial/solutions                                    2m33s   3GB
Apr 27 12:33:57 Starting translator/monadic/examples
Apr 27 12:36:50 Finished translator/monadic/examples                           2m51s   4GB
Apr 27 12:36:51 Starting examples
Apr 27 12:41:06 Finished examples                                              4m14s   5GB
Apr 27 12:41:07 Starting examples/compilation
Apr 27 12:41:08 Finished examples/compilation                                     0s   6MB
Apr 27 12:41:09 Starting examples/compilation/x64
Apr 27 12:48:21 Finished examples/compilation/x64                              7m10s   4GB
Apr 27 12:48:21 Starting examples/compilation/x64/proofs
Apr 27 12:51:26 Finished examples/compilation/x64/proofs                       3m03s   4GB
Apr 27 12:51:27 Starting examples/compilation/ag32
Apr 27 12:53:43 Finished examples/compilation/ag32                             2m14s   3GB
Apr 27 12:53:43 Starting examples/compilation/ag32/proofs
Apr 27 12:54:57 Finished examples/compilation/ag32/proofs                      1m13s   4GB
Apr 27 12:54:58 Starting examples/lpr_checker
Apr 27 12:55:34 Finished examples/lpr_checker                                    35s   1GB
Apr 27 12:55:35 Starting examples/lpr_checker/array
Apr 27 13:06:47 Finished examples/lpr_checker/array                           11m11s   8GB
Apr 27 13:06:48 Starting examples/lpr_checker/array/compilation
Apr 27 13:10:18 Finished examples/lpr_checker/array/compilation                3m29s   5GB
Apr 27 13:10:19 Starting examples/lpr_checker/array/compilation/proofs
Apr 27 13:11:40 Finished examples/lpr_checker/array/compilation/proofs         1m19s   5GB
Apr 27 13:11:41 Starting examples/lpr_checker/array/compilation/proofsARM8
Apr 27 13:13:00 Finished examples/lpr_checker/array/compilation/proofsARM8     1m18s   5GB
Apr 27 13:13:01 Starting .
Apr 27 13:13:05 Finished .                                                        3s 315MB
Apr 27 13:13:06 Starting examples/xlrup_checker
Apr 27 13:13:59 Finished examples/xlrup_checker                                  51s   1GB
Apr 27 13:13:59 Starting examples/xlrup_checker/array
Apr 27 13:22:09 Finished examples/xlrup_checker/array                          8m08s   5GB
Apr 27 13:22:09 Starting examples/xlrup_checker/array/compilation
Apr 27 13:23:29 Finished examples/xlrup_checker/array/compilation              1m18s   4GB
Apr 27 13:23:30 Starting examples/xlrup_checker/array/compilation/proofs
Apr 27 13:24:42 Finished examples/xlrup_checker/array/compilation/proofs       1m11s   4GB
Apr 27 13:24:43 Starting examples/scpog_checker
Apr 27 13:25:31 Finished examples/scpog_checker                                  46s   2GB
Apr 27 13:25:32 Starting examples/scpog_checker/array
Apr 27 13:30:44 Finished examples/scpog_checker/array                          5m10s   4GB
Apr 27 13:30:45 Starting examples/scpog_checker/array/compilation
Apr 27 13:32:45 Finished examples/scpog_checker/array/compilation              1m59s   7GB
Apr 27 13:32:46 Starting examples/scpog_checker/array/compilation/proofs
Apr 27 13:34:06 Finished examples/scpog_checker/array/compilation/proofs       1m19s   6GB
Apr 27 13:34:07 Starting examples/pseudo_bool
Apr 27 13:36:18 Finished examples/pseudo_bool                                  2m10s   2GB
Apr 27 13:36:19 Starting examples/pseudo_bool/cnf_encoding
Apr 27 13:36:53 Finished examples/pseudo_bool/cnf_encoding                       33s 987MB
Apr 27 13:36:54 Starting examples/pseudo_bool/graph_encoding
Apr 27 13:37:41 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
Apr 27 13:37:42 Starting examples/pseudo_bool/array
Apr 27 14:15:18 Finished examples/pseudo_bool/array                           37m35s  31GB
Apr 27 14:15:19 Starting examples/pseudo_bool/array/compilation
Apr 27 14:32:38 Finished examples/pseudo_bool/array/compilation               17m18s  18GB
Apr 27 14:32:39 Starting examples/pseudo_bool/array/compilation/proofs
Apr 27 14:37:37 Finished examples/pseudo_bool/array/compilation/proofs         4m57s   7GB
Apr 27 14:37:38 Starting examples/pseudo_bool/array/compilation/proofsARM8
Apr 27 14:39:13 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m34s   7GB
Apr 27 14:39:14 Starting examples/opentheory
Apr 27 14:46:00 Finished examples/opentheory                                   6m45s   5GB
Apr 27 14:46:01 Starting examples/opentheory/compilation
Apr 27 14:47:41 Finished examples/opentheory/compilation                       1m38s   5GB
Apr 27 14:47:41 Starting examples/opentheory/compilation/proofs
Apr 27 14:48:59 Finished examples/opentheory/compilation/proofs                1m16s   4GB
Apr 27 14:49:00 Starting examples/opentheory/compilation/ag32
Apr 27 14:50:42 Finished examples/opentheory/compilation/ag32                  1m41s   6GB
Apr 27 14:50:43 Starting examples/opentheory/compilation/ag32/proofs
Apr 27 14:52:11 Finished examples/opentheory/compilation/ag32/proofs           1m26s   7GB
Apr 27 14:52:12 Starting examples/sat_encodings
Apr 27 14:53:17 Finished examples/sat_encodings                                1m04s 766MB
Apr 27 14:53:18 Starting examples/sat_encodings/demo
Apr 27 14:53:19 Finished examples/sat_encodings/demo                              0s   6MB
Apr 27 14:53:20 Starting examples/sat_encodings/case_studies
Apr 27 14:55:06 Finished examples/sat_encodings/case_studies                   1m45s   1GB
Apr 27 14:55:07 Starting examples/sat_encodings/translation
Apr 27 14:58:24 Finished examples/sat_encodings/translation                    3m15s   3GB
Apr 27 14:58:25 Starting examples/sat_encodings/translation/compilation
Apr 27 15:00:26 Finished examples/sat_encodings/translation/compilation        1m59s   4GB
Apr 27 15:00:27 Starting examples/deflate
Apr 27 15:00:49 Finished examples/deflate                                        21s 432MB
Apr 27 15:00:50 Starting examples/deflate/translation
Apr 27 15:01:47 Finished examples/deflate/translation                            55s   3GB
Apr 27 15:01:47 Starting examples/deflate/translation/compilation
Apr 27 15:02:41 Finished examples/deflate/translation/compilation                52s   3GB
Apr 27 15:02:42 Starting examples/vipr
Apr 27 15:05:46 Finished examples/vipr                                         3m03s   5GB
Apr 27 15:05:47 Starting examples/vipr/compilation
Apr 27 15:06:53 Finished examples/vipr/compilation                             1m05s   4GB
Apr 27 15:06:54 Starting examples/template
Apr 27 15:06:57 Finished examples/template                                        2s 158MB
Apr 27 15:06:58 Starting examples/template/translation
Apr 27 15:07:18 Finished examples/template/translation                           19s 936MB
Apr 27 15:07:19 Starting examples/template/compilation
Apr 27 15:08:22 Finished examples/template/compilation                         1m02s   4GB
Apr 27 15:08:23 Starting translator/okasaki-examples
Apr 27 15:11:28 Finished translator/okasaki-examples                           3m03s   2GB
Apr 27 15:11:29 Starting translator/other-examples
Apr 27 15:12:25 Finished translator/other-examples                               55s   2GB
Apr 27 15:12:26 Starting translator/other-examples/auxiliary
Apr 27 15:12:27 Finished translator/other-examples/auxiliary                      0s  11MB
Apr 27 15:12:28 Starting compiler/parsing/tests
Apr 27 15:13:07 Finished compiler/parsing/tests                                  38s   1GB
Apr 27 15:13:08 Starting compiler/inference/tests
Apr 27 15:13:51 Finished compiler/inference/tests                                42s   2GB
Apr 27 15:13:52 Starting compiler/printing/test
Apr 27 15:16:49 Finished compiler/printing/test                                2m55s  15GB
Apr 27 15:16:49 Starting compiler/repl
Apr 27 15:16:53 Finished compiler/repl                                            2s 244MB
Apr 27 15:16:54 Starting compiler/benchmarks
Apr 27 15:17:48 Finished compiler/benchmarks                                     52s 746MB
Apr 27 15:17:48 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Apr 27 15:17:52 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 268MB
Apr 27 15:17:53 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Apr 27 15:17:57 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 247MB
Apr 27 15:17:58 Starting compiler/bootstrap/translation
Apr 27 17:09:35 Finished compiler/bootstrap/translation                     1h51m35s  80GB
Apr 27 17:09:36 Starting compiler/bootstrap/compilation/x64/64
Apr 27 17:12:58 Finished compiler/bootstrap/compilation/x64/64                 3m22s  16GB
Apr 27 17:12:59 Starting compiler/bootstrap/compilation/x64/32
Apr 27 17:40:20 Finished compiler/bootstrap/compilation/x64/32                27m19s  68GB
Apr 27 17:40:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 27 17:45:43 Finished compiler/bootstrap/compilation/x64/32/proofs          5m20s  24GB
Apr 27 17:45:44 Starting compiler/bootstrap/compilation/arm8/64
Apr 27 18:29:10 Finished compiler/bootstrap/compilation/arm8/64               43m25s  99GB
Apr 27 18:29:11 Starting compiler/bootstrap/compilation/arm8/64/proofs
Apr 27 18:35:38 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m26s  30GB
Apr 27 18:35:39 Starting compiler/bootstrap/compilation/ag32/32
Apr 27 19:03:31 Finished compiler/bootstrap/compilation/ag32/32               27m50s  66GB
Apr 27 19:03:31 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 27 19:09:12 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m39s  31GB
Apr 27 19:09:13 Starting unverified/sexpr-bootstrap/x64/64
Apr 27 19:13:48 Finished unverified/sexpr-bootstrap/x64/64                     4m34s  19GB
Apr 27 19:13:49 Starting unverified/sexpr-bootstrap/x64/32
Apr 27 19:17:54 Finished unverified/sexpr-bootstrap/x64/32                     4m04s  16GB
Apr 27 19:17:55 SUCCESS