Job 2380

CakeML:b82ce2d867fe551f5fd2b2d71ba41db7afaa5dbd
  Add arm8 bootstrap [Apr 13 15:53:58]
#991 (master)
Merging into:d4f0662af8596e6f964e54519b206be44e5b9f71
  Merge pull request #992 from CakeML/cf-fixes [Apr 28 06:49:36]
HOL:12c611b12123da645e2d6dc86f640fe6cf52a981
  Fix Holmakefile INCLUDES error causing unnecessary HOL rebuilds [Apr 19 12:17:55]
Machine:stove 5.15.0-86-generic x86_64 GNU/Linux

Apr 28 07:05:15 Claimed job
Apr 28 07:05:17 Reusing HOL
Apr 28 07:05:59 Starting developers
Apr 28 07:06:05 Finished developers                                               5s 101MB
Apr 28 07:06:05 Starting developers/bin
Apr 28 07:06:11 Finished developers/bin                                           6s   1GB
Apr 28 07:06:11 Starting compiler/proofs
May 02 22:34:40 Resuming compiler/proofs
May 03 00:02:15 Finished compiler/proofs                                    1h27m34s  13GB
May 03 00:02:15 Starting compiler/bootstrap/translation
May 03 08:47:52 Finished compiler/bootstrap/translation                     8h45m37s  32GB
May 03 08:47:52 Starting semantics/ffi
May 03 08:47:58 Finished semantics/ffi                                            5s 388MB
May 03 08:47:58 Starting semantics
May 03 08:47:59 Finished semantics                                                1s  19MB
May 03 08:47:59 Starting semantics/proofs
May 03 08:48:34 Finished semantics/proofs                                        34s 701MB
May 03 08:48:34 Starting semantics/alt_semantics
May 03 08:49:08 Finished semantics/alt_semantics                                 33s 880MB
May 03 08:49:08 Starting semantics/alt_semantics/proofs
May 03 09:01:04 Finished semantics/alt_semantics/proofs                       11m56s   2GB
May 03 09:01:04 Starting basis/pure
May 03 09:01:06 Finished basis/pure                                               1s  20MB
May 03 09:01:06 Starting translator
May 03 09:02:55 Finished translator                                            1m49s   1GB
May 03 09:02:55 Starting compiler/parsing
May 03 09:02:57 Finished compiler/parsing                                         1s  20MB
May 03 09:02:57 Starting characteristic
May 03 09:02:59 Finished characteristic                                           1s  21MB
May 03 09:02:59 Starting translator/monadic
May 03 09:03:01 Finished translator/monadic                                       1s  21MB
May 03 09:03:01 Starting basis
May 03 09:06:42 Finished basis                                                 3m41s   3GB
May 03 09:06:43 Starting compiler/inference
May 03 09:06:44 Finished compiler/inference                                       1s  19MB
May 03 09:06:44 Starting compiler/backend/reg_alloc
May 03 09:06:46 Finished compiler/backend/reg_alloc                               1s  20MB
May 03 09:06:46 Starting compiler/backend/gc
May 03 09:06:48 Finished compiler/backend/gc                                      2s  22MB
May 03 09:06:48 Starting compiler/backend
May 03 09:07:01 Finished compiler/backend                                        12s 826MB
May 03 09:07:01 Starting compiler/encoders/asm
May 03 09:07:03 Finished compiler/encoders/asm                                    1s  25MB
May 03 09:07:03 Starting compiler/encoders/x64
May 03 09:07:05 Finished compiler/encoders/x64                                    1s  25MB
May 03 09:07:05 Starting compiler/encoders/arm7
May 03 09:07:07 Finished compiler/encoders/arm7                                   1s  24MB
May 03 09:07:07 Starting compiler/encoders/arm8
May 03 09:07:09 Finished compiler/encoders/arm8                                   1s  28MB
May 03 09:07:09 Starting compiler/encoders/arm8_asl
May 03 09:10:22 Finished compiler/encoders/arm8_asl                            3m12s   1GB
May 03 09:10:22 Starting compiler/encoders/mips
May 03 09:10:24 Finished compiler/encoders/mips                                   1s  21MB
May 03 09:10:24 Starting compiler/encoders/riscv
May 03 09:10:26 Finished compiler/encoders/riscv                                  1s  23MB
May 03 09:10:26 Starting compiler/encoders/ag32
May 03 09:10:28 Finished compiler/encoders/ag32                                   1s  21MB
May 03 09:10:28 Starting compiler/backend/x64
May 03 09:10:30 Finished compiler/backend/x64                                     2s  28MB
May 03 09:10:31 Starting compiler/backend/arm7
May 03 09:10:33 Finished compiler/backend/arm7                                    2s  33MB
May 03 09:10:33 Starting compiler/backend/arm8
May 03 09:10:35 Finished compiler/backend/arm8                                    2s  22MB
May 03 09:10:35 Starting compiler/backend/mips
May 03 09:10:38 Finished compiler/backend/mips                                    2s  24MB
May 03 09:10:38 Starting compiler/backend/riscv
May 03 09:10:40 Finished compiler/backend/riscv                                   2s  23MB
May 03 09:10:40 Starting compiler/backend/ag32
May 03 09:12:05 Finished compiler/backend/ag32                                 1m24s   1GB
May 03 09:12:05 Starting compiler/parsing/proofs
May 03 09:12:07 Finished compiler/parsing/proofs                                  1s  24MB
May 03 09:12:07 Starting compiler/inference/proofs
May 03 09:12:09 Finished compiler/inference/proofs                                1s  21MB
May 03 09:12:09 Starting compiler/backend/semantics
May 03 09:16:00 Finished compiler/backend/semantics                            3m50s   1GB
May 03 09:16:00 Starting compiler/backend/reg_alloc/proofs
May 03 09:16:02 Finished compiler/backend/reg_alloc/proofs                        1s  21MB
May 03 09:16:02 Starting compiler/backend/proofs
May 03 09:17:02 Finished compiler/backend/proofs                               1m00s   3GB
May 03 09:17:03 Starting compiler/backend/serialiser
May 03 09:17:06 Finished compiler/backend/serialiser                              2s  30MB
May 03 09:17:06 Starting compiler/encoders/x64/proofs
May 03 09:26:53 Finished compiler/encoders/x64/proofs                          9m47s   5GB
May 03 09:26:53 Starting compiler/encoders/arm7/proofs
May 03 09:40:46 Finished compiler/encoders/arm7/proofs                        13m52s   3GB
May 03 09:40:47 Starting compiler/encoders/arm8/proofs
May 03 09:47:34 Finished compiler/encoders/arm8/proofs                         6m47s   1GB
May 03 09:47:34 Starting compiler/encoders/arm8_asl/proofs
May 03 10:02:55 Finished compiler/encoders/arm8_asl/proofs                    15m21s   2GB
May 03 10:02:55 Starting compiler/encoders/mips/proofs
May 03 10:13:40 Finished compiler/encoders/mips/proofs                        10m43s   2GB
May 03 10:13:40 Starting compiler/encoders/riscv/proofs
May 03 10:22:33 Finished compiler/encoders/riscv/proofs                        8m52s   2GB
May 03 10:22:33 Starting compiler/encoders/ag32/proofs
May 03 10:25:07 Finished compiler/encoders/ag32/proofs                         2m33s   1GB
May 03 10:25:07 Starting compiler/backend/x64/proofs
May 03 10:25:36 Finished compiler/backend/x64/proofs                             29s   1GB
May 03 10:25:36 Starting compiler/backend/arm7/proofs
May 03 10:26:08 Finished compiler/backend/arm7/proofs                            31s   1GB
May 03 10:26:08 Starting compiler/backend/arm8/proofs
May 03 10:26:43 Finished compiler/backend/arm8/proofs                            35s   1GB
May 03 10:26:43 Starting compiler/backend/arm8_asl
May 03 10:27:08 Finished compiler/backend/arm8_asl                               23s   1GB
May 03 10:27:08 Starting compiler/backend/mips/proofs
May 03 10:27:39 Finished compiler/backend/mips/proofs                            31s   1GB
May 03 10:27:39 Starting compiler/backend/riscv/proofs
May 03 10:28:14 Finished compiler/backend/riscv/proofs                           34s   2GB
May 03 10:28:14 Starting compiler/backend/ag32/proofs
May 03 10:42:51 Finished compiler/backend/ag32/proofs                         14m37s   2GB
May 03 10:42:51 Starting candle/set-theory
May 03 10:43:31 Finished candle/set-theory                                       39s   1GB
May 03 10:43:31 Starting candle/syntax-lib
May 03 10:43:32 Finished candle/syntax-lib                                        1s  21MB
May 03 10:43:33 Starting candle/standard/syntax
May 03 10:43:43 Finished candle/standard/syntax                                  10s 671MB
May 03 10:43:43 Starting candle/standard/semantics
May 03 10:45:45 Finished candle/standard/semantics                             2m01s   1GB
May 03 10:45:45 Starting candle/standard/monadic
May 03 10:45:47 Finished candle/standard/monadic                                  1s  22MB
May 03 10:45:47 Starting candle/standard/ml_kernel
May 03 10:47:25 Finished candle/standard/ml_kernel                             1m37s   3GB
May 03 10:47:25 Starting candle/overloading/syntax
May 03 10:50:48 Finished candle/overloading/syntax                             3m23s   1GB
May 03 10:50:48 Starting candle/overloading/semantics
May 03 11:03:20 Finished candle/overloading/semantics                         12m30s   2GB
May 03 11:03:20 Starting candle/overloading/monadic
May 03 11:06:06 Finished candle/overloading/monadic                            2m45s   1GB
May 03 11:06:06 Starting candle/overloading/ml_kernel
May 03 11:14:04 Finished candle/overloading/ml_kernel                          7m57s   3GB
May 03 11:14:04 Starting candle/overloading/ml_checker
May 03 11:16:39 Finished candle/overloading/ml_checker                         2m34s   2GB
May 03 11:16:39 Starting candle/prover
May 03 11:26:43 Finished candle/prover                                        10m03s   3GB
May 03 11:26:43 Starting pancake
May 03 11:27:30 Finished pancake                                                 47s 957MB
May 03 11:27:30 Starting pancake/ffi
May 03 11:27:31 Finished pancake/ffi                                              0s  13MB
May 03 11:27:31 Starting pancake/semantics
May 03 11:30:10 Finished pancake/semantics                                     2m38s   1GB
May 03 11:30:10 Starting pancake/parser
May 03 11:30:36 Finished pancake/parser                                          26s 646MB
May 03 11:30:36 Starting pancake/proofs
May 03 12:05:05 Finished pancake/proofs                                       34m28s   5GB
May 03 12:05:05 Starting characteristic/examples
May 03 12:06:41 Finished characteristic/examples                               1m35s   4GB
May 03 12:06:41 Starting tutorial/solutions
May 03 12:22:19 Finished tutorial/solutions                                   15m38s   9GB
May 03 12:22:19 Starting translator/monadic/examples
May 03 12:26:28 Finished translator/monadic/examples                           4m08s   2GB
May 03 12:26:28 Starting examples
May 03 12:42:34 Finished examples                                             16m06s   3GB
May 03 12:42:34 Starting examples/compilation/x64
May 03 14:43:46 Finished examples/compilation/x64                           2h01m11s  19GB
May 03 14:43:46 Starting examples/compilation/x64/proofs
May 03 14:46:25 Finished examples/compilation/x64/proofs                       2m37s   4GB
May 03 14:46:25 Starting examples/compilation/ag32
May 03 15:16:53 Finished examples/compilation/ag32                            30m28s   9GB
May 03 15:16:53 Starting examples/compilation/ag32/proofs
May 03 15:17:56 Finished examples/compilation/ag32/proofs                      1m03s   4GB
May 03 15:17:57 Starting examples/compilation/to_word
May 03 15:21:21 Finished examples/compilation/to_word                          3m24s   7GB
May 03 15:21:21 Starting examples/lpr_checker
May 03 15:22:27 Finished examples/lpr_checker                                  1m05s   1GB
May 03 15:22:27 Starting examples/lpr_checker/array
May 03 15:52:59 Finished examples/lpr_checker/array                           30m31s   5GB
May 03 15:52:59 Starting examples/lpr_checker/array/compilation
May 03 16:47:38 Finished examples/lpr_checker/array/compilation               54m38s  24GB
May 03 16:47:38 Starting examples/lpr_checker/array/compilation/proofs
May 03 16:49:24 Finished examples/lpr_checker/array/compilation/proofs         1m45s   3GB
May 03 16:49:24 Starting examples/lpr_checker/array/compilation/proofsARM8
May 03 17:00:46 Finished examples/lpr_checker/array/compilation/proofsARM8    11m21s  19GB
May 03 17:00:46 Starting examples/xlrup_checker
May 03 17:01:44 Finished examples/xlrup_checker                                  58s   1GB
May 03 17:01:45 Starting examples/xlrup_checker/array
May 03 17:18:40 Finished examples/xlrup_checker/array                         16m54s   3GB
May 03 17:18:40 Starting examples/xlrup_checker/array/compilation
May 03 17:41:08 Finished examples/xlrup_checker/array/compilation             22m27s  16GB
May 03 17:41:08 Starting examples/xlrup_checker/array/compilation/proofs
May 03 17:42:14 Finished examples/xlrup_checker/array/compilation/proofs       1m05s   4GB
May 03 17:42:14 Starting examples/pseudo_bool
May 03 17:44:12 Finished examples/pseudo_bool                                  1m58s   1GB
May 03 17:44:12 Starting examples/pseudo_bool/cnf_encoding
May 03 17:44:39 Finished examples/pseudo_bool/cnf_encoding                       26s 748MB
May 03 17:44:39 Starting examples/pseudo_bool/graph_encoding
May 03 17:45:21 Finished examples/pseudo_bool/graph_encoding                     41s 927MB
May 03 17:45:21 Starting examples/pseudo_bool/array
May 03 18:56:14 Finished examples/pseudo_bool/array                         1h10m52s  11GB
May 03 18:56:14 Starting examples/pseudo_bool/array/compilation
May 04 02:38:48 Finished examples/pseudo_bool/array/compilation             7h42m33s  53GB
May 04 02:38:48 Starting examples/pseudo_bool/array/compilation/proofs
May 04 02:41:26 Finished examples/pseudo_bool/array/compilation/proofs         2m38s   6GB
May 04 02:41:26 Starting examples/opentheory
May 04 02:52:27 Finished examples/opentheory                                  11m00s   4GB
May 04 02:52:27 Starting examples/opentheory
May 04 02:52:29 Finished examples/opentheory                                      1s  26MB
May 04 02:52:29 Starting examples/opentheory/compilation
May 04 03:30:22 Finished examples/opentheory/compilation                      37m53s  33GB
May 04 03:30:22 Starting examples/opentheory/compilation/proofs
May 04 03:31:30 Finished examples/opentheory/compilation/proofs                1m07s   4GB
May 04 03:31:30 Starting examples/opentheory/compilation/ag32
May 04 04:05:02 Finished examples/opentheory/compilation/ag32                 33m32s  33GB
May 04 04:05:02 Starting examples/opentheory/compilation/ag32/proofs
May 04 04:07:02 Finished examples/opentheory/compilation/ag32/proofs           1m59s   8GB
May 04 04:07:02 Starting examples/sat_encodings
May 04 04:09:08 Finished examples/sat_encodings                                2m06s 911MB
May 04 04:09:08 Starting examples/sat_encodings/case_studies
May 04 04:10:57 Finished examples/sat_encodings/case_studies                   1m48s   1GB
May 04 04:10:57 Starting examples/sat_encodings/translation
May 04 04:17:11 Finished examples/sat_encodings/translation                    6m13s   4GB
May 04 04:17:11 Starting examples/sat_encodings/translation/compilation
May 04 05:04:21 Finished examples/sat_encodings/translation/compilation       47m10s  22GB
May 04 05:04:21 Starting examples/deflate
May 04 05:05:21 Finished examples/deflate                                        59s 994MB
May 04 05:05:21 Starting examples/deflate/translation
May 04 05:07:12 Finished examples/deflate/translation                          1m50s   3GB
May 04 05:07:12 Starting examples/deflate/translation/compilation
May 04 05:27:31 Finished examples/deflate/translation/compilation             20m18s  13GB
May 04 05:27:31 Starting examples/vipr
May 04 05:31:37 Finished examples/vipr                                         4m06s   5GB
May 04 05:31:37 Starting examples/vipr/compilation
May 04 05:52:44 Finished examples/vipr/compilation                            21m05s  20GB
May 04 05:52:44 Starting translator/okasaki-examples
May 04 05:58:01 Finished translator/okasaki-examples                           5m17s   2GB
May 04 05:58:01 Starting translator/other-examples
May 04 05:58:56 Finished translator/other-examples                               54s   1GB
May 04 05:58:57 Starting compiler/parsing/tests
May 04 05:59:29 Finished compiler/parsing/tests                                  32s 752MB
May 04 05:59:29 Starting compiler/inference/tests
May 04 06:08:06 Finished compiler/inference/tests                              8m36s   6GB
May 04 06:08:06 Starting compiler/printing/test
May 04 06:11:52 Finished compiler/printing/test                                3m46s   4GB
May 04 06:11:52 Starting icing/flover
May 04 06:55:29 Finished icing/flover                                         43m36s   2GB
May 04 06:55:29 Starting icing/
May 04 07:49:55 Finished icing/                                               54m25s   8GB
May 04 07:49:55 Starting icing/examples
May 04 07:51:27 Finished icing/examples                                        1m31s   3GB
May 04 07:51:27 Starting compiler/repl
May 04 08:00:29 Finished compiler/repl                                         9m01s   5GB
May 04 08:00:29 Starting unverified/sexpr-bootstrap/x64/64
May 04 08:14:09 Finished unverified/sexpr-bootstrap/x64/64                    13m40s  16GB
May 04 08:14:09 Starting unverified/sexpr-bootstrap/x64/32
May 04 08:25:16 Finished unverified/sexpr-bootstrap/x64/32                    11m06s  13GB
May 04 08:25:16 Starting compiler/benchmarks
May 04 08:40:54 Finished compiler/benchmarks                                  15m37s   2GB
May 04 08:40:54 Starting compiler/bootstrap/compilation/x64/64
May 04 21:24:46 Finished compiler/bootstrap/compilation/x64/64             12h43m52s  64GB
May 04 21:24:46 Starting compiler/bootstrap/compilation/x64/64/proofs
May 04 21:46:09 Finished compiler/bootstrap/compilation/x64/64/proofs         21m22s  36GB
May 04 21:46:09 Starting compiler/bootstrap/compilation/x64/32
May 05 04:46:43 Finished compiler/bootstrap/compilation/x64/32              7h00m33s  64GB
May 05 04:46:43 Starting compiler/bootstrap/compilation/x64/32/proofs
May 05 04:50:04 Finished compiler/bootstrap/compilation/x64/32/proofs          3m20s  18GB
May 05 04:50:04 Starting compiler/bootstrap/compilation/ag32/32
May 05 11:59:56 Finished compiler/bootstrap/compilation/ag32/32             7h09m51s  63GB
May 05 11:59:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 05 12:06:53 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m57s  34GB
May 05 12:06:53 SUCCESS