Job 1121

CakeML:10943f8db35376f05a51dc0c63484da1b62abee6
  Merge pull request #708 from CakeML/lrat [Dec 09 23:25:17]
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
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Dec 10 10:42:50 Claimed job
Dec 10 10:42:54 Building HOL
Dec 10 10:54:14 Starting developers
Dec 10 10:54:18 Finished developers                                               4s  93MB
Dec 10 10:54:19 Starting developers/bin
Dec 10 10:54:25 Finished developers/bin                                           6s 960MB
Dec 10 10:54:25 Starting semantics/ffi
Dec 10 10:54:35 Finished semantics/ffi                                            9s 221MB
Dec 10 10:54:36 Starting semantics
Dec 10 10:56:07 Finished semantics                                             1m31s   1GB
Dec 10 10:56:07 Starting semantics/proofs
Dec 10 10:59:23 Finished semantics/proofs                                      3m15s 870MB
Dec 10 10:59:23 Starting semantics/alt_semantics
Dec 10 10:59:31 Finished semantics/alt_semantics                                  7s 258MB
Dec 10 10:59:31 Starting semantics/alt_semantics/proofs
Dec 10 11:01:27 Finished semantics/alt_semantics/proofs                        1m56s 724MB
Dec 10 11:01:28 Starting basis/pure
Dec 10 11:04:29 Finished basis/pure                                            3m01s 738MB
Dec 10 11:04:29 Starting translator
Dec 10 11:06:23 Finished translator                                            1m53s   1GB
Dec 10 11:06:24 Starting compiler/parsing
Dec 10 11:07:34 Finished compiler/parsing                                      1m10s   2GB
Dec 10 11:07:34 Starting characteristic
Dec 10 11:13:15 Finished characteristic                                        5m40s   1GB
Dec 10 11:13:15 Starting translator/monadic
Dec 10 11:14:48 Finished translator/monadic                                    1m32s   1GB
Dec 10 11:14:48 Starting basis
Dec 10 11:50:03 Finished basis                                                35m14s  18GB
Dec 10 11:50:03 Starting compiler/inference
Dec 10 11:52:01 Finished compiler/inference                                    1m57s   1GB
Dec 10 11:52:01 Starting compiler/backend/reg_alloc
Dec 10 11:53:03 Finished compiler/backend/reg_alloc                            1m02s   1GB
Dec 10 11:53:03 Starting compiler/backend/gc
Dec 10 11:56:29 Finished compiler/backend/gc                                   3m25s   2GB
Dec 10 11:56:29 Starting compiler/backend
Dec 10 12:00:23 Finished compiler/backend                                      3m53s   2GB
Dec 10 12:00:23 Starting compiler/encoders/asm
Dec 10 12:00:45 Finished compiler/encoders/asm                                   21s 654MB
Dec 10 12:00:45 Starting compiler/encoders/x64
Dec 10 12:01:42 Finished compiler/encoders/x64                                   56s 801MB
Dec 10 12:01:42 Starting compiler/encoders/arm7
Dec 10 12:03:29 Finished compiler/encoders/arm7                                1m46s   1GB
Dec 10 12:03:29 Starting compiler/encoders/arm8
Dec 10 12:04:02 Finished compiler/encoders/arm8                                  33s 893MB
Dec 10 12:04:03 Starting compiler/encoders/mips
Dec 10 12:05:14 Finished compiler/encoders/mips                                1m10s 783MB
Dec 10 12:05:14 Starting compiler/encoders/riscv
Dec 10 12:06:42 Finished compiler/encoders/riscv                               1m27s   1GB
Dec 10 12:06:42 Starting compiler/encoders/ag32
Dec 10 12:07:00 Finished compiler/encoders/ag32                                  17s 526MB
Dec 10 12:07:00 Starting compiler/backend/x64
Dec 10 12:07:18 Finished compiler/backend/x64                                    18s   1GB
Dec 10 12:07:18 Starting compiler/backend/arm7
Dec 10 12:07:39 Finished compiler/backend/arm7                                   20s   1GB
Dec 10 12:07:39 Starting compiler/backend/arm8
Dec 10 12:07:56 Finished compiler/backend/arm8                                   17s   1GB
Dec 10 12:07:56 Starting compiler/backend/mips
Dec 10 12:08:15 Finished compiler/backend/mips                                   18s   1GB
Dec 10 12:08:15 Starting compiler/backend/riscv
Dec 10 12:08:33 Finished compiler/backend/riscv                                  18s   1GB
Dec 10 12:08:34 Starting compiler/backend/ag32
Dec 10 12:09:44 Finished compiler/backend/ag32                                 1m10s   1GB
Dec 10 12:09:45 Starting compiler/parsing/proofs
Dec 10 12:15:34 Finished compiler/parsing/proofs                               5m48s   1GB
Dec 10 12:15:34 Starting compiler/inference/proofs
Dec 10 12:18:34 Finished compiler/inference/proofs                             2m59s   1GB
Dec 10 12:18:34 Starting compiler/backend/semantics
Dec 10 12:40:24 Finished compiler/backend/semantics                           21m50s   1GB
Dec 10 12:40:25 Starting compiler/backend/reg_alloc/proofs
Dec 10 12:44:06 Finished compiler/backend/reg_alloc/proofs                     3m40s 700MB
Dec 10 12:44:06 Starting compiler/backend/proofs
Dec 10 13:45:46 Finished compiler/backend/proofs                            1h01m39s  16GB
Dec 10 13:45:46 Starting compiler/encoders/x64/proofs
Dec 10 13:55:35 Finished compiler/encoders/x64/proofs                          9m48s   5GB
Dec 10 13:55:35 Starting compiler/encoders/arm7/proofs
Dec 10 14:08:46 Finished compiler/encoders/arm7/proofs                        13m10s   3GB
Dec 10 14:08:46 Starting compiler/encoders/arm8/proofs
Dec 10 14:15:26 Finished compiler/encoders/arm8/proofs                         6m39s   1GB
Dec 10 14:15:26 Starting compiler/encoders/mips/proofs
Dec 10 14:25:33 Finished compiler/encoders/mips/proofs                        10m07s   1GB
Dec 10 14:25:33 Starting compiler/encoders/riscv/proofs
Dec 10 14:34:39 Finished compiler/encoders/riscv/proofs                        9m05s 991MB
Dec 10 14:34:39 Starting compiler/encoders/ag32/proofs
Dec 10 14:37:18 Finished compiler/encoders/ag32/proofs                         2m39s 613MB
Dec 10 14:37:18 Starting compiler/backend/x64/proofs
Dec 10 14:37:38 Finished compiler/backend/x64/proofs                             18s   1GB
Dec 10 14:37:38 Starting compiler/backend/arm7/proofs
Dec 10 14:37:58 Finished compiler/backend/arm7/proofs                            19s   1GB
Dec 10 14:37:58 Starting compiler/backend/arm8/proofs
Dec 10 14:38:16 Finished compiler/backend/arm8/proofs                            18s 783MB
Dec 10 14:38:16 Starting compiler/backend/mips/proofs
Dec 10 14:38:35 Finished compiler/backend/mips/proofs                            18s 913MB
Dec 10 14:38:35 Starting compiler/backend/riscv/proofs
Dec 10 14:38:55 Finished compiler/backend/riscv/proofs                           19s   1GB
Dec 10 14:38:55 Starting compiler/backend/ag32/proofs
Dec 10 14:48:49 Finished compiler/backend/ag32/proofs                          9m53s   2GB
Dec 10 14:48:49 Starting compiler/proofs
Dec 10 14:50:47 Finished compiler/proofs                                       1m58s   2GB
Dec 10 14:50:48 Starting candle/set-theory
Dec 10 14:51:16 Finished candle/set-theory                                       28s 659MB
Dec 10 14:51:16 Starting candle/syntax-lib
Dec 10 14:51:27 Finished candle/syntax-lib                                       10s 649MB
Dec 10 14:51:27 Starting candle/standard/syntax
Dec 10 14:53:16 Finished candle/standard/syntax                                1m49s 897MB
Dec 10 14:53:17 Starting candle/standard/semantics
Dec 10 14:54:58 Finished candle/standard/semantics                             1m41s   1GB
Dec 10 14:54:58 Starting candle/standard/monadic
Dec 10 14:56:40 Finished candle/standard/monadic                               1m41s   1GB
Dec 10 14:56:41 Starting candle/standard/ml_kernel
Dec 10 15:01:09 Finished candle/standard/ml_kernel                             4m28s   3GB
Dec 10 15:01:09 Starting candle/standard/opentheory
Dec 10 15:10:45 Finished candle/standard/opentheory                            9m35s   4GB
Dec 10 15:10:45 Starting candle/standard/opentheory/compilation
Dec 10 15:41:06 Finished candle/standard/opentheory/compilation               30m20s  24GB
Dec 10 15:41:07 Starting candle/standard/opentheory/compilation/proofs
Dec 10 15:41:52 Finished candle/standard/opentheory/compilation/proofs           44s   2GB
Dec 10 15:41:52 Starting characteristic/examples
Dec 10 15:43:27 Finished characteristic/examples                               1m35s   1GB
Dec 10 15:43:27 Starting tutorial/solutions
Dec 10 15:57:18 Finished tutorial/solutions                                   13m50s   8GB
Dec 10 15:57:18 Starting translator/monadic/examples
Dec 10 16:00:16 Finished translator/monadic/examples                           2m57s   2GB
Dec 10 16:00:17 Starting examples
Dec 10 16:09:48 Finished examples                                              9m30s   3GB
Dec 10 16:09:48 Starting examples/compilation/x64
Dec 10 18:18:03 Finished examples/compilation/x64                           2h08m15s  10GB
Dec 10 18:18:03 Starting examples/compilation/x64/proofs
Dec 10 18:20:04 Finished examples/compilation/x64/proofs                       1m59s   2GB
Dec 10 18:20:04 Starting examples/compilation/ag32
Dec 10 18:50:01 Finished examples/compilation/ag32                            29m57s   5GB
Dec 10 18:50:01 Starting examples/compilation/ag32/proofs
Dec 10 18:51:01 Finished examples/compilation/ag32/proofs                        59s   3GB
Dec 10 18:51:01 Starting examples/cost
Dec 10 19:13:51 Finished examples/cost                                        22m48s   8GB
Dec 10 19:13:51 Starting examples/lrat_checker
Dec 10 19:17:19 Finished examples/lrat_checker                                 3m28s   2GB
Dec 10 19:17:19 Starting examples/lrat_checker/compilation
Dec 10 19:32:57 Finished examples/lrat_checker/compilation                    15m37s   8GB
Dec 10 19:32:57 Starting examples/lrat_checker/compilation/proofs
Dec 10 19:33:44 Finished examples/lrat_checker/compilation/proofs                46s   2GB
Dec 10 19:33:44 Starting examples/lrat_checker/array
Dec 10 19:40:18 Finished examples/lrat_checker/array                           6m34s   2GB
Dec 10 19:40:19 Starting examples/lrat_checker/array/compilation
Dec 10 19:54:25 Finished examples/lrat_checker/array/compilation              14m06s   7GB
Dec 10 19:54:25 Starting examples/lrat_checker/array/compilation/proofs
Dec 10 19:55:11 Finished examples/lrat_checker/array/compilation/proofs          45s   2GB
Dec 10 19:55:11 Starting translator/okasaki-examples
Dec 10 19:59:31 Finished translator/okasaki-examples                           4m19s   1GB
Dec 10 19:59:31 Starting translator/other-examples
Dec 10 20:01:25 Finished translator/other-examples                             1m53s   1GB
Dec 10 20:01:25 Starting compiler/parsing/tests
Dec 10 20:01:50 Finished compiler/parsing/tests                                  25s 561MB
Dec 10 20:01:51 Starting compiler/inference/tests
Dec 10 20:06:33 Finished compiler/inference/tests                              4m42s   4GB
Dec 10 20:06:33 Starting compiler/bootstrap/translation
Dec 10 22:57:46 Finished compiler/bootstrap/translation                     2h51m13s  48GB
Dec 10 22:57:46 Starting unverified/sexpr-bootstrap/x64/64
Dec 10 23:11:37 Finished unverified/sexpr-bootstrap/x64/64                    13m49s   3GB
Dec 10 23:11:37 Starting unverified/sexpr-bootstrap/x64/32
Dec 10 23:21:36 Finished unverified/sexpr-bootstrap/x64/32                     9m58s   6GB
Dec 10 23:21:37 Starting compiler/benchmarks
Dec 10 23:21:39 Finished compiler/benchmarks                                      1s  27MB
Dec 10 23:21:39 Starting compiler/bootstrap/compilation/x64/64
Dec 11 13:22:03 Finished compiler/bootstrap/compilation/x64/64             14h00m22s  65GB
Dec 11 13:22:03 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 11 13:26:10 Finished compiler/bootstrap/compilation/x64/64/proofs          4m06s   5GB
Dec 11 13:26:10 Starting compiler/bootstrap/compilation/x64/32
Dec 12 00:56:36 Finished compiler/bootstrap/compilation/x64/32             11h30m23s  64GB
Dec 12 00:56:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 12 01:01:04 Finished compiler/bootstrap/compilation/x64/32/proofs          4m28s   5GB
Dec 12 01:01:05 Starting compiler/bootstrap/compilation/ag32/32
Dec 12 15:25:38 Finished compiler/bootstrap/compilation/ag32/32            14h24m33s  64GB
Dec 12 15:25:38 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 12 15:52:14 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m35s  16GB
Dec 12 15:52:14 SUCCESS