Job 3202

CakeML:7bd0628635cd216c474aa8d5a235f6bdea1b9513
  Improve code quality in basis_ffi.c [Feb 06 15:41:22]
#1325 (cleanup-basis-ffi)
Merging into:c9e14ff6876803c3440728dd4ba7d7086b8373f2
  Merge pull request #1322 from CakeML/word-If-fix [Feb 06 18:22:35]
HOL:b725f6e8834462a5b4bb2fb67b35e36f368cb8b6
  Tweak regular Holmakefile to clean selftest's log [Jan 30 05:30:27]
Machine:timtam

Feb 07 02:31:49 Claimed job
Feb 07 02:31:54 Reusing HOL
Feb 07 02:32:01 Starting developers
Feb 07 02:32:07 Finished developers                                               4s 158MB
Feb 07 02:32:07 Starting developers/bin
Feb 07 02:32:12 Finished developers/bin                                           3s  91MB
Feb 07 02:32:12 Starting misc
Feb 07 02:32:54 Finished misc                                                    40s   1GB
Feb 07 02:32:55 Starting compiler/proofs
Feb 07 03:35:29 Finished compiler/proofs                                    1h02m33s  10GB
Feb 07 03:35:30 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 07 09:43:53 Finished compiler/bootstrap/compilation/x64/64/proofs       6h08m22s 108GB
Feb 07 09:43:54 Starting semantics/ffi
Feb 07 09:44:06 Finished semantics/ffi                                           10s 537MB
Feb 07 09:44:06 Starting semantics
Feb 07 09:44:08 Finished semantics                                                0s  98MB
Feb 07 09:44:09 Starting semantics/proofs
Feb 07 09:44:31 Finished semantics/proofs                                        21s 722MB
Feb 07 09:44:32 Starting semantics/alt_semantics
Feb 07 09:44:53 Finished semantics/alt_semantics                                 20s 735MB
Feb 07 09:44:54 Starting semantics/alt_semantics/proofs
Feb 07 09:49:02 Finished semantics/alt_semantics/proofs                        4m06s   2GB
Feb 07 09:49:03 Starting basis/pure
Feb 07 09:49:04 Finished basis/pure                                               0s  92MB
Feb 07 09:49:05 Starting translator
Feb 07 09:50:10 Finished translator                                            1m03s   3GB
Feb 07 09:50:11 Starting compiler/parsing
Feb 07 09:50:13 Finished compiler/parsing                                         1s 104MB
Feb 07 09:50:14 Starting characteristic
Feb 07 09:50:16 Finished characteristic                                           1s 127MB
Feb 07 09:50:17 Starting translator/monadic
Feb 07 09:50:19 Finished translator/monadic                                       1s 117MB
Feb 07 09:50:20 Starting translator/monadic/monad_base
Feb 07 09:50:22 Finished translator/monadic/monad_base                            0s  99MB
Feb 07 09:50:23 Starting profiler
Feb 07 09:50:50 Finished profiler                                                26s   1GB
Feb 07 09:50:51 Starting basis
Feb 07 09:52:30 Finished basis                                                 1m38s   4GB
Feb 07 09:52:31 Starting compiler
Feb 07 09:52:34 Finished compiler                                                 2s 220MB
Feb 07 09:52:35 Starting compiler/inference
Feb 07 09:52:37 Finished compiler/inference                                       1s 119MB
Feb 07 09:52:38 Starting compiler/backend/reg_alloc
Feb 07 09:52:40 Finished compiler/backend/reg_alloc                               1s  96MB
Feb 07 09:52:40 Starting compiler/backend/gc
Feb 07 09:52:43 Finished compiler/backend/gc                                      1s 142MB
Feb 07 09:52:44 Starting compiler/backend
Feb 07 09:52:49 Finished compiler/backend                                         4s 293MB
Feb 07 09:52:50 Starting compiler/encoders/asm
Feb 07 09:52:52 Finished compiler/encoders/asm                                    1s  97MB
Feb 07 09:52:53 Starting compiler/encoders/x64
Feb 07 09:52:55 Finished compiler/encoders/x64                                    1s 107MB
Feb 07 09:52:56 Starting compiler/encoders/arm7
Feb 07 09:52:58 Finished compiler/encoders/arm7                                   1s 111MB
Feb 07 09:52:59 Starting compiler/encoders/arm8
Feb 07 09:53:01 Finished compiler/encoders/arm8                                   1s 106MB
Feb 07 09:53:01 Starting compiler/encoders/arm8_asl
Feb 07 09:53:16 Finished compiler/encoders/arm8_asl                              13s   1GB
Feb 07 09:53:17 Starting compiler/encoders/mips
Feb 07 09:53:19 Finished compiler/encoders/mips                                   1s 110MB
Feb 07 09:53:20 Starting compiler/encoders/riscv
Feb 07 09:53:22 Finished compiler/encoders/riscv                                  1s 106MB
Feb 07 09:53:23 Starting compiler/encoders/ag32
Feb 07 09:53:25 Finished compiler/encoders/ag32                                   1s 104MB
Feb 07 09:53:25 Starting compiler/encoders/tests
Feb 07 09:53:28 Finished compiler/encoders/tests                                  1s 120MB
Feb 07 09:53:29 Starting compiler/encoders/monadic_enc
Feb 07 09:53:51 Finished compiler/encoders/monadic_enc                           21s   1GB
Feb 07 09:53:52 Starting compiler/backend/x64
Feb 07 09:53:55 Finished compiler/backend/x64                                     1s 145MB
Feb 07 09:53:55 Starting compiler/backend/arm7
Feb 07 09:53:58 Finished compiler/backend/arm7                                    1s 146MB
Feb 07 09:53:59 Starting compiler/backend/arm8
Feb 07 09:54:01 Finished compiler/backend/arm8                                    1s 146MB
Feb 07 09:54:02 Starting compiler/backend/mips
Feb 07 09:54:04 Finished compiler/backend/mips                                    1s 145MB
Feb 07 09:54:05 Starting compiler/backend/riscv
Feb 07 09:54:08 Finished compiler/backend/riscv                                   1s 146MB
Feb 07 09:54:08 Starting compiler/backend/ag32
Feb 07 09:55:08 Finished compiler/backend/ag32                                   58s   1GB
Feb 07 09:55:09 Starting compiler/backend/pattern_matching
Feb 07 09:55:11 Finished compiler/backend/pattern_matching                        1s  92MB
Feb 07 09:55:12 Starting compiler/parsing/ocaml
Feb 07 09:56:57 Finished compiler/parsing/ocaml                                1m44s   1GB
Feb 07 09:56:58 Starting compiler/printing
Feb 07 09:57:55 Finished compiler/printing                                       55s   1GB
Feb 07 09:57:55 Starting compiler/parsing/proofs
Feb 07 09:57:57 Finished compiler/parsing/proofs                                  1s 103MB
Feb 07 09:57:58 Starting compiler/inference/proofs
Feb 07 09:58:00 Finished compiler/inference/proofs                                1s 120MB
Feb 07 09:58:01 Starting compiler/backend/semantics
Feb 07 10:00:08 Finished compiler/backend/semantics                            2m05s   2GB
Feb 07 10:00:08 Starting compiler/backend/reg_alloc/proofs
Feb 07 10:00:11 Finished compiler/backend/reg_alloc/proofs                        1s 118MB
Feb 07 10:00:12 Starting compiler/backend/proofs
Feb 07 10:00:54 Finished compiler/backend/proofs                                 41s   1GB
Feb 07 10:00:54 Starting compiler/backend/serialiser
Feb 07 10:00:57 Finished compiler/backend/serialiser                              1s 152MB
Feb 07 10:00:58 Starting compiler/encoders/x64/proofs
Feb 07 10:01:00 Finished compiler/encoders/x64/proofs                             1s 106MB
Feb 07 10:01:01 Starting compiler/encoders/arm7/proofs
Feb 07 10:12:06 Finished compiler/encoders/arm7/proofs                        11m04s   9GB
Feb 07 10:12:07 Starting compiler/encoders/arm8/proofs
Feb 07 10:18:54 Finished compiler/encoders/arm8/proofs                         6m45s   6GB
Feb 07 10:18:55 Starting compiler/encoders/arm8_asl/proofs
Feb 07 10:33:50 Finished compiler/encoders/arm8_asl/proofs                    14m54s   3GB
Feb 07 10:33:51 Starting compiler/encoders/mips/proofs
Feb 07 10:42:29 Finished compiler/encoders/mips/proofs                         8m37s  12GB
Feb 07 10:42:30 Starting compiler/encoders/riscv/proofs
Feb 07 10:50:39 Finished compiler/encoders/riscv/proofs                        8m07s   7GB
Feb 07 10:50:40 Starting compiler/encoders/ag32/proofs
Feb 07 10:53:19 Finished compiler/encoders/ag32/proofs                         2m38s   3GB
Feb 07 10:53:20 Starting compiler/backend/x64/proofs
Feb 07 10:53:23 Finished compiler/backend/x64/proofs                              2s 210MB
Feb 07 10:53:24 Starting compiler/backend/arm7/proofs
Feb 07 10:54:02 Finished compiler/backend/arm7/proofs                            37s   2GB
Feb 07 10:54:03 Starting compiler/backend/arm8/proofs
Feb 07 10:54:37 Finished compiler/backend/arm8/proofs                            33s   1GB
Feb 07 10:54:38 Starting compiler/backend/arm8_asl
Feb 07 10:55:06 Finished compiler/backend/arm8_asl                               26s   2GB
Feb 07 10:55:07 Starting compiler/backend/mips/proofs
Feb 07 10:55:43 Finished compiler/backend/mips/proofs                            35s   2GB
Feb 07 10:55:44 Starting compiler/backend/riscv/proofs
Feb 07 10:56:24 Finished compiler/backend/riscv/proofs                           39s   2GB
Feb 07 10:56:25 Starting compiler/backend/ag32/proofs
Feb 07 11:07:20 Finished compiler/backend/ag32/proofs                         10m54s   5GB
Feb 07 11:07:21 Starting compiler/backend/cv_compute
Feb 07 11:07:49 Finished compiler/backend/cv_compute                             27s   1GB
Feb 07 11:07:49 Starting cv_translator
Feb 07 11:13:05 Finished cv_translator                                         5m15s   6GB
Feb 07 11:13:06 Starting candle
Feb 07 11:13:07 Finished candle                                                   0s  17MB
Feb 07 11:13:08 Starting candle/set-theory
Feb 07 11:13:37 Finished candle/set-theory                                       28s 956MB
Feb 07 11:13:38 Starting candle/syntax-lib
Feb 07 11:13:40 Finished candle/syntax-lib                                        0s  87MB
Feb 07 11:13:41 Starting candle/standard
Feb 07 11:13:42 Finished candle/standard                                          0s  17MB
Feb 07 11:13:43 Starting candle/standard/syntax
Feb 07 11:13:58 Finished candle/standard/syntax                                  14s 728MB
Feb 07 11:13:58 Starting candle/standard/semantics
Feb 07 11:16:09 Finished candle/standard/semantics                             2m09s   3GB
Feb 07 11:16:10 Starting candle/standard/monadic
Feb 07 11:16:12 Finished candle/standard/monadic                                  1s 120MB
Feb 07 11:16:13 Starting candle/standard/ml_kernel
Feb 07 11:18:31 Finished candle/standard/ml_kernel                             2m17s   3GB
Feb 07 11:18:32 Starting candle/overloading
Feb 07 11:18:33 Finished candle/overloading                                       0s  17MB
Feb 07 11:18:34 Starting candle/overloading/syntax
Feb 07 11:21:38 Finished candle/overloading/syntax                             3m03s   1GB
Feb 07 11:21:39 Starting candle/overloading/semantics
Feb 07 11:31:59 Finished candle/overloading/semantics                         10m19s   7GB
Feb 07 11:32:00 Starting candle/overloading/monadic
Feb 07 11:34:05 Finished candle/overloading/monadic                            2m04s   1GB
Feb 07 11:34:06 Starting candle/overloading/ml_kernel
Feb 07 11:40:20 Finished candle/overloading/ml_kernel                          6m12s   7GB
Feb 07 11:40:21 Starting candle/overloading/ml_checker
Feb 07 11:42:44 Finished candle/overloading/ml_checker                         2m22s   6GB
Feb 07 11:42:45 Starting candle/prover
Feb 07 11:42:48 Finished candle/prover                                            2s 175MB
Feb 07 11:42:48 Starting candle/prover/compute
Feb 07 11:42:51 Finished candle/prover/compute                                    1s 170MB
Feb 07 11:42:52 Starting pancake
Feb 07 11:42:54 Finished pancake                                                  1s 152MB
Feb 07 11:42:55 Starting pancake/semantics
Feb 07 11:45:39 Finished pancake/semantics                                     2m42s   2GB
Feb 07 11:45:40 Starting pancake/parser
Feb 07 11:46:10 Finished pancake/parser                                          29s 734MB
Feb 07 11:46:11 Starting pancake/static_checker
Feb 07 11:47:17 Finished pancake/static_checker                                1m04s   1GB
Feb 07 11:47:17 Starting pancake/proofs
Feb 07 12:02:12 Finished pancake/proofs                                       14m53s   5GB
Feb 07 12:02:13 Starting compiler/dafny
Feb 07 12:02:39 Finished compiler/dafny                                          24s 730MB
Feb 07 12:02:40 Starting compiler/dafny/translation
Feb 07 12:13:16 Finished compiler/dafny/translation                           10m34s   6GB
Feb 07 12:13:16 Starting compiler/dafny/compilation
Feb 07 12:15:09 Finished compiler/dafny/compilation                            1m51s   5GB
Feb 07 12:15:10 Starting compiler/dafny/semantics
Feb 07 12:15:47 Finished compiler/dafny/semantics                                36s 556MB
Feb 07 12:15:48 Starting compiler/dafny/proofs
Feb 07 12:17:20 Finished compiler/dafny/proofs                                 1m30s   1GB
Feb 07 12:17:20 Starting compiler/dafny/vcg
Feb 07 12:17:23 Finished compiler/dafny/vcg                                       1s 113MB
Feb 07 12:17:23 Starting compiler/dafny/vcg/examples
Feb 07 12:17:51 Finished compiler/dafny/vcg/examples                             26s   1GB
Feb 07 12:17:52 Starting compiler/scheme
Feb 07 12:18:20 Finished compiler/scheme                                         26s   1GB
Feb 07 12:18:20 Starting compiler/scheme/translation
Feb 07 12:25:22 Finished compiler/scheme/translation                           7m01s   7GB
Feb 07 12:25:23 Starting compiler/scheme/compilation
Feb 07 12:26:45 Finished compiler/scheme/compilation                           1m21s   5GB
Feb 07 12:26:46 Starting compiler/scheme/proofs
Feb 07 12:33:22 Finished compiler/scheme/proofs                                6m35s   3GB
Feb 07 12:33:23 Starting characteristic/examples
Feb 07 12:34:48 Finished characteristic/examples                               1m24s   5GB
Feb 07 12:34:49 Starting tutorial/solutions
Feb 07 12:37:23 Finished tutorial/solutions                                    2m32s   3GB
Feb 07 12:37:23 Starting translator/monadic/examples
Feb 07 12:40:24 Finished translator/monadic/examples                           2m59s   4GB
Feb 07 12:40:25 Starting examples
Feb 07 12:44:51 Finished examples                                              4m25s   7GB
Feb 07 12:44:52 Starting examples/compilation
Feb 07 12:44:53 Finished examples/compilation                                     0s  17MB
Feb 07 12:44:54 Starting examples/compilation/x64
Feb 07 12:52:02 Finished examples/compilation/x64                              7m07s   4GB
Feb 07 12:52:03 Starting examples/compilation/x64/proofs
Feb 07 12:54:57 Finished examples/compilation/x64/proofs                       2m53s   4GB
Feb 07 12:54:58 Starting examples/compilation/ag32
Feb 07 12:57:05 Finished examples/compilation/ag32                             2m06s   3GB
Feb 07 12:57:05 Starting examples/compilation/ag32/proofs
Feb 07 12:58:18 Finished examples/compilation/ag32/proofs                      1m11s   5GB
Feb 07 12:58:19 Starting examples/lpr_checker
Feb 07 12:58:55 Finished examples/lpr_checker                                    35s   1GB
Feb 07 12:58:56 Starting examples/lpr_checker/array
Feb 07 13:10:59 Finished examples/lpr_checker/array                           12m02s  10GB
Feb 07 13:11:00 Starting examples/lpr_checker/array/compilation
Feb 07 13:13:28 Finished examples/lpr_checker/array/compilation                2m26s   6GB
Feb 07 13:13:29 Starting examples/lpr_checker/array/compilation/proofs
Feb 07 13:14:47 Finished examples/lpr_checker/array/compilation/proofs         1m17s   5GB
Feb 07 13:14:48 Starting examples/lpr_checker/array/compilation/proofsARM8
Feb 07 13:16:02 Finished examples/lpr_checker/array/compilation/proofsARM8     1m12s   6GB
Feb 07 13:16:03 Starting .
Feb 07 13:16:07 Finished .                                                        3s 351MB
Feb 07 13:16:08 Starting examples/xlrup_checker
Feb 07 13:17:01 Finished examples/xlrup_checker                                  51s   1GB
Feb 07 13:17:02 Starting examples/xlrup_checker/array
Feb 07 13:25:46 Finished examples/xlrup_checker/array                          8m43s   8GB
Feb 07 13:25:46 Starting examples/xlrup_checker/array/compilation
Feb 07 13:27:01 Finished examples/xlrup_checker/array/compilation              1m14s   4GB
Feb 07 13:27:02 Starting examples/xlrup_checker/array/compilation/proofs
Feb 07 13:28:11 Finished examples/xlrup_checker/array/compilation/proofs       1m08s   4GB
Feb 07 13:28:12 Starting examples/scpog_checker
Feb 07 13:28:59 Finished examples/scpog_checker                                  45s   2GB
Feb 07 13:28:59 Starting examples/scpog_checker/array
Feb 07 13:34:29 Finished examples/scpog_checker/array                          5m28s   4GB
Feb 07 13:34:29 Starting examples/scpog_checker/array/compilation
Feb 07 13:36:30 Finished examples/scpog_checker/array/compilation              2m00s   7GB
Feb 07 13:36:31 Starting examples/scpog_checker/array/compilation/proofs
Feb 07 13:37:52 Finished examples/scpog_checker/array/compilation/proofs       1m19s   5GB
Feb 07 13:37:53 Starting examples/pseudo_bool
Feb 07 13:39:54 Finished examples/pseudo_bool                                  2m00s   1GB
Feb 07 13:39:54 Starting examples/pseudo_bool/cnf_encoding
Feb 07 13:40:26 Finished examples/pseudo_bool/cnf_encoding                       31s   1GB
Feb 07 13:40:27 Starting examples/pseudo_bool/graph_encoding
Feb 07 13:41:13 Finished examples/pseudo_bool/graph_encoding                     44s   1GB
Feb 07 13:41:13 Starting examples/pseudo_bool/array
Feb 07 14:15:17 Finished examples/pseudo_bool/array                           34m02s  19GB
Feb 07 14:15:18 Starting examples/pseudo_bool/array/compilation
Feb 07 14:26:11 Finished examples/pseudo_bool/array/compilation               10m52s  18GB
Feb 07 14:26:12 Starting examples/pseudo_bool/array/compilation/proofs
Feb 07 14:29:18 Finished examples/pseudo_bool/array/compilation/proofs         3m05s   7GB
Feb 07 14:29:19 Starting examples/pseudo_bool/array/compilation/proofsARM8
Feb 07 14:30:52 Finished examples/pseudo_bool/array/compilation/proofsARM8     1m31s   6GB
Feb 07 14:30:52 Starting examples/opentheory
Feb 07 14:38:02 Finished examples/opentheory                                   7m09s   5GB
Feb 07 14:38:03 Starting examples/opentheory/compilation
Feb 07 14:39:39 Finished examples/opentheory/compilation                       1m35s   5GB
Feb 07 14:39:40 Starting examples/opentheory/compilation/proofs
Feb 07 14:40:50 Finished examples/opentheory/compilation/proofs                1m08s   4GB
Feb 07 14:40:50 Starting examples/opentheory/compilation/ag32
Feb 07 14:42:32 Finished examples/opentheory/compilation/ag32                  1m40s   6GB
Feb 07 14:42:32 Starting examples/opentheory/compilation/ag32/proofs
Feb 07 14:44:18 Finished examples/opentheory/compilation/ag32/proofs           1m45s   8GB
Feb 07 14:44:19 Starting examples/sat_encodings
Feb 07 14:45:27 Finished examples/sat_encodings                                1m07s 813MB
Feb 07 14:45:28 Starting examples/sat_encodings/demo
Feb 07 14:45:29 Finished examples/sat_encodings/demo                              0s  17MB
Feb 07 14:45:30 Starting examples/sat_encodings/case_studies
Feb 07 14:47:14 Finished examples/sat_encodings/case_studies                   1m43s   1GB
Feb 07 14:47:15 Starting examples/sat_encodings/translation
Feb 07 14:50:38 Finished examples/sat_encodings/translation                    3m22s   2GB
Feb 07 14:50:39 Starting examples/sat_encodings/translation/compilation
Feb 07 14:52:42 Finished examples/sat_encodings/translation/compilation        2m01s   4GB
Feb 07 14:52:42 Starting examples/deflate
Feb 07 14:53:05 Finished examples/deflate                                        21s 449MB
Feb 07 14:53:06 Starting examples/deflate/translation
Feb 07 14:54:06 Finished examples/deflate/translation                            59s   3GB
Feb 07 14:54:07 Starting examples/deflate/translation/compilation
Feb 07 14:55:04 Finished examples/deflate/translation/compilation                55s   3GB
Feb 07 14:55:04 Starting examples/vipr
Feb 07 14:58:18 Finished examples/vipr                                         3m12s   5GB
Feb 07 14:58:19 Starting examples/vipr/compilation
Feb 07 14:59:23 Finished examples/vipr/compilation                             1m03s   4GB
Feb 07 14:59:24 Starting examples/template
Feb 07 14:59:27 Finished examples/template                                        2s 156MB
Feb 07 14:59:28 Starting examples/template/translation
Feb 07 14:59:48 Finished examples/template/translation                           18s 872MB
Feb 07 14:59:48 Starting examples/template/compilation
Feb 07 15:00:52 Finished examples/template/compilation                         1m02s   4GB
Feb 07 15:00:53 Starting translator/okasaki-examples
Feb 07 15:03:37 Finished translator/okasaki-examples                           2m43s   3GB
Feb 07 15:03:38 Starting translator/other-examples
Feb 07 15:04:29 Finished translator/other-examples                               50s   2GB
Feb 07 15:04:30 Starting translator/other-examples/auxiliary
Feb 07 15:04:31 Finished translator/other-examples/auxiliary                      0s  20MB
Feb 07 15:04:32 Starting compiler/parsing/tests
Feb 07 15:05:09 Finished compiler/parsing/tests                                  35s   1GB
Feb 07 15:05:09 Starting compiler/inference/tests
Feb 07 15:05:52 Finished compiler/inference/tests                                41s   2GB
Feb 07 15:05:53 Starting compiler/printing/test
Feb 07 15:08:58 Finished compiler/printing/test                                3m04s  16GB
Feb 07 15:08:59 Starting compiler/repl
Feb 07 15:09:03 Finished compiler/repl                                            2s 253MB
Feb 07 15:09:04 Starting compiler/benchmarks
Feb 07 15:09:58 Finished compiler/benchmarks                                     53s 747MB
Feb 07 15:09:59 Starting compiler/benchmarks/cakeml_benchmarks/cakeml
Feb 07 15:10:03 Finished compiler/benchmarks/cakeml_benchmarks/cakeml             2s 285MB
Feb 07 15:10:04 Starting compiler/benchmarks/mlton_benchmarks/cakeml
Feb 07 15:10:08 Finished compiler/benchmarks/mlton_benchmarks/cakeml              2s 262MB
Feb 07 15:10:08 Starting compiler/bootstrap/translation
Feb 07 17:07:54 Finished compiler/bootstrap/translation                     1h57m44s  89GB
Feb 07 17:07:55 Starting compiler/bootstrap/compilation/x64/64
Feb 07 17:11:15 Finished compiler/bootstrap/compilation/x64/64                 3m19s  17GB
Feb 07 17:11:16 Starting compiler/bootstrap/compilation/x64/32
Feb 07 17:38:39 Finished compiler/bootstrap/compilation/x64/32                27m22s  46GB
Feb 07 17:38:40 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 07 17:44:19 Finished compiler/bootstrap/compilation/x64/32/proofs          5m38s  26GB
Feb 07 17:44:20 Starting compiler/bootstrap/compilation/arm8/64
Feb 07 18:25:02 Finished compiler/bootstrap/compilation/arm8/64               40m40s  85GB
Feb 07 18:25:02 Starting compiler/bootstrap/compilation/arm8/64/proofs
Feb 07 18:31:05 Finished compiler/bootstrap/compilation/arm8/64/proofs         6m01s  32GB
Feb 07 18:31:06 Starting compiler/bootstrap/compilation/ag32/32
Feb 07 19:00:42 Finished compiler/bootstrap/compilation/ag32/32               29m35s  76GB
Feb 07 19:00:42 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 07 19:06:45 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m01s  28GB
Feb 07 19:06:45 SUCCESS