Job 1148

CakeML:3a8cdd942237e58c14d85d24f8d9997cac1784b4
  Merge pull request #718 from CakeML/lpr [Jan 16 12:30:11]
HOL:29f6ddb65bb5d84c26f87faa6eeae514e3413406
  Fix HOLsexp selftest given change to API (fromList -> List) [Jan 13 07:30:16]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 16 12:31:44 Claimed job
Jan 16 12:31:51 Building HOL
Jan 16 12:43:15 Starting developers
Jan 16 12:43:19 Finished developers                                               4s  98MB
Jan 16 12:43:19 Starting developers/bin
Jan 16 12:43:27 Finished developers/bin                                           7s   1GB
Jan 16 12:43:27 Starting semantics/ffi
Jan 16 12:43:37 Finished semantics/ffi                                            9s 210MB
Jan 16 12:43:37 Starting semantics
Jan 16 12:45:08 Finished semantics                                             1m30s   1GB
Jan 16 12:45:08 Starting semantics/proofs
Jan 16 12:48:36 Finished semantics/proofs                                      3m28s 979MB
Jan 16 12:48:37 Starting semantics/alt_semantics
Jan 16 12:48:45 Finished semantics/alt_semantics                                  7s 258MB
Jan 16 12:48:45 Starting semantics/alt_semantics/proofs
Jan 16 12:50:52 Finished semantics/alt_semantics/proofs                        2m07s   1GB
Jan 16 12:50:53 Starting basis/pure
Jan 16 12:53:50 Finished basis/pure                                            2m56s 674MB
Jan 16 12:53:50 Starting translator
Jan 16 12:56:29 Finished translator                                            2m38s   1GB
Jan 16 12:56:29 Starting compiler/parsing
Jan 16 12:57:39 Finished compiler/parsing                                      1m10s   2GB
Jan 16 12:57:39 Starting characteristic
Jan 16 13:03:39 Finished characteristic                                        5m59s   1GB
Jan 16 13:03:39 Starting translator/monadic
Jan 16 13:05:15 Finished translator/monadic                                    1m36s   1GB
Jan 16 13:05:15 Starting basis
Jan 16 13:40:53 Finished basis                                                35m37s  22GB
Jan 16 13:40:53 Starting compiler/inference
Jan 16 13:43:15 Finished compiler/inference                                    2m21s   2GB
Jan 16 13:43:15 Starting compiler/backend/reg_alloc
Jan 16 13:44:18 Finished compiler/backend/reg_alloc                            1m02s   1GB
Jan 16 13:44:18 Starting compiler/backend/gc
Jan 16 13:47:46 Finished compiler/backend/gc                                   3m27s   2GB
Jan 16 13:47:46 Starting compiler/backend
Jan 16 13:52:20 Finished compiler/backend                                      4m33s   4GB
Jan 16 13:52:20 Starting compiler/encoders/asm
Jan 16 13:52:41 Finished compiler/encoders/asm                                   21s 847MB
Jan 16 13:52:41 Starting compiler/encoders/x64
Jan 16 13:53:40 Finished compiler/encoders/x64                                   58s 820MB
Jan 16 13:53:40 Starting compiler/encoders/arm7
Jan 16 13:55:29 Finished compiler/encoders/arm7                                1m48s   1GB
Jan 16 13:55:29 Starting compiler/encoders/arm8
Jan 16 13:56:03 Finished compiler/encoders/arm8                                  33s 610MB
Jan 16 13:56:03 Starting compiler/encoders/mips
Jan 16 13:57:17 Finished compiler/encoders/mips                                1m13s   1GB
Jan 16 13:57:17 Starting compiler/encoders/riscv
Jan 16 13:58:42 Finished compiler/encoders/riscv                               1m24s   1GB
Jan 16 13:58:42 Starting compiler/encoders/ag32
Jan 16 13:58:59 Finished compiler/encoders/ag32                                  17s 771MB
Jan 16 13:59:00 Starting compiler/backend/x64
Jan 16 13:59:18 Finished compiler/backend/x64                                    17s   1GB
Jan 16 13:59:18 Starting compiler/backend/arm7
Jan 16 13:59:38 Finished compiler/backend/arm7                                   19s   1GB
Jan 16 13:59:38 Starting compiler/backend/arm8
Jan 16 14:00:00 Finished compiler/backend/arm8                                   18s   1GB
Jan 16 14:00:00 Starting compiler/backend/mips
Jan 16 14:00:19 Finished compiler/backend/mips                                   18s   1GB
Jan 16 14:00:19 Starting compiler/backend/riscv
Jan 16 14:00:38 Finished compiler/backend/riscv                                  19s   1GB
Jan 16 14:01:02 Starting compiler/backend/ag32
Jan 16 14:02:14 Finished compiler/backend/ag32                                 1m11s   1GB
Jan 16 14:02:14 Starting compiler/parsing/proofs
Jan 16 14:08:10 Finished compiler/parsing/proofs                               5m56s 829MB
Jan 16 14:08:10 Starting compiler/inference/proofs
Jan 16 14:11:15 Finished compiler/inference/proofs                             3m04s 958MB
Jan 16 14:11:15 Starting compiler/backend/semantics
Jan 16 14:41:38 Finished compiler/backend/semantics                           30m22s   2GB
Jan 16 14:41:39 Starting compiler/backend/reg_alloc/proofs
Jan 16 14:45:18 Finished compiler/backend/reg_alloc/proofs                     3m39s 938MB
Jan 16 14:45:18 Starting compiler/backend/proofs
Jan 16 15:52:08 Finished compiler/backend/proofs                            1h06m49s  14GB
Jan 16 15:52:08 Starting compiler/encoders/x64/proofs
Jan 16 16:01:59 Finished compiler/encoders/x64/proofs                          9m50s   4GB
Jan 16 16:01:59 Starting compiler/encoders/arm7/proofs
Jan 16 16:15:14 Finished compiler/encoders/arm7/proofs                        13m14s   3GB
Jan 16 16:15:14 Starting compiler/encoders/arm8/proofs
Jan 16 16:21:56 Finished compiler/encoders/arm8/proofs                         6m41s   1GB
Jan 16 16:21:56 Starting compiler/encoders/mips/proofs
Jan 16 16:32:04 Finished compiler/encoders/mips/proofs                        10m07s   2GB
Jan 16 16:32:04 Starting compiler/encoders/riscv/proofs
Jan 16 16:41:03 Finished compiler/encoders/riscv/proofs                        8m59s   1GB
Jan 16 16:41:04 Starting compiler/encoders/ag32/proofs
Jan 16 16:43:43 Finished compiler/encoders/ag32/proofs                         2m39s 898MB
Jan 16 16:43:43 Starting compiler/backend/x64/proofs
Jan 16 16:44:02 Finished compiler/backend/x64/proofs                             18s   1GB
Jan 16 16:44:02 Starting compiler/backend/arm7/proofs
Jan 16 16:44:22 Finished compiler/backend/arm7/proofs                            19s 813MB
Jan 16 16:44:22 Starting compiler/backend/arm8/proofs
Jan 16 16:44:42 Finished compiler/backend/arm8/proofs                            19s 786MB
Jan 16 16:44:42 Starting compiler/backend/mips/proofs
Jan 16 16:45:01 Finished compiler/backend/mips/proofs                            18s 923MB
Jan 16 16:45:01 Starting compiler/backend/riscv/proofs
Jan 16 16:45:21 Finished compiler/backend/riscv/proofs                           19s   1GB
Jan 16 16:45:21 Starting compiler/backend/ag32/proofs
Jan 16 16:54:55 Finished compiler/backend/ag32/proofs                          9m34s   2GB
Jan 16 16:54:56 Starting compiler/proofs
Jan 16 16:56:46 Finished compiler/proofs                                       1m50s   2GB
Jan 16 16:56:46 Starting candle/set-theory
Jan 16 16:57:14 Finished candle/set-theory                                       27s 771MB
Jan 16 16:57:14 Starting candle/syntax-lib
Jan 16 16:57:24 Finished candle/syntax-lib                                       10s 579MB
Jan 16 16:57:25 Starting candle/standard/syntax
Jan 16 16:59:15 Finished candle/standard/syntax                                1m50s   1GB
Jan 16 16:59:15 Starting candle/standard/semantics
Jan 16 17:00:57 Finished candle/standard/semantics                             1m41s   1GB
Jan 16 17:00:57 Starting candle/standard/monadic
Jan 16 17:02:40 Finished candle/standard/monadic                               1m42s   1GB
Jan 16 17:02:40 Starting candle/standard/ml_kernel
Jan 16 17:08:12 Finished candle/standard/ml_kernel                             5m31s   2GB
Jan 16 17:08:12 Starting candle/standard/opentheory
Jan 16 17:18:07 Finished candle/standard/opentheory                            9m55s   4GB
Jan 16 17:18:07 Starting candle/standard/opentheory/compilation
Jan 16 17:51:45 Finished candle/standard/opentheory/compilation               33m38s  11GB
Jan 16 17:51:46 Starting candle/standard/opentheory/compilation/proofs
Jan 16 17:52:37 Finished candle/standard/opentheory/compilation/proofs           50s   3GB
Jan 16 17:52:37 Starting characteristic/examples
Jan 16 17:54:09 Finished characteristic/examples                               1m31s   2GB
Jan 16 17:54:09 Starting tutorial/solutions
Jan 16 18:09:09 Finished tutorial/solutions                                   14m59s   7GB
Jan 16 18:09:09 Starting translator/monadic/examples
Jan 16 18:12:10 Finished translator/monadic/examples                           3m00s   2GB
Jan 16 18:12:10 Starting examples
Jan 16 18:21:55 Finished examples                                              9m44s   4GB
Jan 16 18:21:55 Starting examples/compilation/x64
Jan 16 20:39:25 Finished examples/compilation/x64                           2h17m28s  14GB
Jan 16 20:39:25 Starting examples/compilation/x64/proofs
Jan 16 20:41:29 Finished examples/compilation/x64/proofs                       2m03s   2GB
Jan 16 20:41:29 Starting examples/compilation/ag32
Jan 16 21:12:43 Finished examples/compilation/ag32                            31m13s   6GB
Jan 16 21:12:43 Starting examples/compilation/ag32/proofs
Jan 16 21:13:38 Finished examples/compilation/ag32/proofs                        54s   2GB
Jan 16 21:13:38 Starting examples/cost
Jan 16 21:42:36 Finished examples/cost                                        28m57s   6GB
Jan 16 21:42:36 Starting examples/lpr_checker
Jan 16 21:46:28 Finished examples/lpr_checker                                  3m52s   2GB
Jan 16 21:46:29 Starting examples/lpr_checker/compilation
Jan 16 22:03:25 Finished examples/lpr_checker/compilation                     16m56s   9GB
Jan 16 22:03:25 Starting examples/lpr_checker/compilation/proofs
Jan 16 22:04:14 Finished examples/lpr_checker/compilation/proofs                 48s   2GB
Jan 16 22:04:14 Starting examples/lpr_checker/array
Jan 16 22:14:12 Finished examples/lpr_checker/array                            9m58s   3GB
Jan 16 22:14:13 Starting examples/lpr_checker/array/compilation
Jan 16 22:29:44 Finished examples/lpr_checker/array/compilation               15m31s   7GB
Jan 16 22:29:44 Starting examples/lpr_checker/array/compilation/proofs
Jan 16 22:30:35 Finished examples/lpr_checker/array/compilation/proofs           50s   2GB
Jan 16 22:30:35 Starting translator/okasaki-examples
Jan 16 22:34:57 Finished translator/okasaki-examples                           4m21s   2GB
Jan 16 22:34:57 Starting translator/other-examples
Jan 16 22:36:54 Finished translator/other-examples                             1m57s   1GB
Jan 16 22:36:54 Starting compiler/parsing/tests
Jan 16 22:37:20 Finished compiler/parsing/tests                                  25s 538MB
Jan 16 22:37:20 Starting compiler/inference/tests
Jan 16 22:41:50 Finished compiler/inference/tests                              4m29s   4GB
Jan 16 22:41:50 Starting compiler/bootstrap/translation
Jan 17 02:39:40 Finished compiler/bootstrap/translation                     3h57m49s  43GB
Jan 17 02:39:40 Starting unverified/sexpr-bootstrap/x64/64
Jan 17 02:54:24 Finished unverified/sexpr-bootstrap/x64/64                    14m43s   2GB
Jan 17 02:54:25 Starting unverified/sexpr-bootstrap/x64/32
Jan 17 03:04:48 Finished unverified/sexpr-bootstrap/x64/32                    10m22s   5GB
Jan 17 03:04:48 Starting compiler/benchmarks
Jan 17 03:04:50 Finished compiler/benchmarks                                      2s  23MB
Jan 17 03:04:50 Starting compiler/bootstrap/compilation/x64/64
Jan 17 18:11:19 Finished compiler/bootstrap/compilation/x64/64             15h06m27s  64GB
Jan 17 18:11:19 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 17 18:15:58 Finished compiler/bootstrap/compilation/x64/64/proofs          4m39s   6GB
Jan 17 18:15:58 Starting compiler/bootstrap/compilation/x64/32
Jan 18 07:04:47 Finished compiler/bootstrap/compilation/x64/32             12h48m47s  64GB
Jan 18 07:04:47 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 18 07:08:12 Finished compiler/bootstrap/compilation/x64/32/proofs          3m25s   5GB
Jan 18 07:08:12 Starting compiler/bootstrap/compilation/ag32/32
Jan 18 21:32:49 Finished compiler/bootstrap/compilation/ag32/32            14h24m36s  64GB
Jan 18 21:32:49 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 18 22:06:22 Finished compiler/bootstrap/compilation/ag32/32/proofs        33m32s  17GB
Jan 18 22:06:22 SUCCESS