Job 918

CakeML:57a8a31ea045f3f546c1be2bc98ce345e492bdcb
  Merge pull request #659 from CakeML/filterfix [Jun 06 22:01:22]
HOL:e575ceadfe1dc1792c1b3e92ef98c2a96f3c01a7
  Emacs mode: put overload-info-for function into HOL menu [Jun 19 06:56:01]
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

Jun 19 11:01:02 Claimed job
Jun 19 11:01:08 Building HOL
Jun 19 11:08:57 Starting developers
Jun 19 11:08:57 Finished developers                                               0s  20MB
Jun 19 11:08:58 Starting developers/bin
Jun 19 11:09:01 Finished developers/bin                                           3s 207MB
Jun 19 11:09:01 Starting semantics/ffi
Jun 19 11:09:35 Finished semantics/ffi                                           33s 587MB
Jun 19 11:09:35 Starting semantics
Jun 19 11:11:05 Finished semantics                                             1m29s   1GB
Jun 19 11:11:06 Starting semantics/proofs
Jun 19 11:14:03 Finished semantics/proofs                                      2m57s 920MB
Jun 19 11:14:04 Starting semantics/alt_semantics
Jun 19 11:14:10 Finished semantics/alt_semantics                                  5s 288MB
Jun 19 11:14:10 Starting semantics/alt_semantics/proofs
Jun 19 11:15:57 Finished semantics/alt_semantics/proofs                        1m45s 740MB
Jun 19 11:15:57 Starting basis/pure
Jun 19 11:19:28 Finished basis/pure                                            3m30s 636MB
Jun 19 11:19:28 Starting translator
Jun 19 11:21:08 Finished translator                                            1m39s   1GB
Jun 19 11:21:08 Starting compiler/parsing
Jun 19 11:22:05 Finished compiler/parsing                                        57s   2GB
Jun 19 11:22:05 Starting characteristic
Jun 19 11:27:09 Finished characteristic                                        5m03s   1GB
Jun 19 11:27:09 Starting translator/monadic
Jun 19 11:28:34 Finished translator/monadic                                    1m24s   1GB
Jun 19 11:28:35 Starting basis
Jun 19 11:45:24 Finished basis                                                16m48s   2GB
Jun 19 11:45:24 Starting compiler/inference
Jun 19 11:47:13 Finished compiler/inference                                    1m48s   1GB
Jun 19 11:47:13 Starting compiler/backend/reg_alloc
Jun 19 11:48:10 Finished compiler/backend/reg_alloc                              56s   1GB
Jun 19 11:48:10 Starting compiler/backend/gc
Jun 19 11:57:11 Finished compiler/backend/gc                                   9m00s   2GB
Jun 19 11:57:11 Starting compiler/backend
Jun 19 11:57:12 Finished compiler/backend                                         0s  43MB
Jun 19 11:57:12 Starting compiler/encoders/asm
Jun 19 11:57:13 Finished compiler/encoders/asm                                    0s  37MB
Jun 19 11:57:13 Starting compiler/encoders/x64
Jun 19 11:58:09 Finished compiler/encoders/x64                                   55s 897MB
Jun 19 11:58:09 Starting compiler/encoders/arm7
Jun 19 11:59:43 Finished compiler/encoders/arm7                                1m33s   1GB
Jun 19 11:59:43 Starting compiler/encoders/arm8
Jun 19 12:00:12 Finished compiler/encoders/arm8                                  28s 612MB
Jun 19 12:00:12 Starting compiler/encoders/mips
Jun 19 12:01:16 Finished compiler/encoders/mips                                1m03s 926MB
Jun 19 12:01:16 Starting compiler/encoders/riscv
Jun 19 12:02:32 Finished compiler/encoders/riscv                               1m15s 832MB
Jun 19 12:02:32 Starting compiler/encoders/ag32
Jun 19 12:02:47 Finished compiler/encoders/ag32                                  14s 781MB
Jun 19 12:02:47 Starting compiler/backend/x64
Jun 19 12:03:02 Finished compiler/backend/x64                                    14s 865MB
Jun 19 12:03:02 Starting compiler/backend/arm7
Jun 19 12:03:20 Finished compiler/backend/arm7                                   17s   1GB
Jun 19 12:03:20 Starting compiler/backend/arm8
Jun 19 12:03:37 Finished compiler/backend/arm8                                   16s   1GB
Jun 19 12:03:37 Starting compiler/backend/mips
Jun 19 12:03:53 Finished compiler/backend/mips                                   16s   1GB
Jun 19 12:03:54 Starting compiler/backend/riscv
Jun 19 12:04:10 Finished compiler/backend/riscv                                  15s   1GB
Jun 19 12:04:10 Starting compiler/backend/ag32
Jun 19 12:05:16 Finished compiler/backend/ag32                                 1m05s   1GB
Jun 19 12:05:16 Starting compiler/parsing/proofs
Jun 19 12:10:46 Finished compiler/parsing/proofs                               5m30s 824MB
Jun 19 12:10:47 Starting compiler/inference/proofs
Jun 19 12:13:25 Finished compiler/inference/proofs                             2m38s 988MB
Jun 19 12:13:25 Starting compiler/backend/semantics
Jun 19 12:20:30 Finished compiler/backend/semantics                            7m03s   1GB
Jun 19 12:20:30 Starting compiler/backend/reg_alloc/proofs
Jun 19 12:23:45 Finished compiler/backend/reg_alloc/proofs                     3m14s 766MB
Jun 19 12:23:45 Starting compiler/backend/proofs
Jun 19 13:02:35 Finished compiler/backend/proofs                              38m49s   3GB
Jun 19 13:02:36 Starting compiler/encoders/x64/proofs
Jun 19 13:12:34 Finished compiler/encoders/x64/proofs                          9m57s   7GB
Jun 19 13:12:34 Starting compiler/encoders/arm7/proofs
Jun 19 13:25:54 Finished compiler/encoders/arm7/proofs                        13m19s   3GB
Jun 19 13:25:55 Starting compiler/encoders/arm8/proofs
Jun 19 13:32:35 Finished compiler/encoders/arm8/proofs                         6m40s   1GB
Jun 19 13:32:35 Starting compiler/encoders/mips/proofs
Jun 19 13:42:32 Finished compiler/encoders/mips/proofs                         9m56s   2GB
Jun 19 13:42:32 Starting compiler/encoders/riscv/proofs
Jun 19 13:50:50 Finished compiler/encoders/riscv/proofs                        8m16s   1GB
Jun 19 13:50:50 Starting compiler/encoders/ag32/proofs
Jun 19 13:53:17 Finished compiler/encoders/ag32/proofs                         2m26s 663MB
Jun 19 13:53:17 Starting compiler/backend/x64/proofs
Jun 19 13:53:33 Finished compiler/backend/x64/proofs                             15s 997MB
Jun 19 13:53:34 Starting compiler/backend/arm7/proofs
Jun 19 13:53:51 Finished compiler/backend/arm7/proofs                            17s   1GB
Jun 19 13:53:51 Starting compiler/backend/arm8/proofs
Jun 19 13:54:07 Finished compiler/backend/arm8/proofs                            15s   1GB
Jun 19 13:54:07 Starting compiler/backend/mips/proofs
Jun 19 13:54:25 Finished compiler/backend/mips/proofs                            17s   1GB
Jun 19 13:54:25 Starting compiler/backend/riscv/proofs
Jun 19 13:54:42 Finished compiler/backend/riscv/proofs                           16s   1GB
Jun 19 13:54:42 Starting compiler/backend/ag32/proofs
Jun 19 14:03:33 Finished compiler/backend/ag32/proofs                          8m50s   1GB
Jun 19 14:03:33 Starting compiler/proofs
Jun 19 14:05:00 Finished compiler/proofs                                       1m26s   2GB
Jun 19 14:05:01 Starting candle/set-theory
Jun 19 14:05:26 Finished candle/set-theory                                       24s 664MB
Jun 19 14:05:26 Starting candle/syntax-lib
Jun 19 14:05:35 Finished candle/syntax-lib                                        8s 663MB
Jun 19 14:05:35 Starting candle/standard/syntax
Jun 19 14:07:15 Finished candle/standard/syntax                                1m39s   1GB
Jun 19 14:07:15 Starting candle/standard/semantics
Jun 19 14:08:48 Finished candle/standard/semantics                             1m32s   1GB
Jun 19 14:08:48 Starting candle/standard/monadic
Jun 19 14:10:21 Finished candle/standard/monadic                               1m32s   1GB
Jun 19 14:10:21 Starting candle/standard/ml_kernel
Jun 19 14:14:04 Finished candle/standard/ml_kernel                             3m42s   3GB
Jun 19 14:14:05 Starting candle/standard/opentheory
Jun 19 14:22:30 Finished candle/standard/opentheory                            8m24s   2GB
Jun 19 14:22:30 Starting candle/standard/opentheory/compilation
Jun 19 14:52:21 Finished candle/standard/opentheory/compilation               29m51s  14GB
Jun 19 14:52:22 Starting candle/standard/opentheory/compilation/proofs
Jun 19 14:53:20 Finished candle/standard/opentheory/compilation/proofs           58s   2GB
Jun 19 14:53:20 Starting characteristic/examples
Jun 19 14:54:41 Finished characteristic/examples                               1m20s   2GB
Jun 19 14:54:42 Starting tutorial/solutions
Jun 19 15:07:29 Finished tutorial/solutions                                   12m46s   6GB
Jun 19 15:07:29 Starting translator/monadic/examples
Jun 19 15:10:18 Finished translator/monadic/examples                           2m48s   1GB
Jun 19 15:10:19 Starting examples
Jun 19 15:19:08 Finished examples                                              8m49s   3GB
Jun 19 15:19:09 Starting examples/compilation/x64
Jun 19 17:19:48 Finished examples/compilation/x64                           2h00m38s  12GB
Jun 19 17:19:48 Starting examples/compilation/x64/proofs
Jun 19 17:21:10 Finished examples/compilation/x64/proofs                       1m22s   2GB
Jun 19 17:21:11 Starting examples/compilation/ag32
Jun 19 17:49:11 Finished examples/compilation/ag32                            27m59s   5GB
Jun 19 17:49:11 Starting examples/compilation/ag32/proofs
Jun 19 17:49:58 Finished examples/compilation/ag32/proofs                        46s   3GB
Jun 19 17:49:58 Starting translator/okasaki-examples
Jun 19 17:54:03 Finished translator/okasaki-examples                           4m04s   1GB
Jun 19 17:54:03 Starting translator/other-examples
Jun 19 17:57:22 Finished translator/other-examples                             3m18s   1GB
Jun 19 17:57:22 Starting compiler/parsing/tests
Jun 19 17:57:46 Finished compiler/parsing/tests                                  23s 528MB
Jun 19 17:57:46 Starting compiler/inference/tests
Jun 19 18:01:54 Finished compiler/inference/tests                              4m07s   3GB
Jun 19 18:01:55 Starting compiler/bootstrap/translation
Jun 19 20:30:18 Finished compiler/bootstrap/translation                     2h28m23s  44GB
Jun 19 20:30:19 Starting unverified/sexpr-bootstrap/x64/64
Jun 19 20:37:50 Finished unverified/sexpr-bootstrap/x64/64                     7m30s   3GB
Jun 19 20:37:50 Starting unverified/sexpr-bootstrap/x64/32
Jun 19 20:42:25 Finished unverified/sexpr-bootstrap/x64/32                     4m33s   6GB
Jun 19 20:42:25 Starting compiler/benchmarks
Jun 19 21:20:11 Finished compiler/benchmarks                                  37m45s   1GB
Jun 19 21:20:12 Starting compiler/bootstrap/compilation/x64/64
Jun 20 07:30:37 Finished compiler/bootstrap/compilation/x64/64             10h10m23s  64GB
Jun 20 07:30:37 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 20 07:33:52 Finished compiler/bootstrap/compilation/x64/64/proofs          3m14s   6GB
Jun 20 07:33:52 Starting compiler/bootstrap/compilation/x64/32
Jun 20 17:58:29 Finished compiler/bootstrap/compilation/x64/32             10h24m36s  61GB
Jun 20 17:58:30 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 20 18:00:20 Finished compiler/bootstrap/compilation/x64/32/proofs          1m50s   9GB
Jun 20 18:00:20 Starting compiler/bootstrap/compilation/ag32/32
Jun 21 03:52:44 Finished compiler/bootstrap/compilation/ag32/32             9h52m22s  64GB
Jun 21 03:52:44 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 21 04:10:34 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m49s  11GB
Jun 21 04:10:34 SUCCESS