Job 1603

CakeML:e7a5c005596708fcf02ba333f849a5ae1eefdf8a
  Merge pull request #839 from CakeML/lpr_transform [Oct 03 11:04:50]
HOL:c2302d3462bf9bbd14307af4e993646956c7e4d5
  Correct a slew of Holmakefiles to use new Holmake tee function [Oct 18 03:26:11]
Machine:oven3 4.19.67.1.amd64-smp
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Oct 19 06:32:20 Claimed job
Oct 19 06:32:35 Building HOL
Oct 19 06:57:30 Starting developers
Oct 19 06:57:37 Finished developers                                               7s  58MB
Oct 19 06:57:38 Starting developers/bin
Oct 19 06:57:51 Finished developers/bin                                          12s   1GB
Oct 19 06:57:51 Starting semantics/ffi
Oct 19 06:58:16 Finished semantics/ffi                                           24s 266MB
Oct 19 06:58:16 Starting semantics
Oct 19 07:01:25 Finished semantics                                             3m09s   1GB
Oct 19 07:01:26 Starting semantics/proofs
Oct 19 07:09:25 Finished semantics/proofs                                      7m59s   1GB
Oct 19 07:09:25 Starting semantics/alt_semantics
Oct 19 07:09:51 Finished semantics/alt_semantics                                 26s 441MB
Oct 19 07:09:51 Starting semantics/alt_semantics/proofs
Oct 19 07:15:06 Finished semantics/alt_semantics/proofs                        5m14s   1GB
Oct 19 07:15:06 Starting basis/pure
Oct 19 07:21:19 Finished basis/pure                                            6m12s   1GB
Oct 19 07:21:19 Starting translator
Oct 19 07:28:19 Finished translator                                            6m59s   1GB
Oct 19 07:28:19 Starting compiler/parsing
Oct 19 07:30:52 Finished compiler/parsing                                      2m33s   3GB
Oct 19 07:30:53 Starting characteristic
Oct 19 07:42:52 Finished characteristic                                       11m59s   2GB
Oct 19 07:42:52 Starting translator/monadic
Oct 19 07:46:21 Finished translator/monadic                                    3m27s   1GB
Oct 19 07:46:21 Starting basis
Oct 19 09:25:56 Finished basis                                              1h39m35s  16GB
Oct 19 09:25:57 Starting compiler/inference
Oct 19 09:28:44 Finished compiler/inference                                    2m47s 998MB
Oct 19 09:28:44 Starting compiler/backend/reg_alloc
Oct 19 09:30:51 Finished compiler/backend/reg_alloc                            2m06s   1GB
Oct 19 09:30:51 Starting compiler/backend/gc
Oct 19 09:38:03 Finished compiler/backend/gc                                   7m11s   2GB
Oct 19 09:38:03 Starting compiler/backend
Oct 19 09:47:49 Finished compiler/backend                                      9m46s   4GB
Oct 19 09:47:49 Starting compiler/encoders/asm
Oct 19 09:48:39 Finished compiler/encoders/asm                                   49s 782MB
Oct 19 09:48:39 Starting compiler/encoders/x64
Oct 19 09:51:02 Finished compiler/encoders/x64                                 2m23s   1GB
Oct 19 09:51:02 Starting compiler/encoders/arm7
Oct 19 09:55:33 Finished compiler/encoders/arm7                                4m30s   1GB
Oct 19 09:55:33 Starting compiler/encoders/arm8
Oct 19 09:56:59 Finished compiler/encoders/arm8                                1m25s 611MB
Oct 19 09:56:59 Starting compiler/encoders/mips
Oct 19 10:00:09 Finished compiler/encoders/mips                                3m09s   1GB
Oct 19 10:00:09 Starting compiler/encoders/riscv
Oct 19 10:04:07 Finished compiler/encoders/riscv                               3m57s   1GB
Oct 19 10:04:07 Starting compiler/encoders/ag32
Oct 19 10:04:49 Finished compiler/encoders/ag32                                  41s 759MB
Oct 19 10:04:50 Starting compiler/backend/x64
Oct 19 10:05:32 Finished compiler/backend/x64                                    41s   1GB
Oct 19 10:05:32 Starting compiler/backend/arm7
Oct 19 10:06:17 Finished compiler/backend/arm7                                   45s   1GB
Oct 19 10:06:18 Starting compiler/backend/arm8
Oct 19 10:07:00 Finished compiler/backend/arm8                                   42s   1GB
Oct 19 10:07:00 Starting compiler/backend/mips
Oct 19 10:07:43 Finished compiler/backend/mips                                   42s   1GB
Oct 19 10:07:43 Starting compiler/backend/riscv
Oct 19 10:08:24 Finished compiler/backend/riscv                                  40s   1GB
Oct 19 10:08:24 Starting compiler/backend/ag32
Oct 19 10:10:57 Finished compiler/backend/ag32                                 2m33s   1GB
Oct 19 10:10:58 Starting compiler/parsing/proofs
Oct 19 10:25:33 Finished compiler/parsing/proofs                              14m35s   1GB
Oct 19 10:25:33 Starting compiler/inference/proofs
Oct 19 10:31:12 Finished compiler/inference/proofs                             5m38s   1GB
Oct 19 10:31:12 Starting compiler/backend/semantics
Oct 19 11:33:28 Finished compiler/backend/semantics                         1h02m15s   2GB
Oct 19 11:33:28 Starting compiler/backend/reg_alloc/proofs
Oct 19 11:41:28 Finished compiler/backend/reg_alloc/proofs                     7m59s 885MB
Oct 19 11:41:29 Starting compiler/backend/proofs
Oct 19 13:23:39 Finished compiler/backend/proofs                            1h42m10s  19GB
Oct 19 13:23:39 Starting compiler/backend/serialiser
Oct 19 13:26:07 Finished compiler/backend/serialiser                           2m27s   1GB
Oct 19 13:26:07 Starting compiler/encoders/x64/proofs
Oct 19 13:47:47 Finished compiler/encoders/x64/proofs                         21m39s   5GB
Oct 19 13:47:47 Starting compiler/encoders/arm7/proofs
Oct 19 14:16:53 Finished compiler/encoders/arm7/proofs                        29m05s   3GB
Oct 19 14:16:54 Starting compiler/encoders/arm8/proofs
Oct 19 14:32:12 Finished compiler/encoders/arm8/proofs                        15m17s   1GB
Oct 19 14:32:12 Starting compiler/encoders/mips/proofs
Oct 19 14:54:27 Finished compiler/encoders/mips/proofs                        22m15s   2GB
Oct 19 14:54:28 Starting compiler/encoders/riscv/proofs
Oct 19 15:14:36 Finished compiler/encoders/riscv/proofs                       20m08s   1GB
Oct 19 15:14:36 Starting compiler/encoders/ag32/proofs
Oct 19 15:20:22 Finished compiler/encoders/ag32/proofs                         5m45s 833MB
Oct 19 15:20:22 Starting compiler/backend/x64/proofs
Oct 19 15:21:13 Finished compiler/backend/x64/proofs                             50s   1GB
Oct 19 15:21:13 Starting compiler/backend/arm7/proofs
Oct 19 15:22:04 Finished compiler/backend/arm7/proofs                            50s   1GB
Oct 19 15:22:04 Starting compiler/backend/arm8/proofs
Oct 19 15:22:54 Finished compiler/backend/arm8/proofs                            49s   1GB
Oct 19 15:22:54 Starting compiler/backend/mips/proofs
Oct 19 15:23:44 Finished compiler/backend/mips/proofs                            49s   1GB
Oct 19 15:23:44 Starting compiler/backend/riscv/proofs
Oct 19 15:24:33 Finished compiler/backend/riscv/proofs                           48s   1GB
Oct 19 15:24:33 Starting compiler/backend/ag32/proofs
Oct 19 15:52:38 Finished compiler/backend/ag32/proofs                         28m04s   4GB
Oct 19 15:52:38 Starting compiler/proofs
Oct 19 15:57:01 Finished compiler/proofs                                       4m22s   3GB
Oct 19 15:57:01 Starting candle/set-theory
Oct 19 15:58:00 Finished candle/set-theory                                       58s 733MB
Oct 19 15:58:00 Starting candle/syntax-lib
Oct 19 15:58:24 Finished candle/syntax-lib                                       24s 612MB
Oct 19 15:58:25 Starting candle/standard/syntax
Oct 19 16:02:26 Finished candle/standard/syntax                                4m01s 971MB
Oct 19 16:02:27 Starting candle/standard/semantics
Oct 19 16:06:13 Finished candle/standard/semantics                             3m46s   1GB
Oct 19 16:06:13 Starting candle/standard/monadic
Oct 19 16:09:58 Finished candle/standard/monadic                               3m44s   1GB
Oct 19 16:09:58 Starting candle/standard/ml_kernel
Oct 19 16:21:53 Finished candle/standard/ml_kernel                            11m54s   5GB
Oct 19 16:21:53 Starting candle/overloading/syntax
Oct 19 16:28:43 Finished candle/overloading/syntax                             6m49s   1GB
Oct 19 16:28:43 Starting candle/overloading/semantics
Oct 19 16:55:22 Finished candle/overloading/semantics                         26m37s   4GB
Oct 19 16:55:23 Starting pancake
Oct 19 16:59:16 Finished pancake                                               3m53s   2GB
Oct 19 16:59:16 Starting pancake/ffi
Oct 19 16:59:17 Finished pancake/ffi                                              0s   7MB
Oct 19 16:59:17 Starting pancake/semantics
Oct 19 17:04:13 Finished pancake/semantics                                     4m55s   1GB
Oct 19 17:04:13 Starting pancake/proofs
Oct 19 17:31:21 Finished pancake/proofs                                       27m06s   7GB
Oct 19 17:31:21 Starting characteristic/examples
Oct 19 17:34:12 Finished characteristic/examples                               2m51s   2GB
Oct 19 17:34:12 Starting tutorial/solutions
Oct 19 18:09:24 Finished tutorial/solutions                                   35m11s  10GB
Oct 19 18:09:24 Starting translator/monadic/examples
Oct 19 18:15:14 Finished translator/monadic/examples                           5m49s   3GB
Oct 19 18:15:14 Starting examples
Oct 19 18:32:53 Finished examples                                             17m38s   3GB
Oct 19 18:32:54 Starting examples/compilation/x64
Oct 20 00:03:04 Finished examples/compilation/x64                           5h30m09s  22GB
Oct 20 00:03:04 Starting examples/compilation/x64/proofs
Oct 20 00:06:37 Finished examples/compilation/x64/proofs                       3m32s   3GB
Oct 20 00:06:37 Starting examples/compilation/ag32
Oct 20 01:23:24 Finished examples/compilation/ag32                          1h16m44s  10GB
Oct 20 01:23:24 Starting examples/compilation/ag32/proofs
Oct 20 01:25:14 Finished examples/compilation/ag32/proofs                      1m50s   3GB
Oct 20 01:25:15 Starting examples/cost
Oct 20 03:20:43 Finished examples/cost                                      1h55m27s   7GB
Oct 20 03:20:43 Starting examples/lpr_checker
Oct 20 03:22:24 Finished examples/lpr_checker                                  1m41s   1GB
Oct 20 03:22:25 Starting examples/lpr_checker/array
Oct 20 04:25:10 Finished examples/lpr_checker/array                         1h02m45s   6GB
Oct 20 04:25:11 Starting examples/lpr_checker/array/compilation
Oct 20 07:35:28 Finished examples/lpr_checker/array/compilation             3h10m16s  42GB
Oct 20 07:35:28 Starting examples/lpr_checker/array/compilation/proofs
Oct 20 07:37:57 Finished examples/lpr_checker/array/compilation/proofs         2m28s   6GB
Oct 20 07:37:58 Starting examples/opentheory
Oct 20 07:58:30 Finished examples/opentheory                                  20m32s   5GB
Oct 20 07:58:30 Starting examples/opentheory
Oct 20 07:58:33 Finished examples/opentheory                                      2s  34MB
Oct 20 07:58:33 Starting examples/opentheory/compilation
Oct 20 09:22:38 Finished examples/opentheory/compilation                    1h24m04s  41GB
Oct 20 09:22:38 Starting examples/opentheory/compilation/proofs
Oct 20 09:24:11 Finished examples/opentheory/compilation/proofs                1m32s   4GB
Oct 20 09:24:11 Starting examples/opentheory/compilation/ag32
Oct 20 10:48:10 Finished examples/opentheory/compilation/ag32               1h23m58s  29GB
Oct 20 10:48:10 Starting examples/opentheory/compilation/ag32/proofs
Oct 20 10:51:41 Finished examples/opentheory/compilation/ag32/proofs           3m30s   6GB
Oct 20 10:51:41 Starting examples/sat_encodings
Oct 20 10:55:31 Finished examples/sat_encodings                                3m49s   1GB
Oct 20 10:55:32 Starting examples/sat_encodings/case_studies
Oct 20 10:58:49 Finished examples/sat_encodings/case_studies                   3m17s 742MB
Oct 20 10:58:50 Starting examples/sat_encodings/translation
Oct 20 11:10:18 Finished examples/sat_encodings/translation                   11m28s   5GB
Oct 20 11:10:19 Starting examples/sat_encodings/translation/compilation
Oct 20 12:39:19 Finished examples/sat_encodings/translation/compilation     1h28m59s  21GB
Oct 20 12:39:19 Starting translator/okasaki-examples
Oct 20 12:48:23 Finished translator/okasaki-examples                           9m03s   1GB
Oct 20 12:48:23 Starting translator/other-examples
Oct 20 12:52:24 Finished translator/other-examples                             4m01s   1GB
Oct 20 12:52:25 Starting compiler/parsing/tests
Oct 20 12:53:31 Finished compiler/parsing/tests                                1m06s 613MB
Oct 20 12:53:32 Starting compiler/inference/tests
Oct 20 13:09:16 Finished compiler/inference/tests                             15m44s   5GB
Oct 20 13:09:17 Starting compiler/bootstrap/translation
Oct 20 18:36:33 Finished compiler/bootstrap/translation                     5h27m14s  24GB
Oct 20 18:36:33 Starting unverified/sexpr-bootstrap/x64/64
Oct 20 19:00:45 Finished unverified/sexpr-bootstrap/x64/64                    24m07s   8GB
Oct 20 19:00:45 Starting unverified/sexpr-bootstrap/x64/32
Oct 20 19:21:39 Finished unverified/sexpr-bootstrap/x64/32                    20m49s   8GB
Oct 20 19:21:39 Starting compiler/benchmarks
Oct 20 19:21:43 Finished compiler/benchmarks                                      4s  35MB
Oct 20 19:21:44 Starting compiler/bootstrap/compilation/x64/64
Oct 21 23:00:34 Finished compiler/bootstrap/compilation/x64/64             27h38m47s 109GB
Oct 21 23:00:34 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 21 23:05:23 Finished compiler/bootstrap/compilation/x64/64/proofs          4m48s  20GB
Oct 21 23:05:24 Starting compiler/bootstrap/compilation/x64/32
Oct 23 01:39:03 Finished compiler/bootstrap/compilation/x64/32             26h33m36s 111GB
Oct 23 01:39:04 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 23 01:45:15 Finished compiler/bootstrap/compilation/x64/32/proofs          6m11s  12GB
Oct 23 01:45:15 Starting compiler/bootstrap/compilation/ag32/32
Oct 24 02:47:16 Finished compiler/bootstrap/compilation/ag32/32            25h01m59s  98GB
Oct 24 02:47:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 24 03:13:11 Finished compiler/bootstrap/compilation/ag32/32/proofs        25m54s  24GB
Oct 24 03:13:11 SUCCESS