Job 1325

CakeML:0b23296d34495457ed119cb1a4a27c60dd8758d0
  Get some examples to build again [Aug 06 17:28:40]
HOL:17c6d2d1d9a97de9ba9f79b63070fef65423b6cd
  emacs-mode: handle (HOL level) quantifiers better [Aug 17 07:48:18]
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

Aug 18 08:26:26 Claimed job
Aug 18 08:26:38 Building HOL
Aug 18 08:38:57 Starting developers
Aug 18 08:38:57 Finished developers                                               0s  33MB
Aug 18 08:38:58 Starting developers/bin
Aug 18 08:39:04 Finished developers/bin                                           5s   1GB
Aug 18 08:39:04 Starting semantics/ffi
Aug 18 08:39:14 Finished semantics/ffi                                           10s 309MB
Aug 18 08:39:14 Starting semantics
Aug 18 08:40:49 Finished semantics                                             1m34s   2GB
Aug 18 08:40:49 Starting semantics/proofs
Aug 18 08:44:07 Finished semantics/proofs                                      3m17s   1GB
Aug 18 08:44:07 Starting semantics/alt_semantics
Aug 18 08:44:16 Finished semantics/alt_semantics                                  8s 391MB
Aug 18 08:44:16 Starting semantics/alt_semantics/proofs
Aug 18 08:46:16 Finished semantics/alt_semantics/proofs                        1m59s   2GB
Aug 18 08:46:16 Starting basis/pure
Aug 18 08:48:58 Finished basis/pure                                            2m41s   1GB
Aug 18 08:48:58 Starting translator
Aug 18 08:51:34 Finished translator                                            2m35s   1GB
Aug 18 08:51:34 Starting compiler/parsing
Aug 18 08:52:43 Finished compiler/parsing                                      1m08s   2GB
Aug 18 08:52:43 Starting characteristic
Aug 18 08:58:30 Finished characteristic                                        5m47s   3GB
Aug 18 08:58:30 Starting translator/monadic
Aug 18 09:00:05 Finished translator/monadic                                    1m34s   1GB
Aug 18 09:00:05 Starting basis
Aug 18 09:32:21 Finished basis                                                32m15s  26GB
Aug 18 09:32:21 Starting compiler/inference
Aug 18 09:33:29 Finished compiler/inference                                    1m07s   2GB
Aug 18 09:33:29 Starting compiler/backend/reg_alloc
Aug 18 09:34:35 Finished compiler/backend/reg_alloc                            1m05s   2GB
Aug 18 09:34:36 Starting compiler/backend/gc
Aug 18 09:38:06 Finished compiler/backend/gc                                   3m29s   3GB
Aug 18 09:38:06 Starting compiler/backend
Aug 18 09:42:55 Finished compiler/backend                                      4m48s   5GB
Aug 18 09:42:55 Starting compiler/encoders/asm
Aug 18 09:43:17 Finished compiler/encoders/asm                                   22s   1GB
Aug 18 09:43:17 Starting compiler/encoders/x64
Aug 18 09:44:18 Finished compiler/encoders/x64                                 1m00s   1GB
Aug 18 09:44:18 Starting compiler/encoders/arm7
Aug 18 09:46:05 Finished compiler/encoders/arm7                                1m46s   1GB
Aug 18 09:46:05 Starting compiler/encoders/arm8
Aug 18 09:46:42 Finished compiler/encoders/arm8                                  36s   1GB
Aug 18 09:46:42 Starting compiler/encoders/mips
Aug 18 09:47:55 Finished compiler/encoders/mips                                1m12s   1GB
Aug 18 09:47:56 Starting compiler/encoders/riscv
Aug 18 09:49:23 Finished compiler/encoders/riscv                               1m27s   1GB
Aug 18 09:49:24 Starting compiler/encoders/ag32
Aug 18 09:49:43 Finished compiler/encoders/ag32                                  18s 960MB
Aug 18 09:49:43 Starting compiler/backend/x64
Aug 18 09:50:02 Finished compiler/backend/x64                                    18s   1GB
Aug 18 09:50:02 Starting compiler/backend/arm7
Aug 18 09:50:22 Finished compiler/backend/arm7                                   20s   1GB
Aug 18 09:50:22 Starting compiler/backend/arm8
Aug 18 09:50:42 Finished compiler/backend/arm8                                   19s   1GB
Aug 18 09:50:42 Starting compiler/backend/mips
Aug 18 09:51:02 Finished compiler/backend/mips                                   19s   1GB
Aug 18 09:51:02 Starting compiler/backend/riscv
Aug 18 09:51:22 Finished compiler/backend/riscv                                  19s   1GB
Aug 18 09:51:22 Starting compiler/backend/ag32
Aug 18 09:52:34 Finished compiler/backend/ag32                                 1m11s   2GB
Aug 18 09:52:34 Starting compiler/parsing/proofs
Aug 18 09:54:43 Finished compiler/parsing/proofs                               2m09s   1GB
Aug 18 09:54:43 Starting compiler/inference/proofs
Aug 18 09:57:02 Finished compiler/inference/proofs                             2m18s   1GB
Aug 18 09:57:02 Starting compiler/backend/semantics
Aug 18 10:23:04 Finished compiler/backend/semantics                           26m01s   4GB
Aug 18 10:23:04 Starting compiler/backend/reg_alloc/proofs
Aug 18 10:26:20 Finished compiler/backend/reg_alloc/proofs                     3m16s   1GB
Aug 18 10:26:20 Starting compiler/backend/proofs
Aug 18 11:17:13 Finished compiler/backend/proofs                              50m52s  29GB
Aug 18 11:17:13 Starting compiler/encoders/x64/proofs
Aug 18 11:26:35 Finished compiler/encoders/x64/proofs                          9m21s   6GB
Aug 18 11:26:35 Starting compiler/encoders/arm7/proofs
Aug 18 11:38:56 Finished compiler/encoders/arm7/proofs                        12m21s   7GB
Aug 18 11:38:57 Starting compiler/encoders/arm8/proofs
Aug 18 11:45:13 Finished compiler/encoders/arm8/proofs                         6m16s   3GB
Aug 18 11:45:13 Starting compiler/encoders/mips/proofs
Aug 18 11:54:54 Finished compiler/encoders/mips/proofs                         9m40s   5GB
Aug 18 11:54:54 Starting compiler/encoders/riscv/proofs
Aug 18 12:02:40 Finished compiler/encoders/riscv/proofs                        7m45s   4GB
Aug 18 12:02:40 Starting compiler/encoders/ag32/proofs
Aug 18 12:05:01 Finished compiler/encoders/ag32/proofs                         2m20s   1GB
Aug 18 12:05:01 Starting compiler/backend/x64/proofs
Aug 18 12:05:21 Finished compiler/backend/x64/proofs                             20s   1GB
Aug 18 12:05:22 Starting compiler/backend/arm7/proofs
Aug 18 12:05:43 Finished compiler/backend/arm7/proofs                            20s   1GB
Aug 18 12:05:43 Starting compiler/backend/arm8/proofs
Aug 18 12:06:02 Finished compiler/backend/arm8/proofs                            19s   1GB
Aug 18 12:06:02 Starting compiler/backend/mips/proofs
Aug 18 12:06:23 Finished compiler/backend/mips/proofs                            19s   1GB
Aug 18 12:06:23 Starting compiler/backend/riscv/proofs
Aug 18 12:06:43 Finished compiler/backend/riscv/proofs                           19s   1GB
Aug 18 12:06:43 Starting compiler/backend/ag32/proofs
Aug 18 12:18:25 Finished compiler/backend/ag32/proofs                         11m42s   4GB
Aug 18 12:18:25 Starting compiler/proofs
Aug 18 12:20:16 Finished compiler/proofs                                       1m50s   5GB
Aug 18 12:20:16 Starting candle/set-theory
Aug 18 12:20:47 Finished candle/set-theory                                       30s   1GB
Aug 18 12:20:47 Starting candle/syntax-lib
Aug 18 12:20:58 Finished candle/syntax-lib                                       11s 825MB
Aug 18 12:20:58 Starting candle/standard/syntax
Aug 18 12:22:50 Finished candle/standard/syntax                                1m51s   1GB
Aug 18 12:22:50 Starting candle/standard/semantics
Aug 18 12:24:34 Finished candle/standard/semantics                             1m43s   2GB
Aug 18 12:24:34 Starting candle/standard/monadic
Aug 18 12:26:16 Finished candle/standard/monadic                               1m42s   2GB
Aug 18 12:26:17 Starting candle/standard/ml_kernel
Aug 18 12:31:18 Finished candle/standard/ml_kernel                             5m01s   6GB
Aug 18 12:31:19 Starting candle/overloading/syntax
Aug 18 12:34:23 Finished candle/overloading/syntax                             3m04s   2GB
Aug 18 12:34:23 Starting candle/overloading/semantics
Aug 18 12:40:50 Finished candle/overloading/semantics                          6m26s   2GB
Aug 18 12:40:50 Starting characteristic/examples
Aug 18 12:42:02 Finished characteristic/examples                               1m12s   4GB
Aug 18 12:42:03 Starting tutorial/solutions
Aug 18 12:56:18 Finished tutorial/solutions                                   14m15s  12GB
Aug 18 12:56:18 Starting translator/monadic/examples
Aug 18 12:59:36 Finished translator/monadic/examples                           3m18s   3GB
Aug 18 12:59:36 Starting examples
Aug 18 13:08:01 Finished examples                                              8m24s   6GB
Aug 18 13:08:01 Starting examples/compilation/x64
Aug 18 15:19:50 Finished examples/compilation/x64                           2h11m48s  21GB
Aug 18 15:19:50 Starting examples/compilation/x64/proofs
Aug 18 15:21:37 Finished examples/compilation/x64/proofs                       1m47s   3GB
Aug 18 15:21:37 Starting examples/compilation/ag32
Aug 18 15:52:19 Finished examples/compilation/ag32                            30m41s   8GB
Aug 18 15:52:19 Starting examples/compilation/ag32/proofs
Aug 18 15:53:07 Finished examples/compilation/ag32/proofs                        47s   4GB
Aug 18 15:53:07 Starting examples/cost
Aug 18 16:38:20 Finished examples/cost                                        45m13s  14GB
Aug 18 16:38:21 Starting examples/lpr_checker
Aug 18 16:41:58 Finished examples/lpr_checker                                  3m37s   3GB
Aug 18 16:41:58 Starting examples/lpr_checker/compilation
Aug 18 16:59:01 Finished examples/lpr_checker/compilation                     17m02s  16GB
Aug 18 16:59:01 Starting examples/lpr_checker/compilation/proofs
Aug 18 16:59:42 Finished examples/lpr_checker/compilation/proofs                 40s   3GB
Aug 18 16:59:42 Starting examples/lpr_checker/array
Aug 18 17:11:55 Finished examples/lpr_checker/array                           12m13s   4GB
Aug 18 17:11:56 Starting examples/lpr_checker/array/compilation
Aug 18 17:30:14 Finished examples/lpr_checker/array/compilation               18m18s  22GB
Aug 18 17:30:14 Starting examples/lpr_checker/array/compilation/proofs
Aug 18 17:31:04 Finished examples/lpr_checker/array/compilation/proofs           49s   5GB
Aug 18 17:31:04 Starting examples/opentheory
Aug 18 17:39:59 Finished examples/opentheory                                   8m54s   6GB
Aug 18 17:39:59 Starting examples/opentheory
Aug 18 17:40:00 Finished examples/opentheory                                      0s  98MB
Aug 18 17:40:00 Starting examples/opentheory/compilation
Aug 18 18:09:43 Finished examples/opentheory/compilation                      29m43s  24GB
Aug 18 18:09:43 Starting examples/opentheory/compilation/proofs
Aug 18 18:10:23 Finished examples/opentheory/compilation/proofs                  39s   3GB
Aug 18 18:10:24 Starting examples/opentheory/compilation/ag32
Aug 18 18:42:12 Finished examples/opentheory/compilation/ag32                 31m48s  20GB
Aug 18 18:42:12 Starting examples/opentheory/compilation/ag32/proofs
Aug 18 18:43:37 Finished examples/opentheory/compilation/ag32/proofs           1m25s   6GB
Aug 18 18:43:38 Starting translator/okasaki-examples
Aug 18 18:47:42 Finished translator/okasaki-examples                           4m04s   2GB
Aug 18 18:47:42 Starting translator/other-examples
Aug 18 18:49:41 Finished translator/other-examples                             1m58s   2GB
Aug 18 18:49:41 Starting compiler/parsing/tests
Aug 18 18:50:05 Finished compiler/parsing/tests                                  24s 624MB
Aug 18 18:50:05 Starting compiler/inference/tests
Aug 18 18:54:19 Finished compiler/inference/tests                              4m13s   4GB
Aug 18 18:54:19 Starting compiler/bootstrap/translation
Aug 18 21:29:32 Finished compiler/bootstrap/translation                     2h35m12s  51GB
Aug 18 21:29:32 Starting unverified/sexpr-bootstrap/x64/64
Aug 18 21:39:27 Finished unverified/sexpr-bootstrap/x64/64                     9m53s   8GB
Aug 18 21:39:27 Starting unverified/sexpr-bootstrap/x64/32
Aug 18 21:47:14 Finished unverified/sexpr-bootstrap/x64/32                     7m46s   8GB
Aug 18 21:47:14 Starting compiler/benchmarks
Aug 18 22:25:09 Finished compiler/benchmarks                                  37m54s   2GB
Aug 18 22:25:09 Starting compiler/bootstrap/compilation/x64/64
Aug 19 19:00:48 Finished compiler/bootstrap/compilation/x64/64             20h35m36s  63GB
Aug 19 19:00:48 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 19 19:04:02 Finished compiler/bootstrap/compilation/x64/64/proofs          3m13s  13GB
Aug 19 19:04:02 Starting compiler/bootstrap/compilation/x64/32
Aug 20 14:53:32 Finished compiler/bootstrap/compilation/x64/32             19h49m29s  64GB
Aug 20 14:53:33 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 20 14:56:21 Finished compiler/bootstrap/compilation/x64/32/proofs          2m48s  12GB
Aug 20 14:56:22 Starting compiler/bootstrap/compilation/ag32/32
Aug 21 12:38:45 Finished compiler/bootstrap/compilation/ag32/32            21h42m23s  64GB
Aug 21 12:38:45 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 21 12:51:43 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m57s  29GB
Aug 21 12:51:43 SUCCESS