Job 859

CakeML:96ec9c17d55e54ccc04d7858e8f7a1257f8452ec
  Merge pull request #643 from CakeML/cleanup [May 11 05:53:36]
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 11 05:55:02 Claimed job
May 11 05:56:01 Building HOL
May 11 06:05:26 Starting developers
May 11 06:05:28 Finished developers                                               2s  21MB
May 11 06:05:29 Starting developers/bin
May 11 06:06:35 Finished developers/bin                                        1m06s 919MB
May 11 06:06:36 Starting semantics/ffi
May 11 06:07:14 Finished semantics/ffi                                           38s 521MB
May 11 06:07:15 Starting semantics
May 11 06:08:51 Finished semantics                                             1m36s   1GB
May 11 06:08:51 Starting semantics/proofs
May 11 06:11:47 Finished semantics/proofs                                      2m55s   1GB
May 11 06:11:47 Starting basis/pure
May 11 06:15:23 Finished basis/pure                                            3m35s 689MB
May 11 06:15:24 Starting translator
May 11 06:17:05 Finished translator                                            1m41s   1GB
May 11 06:17:05 Starting compiler/parsing
May 11 06:18:03 Finished compiler/parsing                                        57s   2GB
May 11 06:18:03 Starting characteristic
May 11 06:23:19 Finished characteristic                                        5m15s   1GB
May 11 06:23:19 Starting translator/monadic
May 11 06:24:47 Finished translator/monadic                                    1m27s   1GB
May 11 06:24:47 Starting basis
May 11 06:41:22 Finished basis                                                16m34s   2GB
May 11 06:41:22 Starting compiler/inference
May 11 06:43:14 Finished compiler/inference                                    1m51s   1GB
May 11 06:43:14 Starting compiler/backend/reg_alloc
May 11 06:44:14 Finished compiler/backend/reg_alloc                              59s   1GB
May 11 06:44:14 Starting compiler/backend/gc
May 11 06:53:26 Finished compiler/backend/gc                                   9m11s   2GB
May 11 06:53:26 Starting compiler/backend
May 11 06:53:29 Finished compiler/backend                                         2s  17MB
May 11 06:53:29 Starting compiler/encoders/asm
May 11 06:53:30 Finished compiler/encoders/asm                                    1s  13MB
May 11 06:53:31 Starting compiler/encoders/x64
May 11 06:54:33 Finished compiler/encoders/x64                                 1m01s 585MB
May 11 06:54:33 Starting compiler/encoders/arm6
May 11 06:56:14 Finished compiler/encoders/arm6                                1m40s   1GB
May 11 06:56:14 Starting compiler/encoders/arm8
May 11 06:56:47 Finished compiler/encoders/arm8                                  33s 560MB
May 11 06:56:48 Starting compiler/encoders/mips
May 11 06:57:56 Finished compiler/encoders/mips                                1m08s 959MB
May 11 06:57:56 Starting compiler/encoders/riscv
May 11 06:59:17 Finished compiler/encoders/riscv                               1m20s   1GB
May 11 06:59:17 Starting compiler/encoders/ag32
May 11 06:59:34 Finished compiler/encoders/ag32                                  16s 790MB
May 11 06:59:34 Starting compiler/backend/x64
May 11 06:59:53 Finished compiler/backend/x64                                    18s   1GB
May 11 06:59:53 Starting compiler/backend/arm6
May 11 07:00:14 Finished compiler/backend/arm6                                   20s   1GB
May 11 07:00:14 Starting compiler/backend/arm8
May 11 07:00:33 Finished compiler/backend/arm8                                   18s   1GB
May 11 07:00:33 Starting compiler/backend/mips
May 11 07:00:53 Finished compiler/backend/mips                                   19s   1GB
May 11 07:00:53 Starting compiler/backend/riscv
May 11 07:01:13 Finished compiler/backend/riscv                                  19s   1GB
May 11 07:01:13 Starting compiler/backend/ag32
May 11 07:02:20 Finished compiler/backend/ag32                                 1m06s   1GB
May 11 07:02:21 Starting compiler/parsing/proofs
May 11 07:07:56 Finished compiler/parsing/proofs                               5m34s   1GB
May 11 07:07:56 Starting compiler/inference/proofs
May 11 07:10:39 Finished compiler/inference/proofs                             2m42s   1GB
May 11 07:10:39 Starting compiler/backend/semantics
May 11 07:17:30 Finished compiler/backend/semantics                            6m51s   2GB
May 11 07:17:31 Starting compiler/backend/reg_alloc/proofs
May 11 07:20:48 Finished compiler/backend/reg_alloc/proofs                     3m17s 798MB
May 11 07:20:49 Starting compiler/backend/proofs
May 11 07:57:48 Finished compiler/backend/proofs                              36m59s   4GB
May 11 07:57:48 Starting compiler/encoders/x64/proofs
May 11 08:07:39 Finished compiler/encoders/x64/proofs                          9m50s   5GB
May 11 08:07:40 Starting compiler/encoders/arm6/proofs
May 11 08:20:46 Finished compiler/encoders/arm6/proofs                        13m05s   7GB
May 11 08:20:46 Starting compiler/encoders/arm8/proofs
May 11 08:27:24 Finished compiler/encoders/arm8/proofs                         6m37s   1GB
May 11 08:27:24 Starting compiler/encoders/mips/proofs
May 11 08:37:08 Finished compiler/encoders/mips/proofs                         9m44s   2GB
May 11 08:37:09 Starting compiler/encoders/riscv/proofs
May 11 08:45:25 Finished compiler/encoders/riscv/proofs                        8m16s   1GB
May 11 08:45:25 Starting compiler/encoders/ag32/proofs
May 11 08:47:51 Finished compiler/encoders/ag32/proofs                         2m25s 864MB
May 11 08:47:52 Starting compiler/backend/x64/proofs
May 11 08:48:11 Finished compiler/backend/x64/proofs                             18s 813MB
May 11 08:48:11 Starting compiler/backend/arm6/proofs
May 11 08:48:33 Finished compiler/backend/arm6/proofs                            21s   1GB
May 11 08:48:33 Starting compiler/backend/arm8/proofs
May 11 08:48:52 Finished compiler/backend/arm8/proofs                            18s 774MB
May 11 08:48:52 Starting compiler/backend/mips/proofs
May 11 08:49:13 Finished compiler/backend/mips/proofs                            20s   1GB
May 11 08:49:13 Starting compiler/backend/riscv/proofs
May 11 08:49:34 Finished compiler/backend/riscv/proofs                           20s   1GB
May 11 08:49:34 Starting compiler/backend/ag32/proofs
May 11 08:58:14 Finished compiler/backend/ag32/proofs                          8m39s   2GB
May 11 08:58:14 Starting compiler/proofs
May 11 08:59:31 Finished compiler/proofs                                       1m16s   3GB
May 11 08:59:32 Starting candle/set-theory
May 11 08:59:59 Finished candle/set-theory                                       27s 659MB
May 11 08:59:59 Starting candle/syntax-lib
May 11 09:00:10 Finished candle/syntax-lib                                       10s 596MB
May 11 09:00:11 Starting candle/standard/syntax
May 11 09:01:55 Finished candle/standard/syntax                                1m44s   1GB
May 11 09:01:55 Starting candle/standard/semantics
May 11 09:03:33 Finished candle/standard/semantics                             1m37s   1GB
May 11 09:03:33 Starting candle/standard/monadic
May 11 09:05:08 Finished candle/standard/monadic                               1m34s   1GB
May 11 09:05:08 Starting candle/standard/ml_kernel
May 11 09:08:53 Finished candle/standard/ml_kernel                             3m44s   3GB
May 11 09:08:53 Starting candle/standard/opentheory
May 11 09:17:13 Finished candle/standard/opentheory                            8m19s   4GB
May 11 09:17:13 Starting candle/standard/opentheory/compilation
May 11 09:46:00 Finished candle/standard/opentheory/compilation               28m45s  14GB
May 11 09:46:00 Starting candle/standard/opentheory/compilation/proofs
May 11 09:46:36 Finished candle/standard/opentheory/compilation/proofs           36s   2GB
May 11 09:46:36 Starting characteristic/examples
May 11 09:48:02 Finished characteristic/examples                               1m24s   2GB
May 11 09:48:02 Starting tutorial/solutions
May 11 10:01:20 Finished tutorial/solutions                                   13m18s   6GB
May 11 10:01:21 Starting translator/monadic/examples
May 11 10:04:17 Finished translator/monadic/examples                           2m55s   2GB
May 11 10:04:17 Starting examples
May 11 10:12:57 Finished examples                                              8m39s   4GB
May 11 10:12:58 Starting examples/compilation/x64
May 11 12:15:42 Finished examples/compilation/x64                           2h02m43s  13GB
May 11 12:15:43 Starting examples/compilation/x64/proofs
May 11 12:17:11 Finished examples/compilation/x64/proofs                       1m27s   2GB
May 11 12:17:11 Starting examples/compilation/ag32
May 11 12:44:54 Finished examples/compilation/ag32                            27m43s   6GB
May 11 12:44:54 Starting examples/compilation/ag32/proofs
May 11 12:45:46 Finished examples/compilation/ag32/proofs                        51s   2GB
May 11 12:45:46 Starting translator/okasaki-examples
May 11 12:49:46 Finished translator/okasaki-examples                           4m00s   2GB
May 11 12:49:47 Starting translator/other-examples
May 11 12:53:22 Finished translator/other-examples                             3m34s   1GB
May 11 12:53:22 Starting compiler/parsing/tests
May 11 12:53:47 Finished compiler/parsing/tests                                  25s 564MB
May 11 12:53:47 Starting compiler/inference/tests
May 11 12:57:50 Finished compiler/inference/tests                              4m02s   4GB
May 11 12:57:50 Starting compiler/bootstrap/translation
May 11 15:23:02 Finished compiler/bootstrap/translation                     2h25m11s  43GB
May 11 15:23:02 Starting unverified/sexpr-bootstrap/x64/64
May 11 15:30:26 Finished unverified/sexpr-bootstrap/x64/64                     7m22s   2GB
May 11 15:30:26 Starting unverified/sexpr-bootstrap/x64/32
May 11 15:35:02 Finished unverified/sexpr-bootstrap/x64/32                     4m35s   5GB
May 11 15:35:02 Starting compiler/benchmarks
May 11 15:35:09 Finished compiler/benchmarks                                      6s  33MB
May 11 15:35:10 Starting compiler/bootstrap/compilation/x64/64
May 12 02:08:28 Finished compiler/bootstrap/compilation/x64/64             10h33m17s  64GB
May 12 02:08:28 Starting compiler/bootstrap/compilation/x64/64/proofs
May 12 02:12:08 Finished compiler/bootstrap/compilation/x64/64/proofs          3m39s   7GB
May 12 02:12:09 Starting compiler/bootstrap/compilation/x64/32
May 12 11:19:24 Finished compiler/bootstrap/compilation/x64/32              9h07m14s  64GB
May 12 11:19:24 Starting compiler/bootstrap/compilation/x64/32/proofs
May 12 11:21:47 Finished compiler/bootstrap/compilation/x64/32/proofs          2m22s   9GB
May 12 11:21:48 Starting compiler/bootstrap/compilation/ag32/32
May 12 21:00:19 Finished compiler/bootstrap/compilation/ag32/32             9h38m31s  64GB
May 12 21:00:19 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 12 21:23:51 Finished compiler/bootstrap/compilation/ag32/32/proofs        23m31s  15GB
May 12 21:23:51 SUCCESS