Job 1329

CakeML:0b23296d34495457ed119cb1a4a27c60dd8758d0
  Get some examples to build again [Aug 06 17:28:40]
HOL:4dace330bc39539baafc41e1ee8bc7e37df57228
  Prove correctness of fix-point calculator relation over finite maps [Aug 28 07:58:23]
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

Aug 31 07:40:51 Claimed job
Aug 31 07:40:58 Building HOL
Aug 31 07:55:46 Starting developers
Aug 31 07:55:50 Finished developers                                               4s 111MB
Aug 31 07:55:50 Starting developers/bin
Aug 31 07:55:57 Finished developers/bin                                           6s   1GB
Aug 31 07:55:57 Starting semantics/ffi
Aug 31 07:56:09 Finished semantics/ffi                                           11s 263MB
Aug 31 07:56:09 Starting semantics
Aug 31 07:57:45 Finished semantics                                             1m35s   1GB
Aug 31 07:57:45 Starting semantics/proofs
Aug 31 08:01:19 Finished semantics/proofs                                      3m32s 955MB
Aug 31 08:01:19 Starting semantics/alt_semantics
Aug 31 08:01:28 Finished semantics/alt_semantics                                  9s 338MB
Aug 31 08:01:28 Starting semantics/alt_semantics/proofs
Aug 31 08:03:45 Finished semantics/alt_semantics/proofs                        2m16s 796MB
Aug 31 08:03:45 Starting basis/pure
Aug 31 08:06:46 Finished basis/pure                                            3m00s 908MB
Aug 31 08:06:46 Starting translator
Aug 31 08:09:33 Finished translator                                            2m46s   1GB
Aug 31 08:09:34 Starting compiler/parsing
Aug 31 08:10:49 Finished compiler/parsing                                      1m15s   2GB
Aug 31 08:10:49 Starting characteristic
Aug 31 08:17:04 Finished characteristic                                        6m14s   1GB
Aug 31 08:17:04 Starting translator/monadic
Aug 31 08:18:46 Finished translator/monadic                                    1m41s   1GB
Aug 31 08:18:46 Starting basis
Aug 31 08:55:00 Finished basis                                                36m13s  16GB
Aug 31 08:55:00 Starting compiler/inference
Aug 31 08:56:14 Finished compiler/inference                                    1m13s   1GB
Aug 31 08:56:14 Starting compiler/backend/reg_alloc
Aug 31 08:57:20 Finished compiler/backend/reg_alloc                            1m05s   1GB
Aug 31 08:57:20 Starting compiler/backend/gc
Aug 31 09:01:06 Finished compiler/backend/gc                                   3m45s   2GB
Aug 31 09:01:06 Starting compiler/backend
Aug 31 09:05:53 Finished compiler/backend                                      4m47s   4GB
Aug 31 09:05:54 Starting compiler/encoders/asm
Aug 31 09:06:17 Finished compiler/encoders/asm                                   23s 798MB
Aug 31 09:06:17 Starting compiler/encoders/x64
Aug 31 09:07:21 Finished compiler/encoders/x64                                 1m03s 964MB
Aug 31 09:07:21 Starting compiler/encoders/arm7
Aug 31 09:09:22 Finished compiler/encoders/arm7                                2m00s   1GB
Aug 31 09:09:23 Starting compiler/encoders/arm8
Aug 31 09:10:00 Finished compiler/encoders/arm8                                  37s 608MB
Aug 31 09:10:00 Starting compiler/encoders/mips
Aug 31 09:11:24 Finished compiler/encoders/mips                                1m23s   1GB
Aug 31 09:11:24 Starting compiler/encoders/riscv
Aug 31 09:13:01 Finished compiler/encoders/riscv                               1m37s   1GB
Aug 31 09:13:02 Starting compiler/encoders/ag32
Aug 31 09:13:20 Finished compiler/encoders/ag32                                  18s 596MB
Aug 31 09:13:20 Starting compiler/backend/x64
Aug 31 09:13:39 Finished compiler/backend/x64                                    18s   1GB
Aug 31 09:13:39 Starting compiler/backend/arm7
Aug 31 09:13:58 Finished compiler/backend/arm7                                   18s   1GB
Aug 31 09:13:58 Starting compiler/backend/arm8
Aug 31 09:14:17 Finished compiler/backend/arm8                                   18s   1GB
Aug 31 09:14:18 Starting compiler/backend/mips
Aug 31 09:14:37 Finished compiler/backend/mips                                   19s   1GB
Aug 31 09:14:37 Starting compiler/backend/riscv
Aug 31 09:14:57 Finished compiler/backend/riscv                                  19s   1GB
Aug 31 09:14:57 Starting compiler/backend/ag32
Aug 31 09:16:12 Finished compiler/backend/ag32                                 1m14s   1GB
Aug 31 09:16:12 Starting compiler/parsing/proofs
Aug 31 09:22:04 Finished compiler/parsing/proofs                               5m51s   1GB
Aug 31 09:22:04 Starting compiler/inference/proofs
Aug 31 09:24:39 Finished compiler/inference/proofs                             2m35s   1GB
Aug 31 09:24:39 Starting compiler/backend/semantics
Aug 31 09:56:07 Finished compiler/backend/semantics                           31m27s   2GB
Aug 31 09:56:07 Starting compiler/backend/reg_alloc/proofs
Aug 31 09:59:53 Finished compiler/backend/reg_alloc/proofs                     3m45s 992MB
Aug 31 09:59:53 Starting compiler/backend/proofs
Aug 31 10:57:34 Finished compiler/backend/proofs                              57m40s  14GB
Aug 31 10:57:34 Starting compiler/encoders/x64/proofs
Aug 31 11:07:50 Finished compiler/encoders/x64/proofs                         10m16s   5GB
Aug 31 11:07:50 Starting compiler/encoders/arm7/proofs
Aug 31 11:21:41 Finished compiler/encoders/arm7/proofs                        13m50s   3GB
Aug 31 11:21:41 Starting compiler/encoders/arm8/proofs
Aug 31 11:28:44 Finished compiler/encoders/arm8/proofs                         7m03s   1GB
Aug 31 11:28:45 Starting compiler/encoders/mips/proofs
Aug 31 11:39:36 Finished compiler/encoders/mips/proofs                        10m50s   2GB
Aug 31 11:39:36 Starting compiler/encoders/riscv/proofs
Aug 31 11:48:53 Finished compiler/encoders/riscv/proofs                        9m16s   1GB
Aug 31 11:48:53 Starting compiler/encoders/ag32/proofs
Aug 31 11:51:42 Finished compiler/encoders/ag32/proofs                         2m48s 674MB
Aug 31 11:51:42 Starting compiler/backend/x64/proofs
Aug 31 11:52:03 Finished compiler/backend/x64/proofs                             20s   1GB
Aug 31 11:52:03 Starting compiler/backend/arm7/proofs
Aug 31 11:52:25 Finished compiler/backend/arm7/proofs                            22s   1GB
Aug 31 11:52:25 Starting compiler/backend/arm8/proofs
Aug 31 11:52:45 Finished compiler/backend/arm8/proofs                            19s   1GB
Aug 31 11:52:45 Starting compiler/backend/mips/proofs
Aug 31 11:53:05 Finished compiler/backend/mips/proofs                            19s   1GB
Aug 31 11:53:05 Starting compiler/backend/riscv/proofs
Aug 31 11:53:26 Finished compiler/backend/riscv/proofs                           20s   1GB
Aug 31 11:53:27 Starting compiler/backend/ag32/proofs
Aug 31 12:06:57 Finished compiler/backend/ag32/proofs                         13m29s   2GB
Aug 31 12:06:57 Starting compiler/proofs
Aug 31 12:08:49 Finished compiler/proofs                                       1m51s   3GB
Aug 31 12:08:49 Starting candle/set-theory
Aug 31 12:09:18 Finished candle/set-theory                                       28s 920MB
Aug 31 12:09:18 Starting candle/syntax-lib
Aug 31 12:09:30 Finished candle/syntax-lib                                       11s 509MB
Aug 31 12:09:30 Starting candle/standard/syntax
Aug 31 12:11:25 Finished candle/standard/syntax                                1m55s 889MB
Aug 31 12:11:25 Starting candle/standard/semantics
Aug 31 12:13:16 Finished candle/standard/semantics                             1m50s   1GB
Aug 31 12:13:16 Starting candle/standard/monadic
Aug 31 12:15:05 Finished candle/standard/monadic                               1m49s   1GB
Aug 31 12:15:05 Starting candle/standard/ml_kernel
Aug 31 12:20:51 Finished candle/standard/ml_kernel                             5m45s   5GB
Aug 31 12:20:52 Starting candle/overloading/syntax
Aug 31 12:24:07 Finished candle/overloading/syntax                             3m14s   1GB
Aug 31 12:24:07 Starting candle/overloading/semantics
Aug 31 12:31:22 Finished candle/overloading/semantics                          7m15s   3GB
Aug 31 12:31:23 Starting characteristic/examples
Aug 31 12:32:43 Finished characteristic/examples                               1m20s   2GB
Aug 31 12:32:43 Starting tutorial/solutions
Aug 31 12:47:09 Finished tutorial/solutions                                   14m25s   6GB
Aug 31 12:47:09 Starting translator/monadic/examples
Aug 31 12:50:25 Finished translator/monadic/examples                           3m15s   2GB
Aug 31 12:50:25 Starting examples
Sep 01 10:45:36 Resuming examples
Sep 01 10:46:36 Finished examples                                              1m00s   2GB
Sep 01 10:46:37 Starting examples/compilation/x64
Sep 01 13:03:45 Finished examples/compilation/x64                           2h17m06s  14GB
Sep 01 13:03:45 Starting examples/compilation/x64/proofs
Sep 01 13:05:18 Finished examples/compilation/x64/proofs                       1m33s   2GB
Sep 01 13:05:18 Starting examples/compilation/ag32
Sep 01 13:36:49 Finished examples/compilation/ag32                            31m30s   7GB
Sep 01 13:36:49 Starting examples/compilation/ag32/proofs
Sep 01 13:37:33 Finished examples/compilation/ag32/proofs                        43s   3GB
Sep 01 13:37:33 Starting examples/cost
Sep 01 14:26:11 Finished examples/cost                                        48m37s   6GB
Sep 01 14:26:11 Starting examples/lpr_checker
Sep 01 14:30:14 Finished examples/lpr_checker                                  4m02s   3GB
Sep 01 14:30:14 Starting examples/lpr_checker/compilation
Sep 01 14:47:41 Finished examples/lpr_checker/compilation                     17m27s   8GB
Sep 01 14:47:42 Starting examples/lpr_checker/compilation/proofs
Sep 01 14:48:19 Finished examples/lpr_checker/compilation/proofs                 37s   2GB
Sep 01 14:48:19 Starting examples/lpr_checker/array
Sep 01 15:02:06 Finished examples/lpr_checker/array                           13m46s   4GB
Sep 01 15:02:06 Starting examples/lpr_checker/array/compilation
Sep 01 15:20:42 Finished examples/lpr_checker/array/compilation               18m35s  10GB
Sep 01 15:20:42 Starting examples/lpr_checker/array/compilation/proofs
Sep 01 15:21:31 Finished examples/lpr_checker/array/compilation/proofs           48s   2GB
Sep 01 15:21:31 Starting examples/opentheory
Sep 01 15:31:32 Finished examples/opentheory                                  10m00s   3GB
Sep 01 15:31:32 Starting examples/opentheory
Sep 01 15:31:34 Finished examples/opentheory                                      1s  17MB
Sep 01 15:31:34 Starting examples/opentheory/compilation
Sep 01 16:04:31 Finished examples/opentheory/compilation                      32m56s  19GB
Sep 01 16:04:31 Starting examples/opentheory/compilation/proofs
Sep 01 16:05:11 Finished examples/opentheory/compilation/proofs                  40s   3GB
Sep 01 16:05:11 Starting examples/opentheory/compilation/ag32
Sep 01 16:39:45 Finished examples/opentheory/compilation/ag32                 34m33s  17GB
Sep 01 16:39:45 Starting examples/opentheory/compilation/ag32/proofs
Sep 01 16:41:21 Finished examples/opentheory/compilation/ag32/proofs           1m35s   7GB
Sep 01 16:41:21 Starting translator/okasaki-examples
Sep 01 16:45:50 Finished translator/okasaki-examples                           4m29s   2GB
Sep 01 16:45:51 Starting translator/other-examples
Sep 01 16:47:59 Finished translator/other-examples                             2m08s   1GB
Sep 01 16:47:59 Starting compiler/parsing/tests
Sep 01 16:48:25 Finished compiler/parsing/tests                                  25s 594MB
Sep 01 16:48:25 Starting compiler/inference/tests
Sep 01 16:53:06 Finished compiler/inference/tests                              4m40s   5GB
Sep 01 16:53:06 Starting compiler/bootstrap/translation
Sep 01 19:45:55 Finished compiler/bootstrap/translation                     2h52m49s  50GB
Sep 01 19:45:55 Starting unverified/sexpr-bootstrap/x64/64
Sep 01 19:55:17 Finished unverified/sexpr-bootstrap/x64/64                     9m20s   8GB
Sep 01 19:55:18 Starting unverified/sexpr-bootstrap/x64/32
Sep 01 20:02:48 Finished unverified/sexpr-bootstrap/x64/32                     7m29s   8GB
Sep 01 20:02:48 Starting compiler/benchmarks
Sep 01 20:02:50 Finished compiler/benchmarks                                      2s  29MB
Sep 01 20:02:51 Starting compiler/bootstrap/compilation/x64/64
Sep 02 10:59:54 Finished compiler/bootstrap/compilation/x64/64             14h57m02s  64GB
Sep 02 10:59:55 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 02 11:03:07 Finished compiler/bootstrap/compilation/x64/64/proofs          3m12s  13GB
Sep 02 11:03:07 Starting compiler/bootstrap/compilation/x64/32
Sep 03 00:16:10 Finished compiler/bootstrap/compilation/x64/32             13h13m01s  64GB
Sep 03 00:16:10 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 03 00:19:09 Finished compiler/bootstrap/compilation/x64/32/proofs          2m59s  12GB
Sep 03 00:19:10 Starting compiler/bootstrap/compilation/ag32/32
Sep 03 15:26:20 Finished compiler/bootstrap/compilation/ag32/32            15h07m09s  64GB
Sep 03 15:26:20 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 03 15:45:34 Finished compiler/bootstrap/compilation/ag32/32/proofs        19m13s  31GB
Sep 03 15:45:34 SUCCESS