Job 853

CakeML:df02f15c4b0bdea53dadde6ffe734e72d42bcc4f
  Remove vacuous quants in diffScript #465 [May 09 13:31:48]
#641 (issue465)
Merging into:331972bc323d7886b60ecbab12195ee6999bcdeb
  Merge pull request #634 from CakeML/cleanup [May 08 15:37:32]
HOL:818ca782a5ea727abaa821f259ded153f08a6f18
  Give up on sending Travis notifications to hol-builds [May 08 01:08:45]
Machine:te1

May 09 14:14:16 Claimed job
May 09 14:14:19 Reusing HOL
May 09 14:15:15 Starting developers
May 09 14:15:18 Finished developers                                               2s  41MB
May 09 14:15:18 Starting developers/bin
May 09 14:15:24 Finished developers/bin                                           6s 936MB
May 09 14:15:24 Starting semantics/ffi
May 09 14:15:39 Finished semantics/ffi                                           14s 249MB
May 09 14:15:39 Starting semantics
May 09 14:17:32 Finished semantics                                             1m52s   1GB
May 09 14:17:32 Starting semantics/proofs
May 09 14:21:53 Finished semantics/proofs                                      4m21s   1GB
May 09 14:21:53 Starting basis/pure
May 09 14:22:59 Finished basis/pure                                            1m06s 956MB
May 09 14:23:00 Starting translator
May 09 14:25:21 Finished translator                                            2m20s   1GB
May 09 14:25:21 Starting compiler/parsing
May 09 14:26:43 Finished compiler/parsing                                      1m22s   1GB
May 09 14:26:43 Starting characteristic
May 09 14:34:04 Finished characteristic                                        7m21s   1GB
May 09 14:34:05 Starting translator/monadic
May 09 14:36:09 Finished translator/monadic                                    2m04s   1GB
May 09 14:36:09 Starting basis
May 09 14:58:57 Finished basis                                                22m47s   2GB
May 09 14:58:57 Starting compiler/inference
May 09 15:01:05 Finished compiler/inference                                    2m08s   1GB
May 09 15:01:06 Starting compiler/backend/reg_alloc
May 09 15:02:23 Finished compiler/backend/reg_alloc                            1m17s   1GB
May 09 15:02:24 Starting compiler/backend/gc
May 09 15:13:17 Finished compiler/backend/gc                                  10m53s   2GB
May 09 15:13:17 Starting compiler/backend
May 09 15:13:20 Finished compiler/backend                                         2s  34MB
May 09 15:13:20 Starting compiler/encoders/asm
May 09 15:13:21 Finished compiler/encoders/asm                                    1s  31MB
May 09 15:13:21 Starting compiler/encoders/x64
May 09 15:13:58 Finished compiler/encoders/x64                                   37s 737MB
May 09 15:13:58 Starting compiler/encoders/arm6
May 09 15:16:25 Finished compiler/encoders/arm6                                2m26s   1GB
May 09 15:16:25 Starting compiler/encoders/arm8
May 09 15:17:10 Finished compiler/encoders/arm8                                  44s 561MB
May 09 15:17:10 Starting compiler/encoders/mips
May 09 15:18:49 Finished compiler/encoders/mips                                1m39s 875MB
May 09 15:18:49 Starting compiler/encoders/riscv
May 09 15:20:48 Finished compiler/encoders/riscv                               1m58s 835MB
May 09 15:20:48 Starting compiler/encoders/ag32
May 09 15:21:13 Finished compiler/encoders/ag32                                  24s 780MB
May 09 15:21:13 Starting compiler/backend/x64
May 09 15:21:39 Finished compiler/backend/x64                                    25s   1GB
May 09 15:21:39 Starting compiler/backend/arm6
May 09 15:22:05 Finished compiler/backend/arm6                                   25s   1GB
May 09 15:22:05 Starting compiler/backend/arm8
May 09 15:22:30 Finished compiler/backend/arm8                                   25s   1GB
May 09 15:22:30 Starting compiler/backend/mips
May 09 15:22:58 Finished compiler/backend/mips                                   27s   1GB
May 09 15:22:58 Starting compiler/backend/riscv
May 09 15:23:24 Finished compiler/backend/riscv                                  25s   1GB
May 09 15:23:24 Starting compiler/backend/ag32
May 09 15:24:54 Finished compiler/backend/ag32                                 1m30s   1GB
May 09 15:24:54 Starting compiler/parsing/proofs
May 09 15:33:44 Finished compiler/parsing/proofs                               8m49s   1GB
May 09 15:33:44 Starting compiler/inference/proofs
May 09 15:37:34 Finished compiler/inference/proofs                             3m49s   1GB
May 09 15:37:34 Starting compiler/backend/semantics
May 09 15:46:32 Finished compiler/backend/semantics                            8m58s   2GB
May 09 15:46:32 Starting compiler/backend/reg_alloc/proofs
May 09 15:51:21 Finished compiler/backend/reg_alloc/proofs                     4m48s 981MB
May 09 15:51:21 Starting compiler/backend/proofs
May 09 16:41:17 Finished compiler/backend/proofs                              49m55s   4GB
May 09 16:41:17 Starting compiler/encoders/x64/proofs
May 09 16:54:50 Finished compiler/encoders/x64/proofs                         13m32s   5GB
May 09 16:54:50 Starting compiler/encoders/arm6/proofs
May 09 17:12:49 Finished compiler/encoders/arm6/proofs                        17m58s   7GB
May 09 17:12:49 Starting compiler/encoders/arm8/proofs
May 09 17:22:01 Finished compiler/encoders/arm8/proofs                         9m11s   1GB
May 09 17:22:01 Starting compiler/encoders/mips/proofs
May 09 17:35:23 Finished compiler/encoders/mips/proofs                        13m21s   3GB
May 09 17:35:23 Starting compiler/encoders/riscv/proofs
May 09 17:46:58 Finished compiler/encoders/riscv/proofs                       11m34s   1GB
May 09 17:46:58 Starting compiler/encoders/ag32/proofs
May 09 17:50:12 Finished compiler/encoders/ag32/proofs                         3m14s   1GB
May 09 17:50:13 Starting compiler/backend/x64/proofs
May 09 17:50:41 Finished compiler/backend/x64/proofs                             28s   1GB
May 09 17:50:41 Starting compiler/backend/arm6/proofs
May 09 17:51:11 Finished compiler/backend/arm6/proofs                            29s   1GB
May 09 17:51:11 Starting compiler/backend/arm8/proofs
May 09 17:51:36 Finished compiler/backend/arm8/proofs                            24s   1GB
May 09 17:51:36 Starting compiler/backend/mips/proofs
May 09 17:52:02 Finished compiler/backend/mips/proofs                            26s   1GB
May 09 17:52:02 Starting compiler/backend/riscv/proofs
May 09 17:52:30 Finished compiler/backend/riscv/proofs                           27s   1GB
May 09 17:52:30 Starting compiler/backend/ag32/proofs
May 09 18:04:57 Finished compiler/backend/ag32/proofs                         12m26s   2GB
May 09 18:04:57 Starting compiler/proofs
May 09 18:06:49 Finished compiler/proofs                                       1m52s   2GB
May 09 18:06:49 Starting candle/set-theory
May 09 18:07:27 Finished candle/set-theory                                       38s 834MB
May 09 18:07:28 Starting candle/syntax-lib
May 09 18:07:42 Finished candle/syntax-lib                                       14s 696MB
May 09 18:07:43 Starting candle/standard/syntax
May 09 18:10:01 Finished candle/standard/syntax                                2m18s   1GB
May 09 18:10:02 Starting candle/standard/semantics
May 09 18:12:23 Finished candle/standard/semantics                             2m21s   1GB
May 09 18:12:23 Starting candle/standard/monadic
May 09 18:14:34 Finished candle/standard/monadic                               2m10s   1GB
May 09 18:14:34 Starting candle/standard/ml_kernel
May 09 18:19:42 Finished candle/standard/ml_kernel                             5m07s   3GB
May 09 18:19:42 Starting candle/standard/opentheory
May 09 18:31:27 Finished candle/standard/opentheory                           11m44s   3GB
May 09 18:31:27 Starting candle/standard/opentheory/compilation
May 09 19:08:16 Finished candle/standard/opentheory/compilation               36m47s  16GB
May 09 19:08:16 Starting candle/standard/opentheory/compilation/proofs
May 09 19:09:28 Finished candle/standard/opentheory/compilation/proofs         1m12s   2GB
May 09 19:09:29 Starting characteristic/examples
May 09 19:11:22 Finished characteristic/examples                               1m53s   2GB
May 09 19:11:22 Starting tutorial/solutions
May 09 19:28:51 Finished tutorial/solutions                                   17m29s   6GB
May 09 19:28:51 Starting translator/monadic/examples
May 09 19:32:25 Finished translator/monadic/examples                           3m34s   2GB
May 09 19:32:25 Starting examples
May 09 19:42:14 Finished examples                                              9m48s   5GB
May 09 19:42:14 Starting examples/compilation/x64
May 09 22:08:18 Finished examples/compilation/x64                           2h26m04s  14GB
May 09 22:08:18 Starting examples/compilation/x64/proofs
May 09 22:10:17 Finished examples/compilation/x64/proofs                       1m58s   2GB
May 09 22:10:17 Starting examples/compilation/ag32
May 09 22:47:11 Finished examples/compilation/ag32                            36m54s   6GB
May 09 22:47:11 Starting examples/compilation/ag32/proofs
May 09 22:48:21 Finished examples/compilation/ag32/proofs                      1m09s   2GB
May 09 22:48:21 Starting translator/okasaki-examples
May 09 22:53:46 Finished translator/okasaki-examples                           5m24s   1GB
May 09 22:53:46 Starting translator/other-examples
May 09 22:58:42 Finished translator/other-examples                             4m55s   1GB
May 09 22:58:42 Starting compiler/parsing/tests
May 09 22:59:15 Finished compiler/parsing/tests                                  33s 571MB
May 09 22:59:16 Starting compiler/inference/tests
May 09 23:04:29 Finished compiler/inference/tests                              5m13s   3GB
May 09 23:04:29 Starting compiler/bootstrap/translation
May 10 02:21:51 Finished compiler/bootstrap/translation                     3h17m21s  38GB
May 10 02:21:51 Starting unverified/sexpr-bootstrap/x64/64
May 10 02:31:21 Finished unverified/sexpr-bootstrap/x64/64                     9m29s   2GB
May 10 02:31:21 Starting unverified/sexpr-bootstrap/x64/32
May 10 02:38:23 Finished unverified/sexpr-bootstrap/x64/32                     7m02s   6GB
May 10 02:38:24 Starting compiler/benchmarks
May 10 02:38:30 Finished compiler/benchmarks                                      5s  38MB
May 10 02:38:30 Starting compiler/bootstrap/compilation/x64/64
May 10 15:19:55 Finished compiler/bootstrap/compilation/x64/64             12h41m24s  55GB
May 10 15:19:55 Starting compiler/bootstrap/compilation/x64/64/proofs
May 10 15:24:56 Finished compiler/bootstrap/compilation/x64/64/proofs          5m00s   5GB
May 10 15:24:56 Starting compiler/bootstrap/compilation/x64/32
May 11 02:32:00 Finished compiler/bootstrap/compilation/x64/32             11h07m03s  58GB
May 11 02:32:00 Starting compiler/bootstrap/compilation/x64/32/proofs
May 11 02:34:34 Finished compiler/bootstrap/compilation/x64/32/proofs          2m33s  12GB
May 11 02:34:34 Starting compiler/bootstrap/compilation/ag32/32
May 11 16:08:02 Finished compiler/bootstrap/compilation/ag32/32            13h33m28s  56GB
May 11 16:08:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 11 16:19:06 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m03s  32GB
May 11 16:19:06 SUCCESS