Job 291

CakeML:62bec738268f8758f71f3e3a5411d060eb707adf
  Add equality type theorems and remove precondition [Apr 12 10:15:46]
#481 (install-and-run)
Merging into:31c27782fd9fd62e0acfe9275cfe1587d12f71b1
  Make debug output print to stderr [Apr 06 18:23:23]
HOL:648910463f185d9e35f121dc9d47f1cf544be789
  holyhammer: changing destination directory of create_fof [Apr 11 22:16:45]
Machine:oven1 4.15.9-300.fc27.x86_64 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

Apr 12 10:21:14 Claimed job
Apr 12 10:21:19 Building HOL
Apr 12 10:29:26 Starting developers/bin
Apr 12 10:29:34 Finished developers/bin                                           6s 923MB
Apr 12 10:29:34 Starting semantics/ffi
Apr 12 10:30:15 Finished semantics/ffi                                           40s 680MB
Apr 12 10:30:16 Starting semantics
Apr 12 10:31:43 Finished semantics                                             1m26s 881MB
Apr 12 10:31:44 Starting semantics/proofs
Apr 12 10:33:34 Finished semantics/proofs                                      1m50s   1GB
Apr 12 10:33:35 Starting basis/pure
Apr 12 10:37:01 Finished basis/pure                                            3m25s 748MB
Apr 12 10:37:02 Starting translator
Apr 12 10:40:55 Finished translator                                            3m52s   1GB
Apr 12 10:40:55 Starting compiler/parsing
Apr 12 10:42:24 Finished compiler/parsing                                      1m28s   2GB
Apr 12 10:42:25 Starting characteristic
Apr 12 10:44:53 Finished characteristic                                        2m27s   1GB
Apr 12 10:44:53 Starting basis
Apr 12 11:03:07 Finished basis                                                18m13s   3GB
Apr 12 11:03:08 Starting translator/monadic
Apr 12 11:03:10 Finished translator/monadic                                       1s  17MB
Apr 12 11:03:10 Starting compiler/inference
Apr 12 11:04:47 Finished compiler/inference                                    1m35s   1GB
Apr 12 11:04:47 Starting compiler/backend/reg_alloc
Apr 12 11:05:15 Finished compiler/backend/reg_alloc                              26s 700MB
Apr 12 11:05:15 Starting compiler/backend/gc
Apr 12 11:14:14 Finished compiler/backend/gc                                   8m58s   3GB
Apr 12 11:14:15 Starting compiler/backend
Apr 12 11:14:18 Finished compiler/backend                                         2s  19MB
Apr 12 11:14:18 Starting compiler/encoders/asm
Apr 12 11:14:20 Finished compiler/encoders/asm                                    0s  15MB
Apr 12 11:14:21 Starting compiler/encoders/x64
Apr 12 11:15:14 Finished compiler/encoders/x64                                   52s 556MB
Apr 12 11:15:15 Starting compiler/encoders/arm6
Apr 12 11:16:53 Finished compiler/encoders/arm6                                1m37s   1GB
Apr 12 11:16:54 Starting compiler/encoders/arm8
Apr 12 11:17:20 Finished compiler/encoders/arm8                                  26s 468MB
Apr 12 11:17:21 Starting compiler/encoders/mips
Apr 12 11:18:08 Finished compiler/encoders/mips                                  46s 869MB
Apr 12 11:18:09 Starting compiler/encoders/riscv
Apr 12 11:19:02 Finished compiler/encoders/riscv                                 52s 703MB
Apr 12 11:19:03 Starting compiler/backend/x64
Apr 12 11:19:28 Finished compiler/backend/x64                                    24s   1GB
Apr 12 11:19:29 Starting compiler/backend/arm6
Apr 12 11:19:55 Finished compiler/backend/arm6                                   25s   1GB
Apr 12 11:19:56 Starting compiler/backend/arm8
Apr 12 11:20:21 Finished compiler/backend/arm8                                   24s   1GB
Apr 12 11:20:22 Starting compiler/backend/mips
Apr 12 11:20:49 Finished compiler/backend/mips                                   26s   1GB
Apr 12 11:20:49 Starting compiler/backend/riscv
Apr 12 11:21:16 Finished compiler/backend/riscv                                  25s   1GB
Apr 12 11:21:16 Starting compiler/parsing/proofs
Apr 12 11:27:18 Finished compiler/parsing/proofs                               6m00s 961MB
Apr 12 11:27:19 Starting compiler/inference/proofs
Apr 12 11:29:38 Finished compiler/inference/proofs                             2m18s   1GB
Apr 12 11:29:38 Starting compiler/backend/semantics
Apr 12 11:41:09 Finished compiler/backend/semantics                           11m29s   2GB
Apr 12 11:41:09 Starting compiler/backend/reg_alloc/proofs
Apr 12 11:41:49 Finished compiler/backend/reg_alloc/proofs                       39s 583MB
Apr 12 11:41:50 Starting compiler/backend/proofs
Apr 12 12:17:47 Finished compiler/backend/proofs                              35m56s   4GB
Apr 12 12:17:48 Starting compiler/encoders/x64/proofs
Apr 12 12:25:39 Finished compiler/encoders/x64/proofs                          7m50s   6GB
Apr 12 12:25:40 Starting compiler/encoders/arm6/proofs
Apr 12 12:33:22 Finished compiler/encoders/arm6/proofs                         7m41s   2GB
Apr 12 12:33:23 Starting compiler/encoders/arm8/proofs
Apr 12 12:38:40 Finished compiler/encoders/arm8/proofs                         5m17s 998MB
Apr 12 12:38:41 Starting compiler/encoders/mips/proofs
Apr 12 12:46:05 Finished compiler/encoders/mips/proofs                         7m23s   1GB
Apr 12 12:46:05 Starting compiler/encoders/riscv/proofs
Apr 12 12:54:12 Finished compiler/encoders/riscv/proofs                        8m05s 940MB
Apr 12 12:54:12 Starting compiler/backend/x64/proofs
Apr 12 12:54:43 Finished compiler/backend/x64/proofs                             30s   1GB
Apr 12 12:54:44 Starting compiler/backend/arm6/proofs
Apr 12 12:55:17 Finished compiler/backend/arm6/proofs                            32s   1GB
Apr 12 12:55:18 Starting compiler/backend/arm8/proofs
Apr 12 12:55:50 Finished compiler/backend/arm8/proofs                            31s   1GB
Apr 12 12:55:51 Starting compiler/backend/mips/proofs
Apr 12 12:56:24 Finished compiler/backend/mips/proofs                            32s   2GB
Apr 12 12:56:24 Starting compiler/backend/riscv/proofs
Apr 12 12:56:56 Finished compiler/backend/riscv/proofs                           31s   1GB
Apr 12 12:56:57 Starting compiler/proofs
Apr 12 12:58:23 Finished compiler/proofs                                       1m25s   2GB
Apr 12 12:58:24 Starting candle/set-theory
Apr 12 12:59:20 Finished candle/set-theory                                       55s 567MB
Apr 12 12:59:21 Starting candle/syntax-lib
Apr 12 12:59:32 Finished candle/syntax-lib                                       10s 648MB
Apr 12 12:59:33 Starting candle/standard/syntax
Apr 12 13:01:06 Finished candle/standard/syntax                                1m33s 615MB
Apr 12 13:01:07 Starting candle/standard/semantics
Apr 12 13:02:26 Finished candle/standard/semantics                             1m18s 920MB
Apr 12 13:02:27 Starting candle/standard/monadic
Apr 12 13:03:55 Finished candle/standard/monadic                               1m28s 953MB
Apr 12 13:03:56 Starting candle/standard/ml_kernel
Apr 12 13:09:53 Finished candle/standard/ml_kernel                             5m56s   1GB
Apr 12 13:09:54 Starting candle/standard/opentheory
Apr 12 13:10:11 Finished candle/standard/opentheory                              16s 906MB
Apr 12 13:10:11 Starting characteristic/examples
Apr 12 13:11:38 Finished characteristic/examples                               1m26s   1GB
Apr 12 13:11:39 Starting tutorial/solutions
Apr 12 13:36:17 Finished tutorial/solutions                                   24m37s  13GB
Apr 12 13:36:18 Starting translator/monadic/examples
Apr 12 13:38:12 Finished translator/monadic/examples                           1m53s   2GB
Apr 12 13:38:12 Starting examples
Apr 12 13:43:36 Finished examples                                              5m23s   2GB
Apr 12 13:43:37 Starting examples/compilation
Apr 12 17:51:26 Finished examples/compilation                               4h07m47s  19GB
Apr 12 17:51:26 Starting examples/compilation/proofs
Apr 12 17:55:07 Finished examples/compilation/proofs                           3m40s   5GB
Apr 12 17:55:08 Starting compiler/benchmarks
Apr 12 17:55:09 Finished compiler/benchmarks                                      0s   4MB
Apr 12 17:55:10 Starting translator/okasaki-examples
Apr 12 17:58:43 Finished translator/okasaki-examples                           3m33s   2GB
Apr 12 17:58:44 Starting translator/other-examples
Apr 12 18:02:14 Finished translator/other-examples                             3m29s   1GB
Apr 12 18:02:15 Starting compiler/parsing/tests
Apr 12 18:02:38 Finished compiler/parsing/tests                                  23s 312MB
Apr 12 18:02:39 Starting compiler/bootstrap/translation
Apr 12 23:00:09 Finished compiler/bootstrap/translation                     4h57m29s  41GB
Apr 12 23:00:10 Starting unverified/sexpr-bootstrap/x64/64
Apr 12 23:06:25 Finished unverified/sexpr-bootstrap/x64/64                     6m13s  11GB
Apr 12 23:06:26 Starting unverified/sexpr-bootstrap/x64/32
Apr 12 23:11:14 Finished unverified/sexpr-bootstrap/x64/32                     4m47s  12GB
Apr 12 23:11:15 Starting compiler/bootstrap/compilation/x64/64
Apr 14 03:43:25 Finished compiler/bootstrap/compilation/x64/64             28h32m08s  64GB
Apr 14 03:43:26 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 14 03:47:31 Finished compiler/bootstrap/compilation/x64/64/proofs          4m04s  27GB
Apr 14 03:47:31 Starting compiler/bootstrap/compilation/x64/32
Apr 14 18:25:04 Finished compiler/bootstrap/compilation/x64/32             14h37m30s  65GB
Apr 14 18:25:04 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 14 18:28:47 Finished compiler/bootstrap/compilation/x64/32/proofs          3m42s  24GB
Apr 14 18:28:48 SUCCESS