Job 1412

CakeML:3157c56dfe1eab23ef37b3cefb8fca2cced396c5
  Merge pull request #804 from CakeML/currheap [Nov 17 07:22:18]
HOL:79c2f6fae3338794b0290aeb7fed338be456efcd
  Change term_pp to print quantifier blocks together and indent less [Dec 07 07:21:56]
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

Dec 08 14:19:28 Claimed job
Dec 08 14:19:32 Building HOL
Dec 08 14:34:57 Starting developers
Dec 08 14:35:02 Finished developers                                               4s  94MB
Dec 08 14:35:02 Starting developers/bin
Dec 08 14:35:09 Finished developers/bin                                           6s   1GB
Dec 08 14:35:09 Starting semantics/ffi
Dec 08 14:35:20 Finished semantics/ffi                                           11s 225MB
Dec 08 14:35:20 Starting semantics
Dec 08 14:36:57 Finished semantics                                             1m36s   1GB
Dec 08 14:36:57 Starting semantics/proofs
Dec 08 14:40:32 Finished semantics/proofs                                      3m34s 849MB
Dec 08 14:40:32 Starting semantics/alt_semantics
Dec 08 14:40:41 Finished semantics/alt_semantics                                  8s 332MB
Dec 08 14:40:41 Starting semantics/alt_semantics/proofs
Dec 08 14:43:00 Finished semantics/alt_semantics/proofs                        2m18s 877MB
Dec 08 14:43:00 Starting basis/pure
Dec 08 14:46:01 Finished basis/pure                                            3m01s 791MB
Dec 08 14:46:02 Starting translator
Dec 08 14:48:51 Finished translator                                            2m49s   1GB
Dec 08 14:48:51 Starting compiler/parsing
Dec 08 14:50:06 Finished compiler/parsing                                      1m14s   2GB
Dec 08 14:50:06 Starting characteristic
Dec 08 14:56:23 Finished characteristic                                        6m16s   1GB
Dec 08 14:56:23 Starting translator/monadic
Dec 08 14:58:04 Finished translator/monadic                                    1m40s   2GB
Dec 08 14:58:04 Starting basis
Dec 08 15:34:41 Finished basis                                                36m36s  12GB
Dec 08 15:34:41 Starting compiler/inference
Dec 08 15:35:54 Finished compiler/inference                                    1m12s   1GB
Dec 08 15:35:54 Starting compiler/backend/reg_alloc
Dec 08 15:37:02 Finished compiler/backend/reg_alloc                            1m07s   1GB
Dec 08 15:37:02 Starting compiler/backend/gc
Dec 08 15:40:50 Finished compiler/backend/gc                                   3m47s   2GB
Dec 08 15:40:50 Starting compiler/backend
Dec 08 15:45:42 Finished compiler/backend                                      4m52s   3GB
Dec 08 15:45:43 Starting compiler/encoders/asm
Dec 08 15:46:06 Finished compiler/encoders/asm                                   23s 662MB
Dec 08 15:46:06 Starting compiler/encoders/x64
Dec 08 15:47:11 Finished compiler/encoders/x64                                 1m04s 880MB
Dec 08 15:47:11 Starting compiler/encoders/arm7
Dec 08 15:49:21 Finished compiler/encoders/arm7                                2m10s   1GB
Dec 08 15:49:22 Starting compiler/encoders/arm8
Dec 08 15:50:01 Finished compiler/encoders/arm8                                  38s 545MB
Dec 08 15:50:01 Starting compiler/encoders/mips
Dec 08 15:51:36 Finished compiler/encoders/mips                                1m34s   1GB
Dec 08 15:51:36 Starting compiler/encoders/riscv
Dec 08 15:53:27 Finished compiler/encoders/riscv                               1m50s 806MB
Dec 08 15:53:27 Starting compiler/encoders/ag32
Dec 08 15:53:46 Finished compiler/encoders/ag32                                  19s 612MB
Dec 08 15:53:47 Starting compiler/backend/x64
Dec 08 15:54:06 Finished compiler/backend/x64                                    19s   1GB
Dec 08 15:54:06 Starting compiler/backend/arm7
Dec 08 15:54:27 Finished compiler/backend/arm7                                   20s   1GB
Dec 08 15:54:27 Starting compiler/backend/arm8
Dec 08 15:54:46 Finished compiler/backend/arm8                                   18s   1GB
Dec 08 15:54:47 Starting compiler/backend/mips
Dec 08 15:55:07 Finished compiler/backend/mips                                   19s   1GB
Dec 08 15:55:07 Starting compiler/backend/riscv
Dec 08 15:55:26 Finished compiler/backend/riscv                                  19s   1GB
Dec 08 15:55:26 Starting compiler/backend/ag32
Dec 08 15:56:38 Finished compiler/backend/ag32                                 1m11s   1GB
Dec 08 15:56:38 Starting compiler/parsing/proofs
Dec 08 16:02:26 Finished compiler/parsing/proofs                               5m47s   1GB
Dec 08 16:02:26 Starting compiler/inference/proofs
Dec 08 16:05:02 Finished compiler/inference/proofs                             2m35s 910MB
Dec 08 16:05:02 Starting compiler/backend/semantics
Dec 08 16:36:48 Finished compiler/backend/semantics                           31m45s   2GB
Dec 08 16:36:48 Starting compiler/backend/reg_alloc/proofs
Dec 08 16:40:38 Finished compiler/backend/reg_alloc/proofs                     3m49s   1GB
Dec 08 16:40:38 Starting compiler/backend/proofs
Dec 08 17:38:45 Finished compiler/backend/proofs                              58m06s  15GB
Dec 08 17:38:45 Starting compiler/encoders/x64/proofs
Dec 08 17:49:03 Finished compiler/encoders/x64/proofs                         10m17s   4GB
Dec 08 17:49:03 Starting compiler/encoders/arm7/proofs
Dec 08 18:02:50 Finished compiler/encoders/arm7/proofs                        13m46s   6GB
Dec 08 18:02:51 Starting compiler/encoders/arm8/proofs
Dec 08 18:10:02 Finished compiler/encoders/arm8/proofs                         7m11s   1GB
Dec 08 18:10:02 Starting compiler/encoders/mips/proofs
Dec 08 18:20:45 Finished compiler/encoders/mips/proofs                        10m41s   2GB
Dec 08 18:20:45 Starting compiler/encoders/riscv/proofs
Dec 08 18:30:16 Finished compiler/encoders/riscv/proofs                        9m31s   1GB
Dec 08 18:30:16 Starting compiler/encoders/ag32/proofs
Dec 08 18:33:02 Finished compiler/encoders/ag32/proofs                         2m45s   1GB
Dec 08 18:33:02 Starting compiler/backend/x64/proofs
Dec 08 18:33:24 Finished compiler/backend/x64/proofs                             21s   1GB
Dec 08 18:33:24 Starting compiler/backend/arm7/proofs
Dec 08 18:33:48 Finished compiler/backend/arm7/proofs                            23s   1GB
Dec 08 18:33:48 Starting compiler/backend/arm8/proofs
Dec 08 18:34:10 Finished compiler/backend/arm8/proofs                            21s   1GB
Dec 08 18:34:10 Starting compiler/backend/mips/proofs
Dec 08 18:34:31 Finished compiler/backend/mips/proofs                            21s   1GB
Dec 08 18:34:32 Starting compiler/backend/riscv/proofs
Dec 08 18:34:54 Finished compiler/backend/riscv/proofs                           22s   1GB
Dec 08 18:34:54 Starting compiler/backend/ag32/proofs
Dec 08 18:48:21 Finished compiler/backend/ag32/proofs                         13m26s   3GB
Dec 08 18:48:22 Starting compiler/proofs
Dec 09 08:58:44 Resuming compiler/proofs
Dec 09 09:00:29 Finished compiler/proofs                                       1m45s   5GB
Dec 09 09:00:29 Starting candle/set-theory
Dec 09 09:00:59 Finished candle/set-theory                                       29s 717MB
Dec 09 09:00:59 Starting candle/syntax-lib
Dec 09 09:01:10 Finished candle/syntax-lib                                       11s 662MB
Dec 09 09:01:11 Starting candle/standard/syntax
Dec 09 09:03:07 Finished candle/standard/syntax                                1m55s   1GB
Dec 09 09:03:07 Starting candle/standard/semantics
Dec 09 09:04:55 Finished candle/standard/semantics                             1m47s   1GB
Dec 09 09:04:55 Starting candle/standard/monadic
Dec 09 09:06:43 Finished candle/standard/monadic                               1m47s   1GB
Dec 09 09:06:43 Starting candle/standard/ml_kernel
Dec 09 09:12:36 Finished candle/standard/ml_kernel                             5m53s   5GB
Dec 09 09:12:36 Starting candle/overloading/syntax
Dec 09 09:15:55 Finished candle/overloading/syntax                             3m18s   1GB
Dec 09 09:15:55 Starting candle/overloading/semantics
Dec 09 09:28:38 Finished candle/overloading/semantics                         12m42s   4GB
Dec 09 09:28:38 Starting characteristic/examples
Dec 09 09:30:03 Finished characteristic/examples                               1m24s   3GB
Dec 09 09:30:03 Starting tutorial/solutions
Dec 09 09:44:42 Finished tutorial/solutions                                   14m38s   6GB
Dec 09 09:44:43 Starting translator/monadic/examples
Dec 09 09:48:04 Finished translator/monadic/examples                           3m21s   2GB
Dec 09 09:48:04 Starting examples
Dec 09 09:57:01 Finished examples                                              8m56s   3GB
Dec 09 09:57:01 Starting examples/compilation/x64
Dec 09 12:13:14 Finished examples/compilation/x64                           2h16m12s  13GB
Dec 09 12:13:14 Starting examples/compilation/x64/proofs
Dec 09 12:14:57 Finished examples/compilation/x64/proofs                       1m43s   3GB
Dec 09 12:14:57 Starting examples/compilation/ag32
Dec 09 12:46:37 Finished examples/compilation/ag32                            31m39s   8GB
Dec 09 12:46:38 Starting examples/compilation/ag32/proofs
Dec 09 12:47:28 Finished examples/compilation/ag32/proofs                        50s   3GB
Dec 09 12:47:28 Starting examples/cost
Dec 09 13:45:36 Finished examples/cost                                        58m07s   6GB
Dec 09 13:45:36 Starting examples/lpr_checker
Dec 09 13:49:34 Finished examples/lpr_checker                                  3m56s   2GB
Dec 09 13:49:34 Starting examples/lpr_checker/compilation
Dec 09 14:06:40 Finished examples/lpr_checker/compilation                     17m06s   9GB
Dec 09 14:06:40 Starting examples/lpr_checker/compilation/proofs
Dec 09 14:07:19 Finished examples/lpr_checker/compilation/proofs                 38s   2GB
Dec 09 14:07:19 Starting examples/lpr_checker/array
Dec 09 14:22:41 Finished examples/lpr_checker/array                           15m21s   3GB
Dec 09 14:22:41 Starting examples/lpr_checker/array/compilation
Dec 09 14:41:16 Finished examples/lpr_checker/array/compilation               18m35s  10GB
Dec 09 14:41:17 Starting examples/lpr_checker/array/compilation/proofs
Dec 09 14:42:06 Finished examples/lpr_checker/array/compilation/proofs           48s   3GB
Dec 09 14:42:06 Starting examples/opentheory
Dec 09 14:52:18 Finished examples/opentheory                                  10m12s   3GB
Dec 09 14:52:19 Starting examples/opentheory
Dec 09 14:52:20 Finished examples/opentheory                                      1s  18MB
Dec 09 14:52:20 Starting examples/opentheory/compilation
Dec 09 15:24:54 Finished examples/opentheory/compilation                      32m33s  17GB
Dec 09 15:24:54 Starting examples/opentheory/compilation/proofs
Dec 09 15:25:36 Finished examples/opentheory/compilation/proofs                  41s   3GB
Dec 09 15:25:36 Starting examples/opentheory/compilation/ag32
Dec 09 16:00:26 Finished examples/opentheory/compilation/ag32                 34m49s  18GB
Dec 09 16:00:27 Starting examples/opentheory/compilation/ag32/proofs
Dec 09 16:02:20 Finished examples/opentheory/compilation/ag32/proofs           1m53s   5GB
Dec 09 16:02:20 Starting translator/okasaki-examples
Dec 09 16:06:50 Finished translator/okasaki-examples                           4m29s   2GB
Dec 09 16:06:50 Starting translator/other-examples
Dec 09 16:08:53 Finished translator/other-examples                             2m02s   1GB
Dec 09 16:08:53 Starting compiler/parsing/tests
Dec 09 16:09:20 Finished compiler/parsing/tests                                  26s 595MB
Dec 09 16:09:20 Starting compiler/inference/tests
Dec 09 16:14:08 Finished compiler/inference/tests                              4m47s   3GB
Dec 09 16:14:08 Starting compiler/bootstrap/translation
Dec 09 19:11:18 Finished compiler/bootstrap/translation                     2h57m09s  51GB
Dec 09 19:11:18 Starting unverified/sexpr-bootstrap/x64/64
Dec 09 19:20:50 Finished unverified/sexpr-bootstrap/x64/64                     9m31s   8GB
Dec 09 19:20:51 Starting unverified/sexpr-bootstrap/x64/32
Dec 09 19:28:19 Finished unverified/sexpr-bootstrap/x64/32                     7m27s   8GB
Dec 09 19:28:19 Starting compiler/benchmarks
Dec 09 19:28:21 Finished compiler/benchmarks                                      1s  25MB
Dec 09 19:28:21 Starting compiler/bootstrap/compilation/x64/64
Dec 10 07:31:12 Finished compiler/bootstrap/compilation/x64/64             12h02m49s  64GB
Dec 10 07:31:12 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 10 07:34:19 Finished compiler/bootstrap/compilation/x64/64/proofs          3m06s  13GB
Dec 10 07:34:20 Starting compiler/bootstrap/compilation/x64/32
Dec 10 18:21:52 Finished compiler/bootstrap/compilation/x64/32             10h47m31s  64GB
Dec 10 18:21:53 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 10 18:24:57 Finished compiler/bootstrap/compilation/x64/32/proofs          3m04s  12GB
Dec 10 18:24:57 Starting compiler/bootstrap/compilation/ag32/32
Dec 11 06:03:05 Finished compiler/bootstrap/compilation/ag32/32            11h38m07s  64GB
Dec 11 06:03:06 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 11 06:22:44 Finished compiler/bootstrap/compilation/ag32/32/proofs        19m38s  17GB
Dec 11 06:22:44 SUCCESS