Job 973

CakeML:112863b9cb5837f7731f07322f6a70494471f50d
  Merge pull request #674 from CakeML/zero-byte [Jul 28 19:21:00]
HOL:97dbc36bb2dc0ee2df2198032e6901f15f9dba85
  Start port of material about f.o. compactness from HOL Light [Jul 29 06:57:52]
Machine:brain09 4.14.127.1.amd64-smp
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz

Jul 30 18:14:06 Claimed job
Jul 30 18:14:09 Reusing HOL
Jul 30 18:14:33 Starting developers
Jul 30 18:14:34 Finished developers                                               0s  55MB
Jul 30 18:14:34 Starting developers/bin
Jul 30 18:14:45 Finished developers/bin                                          10s 971MB
Jul 30 18:14:45 Starting semantics/ffi
Jul 30 18:15:56 Finished semantics/ffi                                         1m10s 630MB
Jul 30 18:15:56 Starting semantics
Jul 30 18:18:49 Finished semantics                                             2m52s   1GB
Jul 30 18:18:49 Starting semantics/proofs
Jul 30 18:24:16 Finished semantics/proofs                                      5m26s   1GB
Jul 30 18:24:16 Starting semantics/alt_semantics
Jul 30 18:24:31 Finished semantics/alt_semantics                                 14s 372MB
Jul 30 18:24:31 Starting semantics/alt_semantics/proofs
Jul 30 18:28:04 Finished semantics/alt_semantics/proofs                        3m32s   1GB
Jul 30 18:28:04 Starting basis/pure
Jul 30 18:34:42 Finished basis/pure                                            6m37s   1GB
Jul 30 18:34:42 Starting translator
Jul 30 18:37:50 Finished translator                                            3m07s   1GB
Jul 30 18:37:50 Starting compiler/parsing
Jul 30 18:39:28 Finished compiler/parsing                                      1m37s   2GB
Jul 30 18:39:28 Starting characteristic
Jul 30 18:49:29 Finished characteristic                                       10m00s   2GB
Jul 30 18:49:29 Starting translator/monadic
Jul 30 18:52:20 Finished translator/monadic                                    2m49s   1GB
Jul 30 18:52:20 Starting basis
Jul 30 19:26:04 Finished basis                                                33m43s   6GB
Jul 30 19:26:04 Starting compiler/inference
Jul 30 19:29:39 Finished compiler/inference                                    3m34s   3GB
Jul 30 19:29:39 Starting compiler/backend/reg_alloc
Jul 30 19:31:16 Finished compiler/backend/reg_alloc                            1m36s   1GB
Jul 30 19:31:16 Starting compiler/backend/gc
Jul 30 19:47:38 Finished compiler/backend/gc                                  16m21s   2GB
Jul 30 19:47:38 Starting compiler/backend
Jul 30 19:47:40 Finished compiler/backend                                         1s  27MB
Jul 30 19:47:40 Starting compiler/encoders/asm
Jul 30 19:47:41 Finished compiler/encoders/asm                                    0s  27MB
Jul 30 19:47:41 Starting compiler/encoders/x64
Jul 30 19:49:45 Finished compiler/encoders/x64                                 2m03s 989MB
Jul 30 19:49:45 Starting compiler/encoders/arm7
Jul 30 19:53:16 Finished compiler/encoders/arm7                                3m31s   1GB
Jul 30 19:53:17 Starting compiler/encoders/arm8
Jul 30 19:54:20 Finished compiler/encoders/arm8                                1m02s 921MB
Jul 30 19:54:20 Starting compiler/encoders/mips
Jul 30 19:56:34 Finished compiler/encoders/mips                                2m13s   1GB
Jul 30 19:56:34 Starting compiler/encoders/riscv
Jul 30 19:59:02 Finished compiler/encoders/riscv                               2m27s   1GB
Jul 30 19:59:02 Starting compiler/encoders/ag32
Jul 30 19:59:34 Finished compiler/encoders/ag32                                  32s 865MB
Jul 30 19:59:35 Starting compiler/backend/x64
Jul 30 20:00:06 Finished compiler/backend/x64                                    31s 983MB
Jul 30 20:00:06 Starting compiler/backend/arm7
Jul 30 20:00:45 Finished compiler/backend/arm7                                   38s   1GB
Jul 30 20:00:45 Starting compiler/backend/arm8
Jul 30 20:01:18 Finished compiler/backend/arm8                                   32s   1GB
Jul 30 20:01:18 Starting compiler/backend/mips
Jul 30 20:01:54 Finished compiler/backend/mips                                   35s   1GB
Jul 30 20:01:54 Starting compiler/backend/riscv
Jul 30 20:02:30 Finished compiler/backend/riscv                                  35s   1GB
Jul 30 20:02:30 Starting compiler/backend/ag32
Jul 30 20:04:29 Finished compiler/backend/ag32                                 1m58s   2GB
Jul 30 20:04:29 Starting compiler/parsing/proofs
Jul 30 20:14:36 Finished compiler/parsing/proofs                              10m07s   1GB
Jul 30 20:14:36 Starting compiler/inference/proofs
Jul 30 20:19:48 Finished compiler/inference/proofs                             5m11s   1GB
Jul 30 20:19:49 Starting compiler/backend/semantics
Jul 30 20:32:19 Finished compiler/backend/semantics                           12m30s   1GB
Jul 30 20:32:19 Starting compiler/backend/reg_alloc/proofs
Jul 30 20:38:42 Finished compiler/backend/reg_alloc/proofs                     6m22s   1GB
Jul 30 20:38:43 Starting compiler/backend/proofs
Jul 30 21:43:50 Finished compiler/backend/proofs                            1h05m07s  10GB
Jul 30 21:43:50 Starting compiler/encoders/x64/proofs
Jul 30 22:02:09 Finished compiler/encoders/x64/proofs                         18m18s   4GB
Jul 30 22:02:09 Starting compiler/encoders/arm7/proofs
Jul 30 22:27:07 Finished compiler/encoders/arm7/proofs                        24m57s   5GB
Jul 30 22:27:07 Starting compiler/encoders/arm8/proofs
Jul 30 22:39:38 Finished compiler/encoders/arm8/proofs                        12m31s   1GB
Jul 30 22:39:39 Starting compiler/encoders/mips/proofs
Jul 30 22:57:53 Finished compiler/encoders/mips/proofs                        18m14s   2GB
Jul 30 22:57:53 Starting compiler/encoders/riscv/proofs
Jul 30 23:13:23 Finished compiler/encoders/riscv/proofs                       15m29s   1GB
Jul 30 23:13:24 Starting compiler/encoders/ag32/proofs
Jul 30 23:17:59 Finished compiler/encoders/ag32/proofs                         4m35s   1GB
Jul 30 23:18:00 Starting compiler/backend/x64/proofs
Jul 30 23:18:37 Finished compiler/backend/x64/proofs                             37s   1GB
Jul 30 23:18:37 Starting compiler/backend/arm7/proofs
Jul 30 23:19:15 Finished compiler/backend/arm7/proofs                            37s 962MB
Jul 30 23:19:15 Starting compiler/backend/arm8/proofs
Jul 30 23:19:51 Finished compiler/backend/arm8/proofs                            35s   1GB
Jul 30 23:19:51 Starting compiler/backend/mips/proofs
Jul 30 23:20:29 Finished compiler/backend/mips/proofs                            37s   1GB
Jul 30 23:20:29 Starting compiler/backend/riscv/proofs
Jul 30 23:21:08 Finished compiler/backend/riscv/proofs                           38s   1GB
Jul 30 23:21:08 Starting compiler/backend/ag32/proofs
Jul 30 23:38:11 Finished compiler/backend/ag32/proofs                         17m02s   8GB
Jul 30 23:38:11 Starting compiler/proofs
Jul 30 23:40:40 Finished compiler/proofs                                       2m29s   3GB
Jul 30 23:40:41 Starting candle/set-theory
Jul 30 23:41:27 Finished candle/set-theory                                       46s   1GB
Jul 30 23:41:28 Starting candle/syntax-lib
Jul 30 23:41:49 Finished candle/syntax-lib                                       20s 794MB
Jul 30 23:41:49 Starting candle/standard/syntax
Jul 30 23:45:02 Finished candle/standard/syntax                                3m13s   1GB
Jul 30 23:45:03 Starting candle/standard/semantics
Jul 30 23:48:11 Finished candle/standard/semantics                             3m07s   1GB
Jul 30 23:48:11 Starting candle/standard/monadic
Jul 30 23:50:52 Finished candle/standard/monadic                               2m41s   1GB
Jul 30 23:50:52 Starting candle/standard/ml_kernel
Jul 30 23:57:49 Finished candle/standard/ml_kernel                             6m55s   5GB
Jul 30 23:57:49 Starting candle/standard/opentheory
Jul 31 00:13:48 Finished candle/standard/opentheory                           15m58s   8GB
Jul 31 00:13:48 Starting candle/standard/opentheory/compilation
Jul 31 09:41:42 Finished candle/standard/opentheory/compilation             9h27m54s 493GB
Jul 31 09:41:43 Starting candle/standard/opentheory/compilation/proofs
Jul 31 09:43:25 Finished candle/standard/opentheory/compilation/proofs         1m42s   2GB
Jul 31 09:43:25 Starting characteristic/examples
Jul 31 09:46:07 Finished characteristic/examples                               2m41s   3GB
Jul 31 09:46:07 Starting tutorial/solutions
Jul 31 11:06:09 Finished tutorial/solutions                                 1h20m02s 174GB
Jul 31 11:06:10 Starting translator/monadic/examples
Jul 31 11:10:37 Finished translator/monadic/examples                           4m27s   2GB
Jul 31 11:10:37 Starting examples
Jul 31 11:25:08 Finished examples                                             14m30s  20GB
Jul 31 11:25:08 Starting examples/compilation/x64
Aug 01 09:12:50 Finished examples/compilation/x64                          21h47m41s 561GB
Aug 01 09:12:51 Starting examples/compilation/x64/proofs
Aug 01 09:15:43 Finished examples/compilation/x64/proofs                       2m51s   3GB
Aug 01 09:15:43 Starting examples/compilation/ag32
Aug 01 11:41:25 Finished examples/compilation/ag32                          2h25m42s 128GB
Aug 01 11:41:26 Starting examples/compilation/ag32/proofs
Aug 01 11:43:45 Finished examples/compilation/ag32/proofs                      2m19s   5GB
Aug 01 11:43:45 Starting translator/okasaki-examples
Aug 01 11:50:50 Finished translator/okasaki-examples                           7m05s   1GB
Aug 01 11:50:51 Starting translator/other-examples
Aug 01 11:57:20 Finished translator/other-examples                             6m29s   1GB
Aug 01 11:57:21 Starting compiler/parsing/tests
Aug 01 11:58:19 Finished compiler/parsing/tests                                  58s   2GB
Aug 01 11:58:19 Starting compiler/inference/tests
Aug 01 12:18:33 Finished compiler/inference/tests                             20m13s  32GB
Aug 01 12:18:33 Starting compiler/bootstrap/translation
Aug 01 16:51:58 Finished compiler/bootstrap/translation                     4h33m25s  70GB
Aug 01 16:51:59 Starting unverified/sexpr-bootstrap/x64/64
Aug 01 17:12:05 Finished unverified/sexpr-bootstrap/x64/64                    20m05s   7GB
Aug 01 17:12:05 Starting unverified/sexpr-bootstrap/x64/32
Aug 01 17:26:02 Finished unverified/sexpr-bootstrap/x64/32                    13m56s   7GB
Aug 01 17:26:02 Starting compiler/benchmarks
Aug 01 17:26:10 Finished compiler/benchmarks                                      7s  29MB
Aug 01 17:26:10 Starting compiler/bootstrap/compilation/x64/64
Aug 05 13:07:47 Resuming compiler/bootstrap/compilation/x64/64