Job 2373

CakeML:9c063a7d92cadb36c49a6e45856ae0db734dc9e5
  Merge pull request #989 from CakeML/pan_errors [Apr 11 22:24:05]
HOL:244c07da3e8592a9c4b1754a2c93c83f0da5759e
  Fix test broken by arrival of rationals into dependencies [Apr 18 07:17:44]
Machine:lammmington
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz
cake-x64-32.tar.gz

Apr 22 01:01:38 Claimed job
Apr 22 01:01:45 Building HOL
Apr 22 01:15:59 Starting developers
Apr 22 01:16:03 Finished developers                                               2s 208MB
Apr 22 01:16:04 Starting developers/bin
Apr 22 01:16:18 Finished developers/bin                                          12s   1GB
Apr 22 01:16:19 Starting compiler/proofs
Apr 22 03:09:02 Finished compiler/proofs                                    1h52m42s  50GB
Apr 22 03:09:03 Starting compiler/bootstrap/translation
Apr 22 11:14:00 Finished compiler/bootstrap/translation                     8h04m55s  76GB
Apr 22 11:14:02 Starting semantics/ffi
Apr 22 11:14:10 Finished semantics/ffi                                            7s 648MB
Apr 22 11:14:11 Starting semantics
Apr 22 11:14:12 Finished semantics                                                0s  63MB
Apr 22 11:14:14 Starting semantics/proofs
Apr 22 11:14:49 Finished semantics/proofs                                        34s   1GB
Apr 22 11:14:50 Starting semantics/alt_semantics
Apr 22 11:15:31 Finished semantics/alt_semantics                                 40s   1GB
Apr 22 11:15:32 Starting semantics/alt_semantics/proofs
Apr 22 11:26:33 Finished semantics/alt_semantics/proofs                       11m00s   4GB
Apr 22 11:26:34 Starting basis/pure
Apr 22 11:26:36 Finished basis/pure                                               0s  71MB
Apr 22 11:26:37 Starting translator
Apr 22 11:28:20 Finished translator                                            1m41s   3GB
Apr 22 11:28:21 Starting compiler/parsing
Apr 22 11:28:22 Finished compiler/parsing                                         0s  67MB
Apr 22 11:28:23 Starting characteristic
Apr 22 11:28:25 Finished characteristic                                           0s  93MB
Apr 22 11:28:26 Starting translator/monadic
Apr 22 11:28:28 Finished translator/monadic                                       0s  96MB
Apr 22 11:28:29 Starting basis
Apr 22 11:32:06 Finished basis                                                 3m35s   5GB
Apr 22 11:32:08 Starting compiler/inference
Apr 22 11:32:09 Finished compiler/inference                                       0s  81MB
Apr 22 11:32:11 Starting compiler/backend/reg_alloc
Apr 22 11:32:12 Finished compiler/backend/reg_alloc                               0s  67MB
Apr 22 11:32:14 Starting compiler/backend/gc
Apr 22 11:32:16 Finished compiler/backend/gc                                      0s 141MB
Apr 22 11:32:17 Starting compiler/backend
Apr 22 11:32:35 Finished compiler/backend                                        17s   1GB
Apr 22 11:32:36 Starting compiler/encoders/asm
Apr 22 11:32:38 Finished compiler/encoders/asm                                    0s  87MB
Apr 22 11:32:39 Starting compiler/encoders/x64
Apr 22 11:32:41 Finished compiler/encoders/x64                                    0s  99MB
Apr 22 11:32:42 Starting compiler/encoders/arm7
Apr 22 11:32:44 Finished compiler/encoders/arm7                                   0s 100MB
Apr 22 11:32:45 Starting compiler/encoders/arm8
Apr 22 11:32:46 Finished compiler/encoders/arm8                                   0s  99MB
Apr 22 11:32:48 Starting compiler/encoders/arm8_asl
Apr 22 13:44:31 Finished compiler/encoders/arm8_asl                         2h11m41s  45GB
Apr 22 13:44:32 Starting compiler/encoders/mips
Apr 22 13:44:34 Finished compiler/encoders/mips                                   0s  95MB
Apr 22 13:44:35 Starting compiler/encoders/riscv
Apr 22 13:44:37 Finished compiler/encoders/riscv                                  0s  98MB
Apr 22 13:44:38 Starting compiler/encoders/ag32
Apr 22 13:44:40 Finished compiler/encoders/ag32                                   0s  87MB
Apr 22 13:44:41 Starting compiler/backend/x64
Apr 22 13:44:43 Finished compiler/backend/x64                                     0s 138MB
Apr 22 13:44:44 Starting compiler/backend/arm7
Apr 22 13:44:45 Finished compiler/backend/arm7                                    0s 138MB
Apr 22 13:44:46 Starting compiler/backend/arm8
Apr 22 13:44:48 Finished compiler/backend/arm8                                    0s 139MB
Apr 22 13:44:49 Starting compiler/backend/mips
Apr 22 13:44:51 Finished compiler/backend/mips                                    0s 137MB
Apr 22 13:44:52 Starting compiler/backend/riscv
Apr 22 13:44:54 Finished compiler/backend/riscv                                   0s 137MB
Apr 22 13:44:55 Starting compiler/backend/ag32
Apr 22 13:46:15 Finished compiler/backend/ag32                                 1m19s   4GB
Apr 22 13:46:17 Starting compiler/parsing/proofs
Apr 22 13:46:18 Finished compiler/parsing/proofs                                  0s  74MB
Apr 22 13:46:19 Starting compiler/inference/proofs
Apr 22 13:46:21 Finished compiler/inference/proofs                                0s  92MB
Apr 22 13:46:22 Starting compiler/backend/semantics
Apr 22 13:50:02 Finished compiler/backend/semantics                            3m38s   2GB
Apr 22 13:50:03 Starting compiler/backend/reg_alloc/proofs
Apr 22 13:50:05 Finished compiler/backend/reg_alloc/proofs                        0s  98MB
Apr 22 13:50:06 Starting compiler/backend/proofs
Apr 22 13:51:11 Finished compiler/backend/proofs                               1m04s   3GB
Apr 22 13:51:12 Starting compiler/backend/serialiser
Apr 22 13:51:15 Finished compiler/backend/serialiser                              1s 194MB
Apr 22 13:51:16 Starting compiler/encoders/x64/proofs
Apr 22 14:00:51 Finished compiler/encoders/x64/proofs                          9m33s   5GB
Apr 22 14:00:52 Starting compiler/encoders/arm7/proofs
Apr 22 14:13:36 Finished compiler/encoders/arm7/proofs                        12m42s  10GB
Apr 22 14:13:37 Starting compiler/encoders/arm8/proofs
Apr 22 14:20:12 Finished compiler/encoders/arm8/proofs                         6m34s   5GB
Apr 22 14:20:13 Starting compiler/encoders/arm8_asl/proofs
Apr 22 15:07:17 Finished compiler/encoders/arm8_asl/proofs                    47m02s  11GB
Apr 22 15:07:18 Starting compiler/encoders/mips/proofs
Apr 22 15:17:13 Finished compiler/encoders/mips/proofs                         9m54s   8GB
Apr 22 15:17:15 Starting compiler/encoders/riscv/proofs
Apr 22 15:25:30 Finished compiler/encoders/riscv/proofs                        8m14s   5GB
Apr 22 15:25:32 Starting compiler/encoders/ag32/proofs
Apr 22 15:27:52 Finished compiler/encoders/ag32/proofs                         2m19s   2GB
Apr 22 15:27:53 Starting compiler/backend/x64/proofs
Apr 22 15:28:33 Finished compiler/backend/x64/proofs                             39s   3GB
Apr 22 15:28:34 Starting compiler/backend/arm7/proofs
Apr 22 15:29:20 Finished compiler/backend/arm7/proofs                            44s   2GB
Apr 22 15:29:21 Starting compiler/backend/arm8/proofs
Apr 22 15:30:03 Finished compiler/backend/arm8/proofs                            40s   3GB
Apr 22 15:30:04 Starting compiler/backend/arm8_asl
Apr 22 15:30:34 Finished compiler/backend/arm8_asl                               29s   2GB
Apr 22 15:30:35 Starting compiler/backend/mips/proofs
Apr 22 15:31:20 Finished compiler/backend/mips/proofs                            43s   3GB
Apr 22 15:31:21 Starting compiler/backend/riscv/proofs
Apr 22 15:32:14 Finished compiler/backend/riscv/proofs                           51s   4GB
Apr 22 15:32:15 Starting compiler/backend/ag32/proofs
Apr 22 15:46:01 Finished compiler/backend/ag32/proofs                         13m44s   6GB
Apr 22 15:46:02 Starting candle/set-theory
Apr 22 15:46:48 Finished candle/set-theory                                       44s   1GB
Apr 22 15:46:49 Starting candle/syntax-lib
Apr 22 15:46:51 Finished candle/syntax-lib                                        0s  69MB
Apr 22 15:46:52 Starting candle/standard/syntax
Apr 22 15:47:08 Finished candle/standard/syntax                                  15s   1GB
Apr 22 15:47:09 Starting candle/standard/semantics
Apr 22 15:49:31 Finished candle/standard/semantics                             2m21s   2GB
Apr 22 15:49:32 Starting candle/standard/monadic
Apr 22 15:49:34 Finished candle/standard/monadic                                  0s 103MB
Apr 22 15:49:35 Starting candle/standard/ml_kernel
Apr 22 15:51:26 Finished candle/standard/ml_kernel                             1m49s   5GB
Apr 22 15:51:27 Starting candle/overloading/syntax
Apr 22 15:54:48 Finished candle/overloading/syntax                             3m20s   3GB
Apr 22 15:54:49 Starting candle/overloading/semantics
Apr 22 16:05:57 Finished candle/overloading/semantics                         11m06s   5GB
Apr 22 16:05:58 Starting candle/overloading/monadic
Apr 22 16:08:33 Finished candle/overloading/monadic                            2m33s   2GB
Apr 22 16:08:34 Starting candle/overloading/ml_kernel
Apr 22 16:16:02 Finished candle/overloading/ml_kernel                          7m26s   6GB
Apr 22 16:16:03 Starting candle/overloading/ml_checker
Apr 22 16:18:33 Finished candle/overloading/ml_checker                         2m28s   6GB
Apr 22 16:18:34 Starting candle/prover
Apr 22 16:28:22 Finished candle/prover                                         9m46s   5GB
Apr 22 16:28:23 Starting pancake
Apr 22 16:29:24 Finished pancake                                               1m00s   1GB
Apr 22 16:29:25 Starting pancake/ffi
Apr 22 16:29:26 Finished pancake/ffi                                              0s  21MB
Apr 22 16:29:27 Starting pancake/semantics
Apr 22 16:32:07 Finished pancake/semantics                                     2m37s   2GB
Apr 22 16:32:08 Starting pancake/parser
Apr 22 16:32:36 Finished pancake/parser                                          26s   2GB
Apr 22 16:32:37 Starting pancake/proofs
Apr 22 17:03:28 Finished pancake/proofs                                       30m50s   8GB
Apr 22 17:03:29 Starting characteristic/examples
Apr 22 17:05:09 Finished characteristic/examples                               1m38s   6GB
Apr 22 17:05:10 Starting tutorial/solutions
Apr 22 17:20:41 Finished tutorial/solutions                                   15m30s  17GB
Apr 22 17:20:42 Starting translator/monadic/examples
Apr 22 17:24:27 Finished translator/monadic/examples                           3m44s   5GB
Apr 22 17:24:28 Starting examples
Apr 22 17:38:55 Finished examples                                             14m25s   7GB
Apr 22 17:38:56 Starting examples/compilation/x64
Apr 22 19:39:08 Finished examples/compilation/x64                           2h00m10s  24GB
Apr 22 19:39:10 Starting examples/compilation/x64/proofs
Apr 22 19:42:57 Finished examples/compilation/x64/proofs                       3m46s   6GB
Apr 22 19:42:58 Starting examples/compilation/ag32
Apr 22 20:13:21 Finished examples/compilation/ag32                            30m21s  15GB
Apr 22 20:13:22 Starting examples/compilation/ag32/proofs
Apr 22 20:14:57 Finished examples/compilation/ag32/proofs                      1m33s   6GB
Apr 22 20:14:59 Starting examples/compilation/to_word
Apr 22 20:18:48 Finished examples/compilation/to_word                          3m48s  12GB
Apr 22 20:18:50 Starting examples/lpr_checker
Apr 22 20:20:03 Finished examples/lpr_checker                                  1m11s   2GB
Apr 22 20:20:04 Starting examples/lpr_checker/array
Apr 22 20:50:16 Finished examples/lpr_checker/array                           30m10s  12GB
Apr 22 20:50:17 Starting examples/lpr_checker/array/compilation
Apr 22 21:28:04 Finished examples/lpr_checker/array/compilation               37m45s  59GB
Apr 22 21:28:05 Starting examples/lpr_checker/array/compilation/proofs
Apr 22 21:29:40 Finished examples/lpr_checker/array/compilation/proofs         1m34s   8GB
Apr 22 21:29:42 Starting examples/lpr_checker/array/compilation/proofsARM8
Apr 22 21:40:21 Finished examples/lpr_checker/array/compilation/proofsARM8    10m37s  32GB
Apr 22 21:40:22 Starting examples/xlrup_checker
Apr 22 21:41:30 Finished examples/xlrup_checker                                1m07s   2GB
Apr 22 21:41:31 Starting examples/xlrup_checker/array
Apr 22 21:57:49 Finished examples/xlrup_checker/array                         16m16s   7GB
Apr 22 21:57:50 Starting examples/xlrup_checker/array/compilation
Apr 22 22:19:37 Finished examples/xlrup_checker/array/compilation             21m45s  38GB
Apr 22 22:19:38 Starting examples/xlrup_checker/array/compilation/proofs
Apr 22 22:21:05 Finished examples/xlrup_checker/array/compilation/proofs       1m25s   6GB
Apr 22 22:21:06 Starting examples/pseudo_bool
Apr 22 22:23:07 Finished examples/pseudo_bool                                  2m00s   2GB
Apr 22 22:23:09 Starting examples/pseudo_bool/cnf_encoding
Apr 22 22:23:47 Finished examples/pseudo_bool/cnf_encoding                       36s   1GB
Apr 22 22:23:48 Starting examples/pseudo_bool/graph_encoding
Apr 22 22:24:36 Finished examples/pseudo_bool/graph_encoding                     46s   1GB
Apr 22 22:24:37 Starting examples/pseudo_bool/array
Apr 22 23:36:58 Finished examples/pseudo_bool/array                         1h12m19s  37GB
Apr 22 23:36:59 Starting examples/pseudo_bool/array/compilation
Apr 23 07:39:31 Finished examples/pseudo_bool/array/compilation             8h02m29s 185GB
Apr 23 07:39:32 Starting examples/pseudo_bool/array/compilation/proofs
Apr 23 07:42:56 Finished examples/pseudo_bool/array/compilation/proofs         3m22s   7GB
Apr 23 07:42:57 Starting examples/opentheory
Apr 23 07:53:40 Finished examples/opentheory                                  10m41s   8GB
Apr 23 07:53:42 Starting examples/opentheory
Apr 23 07:53:44 Finished examples/opentheory                                      0s 131MB
Apr 23 07:53:45 Starting examples/opentheory/compilation
Apr 23 08:30:11 Finished examples/opentheory/compilation                      36m24s  52GB
Apr 23 08:30:12 Starting examples/opentheory/compilation/proofs
Apr 23 08:31:41 Finished examples/opentheory/compilation/proofs                1m27s   6GB
Apr 23 08:31:42 Starting examples/opentheory/compilation/ag32
Apr 23 09:04:27 Finished examples/opentheory/compilation/ag32                 32m43s  38GB
Apr 23 09:04:28 Starting examples/opentheory/compilation/ag32/proofs
Apr 23 09:06:50 Finished examples/opentheory/compilation/ag32/proofs           2m20s  11GB
Apr 23 09:06:51 Starting examples/sat_encodings
Apr 23 09:09:27 Finished examples/sat_encodings                                2m35s   1GB
Apr 23 09:09:28 Starting examples/sat_encodings/case_studies
Apr 23 09:11:28 Finished examples/sat_encodings/case_studies                   1m58s   2GB
Apr 23 09:11:29 Starting examples/sat_encodings/translation
Apr 23 09:17:41 Finished examples/sat_encodings/translation                    6m10s   7GB
Apr 23 09:17:42 Starting examples/sat_encodings/translation/compilation
Apr 23 09:52:38 Finished examples/sat_encodings/translation/compilation       34m55s  36GB
Apr 23 09:52:39 Starting examples/deflate
Apr 23 09:53:56 Finished examples/deflate                                      1m15s   1GB
Apr 23 09:53:57 Starting examples/deflate/translation
Apr 23 09:55:35 Finished examples/deflate/translation                          1m36s   7GB
Apr 23 09:55:36 Starting examples/deflate/translation/compilation
Apr 23 10:12:07 Finished examples/deflate/translation/compilation             16m29s  20GB
Apr 23 10:12:08 Starting examples/vipr
Apr 23 10:16:17 Finished examples/vipr                                         4m06s   7GB
Apr 23 10:16:18 Starting examples/vipr/compilation
Apr 23 10:36:05 Finished examples/vipr/compilation                            19m46s  28GB
Apr 23 10:36:06 Starting translator/okasaki-examples
Apr 23 10:41:07 Finished translator/okasaki-examples                           4m59s   5GB
Apr 23 10:41:08 Starting translator/other-examples
Apr 23 10:45:51 Finished translator/other-examples                             4m42s   3GB
Apr 23 10:45:52 Starting compiler/parsing/tests
Apr 23 10:46:28 Finished compiler/parsing/tests                                  34s   2GB
Apr 23 10:46:29 Starting compiler/inference/tests
Apr 23 10:54:06 Finished compiler/inference/tests                              7m35s   8GB
Apr 23 10:54:07 Starting compiler/printing/test
Apr 23 10:57:37 Finished compiler/printing/test                                3m28s   6GB
Apr 23 10:57:38 Starting icing/flover
Apr 23 11:33:07 Finished icing/flover                                         35m27s   3GB
Apr 23 11:33:08 Starting icing/
Apr 23 12:28:04 Finished icing/                                               54m55s  24GB
Apr 23 12:28:05 Starting icing/examples
Apr 23 12:29:54 Finished icing/examples                                        1m48s   7GB
Apr 23 12:29:55 Starting compiler/repl
Apr 23 12:38:41 Finished compiler/repl                                         8m44s  10GB
Apr 23 12:38:42 Starting unverified/sexpr-bootstrap/x64/64
Apr 23 12:50:15 Finished unverified/sexpr-bootstrap/x64/64                    11m08s  16GB
Apr 23 12:50:16 Starting unverified/sexpr-bootstrap/x64/32
Apr 23 12:59:39 Finished unverified/sexpr-bootstrap/x64/32                     8m57s  14GB
Apr 23 12:59:40 Starting compiler/benchmarks
Apr 23 13:00:26 Finished compiler/benchmarks                                     44s 713MB
Apr 23 13:00:27 Starting compiler/bootstrap/compilation/x64/64
Apr 24 03:54:42 Finished compiler/bootstrap/compilation/x64/64             14h54m02s 163GB
Apr 24 03:54:44 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 24 04:15:56 Finished compiler/bootstrap/compilation/x64/64/proofs         21m10s  44GB
Apr 24 04:15:57 Starting compiler/bootstrap/compilation/x64/32
Apr 24 12:00:39 Finished compiler/bootstrap/compilation/x64/32              7h44m32s 184GB
Apr 24 12:00:41 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 24 12:04:21 Finished compiler/bootstrap/compilation/x64/32/proofs          3m39s  18GB
Apr 24 12:04:22 Starting compiler/bootstrap/compilation/ag32/32
Apr 24 20:11:57 Finished compiler/bootstrap/compilation/ag32/32             8h07m33s 171GB
Apr 24 20:11:58 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 24 20:19:31 Finished compiler/bootstrap/compilation/ag32/32/proofs         7m31s  43GB
Apr 24 20:19:32 SUCCESS