Job 567

CakeML:918540f1a5b467ea8897f1b34e890936c63f7bbd
  Merge remote-tracking branch 'origin/master' into tiny [Nov 20 18:14:42]
#554 (tiny)
Merging into:9b491cb24bd22174a6c514574e4bb6c057eafe2f
  Rename "backend_correct" to "encoder_correct" [Nov 20 18:08:31]
HOL:57ef4df497757f622a7fe2bfeda16116585da6d4
  Update experimental kernel for world free of Globals.priming [Nov 20 05:59:15]
Machine:demi

Nov 20 20:01:59 Claimed job
Nov 20 20:02:05 Reusing HOL
Nov 20 20:02:55 Starting developers/bin
Nov 20 20:03:02 Finished developers/bin                                           6s 924MB
Nov 20 20:03:02 Starting semantics/ffi
Nov 20 20:03:20 Finished semantics/ffi                                           16s 274MB
Nov 20 20:03:20 Starting semantics
Nov 20 20:05:08 Finished semantics                                             1m47s 880MB
Nov 20 20:05:08 Starting semantics/proofs
Nov 20 20:09:16 Finished semantics/proofs                                      4m06s   1GB
Nov 20 20:09:16 Starting basis/pure
Nov 20 20:10:30 Finished basis/pure                                            1m13s 617MB
Nov 20 20:10:30 Starting translator
Nov 20 20:14:50 Finished translator                                            4m18s   1GB
Nov 20 20:14:50 Starting compiler/parsing
Nov 20 20:16:36 Finished compiler/parsing                                      1m45s   2GB
Nov 20 20:16:36 Starting characteristic
Nov 20 20:20:11 Finished characteristic                                        3m34s   1GB
Nov 20 20:20:12 Starting translator/monadic
Nov 20 20:22:13 Finished translator/monadic                                    2m00s   1GB
Nov 20 20:22:14 Starting basis
Nov 20 20:44:53 Finished basis                                                22m39s   2GB
Nov 20 20:44:54 Starting compiler/inference
Nov 20 20:46:48 Finished compiler/inference                                    1m53s   2GB
Nov 20 20:46:48 Starting compiler/backend/reg_alloc
Nov 20 20:47:53 Finished compiler/backend/reg_alloc                            1m03s 994MB
Nov 20 20:47:53 Starting compiler/backend/gc
Nov 20 20:56:30 Finished compiler/backend/gc                                   8m36s   1GB
Nov 20 20:56:31 Starting compiler/backend
Nov 20 20:56:34 Finished compiler/backend                                         3s  47MB
Nov 20 20:56:35 Starting compiler/encoders/asm
Nov 20 20:56:37 Finished compiler/encoders/asm                                    1s  34MB
Nov 20 20:56:37 Starting compiler/encoders/x64
Nov 20 20:57:03 Finished compiler/encoders/x64                                   25s 433MB
Nov 20 20:57:04 Starting compiler/encoders/arm6
Nov 20 20:58:08 Finished compiler/encoders/arm6                                1m03s 373MB
Nov 20 20:58:09 Starting compiler/encoders/arm8
Nov 20 20:58:21 Finished compiler/encoders/arm8                                  11s 395MB
Nov 20 20:58:21 Starting compiler/encoders/mips
Nov 20 20:58:35 Finished compiler/encoders/mips                                  13s 525MB
Nov 20 20:58:35 Starting compiler/encoders/riscv
Nov 20 20:58:48 Finished compiler/encoders/riscv                                 11s 436MB
Nov 20 20:58:48 Starting compiler/encoders/ag32
Nov 20 20:59:13 Finished compiler/encoders/ag32                                  24s 782MB
Nov 20 20:59:14 Starting compiler/backend/x64
Nov 20 20:59:40 Finished compiler/backend/x64                                    25s   1GB
Nov 20 20:59:40 Starting compiler/backend/arm6
Nov 20 21:00:09 Finished compiler/backend/arm6                                   27s 962MB
Nov 20 21:00:09 Starting compiler/backend/arm8
Nov 20 21:00:36 Finished compiler/backend/arm8                                   26s   1GB
Nov 20 21:00:37 Starting compiler/backend/mips
Nov 20 21:01:05 Finished compiler/backend/mips                                   27s   1GB
Nov 20 21:01:05 Starting compiler/backend/riscv
Nov 20 21:01:33 Finished compiler/backend/riscv                                  26s   1GB
Nov 20 21:01:33 Starting compiler/backend/ag32
Nov 20 21:03:12 Finished compiler/backend/ag32                                 1m38s   1GB
Nov 20 21:03:13 Starting compiler/parsing/proofs
Nov 20 21:12:33 Finished compiler/parsing/proofs                               9m20s   1GB
Nov 20 21:12:34 Starting compiler/inference/proofs
Nov 20 21:16:37 Finished compiler/inference/proofs                             4m02s   1GB
Nov 20 21:16:37 Starting compiler/backend/semantics
Nov 20 21:28:40 Finished compiler/backend/semantics                           12m02s   2GB
Nov 20 21:28:40 Starting compiler/backend/reg_alloc/proofs
Nov 20 21:32:21 Finished compiler/backend/reg_alloc/proofs                     3m39s 976MB
Nov 20 21:32:21 Starting compiler/backend/proofs
Nov 20 22:28:55 Finished compiler/backend/proofs                              56m33s   3GB
Nov 20 22:28:55 Starting compiler/encoders/x64/proofs
Nov 20 22:41:15 Finished compiler/encoders/x64/proofs                         12m18s   1GB
Nov 20 22:41:15 Starting compiler/encoders/arm6/proofs
Nov 20 22:59:51 Finished compiler/encoders/arm6/proofs                        18m35s   1GB
Nov 20 22:59:51 Starting compiler/encoders/arm8/proofs
Nov 20 23:07:46 Finished compiler/encoders/arm8/proofs                         7m54s   1GB
Nov 20 23:07:47 Starting compiler/encoders/mips/proofs
Nov 20 23:21:19 Finished compiler/encoders/mips/proofs                        13m31s   2GB
Nov 20 23:21:20 Starting compiler/encoders/riscv/proofs
Nov 20 23:31:47 Finished compiler/encoders/riscv/proofs                       10m26s   1GB
Nov 20 23:31:47 Starting compiler/encoders/ag32/proofs
Nov 20 23:35:25 Finished compiler/encoders/ag32/proofs                         3m37s   1GB
Nov 20 23:35:25 Starting compiler/backend/x64/proofs
Nov 20 23:35:54 Finished compiler/backend/x64/proofs                             28s   1GB
Nov 20 23:35:55 Starting compiler/backend/arm6/proofs
Nov 20 23:36:27 Finished compiler/backend/arm6/proofs                            31s   1GB
Nov 20 23:36:27 Starting compiler/backend/arm8/proofs
Nov 20 23:36:55 Finished compiler/backend/arm8/proofs                            26s 829MB
Nov 20 23:36:55 Starting compiler/backend/mips/proofs
Nov 20 23:37:26 Finished compiler/backend/mips/proofs                            30s   1GB
Nov 20 23:37:26 Starting compiler/backend/riscv/proofs
Nov 20 23:37:56 Finished compiler/backend/riscv/proofs                           29s   1GB
Nov 20 23:37:57 Starting compiler/backend/ag32/proofs
Nov 20 23:50:47 Finished compiler/backend/ag32/proofs                         12m49s   2GB
Nov 20 23:50:48 Starting compiler/proofs
Nov 20 23:52:35 Finished compiler/proofs                                       1m46s   2GB
Nov 20 23:52:36 Starting candle/set-theory
Nov 20 23:53:13 Finished candle/set-theory                                       36s 640MB
Nov 20 23:53:13 Starting candle/syntax-lib
Nov 20 23:53:28 Finished candle/syntax-lib                                       14s 632MB
Nov 20 23:53:29 Starting candle/standard/syntax
Nov 20 23:55:35 Finished candle/standard/syntax                                2m05s 965MB
Nov 20 23:55:36 Starting candle/standard/semantics
Nov 20 23:57:29 Finished candle/standard/semantics                             1m52s 860MB
Nov 20 23:57:29 Starting candle/standard/monadic
Nov 20 23:59:36 Finished candle/standard/monadic                               2m06s   1GB
Nov 20 23:59:36 Starting candle/standard/ml_kernel
Nov 21 00:20:26 Finished candle/standard/ml_kernel                            20m49s   3GB
Nov 21 00:20:27 Starting candle/standard/opentheory
Nov 21 00:31:05 Finished candle/standard/opentheory                           10m37s   3GB
Nov 21 00:31:05 Starting candle/standard/opentheory/compilation
Nov 21 01:07:39 Finished candle/standard/opentheory/compilation               36m32s  17GB
Nov 21 01:07:39 Starting candle/standard/opentheory/compilation/proofs
Nov 21 01:08:29 Finished candle/standard/opentheory/compilation/proofs           49s   4GB
Nov 21 01:08:30 Starting characteristic/examples
Nov 21 01:10:31 Finished characteristic/examples                               2m00s   2GB
Nov 21 01:10:31 Starting tutorial/solutions
Nov 21 01:28:40 Finished tutorial/solutions                                   18m08s   6GB
Nov 21 01:28:41 Starting translator/monadic/examples
Nov 21 01:31:00 Finished translator/monadic/examples                           2m18s   2GB
Nov 21 01:31:00 Starting examples
Nov 21 01:37:53 Finished examples                                              6m52s   2GB
Nov 21 01:37:54 Starting examples/compilation/x64
Nov 21 04:10:15 Finished examples/compilation/x64                           2h32m20s  10GB
Nov 21 04:10:16 Starting examples/compilation/x64/proofs
Nov 21 04:13:02 Finished examples/compilation/x64/proofs                       2m45s   3GB
Nov 21 04:13:03 Starting examples/ag32
Nov 21 04:13:03 SysErr ("No such file or directory", SOME ENOENT)
Nov 21 04:13:04 FAILED: examples/ag32