Job 872

CakeML:8f8560b3414274dcffa62719ba224df92d8cb039
  Merge pull request #651 from talsewell/translator_messages [May 15 03:55:41]
HOL:1557f72fc9a7a80bc5ce2e4df30afd51803c8b75
  Get formal-languages/regular to pass src tests again [May 09 11:06:43]
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 15 04:10:11 Claimed job
May 15 04:10:14 Reusing HOL
May 15 04:11:01 Starting developers
May 15 04:11:03 Finished developers                                               2s  21MB
May 15 04:11:04 Starting developers/bin
May 15 04:12:18 Finished developers/bin                                        1m14s 919MB
May 15 04:12:19 Starting semantics/ffi
May 15 04:12:29 Finished semantics/ffi                                            9s 211MB
May 15 04:12:29 Starting semantics
May 15 04:13:51 Finished semantics                                             1m21s   1GB
May 15 04:13:51 Starting semantics/proofs
May 15 04:16:50 Finished semantics/proofs                                      2m59s   1GB
May 15 04:16:51 Starting basis/pure
May 15 04:17:39 Finished basis/pure                                              47s 737MB
May 15 04:17:39 Starting translator
May 15 04:19:20 Finished translator                                            1m40s   1GB
May 15 04:19:20 Starting compiler/parsing
May 15 04:20:18 Finished compiler/parsing                                        57s   2GB
May 15 04:20:18 Starting characteristic
May 15 04:25:34 Finished characteristic                                        5m15s   2GB
May 15 04:25:34 Starting translator/monadic
May 15 04:27:06 Finished translator/monadic                                    1m31s   1GB
May 15 04:27:06 Starting basis
May 15 04:43:52 Finished basis                                                16m45s   2GB
May 15 04:43:52 Starting compiler/inference
May 15 04:45:23 Finished compiler/inference                                    1m30s   1GB
May 15 04:45:23 Starting compiler/backend/reg_alloc
May 15 04:46:23 Finished compiler/backend/reg_alloc                              59s   1GB
May 15 04:46:24 Starting compiler/backend/gc
May 15 04:54:25 Finished compiler/backend/gc                                   8m01s   1GB
May 15 04:54:26 Starting compiler/backend
May 15 04:54:28 Finished compiler/backend                                         2s  23MB
May 15 04:54:28 Starting compiler/encoders/asm
May 15 04:54:30 Finished compiler/encoders/asm                                    1s  18MB
May 15 04:54:30 Starting compiler/encoders/x64
May 15 04:54:55 Finished compiler/encoders/x64                                   24s 823MB
May 15 04:54:55 Starting compiler/encoders/arm6
May 15 04:55:42 Finished compiler/encoders/arm6                                  46s 694MB
May 15 04:55:42 Starting compiler/encoders/arm8
May 15 04:55:56 Finished compiler/encoders/arm8                                  13s 551MB
May 15 04:55:56 Starting compiler/encoders/mips
May 15 04:56:14 Finished compiler/encoders/mips                                  18s 894MB
May 15 04:56:15 Starting compiler/encoders/riscv
May 15 04:56:30 Finished compiler/encoders/riscv                                 14s 660MB
May 15 04:56:30 Starting compiler/encoders/ag32
May 15 04:56:48 Finished compiler/encoders/ag32                                  17s 723MB
May 15 04:56:48 Starting compiler/backend/x64
May 15 04:57:05 Finished compiler/backend/x64                                    17s 876MB
May 15 04:57:06 Starting compiler/backend/arm6
May 15 04:57:26 Finished compiler/backend/arm6                                   20s   1GB
May 15 04:57:27 Starting compiler/backend/arm8
May 15 04:57:46 Finished compiler/backend/arm8                                   18s   1GB
May 15 04:57:46 Starting compiler/backend/mips
May 15 04:58:05 Finished compiler/backend/mips                                   19s   1GB
May 15 04:58:06 Starting compiler/backend/riscv
May 15 04:58:25 Finished compiler/backend/riscv                                  18s   1GB
May 15 04:58:25 Starting compiler/backend/ag32
May 15 04:59:34 Finished compiler/backend/ag32                                 1m08s   1GB
May 15 04:59:34 Starting compiler/parsing/proofs
May 15 05:05:05 Finished compiler/parsing/proofs                               5m30s   1GB
May 15 05:05:05 Starting compiler/inference/proofs
May 15 05:07:46 Finished compiler/inference/proofs                             2m40s   1GB
May 15 05:07:46 Starting compiler/backend/semantics
May 15 05:14:35 Finished compiler/backend/semantics                            6m48s   1GB
May 15 05:14:35 Starting compiler/backend/reg_alloc/proofs
May 15 05:17:51 Finished compiler/backend/reg_alloc/proofs                     3m15s   1GB
May 15 05:17:52 Starting compiler/backend/proofs
May 15 05:54:58 Finished compiler/backend/proofs                              37m06s   4GB
May 15 05:54:58 Starting compiler/encoders/x64/proofs
May 15 06:03:57 Finished compiler/encoders/x64/proofs                          8m58s   4GB
May 15 06:03:57 Starting compiler/encoders/arm6/proofs
May 15 06:16:02 Finished compiler/encoders/arm6/proofs                        12m03s   3GB
May 15 06:16:02 Starting compiler/encoders/arm8/proofs
May 15 06:22:23 Finished compiler/encoders/arm8/proofs                         6m21s   1GB
May 15 06:22:24 Starting compiler/encoders/mips/proofs
May 15 06:31:37 Finished compiler/encoders/mips/proofs                         9m13s   2GB
May 15 06:31:37 Starting compiler/encoders/riscv/proofs
May 15 06:39:42 Finished compiler/encoders/riscv/proofs                        8m04s   1GB
May 15 06:39:42 Starting compiler/encoders/ag32/proofs
May 15 06:42:09 Finished compiler/encoders/ag32/proofs                         2m26s 648MB
May 15 06:42:09 Starting compiler/backend/x64/proofs
May 15 06:42:29 Finished compiler/backend/x64/proofs                             19s   1GB
May 15 06:42:30 Starting compiler/backend/arm6/proofs
May 15 06:42:51 Finished compiler/backend/arm6/proofs                            21s   1GB
May 15 06:42:51 Starting compiler/backend/arm8/proofs
May 15 06:43:10 Finished compiler/backend/arm8/proofs                            18s   1GB
May 15 06:43:11 Starting compiler/backend/mips/proofs
May 15 06:43:32 Finished compiler/backend/mips/proofs                            20s 808MB
May 15 06:43:32 Starting compiler/backend/riscv/proofs
May 15 06:43:52 Finished compiler/backend/riscv/proofs                           20s   1GB
May 15 06:43:52 Starting compiler/backend/ag32/proofs
May 15 06:52:33 Finished compiler/backend/ag32/proofs                          8m40s   2GB
May 15 06:52:33 Starting compiler/proofs
May 15 06:53:54 Finished compiler/proofs                                       1m20s   3GB
May 15 06:53:54 Starting candle/set-theory
May 15 06:54:20 Finished candle/set-theory                                       26s 765MB
May 15 06:54:21 Starting candle/syntax-lib
May 15 06:54:32 Finished candle/syntax-lib                                       10s 654MB
May 15 06:54:32 Starting candle/standard/syntax
May 15 06:56:16 Finished candle/standard/syntax                                1m44s   1GB
May 15 06:56:17 Starting candle/standard/semantics
May 15 06:57:55 Finished candle/standard/semantics                             1m37s   1GB
May 15 06:57:55 Starting candle/standard/monadic
May 15 06:59:29 Finished candle/standard/monadic                               1m33s   1GB
May 15 06:59:29 Starting candle/standard/ml_kernel
May 15 07:03:17 Finished candle/standard/ml_kernel                             3m47s   3GB
May 15 07:03:17 Starting candle/standard/opentheory
May 15 07:11:44 Finished candle/standard/opentheory                            8m26s   2GB
May 15 07:11:44 Starting candle/standard/opentheory/compilation
May 15 07:41:09 Finished candle/standard/opentheory/compilation               29m24s  15GB
May 15 07:41:09 Starting candle/standard/opentheory/compilation/proofs
May 15 07:41:59 Finished candle/standard/opentheory/compilation/proofs           49s   2GB
May 15 07:41:59 Starting characteristic/examples
May 15 07:43:27 Finished characteristic/examples                               1m28s   2GB
May 15 07:43:28 Starting tutorial/solutions
May 15 07:56:43 Finished tutorial/solutions                                   13m15s   6GB
May 15 07:56:43 Starting translator/monadic/examples
May 15 07:59:36 Finished translator/monadic/examples                           2m52s   2GB
May 15 07:59:36 Starting examples
May 15 08:08:11 Finished examples                                              8m35s   3GB
May 15 08:08:11 Starting examples/compilation/x64
May 15 10:10:43 Finished examples/compilation/x64                           2h02m31s  14GB
May 15 10:10:43 Starting examples/compilation/x64/proofs
May 15 10:12:14 Finished examples/compilation/x64/proofs                       1m30s   2GB
May 15 10:12:15 Starting examples/compilation/ag32
May 15 10:39:45 Finished examples/compilation/ag32                            27m29s   6GB
May 15 10:39:45 Starting examples/compilation/ag32/proofs
May 15 10:40:34 Finished examples/compilation/ag32/proofs                        48s   3GB
May 15 10:40:34 Starting translator/okasaki-examples
May 15 10:44:33 Finished translator/okasaki-examples                           3m58s   1GB
May 15 10:44:33 Starting translator/other-examples
May 15 10:45:17 Finished translator/other-examples                               43s   1GB
May 15 10:45:17 Starting compiler/parsing/tests
May 15 10:45:43 Finished compiler/parsing/tests                                  26s 567MB
May 15 10:45:44 Starting compiler/inference/tests
May 15 10:49:44 Finished compiler/inference/tests                              4m00s   6GB
May 15 10:49:44 Starting compiler/bootstrap/translation
May 15 13:15:08 Finished compiler/bootstrap/translation                     2h25m23s  43GB
May 15 13:15:09 Starting unverified/sexpr-bootstrap/x64/64
May 15 13:22:46 Finished unverified/sexpr-bootstrap/x64/64                     7m36s   3GB
May 15 13:22:46 Starting unverified/sexpr-bootstrap/x64/32
May 15 13:27:22 Finished unverified/sexpr-bootstrap/x64/32                     4m35s   7GB
May 15 13:27:23 Starting compiler/benchmarks
May 15 13:27:30 Finished compiler/benchmarks                                      6s  23MB
May 15 13:27:30 Starting compiler/bootstrap/compilation/x64/64
May 15 23:38:13 Finished compiler/bootstrap/compilation/x64/64             10h10m42s  64GB
May 15 23:38:14 Starting compiler/bootstrap/compilation/x64/64/proofs
May 15 23:42:10 Finished compiler/bootstrap/compilation/x64/64/proofs          3m56s   5GB
May 15 23:42:10 Starting compiler/bootstrap/compilation/x64/32
May 16 08:28:36 Finished compiler/bootstrap/compilation/x64/32              8h46m25s  64GB
May 16 08:28:37 Starting compiler/bootstrap/compilation/x64/32/proofs
May 16 08:32:14 Finished compiler/bootstrap/compilation/x64/32/proofs          3m37s   5GB
May 16 08:32:14 Starting compiler/bootstrap/compilation/ag32/32
May 16 18:22:56 Finished compiler/bootstrap/compilation/ag32/32             9h50m41s  64GB
May 16 18:22:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 16 18:48:18 Finished compiler/bootstrap/compilation/ag32/32/proofs        25m21s  13GB
May 16 18:48:19 SUCCESS