Job 906

CakeML:52270c049337b1915a61c946c535e43a0d2084b5
  Merge pull request #656 from CakeML/candle-rename-assume [May 28 09:49:29]
HOL:b21c56d4ac558e780b9aa84a218936353bcdb998
  hol-mode: remove some unused code [May 28 02:18:04]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

May 28 09:55:33 Claimed job
May 28 09:56:16 Building HOL
May 28 10:06:04 Starting developers
May 28 10:06:06 Finished developers                                               2s  20MB
May 28 10:06:06 Starting developers/bin
May 28 10:07:14 Finished developers/bin                                        1m07s 919MB
May 28 10:07:14 Starting semantics/ffi
May 28 10:08:36 Finished semantics/ffi                                         1m21s 240MB
May 28 10:08:36 Starting semantics
May 28 10:10:17 Finished semantics                                             1m40s   1GB
May 28 10:10:17 Starting semantics/proofs
May 28 10:13:25 Finished semantics/proofs                                      3m08s   1GB
May 28 10:13:26 Starting basis/pure
May 28 10:17:08 Finished basis/pure                                            3m42s 602MB
May 28 10:17:08 Starting translator
May 28 10:18:56 Finished translator                                            1m47s   1GB
May 28 10:18:56 Starting compiler/parsing
May 28 10:19:58 Finished compiler/parsing                                      1m01s   2GB
May 28 10:19:58 Starting characteristic
May 28 10:25:28 Finished characteristic                                        5m29s   1GB
May 28 10:25:28 Starting translator/monadic
May 28 10:27:01 Finished translator/monadic                                    1m32s   1GB
May 28 10:27:01 Starting basis
May 28 10:44:50 Finished basis                                                17m48s   3GB
May 28 10:44:50 Starting compiler/inference
May 28 10:46:48 Finished compiler/inference                                    1m58s   1GB
May 28 10:46:48 Starting compiler/backend/reg_alloc
May 28 10:47:51 Finished compiler/backend/reg_alloc                            1m02s   1GB
May 28 10:47:51 Starting compiler/backend/gc
May 28 10:57:58 Finished compiler/backend/gc                                  10m06s   2GB
May 28 10:57:58 Starting compiler/backend
May 28 10:58:01 Finished compiler/backend                                         2s  16MB
May 28 10:58:01 Starting compiler/encoders/asm
May 28 10:58:02 Finished compiler/encoders/asm                                    1s  23MB
May 28 10:58:02 Starting compiler/encoders/x64
May 28 10:59:06 Finished compiler/encoders/x64                                 1m03s 682MB
May 28 10:59:06 Starting compiler/encoders/arm7
May 28 11:00:50 Finished compiler/encoders/arm7                                1m44s   1GB
May 28 11:00:51 Starting compiler/encoders/arm8
May 28 11:01:24 Finished compiler/encoders/arm8                                  33s 543MB
May 28 11:01:24 Starting compiler/encoders/mips
May 28 11:02:35 Finished compiler/encoders/mips                                1m10s 943MB
May 28 11:02:35 Starting compiler/encoders/riscv
May 28 11:03:57 Finished compiler/encoders/riscv                               1m22s   1GB
May 28 11:03:57 Starting compiler/encoders/ag32
May 28 11:04:15 Finished compiler/encoders/ag32                                  17s 778MB
May 28 11:04:16 Starting compiler/backend/x64
May 28 11:04:34 Finished compiler/backend/x64                                    18s   1GB
May 28 11:04:34 Starting compiler/backend/arm7
May 28 11:04:55 Finished compiler/backend/arm7                                   20s   1GB
May 28 11:04:55 Starting compiler/backend/arm8
May 28 11:05:14 Finished compiler/backend/arm8                                   18s   1GB
May 28 11:05:14 Starting compiler/backend/mips
May 28 11:05:34 Finished compiler/backend/mips                                   19s   1GB
May 28 11:05:34 Starting compiler/backend/riscv
May 28 11:05:54 Finished compiler/backend/riscv                                  19s   1GB
May 28 11:05:54 Starting compiler/backend/ag32
May 28 11:07:06 Finished compiler/backend/ag32                                 1m11s 899MB
May 28 11:07:06 Starting compiler/parsing/proofs
May 28 11:12:50 Finished compiler/parsing/proofs                               5m43s 917MB
May 28 11:12:51 Starting compiler/inference/proofs
May 28 11:15:43 Finished compiler/inference/proofs                             2m51s   1GB
May 28 11:15:43 Starting compiler/backend/semantics
May 28 11:23:49 Finished compiler/backend/semantics                            8m05s   1GB
May 28 11:23:49 Starting compiler/backend/reg_alloc/proofs
May 28 11:27:15 Finished compiler/backend/reg_alloc/proofs                     3m25s 849MB
May 28 11:27:16 Starting compiler/backend/proofs
May 28 12:14:50 Finished compiler/backend/proofs                              47m33s   4GB
May 28 12:14:50 Starting compiler/encoders/x64/proofs
May 28 12:30:22 Finished compiler/encoders/x64/proofs                         15m31s   4GB
May 28 12:30:22 Starting compiler/encoders/arm7/proofs
May 28 12:49:32 Finished compiler/encoders/arm7/proofs                        19m08s   3GB
May 28 12:49:32 Starting compiler/encoders/arm8/proofs
May 28 12:56:38 Finished compiler/encoders/arm8/proofs                         7m06s   1GB
May 28 12:56:38 Starting compiler/encoders/mips/proofs
May 28 13:08:19 Finished compiler/encoders/mips/proofs                        11m40s   2GB
May 28 13:08:19 Starting compiler/encoders/riscv/proofs
May 28 13:16:42 Finished compiler/encoders/riscv/proofs                        8m22s   1GB
May 28 13:16:42 Starting compiler/encoders/ag32/proofs
May 28 13:19:12 Finished compiler/encoders/ag32/proofs                         2m30s 872MB
May 28 13:19:13 Starting compiler/backend/x64/proofs
May 28 13:19:33 Finished compiler/backend/x64/proofs                             19s   1GB
May 28 13:19:33 Starting compiler/backend/arm7/proofs
May 28 13:19:54 Finished compiler/backend/arm7/proofs                            20s   1GB
May 28 13:19:54 Starting compiler/backend/arm8/proofs
May 28 13:20:13 Finished compiler/backend/arm8/proofs                            19s 793MB
May 28 13:20:14 Starting compiler/backend/mips/proofs
May 28 13:20:36 Finished compiler/backend/mips/proofs                            22s   1GB
May 28 13:20:36 Starting compiler/backend/riscv/proofs
May 28 13:20:56 Finished compiler/backend/riscv/proofs                           19s 849MB
May 28 13:20:56 Starting compiler/backend/ag32/proofs
May 28 13:35:21 Finished compiler/backend/ag32/proofs                         14m23s   2GB
May 28 13:35:21 Starting compiler/proofs
May 28 13:36:46 Finished compiler/proofs                                       1m24s   2GB
May 28 13:36:46 Starting candle/set-theory
May 28 13:37:32 Finished candle/set-theory                                       45s 962MB
May 28 13:37:33 Starting candle/syntax-lib
May 28 13:37:50 Finished candle/syntax-lib                                       16s 602MB
May 28 13:37:50 Starting candle/standard/syntax
May 28 13:40:42 Finished candle/standard/syntax                                2m52s   1GB
May 28 13:40:42 Starting candle/standard/semantics
May 28 13:42:43 Finished candle/standard/semantics                             2m00s   1GB
May 28 13:42:43 Starting candle/standard/monadic
May 28 13:45:24 Finished candle/standard/monadic                               2m40s   1GB
May 28 13:45:24 Starting candle/standard/ml_kernel
May 28 13:51:14 Finished candle/standard/ml_kernel                             5m49s   3GB
May 28 13:51:15 Starting candle/standard/opentheory
May 28 14:03:52 Finished candle/standard/opentheory                           12m37s   3GB
May 28 14:03:53 Starting candle/standard/opentheory/compilation
May 28 14:38:48 Finished candle/standard/opentheory/compilation               34m55s  12GB
May 28 14:38:48 Starting candle/standard/opentheory/compilation/proofs
May 28 14:39:58 Finished candle/standard/opentheory/compilation/proofs         1m09s   1GB
May 28 14:39:58 Starting characteristic/examples
May 28 14:41:23 Finished characteristic/examples                               1m24s   2GB
May 28 14:41:23 Starting tutorial/solutions
May 28 14:54:59 Finished tutorial/solutions                                   13m35s   7GB
May 28 14:55:00 Starting translator/monadic/examples
May 28 14:58:22 Finished translator/monadic/examples                           3m22s   2GB
May 28 14:58:23 Starting examples
May 28 15:08:32 Finished examples                                             10m09s   3GB
May 28 15:08:33 Starting examples/compilation/x64
May 28 17:29:03 Finished examples/compilation/x64                           2h20m30s  16GB
May 28 17:29:04 Starting examples/compilation/x64/proofs
May 28 17:31:13 Finished examples/compilation/x64/proofs                       2m08s   2GB
May 28 17:31:13 Starting examples/compilation/ag32
May 28 18:07:58 Finished examples/compilation/ag32                            36m44s   5GB
May 28 18:07:58 Starting examples/compilation/ag32/proofs
May 28 18:09:15 Finished examples/compilation/ag32/proofs                      1m16s   2GB
May 28 18:09:15 Starting translator/okasaki-examples
May 28 18:15:07 Finished translator/okasaki-examples                           5m51s   2GB
May 28 18:15:07 Starting translator/other-examples
May 28 18:19:55 Finished translator/other-examples                             4m47s   1GB
May 28 18:19:55 Starting compiler/parsing/tests
May 28 18:20:23 Finished compiler/parsing/tests                                  27s 534MB
May 28 18:20:23 Starting compiler/inference/tests
May 28 18:25:43 Finished compiler/inference/tests                              5m19s   3GB
May 28 18:25:43 Starting compiler/bootstrap/translation
May 28 21:04:45 Finished compiler/bootstrap/translation                     2h39m00s  40GB
May 28 21:04:45 Starting unverified/sexpr-bootstrap/x64/64
May 28 21:12:04 Finished unverified/sexpr-bootstrap/x64/64                     7m17s   3GB
May 28 21:12:04 Starting unverified/sexpr-bootstrap/x64/32
May 28 21:16:43 Finished unverified/sexpr-bootstrap/x64/32                     4m38s   5GB
May 28 21:16:43 Starting compiler/benchmarks
May 28 21:16:49 Finished compiler/benchmarks                                      5s  23MB
May 28 21:16:49 Starting compiler/bootstrap/compilation/x64/64
May 29 09:51:23 Finished compiler/bootstrap/compilation/x64/64             12h34m33s  55GB
May 29 09:51:24 Starting compiler/bootstrap/compilation/x64/64/proofs
May 29 09:54:16 Finished compiler/bootstrap/compilation/x64/64/proofs          2m51s  11GB
May 29 09:54:16 Starting compiler/bootstrap/compilation/x64/32
May 29 20:50:19 Finished compiler/bootstrap/compilation/x64/32             10h56m02s  55GB
May 29 20:50:19 Starting compiler/bootstrap/compilation/x64/32/proofs
May 29 20:53:38 Finished compiler/bootstrap/compilation/x64/32/proofs          3m19s   5GB
May 29 20:53:39 Starting compiler/bootstrap/compilation/ag32/32
May 30 10:35:53 Finished compiler/bootstrap/compilation/ag32/32            13h42m14s  54GB
May 30 10:35:53 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 30 11:02:00 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m06s  14GB
May 30 11:02:01 SUCCESS