Job 855

CakeML:53fd12a2f3ee14927097506986b55a5d2bcf1b97
  Merge pull request #641 from CakeML/issue465 [May 10 05:54:52]
HOL:818ca782a5ea727abaa821f259ded153f08a6f18
  Give up on sending Travis notifications to hol-builds [May 08 01:08:45]
Machine:brain08 4.14.89.1.amd64-smp 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

May 10 05:56:09 Claimed job
May 10 05:56:11 Reusing HOL
May 10 05:56:35 Starting developers
May 10 05:56:37 Finished developers                                               1s  33MB
May 10 05:56:37 Starting developers/bin
May 10 05:56:46 Finished developers/bin                                           8s 925MB
May 10 05:56:46 Starting semantics/ffi
May 10 05:57:01 Finished semantics/ffi                                           14s 259MB
May 10 05:57:01 Starting semantics
May 10 05:59:25 Finished semantics                                             2m23s   1GB
May 10 05:59:25 Starting semantics/proofs
May 10 06:05:28 Finished semantics/proofs                                      6m02s   1GB
May 10 06:05:28 Starting basis/pure
May 10 06:07:01 Finished basis/pure                                            1m32s 653MB
May 10 06:07:01 Starting translator
May 10 06:10:17 Finished translator                                            3m15s   1GB
May 10 06:10:17 Starting compiler/parsing
May 10 06:12:08 Finished compiler/parsing                                      1m50s   1GB
May 10 06:12:08 Starting characteristic
May 10 06:22:27 Finished characteristic                                       10m18s   2GB
May 10 06:22:27 Starting translator/monadic
May 10 06:25:11 Finished translator/monadic                                    2m44s   1GB
May 10 06:25:11 Starting basis
May 10 06:58:24 Finished basis                                                33m12s   2GB
May 10 06:58:25 Starting compiler/inference
May 10 07:01:32 Finished compiler/inference                                    3m06s   1GB
May 10 07:01:32 Starting compiler/backend/reg_alloc
May 10 07:03:06 Finished compiler/backend/reg_alloc                            1m33s   1GB
May 10 07:03:06 Starting compiler/backend/gc
May 10 07:17:33 Finished compiler/backend/gc                                  14m26s   2GB
May 10 07:17:33 Starting compiler/backend
May 10 07:17:41 Finished compiler/backend                                         7s 293MB
May 10 07:17:42 Starting compiler/encoders/asm
May 10 07:17:43 Finished compiler/encoders/asm                                    0s  31MB
May 10 07:17:43 Starting compiler/encoders/x64
May 10 07:18:34 Finished compiler/encoders/x64                                   50s 769MB
May 10 07:18:34 Starting compiler/encoders/arm6
May 10 07:20:13 Finished compiler/encoders/arm6                                1m39s 985MB
May 10 07:20:14 Starting compiler/encoders/arm8
May 10 07:20:37 Finished compiler/encoders/arm8                                  23s 577MB
May 10 07:20:37 Starting compiler/encoders/mips
May 10 07:21:09 Finished compiler/encoders/mips                                  31s   1GB
May 10 07:21:09 Starting compiler/encoders/riscv
May 10 07:21:36 Finished compiler/encoders/riscv                                 27s 969MB
May 10 07:21:37 Starting compiler/encoders/ag32
May 10 07:22:07 Finished compiler/encoders/ag32                                  30s 784MB
May 10 07:22:07 Starting compiler/backend/x64
May 10 07:22:49 Finished compiler/backend/x64                                    41s 936MB
May 10 07:22:50 Starting compiler/backend/arm6
May 10 07:23:29 Finished compiler/backend/arm6                                   39s   1GB
May 10 07:23:30 Starting compiler/backend/arm8
May 10 07:24:08 Finished compiler/backend/arm8                                   38s 947MB
May 10 07:24:09 Starting compiler/backend/mips
May 10 07:24:45 Finished compiler/backend/mips                                   36s   1GB
May 10 07:24:46 Starting compiler/backend/riscv
May 10 07:25:27 Finished compiler/backend/riscv                                  41s 959MB
May 10 07:25:27 Starting compiler/backend/ag32
May 10 07:27:37 Finished compiler/backend/ag32                                 2m09s   1GB
May 10 07:27:38 Starting compiler/parsing/proofs
May 10 07:38:37 Finished compiler/parsing/proofs                              10m59s 862MB
May 10 07:38:37 Starting compiler/inference/proofs
May 10 07:44:05 Finished compiler/inference/proofs                             5m26s   1GB
May 10 07:44:05 Starting compiler/backend/semantics
May 10 07:57:24 Finished compiler/backend/semantics                           13m19s   1GB
May 10 07:57:25 Starting compiler/backend/reg_alloc/proofs
May 10 08:04:07 Finished compiler/backend/reg_alloc/proofs                     6m42s 911MB
May 10 08:04:08 Starting compiler/backend/proofs
May 10 09:11:47 Finished compiler/backend/proofs                            1h07m39s   5GB
May 10 09:11:47 Starting compiler/encoders/x64/proofs
May 10 09:30:34 Finished compiler/encoders/x64/proofs                         18m45s   4GB
May 10 09:30:34 Starting compiler/encoders/arm6/proofs
May 10 09:57:16 Finished compiler/encoders/arm6/proofs                        26m42s   4GB
May 10 09:57:16 Starting compiler/encoders/arm8/proofs
May 10 10:10:48 Finished compiler/encoders/arm8/proofs                        13m31s   2GB
May 10 10:10:48 Starting compiler/encoders/mips/proofs
May 10 10:30:49 Finished compiler/encoders/mips/proofs                        20m00s   2GB
May 10 10:30:49 Starting compiler/encoders/riscv/proofs
May 10 10:47:42 Finished compiler/encoders/riscv/proofs                       16m52s   1GB
May 10 10:47:42 Starting compiler/encoders/ag32/proofs
May 10 10:52:40 Finished compiler/encoders/ag32/proofs                         4m57s 972MB
May 10 10:52:41 Starting compiler/backend/x64/proofs
May 10 10:53:20 Finished compiler/backend/x64/proofs                             39s   1GB
May 10 10:53:21 Starting compiler/backend/arm6/proofs
May 10 10:54:06 Finished compiler/backend/arm6/proofs                            44s 978MB
May 10 10:54:06 Starting compiler/backend/arm8/proofs
May 10 10:54:48 Finished compiler/backend/arm8/proofs                            41s   1GB
May 10 10:54:48 Starting compiler/backend/mips/proofs
May 10 10:55:31 Finished compiler/backend/mips/proofs                            42s   1GB
May 10 10:55:31 Starting compiler/backend/riscv/proofs
May 10 10:56:12 Finished compiler/backend/riscv/proofs                           40s   1GB
May 10 10:56:13 Starting compiler/backend/ag32/proofs
May 10 11:14:27 Finished compiler/backend/ag32/proofs                         18m13s   2GB
May 10 11:14:27 Starting compiler/proofs
May 10 11:16:52 Finished compiler/proofs                                       2m24s   2GB
May 10 11:16:52 Starting candle/set-theory
May 10 11:17:38 Finished candle/set-theory                                       44s 657MB
May 10 11:17:38 Starting candle/syntax-lib
May 10 11:18:02 Finished candle/syntax-lib                                       24s 572MB
May 10 11:18:02 Starting candle/standard/syntax
May 10 11:21:24 Finished candle/standard/syntax                                3m21s   1GB
May 10 11:21:25 Starting candle/standard/semantics
May 10 11:24:38 Finished candle/standard/semantics                             3m13s   1GB
May 10 11:24:38 Starting candle/standard/monadic
May 10 11:27:48 Finished candle/standard/monadic                               3m09s   1GB
May 10 11:27:48 Starting candle/standard/ml_kernel
May 10 11:35:16 Finished candle/standard/ml_kernel                             7m27s   3GB
May 10 11:35:16 Starting candle/standard/opentheory
May 10 11:52:23 Finished candle/standard/opentheory                           17m06s   3GB
May 10 11:52:24 Starting candle/standard/opentheory/compilation
May 10 12:45:18 Finished candle/standard/opentheory/compilation               52m54s  14GB
May 10 12:45:19 Starting candle/standard/opentheory/compilation/proofs
May 10 12:46:41 Finished candle/standard/opentheory/compilation/proofs         1m22s   2GB
May 10 12:46:42 Starting characteristic/examples
May 10 12:49:37 Finished characteristic/examples                               2m55s   2GB
May 10 12:49:37 Starting tutorial/solutions
May 10 13:14:55 Finished tutorial/solutions                                   25m18s   9GB
May 10 13:14:56 Starting translator/monadic/examples
May 10 13:19:29 Finished translator/monadic/examples                           4m32s   2GB
May 10 13:19:29 Starting examples
May 10 13:32:55 Finished examples                                             13m25s   3GB
May 10 13:32:55 Starting examples/compilation/x64
May 10 17:17:31 Finished examples/compilation/x64                           3h44m36s  13GB
May 10 17:17:32 Starting examples/compilation/x64/proofs
May 10 17:20:21 Finished examples/compilation/x64/proofs                       2m49s   2GB
May 10 17:20:22 Starting examples/compilation/ag32
May 10 18:12:50 Finished examples/compilation/ag32                            52m28s   6GB
May 10 18:12:50 Starting examples/compilation/ag32/proofs
May 10 18:14:32 Finished examples/compilation/ag32/proofs                      1m41s   3GB
May 10 18:14:32 Starting translator/okasaki-examples
May 10 18:22:02 Finished translator/okasaki-examples                           7m29s   1GB
May 10 18:22:02 Starting translator/other-examples
May 10 18:28:31 Finished translator/other-examples                             6m29s   1GB
May 10 18:28:32 Starting compiler/parsing/tests
May 10 18:29:19 Finished compiler/parsing/tests                                  46s 492MB
May 10 18:29:19 Starting compiler/inference/tests
May 10 18:36:50 Finished compiler/inference/tests                              7m31s   4GB
May 10 18:36:51 Starting compiler/bootstrap/translation
May 10 23:26:42 Finished compiler/bootstrap/translation                     4h49m50s  67GB
May 10 23:26:42 Starting unverified/sexpr-bootstrap/x64/64
May 10 23:37:48 Finished unverified/sexpr-bootstrap/x64/64                    11m05s   7GB
May 10 23:37:49 Starting unverified/sexpr-bootstrap/x64/32
May 10 23:45:53 Finished unverified/sexpr-bootstrap/x64/32                     8m03s   6GB
May 10 23:45:53 Starting compiler/benchmarks
May 11 00:09:36 Finished compiler/benchmarks                                  23m42s   2GB
May 11 00:09:37 Starting compiler/bootstrap/compilation/x64/64
May 11 23:12:33 Finished compiler/bootstrap/compilation/x64/64             23h02m55s 178GB
May 11 23:12:33 Starting compiler/bootstrap/compilation/x64/64/proofs
May 11 23:16:38 Finished compiler/bootstrap/compilation/x64/64/proofs          4m04s   9GB
May 11 23:16:38 Starting compiler/bootstrap/compilation/x64/32
May 12 18:14:23 Finished compiler/bootstrap/compilation/x64/32             18h57m44s 137GB
May 12 18:14:24 Starting compiler/bootstrap/compilation/x64/32/proofs
May 12 18:18:23 Finished compiler/bootstrap/compilation/x64/32/proofs          3m58s   9GB
May 12 18:18:23 Starting compiler/bootstrap/compilation/ag32/32
May 13 16:10:30 Finished compiler/bootstrap/compilation/ag32/32            21h52m06s 288GB
May 13 16:10:30 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 13 16:26:56 Finished compiler/bootstrap/compilation/ag32/32/proofs        16m25s  24GB
May 13 16:26:57 SUCCESS