Job 1408

CakeML:dc318354b933b482183c8fc195ded96711491c87
  Get reader proof to build again [Dec 02 12:36:41]
#808 (ord-chr-word8)
Merging into:3157c56dfe1eab23ef37b3cefb8fca2cced396c5
  Merge pull request #804 from CakeML/currheap [Nov 17 07:22:18]
HOL:77016ef7b01f987f1f684e825ac1d79feb8d454a
  emacs-mode: fix bug in previous caused by variable masking [Nov 27 05:03:03]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Dec 02 12:37:26 Claimed job
Dec 02 12:37:33 Reusing HOL
Dec 02 12:37:38 Starting developers
Dec 02 12:37:39 Finished developers                                               0s  35MB
Dec 02 12:37:39 Starting developers/bin
Dec 02 12:37:45 Finished developers/bin                                           5s   1GB
Dec 02 12:37:45 Starting semantics/ffi
Dec 02 12:37:55 Finished semantics/ffi                                            9s 273MB
Dec 02 12:37:55 Starting semantics
Dec 02 12:39:19 Finished semantics                                             1m23s   2GB
Dec 02 12:39:19 Starting semantics/proofs
Dec 02 12:42:38 Finished semantics/proofs                                      3m18s   1GB
Dec 02 12:42:38 Starting semantics/alt_semantics
Dec 02 12:42:46 Finished semantics/alt_semantics                                  7s 351MB
Dec 02 12:42:46 Starting semantics/alt_semantics/proofs
Dec 02 12:44:54 Finished semantics/alt_semantics/proofs                        2m07s   1GB
Dec 02 12:44:54 Starting basis/pure
Dec 02 12:45:47 Finished basis/pure                                              53s   1GB
Dec 02 12:45:47 Starting translator
Dec 02 12:48:23 Finished translator                                            2m35s   2GB
Dec 02 12:48:23 Starting compiler/parsing
Dec 02 12:49:30 Finished compiler/parsing                                      1m06s   2GB
Dec 02 12:49:30 Starting characteristic
Dec 02 12:55:26 Finished characteristic                                        5m55s   3GB
Dec 02 12:55:26 Starting translator/monadic
Dec 02 12:57:08 Finished translator/monadic                                    1m41s   2GB
Dec 02 12:57:08 Starting basis
Dec 02 13:30:19 Finished basis                                                33m09s  35GB
Dec 02 13:30:19 Starting compiler/inference
Dec 02 13:31:22 Finished compiler/inference                                    1m03s   1GB
Dec 02 13:31:23 Starting compiler/backend/reg_alloc
Dec 02 13:32:26 Finished compiler/backend/reg_alloc                            1m03s   1GB
Dec 02 13:32:26 Starting compiler/backend/gc
Dec 02 13:35:46 Finished compiler/backend/gc                                   3m20s   3GB
Dec 02 13:35:46 Starting compiler/backend
Dec 02 13:40:42 Finished compiler/backend                                      4m55s   5GB
Dec 02 13:40:42 Starting compiler/encoders/asm
Dec 02 13:41:05 Finished compiler/encoders/asm                                   22s   1GB
Dec 02 13:41:05 Starting compiler/encoders/x64
Dec 02 13:41:32 Finished compiler/encoders/x64                                   26s   1GB
Dec 02 13:41:32 Starting compiler/encoders/arm7
Dec 02 13:42:22 Finished compiler/encoders/arm7                                  50s   1GB
Dec 02 13:42:23 Starting compiler/encoders/arm8
Dec 02 13:42:36 Finished compiler/encoders/arm8                                  13s   1GB
Dec 02 13:42:36 Starting compiler/encoders/mips
Dec 02 13:42:54 Finished compiler/encoders/mips                                  17s   1GB
Dec 02 13:42:54 Starting compiler/encoders/riscv
Dec 02 13:43:11 Finished compiler/encoders/riscv                                 16s   1GB
Dec 02 13:43:11 Starting compiler/encoders/ag32
Dec 02 13:43:29 Finished compiler/encoders/ag32                                  18s 906MB
Dec 02 13:43:29 Starting compiler/backend/x64
Dec 02 13:43:48 Finished compiler/backend/x64                                    18s   1GB
Dec 02 13:43:48 Starting compiler/backend/arm7
Dec 02 13:44:10 Finished compiler/backend/arm7                                   21s   1GB
Dec 02 13:44:10 Starting compiler/backend/arm8
Dec 02 13:44:30 Finished compiler/backend/arm8                                   20s   1GB
Dec 02 13:44:30 Starting compiler/backend/mips
Dec 02 13:44:51 Finished compiler/backend/mips                                   20s   1GB
Dec 02 13:44:51 Starting compiler/backend/riscv
Dec 02 13:45:12 Finished compiler/backend/riscv                                  20s   1GB
Dec 02 13:45:12 Starting compiler/backend/ag32
Dec 02 13:46:21 Finished compiler/backend/ag32                                 1m09s   2GB
Dec 02 13:46:22 Starting compiler/parsing/proofs
Dec 02 13:51:53 Finished compiler/parsing/proofs                               5m31s   2GB
Dec 02 13:51:53 Starting compiler/inference/proofs
Dec 02 13:54:24 Finished compiler/inference/proofs                             2m30s   2GB
Dec 02 13:54:25 Starting compiler/backend/semantics
Dec 02 14:20:44 Finished compiler/backend/semantics                           26m19s   5GB
Dec 02 14:20:44 Starting compiler/backend/reg_alloc/proofs
Dec 02 14:24:00 Finished compiler/backend/reg_alloc/proofs                     3m15s   1GB
Dec 02 14:24:00 Starting compiler/backend/proofs
Dec 02 15:17:43 Finished compiler/backend/proofs                              53m43s  22GB
Dec 02 15:17:43 Starting compiler/encoders/x64/proofs
Dec 02 15:27:00 Finished compiler/encoders/x64/proofs                          9m16s   7GB
Dec 02 15:27:01 Starting compiler/encoders/arm7/proofs
Dec 02 15:39:29 Finished compiler/encoders/arm7/proofs                        12m28s   6GB
Dec 02 15:39:29 Starting compiler/encoders/arm8/proofs
Dec 02 15:45:54 Finished compiler/encoders/arm8/proofs                         6m24s   3GB
Dec 02 15:45:54 Starting compiler/encoders/mips/proofs
Dec 02 15:55:51 Finished compiler/encoders/mips/proofs                         9m56s   7GB
Dec 02 15:55:51 Starting compiler/encoders/riscv/proofs
Dec 02 16:04:17 Finished compiler/encoders/riscv/proofs                        8m26s   4GB
Dec 02 16:04:17 Starting compiler/encoders/ag32/proofs
Dec 02 16:06:38 Finished compiler/encoders/ag32/proofs                         2m20s   1GB
Dec 02 16:06:38 Starting compiler/backend/x64/proofs
Dec 02 16:06:59 Finished compiler/backend/x64/proofs                             20s   1GB
Dec 02 16:06:59 Starting compiler/backend/arm7/proofs
Dec 02 16:07:22 Finished compiler/backend/arm7/proofs                            22s   1GB
Dec 02 16:07:22 Starting compiler/backend/arm8/proofs
Dec 02 16:07:43 Finished compiler/backend/arm8/proofs                            20s   1GB
Dec 02 16:07:43 Starting compiler/backend/mips/proofs
Dec 02 16:08:05 Finished compiler/backend/mips/proofs                            21s   1GB
Dec 02 16:08:05 Starting compiler/backend/riscv/proofs
Dec 02 16:08:29 Finished compiler/backend/riscv/proofs                           23s   2GB
Dec 02 16:08:29 Starting compiler/backend/ag32/proofs
Dec 02 16:20:27 Finished compiler/backend/ag32/proofs                         11m57s   5GB
Dec 02 16:20:27 Starting compiler/proofs
Dec 02 16:22:05 Finished compiler/proofs                                       1m37s   6GB
Dec 02 16:22:05 Starting candle/set-theory
Dec 02 16:22:35 Finished candle/set-theory                                       29s   1GB
Dec 02 16:22:35 Starting candle/syntax-lib
Dec 02 16:22:46 Finished candle/syntax-lib                                       11s 818MB
Dec 02 16:22:46 Starting candle/standard/syntax
Dec 02 16:24:36 Finished candle/standard/syntax                                1m49s   1GB
Dec 02 16:24:36 Starting candle/standard/semantics
Dec 02 16:26:22 Finished candle/standard/semantics                             1m45s   2GB
Dec 02 16:26:22 Starting candle/standard/monadic
Dec 02 16:28:03 Finished candle/standard/monadic                               1m41s   1GB
Dec 02 16:28:03 Starting candle/standard/ml_kernel
Dec 02 16:33:16 Finished candle/standard/ml_kernel                             5m12s   6GB
Dec 02 16:33:16 Starting candle/overloading/syntax
Dec 02 16:36:29 Finished candle/overloading/syntax                             3m12s   1GB
Dec 02 16:36:29 Starting candle/overloading/semantics
Dec 02 16:48:38 Finished candle/overloading/semantics                         12m08s   9GB
Dec 02 16:48:38 Starting characteristic/examples
Dec 02 16:49:54 Finished characteristic/examples                               1m15s   4GB
Dec 02 16:49:54 Starting tutorial/solutions
Dec 02 17:05:07 Finished tutorial/solutions                                   15m12s  16GB
Dec 02 17:05:07 Starting translator/monadic/examples
Dec 02 17:08:26 Finished translator/monadic/examples                           3m18s   3GB
Dec 02 17:08:26 Starting examples
Dec 02 17:17:01 Finished examples                                              8m35s   6GB
Dec 02 17:17:02 Starting examples/compilation/x64
Dec 02 20:20:51 Resuming examples/compilation/x64