Job 1513

CakeML:e8e26b81707f81bb87e367cbc25d95617cf39950
  Merge pull request #811 from CakeML/eval [Apr 21 07:26:14]
HOL:e58fc9147a42f57f0ce207ebe7d75170877c9c9a
  Convert to pandoc, intended for HTML output [Apr 20 00:53:25]
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

Apr 21 07:38:33 Claimed job
Apr 21 07:38:46 Building HOL
Apr 21 08:12:08 Starting developers
Apr 21 08:12:16 Finished developers                                               7s 147MB
Apr 21 08:12:16 Starting developers/bin
Apr 21 08:12:29 Finished developers/bin                                          13s   1GB
Apr 21 08:12:30 Starting semantics/ffi
Apr 21 08:12:54 Finished semantics/ffi                                           24s 277MB
Apr 21 08:12:54 Starting semantics
Apr 21 08:16:06 Finished semantics                                             3m11s   1GB
Apr 21 08:16:06 Starting semantics/proofs
Apr 21 08:23:51 Finished semantics/proofs                                      7m44s   1GB
Apr 21 08:23:52 Starting semantics/alt_semantics
Apr 21 08:24:15 Finished semantics/alt_semantics                                 23s 344MB
Apr 21 08:24:15 Starting semantics/alt_semantics/proofs
Apr 21 08:29:04 Finished semantics/alt_semantics/proofs                        4m48s   1GB
Apr 21 08:29:04 Starting basis/pure
Apr 21 08:35:04 Finished basis/pure                                            5m59s   1GB
Apr 21 08:35:04 Starting translator
Apr 21 08:41:48 Finished translator                                            6m43s   1GB
Apr 21 08:41:49 Starting compiler/parsing
Apr 21 08:44:24 Finished compiler/parsing                                      2m34s   2GB
Apr 21 08:44:24 Starting characteristic
Apr 21 08:56:24 Finished characteristic                                       12m00s   2GB
Apr 21 08:56:25 Starting translator/monadic
Apr 21 08:59:54 Finished translator/monadic                                    3m29s   1GB
Apr 21 08:59:54 Starting basis
Apr 21 10:35:40 Finished basis                                              1h35m45s  20GB
Apr 21 10:35:40 Starting compiler/inference
Apr 21 10:38:22 Finished compiler/inference                                    2m41s   1GB
Apr 21 10:38:22 Starting compiler/backend/reg_alloc
Apr 21 10:40:27 Finished compiler/backend/reg_alloc                            2m04s   1GB
Apr 21 10:40:27 Starting compiler/backend/gc
Apr 21 10:47:21 Finished compiler/backend/gc                                   6m53s   2GB
Apr 21 10:47:21 Starting compiler/backend
Apr 21 10:56:58 Finished compiler/backend                                      9m37s   3GB
Apr 21 10:56:59 Starting compiler/encoders/asm
Apr 21 10:57:48 Finished compiler/encoders/asm                                   49s 712MB
Apr 21 10:57:48 Starting compiler/encoders/x64
Apr 21 11:00:05 Finished compiler/encoders/x64                                 2m16s   1GB
Apr 21 11:00:05 Starting compiler/encoders/arm7
Apr 21 11:04:35 Finished compiler/encoders/arm7                                4m29s   1GB
Apr 21 11:04:35 Starting compiler/encoders/arm8
Apr 21 11:05:59 Finished compiler/encoders/arm8                                1m23s 957MB
Apr 21 11:05:59 Starting compiler/encoders/mips
Apr 21 11:09:23 Finished compiler/encoders/mips                                3m23s   1GB
Apr 21 11:09:23 Starting compiler/encoders/riscv
Apr 21 11:13:03 Finished compiler/encoders/riscv                               3m39s 899MB
Apr 21 11:13:03 Starting compiler/encoders/ag32
Apr 21 11:13:45 Finished compiler/encoders/ag32                                  41s 869MB
Apr 21 11:13:45 Starting compiler/backend/x64
Apr 21 11:14:26 Finished compiler/backend/x64                                    40s   1GB
Apr 21 11:14:26 Starting compiler/backend/arm7
Apr 21 11:15:09 Finished compiler/backend/arm7                                   42s   1GB
Apr 21 11:15:09 Starting compiler/backend/arm8
Apr 21 11:15:53 Finished compiler/backend/arm8                                   43s   1GB
Apr 21 11:15:53 Starting compiler/backend/mips
Apr 21 11:16:37 Finished compiler/backend/mips                                   44s   1GB
Apr 21 11:16:38 Starting compiler/backend/riscv
Apr 21 11:17:19 Finished compiler/backend/riscv                                  41s   1GB
Apr 21 11:17:20 Starting compiler/backend/ag32
Apr 21 11:19:46 Finished compiler/backend/ag32                                 2m25s   1GB
Apr 21 11:19:46 Starting compiler/parsing/proofs
Apr 21 11:32:33 Finished compiler/parsing/proofs                              12m47s   1GB
Apr 21 11:32:34 Starting compiler/inference/proofs
Apr 21 11:38:20 Finished compiler/inference/proofs                             5m45s   1GB
Apr 21 11:38:20 Starting compiler/backend/semantics
Apr 21 12:39:43 Finished compiler/backend/semantics                         1h01m22s   2GB
Apr 21 12:39:43 Starting compiler/backend/reg_alloc/proofs
Apr 21 12:47:14 Finished compiler/backend/reg_alloc/proofs                     7m30s   1GB
Apr 21 12:47:14 Starting compiler/backend/proofs
Apr 21 14:28:06 Finished compiler/backend/proofs                            1h40m51s  15GB
Apr 21 14:28:06 Starting compiler/encoders/x64/proofs
Apr 21 14:49:42 Finished compiler/encoders/x64/proofs                         21m35s   5GB
Apr 21 14:49:42 Starting compiler/encoders/arm7/proofs
Apr 21 15:19:59 Finished compiler/encoders/arm7/proofs                        30m16s   3GB
Apr 21 15:20:00 Starting compiler/encoders/arm8/proofs
Apr 21 15:35:20 Finished compiler/encoders/arm8/proofs                        15m20s   1GB
Apr 21 15:35:20 Starting compiler/encoders/mips/proofs
Apr 21 15:57:51 Finished compiler/encoders/mips/proofs                        22m30s   1GB
Apr 21 15:57:51 Starting compiler/encoders/riscv/proofs
Apr 21 16:18:12 Finished compiler/encoders/riscv/proofs                       20m20s   1GB
Apr 21 16:18:12 Starting compiler/encoders/ag32/proofs
Apr 21 16:23:58 Finished compiler/encoders/ag32/proofs                         5m45s 926MB
Apr 21 16:23:58 Starting compiler/backend/x64/proofs
Apr 21 16:24:46 Finished compiler/backend/x64/proofs                             47s   1GB
Apr 21 16:24:47 Starting compiler/backend/arm7/proofs
Apr 21 16:25:37 Finished compiler/backend/arm7/proofs                            50s   1GB
Apr 21 16:25:38 Starting compiler/backend/arm8/proofs
Apr 21 16:26:26 Finished compiler/backend/arm8/proofs                            48s   1GB
Apr 21 16:26:27 Starting compiler/backend/mips/proofs
Apr 21 16:27:17 Finished compiler/backend/mips/proofs                            50s   1GB
Apr 21 16:27:17 Starting compiler/backend/riscv/proofs
Apr 21 16:28:07 Finished compiler/backend/riscv/proofs                           49s   1GB
Apr 21 16:28:07 Starting compiler/backend/ag32/proofs
Apr 21 16:55:47 Finished compiler/backend/ag32/proofs                         27m39s   3GB
Apr 21 16:55:47 Starting compiler/proofs
Apr 21 16:59:52 Finished compiler/proofs                                       4m03s   5GB
Apr 21 16:59:52 Starting candle/set-theory
Apr 21 17:00:52 Finished candle/set-theory                                     1m00s   1GB
Apr 21 17:00:52 Starting candle/syntax-lib
Apr 21 17:01:17 Finished candle/syntax-lib                                       24s 448MB
Apr 21 17:01:17 Starting candle/standard/syntax
Apr 21 17:05:10 Finished candle/standard/syntax                                3m52s 900MB
Apr 21 17:05:10 Starting candle/standard/semantics
Apr 21 17:09:04 Finished candle/standard/semantics                             3m54s   1GB
Apr 21 17:09:04 Starting candle/standard/monadic
Apr 21 17:12:47 Finished candle/standard/monadic                               3m42s   1GB
Apr 21 17:12:48 Starting candle/standard/ml_kernel
Apr 21 17:25:00 Finished candle/standard/ml_kernel                            12m11s   4GB
Apr 21 17:25:00 Starting candle/overloading/syntax
Apr 21 17:31:56 Finished candle/overloading/syntax                             6m55s   1GB
Apr 21 17:31:56 Starting candle/overloading/semantics
Apr 21 17:58:53 Finished candle/overloading/semantics                         26m56s   3GB
Apr 21 17:58:53 Starting characteristic/examples
Apr 21 18:02:15 Finished characteristic/examples                               3m22s   3GB
Apr 21 18:02:16 Starting tutorial/solutions
Apr 21 18:37:09 Finished tutorial/solutions                                   34m53s   8GB
Apr 21 18:37:09 Starting translator/monadic/examples
Apr 21 18:42:54 Finished translator/monadic/examples                           5m44s   3GB
Apr 21 18:42:54 Starting examples
Apr 21 18:58:40 Finished examples                                             15m45s   4GB
Apr 21 18:58:40 Starting examples/compilation/x64
Apr 22 00:20:09 Finished examples/compilation/x64                           5h21m28s  16GB
Apr 22 00:20:09 Starting examples/compilation/x64/proofs
Apr 22 00:23:36 Finished examples/compilation/x64/proofs                       3m26s   3GB
Apr 22 00:23:36 Starting examples/compilation/ag32
Apr 22 01:40:00 Finished examples/compilation/ag32                          1h16m23s   8GB
Apr 22 01:40:01 Starting examples/compilation/ag32/proofs
Apr 22 01:41:37 Finished examples/compilation/ag32/proofs                      1m35s   3GB
Apr 22 01:41:37 Starting examples/cost
Apr 22 03:35:33 Finished examples/cost                                      1h53m55s   7GB
Apr 22 03:35:33 Starting examples/lpr_checker
Apr 22 03:43:44 Finished examples/lpr_checker                                  8m10s   3GB
Apr 22 03:43:44 Starting examples/lpr_checker/compilation
Apr 22 04:21:21 Finished examples/lpr_checker/compilation                     37m36s  10GB
Apr 22 04:21:22 Starting examples/lpr_checker/compilation/proofs
Apr 22 04:22:44 Finished examples/lpr_checker/compilation/proofs               1m22s   3GB
Apr 22 04:22:44 Starting examples/lpr_checker/array
Apr 22 04:55:09 Finished examples/lpr_checker/array                           32m24s   3GB
Apr 22 04:55:09 Starting examples/lpr_checker/array/compilation
Apr 22 05:37:46 Finished examples/lpr_checker/array/compilation               42m36s  12GB
Apr 22 05:37:46 Starting examples/lpr_checker/array/compilation/proofs
Apr 22 05:39:36 Finished examples/lpr_checker/array/compilation/proofs         1m49s   4GB
Apr 22 05:39:36 Starting examples/opentheory
Apr 22 06:01:13 Finished examples/opentheory                                  21m36s   4GB
Apr 22 06:01:13 Starting examples/opentheory
Apr 22 06:01:16 Finished examples/opentheory                                      2s  34MB
Apr 22 06:01:16 Starting examples/opentheory/compilation
Apr 22 07:09:04 Finished examples/opentheory/compilation                    1h07m47s  19GB
Apr 22 07:09:04 Starting examples/opentheory/compilation/proofs
Apr 22 07:10:30 Finished examples/opentheory/compilation/proofs                1m25s   3GB
Apr 22 07:10:31 Starting examples/opentheory/compilation/ag32
Apr 22 08:23:01 Finished examples/opentheory/compilation/ag32               1h12m28s  14GB
Apr 22 08:23:01 Starting examples/opentheory/compilation/ag32/proofs
Apr 22 08:26:25 Finished examples/opentheory/compilation/ag32/proofs           3m23s   5GB
Apr 22 08:26:25 Starting translator/okasaki-examples
Apr 22 08:35:35 Finished translator/okasaki-examples                           9m09s   1GB
Apr 22 08:35:35 Starting translator/other-examples
Apr 22 08:39:31 Finished translator/other-examples                             3m55s   1GB
Apr 22 08:39:31 Starting compiler/parsing/tests
Apr 22 08:40:31 Finished compiler/parsing/tests                                  59s 588MB
Apr 22 08:40:31 Starting compiler/inference/tests
Apr 22 08:56:12 Finished compiler/inference/tests                             15m40s   4GB
Apr 22 08:56:12 Starting compiler/bootstrap/translation
Apr 22 14:15:36 Finished compiler/bootstrap/translation                     5h19m23s  25GB
Apr 22 14:15:36 Starting unverified/sexpr-bootstrap/x64/64
Apr 22 14:39:41 Finished unverified/sexpr-bootstrap/x64/64                    24m00s   8GB
Apr 22 14:39:41 Starting unverified/sexpr-bootstrap/x64/32
Apr 22 15:00:43 Finished unverified/sexpr-bootstrap/x64/32                    20m58s   8GB
Apr 22 15:00:44 Starting compiler/benchmarks
Apr 22 15:00:47 Finished compiler/benchmarks                                      3s  34MB
Apr 22 15:00:47 Starting compiler/bootstrap/compilation/x64/64
Apr 23 17:19:55 Finished compiler/bootstrap/compilation/x64/64             26h19m03s 107GB
Apr 23 17:19:55 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 23 17:24:53 Finished compiler/bootstrap/compilation/x64/64/proofs          4m58s  19GB
Apr 23 17:24:54 Starting compiler/bootstrap/compilation/x64/32
Apr 24 17:02:03 Finished compiler/bootstrap/compilation/x64/32             23h37m03s  77GB
Apr 24 17:02:04 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 24 17:06:14 Finished compiler/bootstrap/compilation/x64/32/proofs          4m09s  17GB
Apr 24 17:06:14 Starting compiler/bootstrap/compilation/ag32/32
Apr 25 19:54:49 Finished compiler/bootstrap/compilation/ag32/32            26h48m33s 110GB
Apr 25 19:54:49 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 25 20:34:36 Finished compiler/bootstrap/compilation/ag32/32/proofs        39m47s  48GB
Apr 25 20:34:36 SUCCESS