Job 1572

CakeML:a2713f8e8f8b719d4618f4be35c23419b5f4c348
  Merge pull request #831 from CakeML/pancake [Aug 17 08:39:17]
HOL:a8ccec8c32fc37fc23c8a5b4e6756b2f9cee7042
  Adjust miller deps for inclusion in parallel builds [Aug 31 00:31:08]
Machine:oven2 4.15.0-34-generic 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

Sep 03 07:53:20 Claimed job
Sep 03 07:53:29 Building HOL
Sep 03 08:06:12 Starting developers
Sep 03 08:06:14 Finished developers                                               2s 100MB
Sep 03 08:06:14 Starting developers/bin
Sep 03 08:06:21 Finished developers/bin                                           6s   1GB
Sep 03 08:06:21 Starting semantics/ffi
Sep 03 08:06:32 Finished semantics/ffi                                           10s 273MB
Sep 03 08:06:32 Starting semantics
Sep 03 08:08:19 Finished semantics                                             1m46s   1GB
Sep 03 08:08:19 Starting semantics/proofs
Sep 03 08:12:55 Finished semantics/proofs                                      4m36s   1GB
Sep 03 08:12:55 Starting semantics/alt_semantics
Sep 03 08:13:05 Finished semantics/alt_semantics                                  9s 430MB
Sep 03 08:13:05 Starting semantics/alt_semantics/proofs
Sep 03 08:15:48 Finished semantics/alt_semantics/proofs                        2m42s   1GB
Sep 03 08:15:48 Starting basis/pure
Sep 03 08:19:00 Finished basis/pure                                            3m12s   1GB
Sep 03 08:19:00 Starting translator
Sep 03 08:23:11 Finished translator                                            4m11s   2GB
Sep 03 08:23:11 Starting compiler/parsing
Sep 03 08:24:46 Finished compiler/parsing                                      1m34s   4GB
Sep 03 08:24:46 Starting characteristic
Sep 03 08:32:42 Finished characteristic                                        7m55s   4GB
Sep 03 08:32:43 Starting translator/monadic
Sep 03 08:35:13 Finished translator/monadic                                    2m30s   3GB
Sep 03 08:35:13 Starting basis
Sep 03 09:24:43 Finished basis                                                49m29s  30GB
Sep 03 09:24:43 Starting compiler/inference
Sep 03 09:26:00 Finished compiler/inference                                    1m16s   2GB
Sep 03 09:26:00 Starting compiler/backend/reg_alloc
Sep 03 09:27:11 Finished compiler/backend/reg_alloc                            1m10s   1GB
Sep 03 09:27:11 Starting compiler/backend/gc
Sep 03 09:31:20 Finished compiler/backend/gc                                   4m07s   5GB
Sep 03 09:31:20 Starting compiler/backend
Sep 03 09:37:20 Finished compiler/backend                                      6m00s   5GB
Sep 03 09:37:20 Starting compiler/encoders/asm
Sep 03 09:37:44 Finished compiler/encoders/asm                                   23s   1GB
Sep 03 09:37:45 Starting compiler/encoders/x64
Sep 03 09:38:52 Finished compiler/encoders/x64                                 1m06s   1GB
Sep 03 09:38:52 Starting compiler/encoders/arm7
Sep 03 09:41:01 Finished compiler/encoders/arm7                                2m09s   1GB
Sep 03 09:41:02 Starting compiler/encoders/arm8
Sep 03 09:41:43 Finished compiler/encoders/arm8                                  40s   1GB
Sep 03 09:41:43 Starting compiler/encoders/mips
Sep 03 09:43:13 Finished compiler/encoders/mips                                1m29s   1GB
Sep 03 09:43:13 Starting compiler/encoders/riscv
Sep 03 09:44:58 Finished compiler/encoders/riscv                               1m45s   1GB
Sep 03 09:44:59 Starting compiler/encoders/ag32
Sep 03 09:45:19 Finished compiler/encoders/ag32                                  19s 973MB
Sep 03 09:45:19 Starting compiler/backend/x64
Sep 03 09:45:42 Finished compiler/backend/x64                                    22s   1GB
Sep 03 09:45:42 Starting compiler/backend/arm7
Sep 03 09:46:05 Finished compiler/backend/arm7                                   23s   1GB
Sep 03 09:46:06 Starting compiler/backend/arm8
Sep 03 09:46:28 Finished compiler/backend/arm8                                   22s   1GB
Sep 03 09:46:28 Starting compiler/backend/mips
Sep 03 09:46:51 Finished compiler/backend/mips                                   22s   1GB
Sep 03 09:46:51 Starting compiler/backend/riscv
Sep 03 09:47:13 Finished compiler/backend/riscv                                  22s   1GB
Sep 03 09:47:14 Starting compiler/backend/ag32
Sep 03 09:48:26 Finished compiler/backend/ag32                                 1m12s   2GB
Sep 03 09:48:26 Starting compiler/parsing/proofs
Sep 03 09:54:09 Finished compiler/parsing/proofs                               5m42s   3GB
Sep 03 09:54:09 Starting compiler/inference/proofs
Sep 03 09:56:45 Finished compiler/inference/proofs                             2m35s   2GB
Sep 03 09:56:45 Starting compiler/backend/semantics
Sep 03 10:23:32 Finished compiler/backend/semantics                           26m47s   4GB
Sep 03 10:23:32 Starting compiler/backend/reg_alloc/proofs
Sep 03 10:26:52 Finished compiler/backend/reg_alloc/proofs                     3m19s   1GB
Sep 03 10:26:53 Starting compiler/backend/proofs
Sep 03 11:20:34 Finished compiler/backend/proofs                              53m41s  20GB
Sep 03 11:20:34 Starting compiler/encoders/x64/proofs
Sep 03 11:30:03 Finished compiler/encoders/x64/proofs                          9m27s   4GB
Sep 03 11:30:03 Starting compiler/encoders/arm7/proofs
Sep 03 11:42:56 Finished compiler/encoders/arm7/proofs                        12m52s  10GB
Sep 03 11:42:56 Starting compiler/encoders/arm8/proofs
Sep 03 11:49:19 Finished compiler/encoders/arm8/proofs                         6m22s   4GB
Sep 03 11:49:19 Starting compiler/encoders/mips/proofs
Sep 03 11:59:17 Finished compiler/encoders/mips/proofs                         9m57s   6GB
Sep 03 11:59:17 Starting compiler/encoders/riscv/proofs
Sep 03 12:07:47 Finished compiler/encoders/riscv/proofs                        8m28s   4GB
Sep 03 12:07:47 Starting compiler/encoders/ag32/proofs
Sep 03 12:10:07 Finished compiler/encoders/ag32/proofs                         2m20s   1GB
Sep 03 12:10:08 Starting compiler/backend/x64/proofs
Sep 03 12:10:31 Finished compiler/backend/x64/proofs                             23s   2GB
Sep 03 12:10:31 Starting compiler/backend/arm7/proofs
Sep 03 12:10:56 Finished compiler/backend/arm7/proofs                            24s   1GB
Sep 03 12:10:56 Starting compiler/backend/arm8/proofs
Sep 03 12:11:19 Finished compiler/backend/arm8/proofs                            22s   1GB
Sep 03 12:11:19 Starting compiler/backend/mips/proofs
Sep 03 12:11:42 Finished compiler/backend/mips/proofs                            22s   1GB
Sep 03 12:11:42 Starting compiler/backend/riscv/proofs
Sep 03 12:12:07 Finished compiler/backend/riscv/proofs                           24s   2GB
Sep 03 12:12:07 Starting compiler/backend/ag32/proofs
Sep 03 12:24:14 Finished compiler/backend/ag32/proofs                         12m07s   6GB
Sep 03 12:24:14 Starting compiler/proofs
Sep 03 12:26:17 Finished compiler/proofs                                       2m01s   6GB
Sep 03 12:26:17 Starting candle/set-theory
Sep 03 12:26:48 Finished candle/set-theory                                       31s   1GB
Sep 03 12:26:48 Starting candle/syntax-lib
Sep 03 12:27:00 Finished candle/syntax-lib                                       11s 832MB
Sep 03 12:27:00 Starting candle/standard/syntax
Sep 03 12:28:54 Finished candle/standard/syntax                                1m53s   1GB
Sep 03 12:28:54 Starting candle/standard/semantics
Sep 03 12:30:45 Finished candle/standard/semantics                             1m48s   2GB
Sep 03 12:30:45 Starting candle/standard/monadic
Sep 03 12:32:31 Finished candle/standard/monadic                               1m45s   1GB
Sep 03 12:32:31 Starting candle/standard/ml_kernel
Sep 03 12:37:59 Finished candle/standard/ml_kernel                             5m27s   6GB
Sep 03 12:37:59 Starting candle/overloading/syntax
Sep 03 12:41:13 Finished candle/overloading/syntax                             3m13s   1GB
Sep 03 12:41:13 Starting candle/overloading/semantics
Sep 03 12:53:20 Finished candle/overloading/semantics                         12m07s   8GB
Sep 03 12:53:21 Starting pancake
Sep 03 12:54:18 Finished pancake                                                 57s   1GB
Sep 03 12:54:18 Starting pancake/ffi
Sep 03 12:54:18 Finished pancake/ffi                                              0s   6MB
Sep 03 12:54:19 Starting pancake/semantics
Sep 03 12:56:32 Finished pancake/semantics                                     2m13s   2GB
Sep 03 12:56:33 Starting pancake/proofs
Sep 03 13:09:16 Finished pancake/proofs                                       12m43s   8GB
Sep 03 13:09:16 Starting characteristic/examples
Sep 03 13:10:38 Finished characteristic/examples                               1m21s   5GB
Sep 03 13:10:38 Starting tutorial/solutions
Sep 03 13:26:31 Finished tutorial/solutions                                   15m52s  13GB
Sep 03 13:26:31 Starting translator/monadic/examples
Sep 03 13:29:58 Finished translator/monadic/examples                           3m26s   3GB
Sep 03 13:29:58 Starting examples
Sep 03 13:39:24 Finished examples                                              9m25s   7GB
Sep 03 13:39:24 Starting examples/compilation/x64
Sep 03 16:05:27 Finished examples/compilation/x64                           2h26m03s  23GB
Sep 03 16:05:28 Starting examples/compilation/x64/proofs
Sep 03 16:07:29 Finished examples/compilation/x64/proofs                       2m00s   3GB
Sep 03 16:07:29 Starting examples/compilation/ag32
Sep 03 16:42:04 Finished examples/compilation/ag32                            34m35s  12GB
Sep 03 16:42:05 Starting examples/compilation/ag32/proofs
Sep 03 16:42:59 Finished examples/compilation/ag32/proofs                        53s   5GB
Sep 03 16:42:59 Starting examples/cost
Sep 03 17:38:43 Finished examples/cost                                        55m42s  14GB
Sep 03 17:38:43 Starting examples/lpr_checker
Sep 03 17:42:39 Finished examples/lpr_checker                                  3m55s   6GB
Sep 03 17:42:39 Starting examples/lpr_checker/compilation
Sep 03 18:01:51 Finished examples/lpr_checker/compilation                     19m11s  13GB
Sep 03 18:01:51 Starting examples/lpr_checker/compilation/proofs
Sep 03 18:02:37 Finished examples/lpr_checker/compilation/proofs                 45s   4GB
Sep 03 18:02:37 Starting examples/lpr_checker/array
Sep 03 18:16:32 Finished examples/lpr_checker/array                           13m54s  10GB
Sep 03 18:16:32 Starting examples/lpr_checker/array/compilation
Sep 03 18:36:30 Finished examples/lpr_checker/array/compilation               19m57s  21GB
Sep 03 18:36:30 Starting examples/lpr_checker/array/compilation/proofs
Sep 03 18:37:23 Finished examples/lpr_checker/array/compilation/proofs           52s   5GB
Sep 03 18:37:23 Starting examples/opentheory
Sep 03 18:46:57 Finished examples/opentheory                                   9m33s   5GB
Sep 03 18:46:57 Starting examples/opentheory
Sep 03 18:46:58 Finished examples/opentheory                                      0s 123MB
Sep 03 18:46:58 Starting examples/opentheory/compilation
Sep 03 19:18:19 Finished examples/opentheory/compilation                      31m20s  18GB
Sep 03 19:18:19 Starting examples/opentheory/compilation/proofs
Sep 03 19:19:06 Finished examples/opentheory/compilation/proofs                  46s   4GB
Sep 03 19:19:06 Starting examples/opentheory/compilation/ag32
Sep 03 19:53:17 Finished examples/opentheory/compilation/ag32                 34m11s  27GB
Sep 03 19:53:18 Starting examples/opentheory/compilation/ag32/proofs
Sep 03 19:54:58 Finished examples/opentheory/compilation/ag32/proofs           1m39s   8GB
Sep 03 19:54:58 Starting examples/sat_encodings
Sep 03 19:56:51 Finished examples/sat_encodings                                1m52s   1GB
Sep 03 19:56:51 Starting examples/sat_encodings/case_studies
Sep 03 19:58:27 Finished examples/sat_encodings/case_studies                   1m35s   1GB
Sep 03 19:58:27 Starting examples/sat_encodings/translation
Sep 03 20:04:08 Finished examples/sat_encodings/translation                    5m41s   6GB
Sep 03 20:04:08 Starting examples/sat_encodings/translation/compilation
Sep 03 20:50:21 Finished examples/sat_encodings/translation/compilation       46m12s  19GB
Sep 03 20:50:21 Starting translator/okasaki-examples
Sep 03 20:54:53 Finished translator/okasaki-examples                           4m31s   2GB
Sep 03 20:54:53 Starting translator/other-examples
Sep 03 20:57:01 Finished translator/other-examples                             2m07s   3GB
Sep 03 20:57:02 Starting compiler/parsing/tests
Sep 03 20:57:27 Finished compiler/parsing/tests                                  24s 663MB
Sep 03 20:57:27 Starting compiler/inference/tests
Sep 03 21:04:52 Finished compiler/inference/tests                              7m25s   6GB
Sep 03 21:04:52 Starting compiler/bootstrap/translation
Sep 03 23:36:52 Finished compiler/bootstrap/translation                     2h31m59s  51GB
Sep 03 23:36:52 Starting unverified/sexpr-bootstrap/x64/64
Sep 03 23:49:13 Finished unverified/sexpr-bootstrap/x64/64                    12m16s   8GB
Sep 03 23:49:14 Starting unverified/sexpr-bootstrap/x64/32
Sep 03 23:59:43 Finished unverified/sexpr-bootstrap/x64/32                    10m25s   8GB
Sep 03 23:59:43 Starting compiler/benchmarks
Sep 04 00:37:31 Finished compiler/benchmarks                                  37m47s   2GB
Sep 04 00:37:31 Starting compiler/bootstrap/compilation/x64/64
Sep 04 18:25:52 Finished compiler/bootstrap/compilation/x64/64             17h48m17s  64GB
Sep 04 18:25:52 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 04 18:28:07 Finished compiler/bootstrap/compilation/x64/64/proofs          2m14s  15GB
Sep 04 18:28:08 Starting compiler/bootstrap/compilation/x64/32
Sep 05 10:35:54 Finished compiler/bootstrap/compilation/x64/32             16h07m43s  64GB
Sep 05 10:35:54 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 05 10:38:11 Finished compiler/bootstrap/compilation/x64/32/proofs          2m16s  14GB
Sep 05 10:38:11 Starting compiler/bootstrap/compilation/ag32/32
Sep 06 02:58:16 Finished compiler/bootstrap/compilation/ag32/32            16h20m04s  64GB
Sep 06 02:58:16 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 06 03:07:36 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m19s  56GB
Sep 06 03:07:36 SUCCESS