Job 969

CakeML:112863b9cb5837f7731f07322f6a70494471f50d
  Merge pull request #674 from CakeML/zero-byte [Jul 28 19:21:00]
HOL:12e8779ae1581f202331ad1e6dc5e3fbf0d85028
  Fix generic_finite_graphs to properly record incoming edges [Jul 27 01:16:52]
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

Jul 28 19:21:34 Claimed job
Jul 28 19:22:20 Building HOL
Jul 28 19:30:11 Starting developers
Jul 28 19:30:12 Finished developers                                               0s  20MB
Jul 28 19:30:12 Starting developers/bin
Jul 28 19:31:39 Finished developers/bin                                        1m27s 238MB
Jul 28 19:31:40 Starting semantics/ffi
Jul 28 19:32:13 Finished semantics/ffi                                           33s 467MB
Jul 28 19:32:14 Starting semantics
Jul 28 19:33:44 Finished semantics                                             1m29s   1GB
Jul 28 19:33:44 Starting semantics/proofs
Jul 28 19:36:39 Finished semantics/proofs                                      2m54s   1GB
Jul 28 19:36:39 Starting semantics/alt_semantics
Jul 28 19:36:45 Finished semantics/alt_semantics                                  5s 293MB
Jul 28 19:36:46 Starting semantics/alt_semantics/proofs
Jul 28 19:38:34 Finished semantics/alt_semantics/proofs                        1m47s 770MB
Jul 28 19:38:34 Starting basis/pure
Jul 28 19:42:07 Finished basis/pure                                            3m32s 711MB
Jul 28 19:42:07 Starting translator
Jul 28 19:43:51 Finished translator                                            1m43s   1GB
Jul 28 19:43:51 Starting compiler/parsing
Jul 28 19:44:49 Finished compiler/parsing                                        57s   3GB
Jul 28 19:44:49 Starting characteristic
Jul 28 19:49:57 Finished characteristic                                        5m07s   2GB
Jul 28 19:49:58 Starting translator/monadic
Jul 28 19:51:22 Finished translator/monadic                                    1m24s   1GB
Jul 28 19:51:23 Starting basis
Jul 28 20:08:21 Finished basis                                                16m57s   2GB
Jul 28 20:08:21 Starting compiler/inference
Jul 28 20:10:11 Finished compiler/inference                                    1m49s   1GB
Jul 28 20:10:12 Starting compiler/backend/reg_alloc
Jul 28 20:11:09 Finished compiler/backend/reg_alloc                              57s   1GB
Jul 28 20:11:09 Starting compiler/backend/gc
Jul 28 20:20:07 Finished compiler/backend/gc                                   8m57s   1GB
Jul 28 20:20:08 Starting compiler/backend
Jul 28 20:20:09 Finished compiler/backend                                         0s  43MB
Jul 28 20:20:09 Starting compiler/encoders/asm
Jul 28 20:20:10 Finished compiler/encoders/asm                                    0s  37MB
Jul 28 20:20:10 Starting compiler/encoders/x64
Jul 28 20:21:07 Finished compiler/encoders/x64                                   56s 662MB
Jul 28 20:21:07 Starting compiler/encoders/arm7
Jul 28 20:22:42 Finished compiler/encoders/arm7                                1m34s   1GB
Jul 28 20:22:43 Starting compiler/encoders/arm8
Jul 28 20:23:12 Finished compiler/encoders/arm8                                  28s 518MB
Jul 28 20:23:12 Starting compiler/encoders/mips
Jul 28 20:24:15 Finished compiler/encoders/mips                                1m02s   1GB
Jul 28 20:24:15 Starting compiler/encoders/riscv
Jul 28 20:25:32 Finished compiler/encoders/riscv                               1m16s 843MB
Jul 28 20:25:32 Starting compiler/encoders/ag32
Jul 28 20:25:47 Finished compiler/encoders/ag32                                  14s 583MB
Jul 28 20:25:48 Starting compiler/backend/x64
Jul 28 20:26:04 Finished compiler/backend/x64                                    15s   1GB
Jul 28 20:26:04 Starting compiler/backend/arm7
Jul 28 20:26:22 Finished compiler/backend/arm7                                   17s   1GB
Jul 28 20:26:23 Starting compiler/backend/arm8
Jul 28 20:26:40 Finished compiler/backend/arm8                                   16s   1GB
Jul 28 20:26:40 Starting compiler/backend/mips
Jul 28 20:26:58 Finished compiler/backend/mips                                   17s   1GB
Jul 28 20:26:59 Starting compiler/backend/riscv
Jul 28 20:27:15 Finished compiler/backend/riscv                                  16s   1GB
Jul 28 20:27:16 Starting compiler/backend/ag32
Jul 28 20:28:24 Finished compiler/backend/ag32                                 1m08s   1GB
Jul 28 20:28:25 Starting compiler/parsing/proofs
Jul 28 20:33:59 Finished compiler/parsing/proofs                               5m33s 995MB
Jul 28 20:34:00 Starting compiler/inference/proofs
Jul 28 20:36:38 Finished compiler/inference/proofs                             2m38s   1GB
Jul 28 20:36:39 Starting compiler/backend/semantics
Jul 28 20:43:42 Finished compiler/backend/semantics                            7m03s   2GB
Jul 28 20:43:43 Starting compiler/backend/reg_alloc/proofs
Jul 28 20:46:54 Finished compiler/backend/reg_alloc/proofs                     3m10s 811MB
Jul 28 20:46:54 Starting compiler/backend/proofs
Jul 28 21:24:51 Finished compiler/backend/proofs                              37m56s   3GB
Jul 28 21:24:51 Starting compiler/encoders/x64/proofs
Jul 28 21:34:54 Finished compiler/encoders/x64/proofs                         10m03s   4GB
Jul 28 21:34:55 Starting compiler/encoders/arm7/proofs
Jul 28 21:48:18 Finished compiler/encoders/arm7/proofs                        13m23s   3GB
Jul 28 21:48:19 Starting compiler/encoders/arm8/proofs
Jul 28 21:55:02 Finished compiler/encoders/arm8/proofs                         6m42s   1GB
Jul 28 21:55:02 Starting compiler/encoders/mips/proofs
Jul 28 22:05:08 Finished compiler/encoders/mips/proofs                        10m05s   2GB
Jul 28 22:05:08 Starting compiler/encoders/riscv/proofs
Jul 28 22:13:33 Finished compiler/encoders/riscv/proofs                        8m24s   1GB
Jul 28 22:13:33 Starting compiler/encoders/ag32/proofs
Jul 28 22:16:02 Finished compiler/encoders/ag32/proofs                         2m28s 925MB
Jul 28 22:16:02 Starting compiler/backend/x64/proofs
Jul 28 22:16:19 Finished compiler/backend/x64/proofs                             16s   1GB
Jul 28 22:16:19 Starting compiler/backend/arm7/proofs
Jul 28 22:16:37 Finished compiler/backend/arm7/proofs                            17s   1GB
Jul 28 22:16:37 Starting compiler/backend/arm8/proofs
Jul 28 22:16:53 Finished compiler/backend/arm8/proofs                            15s   1GB
Jul 28 22:16:54 Starting compiler/backend/mips/proofs
Jul 28 22:17:11 Finished compiler/backend/mips/proofs                            16s   1GB
Jul 28 22:17:12 Starting compiler/backend/riscv/proofs
Jul 28 22:17:29 Finished compiler/backend/riscv/proofs                           16s   1GB
Jul 28 22:17:30 Starting compiler/backend/ag32/proofs
Jul 28 22:26:18 Finished compiler/backend/ag32/proofs                          8m47s   2GB
Jul 28 22:26:18 Starting compiler/proofs
Jul 28 22:27:36 Finished compiler/proofs                                       1m17s   2GB
Jul 28 22:27:37 Starting candle/set-theory
Jul 28 22:28:02 Finished candle/set-theory                                       25s 857MB
Jul 28 22:28:02 Starting candle/syntax-lib
Jul 28 22:28:12 Finished candle/syntax-lib                                        9s 654MB
Jul 28 22:28:12 Starting candle/standard/syntax
Jul 28 22:29:52 Finished candle/standard/syntax                                1m39s   1GB
Jul 28 22:29:52 Starting candle/standard/semantics
Jul 28 22:31:25 Finished candle/standard/semantics                             1m31s 929MB
Jul 28 22:31:25 Starting candle/standard/monadic
Jul 28 22:32:57 Finished candle/standard/monadic                               1m31s   1GB
Jul 28 22:32:58 Starting candle/standard/ml_kernel
Jul 28 22:36:44 Finished candle/standard/ml_kernel                             3m45s   5GB
Jul 28 22:36:44 Starting candle/standard/opentheory
Jul 28 22:45:18 Finished candle/standard/opentheory                            8m33s   2GB
Jul 28 22:45:18 Starting candle/standard/opentheory/compilation
Jul 28 23:14:25 Finished candle/standard/opentheory/compilation               29m06s  20GB
Jul 28 23:14:25 Starting candle/standard/opentheory/compilation/proofs
Jul 28 23:14:58 Finished candle/standard/opentheory/compilation/proofs           32s   2GB
Jul 28 23:14:58 Starting characteristic/examples
Jul 28 23:16:21 Finished characteristic/examples                               1m22s   2GB
Jul 28 23:16:22 Starting tutorial/solutions
Jul 28 23:29:28 Finished tutorial/solutions                                   13m05s   6GB
Jul 28 23:29:28 Starting translator/monadic/examples
Jul 28 23:32:17 Finished translator/monadic/examples                           2m48s   2GB
Jul 28 23:32:18 Starting examples
Jul 28 23:40:51 Finished examples                                              8m33s   4GB
Jul 28 23:40:52 Starting examples/compilation/x64
Jul 29 01:43:02 Finished examples/compilation/x64                           2h02m09s  13GB
Jul 29 01:43:02 Starting examples/compilation/x64/proofs
Jul 29 01:44:23 Finished examples/compilation/x64/proofs                       1m20s   2GB
Jul 29 01:44:23 Starting examples/compilation/ag32
Jul 29 02:12:33 Finished examples/compilation/ag32                            28m09s   6GB
Jul 29 02:12:33 Starting examples/compilation/ag32/proofs
Jul 29 02:13:17 Finished examples/compilation/ag32/proofs                        42s   2GB
Jul 29 02:13:17 Starting translator/okasaki-examples
Jul 29 02:17:22 Finished translator/okasaki-examples                           4m04s   1GB
Jul 29 02:17:22 Starting translator/other-examples
Jul 29 02:20:39 Finished translator/other-examples                             3m16s   1GB
Jul 29 02:20:40 Starting compiler/parsing/tests
Jul 29 02:21:04 Finished compiler/parsing/tests                                  24s 535MB
Jul 29 02:21:05 Starting compiler/inference/tests
Jul 29 02:25:10 Finished compiler/inference/tests                              4m04s   4GB
Jul 29 02:25:10 Starting compiler/bootstrap/translation
Jul 29 04:51:42 Finished compiler/bootstrap/translation                     2h26m31s  40GB
Jul 29 04:51:43 Starting unverified/sexpr-bootstrap/x64/64
Jul 29 05:03:06 Finished unverified/sexpr-bootstrap/x64/64                    11m21s   3GB
Jul 29 05:03:06 Starting unverified/sexpr-bootstrap/x64/32
Jul 29 05:11:12 Finished unverified/sexpr-bootstrap/x64/32                     8m05s   7GB
Jul 29 05:11:13 Starting compiler/benchmarks
Jul 29 05:48:55 Finished compiler/benchmarks                                  37m41s   1GB
Jul 29 05:48:55 Starting compiler/bootstrap/compilation/x64/64
Jul 29 18:29:36 Finished compiler/bootstrap/compilation/x64/64             12h40m39s  64GB
Jul 29 18:29:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 29 18:32:57 Finished compiler/bootstrap/compilation/x64/64/proofs          3m20s   5GB
Jul 29 18:32:57 Starting compiler/bootstrap/compilation/x64/32
Jul 30 05:05:17 Finished compiler/bootstrap/compilation/x64/32             10h32m18s  64GB
Jul 30 05:05:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 30 05:09:21 Finished compiler/bootstrap/compilation/x64/32/proofs          4m03s   8GB
Jul 30 05:09:21 Starting compiler/bootstrap/compilation/ag32/32
Jul 30 17:16:03 Finished compiler/bootstrap/compilation/ag32/32            12h06m41s  64GB
Jul 30 17:16:04 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 30 17:42:38 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m34s  14GB
Jul 30 17:42:39 SUCCESS