Job 1115

CakeML:4345c5ea508513f6512216541e9b9cc7ab53a777
  readme files [Dec 08 05:26:06]
#708 (lrat)
Merging into:5752e21fdd0a5da28d3bec757206728debc27640
  Merge pull request #702 from CakeML/bufferedio [Dec 03 03:21:05]
HOL:481761b292689788e0b28e013337d6a16c4a6fa4
  adding back combinTheory dependency to hhExportLib [Nov 26 08:34:04]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 08 06:15:37 Claimed job
Dec 08 06:15:40 Reusing HOL
Dec 08 06:16:27 Starting developers
Dec 08 06:16:31 Finished developers                                               4s  69MB
Dec 08 06:16:31 Starting developers/bin
Dec 08 06:16:38 Finished developers/bin                                           6s 960MB
Dec 08 06:16:38 Starting semantics/ffi
Dec 08 06:16:48 Finished semantics/ffi                                            9s 244MB
Dec 08 06:16:48 Starting semantics
Dec 08 06:18:10 Finished semantics                                             1m21s   1GB
Dec 08 06:18:10 Starting semantics/proofs
Dec 08 06:21:23 Finished semantics/proofs                                      3m13s   1GB
Dec 08 06:21:23 Starting semantics/alt_semantics
Dec 08 06:21:31 Finished semantics/alt_semantics                                  7s 277MB
Dec 08 06:21:31 Starting semantics/alt_semantics/proofs
Dec 08 06:23:27 Finished semantics/alt_semantics/proofs                        1m56s   1GB
Dec 08 06:23:28 Starting basis/pure
Dec 08 06:24:17 Finished basis/pure                                              49s 644MB
Dec 08 06:24:17 Starting translator
Dec 08 06:26:10 Finished translator                                            1m52s   1GB
Dec 08 06:26:10 Starting compiler/parsing
Dec 08 06:27:19 Finished compiler/parsing                                      1m08s   1GB
Dec 08 06:27:19 Starting characteristic
Dec 08 06:33:00 Finished characteristic                                        5m40s   1GB
Dec 08 06:33:00 Starting translator/monadic
Dec 08 06:34:33 Finished translator/monadic                                    1m33s   1GB
Dec 08 06:34:34 Starting basis
Dec 08 07:09:22 Finished basis                                                34m47s  13GB
Dec 08 07:09:22 Starting compiler/inference
Dec 08 07:11:19 Finished compiler/inference                                    1m56s   1GB
Dec 08 07:11:19 Starting compiler/backend/reg_alloc
Dec 08 07:12:21 Finished compiler/backend/reg_alloc                            1m01s   1GB
Dec 08 07:12:21 Starting compiler/backend/gc
Dec 08 07:15:48 Finished compiler/backend/gc                                   3m26s   1GB
Dec 08 07:15:48 Starting compiler/backend
Dec 08 07:19:42 Finished compiler/backend                                      3m54s   2GB
Dec 08 07:19:43 Starting compiler/encoders/asm
Dec 08 07:20:04 Finished compiler/encoders/asm                                   21s 545MB
Dec 08 07:20:04 Starting compiler/encoders/x64
Dec 08 07:21:02 Finished compiler/encoders/x64                                   57s 599MB
Dec 08 07:21:02 Starting compiler/encoders/arm7
Dec 08 07:22:50 Finished compiler/encoders/arm7                                1m47s   1GB
Dec 08 07:22:50 Starting compiler/encoders/arm8
Dec 08 07:23:23 Finished compiler/encoders/arm8                                  33s 616MB
Dec 08 07:23:24 Starting compiler/encoders/mips
Dec 08 07:24:35 Finished compiler/encoders/mips                                1m11s 784MB
Dec 08 07:24:35 Starting compiler/encoders/riscv
Dec 08 07:26:01 Finished compiler/encoders/riscv                               1m25s   1GB
Dec 08 07:26:01 Starting compiler/encoders/ag32
Dec 08 07:26:18 Finished compiler/encoders/ag32                                  16s 818MB
Dec 08 07:26:18 Starting compiler/backend/x64
Dec 08 07:26:37 Finished compiler/backend/x64                                    18s   1GB
Dec 08 07:26:37 Starting compiler/backend/arm7
Dec 08 07:26:57 Finished compiler/backend/arm7                                   20s   1GB
Dec 08 07:26:57 Starting compiler/backend/arm8
Dec 08 07:27:15 Finished compiler/backend/arm8                                   17s   1GB
Dec 08 07:27:15 Starting compiler/backend/mips
Dec 08 07:27:33 Finished compiler/backend/mips                                   17s   1GB
Dec 08 07:27:34 Starting compiler/backend/riscv
Dec 08 07:27:51 Finished compiler/backend/riscv                                  17s 913MB
Dec 08 07:27:51 Starting compiler/backend/ag32
Dec 08 07:29:03 Finished compiler/backend/ag32                                 1m11s   1GB
Dec 08 07:29:03 Starting compiler/parsing/proofs
Dec 08 07:34:49 Finished compiler/parsing/proofs                               5m45s   1GB
Dec 08 07:34:49 Starting compiler/inference/proofs
Dec 08 07:37:50 Finished compiler/inference/proofs                             3m00s   1GB
Dec 08 07:37:50 Starting compiler/backend/semantics
Dec 08 07:59:26 Finished compiler/backend/semantics                           21m35s   2GB
Dec 08 07:59:26 Starting compiler/backend/reg_alloc/proofs
Dec 08 08:03:02 Finished compiler/backend/reg_alloc/proofs                     3m36s 798MB
Dec 08 08:03:02 Starting compiler/backend/proofs
Dec 08 09:04:38 Finished compiler/backend/proofs                            1h01m35s  15GB
Dec 08 09:04:39 Starting compiler/encoders/x64/proofs
Dec 08 09:14:23 Finished compiler/encoders/x64/proofs                          9m43s   5GB
Dec 08 09:14:23 Starting compiler/encoders/arm7/proofs
Dec 08 09:27:36 Finished compiler/encoders/arm7/proofs                        13m13s   3GB
Dec 08 09:27:36 Starting compiler/encoders/arm8/proofs
Dec 08 09:34:18 Finished compiler/encoders/arm8/proofs                         6m41s   1GB
Dec 08 09:34:18 Starting compiler/encoders/mips/proofs
Dec 08 09:44:30 Finished compiler/encoders/mips/proofs                        10m11s   2GB
Dec 08 09:44:30 Starting compiler/encoders/riscv/proofs
Dec 08 09:53:26 Finished compiler/encoders/riscv/proofs                        8m55s   1GB
Dec 08 09:53:27 Starting compiler/encoders/ag32/proofs
Dec 08 09:56:05 Finished compiler/encoders/ag32/proofs                         2m37s 816MB
Dec 08 09:56:05 Starting compiler/backend/x64/proofs
Dec 08 09:56:24 Finished compiler/backend/x64/proofs                             18s   1GB
Dec 08 09:56:24 Starting compiler/backend/arm7/proofs
Dec 08 09:56:43 Finished compiler/backend/arm7/proofs                            19s   1GB
Dec 08 09:56:43 Starting compiler/backend/arm8/proofs
Dec 08 09:57:01 Finished compiler/backend/arm8/proofs                            17s 822MB
Dec 08 09:57:01 Starting compiler/backend/mips/proofs
Dec 08 09:57:21 Finished compiler/backend/mips/proofs                            19s   1GB
Dec 08 09:57:21 Starting compiler/backend/riscv/proofs
Dec 08 09:57:40 Finished compiler/backend/riscv/proofs                           18s 864MB
Dec 08 09:57:40 Starting compiler/backend/ag32/proofs
Dec 08 10:07:27 Finished compiler/backend/ag32/proofs                          9m46s   2GB
Dec 08 10:07:27 Starting compiler/proofs
Dec 08 10:09:12 Finished compiler/proofs                                       1m44s   2GB
Dec 08 10:09:12 Starting candle/set-theory
Dec 08 10:09:40 Finished candle/set-theory                                       27s 994MB
Dec 08 10:09:40 Starting candle/syntax-lib
Dec 08 10:09:51 Finished candle/syntax-lib                                       10s 670MB
Dec 08 10:09:51 Starting candle/standard/syntax
Dec 08 10:11:39 Finished candle/standard/syntax                                1m48s   1GB
Dec 08 10:11:40 Starting candle/standard/semantics
Dec 08 10:13:23 Finished candle/standard/semantics                             1m43s   1GB
Dec 08 10:13:23 Starting candle/standard/monadic
Dec 08 10:15:05 Finished candle/standard/monadic                               1m41s   1GB
Dec 08 10:15:05 Starting candle/standard/ml_kernel
Dec 08 10:19:29 Finished candle/standard/ml_kernel                             4m24s   4GB
Dec 08 10:19:29 Starting candle/standard/opentheory
Dec 08 10:28:55 Finished candle/standard/opentheory                            9m25s   3GB
Dec 08 10:28:55 Starting candle/standard/opentheory/compilation
Dec 08 10:59:46 Finished candle/standard/opentheory/compilation               30m50s  16GB
Dec 08 10:59:46 Starting candle/standard/opentheory/compilation/proofs
Dec 08 11:00:37 Finished candle/standard/opentheory/compilation/proofs           51s   3GB
Dec 08 11:00:37 Starting characteristic/examples
Dec 08 11:02:10 Finished characteristic/examples                               1m31s   2GB
Dec 08 11:02:10 Starting tutorial/solutions
Dec 08 11:15:57 Finished tutorial/solutions                                   13m47s   8GB
Dec 08 11:15:58 Starting translator/monadic/examples
Dec 08 11:18:56 Finished translator/monadic/examples                           2m58s   3GB
Dec 08 11:18:56 Starting examples
Dec 08 11:28:32 Finished examples                                              9m35s   3GB
Dec 08 11:28:32 Starting examples/compilation/x64
Dec 08 13:36:47 Finished examples/compilation/x64                           2h08m14s  12GB
Dec 08 13:36:47 Starting examples/compilation/x64/proofs
Dec 08 13:38:56 Finished examples/compilation/x64/proofs                       2m08s   2GB
Dec 08 13:38:56 Starting examples/compilation/ag32
Dec 08 14:08:46 Finished examples/compilation/ag32                            29m49s   6GB
Dec 08 14:08:46 Starting examples/compilation/ag32/proofs
Dec 08 14:09:40 Finished examples/compilation/ag32/proofs                        54s   2GB
Dec 08 14:09:40 Starting examples/cost
Dec 08 14:32:29 Finished examples/cost                                        22m49s   7GB
Dec 08 14:32:30 Starting translator/okasaki-examples
Dec 08 14:36:49 Finished translator/okasaki-examples                           4m18s   1GB
Dec 08 14:36:49 Starting translator/other-examples
Dec 08 14:38:49 Finished translator/other-examples                             1m59s   1GB
Dec 08 14:38:49 Starting compiler/parsing/tests
Dec 08 14:39:14 Finished compiler/parsing/tests                                  24s 549MB
Dec 08 14:39:14 Starting compiler/inference/tests
Dec 08 14:43:48 Finished compiler/inference/tests                              4m34s   4GB
Dec 08 14:43:49 Starting compiler/bootstrap/translation
Dec 08 17:34:58 Finished compiler/bootstrap/translation                     2h51m08s  45GB
Dec 08 17:34:58 Starting unverified/sexpr-bootstrap/x64/64
Dec 08 17:48:49 Finished unverified/sexpr-bootstrap/x64/64                    13m50s   2GB
Dec 08 17:48:49 Starting unverified/sexpr-bootstrap/x64/32
Dec 08 17:58:48 Finished unverified/sexpr-bootstrap/x64/32                     9m59s   5GB
Dec 08 17:58:48 Starting compiler/benchmarks
Dec 08 17:58:50 Finished compiler/benchmarks                                      1s  28MB
Dec 08 17:58:51 Starting compiler/bootstrap/compilation/x64/64 Dec 08 17:58:51 2641s