Job 568

CakeML:24050da03e4c1412a0aa8207562fc97f06aff0b9
  Merge branch 'master' into flat-elim-cleanup [Nov 19 22:06:30]
#553 (flat-elim-cleanup)
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:oven2 4.13.0-37-generic x86_64 GNU/Linux

Nov 20 21:38:57 Claimed job
Nov 20 21:39:39 Building HOL
Nov 20 21:47:35 Starting developers/bin
Nov 20 21:48:08 Finished developers/bin                                          32s 140MB
Nov 20 21:48:09 Starting semantics/ffi
Nov 20 21:48:45 Finished semantics/ffi                                           35s 404MB
Nov 20 21:48:45 Starting semantics
Nov 20 21:50:08 Finished semantics                                             1m21s 818MB
Nov 20 21:50:09 Starting semantics/proofs
Nov 20 21:53:00 Finished semantics/proofs                                      2m51s   1GB
Nov 20 21:53:01 Starting basis/pure
Nov 20 21:56:35 Finished basis/pure                                            3m33s 650MB
Nov 20 21:56:36 Starting translator
Nov 20 21:59:39 Finished translator                                            3m02s 935MB
Nov 20 21:59:40 Starting compiler/parsing
Nov 20 22:00:55 Finished compiler/parsing                                      1m14s   1GB
Nov 20 22:00:55 Starting characteristic
Nov 20 22:03:21 Finished characteristic                                        2m25s   1GB
Nov 20 22:03:22 Starting translator/monadic
Nov 20 22:04:46 Finished translator/monadic                                    1m22s   2GB
Nov 20 22:04:47 Starting basis
Nov 20 22:21:41 Finished basis                                                16m53s   3GB
Nov 20 22:21:42 Starting compiler/inference
Nov 20 22:23:20 Finished compiler/inference                                    1m37s   1GB
Nov 20 22:23:21 Starting compiler/backend/reg_alloc
Nov 20 22:24:08 Finished compiler/backend/reg_alloc                              45s   1GB
Nov 20 22:24:08 Starting compiler/backend/gc
Nov 20 22:31:31 Finished compiler/backend/gc                                   7m21s   1GB
Nov 20 22:31:32 Starting compiler/backend
Nov 20 22:31:35 Finished compiler/backend                                         2s  22MB
Nov 20 22:31:36 Starting compiler/encoders/asm
Nov 20 22:31:37 Finished compiler/encoders/asm                                    0s  13MB
Nov 20 22:31:38 Starting compiler/encoders/x64
Nov 20 22:32:27 Finished compiler/encoders/x64                                   48s 530MB
Nov 20 22:32:28 Starting compiler/encoders/arm6
Nov 20 22:34:12 Finished compiler/encoders/arm6                                1m43s   1GB
Nov 20 22:34:13 Starting compiler/encoders/arm8
Nov 20 22:34:37 Finished compiler/encoders/arm8                                  23s 477MB
Nov 20 22:34:38 Starting compiler/encoders/mips
Nov 20 22:35:35 Finished compiler/encoders/mips                                  55s 849MB
Nov 20 22:35:35 Starting compiler/encoders/riscv
Nov 20 22:36:35 Finished compiler/encoders/riscv                                 59s 912MB
Nov 20 22:36:36 Starting compiler/backend/x64
Nov 20 22:36:54 Finished compiler/backend/x64                                    16s 974MB
Nov 20 22:36:54 Starting compiler/backend/arm6
Nov 20 22:37:13 Finished compiler/backend/arm6                                   18s   1GB
Nov 20 22:37:14 Starting compiler/backend/arm8
Nov 20 22:37:32 Finished compiler/backend/arm8                                   16s   1GB
Nov 20 22:37:33 Starting compiler/backend/mips
Nov 20 22:37:52 Finished compiler/backend/mips                                   18s   1GB
Nov 20 22:37:52 Starting compiler/backend/riscv
Nov 20 22:38:11 Finished compiler/backend/riscv                                  17s   1GB
Nov 20 22:38:12 Starting compiler/parsing/proofs
Nov 20 22:44:17 Finished compiler/parsing/proofs                               6m04s 916MB
Nov 20 22:44:18 Starting compiler/inference/proofs
Nov 20 22:47:11 Finished compiler/inference/proofs                             2m52s   1GB
Nov 20 22:47:11 Starting compiler/backend/semantics
Nov 20 22:56:12 Finished compiler/backend/semantics                            9m00s   2GB
Nov 20 22:56:13 Starting compiler/backend/reg_alloc/proofs
Nov 20 22:59:00 Finished compiler/backend/reg_alloc/proofs                     2m45s 538MB
Nov 20 22:59:00 Starting compiler/backend/proofs
Nov 20 23:42:55 Finished compiler/backend/proofs                              43m53s   4GB
Nov 20 23:42:56 Starting compiler/encoders/x64/proofs
Nov 20 23:50:59 Finished compiler/encoders/x64/proofs                          8m02s   5GB
Nov 20 23:51:00 Starting compiler/encoders/arm6/proofs
Nov 20 23:59:03 Finished compiler/encoders/arm6/proofs                         8m01s   4GB
Nov 20 23:59:04 Starting compiler/encoders/arm8/proofs
Nov 21 00:04:51 Finished compiler/encoders/arm8/proofs                         5m46s   1GB
Nov 21 00:04:52 Starting compiler/encoders/mips/proofs
Nov 21 00:12:38 Finished compiler/encoders/mips/proofs                         7m44s   1GB
Nov 21 00:12:39 Starting compiler/encoders/riscv/proofs
Nov 21 00:20:58 Finished compiler/encoders/riscv/proofs                        8m18s 702MB
Nov 21 00:20:58 Starting compiler/backend/x64/proofs
Nov 21 00:21:18 Finished compiler/backend/x64/proofs                             19s   1GB
Nov 21 00:21:19 Starting compiler/backend/arm6/proofs
Nov 21 00:21:41 Finished compiler/backend/arm6/proofs                            21s 882MB
Nov 21 00:21:42 Starting compiler/backend/arm8/proofs
Nov 21 00:22:02 Finished compiler/backend/arm8/proofs                            19s 729MB
Nov 21 00:22:03 Starting compiler/backend/mips/proofs
Nov 21 00:22:24 Finished compiler/backend/mips/proofs                            20s   1GB
Nov 21 00:22:25 Starting compiler/backend/riscv/proofs
Nov 21 00:22:45 Finished compiler/backend/riscv/proofs                           19s   1GB
Nov 21 00:22:46 Starting compiler/proofs
Nov 21 00:24:08 Finished compiler/proofs                                       1m21s   2GB
Nov 21 00:24:08 Starting candle/set-theory
Nov 21 00:24:39 Finished candle/set-theory                                       29s 581MB
Nov 21 00:24:39 Starting candle/syntax-lib
Nov 21 00:24:49 Finished candle/syntax-lib                                        9s 484MB
Nov 21 00:24:50 Starting candle/standard/syntax
Nov 21 00:26:25 Finished candle/standard/syntax                                1m34s 615MB
Nov 21 00:26:26 Starting candle/standard/semantics
Nov 21 00:27:53 Finished candle/standard/semantics                             1m25s 715MB
Nov 21 00:27:53 Starting candle/standard/monadic
Nov 21 00:29:34 Finished candle/standard/monadic                               1m39s 927MB
Nov 21 00:29:34 Starting candle/standard/ml_kernel
Nov 21 00:45:45 Finished candle/standard/ml_kernel                            16m10s   4GB
Nov 21 00:45:46 Starting candle/standard/opentheory
Nov 21 00:53:49 Finished candle/standard/opentheory                            8m01s   3GB
Nov 21 00:53:50 Starting candle/standard/opentheory/compilation Nov 21 00:53:50