Job 3304

CakeML:f46cb7a02ef250d89bbcdfde119a8095616c6c4f
  remove List.rev for HOLSet addition [Apr 21 06:41:37]
HOL:77fad203c275899bfee21faf6d2d3a66e749d7e1
  patch no_sig_docs for asl-equiv [Apr 21 06:34:06]
Machine:lammmington
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Apr 21 17:34:32 Claimed job
Apr 21 17:34:38 Building HOL
Apr 21 17:47:07 Starting developers
Apr 21 17:47:12 Finished developers                                               4s 215MB
Apr 21 17:47:13 Starting developers/bin
Apr 21 17:47:16 Finished developers/bin                                           2s  90MB
Apr 21 17:47:17 Starting misc
Apr 21 17:48:13 Finished misc                                                    54s   1GB
Apr 21 17:48:14 Starting compiler/proofs
Apr 21 18:49:50 Finished compiler/proofs                                    1h01m35s  10GB
Apr 21 18:49:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 22 00:39:49 Finished compiler/bootstrap/compilation/x64/64/proofs       5h49m56s  86GB
Apr 22 00:39:49 Starting semantics/ffi
Apr 22 00:40:01 Finished semantics/ffi                                           10s 565MB
Apr 22 00:40:02 Starting semantics
Apr 22 00:40:04 Finished semantics                                                1s  81MB
Apr 22 00:40:05 Starting semantics/proofs
Apr 22 00:40:27 Finished semantics/proofs                                        21s   1GB
Apr 22 00:40:28 Starting semantics/alt_semantics
Apr 22 00:40:45 Finished semantics/alt_semantics                                 15s 540MB
Apr 22 00:40:46 Starting semantics/alt_semantics/proofs
Apr 22 00:44:07 Finished semantics/alt_semantics/proofs                        3m20s   2GB
Apr 22 00:44:08 Starting basis/pure
Apr 22 00:44:09 Finished basis/pure                                               0s  75MB
Apr 22 00:44:10 Starting translator
Apr 22 00:45:13 Finished translator                                            1m02s   4GB
Apr 22 00:45:15 Starting compiler/parsing
Apr 22 00:45:17 Finished compiler/parsing                                         1s  81MB
Apr 22 00:45:18 Starting characteristic
Apr 22 00:45:20 Finished characteristic                                           1s 110MB
Apr 22 00:45:21 Starting translator/monadic
Apr 22 00:45:23 Finished translator/monadic                                       1s 109MB
Apr 22 00:45:24 Starting translator/monadic/monad_base
Apr 22 00:45:26 Finished translator/monadic/monad_base                            0s  77MB
Apr 22 00:45:26 Starting profiler
Apr 22 00:45:57 Finished profiler                                                30s   1GB
Apr 22 00:45:58 Starting basis
Apr 22 00:47:35 Finished basis                                                 1m35s   4GB
Apr 22 00:47:35 Starting compiler
Apr 22 00:47:39 Finished compiler                                                 2s 205MB
Apr 22 00:47:39 Starting compiler/inference
Apr 22 00:47:42 Finished compiler/inference                                       1s  98MB
Apr 22 00:47:42 Starting compiler/backend/reg_alloc
Apr 22 00:47:44 Finished compiler/backend/reg_alloc                               1s  85MB
Apr 22 00:47:45 Starting compiler/backend/gc
Apr 22 00:47:48 Finished compiler/backend/gc                                      1s 126MB
Apr 22 00:47:49 Starting compiler/backend
Apr 22 00:47:54 Finished compiler/backend                                         4s 246MB
Apr 22 00:47:55 Starting compiler/encoders/asm
Apr 22 00:47:57 Finished compiler/encoders/asm                                    1s  86MB
Apr 22 00:47:58 Starting compiler/encoders/x64
Apr 22 00:48:00 Finished compiler/encoders/x64                                    1s  87MB
Apr 22 00:48:01 Starting compiler/encoders/arm7
Apr 22 00:48:03 Finished compiler/encoders/arm7                                   1s  97MB
Apr 22 00:48:04 Starting compiler/encoders/arm8
Apr 22 00:48:06 Finished compiler/encoders/arm8                                   1s  87MB
Apr 22 00:48:06 Starting compiler/encoders/arm8_asl
Apr 22 03:02:29 Finished compiler/encoders/arm8_asl                         2h14m22s  39GB
Apr 22 03:02:30 Starting compiler/encoders/mips
Apr 22 03:02:32 Finished compiler/encoders/mips                                   1s  90MB
Apr 22 03:02:33 Starting compiler/encoders/riscv
Apr 22 03:02:35 Finished compiler/encoders/riscv                                  1s  90MB
Apr 22 03:02:36 Starting compiler/encoders/ag32
Apr 22 03:02:38 Finished compiler/encoders/ag32                                   1s  89MB
Apr 22 03:02:39 Starting compiler/encoders/tests
Apr 22 03:02:41 Finished compiler/encoders/tests                                  1s 125MB
Apr 22 03:02:42 Starting compiler/encoders/monadic_enc
Apr 22 03:03:06 Finished compiler/encoders/monadic_enc                           23s   1GB
Apr 22 03:03:07 Starting compiler/backend/x64
Apr 22 03:03:09 Finished compiler/backend/x64                                     1s 128MB
Apr 22 03:03:10 Starting compiler/backend/arm7
Apr 22 03:03:13 Finished compiler/backend/arm7                                    1s 137MB
Apr 22 03:03:14 Starting compiler/backend/arm8
Apr 22 03:03:16 Finished compiler/backend/arm8                                    1s 130MB
Apr 22 03:03:17 Starting compiler/backend/mips
Apr 22 03:03:19 Finished compiler/backend/mips                                    1s 127MB
Apr 22 03:03:20 Starting compiler/backend/riscv
Apr 22 03:03:22 Finished compiler/backend/riscv                                   1s 126MB
Apr 22 03:03:23 Starting compiler/backend/ag32
Apr 22 03:04:20 Finished compiler/backend/ag32                                   55s   2GB
Apr 22 03:04:21 Starting compiler/backend/pattern_matching
Apr 22 03:04:23 Finished compiler/backend/pattern_matching                        1s  77MB
Apr 22 03:04:23 Starting compiler/parsing/ocaml
Apr 22 03:06:19 Finished compiler/parsing/ocaml                                1m54s   1GB
Apr 22 03:06:19 Starting compiler/printing
Apr 22 03:07:18 Finished compiler/printing                                       57s   1GB
Apr 22 03:07:19 Starting compiler/parsing/proofs
Apr 22 03:07:21 Finished compiler/parsing/proofs                                  1s  94MB
Apr 22 03:07:21 Starting compiler/inference/proofs
Apr 22 03:07:24 Finished compiler/inference/proofs                                1s 101MB
Apr 22 03:07:25 Starting compiler/backend/semantics
Apr 22 03:10:04 Finished compiler/backend/semantics                            2m39s   4GB
Apr 22 03:10:05 Starting compiler/backend/reg_alloc/proofs
Apr 22 03:10:08 Finished compiler/backend/reg_alloc/proofs                        1s 111MB
Apr 22 03:10:08 Starting compiler/backend/proofs
Apr 22 03:10:48 Finished compiler/backend/proofs                                 38s   2GB
Apr 22 03:10:49 Starting compiler/backend/serialiser
Apr 22 03:10:51 Finished compiler/backend/serialiser                              1s 135MB
Apr 22 03:10:52 Starting compiler/encoders/x64/proofs
Apr 22 03:10:54 Finished compiler/encoders/x64/proofs                             1s  92MB
Apr 22 03:10:55 Starting compiler/encoders/arm7/proofs
Apr 22 03:21:24 Finished compiler/encoders/arm7/proofs                        10m28s  11GB
Apr 22 03:21:25 Starting compiler/encoders/arm8/proofs
Apr 22 03:27:56 Finished compiler/encoders/arm8/proofs                         6m29s   4GB
Apr 22 03:27:56 Starting compiler/encoders/arm8_asl/proofs
Apr 22 04:15:13 Finished compiler/encoders/arm8_asl/proofs                    47m15s   7GB
Apr 22 04:15:14 Starting compiler/encoders/mips/proofs
Apr 22 04:24:19 Finished compiler/encoders/mips/proofs                         9m04s  16GB
Apr 22 04:24:20 Starting compiler/encoders/riscv/proofs
Apr 22 04:32:10 Finished compiler/encoders/riscv/proofs                        7m48s   4GB
Apr 22 04:32:11 Starting compiler/encoders/ag32/proofs
Apr 22 04:34:43 Finished compiler/encoders/ag32/proofs                         2m30s   2GB
Apr 22 04:34:44 Starting compiler/backend/x64/proofs
Apr 22 04:34:47 Finished compiler/backend/x64/proofs                              2s 196MB
Apr 22 04:34:48 Starting compiler/backend/arm7/proofs
Apr 22 04:35:24 Finished compiler/backend/arm7/proofs                            35s   2GB
Apr 22 04:35:25 Starting compiler/backend/arm8/proofs
Apr 22 04:36:01 Finished compiler/backend/arm8/proofs                            34s   2GB
Apr 22 04:36:02 Starting compiler/backend/arm8_asl
Apr 22 04:36:32 Finished compiler/backend/arm8_asl                               29s   2GB
Apr 22 04:36:33 Starting compiler/backend/mips/proofs
Apr 22 04:37:09 Finished compiler/backend/mips/proofs                            35s   1GB
Apr 22 04:37:10 Starting compiler/backend/riscv/proofs
Apr 22 04:37:49 Finished compiler/backend/riscv/proofs                           38s   2GB
Apr 22 04:37:50 Starting compiler/backend/ag32/proofs
Apr 22 04:46:02 Finished compiler/backend/ag32/proofs                          8m11s   5GB
Apr 22 04:46:03 Starting compiler/backend/cv_compute
Apr 22 04:46:33 Finished compiler/backend/cv_compute                             29s   1GB
Apr 22 04:46:34 Starting cv_translator
Apr 22 04:51:23 Finished cv_translator                                         4m48s   4GB
Apr 22 04:51:24 Starting candle
Apr 22 04:51:25 Finished candle                                                   0s   6MB
Apr 22 04:51:25 Starting candle/set-theory
Apr 22 04:51:58 Finished candle/set-theory                                       31s 944MB
Apr 22 04:51:58 Starting candle/syntax-lib
Apr 22 04:52:00 Finished candle/syntax-lib                                        0s  73MB
Apr 22 04:52:01 Starting candle/standard
Apr 22 04:52:02 Finished candle/standard                                          0s   6MB
Apr 22 04:52:03 Starting candle/standard/syntax
Apr 22 04:52:17 Finished candle/standard/syntax                                  13s 785MB
Apr 22 04:52:18 Starting candle/standard/semantics
Apr 22 04:54:30 Finished candle/standard/semantics                             2m11s   2GB
Apr 22 04:54:31 Starting candle/standard/monadic
Apr 22 04:54:33 Finished candle/standard/monadic                                  1s 111MB
Apr 22 04:54:34 Starting candle/standard/ml_kernel
Apr 22 04:56:29 Finished candle/standard/ml_kernel                             1m53s   4GB
Apr 22 04:56:30 Starting candle/overloading
Apr 22 04:56:30 Finished candle/overloading                                       0s   6MB
Apr 22 04:56:31 Starting candle/overloading/syntax
Apr 22 04:59:27 Finished candle/overloading/syntax                             2m54s   2GB
Apr 22 04:59:28 Starting candle/overloading/semantics
Apr 22 05:08:04 Finished candle/overloading/semantics                          8m34s   8GB
Apr 22 05:08:05 Starting candle/overloading/monadic
Apr 22 05:09:55 Finished candle/overloading/monadic                            1m49s   2GB
Apr 22 05:09:56 Starting candle/overloading/ml_kernel
Apr 22 05:16:04 Finished candle/overloading/ml_kernel                          6m06s   7GB
Apr 22 05:16:05 Starting candle/overloading/ml_checker
Apr 22 05:18:33 Finished candle/overloading/ml_checker                         2m27s   6GB
Apr 22 05:18:34 Starting candle/prover
Apr 22 05:18:37 Finished candle/prover                                            2s 154MB
Apr 22 05:18:38 Starting candle/prover/compute
Apr 22 05:18:41 Finished candle/prover/compute                                    1s 154MB
Apr 22 05:18:42 Starting pancake
Apr 22 05:18:44 Finished pancake                                                  1s 127MB
Apr 22 05:18:45 Starting pancake/semantics
Apr 22 05:21:23 Finished pancake/semantics                                     2m37s   2GB
Apr 22 05:21:24 Starting pancake/parser
Apr 22 05:21:54 Finished pancake/parser                                          29s 727MB
Apr 22 05:21:55 Starting pancake/static_checker
Apr 22 05:23:03 Finished pancake/static_checker                                1m07s   1GB
Apr 22 05:23:04 Starting pancake/proofs
Apr 22 05:38:22 Finished pancake/proofs                                       15m16s   7GB
Apr 22 05:38:23 Starting compiler/dafny
Apr 22 05:38:47 Finished compiler/dafny                                          23s 714MB
Apr 22 05:38:48 Starting compiler/dafny/translation
Apr 22 05:48:21 Finished compiler/dafny/translation                            9m31s   7GB
Apr 22 05:48:22 Starting compiler/dafny/compilation
Apr 22 05:50:07 Finished compiler/dafny/compilation                            1m43s   6GB
Apr 22 05:50:08 Starting compiler/dafny/semantics
Apr 22 05:50:45 Finished compiler/dafny/semantics                                36s 554MB
Apr 22 05:50:46 Starting compiler/dafny/proofs
Apr 22 05:52:11 Finished compiler/dafny/proofs                                 1m24s   2GB
Apr 22 05:52:12 Starting compiler/dafny/vcg
Apr 22 05:52:14 Finished compiler/dafny/vcg                                       1s  91MB
Apr 22 05:52:15 Starting compiler/dafny/vcg/examples
Apr 22 05:52:40 Finished compiler/dafny/vcg/examples                             24s   1GB
Apr 22 05:52:41 Starting compiler/scheme
Apr 22 05:53:07 Finished compiler/scheme                                         25s   1GB
Apr 22 05:53:08 Starting compiler/scheme/translation
Apr 22 05:59:10 Finished compiler/scheme/translation                           6m00s   6GB
Apr 22 05:59:11 Starting compiler/scheme/compilation
Apr 22 06:00:32 Finished compiler/scheme/compilation                           1m20s   4GB
Apr 22 06:00:33 Starting compiler/scheme/proofs
Apr 22 06:06:00 Finished compiler/scheme/proofs                                5m26s   3GB
Apr 22 06:06:01 Starting characteristic/examples
Apr 22 06:07:25 Finished characteristic/examples                               1m23s   5GB
Apr 22 06:07:26 Starting tutorial/solutions
Apr 22 06:10:09 Finished tutorial/solutions                                    2m41s   7GB
Apr 22 06:10:10 Starting translator/monadic/examples
Apr 22 06:13:10 Finished translator/monadic/examples                           2m59s   3GB
Apr 22 06:13:11 Starting examples
Apr 22 06:17:33 Finished examples                                              4m20s   6GB
Apr 22 06:17:34 Starting examples/compilation
Apr 22 06:17:35 Finished examples/compilation                                     0s   6MB
Apr 22 06:17:36 Starting examples/compilation/x64
Apr 22 06:24:49 Finished examples/compilation/x64                              7m12s   4GB
Apr 22 06:24:50 Starting examples/compilation/x64/proofs
Apr 22 06:27:58 Finished examples/compilation/x64/proofs                       3m07s   4GB
Apr 22 06:27:59 Starting examples/compilation/ag32
Apr 22 06:30:13 Finished examples/compilation/ag32                             2m13s   3GB
Apr 22 06:30:14 Starting examples/compilation/ag32/proofs
Apr 22 06:31:26 Finished examples/compilation/ag32/proofs                      1m11s   4GB
Apr 22 06:31:27 Starting examples/lpr_checker
Apr 22 06:32:04 Finished examples/lpr_checker                                    35s   1GB
Apr 22 06:32:05 Starting examples/lpr_checker/array
Apr 22 06:43:33 Finished examples/lpr_checker/array                           11m26s   9GB
Apr 22 06:43:34 Starting examples/lpr_checker/array/compilation
Apr 22 06:47:10 Finished examples/lpr_checker/array/compilation                3m35s   6GB
Apr 22 06:47:11 Starting examples/lpr_checker/array/compilation/proofs
Apr 22 06:48:31 Finished examples/lpr_checker/array/compilation/proofs         1m19s   5GB
Apr 22 06:48:32 Starting examples/lpr_checker/array/compilation/proofsARM8
Apr 22 06:49:52 Finished examples/lpr_checker/array/compilation/proofsARM8     1m19s   6GB
Apr 22 06:49:53 Starting .
Apr 22 06:49:57 Finished .                                                        3s 324MB
Apr 22 06:49:58 Starting examples/xlrup_checker
Apr 22 06:50:51 Finished examples/xlrup_checker                                  52s   1GB
Apr 22 06:50:52 Starting examples/xlrup_checker/array
Apr 22 06:59:07 Finished examples/xlrup_checker/array                          8m14s   6GB
Apr 22 06:59:08 Starting examples/xlrup_checker/array/compilation
Apr 22 07:00:27 Finished examples/xlrup_checker/array/compilation              1m17s   4GB
Apr 22 07:00:28 Starting examples/xlrup_checker/array/compilation/proofs
Apr 22 07:01:43 Finished examples/xlrup_checker/array/compilation/proofs       1m13s   5GB
Apr 22 07:01:43 Starting examples/scpog_checker
Apr 22 07:02:31 Finished examples/scpog_checker                                  47s   2GB
Apr 22 07:02:32 Starting examples/scpog_checker/array
Apr 22 07:07:42 Finished examples/scpog_checker/array                          5m07s   4GB
Apr 22 07:07:43 Starting examples/scpog_checker/array/compilation
Apr 22 07:09:43 Finished examples/scpog_checker/array/compilation              1m59s   7GB
Apr 22 07:09:44 Starting examples/scpog_checker/array/compilation/proofs
Apr 22 07:11:06 Finished examples/scpog_checker/array/compilation/proofs       1m21s   5GB
Apr 22 07:11:07 Starting examples/pseudo_bool
Apr 22 07:13:15 Finished examples/pseudo_bool                                  2m06s   2GB
Apr 22 07:13:15 Starting examples/pseudo_bool/cnf_encoding
Apr 22 07:13:50 Finished examples/pseudo_bool/cnf_encoding                       33s 989MB
Apr 22 07:13:51 Starting examples/pseudo_bool/graph_encoding
Apr 22 07:14:33 Finished examples/pseudo_bool/graph_encoding                     40s   1GB
Apr 22 07:14:33 Starting examples/pseudo_bool/array
Apr 22 07:53:42 Finished examples/pseudo_bool/array                           39m06s  32GB
Apr 22 07:53:43 Starting examples/pseudo_bool/array/compilation
Apr 22 08:10:31 Finished examples/pseudo_bool/array/compilation               16m47s  19GB
Apr 22 08:10:33 Starting examples/pseudo_bool/array/compilation/proofs
Apr 22 08:15:20 Finished examples/pseudo_bool/array/compilation/proofs         4m46s   7GB
Apr 22 08:15:21 Starting examples/pseudo_bool/array/compilation/proofsARM8
Apr 22 08:17:05 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m42s   6GB
Apr 22 08:17:06 Starting examples/opentheory
Apr 22 08:23:49 Finished examples/opentheory                                   6m42s   5GB
Apr 22 08:23:49 Starting examples/opentheory/compilation
Apr 22 08:25:27 Finished examples/opentheory/compilation                       1m36s   6GB
Apr 22 08:25:28 Starting examples/opentheory/compilation/proofs
Apr 22 08:26:42 Finished examples/opentheory/compilation/proofs                1m12s   4GB
Apr 22 08:26:42 Starting examples/opentheory/compilation/ag32
Apr 22 08:28:24 Finished examples/opentheory/compilation/ag32                  1m40s   6GB
Apr 22 08:28:25 Starting examples/opentheory/compilation/ag32/proofs
Apr 22 08:29:56 Finished examples/opentheory/compilation/ag32/proofs           1m30s   7GB
Apr 22 08:29:56 Starting examples/sat_encodings
Apr 22 08:31:03 Finished examples/sat_encodings                                1m05s 786MB
Apr 22 08:31:03 Starting examples/sat_encodings/demo
Apr 22 08:31:04 Finished examples/sat_encodings/demo                              0s   5MB
Apr 22 08:31:05 Starting examples/sat_encodings/case_studies
Apr 22 08:32:51 Finished examples/sat_encodings/case_studies                   1m44s   1GB
Apr 22 08:32:51 Starting examples/sat_encodings/translation
Apr 22 08:36:09 Finished examples/sat_encodings/translation                    3m17s   2GB
Apr 22 08:36:10 Starting examples/sat_encodings/translation/compilation
Apr 22 08:38:15 Finished examples/sat_encodings/translation/compilation        2m03s   4GB
Apr 22 08:38:16 Starting examples/deflate
Apr 22 08:38:38 Finished examples/deflate                                        21s 441MB
Apr 22 08:38:39 Starting examples/deflate/translation
Apr 22 08:39:32 Finished examples/deflate/translation                            52s   3GB
Apr 22 08:39:33 Starting examples/deflate/translation/compilation
Apr 22 08:40:34 Finished examples/deflate/translation/compilation                59s   3GB
Apr 22 08:40:34 Starting examples/vipr
Apr 22 08:43:36 Finished examples/vipr                                         3m00s   5GB
Apr 22 08:43:37 Starting examples/vipr/compilation
Apr 22 08:44:38 Finished examples/vipr/compilation                             1m00s   4GB
Apr 22 08:44:39 Starting examples/template
Apr 22 08:44:42 Finished examples/template                                        2s 154MB
Apr 22 08:44:43 Starting examples/template/translation
Apr 22 08:45:02 Finished examples/template/translation                           18s 899MB
Apr 22 08:45:03 Starting examples/template/compilation
Apr 22 08:46:06 Finished examples/template/compilation                         1m02s   4GB
Apr 22 08:46:07 Starting translator/okasaki-examples
Apr 22 08:49:12 Finished translator/okasaki-examples                           3m04s   3GB
Apr 22 08:49:13 Starting translator/other-examples
Apr 22 08:51:53 Finished translator/other-examples                             2m38s   2GB
Apr 22 08:51:54 Starting translator/other-examples/auxiliary
Apr 22 08:51:55 Finished translator/other-examples/auxiliary                      0s  10MB
Apr 22 08:51:56 Starting compiler/parsing/tests
Apr 22 08:52:35 Finished compiler/parsing/tests                                  38s   1GB
Apr 22 08:52:36 Starting compiler/inference/tests
Apr 22 08:53:21 Finished compiler/inference/tests                                44s   2GB
Apr 22 08:53:22 Starting compiler/printing/test
Apr 22 08:56:13 Finished compiler/printing/test                                2m50s  17GB
Apr 22 08:56:14 Starting compiler/repl
Apr 22 08:56:17 Finished compiler/repl                                            2s 236MB
Apr 22 08:56:18 Starting compiler/benchmarks
Apr 22 08:57:12 Finished compiler/benchmarks                                     52s 747MB
Apr 22 08:57:13 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Apr 22 08:57:17 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 267MB
Apr 22 08:57:18 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Apr 22 08:57:21 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 250MB
Apr 22 08:57:22 Starting compiler/bootstrap/translation
Apr 22 10:50:11 Finished compiler/bootstrap/translation                     1h52m47s  90GB
Apr 22 10:50:12 Starting compiler/bootstrap/compilation/x64/64
Apr 22 10:53:54 Finished compiler/bootstrap/compilation/x64/64                 3m30s  16GB
Apr 22 10:53:55 Starting compiler/bootstrap/compilation/x64/32
Apr 22 11:20:29 Finished compiler/bootstrap/compilation/x64/32                26m26s  48GB
Apr 22 11:20:30 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 22 11:25:31 Finished compiler/bootstrap/compilation/x64/32/proofs          5m00s  24GB
Apr 22 11:25:32 Starting compiler/bootstrap/compilation/arm8/64
Apr 22 12:07:53 Finished compiler/bootstrap/compilation/arm8/64               42m12s  84GB
Apr 22 12:07:53 Starting compiler/bootstrap/compilation/arm8/64/proofs
Apr 22 12:14:02 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m07s  30GB
Apr 22 12:14:03 Starting compiler/bootstrap/compilation/ag32/32
Apr 22 12:43:22 Finished compiler/bootstrap/compilation/ag32/32               29m18s  78GB
Apr 22 12:43:23 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 22 12:49:03 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m39s  31GB
Apr 22 12:49:04 Starting unverified/sexpr-bootstrap/x64/64
Apr 22 12:53:31 Finished unverified/sexpr-bootstrap/x64/64                     4m25s  16GB
Apr 22 12:53:32 Starting unverified/sexpr-bootstrap/x64/32
Apr 22 12:57:23 Finished unverified/sexpr-bootstrap/x64/32                     3m50s  16GB
Apr 22 12:57:24 SUCCESS