Job 2386

CakeML:150c31ef8e52d106b5b0939638442ea006bb159e
  Merge pull request #993 from CakeML/pan_errors [May 08 11:15:18]
HOL:325162975c2778e5b1bc07c199b6f1f79b9304ae
  Fix bad reference to bootstrap example in parallel Holmakefile [May 06 02:45:07]
Machine:pavlova
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

May 08 20:27:25 Claimed job
May 08 20:27:33 Building HOL
May 08 20:42:06 Starting developers
May 08 20:42:09 Finished developers                                               2s 213MB
May 08 20:42:10 Starting developers/bin
May 08 20:42:23 Finished developers/bin                                          11s   1GB
May 08 20:42:24 Starting compiler/proofs
May 08 22:34:34 Finished compiler/proofs                                    1h52m09s  50GB
May 08 22:34:35 Starting compiler/bootstrap/translation
May 09 06:37:50 Finished compiler/bootstrap/translation                     8h03m13s  68GB
May 09 06:37:51 Starting semantics/ffi
May 09 06:38:00 Finished semantics/ffi                                            7s 648MB
May 09 06:38:00 Starting semantics
May 09 06:38:02 Finished semantics                                                0s  68MB
May 09 06:38:03 Starting semantics/proofs
May 09 06:38:38 Finished semantics/proofs                                        34s   2GB
May 09 06:38:39 Starting semantics/alt_semantics
May 09 06:39:17 Finished semantics/alt_semantics                                 37s   1GB
May 09 06:39:18 Starting semantics/alt_semantics/proofs
May 09 06:50:14 Finished semantics/alt_semantics/proofs                       10m54s   4GB
May 09 06:50:15 Starting basis/pure
May 09 06:50:16 Finished basis/pure                                               0s  71MB
May 09 06:50:17 Starting translator
May 09 06:52:01 Finished translator                                            1m43s   3GB
May 09 06:52:02 Starting compiler/parsing
May 09 06:52:04 Finished compiler/parsing                                         0s  72MB
May 09 06:52:05 Starting characteristic
May 09 06:52:06 Finished characteristic                                           0s  92MB
May 09 06:52:07 Starting translator/monadic
May 09 06:52:09 Finished translator/monadic                                       0s  92MB
May 09 06:52:09 Starting basis
May 09 06:55:40 Finished basis                                                 3m29s   5GB
May 09 06:55:41 Starting compiler/inference
May 09 06:55:42 Finished compiler/inference                                       0s  87MB
May 09 06:55:43 Starting compiler/backend/reg_alloc
May 09 06:55:45 Finished compiler/backend/reg_alloc                               0s  67MB
May 09 06:55:45 Starting compiler/backend/gc
May 09 06:55:47 Finished compiler/backend/gc                                      0s 141MB
May 09 06:55:48 Starting compiler/backend
May 09 06:56:07 Finished compiler/backend                                        17s   1GB
May 09 06:56:08 Starting compiler/encoders/asm
May 09 06:56:09 Finished compiler/encoders/asm                                    0s  94MB
May 09 06:56:10 Starting compiler/encoders/x64
May 09 06:56:12 Finished compiler/encoders/x64                                    0s  99MB
May 09 06:56:12 Starting compiler/encoders/arm7
May 09 06:56:14 Finished compiler/encoders/arm7                                   0s  95MB
May 09 06:56:15 Starting compiler/encoders/arm8
May 09 06:56:16 Finished compiler/encoders/arm8                                   0s  96MB
May 09 06:56:17 Starting compiler/encoders/arm8_asl
May 09 09:17:23 Finished compiler/encoders/arm8_asl                         2h21m05s  40GB
May 09 09:17:24 Starting compiler/encoders/mips
May 09 09:17:26 Finished compiler/encoders/mips                                   0s  93MB
May 09 09:17:27 Starting compiler/encoders/riscv
May 09 09:17:28 Finished compiler/encoders/riscv                                  0s  95MB
May 09 09:17:29 Starting compiler/encoders/ag32
May 09 09:17:30 Finished compiler/encoders/ag32                                   0s  90MB
May 09 09:17:31 Starting compiler/backend/x64
May 09 09:17:33 Finished compiler/backend/x64                                     0s 140MB
May 09 09:17:34 Starting compiler/backend/arm7
May 09 09:17:36 Finished compiler/backend/arm7                                    0s 139MB
May 09 09:17:37 Starting compiler/backend/arm8
May 09 09:17:39 Finished compiler/backend/arm8                                    0s 133MB
May 09 09:17:39 Starting compiler/backend/mips
May 09 09:17:41 Finished compiler/backend/mips                                    0s 131MB
May 09 09:17:42 Starting compiler/backend/riscv
May 09 09:17:44 Finished compiler/backend/riscv                                   0s 129MB
May 09 09:17:45 Starting compiler/backend/ag32
May 09 09:19:02 Finished compiler/backend/ag32                                 1m16s   2GB
May 09 09:19:03 Starting compiler/parsing/proofs
May 09 09:19:05 Finished compiler/parsing/proofs                                  0s  74MB
May 09 09:19:05 Starting compiler/inference/proofs
May 09 09:19:07 Finished compiler/inference/proofs                                0s  84MB
May 09 09:19:08 Starting compiler/backend/semantics
May 09 09:22:51 Finished compiler/backend/semantics                            3m42s   3GB
May 09 09:22:52 Starting compiler/backend/reg_alloc/proofs
May 09 09:22:54 Finished compiler/backend/reg_alloc/proofs                        0s  95MB
May 09 09:22:55 Starting compiler/backend/proofs
May 09 09:24:02 Finished compiler/backend/proofs                               1m05s   5GB
May 09 09:24:02 Starting compiler/backend/serialiser
May 09 09:24:05 Finished compiler/backend/serialiser                              1s 201MB
May 09 09:24:06 Starting compiler/encoders/x64/proofs
May 09 09:33:34 Finished compiler/encoders/x64/proofs                          9m26s   5GB
May 09 09:33:34 Starting compiler/encoders/arm7/proofs
May 09 09:46:24 Finished compiler/encoders/arm7/proofs                        12m48s  10GB
May 09 09:46:25 Starting compiler/encoders/arm8/proofs
May 09 09:52:54 Finished compiler/encoders/arm8/proofs                         6m28s   5GB
May 09 09:52:55 Starting compiler/encoders/arm8_asl/proofs
May 09 10:40:25 Finished compiler/encoders/arm8_asl/proofs                    47m28s   6GB
May 09 10:40:26 Starting compiler/encoders/mips/proofs
May 09 10:50:37 Finished compiler/encoders/mips/proofs                        10m10s   7GB
May 09 10:50:38 Starting compiler/encoders/riscv/proofs
May 09 10:59:15 Finished compiler/encoders/riscv/proofs                        8m36s   5GB
May 09 10:59:16 Starting compiler/encoders/ag32/proofs
May 09 11:01:40 Finished compiler/encoders/ag32/proofs                         2m22s   3GB
May 09 11:01:41 Starting compiler/backend/x64/proofs
May 09 11:02:21 Finished compiler/backend/x64/proofs                             39s   3GB
May 09 11:02:22 Starting compiler/backend/arm7/proofs
May 09 11:03:04 Finished compiler/backend/arm7/proofs                            41s   2GB
May 09 11:03:05 Starting compiler/backend/arm8/proofs
May 09 11:03:44 Finished compiler/backend/arm8/proofs                            38s   3GB
May 09 11:03:45 Starting compiler/backend/arm8_asl
May 09 11:04:14 Finished compiler/backend/arm8_asl                               28s   2GB
May 09 11:04:15 Starting compiler/backend/mips/proofs
May 09 11:05:00 Finished compiler/backend/mips/proofs                            44s   3GB
May 09 11:05:01 Starting compiler/backend/riscv/proofs
May 09 11:05:50 Finished compiler/backend/riscv/proofs                           48s   4GB
May 09 11:05:51 Starting compiler/backend/ag32/proofs
May 09 11:19:42 Finished compiler/backend/ag32/proofs                         13m50s   6GB
May 09 11:19:43 Starting candle/set-theory
May 09 11:20:26 Finished candle/set-theory                                       42s   1GB
May 09 11:20:27 Starting candle/syntax-lib
May 09 11:20:28 Finished candle/syntax-lib                                        0s  69MB
May 09 11:20:29 Starting candle/standard/syntax
May 09 11:20:46 Finished candle/standard/syntax                                  15s   1GB
May 09 11:20:47 Starting candle/standard/semantics
May 09 11:23:10 Finished candle/standard/semantics                             2m22s   3GB
May 09 11:23:11 Starting candle/standard/monadic
May 09 11:23:12 Finished candle/standard/monadic                                  0s 105MB
May 09 11:23:13 Starting candle/standard/ml_kernel
May 09 11:25:07 Finished candle/standard/ml_kernel                             1m52s   6GB
May 09 11:25:08 Starting candle/overloading/syntax
May 09 11:28:35 Finished candle/overloading/syntax                             3m26s   2GB
May 09 11:28:36 Starting candle/overloading/semantics
May 09 11:39:52 Finished candle/overloading/semantics                         11m14s   6GB
May 09 11:39:53 Starting candle/overloading/monadic
May 09 11:42:25 Finished candle/overloading/monadic                            2m31s   2GB
May 09 11:42:26 Starting candle/overloading/ml_kernel
May 09 11:49:58 Finished candle/overloading/ml_kernel                          7m31s   6GB
May 09 11:49:59 Starting candle/overloading/ml_checker
May 09 11:52:32 Finished candle/overloading/ml_checker                         2m32s   7GB
May 09 11:52:33 Starting candle/prover
May 09 12:02:25 Finished candle/prover                                         9m51s   5GB
May 09 12:02:26 Starting pancake
May 09 12:03:27 Finished pancake                                               1m00s   1GB
May 09 12:03:28 Starting pancake/ffi
May 09 12:03:29 Finished pancake/ffi                                              0s  20MB
May 09 12:03:30 Starting pancake/semantics
May 09 12:06:06 Finished pancake/semantics                                     2m35s   2GB
May 09 12:06:07 Starting pancake/parser
May 09 12:06:35 Finished pancake/parser                                          26s   2GB
May 09 12:06:35 Starting pancake/proofs
May 09 12:37:20 Finished pancake/proofs                                       30m43s  10GB
May 09 12:37:21 Starting characteristic/examples
May 09 12:38:57 Finished characteristic/examples                               1m34s   5GB
May 09 12:38:58 Starting tutorial/solutions
May 09 12:54:29 Finished tutorial/solutions                                   15m29s  13GB
May 09 12:54:30 Starting translator/monadic/examples
May 09 12:58:19 Finished translator/monadic/examples                           3m48s   5GB
May 09 12:58:20 Starting examples
May 09 13:12:42 Finished examples                                             14m21s   8GB
May 09 13:12:43 Starting examples/compilation/x64
May 09 15:10:38 Finished examples/compilation/x64                           1h57m53s  35GB
May 09 15:10:39 Starting examples/compilation/x64/proofs
May 09 15:14:29 Finished examples/compilation/x64/proofs                       3m49s   6GB
May 09 15:14:30 Starting examples/compilation/ag32
May 09 15:44:29 Finished examples/compilation/ag32                            29m58s  10GB
May 09 15:44:30 Starting examples/compilation/ag32/proofs
May 09 15:46:04 Finished examples/compilation/ag32/proofs                      1m33s   7GB
May 09 15:46:05 Starting examples/compilation/to_word
May 09 15:49:56 Finished examples/compilation/to_word                          3m50s  11GB
May 09 15:49:57 Starting examples/lpr_checker
May 09 15:51:13 Finished examples/lpr_checker                                  1m15s   2GB
May 09 15:51:14 Starting examples/lpr_checker/array
May 09 16:19:30 Finished examples/lpr_checker/array                           28m14s  13GB
May 09 16:19:31 Starting examples/lpr_checker/array/compilation
May 09 16:56:26 Finished examples/lpr_checker/array/compilation               36m54s  59GB
May 09 16:56:27 Starting examples/lpr_checker/array/compilation/proofs
May 09 16:58:09 Finished examples/lpr_checker/array/compilation/proofs         1m40s   6GB
May 09 16:58:09 Starting examples/lpr_checker/array/compilation/proofsARM8
May 09 17:21:21 Finished examples/lpr_checker/array/compilation/proofsARM8    23m10s  35GB
May 09 17:21:22 Starting examples/xlrup_checker
May 09 17:22:32 Finished examples/xlrup_checker                                1m09s   2GB
May 09 17:22:33 Starting examples/xlrup_checker/array
May 09 17:37:35 Finished examples/xlrup_checker/array                         15m01s   7GB
May 09 17:37:36 Starting examples/xlrup_checker/array/compilation
May 09 17:59:03 Finished examples/xlrup_checker/array/compilation             21m25s  32GB
May 09 17:59:03 Starting examples/xlrup_checker/array/compilation/proofs
May 09 18:00:34 Finished examples/xlrup_checker/array/compilation/proofs       1m29s   6GB
May 09 18:00:35 Starting examples/pseudo_bool
May 09 18:02:43 Finished examples/pseudo_bool                                  2m07s   2GB
May 09 18:02:44 Starting examples/pseudo_bool/cnf_encoding
May 09 18:03:21 Finished examples/pseudo_bool/cnf_encoding                       36s   1GB
May 09 18:03:22 Starting examples/pseudo_bool/graph_encoding
May 09 18:04:09 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
May 09 18:04:10 Starting examples/pseudo_bool/array
May 09 19:11:12 Finished examples/pseudo_bool/array                         1h07m01s  38GB
May 09 19:11:13 Starting examples/pseudo_bool/array/compilation
May 10 03:00:30 Finished examples/pseudo_bool/array/compilation             7h49m15s 128GB
May 10 03:00:31 Starting examples/pseudo_bool/array/compilation/proofs
May 10 03:03:44 Finished examples/pseudo_bool/array/compilation/proofs         3m12s   8GB
May 10 03:03:45 Starting examples/opentheory
May 10 03:14:23 Finished examples/opentheory                                  10m36s   7GB
May 10 03:14:24 Starting examples/opentheory
May 10 03:14:26 Finished examples/opentheory                                      0s 132MB
May 10 03:14:27 Starting examples/opentheory/compilation
May 10 03:50:30 Finished examples/opentheory/compilation                      36m02s  54GB
May 10 03:50:31 Starting examples/opentheory/compilation/proofs
May 10 03:51:58 Finished examples/opentheory/compilation/proofs                1m26s   6GB
May 10 03:51:59 Starting examples/opentheory/compilation/ag32
May 10 04:25:12 Finished examples/opentheory/compilation/ag32                 33m11s  60GB
May 10 04:25:13 Starting examples/opentheory/compilation/ag32/proofs
May 10 04:27:30 Finished examples/opentheory/compilation/ag32/proofs           2m16s  12GB
May 10 04:27:31 Starting examples/sat_encodings
May 10 04:30:09 Finished examples/sat_encodings                                2m36s   1GB
May 10 04:30:10 Starting examples/sat_encodings/case_studies
May 10 04:32:07 Finished examples/sat_encodings/case_studies                   1m56s   2GB
May 10 04:32:08 Starting examples/sat_encodings/translation
May 10 04:38:13 Finished examples/sat_encodings/translation                    6m03s   7GB
May 10 04:38:14 Starting examples/sat_encodings/translation/compilation
May 10 05:13:46 Finished examples/sat_encodings/translation/compilation       35m31s  25GB
May 10 05:13:47 Starting examples/deflate
May 10 05:15:02 Finished examples/deflate                                      1m13s   1GB
May 10 05:15:02 Starting examples/deflate/translation
May 10 05:16:44 Finished examples/deflate/translation                          1m40s   7GB
May 10 05:16:45 Starting examples/deflate/translation/compilation
May 10 05:33:18 Finished examples/deflate/translation/compilation             16m31s  22GB
May 10 05:33:19 Starting examples/vipr
May 10 05:37:20 Finished examples/vipr                                         4m00s   7GB
May 10 05:37:21 Starting examples/vipr/compilation
May 10 05:57:25 Finished examples/vipr/compilation                            20m03s  33GB
May 10 05:57:26 Starting translator/okasaki-examples
May 10 06:02:23 Finished translator/okasaki-examples                           4m56s   5GB
May 10 06:02:24 Starting translator/other-examples
May 10 06:07:02 Finished translator/other-examples                             4m36s   3GB
May 10 06:07:03 Starting compiler/parsing/tests
May 10 06:07:37 Finished compiler/parsing/tests                                  32s   1GB
May 10 06:07:37 Starting compiler/inference/tests
May 10 06:15:08 Finished compiler/inference/tests                              7m29s   7GB
May 10 06:15:09 Starting compiler/printing/test
May 10 06:18:39 Finished compiler/printing/test                                3m29s   6GB
May 10 06:18:40 Starting icing/flover
May 10 06:54:03 Finished icing/flover                                         35m21s   3GB
May 10 06:54:04 Starting icing/
May 10 07:47:10 Finished icing/                                               53m05s  22GB
May 10 07:47:11 Starting icing/examples
May 10 07:48:53 Finished icing/examples                                        1m40s   8GB
May 10 07:48:54 Starting compiler/repl
May 10 07:57:42 Finished compiler/repl                                         8m46s   9GB
May 10 07:57:43 Starting unverified/sexpr-bootstrap/x64/64
May 10 08:09:14 Finished unverified/sexpr-bootstrap/x64/64                    11m06s  16GB
May 10 08:09:15 Starting unverified/sexpr-bootstrap/x64/32
May 10 08:18:28 Finished unverified/sexpr-bootstrap/x64/32                     8m54s  14GB
May 10 08:18:29 Starting compiler/benchmarks
May 10 08:19:13 Finished compiler/benchmarks                                     43s 713MB
May 10 08:19:14 Starting compiler/bootstrap/compilation/x64/64
May 10 22:49:50 Finished compiler/bootstrap/compilation/x64/64             14h30m22s 204GB
May 10 22:49:50 Starting compiler/bootstrap/compilation/x64/64/proofs
May 10 23:11:05 Finished compiler/bootstrap/compilation/x64/64/proofs         21m13s  35GB
May 10 23:11:06 Starting compiler/bootstrap/compilation/x64/32
May 11 06:39:47 Finished compiler/bootstrap/compilation/x64/32              7h28m33s 127GB
May 11 06:39:48 Starting compiler/bootstrap/compilation/x64/32/proofs
May 11 06:43:44 Finished compiler/bootstrap/compilation/x64/32/proofs          3m55s  18GB
May 11 06:43:45 Starting compiler/bootstrap/compilation/ag32/32
May 11 14:24:14 Finished compiler/bootstrap/compilation/ag32/32             7h40m27s 114GB
May 11 14:24:15 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 11 14:32:16 Finished compiler/bootstrap/compilation/ag32/32/proofs         8m00s  51GB
May 11 14:32:16 SUCCESS