Job 3314

CakeML:e34d19e9714f40930a36cf2387075eb2f14667f9
  Merge pull request #1375 from CakeML/inputall_tweak [Apr 26 20:44:41]
HOL:77fad203c275899bfee21faf6d2d3a66e749d7e1
  patch no_sig_docs for asl-equiv [Apr 21 06:34:06]
Machine:pavlova
Artefacts:cake-x64-64.tar.gz
cake-arm8-64.tar.gz
cake-x64-32.tar.gz

Apr 27 09:50:40 Claimed job
Apr 27 09:50:46 Building HOL
Apr 27 10:03:15 Starting developers
Apr 27 10:03:20 Finished developers                                               4s 158MB
Apr 27 10:03:21 Starting developers/bin
Apr 27 10:03:26 Finished developers/bin                                           3s  94MB
Apr 27 10:03:27 Starting misc
Apr 27 10:04:24 Finished misc                                                    55s   1GB
Apr 27 10:04:24 Starting compiler/proofs
Apr 27 11:06:24 Finished compiler/proofs                                    1h01m58s  11GB
Apr 27 11:06:25 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 27 16:56:48 Finished compiler/bootstrap/compilation/x64/64/proofs       5h50m22s 110GB
Apr 27 16:56:49 Starting semantics/ffi
Apr 27 16:57:01 Finished semantics/ffi                                           10s 565MB
Apr 27 16:57:02 Starting semantics
Apr 27 16:57:04 Finished semantics                                                1s  80MB
Apr 27 16:57:05 Starting semantics/proofs
Apr 27 16:57:26 Finished semantics/proofs                                        20s 951MB
Apr 27 16:57:27 Starting semantics/alt_semantics
Apr 27 16:57:45 Finished semantics/alt_semantics                                 16s 619MB
Apr 27 16:57:46 Starting semantics/alt_semantics/proofs
Apr 27 17:01:02 Finished semantics/alt_semantics/proofs                        3m15s   2GB
Apr 27 17:01:03 Starting basis/pure
Apr 27 17:01:05 Finished basis/pure                                               0s  71MB
Apr 27 17:01:06 Starting translator
Apr 27 17:02:06 Finished translator                                              58s   3GB
Apr 27 17:02:06 Starting compiler/parsing
Apr 27 17:02:08 Finished compiler/parsing                                         1s  89MB
Apr 27 17:02:09 Starting characteristic
Apr 27 17:02:12 Finished characteristic                                           1s 122MB
Apr 27 17:02:12 Starting translator/monadic
Apr 27 17:02:15 Finished translator/monadic                                       1s 111MB
Apr 27 17:02:15 Starting translator/monadic/monad_base
Apr 27 17:02:17 Finished translator/monadic/monad_base                            0s  78MB
Apr 27 17:02:18 Starting profiler
Apr 27 17:02:47 Finished profiler                                                27s   1GB
Apr 27 17:02:48 Starting basis
Apr 27 17:04:24 Finished basis                                                 1m35s   4GB
Apr 27 17:04:24 Starting compiler
Apr 27 17:04:28 Finished compiler                                                 2s 197MB
Apr 27 17:04:29 Starting compiler/inference
Apr 27 17:04:31 Finished compiler/inference                                       1s 106MB
Apr 27 17:04:32 Starting compiler/backend/reg_alloc
Apr 27 17:04:33 Finished compiler/backend/reg_alloc                               1s  83MB
Apr 27 17:04:34 Starting compiler/backend/gc
Apr 27 17:04:37 Finished compiler/backend/gc                                      1s 127MB
Apr 27 17:04:37 Starting compiler/backend
Apr 27 17:04:43 Finished compiler/backend                                         4s 238MB
Apr 27 17:04:44 Starting compiler/encoders/asm
Apr 27 17:04:46 Finished compiler/encoders/asm                                    1s  88MB
Apr 27 17:04:47 Starting compiler/encoders/x64
Apr 27 17:04:49 Finished compiler/encoders/x64                                    1s  92MB
Apr 27 17:04:50 Starting compiler/encoders/arm7
Apr 27 17:04:52 Finished compiler/encoders/arm7                                   1s  90MB
Apr 27 17:04:52 Starting compiler/encoders/arm8
Apr 27 17:04:54 Finished compiler/encoders/arm8                                   1s  90MB
Apr 27 17:04:55 Starting compiler/encoders/arm8_asl
Apr 27 19:13:15 Finished compiler/encoders/arm8_asl                         2h08m19s  26GB
Apr 27 19:13:16 Starting compiler/encoders/mips
Apr 27 19:13:18 Finished compiler/encoders/mips                                   1s  90MB
Apr 27 19:13:19 Starting compiler/encoders/riscv
Apr 27 19:13:21 Finished compiler/encoders/riscv                                  1s  90MB
Apr 27 19:13:22 Starting compiler/encoders/ag32
Apr 27 19:13:24 Finished compiler/encoders/ag32                                   1s  90MB
Apr 27 19:13:25 Starting compiler/encoders/tests
Apr 27 19:13:27 Finished compiler/encoders/tests                                  1s 111MB
Apr 27 19:13:28 Starting compiler/encoders/monadic_enc
Apr 27 19:13:52 Finished compiler/encoders/monadic_enc                           23s   1GB
Apr 27 19:13:53 Starting compiler/backend/x64
Apr 27 19:13:56 Finished compiler/backend/x64                                     1s 126MB
Apr 27 19:13:56 Starting compiler/backend/arm7
Apr 27 19:13:59 Finished compiler/backend/arm7                                    1s 129MB
Apr 27 19:14:00 Starting compiler/backend/arm8
Apr 27 19:14:02 Finished compiler/backend/arm8                                    1s 125MB
Apr 27 19:14:03 Starting compiler/backend/mips
Apr 27 19:14:05 Finished compiler/backend/mips                                    1s 134MB
Apr 27 19:14:06 Starting compiler/backend/riscv
Apr 27 19:14:09 Finished compiler/backend/riscv                                   1s 127MB
Apr 27 19:14:09 Starting compiler/backend/ag32
Apr 27 19:15:06 Finished compiler/backend/ag32                                   55s   2GB
Apr 27 19:15:07 Starting compiler/backend/pattern_matching
Apr 27 19:15:09 Finished compiler/backend/pattern_matching                        1s  78MB
Apr 27 19:15:09 Starting compiler/parsing/ocaml
Apr 27 19:16:55 Finished compiler/parsing/ocaml                                1m44s   1GB
Apr 27 19:16:56 Starting compiler/printing
Apr 27 19:17:53 Finished compiler/printing                                       55s   1GB
Apr 27 19:17:54 Starting compiler/parsing/proofs
Apr 27 19:17:56 Finished compiler/parsing/proofs                                  1s  87MB
Apr 27 19:17:57 Starting compiler/inference/proofs
Apr 27 19:17:59 Finished compiler/inference/proofs                                1s 101MB
Apr 27 19:18:00 Starting compiler/backend/semantics
Apr 27 19:20:41 Finished compiler/backend/semantics                            2m40s   3GB
Apr 27 19:20:41 Starting compiler/backend/reg_alloc/proofs
Apr 27 19:20:44 Finished compiler/backend/reg_alloc/proofs                        1s 106MB
Apr 27 19:20:45 Starting compiler/backend/proofs
Apr 27 19:21:26 Finished compiler/backend/proofs                                 40s   2GB
Apr 27 19:21:27 Starting compiler/backend/serialiser
Apr 27 19:21:30 Finished compiler/backend/serialiser                              1s 132MB
Apr 27 19:21:30 Starting compiler/encoders/x64/proofs
Apr 27 19:21:32 Finished compiler/encoders/x64/proofs                             1s  91MB
Apr 27 19:21:33 Starting compiler/encoders/arm7/proofs
Apr 27 19:32:06 Finished compiler/encoders/arm7/proofs                        10m31s  10GB
Apr 27 19:32:06 Starting compiler/encoders/arm8/proofs
Apr 27 19:38:33 Finished compiler/encoders/arm8/proofs                         6m25s   5GB
Apr 27 19:38:33 Starting compiler/encoders/arm8_asl/proofs
Apr 27 20:27:01 Finished compiler/encoders/arm8_asl/proofs                    48m26s   7GB
Apr 27 20:27:01 Starting compiler/encoders/mips/proofs
Apr 27 20:36:03 Finished compiler/encoders/mips/proofs                         9m00s   7GB
Apr 27 20:36:04 Starting compiler/encoders/riscv/proofs
Apr 27 20:44:06 Finished compiler/encoders/riscv/proofs                        8m01s   4GB
Apr 27 20:44:06 Starting compiler/encoders/ag32/proofs
Apr 27 20:46:42 Finished compiler/encoders/ag32/proofs                         2m34s   2GB
Apr 27 20:46:43 Starting compiler/backend/x64/proofs
Apr 27 20:46:46 Finished compiler/backend/x64/proofs                              2s 195MB
Apr 27 20:46:47 Starting compiler/backend/arm7/proofs
Apr 27 20:47:23 Finished compiler/backend/arm7/proofs                            35s   2GB
Apr 27 20:47:24 Starting compiler/backend/arm8/proofs
Apr 27 20:48:03 Finished compiler/backend/arm8/proofs                            37s   2GB
Apr 27 20:48:04 Starting compiler/backend/arm8_asl
Apr 27 20:48:35 Finished compiler/backend/arm8_asl                               29s   2GB
Apr 27 20:48:35 Starting compiler/backend/mips/proofs
Apr 27 20:49:11 Finished compiler/backend/mips/proofs                            35s   2GB
Apr 27 20:49:12 Starting compiler/backend/riscv/proofs
Apr 27 20:49:50 Finished compiler/backend/riscv/proofs                           36s   2GB
Apr 27 20:49:51 Starting compiler/backend/ag32/proofs
Apr 27 20:57:38 Finished compiler/backend/ag32/proofs                          7m45s   5GB
Apr 27 20:57:38 Starting compiler/backend/cv_compute
Apr 27 20:58:08 Finished compiler/backend/cv_compute                             29s   1GB
Apr 27 20:58:09 Starting cv_translator
Apr 27 21:02:54 Finished cv_translator                                         4m43s   4GB
Apr 27 21:02:55 Starting candle
Apr 27 21:02:56 Finished candle                                                   0s   5MB
Apr 27 21:02:56 Starting candle/set-theory
Apr 27 21:03:28 Finished candle/set-theory                                       30s 956MB
Apr 27 21:03:28 Starting candle/syntax-lib
Apr 27 21:03:30 Finished candle/syntax-lib                                        0s  74MB
Apr 27 21:03:31 Starting candle/standard
Apr 27 21:03:32 Finished candle/standard                                          0s   6MB
Apr 27 21:03:33 Starting candle/standard/syntax
Apr 27 21:03:48 Finished candle/standard/syntax                                  13s 785MB
Apr 27 21:03:48 Starting candle/standard/semantics
Apr 27 21:05:56 Finished candle/standard/semantics                             2m07s   2GB
Apr 27 21:05:57 Starting candle/standard/monadic
Apr 27 21:05:59 Finished candle/standard/monadic                                  1s 108MB
Apr 27 21:06:00 Starting candle/standard/ml_kernel
Apr 27 21:07:57 Finished candle/standard/ml_kernel                             1m55s   4GB
Apr 27 21:07:58 Starting candle/overloading
Apr 27 21:07:58 Finished candle/overloading                                       0s   6MB
Apr 27 21:07:59 Starting candle/overloading/syntax
Apr 27 21:10:57 Finished candle/overloading/syntax                             2m56s   2GB
Apr 27 21:10:58 Starting candle/overloading/semantics
Apr 27 21:19:37 Finished candle/overloading/semantics                          8m38s   7GB
Apr 27 21:19:38 Starting candle/overloading/monadic
Apr 27 21:21:34 Finished candle/overloading/monadic                            1m55s   2GB
Apr 27 21:21:35 Starting candle/overloading/ml_kernel
Apr 27 21:27:41 Finished candle/overloading/ml_kernel                          6m05s   7GB
Apr 27 21:27:42 Starting candle/overloading/ml_checker
Apr 27 21:30:09 Finished candle/overloading/ml_checker                         2m26s   6GB
Apr 27 21:30:10 Starting candle/prover
Apr 27 21:30:13 Finished candle/prover                                            2s 156MB
Apr 27 21:30:14 Starting candle/prover/compute
Apr 27 21:30:16 Finished candle/prover/compute                                    1s 153MB
Apr 27 21:30:17 Starting pancake
Apr 27 21:30:20 Finished pancake                                                  1s 132MB
Apr 27 21:30:21 Starting pancake/semantics
Apr 27 21:32:58 Finished pancake/semantics                                     2m36s   2GB
Apr 27 21:32:58 Starting pancake/parser
Apr 27 21:33:30 Finished pancake/parser                                          30s 782MB
Apr 27 21:33:31 Starting pancake/static_checker
Apr 27 21:34:39 Finished pancake/static_checker                                1m07s   1GB
Apr 27 21:34:40 Starting pancake/proofs
Apr 27 21:50:02 Finished pancake/proofs                                       15m20s   5GB
Apr 27 21:50:03 Starting compiler/dafny
Apr 27 21:50:27 Finished compiler/dafny                                          23s 732MB
Apr 27 21:50:28 Starting compiler/dafny/translation
Apr 27 21:59:30 Finished compiler/dafny/translation                            9m01s   6GB
Apr 27 21:59:31 Starting compiler/dafny/compilation
Apr 27 22:01:13 Finished compiler/dafny/compilation                            1m41s   6GB
Apr 27 22:01:14 Starting compiler/dafny/semantics
Apr 27 22:01:52 Finished compiler/dafny/semantics                                36s 557MB
Apr 27 22:01:52 Starting compiler/dafny/proofs
Apr 27 22:03:21 Finished compiler/dafny/proofs                                 1m27s   1GB
Apr 27 22:03:22 Starting compiler/dafny/vcg
Apr 27 22:03:24 Finished compiler/dafny/vcg                                       1s  93MB
Apr 27 22:03:25 Starting compiler/dafny/vcg/examples
Apr 27 22:03:50 Finished compiler/dafny/vcg/examples                             24s   1GB
Apr 27 22:03:51 Starting compiler/scheme
Apr 27 22:04:17 Finished compiler/scheme                                         25s   1GB
Apr 27 22:04:18 Starting compiler/scheme/translation
Apr 27 22:10:19 Finished compiler/scheme/translation                           6m00s   8GB
Apr 27 22:10:20 Starting compiler/scheme/compilation
Apr 27 22:11:40 Finished compiler/scheme/compilation                           1m18s   4GB
Apr 27 22:11:40 Starting compiler/scheme/proofs
Apr 27 22:17:01 Finished compiler/scheme/proofs                                5m19s   3GB
Apr 27 22:17:01 Starting characteristic/examples
Apr 27 22:18:27 Finished characteristic/examples                               1m24s   5GB
Apr 27 22:18:27 Starting tutorial/solutions
Apr 27 22:21:02 Finished tutorial/solutions                                    2m33s   3GB
Apr 27 22:21:03 Starting translator/monadic/examples
Apr 27 22:23:58 Finished translator/monadic/examples                           2m54s   4GB
Apr 27 22:23:59 Starting examples
Apr 27 22:28:21 Finished examples                                              4m21s   5GB
Apr 27 22:28:22 Starting examples/compilation
Apr 27 22:28:23 Finished examples/compilation                                     0s   6MB
Apr 27 22:28:24 Starting examples/compilation/x64
Apr 27 22:35:42 Finished examples/compilation/x64                              7m17s   4GB
Apr 27 22:35:43 Starting examples/compilation/x64/proofs
Apr 27 22:38:33 Finished examples/compilation/x64/proofs                       2m48s   4GB
Apr 27 22:38:34 Starting examples/compilation/ag32
Apr 27 22:40:49 Finished examples/compilation/ag32                             2m14s   3GB
Apr 27 22:40:50 Starting examples/compilation/ag32/proofs
Apr 27 22:42:03 Finished examples/compilation/ag32/proofs                      1m12s   4GB
Apr 27 22:42:04 Starting examples/lpr_checker
Apr 27 22:42:41 Finished examples/lpr_checker                                    35s   1GB
Apr 27 22:42:41 Starting examples/lpr_checker/array
Apr 27 22:53:55 Finished examples/lpr_checker/array                           11m10s  10GB
Apr 27 22:53:56 Starting examples/lpr_checker/array/compilation
Apr 27 22:57:25 Finished examples/lpr_checker/array/compilation                3m28s   6GB
Apr 27 22:57:26 Starting examples/lpr_checker/array/compilation/proofs
Apr 27 22:58:47 Finished examples/lpr_checker/array/compilation/proofs         1m20s   5GB
Apr 27 22:58:47 Starting examples/lpr_checker/array/compilation/proofsARM8
Apr 27 23:00:11 Finished examples/lpr_checker/array/compilation/proofsARM8     1m22s   6GB
Apr 27 23:00:12 Starting .
Apr 27 23:00:16 Finished .                                                        3s 320MB
Apr 27 23:00:17 Starting examples/xlrup_checker
Apr 27 23:01:09 Finished examples/xlrup_checker                                  50s   1GB
Apr 27 23:01:09 Starting examples/xlrup_checker/array
Apr 27 23:09:13 Finished examples/xlrup_checker/array                          8m02s   4GB
Apr 27 23:09:14 Starting examples/xlrup_checker/array/compilation
Apr 27 23:10:31 Finished examples/xlrup_checker/array/compilation              1m16s   5GB
Apr 27 23:10:32 Starting examples/xlrup_checker/array/compilation/proofs
Apr 27 23:11:49 Finished examples/xlrup_checker/array/compilation/proofs       1m16s   4GB
Apr 27 23:11:50 Starting examples/scpog_checker
Apr 27 23:12:36 Finished examples/scpog_checker                                  44s   2GB
Apr 27 23:12:36 Starting examples/scpog_checker/array
Apr 27 23:17:52 Finished examples/scpog_checker/array                          5m14s   4GB
Apr 27 23:17:53 Starting examples/scpog_checker/array/compilation
Apr 27 23:19:57 Finished examples/scpog_checker/array/compilation              2m03s   7GB
Apr 27 23:19:58 Starting examples/scpog_checker/array/compilation/proofs
Apr 27 23:21:21 Finished examples/scpog_checker/array/compilation/proofs       1m21s   5GB
Apr 27 23:21:21 Starting examples/pseudo_bool
Apr 27 23:23:29 Finished examples/pseudo_bool                                  2m07s   2GB
Apr 27 23:23:30 Starting examples/pseudo_bool/cnf_encoding
Apr 27 23:24:05 Finished examples/pseudo_bool/cnf_encoding                       34s   1GB
Apr 27 23:24:06 Starting examples/pseudo_bool/graph_encoding
Apr 27 23:24:53 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
Apr 27 23:24:54 Starting examples/pseudo_bool/array
Apr 28 00:02:37 Finished examples/pseudo_bool/array                           37m42s  33GB
Apr 28 00:02:38 Starting examples/pseudo_bool/array/compilation
Apr 28 00:19:27 Finished examples/pseudo_bool/array/compilation               16m47s  19GB
Apr 28 00:19:27 Starting examples/pseudo_bool/array/compilation/proofs
Apr 28 00:24:05 Finished examples/pseudo_bool/array/compilation/proofs         4m36s   7GB
Apr 28 00:24:06 Starting examples/pseudo_bool/array/compilation/proofsARM8
Apr 28 00:25:37 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m30s   6GB
Apr 28 00:25:38 Starting examples/opentheory
Apr 28 00:32:23 Finished examples/opentheory                                   6m43s   5GB
Apr 28 00:32:23 Starting examples/opentheory/compilation
Apr 28 00:34:02 Finished examples/opentheory/compilation                       1m38s   5GB
Apr 28 00:34:03 Starting examples/opentheory/compilation/proofs
Apr 28 00:35:20 Finished examples/opentheory/compilation/proofs                1m16s   4GB
Apr 28 00:35:21 Starting examples/opentheory/compilation/ag32
Apr 28 00:37:03 Finished examples/opentheory/compilation/ag32                  1m41s   6GB
Apr 28 00:37:04 Starting examples/opentheory/compilation/ag32/proofs
Apr 28 00:38:41 Finished examples/opentheory/compilation/ag32/proofs           1m36s   7GB
Apr 28 00:38:42 Starting examples/sat_encodings
Apr 28 00:39:47 Finished examples/sat_encodings                                1m04s 816MB
Apr 28 00:39:48 Starting examples/sat_encodings/demo
Apr 28 00:39:49 Finished examples/sat_encodings/demo                              0s   5MB
Apr 28 00:39:50 Starting examples/sat_encodings/case_studies
Apr 28 00:41:31 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Apr 28 00:41:32 Starting examples/sat_encodings/translation
Apr 28 00:44:51 Finished examples/sat_encodings/translation                    3m17s   4GB
Apr 28 00:44:52 Starting examples/sat_encodings/translation/compilation
Apr 28 00:46:56 Finished examples/sat_encodings/translation/compilation        2m03s   4GB
Apr 28 00:46:57 Starting examples/deflate
Apr 28 00:47:20 Finished examples/deflate                                        21s 444MB
Apr 28 00:47:20 Starting examples/deflate/translation
Apr 28 00:48:16 Finished examples/deflate/translation                            54s   3GB
Apr 28 00:48:17 Starting examples/deflate/translation/compilation
Apr 28 00:49:17 Finished examples/deflate/translation/compilation                59s   3GB
Apr 28 00:49:18 Starting examples/vipr
Apr 28 00:52:20 Finished examples/vipr                                         3m01s   5GB
Apr 28 00:52:21 Starting examples/vipr/compilation
Apr 28 00:53:21 Finished examples/vipr/compilation                               59s   4GB
Apr 28 00:53:22 Starting examples/template
Apr 28 00:53:26 Finished examples/template                                        2s 154MB
Apr 28 00:53:27 Starting examples/template/translation
Apr 28 00:53:46 Finished examples/template/translation                           19s 957MB
Apr 28 00:53:47 Starting examples/template/compilation
Apr 28 00:54:49 Finished examples/template/compilation                         1m01s   4GB
Apr 28 00:54:50 Starting translator/okasaki-examples
Apr 28 00:57:54 Finished translator/okasaki-examples                           3m01s   2GB
Apr 28 00:57:55 Starting translator/other-examples
Apr 28 01:00:37 Finished translator/other-examples                             2m40s   2GB
Apr 28 01:00:37 Starting translator/other-examples/auxiliary
Apr 28 01:00:38 Finished translator/other-examples/auxiliary                      0s  11MB
Apr 28 01:00:39 Starting compiler/parsing/tests
Apr 28 01:01:18 Finished compiler/parsing/tests                                  37s   1GB
Apr 28 01:01:18 Starting compiler/inference/tests
Apr 28 01:02:04 Finished compiler/inference/tests                                44s   2GB
Apr 28 01:02:05 Starting compiler/printing/test
Apr 28 01:05:10 Finished compiler/printing/test                                3m05s  15GB
Apr 28 01:05:11 Starting compiler/repl
Apr 28 01:05:15 Finished compiler/repl                                            2s 243MB
Apr 28 01:05:16 Starting compiler/benchmarks
Apr 28 01:06:11 Finished compiler/benchmarks                                     53s 747MB
Apr 28 01:06:11 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Apr 28 01:06:15 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 247MB
Apr 28 01:06:16 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Apr 28 01:06:20 Finished compiler/benchmarks/mlton_benchmarks/cakeml              3s 268MB
Apr 28 01:06:21 Starting compiler/bootstrap/translation
Apr 28 02:58:29 Finished compiler/bootstrap/translation                     1h52m07s  91GB
Apr 28 02:58:30 Starting compiler/bootstrap/compilation/x64/64
Apr 28 03:02:06 Finished compiler/bootstrap/compilation/x64/64                 3m24s  17GB
Apr 28 03:02:07 Starting compiler/bootstrap/compilation/x64/32
Apr 28 03:29:13 Finished compiler/bootstrap/compilation/x64/32                26m52s  46GB
Apr 28 03:29:14 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 28 03:34:36 Finished compiler/bootstrap/compilation/x64/32/proofs          5m21s  24GB
Apr 28 03:34:37 Starting compiler/bootstrap/compilation/arm8/64
Apr 28 04:18:39 Finished compiler/bootstrap/compilation/arm8/64               43m53s  88GB
Apr 28 04:18:39 Starting compiler/bootstrap/compilation/arm8/64/proofs
Apr 28 04:25:09 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m28s  31GB
Apr 28 04:25:10 Starting compiler/bootstrap/compilation/ag32/32
Apr 28 04:53:58 Finished compiler/bootstrap/compilation/ag32/32               28m46s  51GB
Apr 28 04:53:58 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 28 04:59:47 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m47s  31GB
Apr 28 04:59:47 Starting unverified/sexpr-bootstrap/x64/64
Apr 28 05:04:13 Finished unverified/sexpr-bootstrap/x64/64                     4m24s  16GB
Apr 28 05:04:14 Starting unverified/sexpr-bootstrap/x64/32
Apr 28 05:08:09 Finished unverified/sexpr-bootstrap/x64/32                     3m54s  15GB
Apr 28 05:08:09 SUCCESS