Job 3223

CakeML:6f785f352b46b1e1e28431644d87b3a30d1d2a0d
  Fix flat_elimProof do_app_SOME_flat_state_rel for Src wrapper [Feb 18 03:59:28]
#1337 (issue1336)
Merging into:6b9443ccd70531cefb3edacf71ac05a6be67a277
  Remove inc_config (Issue #1081) (#1335) [Feb 16 08:42:14]
HOL:b725f6e8834462a5b4bb2fb67b35e36f368cb8b6
  Tweak regular Holmakefile to clean selftest's log [Jan 30 05:30:27]
Machine:lammmington

Feb 18 08:04:08 Claimed job
Feb 18 08:04:12 Reusing HOL
Feb 18 08:04:20 Starting developers
Feb 18 08:04:25 Finished developers                                               4s 206MB
Feb 18 08:04:26 Starting developers/bin
Feb 18 08:04:30 Finished developers/bin                                           3s  90MB
Feb 18 08:04:31 Starting misc
Feb 18 08:05:15 Finished misc                                                    42s   1GB
Feb 18 08:05:15 Starting compiler/proofs
Feb 18 09:04:12 Finished compiler/proofs                                      58m56s  12GB
Feb 18 09:04:13 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 18 15:06:22 Finished compiler/bootstrap/compilation/x64/64/proofs       6h02m07s  81GB
Feb 18 15:06:23 Starting semantics/ffi
Feb 18 15:06:34 Finished semantics/ffi                                           10s 540MB
Feb 18 15:06:35 Starting semantics
Feb 18 15:06:37 Finished semantics                                                1s  94MB
Feb 18 15:06:37 Starting semantics/proofs
Feb 18 15:07:01 Finished semantics/proofs                                        22s 964MB
Feb 18 15:07:01 Starting semantics/alt_semantics
Feb 18 15:07:21 Finished semantics/alt_semantics                                 19s 709MB
Feb 18 15:07:22 Starting semantics/alt_semantics/proofs
Feb 18 15:10:49 Finished semantics/alt_semantics/proofs                        3m26s   2GB
Feb 18 15:10:50 Starting basis/pure
Feb 18 15:10:52 Finished basis/pure                                               0s  86MB
Feb 18 15:10:53 Starting translator
Feb 18 15:11:56 Finished translator                                            1m02s   2GB
Feb 18 15:11:57 Starting compiler/parsing
Feb 18 15:11:59 Finished compiler/parsing                                         1s 100MB
Feb 18 15:12:00 Starting characteristic
Feb 18 15:12:02 Finished characteristic                                           1s 114MB
Feb 18 15:12:03 Starting translator/monadic
Feb 18 15:12:05 Finished translator/monadic                                       1s 122MB
Feb 18 15:12:06 Starting translator/monadic/monad_base
Feb 18 15:12:08 Finished translator/monadic/monad_base                            0s  98MB
Feb 18 15:12:09 Starting profiler
Feb 18 15:12:34 Finished profiler                                                24s   1GB
Feb 18 15:12:35 Starting basis
Feb 18 15:14:12 Finished basis                                                 1m35s   4GB
Feb 18 15:14:13 Starting compiler
Feb 18 15:14:16 Finished compiler                                                 2s 222MB
Feb 18 15:14:17 Starting compiler/inference
Feb 18 15:14:19 Finished compiler/inference                                       1s 110MB
Feb 18 15:14:20 Starting compiler/backend/reg_alloc
Feb 18 15:14:22 Finished compiler/backend/reg_alloc                               1s  91MB
Feb 18 15:14:23 Starting compiler/backend/gc
Feb 18 15:14:25 Finished compiler/backend/gc                                      1s 135MB
Feb 18 15:14:26 Starting compiler/backend
Feb 18 15:14:32 Finished compiler/backend                                         4s 230MB
Feb 18 15:14:33 Starting compiler/encoders/asm
Feb 18 15:14:35 Finished compiler/encoders/asm                                    1s  99MB
Feb 18 15:14:35 Starting compiler/encoders/x64
Feb 18 15:14:37 Finished compiler/encoders/x64                                    1s 110MB
Feb 18 15:14:38 Starting compiler/encoders/arm7
Feb 18 15:14:40 Finished compiler/encoders/arm7                                   1s 110MB
Feb 18 15:14:41 Starting compiler/encoders/arm8
Feb 18 15:14:43 Finished compiler/encoders/arm8                                   1s 106MB
Feb 18 15:14:44 Starting compiler/encoders/arm8_asl
Feb 18 15:14:59 Finished compiler/encoders/arm8_asl                              13s   1GB
Feb 18 15:14:59 Starting compiler/encoders/mips
Feb 18 15:15:01 Finished compiler/encoders/mips                                   1s 109MB
Feb 18 15:15:02 Starting compiler/encoders/riscv
Feb 18 15:15:04 Finished compiler/encoders/riscv                                  1s 106MB
Feb 18 15:15:05 Starting compiler/encoders/ag32
Feb 18 15:15:07 Finished compiler/encoders/ag32                                   1s 105MB
Feb 18 15:15:08 Starting compiler/encoders/tests
Feb 18 15:15:10 Finished compiler/encoders/tests                                  1s 119MB
Feb 18 15:15:11 Starting compiler/encoders/monadic_enc
Feb 18 15:15:34 Finished compiler/encoders/monadic_enc                           22s   1GB
Feb 18 15:15:35 Starting compiler/backend/x64
Feb 18 15:15:37 Finished compiler/backend/x64                                     1s 146MB
Feb 18 15:15:38 Starting compiler/backend/arm7
Feb 18 15:15:41 Finished compiler/backend/arm7                                    1s 146MB
Feb 18 15:15:42 Starting compiler/backend/arm8
Feb 18 15:15:44 Finished compiler/backend/arm8                                    1s 146MB
Feb 18 15:15:45 Starting compiler/backend/mips
Feb 18 15:15:47 Finished compiler/backend/mips                                    1s 146MB
Feb 18 15:15:48 Starting compiler/backend/riscv
Feb 18 15:15:51 Finished compiler/backend/riscv                                   1s 146MB
Feb 18 15:15:51 Starting compiler/backend/ag32
Feb 18 15:16:51 Finished compiler/backend/ag32                                   58s   2GB
Feb 18 15:16:51 Starting compiler/backend/pattern_matching
Feb 18 15:16:53 Finished compiler/backend/pattern_matching                        1s  91MB
Feb 18 15:16:54 Starting compiler/parsing/ocaml
Feb 18 15:18:37 Finished compiler/parsing/ocaml                                1m42s   1GB
Feb 18 15:18:38 Starting compiler/printing
Feb 18 15:19:34 Finished compiler/printing                                       54s   1GB
Feb 18 15:19:34 Starting compiler/parsing/proofs
Feb 18 15:19:37 Finished compiler/parsing/proofs                                  1s 103MB
Feb 18 15:19:37 Starting compiler/inference/proofs
Feb 18 15:19:40 Finished compiler/inference/proofs                                1s 121MB
Feb 18 15:19:40 Starting compiler/backend/semantics
Feb 18 15:21:38 Finished compiler/backend/semantics                            1m56s   1GB
Feb 18 15:21:38 Starting compiler/backend/reg_alloc/proofs
Feb 18 15:21:41 Finished compiler/backend/reg_alloc/proofs                        1s 118MB
Feb 18 15:21:42 Starting compiler/backend/proofs
Feb 18 15:22:21 Finished compiler/backend/proofs                                 38s   3GB
Feb 18 15:22:22 Starting compiler/backend/serialiser
Feb 18 15:22:25 Finished compiler/backend/serialiser                              1s 152MB
Feb 18 15:22:26 Starting compiler/encoders/x64/proofs
Feb 18 15:22:28 Finished compiler/encoders/x64/proofs                             1s 106MB
Feb 18 15:22:28 Starting compiler/encoders/arm7/proofs
Feb 18 15:33:05 Finished compiler/encoders/arm7/proofs                        10m35s   6GB
Feb 18 15:33:06 Starting compiler/encoders/arm8/proofs
Feb 18 15:39:43 Finished compiler/encoders/arm8/proofs                         6m36s   6GB
Feb 18 15:39:44 Starting compiler/encoders/arm8_asl/proofs
Feb 18 15:54:57 Finished compiler/encoders/arm8_asl/proofs                    15m11s   3GB
Feb 18 15:54:58 Starting compiler/encoders/mips/proofs
Feb 18 16:03:45 Finished compiler/encoders/mips/proofs                         8m46s  11GB
Feb 18 16:03:45 Starting compiler/encoders/riscv/proofs
Feb 18 16:11:25 Finished compiler/encoders/riscv/proofs                        7m39s   7GB
Feb 18 16:11:26 Starting compiler/encoders/ag32/proofs
Feb 18 16:14:03 Finished compiler/encoders/ag32/proofs                         2m36s   2GB
Feb 18 16:14:04 Starting compiler/backend/x64/proofs
Feb 18 16:14:07 Finished compiler/backend/x64/proofs                              2s 226MB
Feb 18 16:14:08 Starting compiler/backend/arm7/proofs
Feb 18 16:14:45 Finished compiler/backend/arm7/proofs                            36s   2GB
Feb 18 16:14:46 Starting compiler/backend/arm8/proofs
Feb 18 16:15:19 Finished compiler/backend/arm8/proofs                            31s   2GB
Feb 18 16:15:20 Starting compiler/backend/arm8_asl
Feb 18 16:15:44 Finished compiler/backend/arm8_asl                               23s   1GB
Feb 18 16:15:45 Starting compiler/backend/mips/proofs
Feb 18 16:16:19 Finished compiler/backend/mips/proofs                            33s   2GB
Feb 18 16:16:20 Starting compiler/backend/riscv/proofs
Feb 18 16:16:57 Finished compiler/backend/riscv/proofs                           35s   2GB
Feb 18 16:16:58 Starting compiler/backend/ag32/proofs
Feb 18 16:27:46 Finished compiler/backend/ag32/proofs                         10m47s   4GB
Feb 18 16:27:47 Starting compiler/backend/cv_compute
Feb 18 16:28:14 Finished compiler/backend/cv_compute                             26s   1GB
Feb 18 16:28:15 Starting cv_translator
Feb 18 16:33:29 Finished cv_translator                                         5m12s   5GB
Feb 18 16:33:29 Starting candle
Feb 18 16:33:30 Finished candle                                                   0s  16MB
Feb 18 16:33:31 Starting candle/set-theory
Feb 18 16:34:00 Finished candle/set-theory                                       28s 958MB
Feb 18 16:34:01 Starting candle/syntax-lib
Feb 18 16:34:03 Finished candle/syntax-lib                                        0s  85MB
Feb 18 16:34:04 Starting candle/standard
Feb 18 16:34:05 Finished candle/standard                                          0s  14MB
Feb 18 16:34:06 Starting candle/standard/syntax
Feb 18 16:34:20 Finished candle/standard/syntax                                  13s 774MB
Feb 18 16:34:20 Starting candle/standard/semantics
Feb 18 16:36:30 Finished candle/standard/semantics                             2m08s   3GB
Feb 18 16:36:30 Starting candle/standard/monadic
Feb 18 16:36:33 Finished candle/standard/monadic                                  1s 121MB
Feb 18 16:36:33 Starting candle/standard/ml_kernel
Feb 18 16:38:28 Finished candle/standard/ml_kernel                             1m53s   4GB
Feb 18 16:38:29 Starting candle/overloading
Feb 18 16:38:29 Finished candle/overloading                                       0s  17MB
Feb 18 16:38:30 Starting candle/overloading/syntax
Feb 18 16:41:32 Finished candle/overloading/syntax                             3m00s   2GB
Feb 18 16:41:33 Starting candle/overloading/semantics
Feb 18 16:51:42 Finished candle/overloading/semantics                         10m08s   5GB
Feb 18 16:51:43 Starting candle/overloading/monadic
Feb 18 16:53:44 Finished candle/overloading/monadic                            1m59s   1GB
Feb 18 16:53:44 Starting candle/overloading/ml_kernel
Feb 18 16:59:53 Finished candle/overloading/ml_kernel                          6m07s   7GB
Feb 18 16:59:54 Starting candle/overloading/ml_checker
Feb 18 17:02:13 Finished candle/overloading/ml_checker                         2m18s   6GB
Feb 18 17:02:14 Starting candle/prover
Feb 18 17:02:17 Finished candle/prover                                            2s 174MB
Feb 18 17:02:18 Starting candle/prover/compute
Feb 18 17:02:21 Finished candle/prover/compute                                    1s 163MB
Feb 18 17:02:22 Starting pancake
Feb 18 17:02:24 Finished pancake                                                  1s 150MB
Feb 18 17:02:25 Starting pancake/semantics
Feb 18 17:05:08 Finished pancake/semantics                                     2m41s   1GB
Feb 18 17:05:09 Starting pancake/parser
Feb 18 17:05:39 Finished pancake/parser                                          29s 626MB
Feb 18 17:05:40 Starting pancake/static_checker
Feb 18 17:06:46 Finished pancake/static_checker                                1m05s   1GB
Feb 18 17:06:46 Starting pancake/proofs
Feb 18 17:21:04 Finished pancake/proofs                                       14m16s   4GB
Feb 18 17:21:05 Starting compiler/dafny
Feb 18 17:21:30 Finished compiler/dafny                                          23s 722MB
Feb 18 17:21:30 Starting compiler/dafny/translation
Feb 18 17:30:41 Finished compiler/dafny/translation                            9m09s   6GB
Feb 18 17:30:42 Starting compiler/dafny/compilation
Feb 18 17:32:29 Finished compiler/dafny/compilation                            1m46s   6GB
Feb 18 17:32:30 Starting compiler/dafny/semantics
Feb 18 17:33:07 Finished compiler/dafny/semantics                                36s 572MB
Feb 18 17:33:08 Starting compiler/dafny/proofs
Feb 18 17:34:36 Finished compiler/dafny/proofs                                 1m26s   1GB
Feb 18 17:34:37 Starting compiler/dafny/vcg
Feb 18 17:34:39 Finished compiler/dafny/vcg                                       1s 112MB
Feb 18 17:34:40 Starting compiler/dafny/vcg/examples
Feb 18 17:35:04 Finished compiler/dafny/vcg/examples                             23s 837MB
Feb 18 17:35:05 Starting compiler/scheme
Feb 18 17:35:34 Finished compiler/scheme                                         28s   1GB
Feb 18 17:35:35 Starting compiler/scheme/translation
Feb 18 17:41:45 Finished compiler/scheme/translation                           6m09s   7GB
Feb 18 17:41:46 Starting compiler/scheme/compilation
Feb 18 17:43:06 Finished compiler/scheme/compilation                           1m18s   4GB
Feb 18 17:43:06 Starting compiler/scheme/proofs
Feb 18 17:49:29 Finished compiler/scheme/proofs                                6m21s   3GB
Feb 18 17:49:29 Starting characteristic/examples
Feb 18 17:50:54 Finished characteristic/examples                               1m23s   5GB
Feb 18 17:50:55 Starting tutorial/solutions
Feb 18 17:53:31 Finished tutorial/solutions                                    2m35s   3GB
Feb 18 17:53:31 Starting translator/monadic/examples
Feb 18 17:56:33 Finished translator/monadic/examples                           3m00s   4GB
Feb 18 17:56:34 Starting examples
Feb 18 18:00:54 Finished examples                                              4m19s   5GB
Feb 18 18:00:55 Starting examples/compilation
Feb 18 18:00:56 Finished examples/compilation                                     0s  15MB
Feb 18 18:00:57 Starting examples/compilation/x64
Feb 18 18:08:02 Finished examples/compilation/x64                              7m03s   4GB
Feb 18 18:08:03 Starting examples/compilation/x64/proofs
Feb 18 18:10:46 Finished examples/compilation/x64/proofs                       2m42s   4GB
Feb 18 18:10:47 Starting examples/compilation/ag32
Feb 18 18:12:52 Finished examples/compilation/ag32                             2m04s   3GB
Feb 18 18:12:52 Starting examples/compilation/ag32/proofs
Feb 18 18:13:58 Finished examples/compilation/ag32/proofs                      1m04s   5GB
Feb 18 18:13:59 Starting examples/lpr_checker
Feb 18 18:14:36 Finished examples/lpr_checker                                    36s   1GB
Feb 18 18:14:37 Starting examples/lpr_checker/array
Feb 18 18:26:45 Finished examples/lpr_checker/array                           12m06s  11GB
Feb 18 18:26:46 Starting examples/lpr_checker/array/compilation
Feb 18 18:29:19 Finished examples/lpr_checker/array/compilation                2m33s   7GB
Feb 18 18:29:20 Starting examples/lpr_checker/array/compilation/proofs
Feb 18 18:30:38 Finished examples/lpr_checker/array/compilation/proofs         1m16s   5GB
Feb 18 18:30:38 Starting examples/lpr_checker/array/compilation/proofsARM8
Feb 18 18:31:54 Finished examples/lpr_checker/array/compilation/proofsARM8     1m14s   5GB
Feb 18 18:31:55 Starting .
Feb 18 18:31:59 Finished .                                                        3s 336MB
Feb 18 18:32:00 Starting examples/xlrup_checker
Feb 18 18:32:50 Finished examples/xlrup_checker                                  49s   1GB
Feb 18 18:32:51 Starting examples/xlrup_checker/array
Feb 18 18:41:35 Finished examples/xlrup_checker/array                          8m42s   4GB
Feb 18 18:41:36 Starting examples/xlrup_checker/array/compilation
Feb 18 18:42:53 Finished examples/xlrup_checker/array/compilation              1m16s   4GB
Feb 18 18:42:54 Starting examples/xlrup_checker/array/compilation/proofs
Feb 18 18:44:02 Finished examples/xlrup_checker/array/compilation/proofs       1m07s   4GB
Feb 18 18:44:03 Starting examples/scpog_checker
Feb 18 18:44:50 Finished examples/scpog_checker                                  45s   2GB
Feb 18 18:44:51 Starting examples/scpog_checker/array
Feb 18 18:50:12 Finished examples/scpog_checker/array                          5m20s   4GB
Feb 18 18:50:12 Starting examples/scpog_checker/array/compilation
Feb 18 18:52:13 Finished examples/scpog_checker/array/compilation              1m59s   7GB
Feb 18 18:52:14 Starting examples/scpog_checker/array/compilation/proofs
Feb 18 18:53:34 Finished examples/scpog_checker/array/compilation/proofs       1m19s   5GB
Feb 18 18:53:35 Starting examples/pseudo_bool
Feb 18 18:55:37 Finished examples/pseudo_bool                                  2m01s   2GB
Feb 18 18:55:38 Starting examples/pseudo_bool/cnf_encoding
Feb 18 18:56:11 Finished examples/pseudo_bool/cnf_encoding                       31s 990MB
Feb 18 18:56:11 Starting examples/pseudo_bool/graph_encoding
Feb 18 18:56:58 Finished examples/pseudo_bool/graph_encoding                     45s   1GB
Feb 18 18:56:59 Starting examples/pseudo_bool/array
Feb 18 19:30:46 Finished examples/pseudo_bool/array                           33m46s  23GB
Feb 18 19:30:47 Starting examples/pseudo_bool/array/compilation
Feb 18 19:41:16 Finished examples/pseudo_bool/array/compilation               10m28s  18GB
Feb 18 19:41:17 Starting examples/pseudo_bool/array/compilation/proofs
Feb 18 19:44:20 Finished examples/pseudo_bool/array/compilation/proofs         3m01s   7GB
Feb 18 19:44:21 Starting examples/pseudo_bool/array/compilation/proofsARM8
Feb 18 19:45:45 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m23s   6GB
Feb 18 19:45:46 Starting examples/opentheory
Feb 18 19:52:42 Finished examples/opentheory                                   6m55s   5GB
Feb 18 19:52:43 Starting examples/opentheory/compilation
Feb 18 19:54:21 Finished examples/opentheory/compilation                       1m36s   6GB
Feb 18 19:54:21 Starting examples/opentheory/compilation/proofs
Feb 18 19:55:34 Finished examples/opentheory/compilation/proofs                1m11s   4GB
Feb 18 19:55:35 Starting examples/opentheory/compilation/ag32
Feb 18 19:57:16 Finished examples/opentheory/compilation/ag32                  1m39s   6GB
Feb 18 19:57:16 Starting examples/opentheory/compilation/ag32/proofs
Feb 18 19:58:56 Finished examples/opentheory/compilation/ag32/proofs           1m38s   7GB
Feb 18 19:58:57 Starting examples/sat_encodings
Feb 18 20:00:06 Finished examples/sat_encodings                                1m08s 835MB
Feb 18 20:00:07 Starting examples/sat_encodings/demo
Feb 18 20:00:08 Finished examples/sat_encodings/demo                              0s  16MB
Feb 18 20:00:09 Starting examples/sat_encodings/case_studies
Feb 18 20:01:53 Finished examples/sat_encodings/case_studies                   1m43s   1GB
Feb 18 20:01:54 Starting examples/sat_encodings/translation
Feb 18 20:05:16 Finished examples/sat_encodings/translation                    3m21s   2GB
Feb 18 20:05:17 Starting examples/sat_encodings/translation/compilation
Feb 18 20:07:19 Finished examples/sat_encodings/translation/compilation        2m01s   4GB
Feb 18 20:07:20 Starting examples/deflate
Feb 18 20:07:43 Finished examples/deflate                                        21s 450MB
Feb 18 20:07:43 Starting examples/deflate/translation
Feb 18 20:08:44 Finished examples/deflate/translation                            59s   3GB
Feb 18 20:08:45 Starting examples/deflate/translation/compilation
Feb 18 20:09:40 Finished examples/deflate/translation/compilation                54s   3GB
Feb 18 20:09:41 Starting examples/vipr
Feb 18 20:12:57 Finished examples/vipr                                         3m14s   7GB
Feb 18 20:12:58 Starting examples/vipr/compilation
Feb 18 20:14:01 Finished examples/vipr/compilation                             1m02s   4GB
Feb 18 20:14:02 Starting examples/template
Feb 18 20:14:05 Finished examples/template                                        2s 153MB
Feb 18 20:14:06 Starting examples/template/translation
Feb 18 20:14:26 Finished examples/template/translation                           18s 899MB
Feb 18 20:14:26 Starting examples/template/compilation
Feb 18 20:15:35 Finished examples/template/compilation                         1m07s   2GB
Feb 18 20:15:36 Starting translator/okasaki-examples
Feb 18 20:18:06 Finished translator/okasaki-examples                           2m30s   2GB
Feb 18 20:18:07 Starting translator/other-examples
Feb 18 20:19:04 Finished translator/other-examples                               55s   2GB
Feb 18 20:19:05 Starting translator/other-examples/auxiliary
Feb 18 20:19:06 Finished translator/other-examples/auxiliary                      0s  21MB
Feb 18 20:19:07 Starting compiler/parsing/tests
Feb 18 20:19:45 Finished compiler/parsing/tests                                  36s   1GB
Feb 18 20:19:46 Starting compiler/inference/tests
Feb 18 20:20:27 Finished compiler/inference/tests                                40s   2GB
Feb 18 20:20:28 Starting compiler/printing/test
Feb 18 20:23:21 Finished compiler/printing/test                                2m52s  16GB
Feb 18 20:23:22 Starting compiler/repl
Feb 18 20:23:26 Finished compiler/repl                                            2s 253MB
Feb 18 20:23:27 Starting compiler/benchmarks
Feb 18 20:24:21 Finished compiler/benchmarks                                     53s 747MB
Feb 18 20:24:21 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 18 20:24:25 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 285MB
Feb 18 20:24:26 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 18 20:24:30 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 262MB
Feb 18 20:24:31 Starting compiler/bootstrap/translation
Feb 18 22:31:52 Finished compiler/bootstrap/translation                     2h07m20s  75GB
Feb 18 22:31:53 Starting compiler/bootstrap/compilation/x64/64
Feb 18 22:34:55 Finished compiler/bootstrap/compilation/x64/64                 3m01s  17GB
Feb 18 22:34:56 Starting compiler/bootstrap/compilation/x64/32
Feb 18 23:02:57 Finished compiler/bootstrap/compilation/x64/32                27m58s  69GB
Feb 18 23:02:58 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 18 23:07:49 Finished compiler/bootstrap/compilation/x64/32/proofs          4m50s  23GB
Feb 18 23:07:50 Starting compiler/bootstrap/compilation/arm8/64
Feb 18 23:48:54 Finished compiler/bootstrap/compilation/arm8/64               41m02s  91GB
Feb 18 23:48:55 Starting compiler/bootstrap/compilation/arm8/64/proofs
Feb 18 23:54:50 Finished compiler/bootstrap/compilation/arm8/64/proofs         5m53s  31GB
Feb 18 23:54:51 Starting compiler/bootstrap/compilation/ag32/32
Feb 19 00:23:17 Finished compiler/bootstrap/compilation/ag32/32               28m25s  47GB
Feb 19 00:23:18 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 19 00:28:43 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m23s  31GB
Feb 19 00:28:44 SUCCESS