Job 1220

CakeML:e593088bf68375cf78d006ae9d7819e9c7ad873c
  Pretty print dataLang code into file for cost examples [Apr 27 09:41:00]
HOL:e2d0fafdb3ccdd098d2bd6e0aaaacbc9468ae4b1
  Remove redundant compute annotation [Apr 16 23:17: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

Apr 27 09:50:02 Claimed job
Apr 27 09:50:05 Reusing HOL
Apr 27 10:02:38 Starting developers
Apr 27 10:02:43 Finished developers                                               4s  82MB
Apr 27 10:02:43 Starting developers/bin
Apr 27 10:02:51 Finished developers/bin                                           7s   1GB
Apr 27 10:02:51 Starting semantics/ffi
Apr 27 10:03:01 Finished semantics/ffi                                           10s 234MB
Apr 27 10:03:02 Starting semantics
Apr 27 10:04:33 Finished semantics                                             1m31s   1GB
Apr 27 10:04:33 Starting semantics/proofs
Apr 27 10:08:01 Finished semantics/proofs                                      3m27s   1GB
Apr 27 10:08:02 Starting semantics/alt_semantics
Apr 27 10:08:10 Finished semantics/alt_semantics                                  8s 299MB
Apr 27 10:08:10 Starting semantics/alt_semantics/proofs
Apr 27 10:10:19 Finished semantics/alt_semantics/proofs                        2m08s 957MB
Apr 27 10:10:19 Starting basis/pure
Apr 27 10:13:16 Finished basis/pure                                            2m57s 799MB
Apr 27 10:13:16 Starting translator
Apr 27 10:15:55 Finished translator                                            2m38s   1GB
Apr 27 10:15:55 Starting compiler/parsing
Apr 27 10:17:06 Finished compiler/parsing                                      1m11s   1GB
Apr 27 10:17:06 Starting characteristic
Apr 27 10:23:07 Finished characteristic                                        5m59s   1GB
Apr 27 10:23:07 Starting translator/monadic
Apr 27 10:24:45 Finished translator/monadic                                    1m38s   1GB
Apr 27 10:24:45 Starting basis
Apr 27 10:57:59 Finished basis                                                33m13s  11GB
Apr 27 10:57:59 Starting compiler/inference
Apr 27 10:59:09 Finished compiler/inference                                    1m09s   1GB
Apr 27 10:59:09 Starting compiler/backend/reg_alloc
Apr 27 11:00:13 Finished compiler/backend/reg_alloc                            1m03s   1GB
Apr 27 11:00:13 Starting compiler/backend/gc
Apr 27 11:03:43 Finished compiler/backend/gc                                   3m29s   2GB
Apr 27 11:03:43 Starting compiler/backend
Apr 27 11:08:21 Finished compiler/backend                                      4m38s   3GB
Apr 27 11:08:22 Starting compiler/encoders/asm
Apr 27 11:08:44 Finished compiler/encoders/asm                                   22s 818MB
Apr 27 11:08:44 Starting compiler/encoders/x64
Apr 27 11:09:43 Finished compiler/encoders/x64                                   58s 914MB
Apr 27 11:09:43 Starting compiler/encoders/arm7
Apr 27 11:11:35 Finished compiler/encoders/arm7                                1m51s   1GB
Apr 27 11:11:36 Starting compiler/encoders/arm8
Apr 27 11:12:09 Finished compiler/encoders/arm8                                  33s 865MB
Apr 27 11:12:09 Starting compiler/encoders/mips
Apr 27 11:13:21 Finished compiler/encoders/mips                                1m11s 921MB
Apr 27 11:13:21 Starting compiler/encoders/riscv
Apr 27 11:14:46 Finished compiler/encoders/riscv                               1m24s 786MB
Apr 27 11:14:46 Starting compiler/encoders/ag32
Apr 27 11:15:04 Finished compiler/encoders/ag32                                  17s 579MB
Apr 27 11:15:04 Starting compiler/backend/x64
Apr 27 11:15:23 Finished compiler/backend/x64                                    18s   1GB
Apr 27 11:15:23 Starting compiler/backend/arm7
Apr 27 11:15:43 Finished compiler/backend/arm7                                   20s   1GB
Apr 27 11:15:44 Starting compiler/backend/arm8
Apr 27 11:16:02 Finished compiler/backend/arm8                                   17s   1GB
Apr 27 11:16:02 Starting compiler/backend/mips
Apr 27 11:16:19 Finished compiler/backend/mips                                   17s 932MB
Apr 27 11:16:20 Starting compiler/backend/riscv
Apr 27 11:16:39 Finished compiler/backend/riscv                                  19s   1GB
Apr 27 11:16:39 Starting compiler/backend/ag32
Apr 27 11:17:50 Finished compiler/backend/ag32                                 1m11s   1GB
Apr 27 11:17:51 Starting compiler/parsing/proofs
Apr 27 11:23:45 Finished compiler/parsing/proofs                               5m54s   1GB
Apr 27 11:23:45 Starting compiler/inference/proofs
Apr 27 11:26:18 Finished compiler/inference/proofs                             2m31s 887MB
Apr 27 11:26:18 Starting compiler/backend/semantics
Apr 27 11:57:13 Finished compiler/backend/semantics                           30m55s   2GB
Apr 27 11:57:13 Starting compiler/backend/reg_alloc/proofs
Apr 27 12:00:56 Finished compiler/backend/reg_alloc/proofs                     3m42s 834MB
Apr 27 12:00:56 Starting compiler/backend/proofs
Apr 27 13:07:26 Finished compiler/backend/proofs                            1h06m29s  14GB
Apr 27 13:07:26 Starting compiler/encoders/x64/proofs
Apr 27 13:17:15 Finished compiler/encoders/x64/proofs                          9m48s   4GB
Apr 27 13:17:15 Starting compiler/encoders/arm7/proofs
Apr 27 13:30:35 Finished compiler/encoders/arm7/proofs                        13m19s   3GB
Apr 27 13:30:35 Starting compiler/encoders/arm8/proofs
Apr 27 13:37:14 Finished compiler/encoders/arm8/proofs                         6m38s   1GB
Apr 27 13:37:15 Starting compiler/encoders/mips/proofs
Apr 27 13:47:30 Finished compiler/encoders/mips/proofs                        10m15s   2GB
Apr 27 13:47:30 Starting compiler/encoders/riscv/proofs
Apr 27 13:56:19 Finished compiler/encoders/riscv/proofs                        8m48s   1GB
Apr 27 13:56:20 Starting compiler/encoders/ag32/proofs
Apr 27 13:59:00 Finished compiler/encoders/ag32/proofs                         2m40s 616MB
Apr 27 13:59:00 Starting compiler/backend/x64/proofs
Apr 27 13:59:22 Finished compiler/backend/x64/proofs                             20s   1GB
Apr 27 13:59:22 Starting compiler/backend/arm7/proofs
Apr 27 13:59:44 Finished compiler/backend/arm7/proofs                            21s   1GB
Apr 27 13:59:44 Starting compiler/backend/arm8/proofs
Apr 27 14:00:03 Finished compiler/backend/arm8/proofs                            19s 841MB
Apr 27 14:00:03 Starting compiler/backend/mips/proofs
Apr 27 14:00:24 Finished compiler/backend/mips/proofs                            20s   1GB
Apr 27 14:00:25 Starting compiler/backend/riscv/proofs
Apr 27 14:00:44 Finished compiler/backend/riscv/proofs                           19s 890MB
Apr 27 14:00:45 Starting compiler/backend/ag32/proofs
Apr 27 14:14:12 Finished compiler/backend/ag32/proofs                         13m27s   1GB
Apr 27 14:14:12 Starting compiler/proofs
Apr 27 14:16:00 Finished compiler/proofs                                       1m47s   4GB
Apr 27 14:16:00 Starting candle/set-theory
Apr 27 14:16:29 Finished candle/set-theory                                       28s 838MB
Apr 27 14:16:29 Starting candle/syntax-lib
Apr 27 14:16:40 Finished candle/syntax-lib                                       10s 622MB
Apr 27 14:16:40 Starting candle/standard/syntax
Apr 27 14:18:30 Finished candle/standard/syntax                                1m49s 997MB
Apr 27 14:18:30 Starting candle/standard/semantics
Apr 27 14:20:14 Finished candle/standard/semantics                             1m43s   1GB
Apr 27 14:20:14 Starting candle/standard/monadic
Apr 27 14:21:54 Finished candle/standard/monadic                               1m40s   1GB
Apr 27 14:21:55 Starting candle/standard/ml_kernel
Apr 27 14:27:32 Finished candle/standard/ml_kernel                             5m36s   3GB
Apr 27 14:27:32 Starting candle/standard/opentheory
Apr 27 14:36:51 Finished candle/standard/opentheory                            9m19s   5GB
Apr 27 14:36:52 Starting candle/standard/opentheory/compilation
Apr 27 15:09:24 Finished candle/standard/opentheory/compilation               32m31s  17GB
Apr 27 15:09:24 Starting candle/standard/opentheory/compilation/proofs
Apr 27 15:10:02 Finished candle/standard/opentheory/compilation/proofs           38s   3GB
Apr 27 15:10:02 Starting candle/overloading/syntax
Apr 27 15:13:11 Finished candle/overloading/syntax                             3m08s   1GB
Apr 27 15:13:11 Starting candle/overloading/semantics
Apr 27 15:20:17 Finished candle/overloading/semantics                          7m05s   3GB
Apr 27 15:20:17 Starting characteristic/examples
Apr 27 15:21:34 Finished characteristic/examples                               1m15s   3GB
Apr 27 15:21:34 Starting tutorial/solutions
Apr 27 15:36:11 Finished tutorial/solutions                                   14m36s   7GB
Apr 27 15:36:11 Starting translator/monadic/examples
Apr 27 15:39:14 Finished translator/monadic/examples                           3m03s   2GB
Apr 27 15:39:14 Starting examples
Apr 27 15:47:37 Finished examples                                              8m22s   3GB
Apr 27 15:47:37 Starting examples/compilation/x64
Apr 27 18:05:03 Finished examples/compilation/x64                           2h17m25s  15GB
Apr 27 18:05:03 Starting examples/compilation/x64/proofs
Apr 27 18:06:38 Finished examples/compilation/x64/proofs                       1m34s   2GB
Apr 27 18:06:38 Starting examples/compilation/ag32
Apr 27 18:37:59 Finished examples/compilation/ag32                            31m21s   5GB
Apr 27 18:38:00 Starting examples/compilation/ag32/proofs
Apr 27 18:38:41 Finished examples/compilation/ag32/proofs                        41s   2GB
Apr 27 18:38:41 Starting examples/cost
Apr 27 19:21:07 Finished examples/cost                                        42m25s   6GB
Apr 27 19:21:08 Starting examples/lpr_checker
Apr 27 19:24:49 Finished examples/lpr_checker                                  3m41s   2GB
Apr 27 19:24:50 Starting examples/lpr_checker/compilation
Apr 27 19:41:58 Finished examples/lpr_checker/compilation                     17m07s  14GB
Apr 27 19:41:58 Starting examples/lpr_checker/compilation/proofs
Apr 27 19:42:35 Finished examples/lpr_checker/compilation/proofs                 36s   2GB
Apr 27 19:42:35 Starting examples/lpr_checker/array
Apr 27 19:50:47 Finished examples/lpr_checker/array                            8m12s   2GB
Apr 27 19:50:47 Starting examples/lpr_checker/array/compilation
Apr 27 20:06:38 Finished examples/lpr_checker/array/compilation               15m50s   7GB
Apr 27 20:06:38 Starting examples/lpr_checker/array/compilation/proofs
Apr 27 20:07:22 Finished examples/lpr_checker/array/compilation/proofs           43s   3GB
Apr 27 20:07:22 Starting translator/okasaki-examples
Apr 27 20:11:44 Finished translator/okasaki-examples                           4m21s   1GB
Apr 27 20:11:44 Starting translator/other-examples
Apr 27 20:13:42 Finished translator/other-examples                             1m57s   1GB
Apr 27 20:13:42 Starting compiler/parsing/tests
Apr 27 20:14:08 Finished compiler/parsing/tests                                  26s 655MB
Apr 27 20:14:08 Starting compiler/inference/tests
Apr 27 20:18:42 Finished compiler/inference/tests                              4m33s   2GB
Apr 27 20:18:42 Starting compiler/bootstrap/translation
Apr 27 23:03:42 Finished compiler/bootstrap/translation                     2h44m59s  43GB
Apr 27 23:03:43 Starting unverified/sexpr-bootstrap/x64/64
Apr 27 23:17:40 Finished unverified/sexpr-bootstrap/x64/64                    13m55s   5GB
Apr 27 23:17:40 Starting unverified/sexpr-bootstrap/x64/32
Apr 27 23:27:46 Finished unverified/sexpr-bootstrap/x64/32                    10m05s   8GB
Apr 27 23:27:46 Starting compiler/benchmarks
Apr 27 23:27:49 Finished compiler/benchmarks                                      1s  23MB
Apr 27 23:27:49 Starting compiler/bootstrap/compilation/x64/64
Apr 28 14:25:27 Finished compiler/bootstrap/compilation/x64/64             14h57m37s  64GB
Apr 28 14:25:27 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 28 14:28:50 Finished compiler/bootstrap/compilation/x64/64/proofs          3m22s  14GB
Apr 28 14:28:50 Starting compiler/bootstrap/compilation/x64/32
Apr 29 04:21:13 Finished compiler/bootstrap/compilation/x64/32             13h52m22s  64GB
Apr 29 04:21:13 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 29 04:24:15 Finished compiler/bootstrap/compilation/x64/32/proofs          3m01s  13GB
Apr 29 04:24:15 Starting compiler/bootstrap/compilation/ag32/32
Apr 29 19:17:26 Finished compiler/bootstrap/compilation/ag32/32            14h53m10s  64GB
Apr 29 19:17:26 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 29 19:47:27 Finished compiler/bootstrap/compilation/ag32/32/proofs        30m00s  24GB
Apr 29 19:47:28 SUCCESS