Job 917

CakeML:57a8a31ea045f3f546c1be2bc98ce345e492bdcb
  Merge pull request #659 from CakeML/filterfix [Jun 06 22:01:22]
HOL:b79f35944eb0df26a0153195202f89d5541fe0cf
  mark local state variables (#710) [Jun 16 23:52:15]
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 17 12:45:20 Claimed job
Jun 17 12:45:27 Building HOL
Jun 17 12:53:16 Starting developers
Jun 17 12:53:17 Finished developers                                               0s  28MB
Jun 17 12:53:17 Starting developers/bin
Jun 17 12:53:20 Finished developers/bin                                           2s 143MB
Jun 17 12:53:21 Starting semantics/ffi
Jun 17 12:53:54 Finished semantics/ffi                                           33s 566MB
Jun 17 12:53:54 Starting semantics
Jun 17 12:55:24 Finished semantics                                             1m29s   1GB
Jun 17 12:55:24 Starting semantics/proofs
Jun 17 12:58:21 Finished semantics/proofs                                      2m56s   1GB
Jun 17 12:58:21 Starting semantics/alt_semantics
Jun 17 12:58:27 Finished semantics/alt_semantics                                  5s 252MB
Jun 17 12:58:28 Starting semantics/alt_semantics/proofs
Jun 17 13:00:16 Finished semantics/alt_semantics/proofs                        1m47s   1GB
Jun 17 13:00:16 Starting basis/pure
Jun 17 13:03:50 Finished basis/pure                                            3m33s 844MB
Jun 17 13:03:50 Starting translator
Jun 17 13:05:30 Finished translator                                            1m39s   1GB
Jun 17 13:05:30 Starting compiler/parsing
Jun 17 13:06:27 Finished compiler/parsing                                        57s   2GB
Jun 17 13:06:27 Starting characteristic
Jun 17 13:11:35 Finished characteristic                                        5m06s   1GB
Jun 17 13:11:35 Starting translator/monadic
Jun 17 13:13:00 Finished translator/monadic                                    1m24s   1GB
Jun 17 13:13:00 Starting basis
Jun 17 13:30:02 Finished basis                                                17m00s   2GB
Jun 17 13:30:02 Starting compiler/inference
Jun 17 13:31:52 Finished compiler/inference                                    1m49s   1GB
Jun 17 13:31:52 Starting compiler/backend/reg_alloc
Jun 17 13:32:48 Finished compiler/backend/reg_alloc                              55s   1GB
Jun 17 13:32:48 Starting compiler/backend/gc
Jun 17 13:41:48 Finished compiler/backend/gc                                   8m59s   2GB
Jun 17 13:41:48 Starting compiler/backend
Jun 17 13:41:49 Finished compiler/backend                                         0s  43MB
Jun 17 13:41:49 Starting compiler/encoders/asm
Jun 17 13:41:50 Finished compiler/encoders/asm                                    0s  37MB
Jun 17 13:41:50 Starting compiler/encoders/x64
Jun 17 13:42:46 Finished compiler/encoders/x64                                   55s 581MB
Jun 17 13:42:46 Starting compiler/encoders/arm7
Jun 17 13:44:21 Finished compiler/encoders/arm7                                1m34s   1GB
Jun 17 13:44:21 Starting compiler/encoders/arm8
Jun 17 13:44:50 Finished compiler/encoders/arm8                                  28s 591MB
Jun 17 13:44:51 Starting compiler/encoders/mips
Jun 17 13:45:56 Finished compiler/encoders/mips                                1m04s 926MB
Jun 17 13:45:56 Starting compiler/encoders/riscv
Jun 17 13:47:11 Finished compiler/encoders/riscv                               1m14s 841MB
Jun 17 13:47:11 Starting compiler/encoders/ag32
Jun 17 13:47:26 Finished compiler/encoders/ag32                                  14s 618MB
Jun 17 13:47:27 Starting compiler/backend/x64
Jun 17 13:47:42 Finished compiler/backend/x64                                    14s   1GB
Jun 17 13:47:42 Starting compiler/backend/arm7
Jun 17 13:47:59 Finished compiler/backend/arm7                                   16s   1GB
Jun 17 13:47:59 Starting compiler/backend/arm8
Jun 17 13:48:15 Finished compiler/backend/arm8                                   15s   1GB
Jun 17 13:48:15 Starting compiler/backend/mips
Jun 17 13:48:32 Finished compiler/backend/mips                                   16s   1GB
Jun 17 13:48:32 Starting compiler/backend/riscv
Jun 17 13:48:49 Finished compiler/backend/riscv                                  16s   1GB
Jun 17 13:48:50 Starting compiler/backend/ag32
Jun 17 13:49:57 Finished compiler/backend/ag32                                 1m07s   1GB
Jun 17 13:49:57 Starting compiler/parsing/proofs
Jun 17 13:55:35 Finished compiler/parsing/proofs                               5m37s 780MB
Jun 17 13:55:35 Starting compiler/inference/proofs
Jun 17 13:58:14 Finished compiler/inference/proofs                             2m38s   1GB
Jun 17 13:58:15 Starting compiler/backend/semantics
Jun 17 14:05:18 Finished compiler/backend/semantics                            7m03s   2GB
Jun 17 14:05:18 Starting compiler/backend/reg_alloc/proofs
Jun 17 14:08:38 Finished compiler/backend/reg_alloc/proofs                     3m19s 704MB
Jun 17 14:08:38 Starting compiler/backend/proofs
Jun 17 14:47:06 Finished compiler/backend/proofs                              38m26s   3GB
Jun 17 14:47:06 Starting compiler/encoders/x64/proofs
Jun 17 14:57:14 Finished compiler/encoders/x64/proofs                         10m07s   5GB
Jun 17 14:57:14 Starting compiler/encoders/arm7/proofs
Jun 17 15:10:43 Finished compiler/encoders/arm7/proofs                        13m28s   3GB
Jun 17 15:10:43 Starting compiler/encoders/arm8/proofs
Jun 17 15:17:30 Finished compiler/encoders/arm8/proofs                         6m46s   1GB
Jun 17 15:17:30 Starting compiler/encoders/mips/proofs
Jun 17 15:27:50 Finished compiler/encoders/mips/proofs                        10m18s   2GB
Jun 17 15:27:50 Starting compiler/encoders/riscv/proofs
Jun 17 15:36:19 Finished compiler/encoders/riscv/proofs                        8m28s   1GB
Jun 17 15:36:19 Starting compiler/encoders/ag32/proofs
Jun 17 15:38:47 Finished compiler/encoders/ag32/proofs                         2m27s 643MB
Jun 17 15:38:47 Starting compiler/backend/x64/proofs
Jun 17 15:39:04 Finished compiler/backend/x64/proofs                             16s   1GB
Jun 17 15:39:04 Starting compiler/backend/arm7/proofs
Jun 17 15:39:22 Finished compiler/backend/arm7/proofs                            17s   1GB
Jun 17 15:39:22 Starting compiler/backend/arm8/proofs
Jun 17 15:39:38 Finished compiler/backend/arm8/proofs                            15s   1GB
Jun 17 15:39:38 Starting compiler/backend/mips/proofs
Jun 17 15:39:56 Finished compiler/backend/mips/proofs                            17s   1GB
Jun 17 15:39:56 Starting compiler/backend/riscv/proofs
Jun 17 15:40:13 Finished compiler/backend/riscv/proofs                           16s   1GB
Jun 17 15:40:14 Starting compiler/backend/ag32/proofs
Jun 17 15:49:05 Finished compiler/backend/ag32/proofs                          8m50s   2GB
Jun 17 15:49:05 Starting compiler/proofs
Jun 17 15:50:31 Finished compiler/proofs                                       1m25s   3GB
Jun 17 15:50:32 Starting candle/set-theory
Jun 17 15:50:56 Finished candle/set-theory                                       23s 690MB
Jun 17 15:50:56 Starting candle/syntax-lib
Jun 17 15:51:05 Finished candle/syntax-lib                                        8s 605MB
Jun 17 15:51:05 Starting candle/standard/syntax
Jun 17 15:52:45 Finished candle/standard/syntax                                1m39s 910MB
Jun 17 15:52:46 Starting candle/standard/semantics
Jun 17 15:54:19 Finished candle/standard/semantics                             1m32s   1GB
Jun 17 15:54:19 Starting candle/standard/monadic
Jun 17 15:55:51 Finished candle/standard/monadic                               1m31s   1GB
Jun 17 15:55:51 Starting candle/standard/ml_kernel
Jun 17 15:59:40 Finished candle/standard/ml_kernel                             3m48s   4GB
Jun 17 15:59:40 Starting candle/standard/opentheory
Jun 17 16:07:59 Finished candle/standard/opentheory                            8m18s   3GB
Jun 17 16:08:00 Starting candle/standard/opentheory/compilation
Jun 17 16:37:05 Finished candle/standard/opentheory/compilation               29m04s  16GB
Jun 17 16:37:05 Starting candle/standard/opentheory/compilation/proofs
Jun 17 16:37:51 Finished candle/standard/opentheory/compilation/proofs           45s   2GB
Jun 17 16:37:51 Starting characteristic/examples
Jun 17 16:39:11 Finished characteristic/examples                               1m20s   2GB
Jun 17 16:39:12 Starting tutorial/solutions
Jun 17 16:52:01 Finished tutorial/solutions                                   12m48s   6GB
Jun 17 16:52:01 Starting translator/monadic/examples
Jun 17 16:54:49 Finished translator/monadic/examples                           2m47s   2GB
Jun 17 16:54:49 Starting examples
Jun 17 17:03:24 Finished examples                                              8m33s   4GB
Jun 17 17:03:24 Starting examples/compilation/x64
Jun 17 19:03:35 Finished examples/compilation/x64                           2h00m10s  13GB
Jun 17 19:03:35 Starting examples/compilation/x64/proofs
Jun 17 19:04:58 Finished examples/compilation/x64/proofs                       1m22s   2GB
Jun 17 19:04:59 Starting examples/compilation/ag32
Jun 17 19:32:51 Finished examples/compilation/ag32                            27m52s   6GB
Jun 17 19:32:51 Starting examples/compilation/ag32/proofs
Jun 17 19:33:46 Finished examples/compilation/ag32/proofs                        54s   2GB
Jun 17 19:33:46 Starting translator/okasaki-examples
Jun 17 19:37:52 Finished translator/okasaki-examples                           4m05s   1GB
Jun 17 19:37:52 Starting translator/other-examples
Jun 17 19:41:11 Finished translator/other-examples                             3m18s   1GB
Jun 17 19:41:12 Starting compiler/parsing/tests
Jun 17 19:41:35 Finished compiler/parsing/tests                                  23s 549MB
Jun 17 19:41:36 Starting compiler/inference/tests
Jun 17 19:45:46 Finished compiler/inference/tests                              4m10s   2GB
Jun 17 19:45:46 Starting compiler/bootstrap/translation
Jun 17 22:14:33 Finished compiler/bootstrap/translation                     2h28m45s  41GB
Jun 17 22:14:33 Starting unverified/sexpr-bootstrap/x64/64
Jun 17 22:21:45 Finished unverified/sexpr-bootstrap/x64/64                     7m10s   2GB
Jun 17 22:21:45 Starting unverified/sexpr-bootstrap/x64/32
Jun 17 22:27:26 Finished unverified/sexpr-bootstrap/x64/32                     5m39s   6GB
Jun 17 22:27:26 Starting compiler/benchmarks
Jun 17 23:05:40 Finished compiler/benchmarks                                  38m13s   2GB
Jun 17 23:05:40 Starting compiler/bootstrap/compilation/x64/64
Jun 18 10:20:47 Finished compiler/bootstrap/compilation/x64/64             11h15m05s  64GB
Jun 18 10:20:47 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 18 10:24:51 Finished compiler/bootstrap/compilation/x64/64/proofs          4m03s   5GB
Jun 18 10:24:51 Starting compiler/bootstrap/compilation/x64/32
Jun 18 20:40:39 Finished compiler/bootstrap/compilation/x64/32             10h15m46s  64GB
Jun 18 20:40:39 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 18 20:43:37 Finished compiler/bootstrap/compilation/x64/32/proofs          2m57s   5GB
Jun 18 20:43:37 Starting compiler/bootstrap/compilation/ag32/32
Jun 19 06:26:55 Finished compiler/bootstrap/compilation/ag32/32             9h43m16s  64GB
Jun 19 06:26:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 19 06:40:54 Finished compiler/bootstrap/compilation/ag32/32/proofs        13m57s  14GB
Jun 19 06:40:54 SUCCESS