Job 3003

CakeML:45d0ee623fb5581db697ffa24fd4034794bc5885
  Merge pull request #1248 from halogentlepersuasion/pan_shape_check_patch [Oct 15 08:55:40]
HOL:a406a513a9778e7975ada234be5f6efa80cbad88
  Merge pull request #1677 from nikos-alexandris/mcandidate [Oct 03 07:39:14]
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

Oct 15 09:02:41 Claimed job
Oct 15 09:02:46 Reusing HOL
Oct 15 09:02:53 Starting developers
Oct 15 09:02:57 Finished developers                                               3s 102MB
Oct 15 09:02:58 Starting developers/bin
Oct 15 09:03:02 Finished developers/bin                                           2s  91MB
Oct 15 09:03:03 Starting misc
Oct 15 09:03:42 Finished misc                                                    38s   1GB
Oct 15 09:03:43 Starting compiler/proofs
Oct 15 10:13:58 Finished compiler/proofs                                    1h10m13s  29GB
Oct 15 10:13:59 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 15 16:09:29 Finished compiler/bootstrap/compilation/x64/64/proofs       5h55m28s  88GB
Oct 15 16:09:30 Starting semantics/ffi
Oct 15 16:09:38 Finished semantics/ffi                                            7s 539MB
Oct 15 16:09:39 Starting semantics
Oct 15 16:09:40 Finished semantics                                                0s  59MB
Oct 15 16:09:41 Starting semantics/proofs
Oct 15 16:10:03 Finished semantics/proofs                                        20s 854MB
Oct 15 16:10:04 Starting semantics/alt_semantics
Oct 15 16:10:21 Finished semantics/alt_semantics                                 16s 739MB
Oct 15 16:10:21 Starting semantics/alt_semantics/proofs
Oct 15 16:14:27 Finished semantics/alt_semantics/proofs                        4m04s   1GB
Oct 15 16:14:27 Starting basis/pure
Oct 15 16:14:29 Finished basis/pure                                               0s 106MB
Oct 15 16:14:30 Starting translator
Oct 15 16:15:49 Finished translator                                            1m18s   2GB
Oct 15 16:15:50 Starting compiler/parsing
Oct 15 16:15:51 Finished compiler/parsing                                         0s  63MB
Oct 15 16:15:52 Starting characteristic
Oct 15 16:15:54 Finished characteristic                                           1s 125MB
Oct 15 16:15:55 Starting translator/monadic
Oct 15 16:15:57 Finished translator/monadic                                       1s 125MB
Oct 15 16:15:58 Starting translator/monadic/monad_base
Oct 15 16:15:59 Finished translator/monadic/monad_base                            0s  60MB
Oct 15 16:16:00 Starting basis
Oct 15 16:17:53 Finished basis                                                 1m51s   4GB
Oct 15 16:17:53 Starting compiler
Oct 15 16:17:56 Finished compiler                                                 2s 223MB
Oct 15 16:17:57 Starting compiler/inference
Oct 15 16:17:59 Finished compiler/inference                                       1s 125MB
Oct 15 16:18:00 Starting compiler/backend/reg_alloc
Oct 15 16:18:02 Finished compiler/backend/reg_alloc                               0s 100MB
Oct 15 16:18:03 Starting compiler/backend/gc
Oct 15 16:18:05 Finished compiler/backend/gc                                      1s 151MB
Oct 15 16:18:06 Starting compiler/backend
Oct 15 16:18:11 Finished compiler/backend                                         4s 263MB
Oct 15 16:18:12 Starting compiler/encoders/asm
Oct 15 16:18:14 Finished compiler/encoders/asm                                    0s  89MB
Oct 15 16:18:15 Starting compiler/encoders/x64
Oct 15 16:18:16 Finished compiler/encoders/x64                                    0s  93MB
Oct 15 16:18:17 Starting compiler/encoders/arm7
Oct 15 16:18:19 Finished compiler/encoders/arm7                                   0s  95MB
Oct 15 16:18:20 Starting compiler/encoders/arm8
Oct 15 16:18:21 Finished compiler/encoders/arm8                                   0s  89MB
Oct 15 16:18:22 Starting compiler/encoders/arm8_asl
Oct 15 16:18:35 Finished compiler/encoders/arm8_asl                              11s   1GB
Oct 15 16:18:36 Starting compiler/encoders/mips
Oct 15 16:18:38 Finished compiler/encoders/mips                                   0s  94MB
Oct 15 16:18:38 Starting compiler/encoders/riscv
Oct 15 16:18:40 Finished compiler/encoders/riscv                                  0s  94MB
Oct 15 16:18:41 Starting compiler/encoders/ag32
Oct 15 16:18:43 Finished compiler/encoders/ag32                                   0s  92MB
Oct 15 16:18:43 Starting compiler/encoders/tests
Oct 15 16:18:45 Finished compiler/encoders/tests                                  1s 116MB
Oct 15 16:18:46 Starting compiler/encoders/monadic_enc
Oct 15 16:19:06 Finished compiler/encoders/monadic_enc                           18s   1GB
Oct 15 16:19:07 Starting compiler/backend/x64
Oct 15 16:19:09 Finished compiler/backend/x64                                     1s 149MB
Oct 15 16:19:10 Starting compiler/backend/arm7
Oct 15 16:19:12 Finished compiler/backend/arm7                                    1s 148MB
Oct 15 16:19:13 Starting compiler/backend/arm8
Oct 15 16:19:15 Finished compiler/backend/arm8                                    1s 148MB
Oct 15 16:19:16 Starting compiler/backend/mips
Oct 15 16:19:18 Finished compiler/backend/mips                                    1s 149MB
Oct 15 16:19:19 Starting compiler/backend/riscv
Oct 15 16:19:21 Finished compiler/backend/riscv                                   1s 149MB
Oct 15 16:19:22 Starting compiler/backend/ag32
Oct 15 16:20:22 Finished compiler/backend/ag32                                   58s   3GB
Oct 15 16:20:23 Starting compiler/backend/pattern_matching
Oct 15 16:20:24 Finished compiler/backend/pattern_matching                        0s  63MB
Oct 15 16:20:25 Starting compiler/parsing/ocaml
Oct 15 16:22:06 Finished compiler/parsing/ocaml                                1m39s   1GB
Oct 15 16:22:06 Starting compiler/printing
Oct 15 16:22:08 Finished compiler/printing                                        1s 129MB
Oct 15 16:22:09 Starting compiler/parsing/proofs
Oct 15 16:22:11 Finished compiler/parsing/proofs                                  0s  70MB
Oct 15 16:22:12 Starting compiler/inference/proofs
Oct 15 16:22:14 Finished compiler/inference/proofs                                1s 123MB
Oct 15 16:22:15 Starting compiler/backend/semantics
Oct 15 16:25:00 Finished compiler/backend/semantics                            2m44s   2GB
Oct 15 16:25:01 Starting compiler/backend/reg_alloc/proofs
Oct 15 16:25:03 Finished compiler/backend/reg_alloc/proofs                        1s 121MB
Oct 15 16:25:04 Starting compiler/backend/proofs
Oct 15 16:25:50 Finished compiler/backend/proofs                                 45s   4GB
Oct 15 16:25:50 Starting compiler/backend/serialiser
Oct 15 16:25:53 Finished compiler/backend/serialiser                              1s 155MB
Oct 15 16:25:54 Starting compiler/encoders/x64/proofs
Oct 15 16:25:55 Finished compiler/encoders/x64/proofs                             0s  94MB
Oct 15 16:25:56 Starting compiler/encoders/arm7/proofs
Oct 15 16:37:06 Finished compiler/encoders/arm7/proofs                        11m08s   9GB
Oct 15 16:37:07 Starting compiler/encoders/arm8/proofs
Oct 15 16:43:56 Finished compiler/encoders/arm8/proofs                         6m48s   4GB
Oct 15 16:43:57 Starting compiler/encoders/arm8_asl/proofs
Oct 15 16:59:00 Finished compiler/encoders/arm8_asl/proofs                    15m02s   4GB
Oct 15 16:59:01 Starting compiler/encoders/mips/proofs
Oct 15 17:08:13 Finished compiler/encoders/mips/proofs                         9m10s   8GB
Oct 15 17:08:13 Starting compiler/encoders/riscv/proofs
Oct 15 17:15:53 Finished compiler/encoders/riscv/proofs                        7m38s   4GB
Oct 15 17:15:54 Starting compiler/encoders/ag32/proofs
Oct 15 17:18:35 Finished compiler/encoders/ag32/proofs                         2m40s   2GB
Oct 15 17:18:36 Starting compiler/backend/x64/proofs
Oct 15 17:18:39 Finished compiler/backend/x64/proofs                              2s 230MB
Oct 15 17:18:40 Starting compiler/backend/arm7/proofs
Oct 15 17:19:14 Finished compiler/backend/arm7/proofs                            32s   2GB
Oct 15 17:19:15 Starting compiler/backend/arm8/proofs
Oct 15 17:19:46 Finished compiler/backend/arm8/proofs                            30s   1GB
Oct 15 17:19:47 Starting compiler/backend/arm8_asl
Oct 15 17:20:11 Finished compiler/backend/arm8_asl                               23s   2GB
Oct 15 17:20:12 Starting compiler/backend/mips/proofs
Oct 15 17:20:46 Finished compiler/backend/mips/proofs                            33s   2GB
Oct 15 17:20:46 Starting compiler/backend/riscv/proofs
Oct 15 17:21:22 Finished compiler/backend/riscv/proofs                           34s   2GB
Oct 15 17:21:23 Starting compiler/backend/ag32/proofs
Oct 15 17:32:36 Finished compiler/backend/ag32/proofs                         11m12s   4GB
Oct 15 17:32:36 Starting compiler/backend/cv_compute
Oct 15 17:33:01 Finished compiler/backend/cv_compute                             24s   1GB
Oct 15 17:33:02 Starting cv_translator
Oct 15 17:38:03 Finished cv_translator                                         4m59s   5GB
Oct 15 17:38:04 Starting candle
Oct 15 17:38:05 Finished candle                                                   0s  15MB
Oct 15 17:38:05 Starting candle/set-theory
Oct 15 17:38:30 Finished candle/set-theory                                       24s 923MB
Oct 15 17:38:31 Starting candle/syntax-lib
Oct 15 17:38:33 Finished candle/syntax-lib                                        0s 103MB
Oct 15 17:38:34 Starting candle/standard
Oct 15 17:38:35 Finished candle/standard                                          0s  14MB
Oct 15 17:38:36 Starting candle/standard/syntax
Oct 15 17:38:48 Finished candle/standard/syntax                                  11s 752MB
Oct 15 17:38:49 Starting candle/standard/semantics
Oct 15 17:40:46 Finished candle/standard/semantics                             1m56s   2GB
Oct 15 17:40:47 Starting candle/standard/monadic
Oct 15 17:40:49 Finished candle/standard/monadic                                  1s 127MB
Oct 15 17:40:50 Starting candle/standard/ml_kernel
Oct 15 17:42:29 Finished candle/standard/ml_kernel                             1m38s   3GB
Oct 15 17:42:30 Starting candle/standard/ml_kernel/lisp
Oct 15 17:42:31 Finished candle/standard/ml_kernel/lisp                           0s  57MB
Oct 15 17:42:32 Starting candle/overloading
Oct 15 17:42:33 Finished candle/overloading                                       0s  15MB
Oct 15 17:42:34 Starting candle/overloading/syntax
Oct 15 17:45:25 Finished candle/overloading/syntax                             2m49s   2GB
Oct 15 17:45:26 Starting candle/overloading/semantics
Oct 15 17:55:34 Finished candle/overloading/semantics                         10m07s   3GB
Oct 15 17:55:35 Starting candle/overloading/monadic
Oct 15 17:57:38 Finished candle/overloading/monadic                            2m01s   1GB
Oct 15 17:57:39 Starting candle/overloading/ml_kernel
Oct 15 18:04:06 Finished candle/overloading/ml_kernel                          6m26s   6GB
Oct 15 18:04:07 Starting candle/overloading/ml_checker
Oct 15 18:06:15 Finished candle/overloading/ml_checker                         2m07s   6GB
Oct 15 18:06:16 Starting candle/prover
Oct 15 18:06:18 Finished candle/prover                                            1s 165MB
Oct 15 18:06:19 Starting candle/prover/compute
Oct 15 18:06:22 Finished candle/prover/compute                                    1s 154MB
Oct 15 18:06:23 Starting pancake
Oct 15 18:06:25 Finished pancake                                                  1s 151MB
Oct 15 18:06:26 Starting pancake/semantics
Oct 15 18:08:59 Finished pancake/semantics                                     2m32s   1GB
Oct 15 18:09:00 Starting pancake/parser
Oct 15 18:09:29 Finished pancake/parser                                          28s 474MB
Oct 15 18:09:30 Starting pancake/static_checker
Oct 15 18:10:34 Finished pancake/static_checker                                1m02s   1GB
Oct 15 18:10:34 Starting pancake/proofs
Oct 15 18:25:11 Finished pancake/proofs                                       14m35s   5GB
Oct 15 18:25:11 Starting compiler/dafny
Oct 15 18:25:36 Finished compiler/dafny                                          23s 718MB
Oct 15 18:25:37 Starting compiler/dafny/translation
Oct 15 18:34:26 Finished compiler/dafny/translation                            8m48s   5GB
Oct 15 18:34:27 Starting compiler/dafny/compilation
Oct 15 18:36:18 Finished compiler/dafny/compilation                            1m50s   6GB
Oct 15 18:36:19 Starting compiler/dafny/semantics
Oct 15 18:36:51 Finished compiler/dafny/semantics                                30s 555MB
Oct 15 18:36:52 Starting compiler/dafny/proofs
Oct 15 18:38:12 Finished compiler/dafny/proofs                                 1m19s   1GB
Oct 15 18:38:13 Starting compiler/dafny/vcg
Oct 15 18:39:21 Finished compiler/dafny/vcg                                    1m06s   1GB
Oct 15 18:39:22 Starting compiler/scheme
Oct 15 18:39:47 Finished compiler/scheme                                         24s   1GB
Oct 15 18:39:48 Starting compiler/scheme/translation
Oct 15 18:46:22 Finished compiler/scheme/translation                           6m32s   8GB
Oct 15 18:46:23 Starting compiler/scheme/compilation
Oct 15 18:47:33 Finished compiler/scheme/compilation                           1m09s   4GB
Oct 15 18:47:34 Starting compiler/scheme/proofs
Oct 15 19:01:20 Finished compiler/scheme/proofs                               13m44s  29GB
Oct 15 19:01:20 Starting characteristic/examples
Oct 15 19:02:45 Finished characteristic/examples                               1m23s   4GB
Oct 15 19:02:46 Starting tutorial/solutions
Oct 15 19:05:03 Finished tutorial/solutions                                    2m16s   3GB
Oct 15 19:05:04 Starting translator/monadic/examples
Oct 15 19:07:53 Finished translator/monadic/examples                           2m47s   3GB
Oct 15 19:07:54 Starting examples
Oct 15 19:13:03 Finished examples                                              5m09s   4GB
Oct 15 19:13:04 Starting examples/compilation
Oct 15 19:13:05 Finished examples/compilation                                     0s  14MB
Oct 15 19:13:06 Starting examples/compilation/x64
Oct 15 19:19:48 Finished examples/compilation/x64                              6m41s   3GB
Oct 15 19:19:49 Starting examples/compilation/x64/proofs
Oct 15 19:22:20 Finished examples/compilation/x64/proofs                       2m30s   4GB
Oct 15 19:22:21 Starting examples/compilation/ag32
Oct 15 19:24:12 Finished examples/compilation/ag32                             1m50s   3GB
Oct 15 19:24:13 Starting examples/compilation/ag32/proofs
Oct 15 19:25:15 Finished examples/compilation/ag32/proofs                      1m01s   5GB
Oct 15 19:25:16 Starting examples/lpr_checker
Oct 15 19:25:49 Finished examples/lpr_checker                                    31s   1GB
Oct 15 19:25:49 Starting examples/lpr_checker/array
Oct 15 19:45:59 Finished examples/lpr_checker/array                           20m08s  27GB
Oct 15 19:45:59 Starting examples/lpr_checker/array/compilation
Oct 15 19:48:13 Finished examples/lpr_checker/array/compilation                2m12s   6GB
Oct 15 19:48:14 Starting examples/lpr_checker/array/compilation/proofs
Oct 15 19:49:25 Finished examples/lpr_checker/array/compilation/proofs         1m09s   6GB
Oct 15 19:49:25 Starting examples/lpr_checker/array/compilation/proofsARM8
Oct 15 19:50:35 Finished examples/lpr_checker/array/compilation/proofsARM8     1m09s   6GB
Oct 15 19:50:36 Starting .
Oct 15 19:50:40 Finished .                                                        3s 334MB
Oct 15 19:50:41 Starting examples/xlrup_checker
Oct 15 19:51:27 Finished examples/xlrup_checker                                  44s   1GB
Oct 15 19:51:27 Starting examples/xlrup_checker/array
Oct 15 20:05:05 Finished examples/xlrup_checker/array                         13m36s  12GB
Oct 15 20:05:06 Starting examples/xlrup_checker/array/compilation
Oct 15 20:06:14 Finished examples/xlrup_checker/array/compilation              1m07s   4GB
Oct 15 20:06:15 Starting examples/xlrup_checker/array/compilation/proofs
Oct 15 20:07:15 Finished examples/xlrup_checker/array/compilation/proofs         59s   4GB
Oct 15 20:07:16 Starting examples/scpog_checker
Oct 15 20:08:00 Finished examples/scpog_checker                                  42s   2GB
Oct 15 20:08:01 Starting examples/scpog_checker/array
Oct 15 20:15:53 Finished examples/scpog_checker/array                          7m51s   7GB
Oct 15 20:15:54 Starting examples/scpog_checker/array/compilation
Oct 15 20:17:46 Finished examples/scpog_checker/array/compilation              1m51s   7GB
Oct 15 20:17:47 Starting examples/scpog_checker/array/compilation/proofs
Oct 15 20:18:59 Finished examples/scpog_checker/array/compilation/proofs       1m11s   6GB
Oct 15 20:19:00 Starting examples/pseudo_bool
Oct 15 20:20:45 Finished examples/pseudo_bool                                  1m44s   1GB
Oct 15 20:20:46 Starting examples/pseudo_bool/cnf_encoding
Oct 15 20:21:14 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Oct 15 20:21:15 Starting examples/pseudo_bool/graph_encoding
Oct 15 20:21:52 Finished examples/pseudo_bool/graph_encoding                     36s   1GB
Oct 15 20:21:53 Starting examples/pseudo_bool/array
Oct 15 21:27:02 Finished examples/pseudo_bool/array                         1h05m08s  48GB
Oct 15 21:27:03 Starting examples/pseudo_bool/array/compilation
Oct 15 21:36:51 Finished examples/pseudo_bool/array/compilation                9m46s  17GB
Oct 15 21:36:52 Starting examples/pseudo_bool/array/compilation/proofs
Oct 15 21:39:29 Finished examples/pseudo_bool/array/compilation/proofs         2m36s   7GB
Oct 15 21:39:30 Starting examples/pseudo_bool/array/compilation/proofsARM8
Oct 15 21:40:45 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m14s   6GB
Oct 15 21:40:46 Starting examples/opentheory
Oct 15 21:48:06 Finished examples/opentheory                                   7m18s   6GB
Oct 15 21:48:07 Starting examples/opentheory/compilation
Oct 15 21:49:32 Finished examples/opentheory/compilation                       1m24s   5GB
Oct 15 21:49:33 Starting examples/opentheory/compilation/proofs
Oct 15 21:50:35 Finished examples/opentheory/compilation/proofs                1m01s   4GB
Oct 15 21:50:36 Starting examples/opentheory/compilation/ag32
Oct 15 21:52:05 Finished examples/opentheory/compilation/ag32                  1m28s   6GB
Oct 15 21:52:06 Starting examples/opentheory/compilation/ag32/proofs
Oct 15 21:53:42 Finished examples/opentheory/compilation/ag32/proofs           1m34s   8GB
Oct 15 21:53:43 Starting examples/sat_encodings
Oct 15 21:54:43 Finished examples/sat_encodings                                  59s 807MB
Oct 15 21:54:44 Starting examples/sat_encodings/demo
Oct 15 21:54:44 Finished examples/sat_encodings/demo                              0s  16MB
Oct 15 21:54:45 Starting examples/sat_encodings/case_studies
Oct 15 21:56:20 Finished examples/sat_encodings/case_studies                   1m33s 978MB
Oct 15 21:56:21 Starting examples/sat_encodings/translation
Oct 15 21:59:36 Finished examples/sat_encodings/translation                    3m13s   2GB
Oct 15 21:59:37 Starting examples/sat_encodings/translation/compilation
Oct 15 22:01:23 Finished examples/sat_encodings/translation/compilation        1m45s   4GB
Oct 15 22:01:24 Starting examples/deflate
Oct 15 22:01:43 Finished examples/deflate                                        17s 449MB
Oct 15 22:01:44 Starting examples/deflate/translation
Oct 15 22:02:40 Finished examples/deflate/translation                            55s   3GB
Oct 15 22:02:41 Starting examples/deflate/translation/compilation
Oct 15 22:03:31 Finished examples/deflate/translation/compilation                49s   3GB
Oct 15 22:03:32 Starting examples/vipr
Oct 15 22:06:22 Finished examples/vipr                                         2m49s   3GB
Oct 15 22:06:23 Starting examples/vipr/compilation
Oct 15 22:07:17 Finished examples/vipr/compilation                               53s   4GB
Oct 15 22:07:18 Starting translator/okasaki-examples
Oct 15 22:11:00 Finished translator/okasaki-examples                           3m40s   4GB
Oct 15 22:11:01 Starting translator/other-examples
Oct 15 22:11:50 Finished translator/other-examples                               48s   2GB
Oct 15 22:11:51 Starting translator/other-examples/auxiliary
Oct 15 22:11:52 Finished translator/other-examples/auxiliary                      0s  20MB
Oct 15 22:11:52 Starting compiler/parsing/tests
Oct 15 22:12:27 Finished compiler/parsing/tests                                  33s   1GB
Oct 15 22:12:28 Starting compiler/inference/tests
Oct 15 22:13:03 Finished compiler/inference/tests                                34s   2GB
Oct 15 22:13:04 Starting compiler/printing/test
Oct 15 22:14:15 Finished compiler/printing/test                                1m10s   5GB
Oct 15 22:14:16 Starting compiler/repl
Oct 15 22:14:19 Finished compiler/repl                                            2s 272MB
Oct 15 22:14:20 Starting unverified/sexpr-bootstrap/x64/64
Oct 15 22:18:17 Finished unverified/sexpr-bootstrap/x64/64                     3m46s  19GB
Oct 15 22:18:18 Starting unverified/sexpr-bootstrap/x64/32
Oct 16 00:09:38 Finished unverified/sexpr-bootstrap/x64/32                  1h51m11s  39GB
Oct 16 00:09:39 Starting compiler/benchmarks
Oct 16 00:10:25 Finished compiler/benchmarks                                     45s 711MB
Oct 16 00:10:26 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Oct 16 00:10:30 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 294MB
Oct 16 00:10:31 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Oct 16 00:10:34 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 284MB
Oct 16 00:10:35 Starting compiler/bootstrap/translation
Oct 16 00:10:39 Finished compiler/bootstrap/translation                           2s 283MB
Oct 16 00:10:40 Starting compiler/bootstrap/compilation/x64/64
Oct 16 00:13:36 Finished compiler/bootstrap/compilation/x64/64                 2m43s  16GB
Oct 16 00:13:36 Starting compiler/bootstrap/compilation/x64/32
Oct 16 00:39:55 Finished compiler/bootstrap/compilation/x64/32                26m11s  66GB
Oct 16 00:39:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 16 00:44:28 Finished compiler/bootstrap/compilation/x64/32/proofs          4m31s  25GB
Oct 16 00:44:29 Starting compiler/bootstrap/compilation/arm8/64
Oct 16 01:21:39 Finished compiler/bootstrap/compilation/arm8/64               37m01s  77GB
Oct 16 01:21:40 Starting compiler/bootstrap/compilation/arm8/64/proofs
Oct 16 01:26:38 Finished compiler/bootstrap/compilation/arm8/64/proofs         4m57s  30GB
Oct 16 01:26:39 Starting compiler/bootstrap/compilation/ag32/32
Oct 16 02:02:14 Finished compiler/bootstrap/compilation/ag32/32               35m33s  46GB
Oct 16 02:02:15 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 16 02:07:24 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m08s  29GB
Oct 16 02:07:25 SUCCESS