Job 3049

CakeML:c73e9d540829ce48ebb091ca2002a7c3377aba01
  Add word_ror to Word8 and Word64 in basis [Nov 18 11:57:24]
#1267 (word_ror_basis)
Merging into:cd602e3238b6bcb5a47612b7323d693eb3a90252
  Merge pull request #1269 from CakeML/mcandidate-fix [Nov 19 15:48:38]
HOL:a32193172d5be16ab7ea6f0d938f778e8ffc8249
  Variance of normal random variables [Nov 13 21:40:28]
Machine:timtam

Nov 19 17:24:07 Claimed job
Nov 19 17:24:11 Reusing HOL
Nov 19 17:24:18 Starting developers
Nov 19 17:24:23 Finished developers                                               4s 188MB
Nov 19 17:24:24 Starting developers/bin
Nov 19 17:24:28 Finished developers/bin                                           3s  91MB
Nov 19 17:24:29 Starting misc
Nov 19 17:25:07 Finished misc                                                    37s   1GB
Nov 19 17:25:08 Starting compiler/proofs
Nov 19 18:24:46 Finished compiler/proofs                                      59m37s  11GB
Nov 19 18:24:47 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 20 00:03:08 Finished compiler/bootstrap/compilation/x64/64/proofs       5h38m18s  99GB
Nov 20 00:03:09 Starting semantics/ffi
Nov 20 00:03:18 Finished semantics/ffi                                            8s 523MB
Nov 20 00:03:19 Starting semantics
Nov 20 00:03:20 Finished semantics                                                0s  62MB
Nov 20 00:03:21 Starting semantics/proofs
Nov 20 00:03:42 Finished semantics/proofs                                        19s 851MB
Nov 20 00:03:43 Starting semantics/alt_semantics
Nov 20 00:04:00 Finished semantics/alt_semantics                                 16s 695MB
Nov 20 00:04:00 Starting semantics/alt_semantics/proofs
Nov 20 00:07:53 Finished semantics/alt_semantics/proofs                        3m51s   2GB
Nov 20 00:07:54 Starting basis/pure
Nov 20 00:07:55 Finished basis/pure                                               0s  96MB
Nov 20 00:07:56 Starting translator
Nov 20 00:09:04 Finished translator                                            1m06s   3GB
Nov 20 00:09:04 Starting compiler/parsing
Nov 20 00:09:06 Finished compiler/parsing                                         0s  68MB
Nov 20 00:09:07 Starting characteristic
Nov 20 00:09:09 Finished characteristic                                           1s 114MB
Nov 20 00:09:10 Starting translator/monadic
Nov 20 00:09:11 Finished translator/monadic                                       1s 122MB
Nov 20 00:09:12 Starting translator/monadic/monad_base
Nov 20 00:09:14 Finished translator/monadic/monad_base                            0s  64MB
Nov 20 00:09:14 Starting profiler
Nov 20 00:09:38 Finished profiler                                                22s   1GB
Nov 20 00:09:39 Starting basis
Nov 20 00:10:59 Finished basis                                                 1m19s   4GB
Nov 20 00:11:00 Starting compiler
Nov 20 00:11:03 Finished compiler                                                 2s 223MB
Nov 20 00:11:03 Starting compiler/inference
Nov 20 00:11:05 Finished compiler/inference                                       1s 110MB
Nov 20 00:11:06 Starting compiler/backend/reg_alloc
Nov 20 00:11:08 Finished compiler/backend/reg_alloc                               0s  88MB
Nov 20 00:11:09 Starting compiler/backend/gc
Nov 20 00:11:11 Finished compiler/backend/gc                                      1s 137MB
Nov 20 00:11:12 Starting compiler/backend
Nov 20 00:11:17 Finished compiler/backend                                         4s 263MB
Nov 20 00:11:18 Starting compiler/encoders/asm
Nov 20 00:11:19 Finished compiler/encoders/asm                                    0s  96MB
Nov 20 00:11:20 Starting compiler/encoders/x64
Nov 20 00:11:22 Finished compiler/encoders/x64                                    0s  93MB
Nov 20 00:11:23 Starting compiler/encoders/arm7
Nov 20 00:11:24 Finished compiler/encoders/arm7                                   0s  94MB
Nov 20 00:11:25 Starting compiler/encoders/arm8
Nov 20 00:11:27 Finished compiler/encoders/arm8                                   0s  91MB
Nov 20 00:11:28 Starting compiler/encoders/arm8_asl
Nov 20 02:09:04 Finished compiler/encoders/arm8_asl                         1h57m35s  30GB
Nov 20 02:09:05 Starting compiler/encoders/mips
Nov 20 02:09:06 Finished compiler/encoders/mips                                   0s  95MB
Nov 20 02:09:07 Starting compiler/encoders/riscv
Nov 20 02:09:09 Finished compiler/encoders/riscv                                  0s  95MB
Nov 20 02:09:10 Starting compiler/encoders/ag32
Nov 20 02:09:11 Finished compiler/encoders/ag32                                   0s  94MB
Nov 20 02:09:12 Starting compiler/encoders/tests
Nov 20 02:09:14 Finished compiler/encoders/tests                                  1s 124MB
Nov 20 02:09:15 Starting compiler/encoders/monadic_enc
Nov 20 02:09:35 Finished compiler/encoders/monadic_enc                           19s   1GB
Nov 20 02:09:36 Starting compiler/backend/x64
Nov 20 02:09:38 Finished compiler/backend/x64                                     1s 144MB
Nov 20 02:09:39 Starting compiler/backend/arm7
Nov 20 02:09:41 Finished compiler/backend/arm7                                    1s 141MB
Nov 20 02:09:42 Starting compiler/backend/arm8
Nov 20 02:09:44 Finished compiler/backend/arm8                                    1s 141MB
Nov 20 02:09:45 Starting compiler/backend/mips
Nov 20 02:09:47 Finished compiler/backend/mips                                    1s 144MB
Nov 20 02:09:48 Starting compiler/backend/riscv
Nov 20 02:09:50 Finished compiler/backend/riscv                                   1s 141MB
Nov 20 02:09:51 Starting compiler/backend/ag32
Nov 20 02:10:49 Finished compiler/backend/ag32                                   56s   3GB
Nov 20 02:10:49 Starting compiler/backend/pattern_matching
Nov 20 02:10:51 Finished compiler/backend/pattern_matching                        0s  63MB
Nov 20 02:10:52 Starting compiler/parsing/ocaml
Nov 20 02:12:34 Finished compiler/parsing/ocaml                                1m40s   1GB
Nov 20 02:12:34 Starting compiler/printing
Nov 20 02:12:36 Finished compiler/printing                                        1s 113MB
Nov 20 02:12:37 Starting compiler/parsing/proofs
Nov 20 02:12:39 Finished compiler/parsing/proofs                                  0s  69MB
Nov 20 02:12:40 Starting compiler/inference/proofs
Nov 20 02:12:41 Finished compiler/inference/proofs                                1s 110MB
Nov 20 02:12:42 Starting compiler/backend/semantics
Nov 20 02:15:01 Finished compiler/backend/semantics                            2m17s   2GB
Nov 20 02:15:02 Starting compiler/backend/reg_alloc/proofs
Nov 20 02:15:04 Finished compiler/backend/reg_alloc/proofs                        1s 119MB
Nov 20 02:15:05 Starting compiler/backend/proofs
Nov 20 02:15:46 Finished compiler/backend/proofs                                 40s   3GB
Nov 20 02:15:47 Starting compiler/backend/serialiser
Nov 20 02:15:50 Finished compiler/backend/serialiser                              1s 152MB
Nov 20 02:15:50 Starting compiler/encoders/x64/proofs
Nov 20 02:15:52 Finished compiler/encoders/x64/proofs                             0s  94MB
Nov 20 02:15:53 Starting compiler/encoders/arm7/proofs
Nov 20 02:26:19 Finished compiler/encoders/arm7/proofs                        10m25s   9GB
Nov 20 02:26:20 Starting compiler/encoders/arm8/proofs
Nov 20 02:32:41 Finished compiler/encoders/arm8/proofs                         6m18s   5GB
Nov 20 02:32:42 Starting compiler/encoders/arm8_asl/proofs
Nov 20 03:20:45 Finished compiler/encoders/arm8_asl/proofs                    48m01s  20GB
Nov 20 03:20:45 Starting compiler/encoders/mips/proofs
Nov 20 03:29:25 Finished compiler/encoders/mips/proofs                         8m38s   8GB
Nov 20 03:29:26 Starting compiler/encoders/riscv/proofs
Nov 20 03:37:15 Finished compiler/encoders/riscv/proofs                        7m48s   5GB
Nov 20 03:37:16 Starting compiler/encoders/ag32/proofs
Nov 20 03:39:50 Finished compiler/encoders/ag32/proofs                         2m32s   1GB
Nov 20 03:39:51 Starting compiler/backend/x64/proofs
Nov 20 03:39:54 Finished compiler/backend/x64/proofs                              2s 219MB
Nov 20 03:39:55 Starting compiler/backend/arm7/proofs
Nov 20 03:40:27 Finished compiler/backend/arm7/proofs                            31s   2GB
Nov 20 03:40:28 Starting compiler/backend/arm8/proofs
Nov 20 03:40:59 Finished compiler/backend/arm8/proofs                            30s   2GB
Nov 20 03:40:59 Starting compiler/backend/arm8_asl
Nov 20 03:41:22 Finished compiler/backend/arm8_asl                               21s   2GB
Nov 20 03:41:22 Starting compiler/backend/mips/proofs
Nov 20 03:41:55 Finished compiler/backend/mips/proofs                            31s   2GB
Nov 20 03:41:56 Starting compiler/backend/riscv/proofs
Nov 20 03:42:32 Finished compiler/backend/riscv/proofs                           34s   2GB
Nov 20 03:42:32 Starting compiler/backend/ag32/proofs
Nov 20 03:53:02 Finished compiler/backend/ag32/proofs                         10m28s   5GB
Nov 20 03:53:03 Starting compiler/backend/cv_compute
Nov 20 03:53:28 Finished compiler/backend/cv_compute                             23s   1GB
Nov 20 03:53:29 Starting cv_translator
Nov 20 03:58:23 Finished cv_translator                                         4m53s   3GB
Nov 20 03:58:24 Starting candle
Nov 20 03:58:25 Finished candle                                                   0s  13MB
Nov 20 03:58:25 Starting candle/set-theory
Nov 20 03:58:52 Finished candle/set-theory                                       25s 929MB
Nov 20 03:58:53 Starting candle/syntax-lib
Nov 20 03:58:54 Finished candle/syntax-lib                                        0s  93MB
Nov 20 03:58:55 Starting candle/standard
Nov 20 03:58:56 Finished candle/standard                                          0s  14MB
Nov 20 03:58:57 Starting candle/standard/syntax
Nov 20 03:59:09 Finished candle/standard/syntax                                  10s 790MB
Nov 20 03:59:09 Starting candle/standard/semantics
Nov 20 04:01:03 Finished candle/standard/semantics                             1m52s   2GB
Nov 20 04:01:04 Starting candle/standard/monadic
Nov 20 04:01:06 Finished candle/standard/monadic                                  1s 115MB
Nov 20 04:01:07 Starting candle/standard/ml_kernel
Nov 20 04:02:47 Finished candle/standard/ml_kernel                             1m39s   4GB
Nov 20 04:02:48 Starting candle/standard/ml_kernel/lisp
Nov 20 04:02:50 Finished candle/standard/ml_kernel/lisp                           0s  56MB
Nov 20 04:02:50 Starting candle/overloading
Nov 20 04:02:51 Finished candle/overloading                                       0s  15MB
Nov 20 04:02:52 Starting candle/overloading/syntax
Nov 20 04:05:42 Finished candle/overloading/syntax                             2m49s   1GB
Nov 20 04:05:43 Starting candle/overloading/semantics
Nov 20 04:15:35 Finished candle/overloading/semantics                          9m50s   8GB
Nov 20 04:15:35 Starting candle/overloading/monadic
Nov 20 04:17:34 Finished candle/overloading/monadic                            1m56s   1GB
Nov 20 04:17:35 Starting candle/overloading/ml_kernel
Nov 20 04:23:36 Finished candle/overloading/ml_kernel                          6m00s   6GB
Nov 20 04:23:37 Starting candle/overloading/ml_checker
Nov 20 04:25:42 Finished candle/overloading/ml_checker                         2m04s   6GB
Nov 20 04:25:43 Starting candle/prover
Nov 20 04:25:46 Finished candle/prover                                            1s 168MB
Nov 20 04:25:46 Starting candle/prover/compute
Nov 20 04:25:49 Finished candle/prover/compute                                    1s 144MB
Nov 20 04:25:50 Starting pancake
Nov 20 04:25:52 Finished pancake                                                  1s 132MB
Nov 20 04:25:53 Starting pancake/semantics
Nov 20 04:28:18 Finished pancake/semantics                                     2m24s   1GB
Nov 20 04:28:19 Starting pancake/parser
Nov 20 04:28:47 Finished pancake/parser                                          27s 496MB
Nov 20 04:28:48 Starting pancake/static_checker
Nov 20 04:29:50 Finished pancake/static_checker                                1m01s   1GB
Nov 20 04:29:51 Starting pancake/proofs
Nov 20 04:43:43 Finished pancake/proofs                                       13m51s   8GB
Nov 20 04:43:43 Starting compiler/dafny
Nov 20 04:44:08 Finished compiler/dafny                                          23s 703MB
Nov 20 04:44:08 Starting compiler/dafny/translation
Nov 20 04:52:36 Finished compiler/dafny/translation                            8m26s   5GB
Nov 20 04:52:37 Starting compiler/dafny/compilation
Nov 20 04:54:18 Finished compiler/dafny/compilation                            1m40s   5GB
Nov 20 04:54:19 Starting compiler/dafny/semantics
Nov 20 04:54:51 Finished compiler/dafny/semantics                                30s 564MB
Nov 20 04:54:51 Starting compiler/dafny/proofs
Nov 20 04:56:09 Finished compiler/dafny/proofs                                 1m16s   1GB
Nov 20 04:56:10 Starting compiler/dafny/vcg
Nov 20 04:57:22 Finished compiler/dafny/vcg                                    1m11s   1GB
Nov 20 04:57:23 Starting compiler/scheme
Nov 20 04:57:47 Finished compiler/scheme                                         23s   1GB
Nov 20 04:57:48 Starting compiler/scheme/translation
Nov 20 05:04:09 Finished compiler/scheme/translation                           6m20s   6GB
Nov 20 05:04:10 Starting compiler/scheme/compilation
Nov 20 05:05:23 Finished compiler/scheme/compilation                           1m11s   4GB
Nov 20 05:05:23 Starting compiler/scheme/proofs
Nov 20 05:20:26 Finished compiler/scheme/proofs                               15m01s  41GB
Nov 20 05:20:26 Starting characteristic/examples
Nov 20 05:21:45 Finished characteristic/examples                               1m17s   4GB
Nov 20 05:21:45 Starting tutorial/solutions
Nov 20 05:24:04 Finished tutorial/solutions                                    2m17s   4GB
Nov 20 05:24:05 Starting translator/monadic/examples
Nov 20 05:26:48 Finished translator/monadic/examples                           2m42s   4GB
Nov 20 05:26:49 Starting examples
Nov 20 05:31:27 Finished examples                                              4m37s   4GB
Nov 20 05:31:28 Starting examples/compilation
Nov 20 05:31:29 Finished examples/compilation                                     0s  14MB
Nov 20 05:31:30 Starting examples/compilation/x64
Nov 20 05:38:11 Finished examples/compilation/x64                              6m39s   4GB
Nov 20 05:38:12 Starting examples/compilation/x64/proofs
Nov 20 05:40:41 Finished examples/compilation/x64/proofs                       2m27s   4GB
Nov 20 05:40:42 Starting examples/compilation/ag32
Nov 20 05:42:33 Finished examples/compilation/ag32                             1m50s   3GB
Nov 20 05:42:34 Starting examples/compilation/ag32/proofs
Nov 20 05:43:35 Finished examples/compilation/ag32/proofs                      1m00s   5GB
Nov 20 05:43:36 Starting examples/lpr_checker
Nov 20 05:44:08 Finished examples/lpr_checker                                    30s   1GB
Nov 20 05:44:08 Starting examples/lpr_checker/array
Nov 20 05:56:30 Finished examples/lpr_checker/array                           12m20s   6GB
Nov 20 05:56:31 Starting examples/lpr_checker/array/compilation
Nov 20 05:58:46 Finished examples/lpr_checker/array/compilation                2m13s   6GB
Nov 20 05:58:46 Starting examples/lpr_checker/array/compilation/proofs
Nov 20 05:59:55 Finished examples/lpr_checker/array/compilation/proofs         1m07s   5GB
Nov 20 05:59:56 Starting examples/lpr_checker/array/compilation/proofsARM8
Nov 20 06:01:04 Finished examples/lpr_checker/array/compilation/proofsARM8     1m07s   5GB
Nov 20 06:01:05 Starting .
Nov 20 06:01:09 Finished .                                                        3s 327MB
Nov 20 06:01:10 Starting examples/xlrup_checker
Nov 20 06:01:56 Finished examples/xlrup_checker                                  45s   1GB
Nov 20 06:01:57 Starting examples/xlrup_checker/array
Nov 20 06:11:15 Finished examples/xlrup_checker/array                          9m17s   5GB
Nov 20 06:11:16 Starting examples/xlrup_checker/array/compilation
Nov 20 06:12:25 Finished examples/xlrup_checker/array/compilation              1m08s   4GB
Nov 20 06:12:26 Starting examples/xlrup_checker/array/compilation/proofs
Nov 20 06:13:26 Finished examples/xlrup_checker/array/compilation/proofs         58s   4GB
Nov 20 06:13:26 Starting examples/scpog_checker
Nov 20 06:14:08 Finished examples/scpog_checker                                  41s   1GB
Nov 20 06:14:09 Starting examples/scpog_checker/array
Nov 20 06:19:45 Finished examples/scpog_checker/array                          5m35s   4GB
Nov 20 06:19:46 Starting examples/scpog_checker/array/compilation
Nov 20 06:21:34 Finished examples/scpog_checker/array/compilation              1m46s   7GB
Nov 20 06:21:35 Starting examples/scpog_checker/array/compilation/proofs
Nov 20 06:22:45 Finished examples/scpog_checker/array/compilation/proofs       1m09s   6GB
Nov 20 06:22:46 Starting examples/pseudo_bool
Nov 20 06:24:31 Finished examples/pseudo_bool                                  1m44s   1GB
Nov 20 06:24:32 Starting examples/pseudo_bool/cnf_encoding
Nov 20 06:24:59 Finished examples/pseudo_bool/cnf_encoding                       26s   1GB
Nov 20 06:25:00 Starting examples/pseudo_bool/graph_encoding
Nov 20 06:25:37 Finished examples/pseudo_bool/graph_encoding                     36s   1GB
Nov 20 06:25:38 Starting examples/pseudo_bool/array
Nov 20 07:01:06 Finished examples/pseudo_bool/array                           35m26s  18GB
Nov 20 07:01:07 Starting examples/pseudo_bool/array/compilation
Nov 20 07:10:59 Finished examples/pseudo_bool/array/compilation                9m50s  17GB
Nov 20 07:11:00 Starting examples/pseudo_bool/array/compilation/proofs
Nov 20 07:13:39 Finished examples/pseudo_bool/array/compilation/proofs         2m38s   7GB
Nov 20 07:13:40 Starting examples/pseudo_bool/array/compilation/proofsARM8
Nov 20 07:14:59 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m17s   7GB
Nov 20 07:14:59 Starting examples/opentheory
Nov 20 07:21:58 Finished examples/opentheory                                   6m57s   5GB
Nov 20 07:21:59 Starting examples/opentheory/compilation
Nov 20 07:23:24 Finished examples/opentheory/compilation                       1m23s   5GB
Nov 20 07:23:25 Starting examples/opentheory/compilation/proofs
Nov 20 07:24:23 Finished examples/opentheory/compilation/proofs                  57s   4GB
Nov 20 07:24:24 Starting examples/opentheory/compilation/ag32
Nov 20 07:25:53 Finished examples/opentheory/compilation/ag32                  1m28s   6GB
Nov 20 07:25:54 Starting examples/opentheory/compilation/ag32/proofs
Nov 20 07:27:24 Finished examples/opentheory/compilation/ag32/proofs           1m28s   8GB
Nov 20 07:27:25 Starting examples/sat_encodings
Nov 20 07:28:23 Finished examples/sat_encodings                                  57s 720MB
Nov 20 07:28:24 Starting examples/sat_encodings/demo
Nov 20 07:28:25 Finished examples/sat_encodings/demo                              0s  16MB
Nov 20 07:28:25 Starting examples/sat_encodings/case_studies
Nov 20 07:29:58 Finished examples/sat_encodings/case_studies                   1m31s   1GB
Nov 20 07:29:59 Starting examples/sat_encodings/translation
Nov 20 07:33:08 Finished examples/sat_encodings/translation                    3m07s   3GB
Nov 20 07:33:09 Starting examples/sat_encodings/translation/compilation
Nov 20 07:34:55 Finished examples/sat_encodings/translation/compilation        1m45s   4GB
Nov 20 07:34:56 Starting examples/deflate
Nov 20 07:35:15 Finished examples/deflate                                        17s 461MB
Nov 20 07:35:16 Starting examples/deflate/translation
Nov 20 07:36:09 Finished examples/deflate/translation                            52s   2GB
Nov 20 07:36:09 Starting examples/deflate/translation/compilation
Nov 20 07:36:59 Finished examples/deflate/translation/compilation                49s   3GB
Nov 20 07:37:00 Starting examples/vipr
Nov 20 07:39:57 Finished examples/vipr                                         2m56s   9GB
Nov 20 07:39:58 Starting examples/vipr/compilation
Nov 20 07:40:53 Finished examples/vipr/compilation                               53s   4GB
Nov 20 07:40:53 Starting translator/okasaki-examples
Nov 20 07:43:56 Finished translator/okasaki-examples                           3m01s   2GB
Nov 20 07:43:57 Starting translator/other-examples
Nov 20 07:46:07 Finished translator/other-examples                             2m09s   2GB
Nov 20 07:46:08 Starting translator/other-examples/auxiliary
Nov 20 07:46:09 Finished translator/other-examples/auxiliary                      0s  19MB
Nov 20 07:46:10 Starting compiler/parsing/tests
Nov 20 07:46:44 Finished compiler/parsing/tests                                  32s   1GB
Nov 20 07:46:45 Starting compiler/inference/tests
Nov 20 07:47:20 Finished compiler/inference/tests                                34s   2GB
Nov 20 07:47:21 Starting compiler/printing/test
Nov 20 07:48:30 Finished compiler/printing/test                                1m08s   5GB
Nov 20 07:48:31 Starting compiler/repl
Nov 20 07:48:35 Finished compiler/repl                                            2s 263MB
Nov 20 07:48:36 Starting unverified/sexpr-bootstrap/x64/64
Nov 20 07:52:30 Finished unverified/sexpr-bootstrap/x64/64                     3m53s  16GB
Nov 20 07:52:31 Starting unverified/sexpr-bootstrap/x64/32
Nov 20 09:43:03 Finished unverified/sexpr-bootstrap/x64/32                  1h50m30s  86GB
Nov 20 09:43:04 Starting compiler/benchmarks
Nov 20 09:43:51 Finished compiler/benchmarks                                     46s 747MB
Nov 20 09:43:51 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Nov 20 09:43:55 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 279MB
Nov 20 09:43:56 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Nov 20 09:43:59 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 280MB
Nov 20 09:44:00 Starting compiler/bootstrap/translation
Nov 20 09:44:04 Finished compiler/bootstrap/translation                           2s 257MB
Nov 20 09:44:05 Starting compiler/bootstrap/compilation/x64/64
Nov 20 09:46:58 Finished compiler/bootstrap/compilation/x64/64                 2m52s  17GB
Nov 20 09:46:59 Starting compiler/bootstrap/compilation/x64/32
Nov 20 10:12:26 Finished compiler/bootstrap/compilation/x64/32                25m26s  65GB
Nov 20 10:12:27 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 20 10:16:35 Finished compiler/bootstrap/compilation/x64/32/proofs          4m07s  23GB
Nov 20 10:16:36 Starting compiler/bootstrap/compilation/arm8/64
Nov 20 10:55:17 Finished compiler/bootstrap/compilation/arm8/64               38m39s  82GB
Nov 20 10:55:18 Starting compiler/bootstrap/compilation/arm8/64/proofs
Nov 20 11:00:59 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m40s  30GB
Nov 20 11:01:00 Starting compiler/bootstrap/compilation/ag32/32
Nov 20 11:29:04 Finished compiler/bootstrap/compilation/ag32/32               28m02s  71GB
Nov 20 11:29:04 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 20 11:33:55 Finished compiler/bootstrap/compilation/ag32/32/proofs         4m50s  31GB
Nov 20 11:33:56 SUCCESS