Job 1209

CakeML:cea42c5fd19d5c10336b10de2209478e7061365e
  Merge pull request #733 from CakeML/trans-pure-seq [Mar 14 16:24:17]
HOL:940856f88a8a2cc79604e96f229a8e69a1730c0a
  Fix dining cryptographers example for removal of HurdUtils.Reverse [Mar 13 04:30:28]
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

Mar 15 11:53:36 Claimed job
Mar 15 11:53:39 Building HOL
Mar 15 12:06:18 Starting developers
Mar 15 12:06:22 Finished developers                                               4s  96MB
Mar 15 12:06:23 Starting developers/bin
Mar 15 12:06:30 Finished developers/bin                                           7s   1GB
Mar 15 12:06:31 Starting semantics/ffi
Mar 15 12:06:41 Finished semantics/ffi                                           10s 237MB
Mar 15 12:06:41 Starting semantics
Mar 15 12:08:13 Finished semantics                                             1m31s   1GB
Mar 15 12:08:13 Starting semantics/proofs
Mar 15 12:11:42 Finished semantics/proofs                                      3m28s 904MB
Mar 15 12:11:42 Starting semantics/alt_semantics
Mar 15 12:11:51 Finished semantics/alt_semantics                                  8s 281MB
Mar 15 12:11:51 Starting semantics/alt_semantics/proofs
Mar 15 12:14:02 Finished semantics/alt_semantics/proofs                        2m11s 758MB
Mar 15 12:14:03 Starting basis/pure
Mar 15 12:17:06 Finished basis/pure                                            3m03s 776MB
Mar 15 12:17:06 Starting translator
Mar 15 12:19:43 Finished translator                                            2m36s   1GB
Mar 15 12:19:43 Starting compiler/parsing
Mar 15 12:20:54 Finished compiler/parsing                                      1m10s   1GB
Mar 15 12:20:54 Starting characteristic
Mar 15 12:26:51 Finished characteristic                                        5m56s   2GB
Mar 15 12:26:51 Starting translator/monadic
Mar 15 12:28:29 Finished translator/monadic                                    1m38s   1GB
Mar 15 12:28:29 Starting basis
Mar 15 13:01:53 Finished basis                                                33m22s   8GB
Mar 15 13:01:53 Starting compiler/inference
Mar 15 13:03:04 Finished compiler/inference                                    1m10s   1GB
Mar 15 13:03:04 Starting compiler/backend/reg_alloc
Mar 15 13:04:08 Finished compiler/backend/reg_alloc                            1m03s   1GB
Mar 15 13:04:08 Starting compiler/backend/gc
Mar 15 13:07:38 Finished compiler/backend/gc                                   3m29s   2GB
Mar 15 13:07:38 Starting compiler/backend
Mar 15 13:12:12 Finished compiler/backend                                      4m33s   3GB
Mar 15 13:12:12 Starting compiler/encoders/asm
Mar 15 13:12:35 Finished compiler/encoders/asm                                   22s 924MB
Mar 15 13:12:35 Starting compiler/encoders/x64
Mar 15 13:13:33 Finished compiler/encoders/x64                                   58s 964MB
Mar 15 13:13:33 Starting compiler/encoders/arm7
Mar 15 13:15:23 Finished compiler/encoders/arm7                                1m49s   1GB
Mar 15 13:15:23 Starting compiler/encoders/arm8
Mar 15 13:15:57 Finished compiler/encoders/arm8                                  33s 862MB
Mar 15 13:15:57 Starting compiler/encoders/mips
Mar 15 13:17:09 Finished compiler/encoders/mips                                1m11s 936MB
Mar 15 13:17:09 Starting compiler/encoders/riscv
Mar 15 13:18:33 Finished compiler/encoders/riscv                               1m23s 998MB
Mar 15 13:18:33 Starting compiler/encoders/ag32
Mar 15 13:18:51 Finished compiler/encoders/ag32                                  17s 731MB
Mar 15 13:18:51 Starting compiler/backend/x64
Mar 15 13:19:11 Finished compiler/backend/x64                                    19s   1GB
Mar 15 13:19:11 Starting compiler/backend/arm7
Mar 15 13:19:31 Finished compiler/backend/arm7                                   20s   1GB
Mar 15 13:19:31 Starting compiler/backend/arm8
Mar 15 13:19:50 Finished compiler/backend/arm8                                   18s   1GB
Mar 15 13:19:50 Starting compiler/backend/mips
Mar 15 13:20:09 Finished compiler/backend/mips                                   18s   1GB
Mar 15 13:20:09 Starting compiler/backend/riscv
Mar 15 13:20:28 Finished compiler/backend/riscv                                  18s   1GB
Mar 15 13:20:28 Starting compiler/backend/ag32
Mar 15 13:21:38 Finished compiler/backend/ag32                                 1m09s   1GB
Mar 15 13:21:38 Starting compiler/parsing/proofs
Mar 15 13:27:31 Finished compiler/parsing/proofs                               5m53s   1GB
Mar 15 13:27:32 Starting compiler/inference/proofs
Mar 15 13:30:03 Finished compiler/inference/proofs                             2m30s   1GB
Mar 15 13:30:03 Starting compiler/backend/semantics
Mar 15 14:00:42 Finished compiler/backend/semantics                           30m38s   2GB
Mar 15 14:00:42 Starting compiler/backend/reg_alloc/proofs
Mar 15 14:04:23 Finished compiler/backend/reg_alloc/proofs                     3m41s   1GB
Mar 15 14:04:23 Starting compiler/backend/proofs
Mar 15 15:10:33 Finished compiler/backend/proofs                            1h06m09s  22GB
Mar 15 15:10:33 Starting compiler/encoders/x64/proofs
Mar 15 15:20:16 Finished compiler/encoders/x64/proofs                          9m43s   4GB
Mar 15 15:20:17 Starting compiler/encoders/arm7/proofs
Mar 15 15:33:25 Finished compiler/encoders/arm7/proofs                        13m08s   4GB
Mar 15 15:33:25 Starting compiler/encoders/arm8/proofs
Mar 15 15:40:04 Finished compiler/encoders/arm8/proofs                         6m38s   1GB
Mar 15 15:40:04 Starting compiler/encoders/mips/proofs
Mar 15 15:50:23 Finished compiler/encoders/mips/proofs                        10m19s   2GB
Mar 15 15:50:24 Starting compiler/encoders/riscv/proofs
Mar 15 15:59:24 Finished compiler/encoders/riscv/proofs                        9m00s   1GB
Mar 15 15:59:24 Starting compiler/encoders/ag32/proofs
Mar 15 16:02:01 Finished compiler/encoders/ag32/proofs                         2m36s 714MB
Mar 15 16:02:01 Starting compiler/backend/x64/proofs
Mar 15 16:02:22 Finished compiler/backend/x64/proofs                             20s   1GB
Mar 15 16:02:22 Starting compiler/backend/arm7/proofs
Mar 15 16:02:44 Finished compiler/backend/arm7/proofs                            21s   1GB
Mar 15 16:02:44 Starting compiler/backend/arm8/proofs
Mar 15 16:03:05 Finished compiler/backend/arm8/proofs                            20s   1GB
Mar 15 16:03:05 Starting compiler/backend/mips/proofs
Mar 15 16:03:25 Finished compiler/backend/mips/proofs                            20s   1GB
Mar 15 16:03:26 Starting compiler/backend/riscv/proofs
Mar 15 16:03:47 Finished compiler/backend/riscv/proofs                           20s   1GB
Mar 15 16:03:47 Starting compiler/backend/ag32/proofs
Mar 15 16:17:03 Finished compiler/backend/ag32/proofs                         13m15s   1GB
Mar 15 16:17:03 Starting compiler/proofs
Mar 15 16:18:48 Finished compiler/proofs                                       1m45s   3GB
Mar 15 16:18:48 Starting candle/set-theory
Mar 15 16:19:17 Finished candle/set-theory                                       28s 786MB
Mar 15 16:19:17 Starting candle/syntax-lib
Mar 15 16:19:29 Finished candle/syntax-lib                                       10s 624MB
Mar 15 16:19:29 Starting candle/standard/syntax
Mar 15 16:21:18 Finished candle/standard/syntax                                1m48s   1GB
Mar 15 16:21:18 Starting candle/standard/semantics
Mar 15 16:23:04 Finished candle/standard/semantics                             1m46s   1GB
Mar 15 16:23:05 Starting candle/standard/monadic
Mar 15 16:24:46 Finished candle/standard/monadic                               1m41s   1GB
Mar 15 16:24:46 Starting candle/standard/ml_kernel
Mar 15 16:30:10 Finished candle/standard/ml_kernel                             5m23s   5GB
Mar 15 16:30:10 Starting candle/standard/opentheory
Mar 15 16:39:48 Finished candle/standard/opentheory                            9m38s   4GB
Mar 15 16:39:48 Starting candle/standard/opentheory/compilation
Mar 15 17:11:09 Finished candle/standard/opentheory/compilation               31m20s  13GB
Mar 15 17:11:09 Starting candle/standard/opentheory/compilation/proofs
Mar 15 17:11:46 Finished candle/standard/opentheory/compilation/proofs           37s   3GB
Mar 15 17:11:47 Starting candle/overloading/syntax
Mar 15 17:14:53 Finished candle/overloading/syntax                             3m05s   1GB
Mar 15 17:14:53 Starting candle/overloading/semantics
Mar 15 17:22:02 Finished candle/overloading/semantics                          7m09s   2GB
Mar 15 17:22:03 Starting characteristic/examples
Mar 15 17:23:25 Finished characteristic/examples                               1m21s   2GB
Mar 15 17:23:25 Starting tutorial/solutions
Mar 15 17:38:06 Finished tutorial/solutions                                   14m40s   6GB
Mar 15 17:38:06 Starting translator/monadic/examples
Mar 15 17:41:08 Finished translator/monadic/examples                           3m01s   2GB
Mar 15 17:41:08 Starting examples
Mar 15 17:49:27 Finished examples                                              8m19s   2GB
Mar 15 17:49:28 Starting examples/compilation/x64
Mar 15 20:05:00 Finished examples/compilation/x64                           2h15m32s  13GB
Mar 15 20:05:00 Starting examples/compilation/x64/proofs
Mar 15 20:06:32 Finished examples/compilation/x64/proofs                       1m31s   2GB
Mar 15 20:06:32 Starting examples/compilation/ag32
Mar 15 20:37:29 Finished examples/compilation/ag32                            30m56s   6GB
Mar 15 20:37:29 Starting examples/compilation/ag32/proofs
Mar 15 20:38:14 Finished examples/compilation/ag32/proofs                        45s   3GB
Mar 15 20:38:15 Starting examples/cost
Mar 15 21:20:54 Finished examples/cost                                        42m39s   6GB
Mar 15 21:20:54 Starting examples/lpr_checker
Mar 15 21:24:37 Finished examples/lpr_checker                                  3m42s   2GB
Mar 15 21:24:37 Starting examples/lpr_checker/compilation
Mar 15 21:41:44 Finished examples/lpr_checker/compilation                     17m06s   8GB
Mar 15 21:41:45 Starting examples/lpr_checker/compilation/proofs
Mar 15 21:42:21 Finished examples/lpr_checker/compilation/proofs                 36s   2GB
Mar 15 21:42:21 Starting examples/lpr_checker/array
Mar 15 21:50:24 Finished examples/lpr_checker/array                            8m02s   3GB
Mar 15 21:50:24 Starting examples/lpr_checker/array/compilation
Mar 15 22:05:48 Finished examples/lpr_checker/array/compilation               15m24s  13GB
Mar 15 22:05:49 Starting examples/lpr_checker/array/compilation/proofs
Mar 15 22:06:32 Finished examples/lpr_checker/array/compilation/proofs           43s   3GB
Mar 15 22:06:32 Starting translator/okasaki-examples
Mar 15 22:10:55 Finished translator/okasaki-examples                           4m22s   1GB
Mar 15 22:10:55 Starting translator/other-examples
Mar 15 22:12:55 Finished translator/other-examples                             1m59s   1GB
Mar 15 22:12:55 Starting compiler/parsing/tests
Mar 15 22:13:21 Finished compiler/parsing/tests                                  25s 589MB
Mar 15 22:13:21 Starting compiler/inference/tests
Mar 15 22:17:55 Finished compiler/inference/tests                              4m33s   3GB
Mar 15 22:17:55 Starting compiler/bootstrap/translation
Mar 16 01:02:17 Finished compiler/bootstrap/translation                     2h44m21s  38GB
Mar 16 01:02:17 Starting unverified/sexpr-bootstrap/x64/64
Mar 16 01:16:11 Finished unverified/sexpr-bootstrap/x64/64                    13m53s   4GB
Mar 16 01:16:11 Starting unverified/sexpr-bootstrap/x64/32
Mar 16 01:26:04 Finished unverified/sexpr-bootstrap/x64/32                     9m52s   7GB
Mar 16 01:26:04 Starting compiler/benchmarks
Mar 16 01:26:07 Finished compiler/benchmarks                                      1s  25MB
Mar 16 01:26:07 Starting compiler/bootstrap/compilation/x64/64
Mar 16 16:06:31 Finished compiler/bootstrap/compilation/x64/64             14h40m23s  64GB
Mar 16 16:06:32 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 16 16:09:45 Finished compiler/bootstrap/compilation/x64/64/proofs          3m13s  13GB
Mar 16 16:09:46 Starting compiler/bootstrap/compilation/x64/32
Mar 17 05:12:16 Finished compiler/bootstrap/compilation/x64/32             13h02m29s  64GB
Mar 17 05:12:16 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 17 05:15:24 Finished compiler/bootstrap/compilation/x64/32/proofs          3m07s  13GB
Mar 17 05:15:24 Starting compiler/bootstrap/compilation/ag32/32
Mar 17 20:41:13 Finished compiler/bootstrap/compilation/ag32/32            15h25m47s  64GB
Mar 17 20:41:13 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 17 21:13:00 Finished compiler/bootstrap/compilation/ag32/32/proofs        31m47s  23GB
Mar 17 21:13:00 SUCCESS