Job 1321

CakeML:0b23296d34495457ed119cb1a4a27c60dd8758d0
  Get some examples to build again [Aug 06 17:28:40]
HOL:a084f49e1bf9a108a354cd01a025118182b72fd5
  emacs-mode: Fix error in detection of end of open declarations [Aug 04 04:40:14]
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 06 17:40:02 Claimed job
Aug 06 17:40:04 Reusing HOL
Aug 06 17:40:51 Starting developers
Aug 06 17:40:56 Finished developers                                               4s 133MB
Aug 06 17:40:56 Starting developers/bin
Aug 06 17:41:03 Finished developers/bin                                           7s   1GB
Aug 06 17:41:04 Starting semantics/ffi
Aug 06 17:41:16 Finished semantics/ffi                                           12s 230MB
Aug 06 17:41:16 Starting semantics
Aug 06 17:42:52 Finished semantics                                             1m35s   1GB
Aug 06 17:42:52 Starting semantics/proofs
Aug 06 17:46:39 Finished semantics/proofs                                      3m46s   1GB
Aug 06 17:46:39 Starting semantics/alt_semantics
Aug 06 17:46:49 Finished semantics/alt_semantics                                  9s 275MB
Aug 06 17:46:49 Starting semantics/alt_semantics/proofs
Aug 06 17:49:14 Finished semantics/alt_semantics/proofs                        2m24s 842MB
Aug 06 17:49:14 Starting basis/pure
Aug 06 17:50:09 Finished basis/pure                                              54s 662MB
Aug 06 17:50:09 Starting translator
Aug 06 17:53:11 Finished translator                                            3m01s   1GB
Aug 06 17:53:11 Starting compiler/parsing
Aug 06 17:54:38 Finished compiler/parsing                                      1m26s   3GB
Aug 06 17:54:38 Starting characteristic
Aug 06 18:01:15 Finished characteristic                                        6m36s   1GB
Aug 06 18:01:15 Starting translator/monadic
Aug 06 18:03:03 Finished translator/monadic                                    1m47s   1GB
Aug 06 18:03:03 Starting basis
Aug 06 18:42:29 Finished basis                                                39m25s  13GB
Aug 06 18:42:29 Starting compiler/inference
Aug 06 18:43:42 Finished compiler/inference                                    1m12s 844MB
Aug 06 18:43:42 Starting compiler/backend/reg_alloc
Aug 06 18:44:54 Finished compiler/backend/reg_alloc                            1m12s   1GB
Aug 06 18:44:54 Starting compiler/backend/gc
Aug 06 18:48:50 Finished compiler/backend/gc                                   3m56s   2GB
Aug 06 18:48:51 Starting compiler/backend
Aug 06 18:54:25 Finished compiler/backend                                      5m34s   3GB
Aug 06 18:54:25 Starting compiler/encoders/asm
Aug 06 18:54:50 Finished compiler/encoders/asm                                   24s 742MB
Aug 06 18:54:50 Starting compiler/encoders/x64
Aug 06 18:55:18 Finished compiler/encoders/x64                                   28s 974MB
Aug 06 18:55:19 Starting compiler/encoders/arm7
Aug 06 18:56:13 Finished compiler/encoders/arm7                                  54s 681MB
Aug 06 18:56:13 Starting compiler/encoders/arm8
Aug 06 18:56:27 Finished compiler/encoders/arm8                                  13s 721MB
Aug 06 18:56:27 Starting compiler/encoders/mips
Aug 06 18:56:48 Finished compiler/encoders/mips                                  20s 978MB
Aug 06 18:56:48 Starting compiler/encoders/riscv
Aug 06 18:57:06 Finished compiler/encoders/riscv                                 17s 729MB
Aug 06 18:57:06 Starting compiler/encoders/ag32
Aug 06 18:57:26 Finished compiler/encoders/ag32                                  20s 792MB
Aug 06 18:57:26 Starting compiler/backend/x64
Aug 06 18:57:46 Finished compiler/backend/x64                                    19s 961MB
Aug 06 18:57:46 Starting compiler/backend/arm7
Aug 06 18:58:08 Finished compiler/backend/arm7                                   22s   1GB
Aug 06 18:58:09 Starting compiler/backend/arm8
Aug 06 18:58:30 Finished compiler/backend/arm8                                   20s   1GB
Aug 06 18:58:30 Starting compiler/backend/mips
Aug 06 18:58:51 Finished compiler/backend/mips                                   21s   1GB
Aug 06 18:58:51 Starting compiler/backend/riscv
Aug 06 18:59:13 Finished compiler/backend/riscv                                  21s   1GB
Aug 06 18:59:13 Starting compiler/backend/ag32
Aug 06 19:00:32 Finished compiler/backend/ag32                                 1m18s   1GB
Aug 06 19:00:32 Starting compiler/parsing/proofs
Aug 06 19:06:46 Finished compiler/parsing/proofs                               6m13s   1GB
Aug 06 19:06:47 Starting compiler/inference/proofs
Aug 06 19:09:32 Finished compiler/inference/proofs                             2m45s   1GB
Aug 06 19:09:32 Starting compiler/backend/semantics
Aug 06 19:44:34 Finished compiler/backend/semantics                           35m01s   2GB
Aug 06 19:44:34 Starting compiler/backend/reg_alloc/proofs
Aug 06 19:48:31 Finished compiler/backend/reg_alloc/proofs                     3m56s 927MB
Aug 06 19:48:31 Starting compiler/backend/proofs
Aug 06 20:55:23 Finished compiler/backend/proofs                            1h06m51s  10GB
Aug 06 20:55:23 Starting compiler/encoders/x64/proofs
Aug 06 21:07:20 Finished compiler/encoders/x64/proofs                         11m56s   1GB
Aug 06 21:07:21 Starting compiler/encoders/arm7/proofs
Aug 06 21:22:05 Finished compiler/encoders/arm7/proofs                        14m44s   7GB
Aug 06 21:22:05 Starting compiler/encoders/arm8/proofs
Aug 06 21:29:40 Finished compiler/encoders/arm8/proofs                         7m34s   1GB
Aug 06 21:29:40 Starting compiler/encoders/mips/proofs
Aug 06 21:40:54 Finished compiler/encoders/mips/proofs                        11m13s   3GB
Aug 06 21:40:54 Starting compiler/encoders/riscv/proofs
Aug 06 21:50:22 Finished compiler/encoders/riscv/proofs                        9m27s   1GB
Aug 06 21:50:22 Starting compiler/encoders/ag32/proofs
Aug 06 21:53:17 Finished compiler/encoders/ag32/proofs                         2m54s 627MB
Aug 06 21:53:17 Starting compiler/backend/x64/proofs
Aug 06 21:53:40 Finished compiler/backend/x64/proofs                             22s   1GB
Aug 06 21:53:40 Starting compiler/backend/arm7/proofs
Aug 06 21:54:04 Finished compiler/backend/arm7/proofs                            23s   1GB
Aug 06 21:54:04 Starting compiler/backend/arm8/proofs
Aug 06 21:54:24 Finished compiler/backend/arm8/proofs                            20s   1GB
Aug 06 21:54:25 Starting compiler/backend/mips/proofs
Aug 06 21:54:46 Finished compiler/backend/mips/proofs                            20s   1GB
Aug 06 21:54:46 Starting compiler/backend/riscv/proofs
Aug 06 21:55:08 Finished compiler/backend/riscv/proofs                           22s   1GB
Aug 06 21:55:08 Starting compiler/backend/ag32/proofs
Aug 06 22:09:49 Finished compiler/backend/ag32/proofs                         14m40s   2GB
Aug 06 22:09:49 Starting compiler/proofs
Aug 06 22:11:28 Finished compiler/proofs                                       1m39s   3GB
Aug 06 22:11:28 Starting candle/set-theory
Aug 06 22:12:01 Finished candle/set-theory                                       32s 743MB
Aug 06 22:12:01 Starting candle/syntax-lib
Aug 06 22:12:13 Finished candle/syntax-lib                                       11s 652MB
Aug 06 22:12:13 Starting candle/standard/syntax
Aug 06 22:14:14 Finished candle/standard/syntax                                2m00s   1GB
Aug 06 22:14:14 Starting candle/standard/semantics
Aug 06 22:16:12 Finished candle/standard/semantics                             1m57s   1GB
Aug 06 22:16:12 Starting candle/standard/monadic
Aug 06 22:18:10 Finished candle/standard/monadic                               1m58s   1GB
Aug 06 22:18:11 Starting candle/standard/ml_kernel
Aug 06 22:24:20 Finished candle/standard/ml_kernel                             6m09s   4GB
Aug 06 22:24:21 Starting candle/overloading/syntax
Aug 06 22:27:47 Finished candle/overloading/syntax                             3m26s   1GB
Aug 06 22:27:47 Starting candle/overloading/semantics
Aug 06 22:35:37 Finished candle/overloading/semantics                          7m49s   3GB
Aug 06 22:35:37 Starting characteristic/examples
Aug 06 22:37:01 Finished characteristic/examples                               1m23s   2GB
Aug 06 22:37:01 Starting tutorial/solutions
Aug 06 22:52:38 Finished tutorial/solutions                                   15m37s   8GB
Aug 06 22:52:38 Starting translator/monadic/examples
Aug 06 22:56:27 Finished translator/monadic/examples                           3m48s   2GB
Aug 06 22:56:27 Starting examples
Aug 06 23:07:24 Finished examples                                             10m56s   6GB
Aug 06 23:07:24 Starting examples/compilation/x64
Aug 07 01:37:34 Finished examples/compilation/x64                           2h30m09s  11GB
Aug 07 01:37:34 Starting examples/compilation/x64/proofs
Aug 07 01:39:26 Finished examples/compilation/x64/proofs                       1m52s   2GB
Aug 07 01:39:26 Starting examples/compilation/ag32
Aug 07 02:12:55 Finished examples/compilation/ag32                            33m28s   6GB
Aug 07 02:12:55 Starting examples/compilation/ag32/proofs
Aug 07 02:13:44 Finished examples/compilation/ag32/proofs                        48s   2GB
Aug 07 02:13:44 Starting examples/cost
Aug 07 03:10:10 Finished examples/cost                                        56m25s   6GB
Aug 07 03:10:10 Starting examples/lpr_checker
Aug 07 03:14:28 Finished examples/lpr_checker                                  4m17s   2GB
Aug 07 03:14:28 Starting examples/lpr_checker/compilation
Aug 07 03:33:33 Finished examples/lpr_checker/compilation                     19m05s   6GB
Aug 07 03:33:33 Starting examples/lpr_checker/compilation/proofs
Aug 07 03:34:48 Finished examples/lpr_checker/compilation/proofs               1m14s   1GB
Aug 07 03:34:48 Starting examples/lpr_checker/array
Aug 07 03:49:29 Finished examples/lpr_checker/array                           14m41s   3GB
Aug 07 03:49:29 Starting examples/lpr_checker/array/compilation
Aug 07 04:09:44 Finished examples/lpr_checker/array/compilation               20m13s  10GB
Aug 07 04:09:44 Starting examples/lpr_checker/array/compilation/proofs
Aug 07 04:11:11 Finished examples/lpr_checker/array/compilation/proofs         1m26s   1GB
Aug 07 04:11:11 Starting examples/opentheory
Aug 07 04:21:46 Finished examples/opentheory                                  10m34s   5GB
Aug 07 04:21:46 Starting examples/opentheory
Aug 07 04:21:47 Finished examples/opentheory                                      1s  18MB
Aug 07 04:21:47 Starting examples/opentheory/compilation
Aug 07 04:59:10 Finished examples/opentheory/compilation                      37m22s  12GB
Aug 07 04:59:10 Starting examples/opentheory/compilation/proofs
Aug 07 05:00:05 Finished examples/opentheory/compilation/proofs                  55s   2GB
Aug 07 05:00:05 Starting examples/opentheory/compilation/ag32
Aug 07 05:36:53 Finished examples/opentheory/compilation/ag32                 36m46s  17GB
Aug 07 05:36:53 Starting examples/opentheory/compilation/ag32/proofs
Aug 07 05:38:58 Finished examples/opentheory/compilation/ag32/proofs           2m04s   2GB
Aug 07 05:38:58 Starting translator/okasaki-examples
Aug 07 05:43:52 Finished translator/okasaki-examples                           4m53s   1GB
Aug 07 05:43:52 Starting translator/other-examples
Aug 07 05:46:23 Finished translator/other-examples                             2m31s   1GB
Aug 07 05:46:24 Starting compiler/parsing/tests
Aug 07 05:46:52 Finished compiler/parsing/tests                                  28s 647MB
Aug 07 05:46:52 Starting compiler/inference/tests
Aug 07 05:51:53 Finished compiler/inference/tests                              5m00s   4GB
Aug 07 05:51:53 Starting compiler/bootstrap/translation
Aug 07 09:08:49 Finished compiler/bootstrap/translation                     3h16m55s  12GB
Aug 07 09:08:49 Starting unverified/sexpr-bootstrap/x64/64
Aug 07 09:18:42 Finished unverified/sexpr-bootstrap/x64/64                     9m52s   8GB
Aug 07 09:18:42 Starting unverified/sexpr-bootstrap/x64/32
Aug 07 09:26:28 Finished unverified/sexpr-bootstrap/x64/32                     7m44s   8GB
Aug 07 09:26:28 Starting compiler/benchmarks
Aug 07 09:26:31 Finished compiler/benchmarks                                      2s  32MB
Aug 07 09:26:31 Starting compiler/bootstrap/compilation/x64/64
Aug 08 16:54:14 Finished compiler/bootstrap/compilation/x64/64             31h27m41s  28GB
Aug 08 16:54:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 08 16:57:55 Finished compiler/bootstrap/compilation/x64/64/proofs          3m40s  13GB
Aug 08 16:57:55 Starting compiler/bootstrap/compilation/x64/32
Aug 09 12:34:02 Finished compiler/bootstrap/compilation/x64/32             19h36m05s  27GB
Aug 09 12:34:02 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 09 12:37:25 Finished compiler/bootstrap/compilation/x64/32/proofs          3m22s  12GB
Aug 09 12:37:25 Starting compiler/bootstrap/compilation/ag32/32
Aug 10 22:06:20 FAILED: compiler/bootstrap/compilation/ag32/32
Scanning $(HOLDIR)/examples/formal-languages
Scanning $(HOLDIR)/examples/formal-languages/context-free
Scanning $(HOLDIR)/examples/formal-languages/regular
Scanning $(HOLDIR)/examples/fun-op-sem/lprefix_lub
Scanning $(HOLDIR)/examples/machine-code/hoare-triple
Scanning $(CAKEMLDIR)/developers
Scanning $(CAKEMLDIR)/misc/lem_lib_stub
Scanning $(CAKEMLDIR)/misc
Scanning $(CAKEMLDIR)/basis/pure
Scanning $(CAKEMLDIR)/semantics/ffi
Scanning $(CAKEMLDIR)/semantics
Scanning $(CAKEMLDIR)/compiler/parsing
Scanning $(CAKEMLDIR)/semantics/proofs
Scanning $(CAKEMLDIR)/translator
Scanning $(CAKEMLDIR)/characteristic
Scanning $(CAKEMLDIR)/translator/monadic/monad_base
Scanning $(CAKEMLDIR)/translator/monadic
Scanning $(CAKEMLDIR)/basis
Scanning $(HOLDIR)/examples/machine-code/multiword
Scanning $(CAKEMLDIR)/compiler/backend/pattern_matching
Scanning $(CAKEMLDIR)/compiler/backend/reachability
Scanning $(CAKEMLDIR)/unverified/reg_alloc
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc
Scanning $(HOLDIR)/examples/l3-machine-code/common
Scanning $(CAKEMLDIR)/compiler/encoders/asm
Scanning $(CAKEMLDIR)/compiler/backend
Scanning $(CAKEMLDIR)/compiler/encoders/ag32
Scanning $(CAKEMLDIR)/compiler/backend/ag32
Scanning $(HOLDIR)/examples/l3-machine-code/lib
Scanning $(HOLDIR)/examples/l3-machine-code/arm/model
Scanning $(HOLDIR)/examples/machine-code/decompiler
Scanning $(HOLDIR)/examples/l3-machine-code
Scanning $(HOLDIR)/examples/l3-machine-code/arm/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm7
Scanning $(CAKEMLDIR)/compiler/backend/arm7
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/model
Scanning $(HOLDIR)/examples/l3-machine-code/arm8/step
Scanning $(CAKEMLDIR)/compiler/encoders/arm8
Scanning $(CAKEMLDIR)/compiler/backend/arm8
Scanning $(HOLDIR)/examples/l3-machine-code/mips/model
Scanning $(HOLDIR)/examples/l3-machine-code/mips/step
Scanning $(CAKEMLDIR)/compiler/encoders/mips
Scanning $(CAKEMLDIR)/compiler/backend/mips
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/model
Scanning $(HOLDIR)/examples/l3-machine-code/riscv/step
Scanning $(CAKEMLDIR)/compiler/encoders/riscv
Scanning $(CAKEMLDIR)/compiler/backend/riscv
Scanning $(HOLDIR)/examples/l3-machine-code/x64/model
Scanning $(HOLDIR)/examples/l3-machine-code/x64/step
Scanning $(CAKEMLDIR)/compiler/encoders/x64
Scanning $(CAKEMLDIR)/compiler/backend/x64
Scanning $(HOLDIR)/examples/unification/triangular
Scanning $(HOLDIR)/examples/unification/triangular/first-order
Scanning $(CAKEMLDIR)/compiler/inference
Scanning $(CAKEMLDIR)/compiler
Scanning $(CAKEMLDIR)/compiler/backend/reg_alloc/proofs
Scanning $(CAKEMLDIR)/compiler/encoders/monadic_enc
Scanning $(CAKEMLDIR)/compiler/inference/proofs
Scanning $(CAKEMLDIR)/compiler/bootstrap/translation
Starting work on README.md
Starting work on to_dataBootstrapTheory
README.md                                       real:    0s  user:    0s     OK
to_dataBootstrapTheory                          real: 4199s  user: 3772s     OK
Starting work on to_lab_ag32BootstrapTheory
to_lab_ag32BootstrapTheory                      real:  763m  user: 1341m     OK
Starting work on ag32BootstrapTheory
Run out of store - interrupting threads
Holmake: Exception: Interrupt