Job 1429

CakeML:3c6495906dc020e093e2f5cf101cea1cba2fc468
  Fix breakage caused by change to sorted_map in HOL [Jan 05 15:57:59]
HOL:89e07c5a43c0637bc614b4396e6a8b3cb902cedb
  Get the Interaction-emacs manual built properly as part of release [Jan 06 05:48:29]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 08 10:45:21 Claimed job
Jan 08 10:45:29 Building HOL
Jan 08 10:59:25 Starting developers
Jan 08 10:59:25 Finished developers                                               0s  35MB
Jan 08 10:59:26 Starting developers/bin
Jan 08 10:59:32 Finished developers/bin                                           5s   1GB
Jan 08 10:59:32 Starting semantics/ffi
Jan 08 10:59:42 Finished semantics/ffi                                           10s 306MB
Jan 08 10:59:42 Starting semantics
Jan 08 11:01:17 Finished semantics                                             1m34s   1GB
Jan 08 11:01:17 Starting semantics/proofs
Jan 08 11:04:37 Finished semantics/proofs                                      3m20s   1GB
Jan 08 11:04:37 Starting semantics/alt_semantics
Jan 08 11:04:45 Finished semantics/alt_semantics                                  8s 407MB
Jan 08 11:04:46 Starting semantics/alt_semantics/proofs
Jan 08 11:06:54 Finished semantics/alt_semantics/proofs                        2m08s   1GB
Jan 08 11:06:55 Starting basis/pure
Jan 08 11:09:36 Finished basis/pure                                            2m41s   1GB
Jan 08 11:09:36 Starting translator
Jan 08 11:12:12 Finished translator                                            2m35s   2GB
Jan 08 11:12:12 Starting compiler/parsing
Jan 08 11:13:19 Finished compiler/parsing                                      1m06s   4GB
Jan 08 11:13:19 Starting characteristic
Jan 08 11:19:15 Finished characteristic                                        5m55s   2GB
Jan 08 11:19:15 Starting translator/monadic
Jan 08 11:20:59 Finished translator/monadic                                    1m44s   3GB
Jan 08 11:21:00 Starting basis
Jan 08 11:54:24 Finished basis                                                33m23s  28GB
Jan 08 11:54:24 Starting compiler/inference
Jan 08 11:55:31 Finished compiler/inference                                    1m06s   2GB
Jan 08 11:55:31 Starting compiler/backend/reg_alloc
Jan 08 11:56:33 Finished compiler/backend/reg_alloc                            1m02s   1GB
Jan 08 11:56:33 Starting compiler/backend/gc
Jan 08 12:00:09 Finished compiler/backend/gc                                   3m35s   3GB
Jan 08 12:00:09 Starting compiler/backend
Jan 08 12:05:03 Finished compiler/backend                                      4m54s   5GB
Jan 08 12:05:04 Starting compiler/encoders/asm
Jan 08 12:05:25 Finished compiler/encoders/asm                                   21s 974MB
Jan 08 12:05:25 Starting compiler/encoders/x64
Jan 08 12:06:27 Finished compiler/encoders/x64                                 1m01s   1GB
Jan 08 12:06:28 Starting compiler/encoders/arm7
Jan 08 12:08:29 Finished compiler/encoders/arm7                                2m01s   1GB
Jan 08 12:08:29 Starting compiler/encoders/arm8
Jan 08 12:09:07 Finished compiler/encoders/arm8                                  38s   1GB
Jan 08 12:09:08 Starting compiler/encoders/mips
Jan 08 12:10:32 Finished compiler/encoders/mips                                1m24s   1GB
Jan 08 12:10:32 Starting compiler/encoders/riscv
Jan 08 12:12:08 Finished compiler/encoders/riscv                               1m35s   1GB
Jan 08 12:12:08 Starting compiler/encoders/ag32
Jan 08 12:12:27 Finished compiler/encoders/ag32                                  18s 938MB
Jan 08 12:12:27 Starting compiler/backend/x64
Jan 08 12:12:45 Finished compiler/backend/x64                                    17s   1GB
Jan 08 12:12:45 Starting compiler/backend/arm7
Jan 08 12:13:07 Finished compiler/backend/arm7                                   21s   1GB
Jan 08 12:13:07 Starting compiler/backend/arm8
Jan 08 12:13:28 Finished compiler/backend/arm8                                   20s   1GB
Jan 08 12:13:28 Starting compiler/backend/mips
Jan 08 12:13:48 Finished compiler/backend/mips                                   19s   1GB
Jan 08 12:13:49 Starting compiler/backend/riscv
Jan 08 12:14:09 Finished compiler/backend/riscv                                  20s   1GB
Jan 08 12:14:10 Starting compiler/backend/ag32
Jan 08 12:15:18 Finished compiler/backend/ag32                                 1m08s   2GB
Jan 08 12:15:19 Starting compiler/parsing/proofs
Jan 08 12:20:43 Finished compiler/parsing/proofs                               5m24s   2GB
Jan 08 12:20:43 Starting compiler/inference/proofs
Jan 08 12:23:14 Finished compiler/inference/proofs                             2m31s   2GB
Jan 08 12:23:14 Starting compiler/backend/semantics
Jan 08 12:50:16 Finished compiler/backend/semantics                           27m01s   5GB
Jan 08 12:50:16 Starting compiler/backend/reg_alloc/proofs
Jan 08 12:53:34 Finished compiler/backend/reg_alloc/proofs                     3m17s   1GB
Jan 08 12:53:34 Starting compiler/backend/proofs
Jan 08 13:47:34 Finished compiler/backend/proofs                              53m59s  17GB
Jan 08 13:47:34 Starting compiler/encoders/x64/proofs
Jan 08 13:56:54 Finished compiler/encoders/x64/proofs                          9m19s   5GB
Jan 08 13:56:54 Starting compiler/encoders/arm7/proofs
Jan 08 14:09:36 Finished compiler/encoders/arm7/proofs                        12m41s   6GB
Jan 08 14:09:36 Starting compiler/encoders/arm8/proofs
Jan 08 14:15:57 Finished compiler/encoders/arm8/proofs                         6m20s   3GB
Jan 08 14:15:57 Starting compiler/encoders/mips/proofs
Jan 08 14:25:45 Finished compiler/encoders/mips/proofs                         9m47s   5GB
Jan 08 14:25:45 Starting compiler/encoders/riscv/proofs
Jan 08 14:34:02 Finished compiler/encoders/riscv/proofs                        8m16s   3GB
Jan 08 14:34:02 Starting compiler/encoders/ag32/proofs
Jan 08 14:36:24 Finished compiler/encoders/ag32/proofs                         2m22s   2GB
Jan 08 14:36:24 Starting compiler/backend/x64/proofs
Jan 08 14:36:45 Finished compiler/backend/x64/proofs                             20s   1GB
Jan 08 14:36:45 Starting compiler/backend/arm7/proofs
Jan 08 14:37:07 Finished compiler/backend/arm7/proofs                            21s   1GB
Jan 08 14:37:07 Starting compiler/backend/arm8/proofs
Jan 08 14:37:27 Finished compiler/backend/arm8/proofs                            19s   1GB
Jan 08 14:37:28 Starting compiler/backend/mips/proofs
Jan 08 14:37:49 Finished compiler/backend/mips/proofs                            21s   1GB
Jan 08 14:37:50 Starting compiler/backend/riscv/proofs
Jan 08 14:38:13 Finished compiler/backend/riscv/proofs                           23s   2GB
Jan 08 14:38:13 Starting compiler/backend/ag32/proofs
Jan 08 14:50:19 Finished compiler/backend/ag32/proofs                         12m05s   5GB
Jan 08 14:50:19 Starting compiler/proofs
Jan 08 14:52:13 Finished compiler/proofs                                       1m53s   6GB
Jan 08 14:52:13 Starting candle/set-theory
Jan 08 14:52:42 Finished candle/set-theory                                       28s   1GB
Jan 08 14:52:42 Starting candle/syntax-lib
Jan 08 14:52:53 Finished candle/syntax-lib                                       10s 811MB
Jan 08 14:52:54 Starting candle/standard/syntax
Jan 08 14:54:45 Finished candle/standard/syntax                                1m51s   1GB
Jan 08 14:54:45 Starting candle/standard/semantics
Jan 08 14:56:32 Finished candle/standard/semantics                             1m47s   2GB
Jan 08 14:56:32 Starting candle/standard/monadic
Jan 08 14:58:12 Finished candle/standard/monadic                               1m39s   1GB
Jan 08 14:58:12 Starting candle/standard/ml_kernel
Jan 08 15:03:22 Finished candle/standard/ml_kernel                             5m09s   6GB
Jan 08 15:03:22 Starting candle/overloading/syntax
Jan 08 15:06:32 Finished candle/overloading/syntax                             3m09s   2GB
Jan 08 15:06:32 Starting candle/overloading/semantics
Jan 08 15:18:44 Finished candle/overloading/semantics                         12m11s   8GB
Jan 08 15:18:44 Starting characteristic/examples
Jan 08 15:20:02 Finished characteristic/examples                               1m17s   4GB
Jan 08 15:20:02 Starting tutorial/solutions
Jan 08 15:35:10 Finished tutorial/solutions                                   15m07s  12GB
Jan 08 15:35:10 Starting translator/monadic/examples
Jan 08 15:38:28 Finished translator/monadic/examples                           3m17s   3GB
Jan 08 15:38:28 Starting examples
Jan 08 15:47:06 Finished examples                                              8m37s   7GB
Jan 08 15:47:06 Starting examples/compilation/x64
Jan 08 18:06:21 Finished examples/compilation/x64                           2h19m13s  39GB
Jan 08 18:06:21 Starting examples/compilation/x64/proofs
Jan 08 18:08:16 Finished examples/compilation/x64/proofs                       1m55s   3GB
Jan 08 18:08:16 Starting examples/compilation/ag32
Jan 08 18:41:31 Finished examples/compilation/ag32                            33m14s  11GB
Jan 08 18:41:31 Starting examples/compilation/ag32/proofs
Jan 08 18:42:24 Finished examples/compilation/ag32/proofs                        53s   4GB
Jan 08 18:42:25 Starting examples/cost
Jan 08 19:36:14 Finished examples/cost                                        53m48s  15GB
Jan 08 19:36:14 Starting examples/lpr_checker
Jan 08 19:40:03 Finished examples/lpr_checker                                  3m49s   5GB
Jan 08 19:40:03 Starting examples/lpr_checker/compilation
Jan 08 19:58:23 Finished examples/lpr_checker/compilation                     18m19s  15GB
Jan 08 19:58:23 Starting examples/lpr_checker/compilation/proofs
Jan 08 19:59:07 Finished examples/lpr_checker/compilation/proofs                 43s   3GB
Jan 08 19:59:07 Starting examples/lpr_checker/array
Jan 08 20:12:55 Finished examples/lpr_checker/array                           13m47s   9GB
Jan 08 20:12:55 Starting examples/lpr_checker/array/compilation
Jan 08 20:32:24 Finished examples/lpr_checker/array/compilation               19m29s  20GB
Jan 08 20:32:24 Starting examples/lpr_checker/array/compilation/proofs
Jan 08 20:33:12 Finished examples/lpr_checker/array/compilation/proofs           47s   4GB
Jan 08 20:33:12 Starting examples/opentheory
Jan 08 20:42:22 Finished examples/opentheory                                   9m09s   6GB
Jan 08 20:42:22 Starting examples/opentheory
Jan 08 20:42:23 Finished examples/opentheory                                      0s  96MB
Jan 08 20:42:23 Starting examples/opentheory/compilation
Jan 08 21:13:18 Finished examples/opentheory/compilation                      30m54s  18GB
Jan 08 21:13:18 Starting examples/opentheory/compilation/proofs
Jan 08 21:14:03 Finished examples/opentheory/compilation/proofs                  44s   3GB
Jan 08 21:14:03 Starting examples/opentheory/compilation/ag32
Jan 08 21:46:16 Finished examples/opentheory/compilation/ag32                 32m12s  24GB
Jan 08 21:46:16 Starting examples/opentheory/compilation/ag32/proofs
Jan 08 21:47:46 Finished examples/opentheory/compilation/ag32/proofs           1m29s   6GB
Jan 08 21:47:47 Starting translator/okasaki-examples
Jan 08 21:51:56 Finished translator/okasaki-examples                           4m09s   2GB
Jan 08 21:51:56 Starting translator/other-examples
Jan 08 21:53:59 Finished translator/other-examples                             2m02s   2GB
Jan 08 21:53:59 Starting compiler/parsing/tests
Jan 08 21:54:23 Finished compiler/parsing/tests                                  23s 642MB
Jan 08 21:54:23 Starting compiler/inference/tests
Jan 08 22:01:29 Finished compiler/inference/tests                              7m05s   6GB
Jan 08 22:01:29 Starting compiler/bootstrap/translation
Jan 09 00:45:04 Finished compiler/bootstrap/translation                     2h43m34s  48GB
Jan 09 00:45:04 Starting unverified/sexpr-bootstrap/x64/64
Jan 09 00:57:16 Finished unverified/sexpr-bootstrap/x64/64                    12m11s   8GB
Jan 09 00:57:16 Starting unverified/sexpr-bootstrap/x64/32
Jan 09 01:07:47 Finished unverified/sexpr-bootstrap/x64/32                    10m30s   8GB
Jan 09 01:07:47 Starting compiler/benchmarks
Jan 09 01:45:42 Finished compiler/benchmarks                                  37m54s   2GB
Jan 09 01:45:43 Starting compiler/bootstrap/compilation/x64/64
Jan 09 17:11:51 Finished compiler/bootstrap/compilation/x64/64             15h26m07s  64GB
Jan 09 17:11:52 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 09 17:14:14 Finished compiler/bootstrap/compilation/x64/64/proofs          2m22s  20GB
Jan 09 17:14:14 Starting compiler/bootstrap/compilation/x64/32
Jan 10 07:26:22 Finished compiler/bootstrap/compilation/x64/32             14h12m06s  64GB
Jan 10 07:26:22 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 10 07:28:26 Finished compiler/bootstrap/compilation/x64/32/proofs          2m04s  14GB
Jan 10 07:28:26 Starting compiler/bootstrap/compilation/ag32/32
Jan 10 23:13:43 Finished compiler/bootstrap/compilation/ag32/32            15h45m16s  64GB
Jan 10 23:13:43 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 10 23:23:58 Finished compiler/bootstrap/compilation/ag32/32/proofs        10m14s  34GB
Jan 10 23:23:58 SUCCESS