Job 1445

CakeML:349652839ae57ce6cbdb6743c8f7ce21d1c170e6
  Merge pull request #810 from hrutvik/master [Jan 19 06:40:02]
HOL:22599a8ad23105c5145f384b2f1f6664018f8889
  emacs-mode: distinguish |> at the SML and HOL levels [Jan 19 02:09: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

Jan 21 22:35:53 Claimed job
Jan 21 22:36:09 Building HOL
Jan 21 22:50:16 Starting developers
Jan 21 22:50:17 Finished developers                                               0s  34MB
Jan 21 22:50:17 Starting developers/bin
Jan 21 22:50:23 Finished developers/bin                                           6s   1GB
Jan 21 22:50:23 Starting semantics/ffi
Jan 21 22:50:34 Finished semantics/ffi                                           10s 267MB
Jan 21 22:50:34 Starting semantics
Jan 21 22:52:05 Finished semantics                                             1m30s   1GB
Jan 21 22:52:05 Starting semantics/proofs
Jan 21 22:55:24 Finished semantics/proofs                                      3m18s   1GB
Jan 21 22:55:24 Starting semantics/alt_semantics
Jan 21 22:55:32 Finished semantics/alt_semantics                                  8s 418MB
Jan 21 22:55:32 Starting semantics/alt_semantics/proofs
Jan 21 22:57:40 Finished semantics/alt_semantics/proofs                        2m07s   1GB
Jan 21 22:57:40 Starting basis/pure
Jan 21 23:00:24 Finished basis/pure                                            2m44s   1GB
Jan 21 23:00:24 Starting translator
Jan 21 23:03:00 Finished translator                                            2m35s   2GB
Jan 21 23:03:00 Starting compiler/parsing
Jan 21 23:04:07 Finished compiler/parsing                                      1m07s   4GB
Jan 21 23:04:07 Starting characteristic
Jan 21 23:10:02 Finished characteristic                                        5m53s   4GB
Jan 21 23:10:02 Starting translator/monadic
Jan 21 23:11:44 Finished translator/monadic                                    1m42s   2GB
Jan 21 23:11:44 Starting basis
Jan 21 23:45:05 Finished basis                                                33m21s  29GB
Jan 21 23:45:06 Starting compiler/inference
Jan 21 23:46:13 Finished compiler/inference                                    1m07s   2GB
Jan 21 23:46:13 Starting compiler/backend/reg_alloc
Jan 21 23:47:17 Finished compiler/backend/reg_alloc                            1m03s   1GB
Jan 21 23:47:17 Starting compiler/backend/gc
Jan 21 23:50:50 Finished compiler/backend/gc                                   3m32s   5GB
Jan 21 23:50:50 Starting compiler/backend
Jan 21 23:55:46 Finished compiler/backend                                      4m55s   4GB
Jan 21 23:55:46 Starting compiler/encoders/asm
Jan 21 23:56:07 Finished compiler/encoders/asm                                   21s   1GB
Jan 21 23:56:07 Starting compiler/encoders/x64
Jan 21 23:57:10 Finished compiler/encoders/x64                                 1m02s   1GB
Jan 21 23:57:10 Starting compiler/encoders/arm7
Jan 21 23:59:12 Finished compiler/encoders/arm7                                2m01s   1GB
Jan 21 23:59:13 Starting compiler/encoders/arm8
Jan 21 23:59:52 Finished compiler/encoders/arm8                                  38s   1GB
Jan 21 23:59:52 Starting compiler/encoders/mips
Jan 22 00:01:18 Finished compiler/encoders/mips                                1m26s   1GB
Jan 22 00:01:18 Starting compiler/encoders/riscv
Jan 22 00:02:56 Finished compiler/encoders/riscv                               1m37s   1GB
Jan 22 00:02:56 Starting compiler/encoders/ag32
Jan 22 00:03:14 Finished compiler/encoders/ag32                                  18s 909MB
Jan 22 00:03:15 Starting compiler/backend/x64
Jan 22 00:03:33 Finished compiler/backend/x64                                    18s   1GB
Jan 22 00:03:33 Starting compiler/backend/arm7
Jan 22 00:03:54 Finished compiler/backend/arm7                                   21s   1GB
Jan 22 00:03:54 Starting compiler/backend/arm8
Jan 22 00:04:14 Finished compiler/backend/arm8                                   19s   1GB
Jan 22 00:04:14 Starting compiler/backend/mips
Jan 22 00:04:35 Finished compiler/backend/mips                                   20s   1GB
Jan 22 00:04:35 Starting compiler/backend/riscv
Jan 22 00:04:56 Finished compiler/backend/riscv                                  20s   1GB
Jan 22 00:04:57 Starting compiler/backend/ag32
Jan 22 00:06:04 Finished compiler/backend/ag32                                 1m06s   2GB
Jan 22 00:06:04 Starting compiler/parsing/proofs
Jan 22 00:11:40 Finished compiler/parsing/proofs                               5m35s   2GB
Jan 22 00:11:40 Starting compiler/inference/proofs
Jan 22 00:14:11 Finished compiler/inference/proofs                             2m31s   2GB
Jan 22 00:14:12 Starting compiler/backend/semantics
Jan 22 00:41:05 Finished compiler/backend/semantics                           26m53s   3GB
Jan 22 00:41:05 Starting compiler/backend/reg_alloc/proofs
Jan 22 00:44:26 Finished compiler/backend/reg_alloc/proofs                     3m20s   1GB
Jan 22 00:44:27 Starting compiler/backend/proofs
Jan 22 01:38:03 Finished compiler/backend/proofs                              53m35s  17GB
Jan 22 01:38:03 Starting compiler/encoders/x64/proofs
Jan 22 01:47:17 Finished compiler/encoders/x64/proofs                          9m14s   7GB
Jan 22 01:47:17 Starting compiler/encoders/arm7/proofs
Jan 22 01:59:42 Finished compiler/encoders/arm7/proofs                        12m24s   7GB
Jan 22 01:59:42 Starting compiler/encoders/arm8/proofs
Jan 22 02:05:57 Finished compiler/encoders/arm8/proofs                         6m14s   3GB
Jan 22 02:05:57 Starting compiler/encoders/mips/proofs
Jan 22 02:15:46 Finished compiler/encoders/mips/proofs                         9m49s   6GB
Jan 22 02:15:47 Starting compiler/encoders/riscv/proofs
Jan 22 02:24:07 Finished compiler/encoders/riscv/proofs                        8m20s   3GB
Jan 22 02:24:07 Starting compiler/encoders/ag32/proofs
Jan 22 02:26:27 Finished compiler/encoders/ag32/proofs                         2m19s   1GB
Jan 22 02:26:27 Starting compiler/backend/x64/proofs
Jan 22 02:26:48 Finished compiler/backend/x64/proofs                             21s   2GB
Jan 22 02:26:49 Starting compiler/backend/arm7/proofs
Jan 22 02:27:10 Finished compiler/backend/arm7/proofs                            21s   1GB
Jan 22 02:27:10 Starting compiler/backend/arm8/proofs
Jan 22 02:27:30 Finished compiler/backend/arm8/proofs                            19s   1GB
Jan 22 02:27:31 Starting compiler/backend/mips/proofs
Jan 22 02:27:52 Finished compiler/backend/mips/proofs                            21s   1GB
Jan 22 02:27:52 Starting compiler/backend/riscv/proofs
Jan 22 02:28:16 Finished compiler/backend/riscv/proofs                           23s   2GB
Jan 22 02:28:16 Starting compiler/backend/ag32/proofs
Jan 22 02:40:24 Finished compiler/backend/ag32/proofs                         12m07s   6GB
Jan 22 02:40:25 Starting compiler/proofs
Jan 22 02:42:20 Finished compiler/proofs                                       1m55s   6GB
Jan 22 02:42:20 Starting candle/set-theory
Jan 22 02:42:50 Finished candle/set-theory                                       29s   1GB
Jan 22 02:42:50 Starting candle/syntax-lib
Jan 22 02:43:02 Finished candle/syntax-lib                                       11s 803MB
Jan 22 02:43:02 Starting candle/standard/syntax
Jan 22 02:44:51 Finished candle/standard/syntax                                1m48s   1GB
Jan 22 02:44:51 Starting candle/standard/semantics
Jan 22 02:46:37 Finished candle/standard/semantics                             1m45s   2GB
Jan 22 02:46:37 Starting candle/standard/monadic
Jan 22 02:48:19 Finished candle/standard/monadic                               1m41s   2GB
Jan 22 02:48:19 Starting candle/standard/ml_kernel
Jan 22 02:53:30 Finished candle/standard/ml_kernel                             5m11s   6GB
Jan 22 02:53:31 Starting candle/overloading/syntax
Jan 22 02:56:42 Finished candle/overloading/syntax                             3m11s   1GB
Jan 22 02:56:42 Starting candle/overloading/semantics
Jan 22 03:08:50 Finished candle/overloading/semantics                         12m08s   9GB
Jan 22 03:08:51 Starting characteristic/examples
Jan 22 03:10:07 Finished characteristic/examples                               1m16s   4GB
Jan 22 03:10:08 Starting tutorial/solutions
Jan 22 03:24:55 Finished tutorial/solutions                                   14m46s  18GB
Jan 22 03:24:55 Starting translator/monadic/examples
Jan 22 03:28:11 Finished translator/monadic/examples                           3m16s   3GB
Jan 22 03:28:12 Starting examples
Jan 22 03:36:42 Finished examples                                              8m30s   6GB
Jan 22 03:36:43 Starting examples/compilation/x64
Jan 22 05:55:19 Finished examples/compilation/x64                           2h18m36s  30GB
Jan 22 05:55:19 Starting examples/compilation/x64/proofs
Jan 22 05:57:13 Finished examples/compilation/x64/proofs                       1m53s   3GB
Jan 22 05:57:13 Starting examples/compilation/ag32
Jan 22 06:30:21 Finished examples/compilation/ag32                            33m08s  14GB
Jan 22 06:30:21 Starting examples/compilation/ag32/proofs
Jan 22 06:31:16 Finished examples/compilation/ag32/proofs                        54s   4GB
Jan 22 06:31:16 Starting examples/cost
Jan 22 07:24:22 Finished examples/cost                                        53m06s  13GB
Jan 22 07:24:22 Starting examples/lpr_checker
Jan 22 07:28:12 Finished examples/lpr_checker                                  3m49s   5GB
Jan 22 07:28:12 Starting examples/lpr_checker/compilation
Jan 22 07:46:08 Finished examples/lpr_checker/compilation                     17m55s  11GB
Jan 22 07:46:08 Starting examples/lpr_checker/compilation/proofs
Jan 22 07:46:51 Finished examples/lpr_checker/compilation/proofs                 42s   3GB
Jan 22 07:46:51 Starting examples/lpr_checker/array
Jan 22 08:00:35 Finished examples/lpr_checker/array                           13m44s   9GB
Jan 22 08:00:35 Starting examples/lpr_checker/array/compilation
Jan 22 08:19:51 Finished examples/lpr_checker/array/compilation               19m15s  16GB
Jan 22 08:19:51 Starting examples/lpr_checker/array/compilation/proofs
Jan 22 08:20:37 Finished examples/lpr_checker/array/compilation/proofs           46s   4GB
Jan 22 08:20:38 Starting examples/opentheory
Jan 22 08:29:46 Finished examples/opentheory                                   9m08s   6GB
Jan 22 08:29:46 Starting examples/opentheory
Jan 22 08:29:47 Finished examples/opentheory                                      0s  96MB
Jan 22 08:29:47 Starting examples/opentheory/compilation
Jan 22 09:01:57 Finished examples/opentheory/compilation                      32m09s  27GB
Jan 22 09:01:57 Starting examples/opentheory/compilation/proofs
Jan 22 09:02:41 Finished examples/opentheory/compilation/proofs                  43s   4GB
Jan 22 09:02:41 Starting examples/opentheory/compilation/ag32
Jan 22 09:35:17 Finished examples/opentheory/compilation/ag32                 32m36s  27GB
Jan 22 09:35:18 Starting examples/opentheory/compilation/ag32/proofs
Jan 22 09:36:48 Finished examples/opentheory/compilation/ag32/proofs           1m30s   6GB
Jan 22 09:36:48 Starting translator/okasaki-examples
Jan 22 09:40:57 Finished translator/okasaki-examples                           4m08s   3GB
Jan 22 09:40:57 Starting translator/other-examples
Jan 22 09:43:01 Finished translator/other-examples                             2m04s   2GB
Jan 22 09:43:02 Starting compiler/parsing/tests
Jan 22 09:43:25 Finished compiler/parsing/tests                                  23s 661MB
Jan 22 09:43:26 Starting compiler/inference/tests
Jan 22 09:50:30 Finished compiler/inference/tests                              7m04s   5GB
Jan 22 09:50:30 Starting compiler/bootstrap/translation
Jan 22 12:37:27 Finished compiler/bootstrap/translation                     2h46m55s  48GB
Jan 22 12:37:27 Starting unverified/sexpr-bootstrap/x64/64
Jan 22 12:49:41 Finished unverified/sexpr-bootstrap/x64/64                    12m13s   8GB
Jan 22 12:49:41 Starting unverified/sexpr-bootstrap/x64/32
Jan 22 13:00:11 Finished unverified/sexpr-bootstrap/x64/32                    10m29s   8GB
Jan 22 13:00:11 Starting compiler/benchmarks
Jan 22 13:37:52 Finished compiler/benchmarks                                  37m41s   2GB
Jan 22 13:37:52 Starting compiler/bootstrap/compilation/x64/64
Jan 23 08:40:13 Finished compiler/bootstrap/compilation/x64/64             19h02m19s  64GB
Jan 23 08:40:13 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 23 08:42:52 Finished compiler/bootstrap/compilation/x64/64/proofs          2m39s  15GB
Jan 23 08:42:53 Starting compiler/bootstrap/compilation/x64/32
Jan 23 23:23:49 Finished compiler/bootstrap/compilation/x64/32             14h40m55s  63GB
Jan 23 23:23:49 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 23 23:26:00 Finished compiler/bootstrap/compilation/x64/32/proofs          2m10s  14GB
Jan 23 23:26:00 Starting compiler/bootstrap/compilation/ag32/32
Jan 24 15:05:44 Finished compiler/bootstrap/compilation/ag32/32            15h39m43s  64GB
Jan 24 15:05:44 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 24 15:15:26 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m41s  56GB
Jan 24 15:15:26 SUCCESS