Job 1549

CakeML:76ed0b05089a77059dee72d197fc56c3dae661e8
  Merge pull request #829 from CakeML/help [Jun 18 08:39:57]
HOL:b7716bd92d1115f6a85cbf82d4dd47e1bb88828a
  Remove unnecessary dependencies in examples/polynomial/polynomial [Jun 09 01:52:42]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jun 21 06:58:05 Claimed job
Jun 21 06:58:11 Reusing HOL
Jun 21 06:58:18 Starting developers
Jun 21 06:58:20 Finished developers                                               2s  79MB
Jun 21 06:58:20 Starting developers/bin
Jun 21 06:58:27 Finished developers/bin                                           6s   1GB
Jun 21 06:58:27 Starting semantics/ffi
Jun 21 06:58:37 Finished semantics/ffi                                           10s 263MB
Jun 21 06:58:37 Starting semantics
Jun 21 07:00:05 Finished semantics                                             1m26s   1GB
Jun 21 07:00:05 Starting semantics/proofs
Jun 21 07:03:36 Finished semantics/proofs                                      3m31s   1GB
Jun 21 07:03:36 Starting semantics/alt_semantics
Jun 21 07:03:45 Finished semantics/alt_semantics                                  8s 418MB
Jun 21 07:03:45 Starting semantics/alt_semantics/proofs
Jun 21 07:06:00 Finished semantics/alt_semantics/proofs                        2m14s   1GB
Jun 21 07:06:00 Starting basis/pure
Jun 21 07:06:54 Finished basis/pure                                              53s   1GB
Jun 21 07:06:54 Starting translator
Jun 21 07:10:13 Finished translator                                            3m19s   2GB
Jun 21 07:10:14 Starting compiler/parsing
Jun 21 07:11:24 Finished compiler/parsing                                      1m10s   4GB
Jun 21 07:11:24 Starting characteristic
Jun 21 07:17:12 Finished characteristic                                        5m47s   3GB
Jun 21 07:17:12 Starting translator/monadic
Jun 21 07:18:58 Finished translator/monadic                                    1m46s   3GB
Jun 21 07:18:59 Starting basis
Jun 21 08:02:50 Finished basis                                                43m50s  40GB
Jun 21 08:02:50 Starting compiler/inference
Jun 21 08:03:59 Finished compiler/inference                                    1m08s   1GB
Jun 21 08:03:59 Starting compiler/backend/reg_alloc
Jun 21 08:05:08 Finished compiler/backend/reg_alloc                            1m08s   1GB
Jun 21 08:05:08 Starting compiler/backend/gc
Jun 21 08:08:34 Finished compiler/backend/gc                                   3m26s   3GB
Jun 21 08:08:35 Starting compiler/backend
Jun 21 08:13:49 Finished compiler/backend                                      5m13s   5GB
Jun 21 08:13:49 Starting compiler/encoders/asm
Jun 21 08:14:12 Finished compiler/encoders/asm                                   22s   1GB
Jun 21 08:14:12 Starting compiler/encoders/x64
Jun 21 08:14:39 Finished compiler/encoders/x64                                   26s   1GB
Jun 21 08:14:39 Starting compiler/encoders/arm7
Jun 21 08:15:30 Finished compiler/encoders/arm7                                  51s   1GB
Jun 21 08:15:30 Starting compiler/encoders/arm8
Jun 21 08:15:44 Finished compiler/encoders/arm8                                  13s   1GB
Jun 21 08:15:44 Starting compiler/encoders/mips
Jun 21 08:16:03 Finished compiler/encoders/mips                                  18s   1GB
Jun 21 08:16:03 Starting compiler/encoders/riscv
Jun 21 08:16:19 Finished compiler/encoders/riscv                                 15s   1GB
Jun 21 08:16:19 Starting compiler/encoders/ag32
Jun 21 08:16:37 Finished compiler/encoders/ag32                                  18s 966MB
Jun 21 08:16:38 Starting compiler/backend/x64
Jun 21 08:16:57 Finished compiler/backend/x64                                    19s   1GB
Jun 21 08:16:58 Starting compiler/backend/arm7
Jun 21 08:17:19 Finished compiler/backend/arm7                                   21s   1GB
Jun 21 08:17:20 Starting compiler/backend/arm8
Jun 21 08:17:40 Finished compiler/backend/arm8                                   20s   1GB
Jun 21 08:17:40 Starting compiler/backend/mips
Jun 21 08:18:01 Finished compiler/backend/mips                                   20s   1GB
Jun 21 08:18:01 Starting compiler/backend/riscv
Jun 21 08:18:22 Finished compiler/backend/riscv                                  20s   1GB
Jun 21 08:18:22 Starting compiler/backend/ag32
Jun 21 08:19:33 Finished compiler/backend/ag32                                 1m11s   2GB
Jun 21 08:19:34 Starting compiler/parsing/proofs
Jun 21 08:25:18 Finished compiler/parsing/proofs                               5m44s   2GB
Jun 21 08:25:18 Starting compiler/inference/proofs
Jun 21 08:27:52 Finished compiler/inference/proofs                             2m33s   2GB
Jun 21 08:27:52 Starting compiler/backend/semantics
Jun 21 08:55:01 Finished compiler/backend/semantics                           27m09s   3GB
Jun 21 08:55:01 Starting compiler/backend/reg_alloc/proofs
Jun 21 08:58:17 Finished compiler/backend/reg_alloc/proofs                     3m15s   1GB
Jun 21 08:58:18 Starting compiler/backend/proofs
Jun 21 09:52:02 Finished compiler/backend/proofs                              53m44s  27GB
Jun 21 09:52:02 Starting compiler/encoders/x64/proofs
Jun 21 10:01:37 Finished compiler/encoders/x64/proofs                          9m33s   7GB
Jun 21 10:01:37 Starting compiler/encoders/arm7/proofs
Jun 21 10:15:06 Finished compiler/encoders/arm7/proofs                        13m28s   9GB
Jun 21 10:15:06 Starting compiler/encoders/arm8/proofs
Jun 21 10:22:13 Finished compiler/encoders/arm8/proofs                         7m06s   3GB
Jun 21 10:22:13 Starting compiler/encoders/mips/proofs
Jun 21 10:31:59 Finished compiler/encoders/mips/proofs                         9m46s   3GB
Jun 21 10:32:00 Starting compiler/encoders/riscv/proofs
Jun 21 10:40:25 Finished compiler/encoders/riscv/proofs                        8m24s   3GB
Jun 21 10:40:25 Starting compiler/encoders/ag32/proofs
Jun 21 10:42:45 Finished compiler/encoders/ag32/proofs                         2m20s   1GB
Jun 21 10:42:45 Starting compiler/backend/x64/proofs
Jun 21 10:43:08 Finished compiler/backend/x64/proofs                             22s   2GB
Jun 21 10:43:09 Starting compiler/backend/arm7/proofs
Jun 21 10:43:33 Finished compiler/backend/arm7/proofs                            23s   2GB
Jun 21 10:43:33 Starting compiler/backend/arm8/proofs
Jun 21 10:43:55 Finished compiler/backend/arm8/proofs                            21s   1GB
Jun 21 10:43:55 Starting compiler/backend/mips/proofs
Jun 21 10:44:17 Finished compiler/backend/mips/proofs                            21s   1GB
Jun 21 10:44:17 Starting compiler/backend/riscv/proofs
Jun 21 10:44:40 Finished compiler/backend/riscv/proofs                           22s   2GB
Jun 21 10:44:40 Starting compiler/backend/ag32/proofs
Jun 21 10:56:49 Finished compiler/backend/ag32/proofs                         12m08s   5GB
Jun 21 10:56:50 Starting compiler/proofs
Jun 21 10:58:35 Finished compiler/proofs                                       1m45s   6GB
Jun 21 10:58:35 Starting candle/set-theory
Jun 21 10:59:05 Finished candle/set-theory                                       30s   1GB
Jun 21 10:59:06 Starting candle/syntax-lib
Jun 21 10:59:17 Finished candle/syntax-lib                                       11s 805MB
Jun 21 10:59:17 Starting candle/standard/syntax
Jun 21 11:01:09 Finished candle/standard/syntax                                1m51s   1GB
Jun 21 11:01:09 Starting candle/standard/semantics
Jun 21 11:02:57 Finished candle/standard/semantics                             1m47s   2GB
Jun 21 11:02:57 Starting candle/standard/monadic
Jun 21 11:04:39 Finished candle/standard/monadic                               1m41s   1GB
Jun 21 11:04:39 Starting candle/standard/ml_kernel
Jun 21 11:10:07 Finished candle/standard/ml_kernel                             5m27s   6GB
Jun 21 11:10:07 Starting candle/overloading/syntax
Jun 21 11:13:21 Finished candle/overloading/syntax                             3m13s   1GB
Jun 21 11:13:21 Starting candle/overloading/semantics
Jun 21 11:25:28 Finished candle/overloading/semantics                         12m06s   8GB
Jun 21 11:25:28 Starting characteristic/examples
Jun 21 11:26:48 Finished characteristic/examples                               1m20s   4GB
Jun 21 11:26:49 Starting tutorial/solutions
Jun 21 11:42:11 Finished tutorial/solutions                                   15m22s  19GB
Jun 21 11:42:11 Starting translator/monadic/examples
Jun 21 11:45:36 Finished translator/monadic/examples                           3m24s   3GB
Jun 21 11:45:36 Starting examples
Jun 21 11:55:03 Finished examples                                              9m26s   6GB
Jun 21 11:55:03 Starting examples/compilation/x64
Jun 21 14:17:27 Finished examples/compilation/x64                           2h22m23s  26GB
Jun 21 14:17:27 Starting examples/compilation/x64/proofs
Jun 21 14:19:28 Finished examples/compilation/x64/proofs                       2m00s   3GB
Jun 21 14:19:28 Starting examples/compilation/ag32
Jun 21 14:53:24 Finished examples/compilation/ag32                            33m55s  12GB
Jun 21 14:53:24 Starting examples/compilation/ag32/proofs
Jun 21 14:54:18 Finished examples/compilation/ag32/proofs                        54s   5GB
Jun 21 14:54:19 Starting examples/cost
Jun 21 15:49:35 Finished examples/cost                                        55m15s  13GB
Jun 21 15:49:35 Starting examples/lpr_checker
Jun 21 15:53:27 Finished examples/lpr_checker                                  3m52s   6GB
Jun 21 15:53:27 Starting examples/lpr_checker/compilation
Jun 21 16:12:16 Finished examples/lpr_checker/compilation                     18m48s  13GB
Jun 21 16:12:17 Starting examples/lpr_checker/compilation/proofs
Jun 21 16:13:00 Finished examples/lpr_checker/compilation/proofs                 43s   4GB
Jun 21 16:13:01 Starting examples/lpr_checker/array
Jun 21 16:26:48 Finished examples/lpr_checker/array                           13m46s   6GB
Jun 21 16:26:48 Starting examples/lpr_checker/array/compilation
Jun 21 16:46:25 Finished examples/lpr_checker/array/compilation               19m37s  20GB
Jun 21 16:46:26 Starting examples/lpr_checker/array/compilation/proofs
Jun 21 16:47:16 Finished examples/lpr_checker/array/compilation/proofs           50s   5GB
Jun 21 16:47:17 Starting examples/opentheory
Jun 21 16:56:42 Finished examples/opentheory                                   9m25s   6GB
Jun 21 16:56:42 Starting examples/opentheory
Jun 21 16:56:43 Finished examples/opentheory                                      0s  98MB
Jun 21 16:56:43 Starting examples/opentheory/compilation
Jun 21 17:26:50 Finished examples/opentheory/compilation                      30m06s  26GB
Jun 21 17:26:50 Starting examples/opentheory/compilation/proofs
Jun 21 17:27:34 Finished examples/opentheory/compilation/proofs                  44s   4GB
Jun 21 17:27:35 Starting examples/opentheory/compilation/ag32
Jun 21 17:59:41 Finished examples/opentheory/compilation/ag32                 32m05s  19GB
Jun 21 17:59:41 Starting examples/opentheory/compilation/ag32/proofs
Jun 21 18:01:18 Finished examples/opentheory/compilation/ag32/proofs           1m36s   9GB
Jun 21 18:01:18 Starting examples/sat_encodings
Jun 21 18:03:10 Finished examples/sat_encodings                                1m52s   1GB
Jun 21 18:03:10 Starting examples/sat_encodings/case_studies
Jun 21 18:04:44 Finished examples/sat_encodings/case_studies                   1m34s   1GB
Jun 21 18:04:45 Starting examples/sat_encodings/translation
Jun 21 18:10:25 Finished examples/sat_encodings/translation                    5m40s   6GB
Jun 21 18:10:25 Starting examples/sat_encodings/translation/compilation
Jun 21 18:56:32 Finished examples/sat_encodings/translation/compilation       46m06s  18GB
Jun 21 18:56:32 Starting translator/okasaki-examples
Jun 21 19:00:57 Finished translator/okasaki-examples                           4m24s   3GB
Jun 21 19:00:57 Starting translator/other-examples
Jun 21 19:01:46 Finished translator/other-examples                               48s   2GB
Jun 21 19:01:46 Starting compiler/parsing/tests
Jun 21 19:02:10 Finished compiler/parsing/tests                                  24s 650MB
Jun 21 19:02:11 Starting compiler/inference/tests
Jun 21 19:09:33 Finished compiler/inference/tests                              7m21s   6GB
Jun 21 19:09:33 Starting compiler/bootstrap/translation
Jun 21 21:51:45 Finished compiler/bootstrap/translation                     2h42m11s  55GB
Jun 21 21:51:45 Starting unverified/sexpr-bootstrap/x64/64
Jun 21 22:04:23 Finished unverified/sexpr-bootstrap/x64/64                    12m33s   8GB
Jun 21 22:04:23 Starting unverified/sexpr-bootstrap/x64/32
Jun 21 22:15:18 Finished unverified/sexpr-bootstrap/x64/32                    10m51s   8GB
Jun 21 22:15:18 Starting compiler/benchmarks
Jun 21 22:53:55 Finished compiler/benchmarks                                  38m36s   2GB
Jun 21 22:53:55 Starting compiler/bootstrap/compilation/x64/64
Jun 22 16:29:26 Finished compiler/bootstrap/compilation/x64/64             17h35m26s  64GB
Jun 22 16:29:26 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 22 16:31:47 Finished compiler/bootstrap/compilation/x64/64/proofs          2m20s  20GB
Jun 22 16:31:47 Starting compiler/bootstrap/compilation/x64/32
Jun 23 08:25:14 Finished compiler/bootstrap/compilation/x64/32             15h53m24s  64GB
Jun 23 08:25:14 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 23 08:27:28 Finished compiler/bootstrap/compilation/x64/32/proofs          2m13s  13GB
Jun 23 08:27:28 Starting compiler/bootstrap/compilation/ag32/32
Jun 24 00:28:33 Finished compiler/bootstrap/compilation/ag32/32            16h01m04s  64GB
Jun 24 00:28:33 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 24 00:38:01 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m28s  57GB
Jun 24 00:38:02 SUCCESS