Job 1998

CakeML:f28083ae417cb2f077ae954513061230aa8a6eac
  Merge pull request #908 from CakeML/common-sub-exp-elim [Sep 21 05:29:00]
HOL:893dead4b6f59a9be7fc251533d0a5ee77e12e56
  Add some simple test for bitArithLib and document in next-release.md [Sep 15 04:32:27]
Machine:stove 4.15.0-143-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

Sep 21 14:01:18 Claimed job
Sep 21 14:01:19 Reusing HOL
Sep 21 14:01:32 Starting developers
Sep 21 14:01:37 Finished developers                                               4s 115MB
Sep 21 14:01:37 Starting developers/bin
Sep 21 14:01:43 Finished developers/bin                                           6s   1GB
Sep 21 14:01:43 Starting semantics/ffi
Sep 21 14:01:52 Finished semantics/ffi                                            8s 223MB
Sep 21 14:01:52 Starting semantics
Sep 21 14:04:14 Finished semantics                                             2m21s   1GB
Sep 21 14:04:14 Starting semantics/proofs
Sep 21 14:11:11 Finished semantics/proofs                                      6m56s   1GB
Sep 21 14:11:11 Starting semantics/alt_semantics
Sep 21 14:11:37 Finished semantics/alt_semantics                                 25s 558MB
Sep 21 14:11:37 Starting semantics/alt_semantics/proofs
Sep 21 14:23:16 Finished semantics/alt_semantics/proofs                       11m38s   1GB
Sep 21 14:23:16 Starting basis/pure
Sep 21 14:24:19 Finished basis/pure                                            1m03s 921MB
Sep 21 14:24:20 Starting translator
Sep 21 14:27:55 Finished translator                                            3m34s   2GB
Sep 21 14:27:55 Starting compiler/parsing
Sep 21 14:29:16 Finished compiler/parsing                                      1m21s   2GB
Sep 21 14:29:17 Starting characteristic
Sep 21 14:36:02 Finished characteristic                                        6m45s   2GB
Sep 21 14:36:02 Starting translator/monadic
Sep 21 14:38:01 Finished translator/monadic                                    1m58s   2GB
Sep 21 14:38:01 Starting basis
Sep 21 15:29:39 Finished basis                                                51m36s  19GB
Sep 21 15:29:39 Starting compiler/inference
Sep 21 15:31:10 Finished compiler/inference                                    1m30s   1GB
Sep 21 15:31:10 Starting compiler/backend/reg_alloc
Sep 21 15:32:54 Finished compiler/backend/reg_alloc                            1m44s   1GB
Sep 21 15:32:54 Starting compiler/backend/gc
Sep 21 15:37:12 Finished compiler/backend/gc                                   4m17s   2GB
Sep 21 15:37:13 Starting compiler/backend
Sep 21 15:42:50 Finished compiler/backend                                      5m37s   2GB
Sep 21 15:42:51 Starting compiler/encoders/asm
Sep 21 15:43:20 Finished compiler/encoders/asm                                   29s 898MB
Sep 21 15:43:20 Starting compiler/encoders/x64
Sep 21 15:43:49 Finished compiler/encoders/x64                                   28s 911MB
Sep 21 15:43:49 Starting compiler/encoders/arm7
Sep 21 15:44:43 Finished compiler/encoders/arm7                                  53s   1GB
Sep 21 15:44:43 Starting compiler/encoders/arm8
Sep 21 15:44:59 Finished compiler/encoders/arm8                                  16s   1GB
Sep 21 15:44:59 Starting compiler/encoders/arm8_asl
Sep 21 15:47:29 Finished compiler/encoders/arm8_asl                            2m29s   1GB
Sep 21 15:47:29 Starting compiler/encoders/mips
Sep 21 15:47:50 Finished compiler/encoders/mips                                  20s   1GB
Sep 21 15:47:50 Starting compiler/encoders/riscv
Sep 21 15:48:10 Finished compiler/encoders/riscv                                 19s 876MB
Sep 21 15:48:10 Starting compiler/encoders/ag32
Sep 21 15:48:30 Finished compiler/encoders/ag32                                  20s 614MB
Sep 21 15:48:31 Starting compiler/backend/x64
Sep 21 15:48:52 Finished compiler/backend/x64                                    21s   1GB
Sep 21 15:48:52 Starting compiler/backend/arm7
Sep 21 15:49:15 Finished compiler/backend/arm7                                   23s   1GB
Sep 21 15:49:15 Starting compiler/backend/arm8
Sep 21 15:49:36 Finished compiler/backend/arm8                                   20s   1GB
Sep 21 15:49:36 Starting compiler/backend/mips
Sep 21 15:49:58 Finished compiler/backend/mips                                   21s   1GB
Sep 21 15:49:58 Starting compiler/backend/riscv
Sep 21 15:50:20 Finished compiler/backend/riscv                                  21s   1GB
Sep 21 15:50:20 Starting compiler/backend/ag32
Sep 21 15:51:47 Finished compiler/backend/ag32                                 1m26s   1GB
Sep 21 15:51:47 Starting compiler/parsing/proofs
Sep 21 15:55:32 Finished compiler/parsing/proofs                               3m45s   1GB
Sep 21 15:55:33 Starting compiler/inference/proofs
Sep 21 15:58:12 Finished compiler/inference/proofs                             2m39s   1GB
Sep 21 15:58:12 Starting compiler/backend/semantics
Sep 21 16:24:27 Finished compiler/backend/semantics                           26m14s   2GB
Sep 21 16:24:27 Starting compiler/backend/reg_alloc/proofs
Sep 21 16:28:05 Finished compiler/backend/reg_alloc/proofs                     3m38s 825MB
Sep 21 16:28:05 Starting compiler/backend/proofs
Sep 21 17:24:14 Finished compiler/backend/proofs                              56m08s  14GB
Sep 21 17:24:14 Starting compiler/backend/serialiser
Sep 21 17:25:45 Finished compiler/backend/serialiser                           1m30s   1GB
Sep 21 17:25:45 Starting compiler/encoders/x64/proofs
Sep 21 17:35:34 Finished compiler/encoders/x64/proofs                          9m49s   4GB
Sep 21 17:35:35 Starting compiler/encoders/arm7/proofs
Sep 21 17:49:27 Finished compiler/encoders/arm7/proofs                        13m52s   3GB
Sep 21 17:49:27 Starting compiler/encoders/arm8/proofs
Sep 21 17:56:30 Finished compiler/encoders/arm8/proofs                         7m02s   1GB
Sep 21 17:56:30 Starting compiler/encoders/arm8_asl/proofs
Sep 21 18:12:22 Finished compiler/encoders/arm8_asl/proofs                    15m51s   1GB
Sep 21 18:12:23 Starting compiler/encoders/mips/proofs
Sep 21 18:22:55 Finished compiler/encoders/mips/proofs                        10m31s   2GB
Sep 21 18:22:55 Starting compiler/encoders/riscv/proofs
Sep 21 18:31:58 Finished compiler/encoders/riscv/proofs                        9m02s   1GB
Sep 21 18:31:59 Starting compiler/encoders/ag32/proofs
Sep 21 18:34:38 Finished compiler/encoders/ag32/proofs                         2m39s 855MB
Sep 21 18:34:38 Starting compiler/backend/x64/proofs
Sep 21 18:35:04 Finished compiler/backend/x64/proofs                             25s   1GB
Sep 21 18:35:04 Starting compiler/backend/arm7/proofs
Sep 21 18:35:32 Finished compiler/backend/arm7/proofs                            27s   2GB
Sep 21 18:35:32 Starting compiler/backend/arm8/proofs
Sep 21 18:35:57 Finished compiler/backend/arm8/proofs                            25s   1GB
Sep 21 18:35:57 Starting compiler/backend/arm8_asl
Sep 21 18:36:17 Finished compiler/backend/arm8_asl                               19s   1GB
Sep 21 18:36:17 Starting compiler/backend/mips/proofs
Sep 21 18:36:44 Finished compiler/backend/mips/proofs                            26s   1GB
Sep 21 18:36:44 Starting compiler/backend/riscv/proofs
Sep 21 18:37:10 Finished compiler/backend/riscv/proofs                           26s   1GB
Sep 21 18:37:10 Starting compiler/backend/ag32/proofs
Sep 21 18:50:33 Finished compiler/backend/ag32/proofs                         13m23s   3GB
Sep 21 18:50:34 Starting compiler/proofs
Sep 21 18:52:40 Finished compiler/proofs                                       2m05s   3GB
Sep 21 18:52:40 Starting candle/set-theory
Sep 21 18:53:14 Finished candle/set-theory                                       33s   1GB
Sep 21 18:53:14 Starting candle/syntax-lib
Sep 21 18:53:27 Finished candle/syntax-lib                                       12s 573MB
Sep 21 18:53:27 Starting candle/standard/syntax
Sep 21 18:55:26 Finished candle/standard/syntax                                1m59s   1GB
Sep 21 18:55:26 Starting candle/standard/semantics
Sep 21 18:57:11 Finished candle/standard/semantics                             1m44s   1GB
Sep 21 18:57:11 Starting candle/standard/monadic
Sep 21 18:59:08 Finished candle/standard/monadic                               1m56s   1GB
Sep 21 18:59:08 Starting candle/standard/ml_kernel
Sep 21 19:05:54 Finished candle/standard/ml_kernel                             6m45s   4GB
Sep 21 19:05:54 Starting candle/overloading/syntax
Sep 21 19:09:04 Finished candle/overloading/syntax                             3m10s   1GB
Sep 21 19:09:05 Starting candle/overloading/semantics
Sep 21 19:20:51 Finished candle/overloading/semantics                         11m46s   4GB
Sep 21 19:20:51 Starting candle/overloading/monadic
Sep 21 19:23:28 Finished candle/overloading/monadic                            2m36s   1GB
Sep 21 19:23:28 Starting candle/overloading/ml_kernel
Sep 21 19:30:52 Finished candle/overloading/ml_kernel                          7m23s   3GB
Sep 21 19:30:52 Starting candle/overloading/ml_checker
Sep 21 19:33:22 Finished candle/overloading/ml_checker                         2m29s   2GB
Sep 21 19:33:22 Starting candle/prover
Sep 21 19:48:28 Finished candle/prover                                        15m05s   3GB
Sep 21 19:48:28 Starting pancake
Sep 21 19:51:32 Finished pancake                                               3m03s   4GB
Sep 21 19:51:32 Starting pancake/ffi
Sep 21 19:51:32 Finished pancake/ffi                                              0s  25MB
Sep 21 19:51:32 Starting pancake/semantics
Sep 21 19:53:55 Finished pancake/semantics                                     2m23s   1GB
Sep 21 19:53:55 Starting pancake/proofs
Sep 21 20:06:07 Finished pancake/proofs                                       12m11s   7GB
Sep 21 20:06:07 Starting characteristic/examples
Sep 21 20:07:34 Finished characteristic/examples                               1m26s   3GB
Sep 21 20:07:34 Starting tutorial/solutions
Sep 21 20:23:21 Finished tutorial/solutions                                   15m47s   8GB
Sep 21 20:23:21 Starting translator/monadic/examples
Sep 21 20:27:07 Finished translator/monadic/examples                           3m45s   2GB
Sep 21 20:27:07 Starting examples
Sep 21 20:36:49 Finished examples                                              9m40s   4GB
Sep 21 20:36:49 Starting examples/compilation/x64
Sep 21 22:39:53 Finished examples/compilation/x64                           2h03m02s  18GB
Sep 21 22:39:53 Starting examples/compilation/x64/proofs
Sep 21 22:42:09 Finished examples/compilation/x64/proofs                       2m15s   3GB
Sep 21 22:42:09 Starting examples/compilation/ag32
Sep 21 23:15:15 Finished examples/compilation/ag32                            33m05s   8GB
Sep 21 23:15:15 Starting examples/compilation/ag32/proofs
Sep 21 23:16:05 Finished examples/compilation/ag32/proofs                        50s   3GB
Sep 21 23:16:06 Starting examples/compilation/to_word
Sep 21 23:19:07 Finished examples/compilation/to_word                          3m00s   5GB
Sep 21 23:19:07 Starting examples/lpr_checker
Sep 21 23:20:05 Finished examples/lpr_checker                                    57s   1GB
Sep 21 23:20:05 Starting examples/lpr_checker/array
Sep 21 23:53:32 Finished examples/lpr_checker/array                           33m26s   6GB
Sep 21 23:53:33 Starting examples/lpr_checker/array/compilation
Sep 22 00:32:43 Finished examples/lpr_checker/array/compilation               39m10s  23GB
Sep 22 00:32:43 Starting examples/lpr_checker/array/compilation/proofs
Sep 22 00:34:02 Finished examples/lpr_checker/array/compilation/proofs         1m18s   6GB
Sep 22 00:34:02 Starting examples/opentheory
Sep 22 00:44:25 Finished examples/opentheory                                  10m22s   5GB
Sep 22 00:44:25 Starting examples/opentheory
Sep 22 00:44:26 Finished examples/opentheory                                      1s 139MB
Sep 22 00:44:26 Starting examples/opentheory/compilation
Sep 22 01:22:57 Finished examples/opentheory/compilation                      38m30s  28GB
Sep 22 01:22:58 Starting examples/opentheory/compilation/proofs
Sep 22 01:23:44 Finished examples/opentheory/compilation/proofs                  46s   3GB
Sep 22 01:23:44 Starting examples/opentheory/compilation/ag32
Sep 22 01:58:32 Finished examples/opentheory/compilation/ag32                 34m47s  27GB
Sep 22 01:58:32 Starting examples/opentheory/compilation/ag32/proofs
Sep 22 02:00:18 Finished examples/opentheory/compilation/ag32/proofs           1m45s   3GB
Sep 22 02:00:18 Starting examples/sat_encodings
Sep 22 02:02:04 Finished examples/sat_encodings                                1m46s 772MB
Sep 22 02:02:04 Starting examples/sat_encodings/case_studies
Sep 22 02:03:42 Finished examples/sat_encodings/case_studies                   1m37s 704MB
Sep 22 02:03:42 Starting examples/sat_encodings/translation
Sep 22 02:09:20 Finished examples/sat_encodings/translation                    5m38s   5GB
Sep 22 02:09:21 Starting examples/sat_encodings/translation/compilation
Sep 22 02:56:02 Finished examples/sat_encodings/translation/compilation       46m40s  19GB
Sep 22 02:56:02 Starting examples/deflate
Sep 22 02:56:53 Finished examples/deflate                                        50s 882MB
Sep 22 02:56:53 Starting examples/deflate/translation
Sep 22 02:58:23 Finished examples/deflate/translation                          1m29s   3GB
Sep 22 02:58:23 Starting examples/deflate/translation/compilation
Sep 22 03:19:24 Finished examples/deflate/translation/compilation             21m00s  11GB
Sep 22 03:19:24 Starting translator/okasaki-examples
Sep 22 03:24:16 Finished translator/okasaki-examples                           4m51s   1GB
Sep 22 03:24:16 Starting translator/other-examples
Sep 22 03:25:00 Finished translator/other-examples                               43s   1GB
Sep 22 03:25:00 Starting compiler/parsing/tests
Sep 22 03:25:30 Finished compiler/parsing/tests                                  29s 590MB
Sep 22 03:25:30 Starting compiler/inference/tests
Sep 22 03:33:57 Finished compiler/inference/tests                              8m27s   5GB
Sep 22 03:33:58 Starting compiler/printing/test
Sep 22 03:37:44 Finished compiler/printing/test                                3m46s   3GB
Sep 22 03:37:45 Starting icing/flover
Sep 22 04:20:53 Finished icing/flover                                         43m06s   1GB
Sep 22 04:20:53 Starting icing/
Sep 22 05:19:43 Finished icing/                                               58m50s   8GB
Sep 22 05:19:44 Starting icing/examples
Sep 22 05:21:20 Finished icing/examples                                        1m35s   5GB
Sep 22 05:21:20 Starting compiler/repl
Sep 22 08:00:10 Finished compiler/repl                                      2h38m49s  24GB
Sep 22 08:00:11 Starting compiler/bootstrap/translation
Sep 22 12:29:56 Finished compiler/bootstrap/translation                     4h29m44s  39GB
Sep 22 12:29:56 Starting unverified/sexpr-bootstrap/x64/64
Sep 22 12:42:44 Finished unverified/sexpr-bootstrap/x64/64                    12m47s   8GB
Sep 22 12:42:44 Starting unverified/sexpr-bootstrap/x64/32
Sep 22 12:52:28 Finished unverified/sexpr-bootstrap/x64/32                     9m43s  12GB
Sep 22 12:52:28 Starting compiler/benchmarks
Sep 22 12:53:24 Finished compiler/benchmarks                                     56s 674MB
Sep 22 12:53:24 Starting compiler/bootstrap/compilation/x64/64
Sep 23 00:06:15 Finished compiler/bootstrap/compilation/x64/64             11h12m49s  64GB
Sep 23 00:06:15 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 23 00:25:00 Finished compiler/bootstrap/compilation/x64/64/proofs         18m45s  32GB
Sep 23 00:25:01 Starting compiler/bootstrap/compilation/x64/32
Sep 23 06:58:13 Finished compiler/bootstrap/compilation/x64/32              6h33m11s  64GB
Sep 23 06:58:13 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 23 07:00:37 Finished compiler/bootstrap/compilation/x64/32/proofs          2m23s  17GB
Sep 23 07:00:37 Starting compiler/bootstrap/compilation/ag32/32
Sep 23 13:43:14 Finished compiler/bootstrap/compilation/ag32/32             6h42m35s  64GB
Sep 23 13:43:14 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 23 13:49:03 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m49s  31GB
Sep 23 13:49:03 SUCCESS