Job 1323

CakeML:0b23296d34495457ed119cb1a4a27c60dd8758d0
  Get some examples to build again [Aug 06 17:28:40]
HOL:f8ad83efa9d8ea2344e5b67bc06a8970b79e8cd2
  Merge branch 'develop' of github.com:HOL-Theorem-Prover/HOL into develop [Aug 11 10:21:25]
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

Aug 14 16:06:02 Claimed job
Aug 14 16:06:11 Building HOL
Aug 14 16:20:46 Starting developers
Aug 14 16:20:51 Finished developers                                               4s  86MB
Aug 14 16:20:51 Starting developers/bin
Aug 14 16:20:58 Finished developers/bin                                           6s   1GB
Aug 14 16:20:58 Starting semantics/ffi
Aug 14 16:21:10 Finished semantics/ffi                                           11s 249MB
Aug 14 16:21:10 Starting semantics
Aug 14 16:22:46 Finished semantics                                             1m35s   1GB
Aug 14 16:22:46 Starting semantics/proofs
Aug 14 16:26:22 Finished semantics/proofs                                      3m35s 905MB
Aug 14 16:26:22 Starting semantics/alt_semantics
Aug 14 16:26:32 Finished semantics/alt_semantics                                  9s 288MB
Aug 14 16:26:32 Starting semantics/alt_semantics/proofs
Aug 14 16:28:46 Finished semantics/alt_semantics/proofs                        2m14s   1GB
Aug 14 16:28:46 Starting basis/pure
Aug 14 16:31:50 Finished basis/pure                                            3m03s 895MB
Aug 14 16:31:50 Starting translator
Aug 14 16:34:38 Finished translator                                            2m47s   1GB
Aug 14 16:34:38 Starting compiler/parsing
Aug 14 16:35:53 Finished compiler/parsing                                      1m15s   3GB
Aug 14 16:35:54 Starting characteristic
Aug 14 16:42:05 Finished characteristic                                        6m11s   2GB
Aug 14 16:42:05 Starting translator/monadic
Aug 14 16:43:48 Finished translator/monadic                                    1m42s   1GB
Aug 14 16:43:48 Starting basis
Aug 14 17:20:04 Finished basis                                                36m15s  13GB
Aug 14 17:20:04 Starting compiler/inference
Aug 14 17:21:19 Finished compiler/inference                                    1m14s   1GB
Aug 14 17:21:20 Starting compiler/backend/reg_alloc
Aug 14 17:22:26 Finished compiler/backend/reg_alloc                            1m06s   1GB
Aug 14 17:22:26 Starting compiler/backend/gc
Aug 14 17:26:13 Finished compiler/backend/gc                                   3m46s   2GB
Aug 14 17:26:13 Starting compiler/backend
Aug 14 17:30:59 Finished compiler/backend                                      4m46s   4GB
Aug 14 17:30:59 Starting compiler/encoders/asm
Aug 14 17:31:23 Finished compiler/encoders/asm                                   23s 773MB
Aug 14 17:31:23 Starting compiler/encoders/x64
Aug 14 17:32:26 Finished compiler/encoders/x64                                 1m02s 743MB
Aug 14 17:32:26 Starting compiler/encoders/arm7
Aug 14 17:34:27 Finished compiler/encoders/arm7                                2m00s   1GB
Aug 14 17:34:27 Starting compiler/encoders/arm8
Aug 14 17:35:05 Finished compiler/encoders/arm8                                  37s 675MB
Aug 14 17:35:06 Starting compiler/encoders/mips
Aug 14 17:36:29 Finished compiler/encoders/mips                                1m23s   1GB
Aug 14 17:36:29 Starting compiler/encoders/riscv
Aug 14 17:38:08 Finished compiler/encoders/riscv                               1m38s 735MB
Aug 14 17:38:08 Starting compiler/encoders/ag32
Aug 14 17:38:28 Finished compiler/encoders/ag32                                  19s 683MB
Aug 14 17:38:28 Starting compiler/backend/x64
Aug 14 17:38:47 Finished compiler/backend/x64                                    18s   1GB
Aug 14 17:38:47 Starting compiler/backend/arm7
Aug 14 17:39:08 Finished compiler/backend/arm7                                   20s   1GB
Aug 14 17:39:08 Starting compiler/backend/arm8
Aug 14 17:39:26 Finished compiler/backend/arm8                                   18s 982MB
Aug 14 17:39:26 Starting compiler/backend/mips
Aug 14 17:39:46 Finished compiler/backend/mips                                   19s   1GB
Aug 14 17:39:46 Starting compiler/backend/riscv
Aug 14 17:40:05 Finished compiler/backend/riscv                                  19s   1GB
Aug 14 17:40:05 Starting compiler/backend/ag32
Aug 14 17:41:17 Finished compiler/backend/ag32                                 1m11s   1GB
Aug 14 17:41:17 Starting compiler/parsing/proofs
Aug 14 17:47:06 Finished compiler/parsing/proofs                               5m49s   1GB
Aug 14 17:47:07 Starting compiler/inference/proofs
Aug 14 17:49:42 Finished compiler/inference/proofs                             2m34s   1GB
Aug 14 17:49:42 Starting compiler/backend/semantics
Aug 14 18:21:03 Finished compiler/backend/semantics                           31m20s   2GB
Aug 14 18:21:03 Starting compiler/backend/reg_alloc/proofs
Aug 14 18:24:48 Finished compiler/backend/reg_alloc/proofs                     3m44s 861MB
Aug 14 18:24:48 Starting compiler/backend/proofs
Aug 14 19:22:14 Finished compiler/backend/proofs                              57m25s  19GB
Aug 14 19:22:14 Starting compiler/encoders/x64/proofs
Aug 14 19:32:30 Finished compiler/encoders/x64/proofs                         10m15s   4GB
Aug 14 19:32:30 Starting compiler/encoders/arm7/proofs
Aug 14 19:46:18 Finished compiler/encoders/arm7/proofs                        13m47s   6GB
Aug 14 19:46:18 Starting compiler/encoders/arm8/proofs
Aug 14 19:53:18 Finished compiler/encoders/arm8/proofs                         6m59s   1GB
Aug 14 19:53:19 Starting compiler/encoders/mips/proofs
Aug 14 20:04:06 Finished compiler/encoders/mips/proofs                        10m47s   2GB
Aug 14 20:04:07 Starting compiler/encoders/riscv/proofs
Aug 14 20:13:25 Finished compiler/encoders/riscv/proofs                        9m18s 914MB
Aug 14 20:13:25 Starting compiler/encoders/ag32/proofs
Aug 14 20:16:10 Finished compiler/encoders/ag32/proofs                         2m44s 618MB
Aug 14 20:16:10 Starting compiler/backend/x64/proofs
Aug 14 20:16:31 Finished compiler/backend/x64/proofs                             20s   1GB
Aug 14 20:16:31 Starting compiler/backend/arm7/proofs
Aug 14 20:16:54 Finished compiler/backend/arm7/proofs                            22s   1GB
Aug 14 20:16:54 Starting compiler/backend/arm8/proofs
Aug 14 20:17:14 Finished compiler/backend/arm8/proofs                            20s   1GB
Aug 14 20:17:14 Starting compiler/backend/mips/proofs
Aug 14 20:17:35 Finished compiler/backend/mips/proofs                            20s   1GB
Aug 14 20:17:35 Starting compiler/backend/riscv/proofs
Aug 14 20:17:56 Finished compiler/backend/riscv/proofs                           21s   1GB
Aug 14 20:17:56 Starting compiler/backend/ag32/proofs
Aug 14 20:31:17 Finished compiler/backend/ag32/proofs                         13m20s   3GB
Aug 14 20:31:17 Starting compiler/proofs
Aug 14 20:33:12 Finished compiler/proofs                                       1m55s   3GB
Aug 14 20:33:12 Starting candle/set-theory
Aug 14 20:33:42 Finished candle/set-theory                                       29s 859MB
Aug 14 20:33:42 Starting candle/syntax-lib
Aug 14 20:33:53 Finished candle/syntax-lib                                       10s 441MB
Aug 14 20:33:53 Starting candle/standard/syntax
Aug 14 20:35:47 Finished candle/standard/syntax                                1m53s 870MB
Aug 14 20:35:47 Starting candle/standard/semantics
Aug 14 20:37:37 Finished candle/standard/semantics                             1m49s   1GB
Aug 14 20:37:37 Starting candle/standard/monadic
Aug 14 20:39:25 Finished candle/standard/monadic                               1m48s   1GB
Aug 14 20:39:25 Starting candle/standard/ml_kernel
Aug 14 20:45:18 Finished candle/standard/ml_kernel                             5m51s   4GB
Aug 14 20:45:18 Starting candle/overloading/syntax
Aug 14 20:48:33 Finished candle/overloading/syntax                             3m14s   1GB
Aug 14 20:48:33 Starting candle/overloading/semantics
Aug 14 20:55:49 Finished candle/overloading/semantics                          7m16s   3GB
Aug 14 20:55:50 Starting characteristic/examples
Aug 14 20:57:08 Finished characteristic/examples                               1m18s   1GB
Aug 14 20:57:08 Starting tutorial/solutions
Aug 14 21:11:55 Finished tutorial/solutions                                   14m46s   8GB
Aug 14 21:11:56 Starting translator/monadic/examples
Aug 14 21:15:12 Finished translator/monadic/examples                           3m16s   2GB
Aug 14 21:15:12 Starting examples
Aug 14 21:23:56 Finished examples                                              8m44s   4GB
Aug 14 21:23:57 Starting examples/compilation/x64
Aug 14 23:41:51 Finished examples/compilation/x64                           2h17m54s  18GB
Aug 14 23:41:52 Starting examples/compilation/x64/proofs
Aug 14 23:43:27 Finished examples/compilation/x64/proofs                       1m34s   2GB
Aug 14 23:43:27 Starting examples/compilation/ag32
Aug 15 00:15:12 Finished examples/compilation/ag32                            31m45s   6GB
Aug 15 00:15:13 Starting examples/compilation/ag32/proofs
Aug 15 00:15:55 Finished examples/compilation/ag32/proofs                        42s   2GB
Aug 15 00:15:56 Starting examples/cost
Aug 15 01:04:35 Finished examples/cost                                        48m39s   6GB
Aug 15 01:04:36 Starting examples/lpr_checker
Aug 15 01:08:39 Finished examples/lpr_checker                                  4m03s   2GB
Aug 15 01:08:39 Starting examples/lpr_checker/compilation
Aug 15 01:25:53 Finished examples/lpr_checker/compilation                     17m13s  10GB
Aug 15 01:25:53 Starting examples/lpr_checker/compilation/proofs
Aug 15 01:26:31 Finished examples/lpr_checker/compilation/proofs                 37s   2GB
Aug 15 01:26:31 Starting examples/lpr_checker/array
Aug 15 01:40:23 Finished examples/lpr_checker/array                           13m51s   3GB
Aug 15 01:40:23 Starting examples/lpr_checker/array/compilation
Aug 15 01:58:52 Finished examples/lpr_checker/array/compilation               18m28s  11GB
Aug 15 01:58:52 Starting examples/lpr_checker/array/compilation/proofs
Aug 15 01:59:42 Finished examples/lpr_checker/array/compilation/proofs           50s   3GB
Aug 15 01:59:43 Starting examples/opentheory
Aug 15 02:09:35 Finished examples/opentheory                                   9m52s   4GB
Aug 15 02:09:36 Starting examples/opentheory
Aug 15 02:09:37 Finished examples/opentheory                                      1s  24MB
Aug 15 02:09:37 Starting examples/opentheory/compilation
Aug 15 02:42:55 Finished examples/opentheory/compilation                      33m17s  17GB
Aug 15 02:42:55 Starting examples/opentheory/compilation/proofs
Aug 15 02:43:36 Finished examples/opentheory/compilation/proofs                  40s   3GB
Aug 15 02:43:36 Starting examples/opentheory/compilation/ag32
Aug 15 03:17:29 Finished examples/opentheory/compilation/ag32                 33m52s  19GB
Aug 15 03:17:29 Starting examples/opentheory/compilation/ag32/proofs
Aug 15 03:19:04 Finished examples/opentheory/compilation/ag32/proofs           1m34s   5GB
Aug 15 03:19:04 Starting translator/okasaki-examples
Aug 15 03:23:33 Finished translator/okasaki-examples                           4m28s   1GB
Aug 15 03:23:33 Starting translator/other-examples
Aug 15 03:25:41 Finished translator/other-examples                             2m07s   1GB
Aug 15 03:25:41 Starting compiler/parsing/tests
Aug 15 03:26:07 Finished compiler/parsing/tests                                  26s 594MB
Aug 15 03:26:08 Starting compiler/inference/tests
Aug 15 03:30:45 Finished compiler/inference/tests                              4m37s   2GB
Aug 15 03:30:45 Starting compiler/bootstrap/translation
Aug 15 06:21:12 Finished compiler/bootstrap/translation                     2h50m26s  43GB
Aug 15 06:21:12 Starting unverified/sexpr-bootstrap/x64/64
Aug 15 06:30:41 Finished unverified/sexpr-bootstrap/x64/64                     9m26s   8GB
Aug 15 06:30:41 Starting unverified/sexpr-bootstrap/x64/32
Aug 15 06:38:03 Finished unverified/sexpr-bootstrap/x64/32                     7m21s   9GB
Aug 15 06:38:03 Starting compiler/benchmarks
Aug 15 06:38:08 Finished compiler/benchmarks                                      4s  24MB
Aug 15 06:38:08 Starting compiler/bootstrap/compilation/x64/64
Aug 15 21:19:50 Finished compiler/bootstrap/compilation/x64/64             14h41m40s  64GB
Aug 15 21:19:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 15 21:23:14 Finished compiler/bootstrap/compilation/x64/64/proofs          3m23s  14GB
Aug 15 21:23:14 Starting compiler/bootstrap/compilation/x64/32
Aug 16 10:39:42 Finished compiler/bootstrap/compilation/x64/32             13h16m26s  64GB
Aug 16 10:39:42 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 16 10:42:48 Finished compiler/bootstrap/compilation/x64/32/proofs          3m05s  13GB
Aug 16 10:42:48 Starting compiler/bootstrap/compilation/ag32/32
Aug 17 01:56:03 Finished compiler/bootstrap/compilation/ag32/32            15h13m14s  64GB
Aug 17 01:56:03 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 17 02:11:51 Finished compiler/bootstrap/compilation/ag32/32/proofs        15m48s  27GB
Aug 17 02:11:52 SUCCESS