Job 1334

CakeML:ce8a04cfea6a1cde3a0e1522d40c67d10fbeb4ff
  Merge pull request #750 from arolle/master [Sep 08 14:08:03]
HOL:1241adc9d4705959c2a6a359c271437361f668ff
  emacs-mode: handle definition labels properly [Sep 04 01:38:50]
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 08 14:23:03 Claimed job
Sep 08 14:23:06 Reusing HOL
Sep 08 14:23:12 Starting developers
Sep 08 14:23:15 Finished developers                                               2s  79MB
Sep 08 14:23:15 Starting developers/bin
Sep 08 14:23:21 Finished developers/bin                                           6s   1GB
Sep 08 14:23:21 Starting semantics/ffi
Sep 08 14:23:32 Finished semantics/ffi                                           10s 344MB
Sep 08 14:23:32 Starting semantics
Sep 08 14:25:03 Finished semantics                                             1m30s   1GB
Sep 08 14:25:03 Starting semantics/proofs
Sep 08 14:28:29 Finished semantics/proofs                                      3m25s   2GB
Sep 08 14:28:29 Starting semantics/alt_semantics
Sep 08 14:28:38 Finished semantics/alt_semantics                                  8s 448MB
Sep 08 14:28:38 Starting semantics/alt_semantics/proofs
Sep 08 14:30:38 Finished semantics/alt_semantics/proofs                        1m59s   1GB
Sep 08 14:30:38 Starting basis/pure
Sep 08 14:31:32 Finished basis/pure                                              53s   1GB
Sep 08 14:31:32 Starting translator
Sep 08 14:34:08 Finished translator                                            2m35s   2GB
Sep 08 14:34:09 Starting compiler/parsing
Sep 08 14:35:19 Finished compiler/parsing                                      1m09s   4GB
Sep 08 14:35:19 Starting characteristic
Sep 08 14:41:08 Finished characteristic                                        5m49s   3GB
Sep 08 14:41:08 Starting translator/monadic
Sep 08 14:42:47 Finished translator/monadic                                    1m38s   1GB
Sep 08 14:42:47 Starting basis
Sep 08 15:14:53 Finished basis                                                32m05s  23GB
Sep 08 15:14:53 Starting compiler/inference
Sep 08 15:15:57 Finished compiler/inference                                    1m03s   2GB
Sep 08 15:15:57 Starting compiler/backend/reg_alloc
Sep 08 15:17:06 Finished compiler/backend/reg_alloc                            1m08s   2GB
Sep 08 15:17:06 Starting compiler/backend/gc
Sep 08 15:20:31 Finished compiler/backend/gc                                   3m24s   4GB
Sep 08 15:20:31 Starting compiler/backend
Sep 08 15:25:24 Finished compiler/backend                                      4m52s   4GB
Sep 08 15:25:24 Starting compiler/encoders/asm
Sep 08 15:25:46 Finished compiler/encoders/asm                                   22s   1GB
Sep 08 15:25:46 Starting compiler/encoders/x64
Sep 08 15:26:13 Finished compiler/encoders/x64                                   25s   1GB
Sep 08 15:26:13 Starting compiler/encoders/arm7
Sep 08 15:27:03 Finished compiler/encoders/arm7                                  50s   1GB
Sep 08 15:27:03 Starting compiler/encoders/arm8
Sep 08 15:27:17 Finished compiler/encoders/arm8                                  13s   1GB
Sep 08 15:27:17 Starting compiler/encoders/mips
Sep 08 15:27:35 Finished compiler/encoders/mips                                  17s   1GB
Sep 08 15:27:35 Starting compiler/encoders/riscv
Sep 08 15:27:52 Finished compiler/encoders/riscv                                 16s   1GB
Sep 08 15:27:52 Starting compiler/encoders/ag32
Sep 08 15:28:11 Finished compiler/encoders/ag32                                  18s 960MB
Sep 08 15:28:11 Starting compiler/backend/x64
Sep 08 15:28:29 Finished compiler/backend/x64                                    18s   1GB
Sep 08 15:28:30 Starting compiler/backend/arm7
Sep 08 15:28:50 Finished compiler/backend/arm7                                   20s   1GB
Sep 08 15:28:51 Starting compiler/backend/arm8
Sep 08 15:29:10 Finished compiler/backend/arm8                                   18s   1GB
Sep 08 15:29:10 Starting compiler/backend/mips
Sep 08 15:29:29 Finished compiler/backend/mips                                   19s   1GB
Sep 08 15:29:29 Starting compiler/backend/riscv
Sep 08 15:29:49 Finished compiler/backend/riscv                                  20s   1GB
Sep 08 15:29:50 Starting compiler/backend/ag32
Sep 08 15:31:01 Finished compiler/backend/ag32                                 1m11s   2GB
Sep 08 15:31:01 Starting compiler/parsing/proofs
Sep 08 15:33:10 Finished compiler/parsing/proofs                               2m09s   1GB
Sep 08 15:33:10 Starting compiler/inference/proofs
Sep 08 15:35:29 Finished compiler/inference/proofs                             2m18s   1GB
Sep 08 15:35:29 Starting compiler/backend/semantics
Sep 08 16:01:29 Finished compiler/backend/semantics                           25m59s   5GB
Sep 08 16:01:29 Starting compiler/backend/reg_alloc/proofs
Sep 08 16:04:42 Finished compiler/backend/reg_alloc/proofs                     3m12s   1GB
Sep 08 16:04:43 Starting compiler/backend/proofs
Sep 08 16:57:03 Finished compiler/backend/proofs                              52m19s  27GB
Sep 08 16:57:03 Starting compiler/encoders/x64/proofs
Sep 08 17:06:31 Finished compiler/encoders/x64/proofs                          9m28s   5GB
Sep 08 17:06:31 Starting compiler/encoders/arm7/proofs
Sep 08 17:18:57 Finished compiler/encoders/arm7/proofs                        12m25s   6GB
Sep 08 17:18:57 Starting compiler/encoders/arm8/proofs
Sep 08 17:25:07 Finished compiler/encoders/arm8/proofs                         6m09s   3GB
Sep 08 17:25:07 Starting compiler/encoders/mips/proofs
Sep 08 17:34:49 Finished compiler/encoders/mips/proofs                         9m41s   3GB
Sep 08 17:34:49 Starting compiler/encoders/riscv/proofs
Sep 08 17:42:54 Finished compiler/encoders/riscv/proofs                        8m04s   3GB
Sep 08 17:42:54 Starting compiler/encoders/ag32/proofs
Sep 08 17:45:13 Finished compiler/encoders/ag32/proofs                         2m19s   1GB
Sep 08 17:45:13 Starting compiler/backend/x64/proofs
Sep 08 17:45:34 Finished compiler/backend/x64/proofs                             20s   1GB
Sep 08 17:45:34 Starting compiler/backend/arm7/proofs
Sep 08 17:45:56 Finished compiler/backend/arm7/proofs                            21s   1GB
Sep 08 17:45:56 Starting compiler/backend/arm8/proofs
Sep 08 17:46:15 Finished compiler/backend/arm8/proofs                            18s   1GB
Sep 08 17:46:16 Starting compiler/backend/mips/proofs
Sep 08 17:46:38 Finished compiler/backend/mips/proofs                            21s   2GB
Sep 08 17:46:38 Starting compiler/backend/riscv/proofs
Sep 08 17:46:59 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 08 17:46:59 Starting compiler/backend/ag32/proofs
Sep 08 17:58:45 Finished compiler/backend/ag32/proofs                         11m45s   3GB
Sep 08 17:58:45 Starting compiler/proofs
Sep 08 18:00:19 Finished compiler/proofs                                       1m34s   5GB
Sep 08 18:00:19 Starting candle/set-theory
Sep 08 18:00:49 Finished candle/set-theory                                       29s 950MB
Sep 08 18:00:49 Starting candle/syntax-lib
Sep 08 18:01:00 Finished candle/syntax-lib                                       11s 838MB
Sep 08 18:01:00 Starting candle/standard/syntax
Sep 08 18:02:49 Finished candle/standard/syntax                                1m48s   1GB
Sep 08 18:02:49 Starting candle/standard/semantics
Sep 08 18:04:33 Finished candle/standard/semantics                             1m43s   2GB
Sep 08 18:04:33 Starting candle/standard/monadic
Sep 08 18:06:13 Finished candle/standard/monadic                               1m40s   2GB
Sep 08 18:06:13 Starting candle/standard/ml_kernel
Sep 08 18:11:22 Finished candle/standard/ml_kernel                             5m08s   5GB
Sep 08 18:11:22 Starting candle/overloading/syntax
Sep 08 18:14:29 Finished candle/overloading/syntax                             3m07s   1GB
Sep 08 18:14:29 Starting candle/overloading/semantics
Sep 08 18:25:05 Finished candle/overloading/semantics                         10m35s   7GB
Sep 08 18:25:05 Starting characteristic/examples
Sep 08 18:26:19 Finished characteristic/examples                               1m13s   4GB
Sep 08 18:26:19 Starting tutorial/solutions
Sep 08 18:40:36 Finished tutorial/solutions                                   14m16s   8GB
Sep 08 18:40:36 Starting translator/monadic/examples
Sep 08 18:43:56 Finished translator/monadic/examples                           3m18s   3GB
Sep 08 18:43:56 Starting examples
Sep 08 18:52:20 Finished examples                                              8m24s   7GB
Sep 08 18:52:21 Starting examples/compilation/x64
Sep 08 21:04:34 Finished examples/compilation/x64                           2h12m12s  26GB
Sep 08 21:04:34 Starting examples/compilation/x64/proofs
Sep 08 21:06:21 Finished examples/compilation/x64/proofs                       1m47s   3GB
Sep 08 21:06:21 Starting examples/compilation/ag32
Sep 08 21:36:38 Finished examples/compilation/ag32                            30m16s  14GB
Sep 08 21:36:38 Starting examples/compilation/ag32/proofs
Sep 08 21:37:23 Finished examples/compilation/ag32/proofs                        44s   4GB
Sep 08 21:37:23 Starting examples/cost
Sep 08 22:22:26 Finished examples/cost                                        45m03s  12GB
Sep 08 22:22:27 Starting examples/lpr_checker
Sep 08 22:26:04 Finished examples/lpr_checker                                  3m37s   3GB
Sep 08 22:26:04 Starting examples/lpr_checker/compilation
Sep 08 22:43:13 Finished examples/lpr_checker/compilation                     17m08s  13GB
Sep 08 22:43:14 Starting examples/lpr_checker/compilation/proofs
Sep 08 22:43:54 Finished examples/lpr_checker/compilation/proofs                 40s   3GB
Sep 08 22:43:55 Starting examples/lpr_checker/array
Sep 08 22:56:09 Finished examples/lpr_checker/array                           12m13s   4GB
Sep 08 22:56:09 Starting examples/lpr_checker/array/compilation
Sep 08 23:14:21 Finished examples/lpr_checker/array/compilation               18m11s  15GB
Sep 08 23:14:21 Starting examples/lpr_checker/array/compilation/proofs
Sep 08 23:15:10 Finished examples/lpr_checker/array/compilation/proofs           48s   4GB
Sep 08 23:15:10 Starting examples/opentheory
Sep 08 23:24:09 Finished examples/opentheory                                   8m58s   7GB
Sep 08 23:24:09 Starting examples/opentheory
Sep 08 23:24:10 Finished examples/opentheory                                      0s 102MB
Sep 08 23:24:10 Starting examples/opentheory/compilation
Sep 08 23:54:07 Finished examples/opentheory/compilation                      29m56s  22GB
Sep 08 23:54:07 Starting examples/opentheory/compilation/proofs
Sep 08 23:54:48 Finished examples/opentheory/compilation/proofs                  40s   3GB
Sep 08 23:54:48 Starting examples/opentheory/compilation/ag32
Sep 09 00:26:08 Finished examples/opentheory/compilation/ag32                 31m19s  17GB
Sep 09 00:26:08 Starting examples/opentheory/compilation/ag32/proofs
Sep 09 00:27:36 Finished examples/opentheory/compilation/ag32/proofs           1m27s   5GB
Sep 09 00:27:37 Starting translator/okasaki-examples
Sep 09 00:31:46 Finished translator/okasaki-examples                           4m09s   2GB
Sep 09 00:31:46 Starting translator/other-examples
Sep 09 00:33:43 Finished translator/other-examples                             1m57s   1GB
Sep 09 00:33:44 Starting compiler/parsing/tests
Sep 09 00:34:07 Finished compiler/parsing/tests                                  23s 629MB
Sep 09 00:34:07 Starting compiler/inference/tests
Sep 09 00:38:26 Finished compiler/inference/tests                              4m18s   4GB
Sep 09 00:38:27 Starting compiler/bootstrap/translation
Sep 09 03:12:18 Finished compiler/bootstrap/translation                     2h33m51s  49GB
Sep 09 03:12:18 Starting unverified/sexpr-bootstrap/x64/64
Sep 09 03:22:09 Finished unverified/sexpr-bootstrap/x64/64                     9m49s   8GB
Sep 09 03:22:09 Starting unverified/sexpr-bootstrap/x64/32
Sep 09 03:29:59 Finished unverified/sexpr-bootstrap/x64/32                     7m49s   8GB
Sep 09 03:29:59 Starting compiler/benchmarks
Sep 09 04:08:02 Finished compiler/benchmarks                                  38m02s   2GB
Sep 09 04:08:02 Starting compiler/bootstrap/compilation/x64/64
Sep 10 01:02:10 Finished compiler/bootstrap/compilation/x64/64             20h53m53s  64GB
Sep 10 01:02:11 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 10 01:05:19 Finished compiler/bootstrap/compilation/x64/64/proofs          3m08s  13GB
Sep 10 01:05:19 Starting compiler/bootstrap/compilation/x64/32
Sep 10 23:24:20 Finished compiler/bootstrap/compilation/x64/32             22h18m43s  64GB
Sep 10 23:24:20 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 10 23:27:20 Finished compiler/bootstrap/compilation/x64/32/proofs          3m00s  13GB
Sep 10 23:27:21 Starting compiler/bootstrap/compilation/ag32/32
Sep 11 23:50:35 Finished compiler/bootstrap/compilation/ag32/32            24h23m14s  64GB
Sep 11 23:50:35 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 12 00:03:26 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m50s  32GB
Sep 12 00:03:27 SUCCESS