Job 1384

CakeML:05bb6c4ce145c198ba5bfe7ff8e609d2d64d530a
  Minor tweaks [Oct 21 12:39:26]
#802 (data-cost)
Merging into:d979dab193020d8e4687a630b6aabd6de4a20cbd
  Fix build failure caused by HOL API change in ThmSetData [Oct 27 06:19:52]
HOL:6c0c2409ecdbd7195911f674a77bfdd39c83816e
  Fix printing of boolean negation after numeric types are loaded [Oct 26 03:48:20]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Nov 03 12:34:29 Claimed job
Nov 03 12:34:42 Building HOL
Nov 03 12:48:32 Starting developers
Nov 03 12:48:35 Finished developers                                               2s 113MB
Nov 03 12:48:35 Starting developers/bin
Nov 03 12:48:41 Finished developers/bin                                           5s   1GB
Nov 03 12:48:41 Starting semantics/ffi
Nov 03 12:48:51 Finished semantics/ffi                                            9s 265MB
Nov 03 12:48:51 Starting semantics
Nov 03 12:50:24 Finished semantics                                             1m32s   1GB
Nov 03 12:50:24 Starting semantics/proofs
Nov 03 12:53:43 Finished semantics/proofs                                      3m18s   1GB
Nov 03 12:53:43 Starting semantics/alt_semantics
Nov 03 12:53:52 Finished semantics/alt_semantics                                  7s 396MB
Nov 03 12:53:52 Starting semantics/alt_semantics/proofs
Nov 03 12:56:01 Finished semantics/alt_semantics/proofs                        2m09s   1GB
Nov 03 12:56:01 Starting basis/pure
Nov 03 12:58:43 Finished basis/pure                                            2m41s   1GB
Nov 03 12:58:43 Starting translator
Nov 03 13:01:23 Finished translator                                            2m39s   2GB
Nov 03 13:01:23 Starting compiler/parsing
Nov 03 13:02:29 Finished compiler/parsing                                      1m06s   4GB
Nov 03 13:02:30 Starting characteristic
Nov 03 13:08:13 Finished characteristic                                        5m43s   3GB
Nov 03 13:08:13 Starting translator/monadic
Nov 03 13:09:55 Finished translator/monadic                                    1m41s   2GB
Nov 03 13:09:55 Starting basis
Nov 03 13:43:06 Finished basis                                                33m10s  37GB
Nov 03 13:43:06 Starting compiler/inference
Nov 03 13:44:13 Finished compiler/inference                                    1m06s   1GB
Nov 03 13:44:13 Starting compiler/backend/reg_alloc
Nov 03 13:45:17 Finished compiler/backend/reg_alloc                            1m04s   1GB
Nov 03 13:45:17 Starting compiler/backend/gc
Nov 03 13:48:46 Finished compiler/backend/gc                                   3m28s   3GB
Nov 03 13:48:46 Starting compiler/backend
Nov 03 13:53:34 Finished compiler/backend                                      4m47s   4GB
Nov 03 13:53:34 Starting compiler/encoders/asm
Nov 03 13:53:57 Finished compiler/encoders/asm                                   22s   1GB
Nov 03 13:53:57 Starting compiler/encoders/x64
Nov 03 13:54:58 Finished compiler/encoders/x64                                 1m00s   1GB
Nov 03 13:54:58 Starting compiler/encoders/arm7
Nov 03 13:56:54 Finished compiler/encoders/arm7                                1m56s   1GB
Nov 03 13:56:55 Starting compiler/encoders/arm8
Nov 03 13:57:31 Finished compiler/encoders/arm8                                  36s   1GB
Nov 03 13:57:32 Starting compiler/encoders/mips
Nov 03 13:58:46 Finished compiler/encoders/mips                                1m14s   1GB
Nov 03 13:58:47 Starting compiler/encoders/riscv
Nov 03 14:00:15 Finished compiler/encoders/riscv                               1m28s   1GB
Nov 03 14:00:16 Starting compiler/encoders/ag32
Nov 03 14:00:34 Finished compiler/encoders/ag32                                  17s 930MB
Nov 03 14:00:34 Starting compiler/backend/x64
Nov 03 14:00:52 Finished compiler/backend/x64                                    18s   1GB
Nov 03 14:00:52 Starting compiler/backend/arm7
Nov 03 14:01:13 Finished compiler/backend/arm7                                   20s   1GB
Nov 03 14:01:13 Starting compiler/backend/arm8
Nov 03 14:01:32 Finished compiler/backend/arm8                                   18s   1GB
Nov 03 14:01:32 Starting compiler/backend/mips
Nov 03 14:01:52 Finished compiler/backend/mips                                   19s   1GB
Nov 03 14:01:52 Starting compiler/backend/riscv
Nov 03 14:02:12 Finished compiler/backend/riscv                                  19s   1GB
Nov 03 14:02:12 Starting compiler/backend/ag32
Nov 03 14:03:23 Finished compiler/backend/ag32                                 1m10s   2GB
Nov 03 14:03:23 Starting compiler/parsing/proofs
Nov 03 14:08:48 Finished compiler/parsing/proofs                               5m24s   1GB
Nov 03 14:08:48 Starting compiler/inference/proofs
Nov 03 14:11:11 Finished compiler/inference/proofs                             2m22s   2GB
Nov 03 14:11:11 Starting compiler/backend/semantics
Nov 03 14:37:56 Finished compiler/backend/semantics                           26m45s   3GB
Nov 03 14:37:56 Starting compiler/backend/reg_alloc/proofs
Nov 03 14:41:11 Finished compiler/backend/reg_alloc/proofs                     3m14s   1GB
Nov 03 14:41:11 Starting compiler/backend/proofs
Nov 03 15:34:00 Finished compiler/backend/proofs                              52m48s  17GB
Nov 03 15:34:00 Starting compiler/encoders/x64/proofs
Nov 03 15:43:23 Finished compiler/encoders/x64/proofs                          9m22s   8GB
Nov 03 15:43:23 Starting compiler/encoders/arm7/proofs
Nov 03 15:55:53 Finished compiler/encoders/arm7/proofs                        12m29s   8GB
Nov 03 15:55:53 Starting compiler/encoders/arm8/proofs
Nov 03 16:02:15 Finished compiler/encoders/arm8/proofs                         6m21s   3GB
Nov 03 16:02:15 Starting compiler/encoders/mips/proofs
Nov 03 16:12:17 Finished compiler/encoders/mips/proofs                        10m01s   2GB
Nov 03 16:12:17 Starting compiler/encoders/riscv/proofs
Nov 03 16:20:50 Finished compiler/encoders/riscv/proofs                        8m32s   3GB
Nov 03 16:20:50 Starting compiler/encoders/ag32/proofs
Nov 03 16:23:12 Finished compiler/encoders/ag32/proofs                         2m21s   1GB
Nov 03 16:23:12 Starting compiler/backend/x64/proofs
Nov 03 16:23:32 Finished compiler/backend/x64/proofs                             19s   1GB
Nov 03 16:23:32 Starting compiler/backend/arm7/proofs
Nov 03 16:23:54 Finished compiler/backend/arm7/proofs                            21s   1GB
Nov 03 16:23:54 Starting compiler/backend/arm8/proofs
Nov 03 16:24:13 Finished compiler/backend/arm8/proofs                            19s   1GB
Nov 03 16:24:13 Starting compiler/backend/mips/proofs
Nov 03 16:24:35 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 03 16:24:35 Starting compiler/backend/riscv/proofs
Nov 03 16:24:57 Finished compiler/backend/riscv/proofs                           21s   1GB
Nov 03 16:24:57 Starting compiler/backend/ag32/proofs
Nov 03 16:36:54 Finished compiler/backend/ag32/proofs                         11m56s   5GB
Nov 03 16:36:54 Starting compiler/proofs
Nov 03 16:38:53 Finished compiler/proofs                                       1m58s   4GB
Nov 03 16:38:53 Starting candle/set-theory
Nov 03 16:39:22 Finished candle/set-theory                                       29s 970MB
Nov 03 16:39:23 Starting candle/syntax-lib
Nov 03 16:39:34 Finished candle/syntax-lib                                       10s 772MB
Nov 03 16:39:34 Starting candle/standard/syntax
Nov 03 16:41:25 Finished candle/standard/syntax                                1m50s   1GB
Nov 03 16:41:25 Starting candle/standard/semantics
Nov 03 16:43:10 Finished candle/standard/semantics                             1m45s   2GB
Nov 03 16:43:11 Starting candle/standard/monadic
Nov 03 16:44:52 Finished candle/standard/monadic                               1m41s   1GB
Nov 03 16:44:52 Starting candle/standard/ml_kernel
Nov 03 16:49:59 Finished candle/standard/ml_kernel                             5m06s   6GB
Nov 03 16:49:59 Starting candle/overloading/syntax
Nov 03 16:53:04 Finished candle/overloading/syntax                             3m04s   1GB
Nov 03 16:53:04 Starting candle/overloading/semantics
Nov 03 17:05:08 Finished candle/overloading/semantics                         12m03s   8GB
Nov 03 17:05:08 Starting characteristic/examples
Nov 03 17:06:25 Finished characteristic/examples                               1m16s   4GB
Nov 03 17:06:25 Starting tutorial/solutions
Nov 06 08:57:12 Resuming tutorial/solutions
Nov 07 08:01:42 Resuming tutorial/solutions
Nov 07 08:15:06 Finished tutorial/solutions                                   13m24s  12GB
Nov 07 08:15:06 Starting translator/monadic/examples
Nov 07 08:19:08 Finished translator/monadic/examples                           4m01s   4GB
Nov 07 08:19:08 Starting examples
Nov 07 08:28:18 Finished examples                                              9m10s   6GB
Nov 07 08:28:18 Starting examples/compilation/x64 Nov 07 08:28:18 9169s