Job 1992

CakeML:e1a091a98456edccc763187c818c3e290eb52abb
  Fix some parsing issues [Sep 14 20:27:21]
#908 (common-sub-exp-elim)
Merging into:116b8aed60d875e227d74ff4d2312ac459c7426a
  Remove failing diminish_srw_ss [Sep 18 08:04:47]
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

Sep 18 11:40:29 Claimed job
Sep 18 11:40:31 Reusing HOL
Sep 18 11:40:46 Starting developers
Sep 18 11:40:50 Finished developers                                               4s  98MB
Sep 18 11:40:51 Starting developers/bin
Sep 18 11:40:57 Finished developers/bin                                           6s   1GB
Sep 18 11:40:57 Starting semantics/ffi
Sep 18 11:41:06 Finished semantics/ffi                                            8s 230MB
Sep 18 11:41:06 Starting semantics
Sep 18 11:43:28 Finished semantics                                             2m22s   1GB
Sep 18 11:43:28 Starting semantics/proofs
Sep 18 11:50:27 Finished semantics/proofs                                      6m58s   1GB
Sep 18 11:50:27 Starting semantics/alt_semantics
Sep 18 11:50:53 Finished semantics/alt_semantics                                 26s 664MB
Sep 18 11:50:53 Starting semantics/alt_semantics/proofs
Sep 18 12:02:27 Finished semantics/alt_semantics/proofs                       11m33s   1GB
Sep 18 12:02:27 Starting basis/pure
Sep 18 12:03:32 Finished basis/pure                                            1m05s 935MB
Sep 18 12:03:33 Starting translator
Sep 18 12:07:10 Finished translator                                            3m37s   2GB
Sep 18 12:07:10 Starting compiler/parsing
Sep 18 12:08:33 Finished compiler/parsing                                      1m22s   3GB
Sep 18 12:08:33 Starting characteristic
Sep 18 12:15:22 Finished characteristic                                        6m49s   2GB
Sep 18 12:15:22 Starting translator/monadic
Sep 18 12:17:17 Finished translator/monadic                                    1m54s   1GB
Sep 18 12:17:17 Starting basis
Sep 18 13:08:26 Finished basis                                                51m08s  20GB
Sep 18 13:08:27 Starting compiler/inference
Sep 18 13:09:56 Finished compiler/inference                                    1m28s   1GB
Sep 18 13:09:56 Starting compiler/backend/reg_alloc
Sep 18 13:11:39 Finished compiler/backend/reg_alloc                            1m43s   1GB
Sep 18 13:11:39 Starting compiler/backend/gc
Sep 18 13:15:58 Finished compiler/backend/gc                                   4m19s   1GB
Sep 18 13:15:59 Starting compiler/backend
Sep 18 13:21:35 Finished compiler/backend                                      5m36s   3GB
Sep 18 13:21:35 Starting compiler/encoders/asm
Sep 18 13:22:06 Finished compiler/encoders/asm                                   30s 881MB
Sep 18 13:22:06 Starting compiler/encoders/x64
Sep 18 13:22:34 Finished compiler/encoders/x64                                   28s   1GB
Sep 18 13:22:35 Starting compiler/encoders/arm7
Sep 18 13:23:29 Finished compiler/encoders/arm7                                  54s   1GB
Sep 18 13:23:29 Starting compiler/encoders/arm8
Sep 18 13:23:46 Finished compiler/encoders/arm8                                  16s 913MB
Sep 18 13:23:46 Starting compiler/encoders/arm8_asl
Sep 18 13:26:16 Finished compiler/encoders/arm8_asl                            2m30s   1GB
Sep 18 13:26:17 Starting compiler/encoders/mips
Sep 18 13:26:38 Finished compiler/encoders/mips                                  21s   1GB
Sep 18 13:26:38 Starting compiler/encoders/riscv
Sep 18 13:26:58 Finished compiler/encoders/riscv                                 19s 891MB
Sep 18 13:26:58 Starting compiler/encoders/ag32
Sep 18 13:27:18 Finished compiler/encoders/ag32                                  20s 614MB
Sep 18 13:27:18 Starting compiler/backend/x64
Sep 18 13:27:39 Finished compiler/backend/x64                                    20s   1GB
Sep 18 13:27:40 Starting compiler/backend/arm7
Sep 18 13:28:03 Finished compiler/backend/arm7                                   23s   1GB
Sep 18 13:28:03 Starting compiler/backend/arm8
Sep 18 13:28:24 Finished compiler/backend/arm8                                   21s   1GB
Sep 18 13:28:25 Starting compiler/backend/mips
Sep 18 13:28:46 Finished compiler/backend/mips                                   21s   1GB
Sep 18 13:28:46 Starting compiler/backend/riscv
Sep 18 13:29:08 Finished compiler/backend/riscv                                  21s   1GB
Sep 18 13:29:08 Starting compiler/backend/ag32
Sep 18 13:30:35 Finished compiler/backend/ag32                                 1m26s   1GB
Sep 18 13:30:35 Starting compiler/parsing/proofs
Sep 18 13:34:21 Finished compiler/parsing/proofs                               3m45s   1GB
Sep 18 13:34:21 Starting compiler/inference/proofs
Sep 18 13:37:01 Finished compiler/inference/proofs                             2m39s   1GB
Sep 18 13:37:01 Starting compiler/backend/semantics
Sep 18 14:04:00 Finished compiler/backend/semantics                           26m59s   2GB
Sep 18 14:04:00 Starting compiler/backend/reg_alloc/proofs
Sep 18 14:07:36 Finished compiler/backend/reg_alloc/proofs                     3m35s   1GB
Sep 18 14:07:36 Starting compiler/backend/proofs
Sep 18 15:03:31 Finished compiler/backend/proofs                              55m53s  15GB
Sep 18 15:03:31 Starting compiler/backend/serialiser
Sep 18 15:05:01 Finished compiler/backend/serialiser                           1m30s   1GB
Sep 18 15:05:01 Starting compiler/encoders/x64/proofs
Sep 18 15:14:51 Finished compiler/encoders/x64/proofs                          9m49s   4GB
Sep 18 15:14:51 Starting compiler/encoders/arm7/proofs
Sep 18 15:28:36 Finished compiler/encoders/arm7/proofs                        13m45s   3GB
Sep 18 15:28:37 Starting compiler/encoders/arm8/proofs
Sep 18 15:35:36 Finished compiler/encoders/arm8/proofs                         6m59s   1GB
Sep 18 15:35:36 Starting compiler/encoders/arm8_asl/proofs
Sep 18 15:51:28 Finished compiler/encoders/arm8_asl/proofs                    15m51s   2GB
Sep 18 15:51:28 Starting compiler/encoders/mips/proofs
Sep 18 16:02:02 Finished compiler/encoders/mips/proofs                        10m33s   2GB
Sep 18 16:02:02 Starting compiler/encoders/riscv/proofs
Sep 18 16:10:45 Finished compiler/encoders/riscv/proofs                        8m42s   1GB
Sep 18 16:10:45 Starting compiler/encoders/ag32/proofs
Sep 18 16:13:24 Finished compiler/encoders/ag32/proofs                         2m38s 763MB
Sep 18 16:13:24 Starting compiler/backend/x64/proofs
Sep 18 16:13:49 Finished compiler/backend/x64/proofs                             24s   1GB
Sep 18 16:13:49 Starting compiler/backend/arm7/proofs
Sep 18 16:14:16 Finished compiler/backend/arm7/proofs                            27s   2GB
Sep 18 16:14:16 Starting compiler/backend/arm8/proofs
Sep 18 16:14:42 Finished compiler/backend/arm8/proofs                            25s   1GB
Sep 18 16:14:42 Starting compiler/backend/arm8_asl
Sep 18 16:15:02 Finished compiler/backend/arm8_asl                               19s   1GB
Sep 18 16:15:02 Starting compiler/backend/mips/proofs
Sep 18 16:15:29 Finished compiler/backend/mips/proofs                            26s   2GB
Sep 18 16:15:30 Starting compiler/backend/riscv/proofs
Sep 18 16:15:55 Finished compiler/backend/riscv/proofs                           25s   1GB
Sep 18 16:15:55 Starting compiler/backend/ag32/proofs
Sep 18 16:29:13 Finished compiler/backend/ag32/proofs                         13m17s   3GB
Sep 18 16:29:14 Starting compiler/proofs
Sep 18 19:17:05 Resuming compiler/proofs
Sep 18 19:19:13 Finished compiler/proofs                                       2m07s   5GB
Sep 18 19:19:13 Starting candle/set-theory
Sep 18 19:19:47 Finished candle/set-theory                                       33s 981MB
Sep 18 19:19:47 Starting candle/syntax-lib
Sep 18 19:20:00 Finished candle/syntax-lib                                       13s 528MB
Sep 18 19:20:00 Starting candle/standard/syntax
Sep 18 19:22:01 Finished candle/standard/syntax                                2m00s   1GB
Sep 18 19:22:01 Starting candle/standard/semantics
Sep 18 19:23:45 Finished candle/standard/semantics                             1m43s   1GB
Sep 18 19:23:45 Starting candle/standard/monadic
Sep 18 19:25:39 Finished candle/standard/monadic                               1m53s   1GB
Sep 18 19:25:40 Starting candle/standard/ml_kernel
Sep 18 19:32:17 Finished candle/standard/ml_kernel                             6m37s   2GB
Sep 18 19:32:17 Starting candle/overloading/syntax
Sep 18 19:35:28 Finished candle/overloading/syntax                             3m10s   1GB
Sep 18 19:35:28 Starting candle/overloading/semantics
Sep 18 19:47:26 Finished candle/overloading/semantics                         11m57s   2GB
Sep 18 19:47:26 Starting candle/overloading/monadic
Sep 18 19:50:02 Finished candle/overloading/monadic                            2m36s   1GB
Sep 18 19:50:02 Starting candle/overloading/ml_kernel
Sep 18 19:57:23 Finished candle/overloading/ml_kernel                          7m20s   3GB
Sep 18 19:57:23 Starting candle/overloading/ml_checker
Sep 18 19:59:52 Finished candle/overloading/ml_checker                         2m28s   2GB
Sep 18 19:59:52 Starting candle/prover
Sep 18 20:14:43 Finished candle/prover                                        14m51s   5GB
Sep 18 20:14:43 Starting pancake
Sep 18 20:17:50 Finished pancake                                               3m06s   4GB
Sep 18 20:17:50 Starting pancake/ffi
Sep 18 20:17:50 Finished pancake/ffi                                              0s  25MB
Sep 18 20:17:51 Starting pancake/semantics
Sep 18 20:20:16 Finished pancake/semantics                                     2m25s   1GB
Sep 18 20:20:16 Starting pancake/proofs
Sep 18 20:32:43 Finished pancake/proofs                                       12m26s   5GB
Sep 18 20:32:43 Starting characteristic/examples
Sep 18 20:34:07 Finished characteristic/examples                               1m23s   1GB
Sep 18 20:34:07 Starting tutorial/solutions
Sep 18 20:49:36 Finished tutorial/solutions                                   15m29s   9GB
Sep 18 20:49:37 Starting translator/monadic/examples
Sep 18 20:53:22 Finished translator/monadic/examples                           3m44s   2GB
Sep 18 20:53:22 Starting examples
Sep 18 21:02:58 Finished examples                                              9m35s   3GB
Sep 18 21:02:58 Starting examples/compilation/x64
Sep 18 23:05:33 Finished examples/compilation/x64                           2h02m34s  15GB
Sep 18 23:05:34 Starting examples/compilation/x64/proofs
Sep 18 23:07:46 Finished examples/compilation/x64/proofs                       2m12s   3GB
Sep 18 23:07:46 Starting examples/compilation/ag32
Sep 18 23:40:39 Finished examples/compilation/ag32                            32m53s   8GB
Sep 18 23:40:40 Starting examples/compilation/ag32/proofs
Sep 18 23:41:30 Finished examples/compilation/ag32/proofs                        50s   3GB
Sep 18 23:41:30 Starting examples/compilation/to_word
Sep 18 23:44:30 Finished examples/compilation/to_word                          2m59s   6GB
Sep 19 20:53:33 Resuming examples/lpr_checker
Sep 19 20:54:30 Finished examples/lpr_checker                                    56s   1GB
Sep 19 20:54:31 Starting examples/lpr_checker/array
Sep 19 21:28:38 Finished examples/lpr_checker/array                           34m07s   5GB
Sep 19 21:28:38 Starting examples/lpr_checker/array/compilation
Sep 19 22:07:45 Finished examples/lpr_checker/array/compilation               39m05s  24GB
Sep 19 22:07:45 Starting examples/lpr_checker/array/compilation/proofs
Sep 19 22:09:05 Finished examples/lpr_checker/array/compilation/proofs         1m19s   6GB
Sep 19 22:09:05 Starting examples/opentheory
Sep 19 22:19:27 Finished examples/opentheory                                  10m21s   3GB
Sep 19 22:19:27 Starting examples/opentheory
Sep 19 22:19:28 Finished examples/opentheory                                      1s 140MB
Sep 19 22:19:28 Starting examples/opentheory/compilation
Sep 19 22:56:14 Finished examples/opentheory/compilation                      36m45s  29GB
Sep 19 22:56:14 Starting examples/opentheory/compilation/proofs
Sep 19 22:57:15 Finished examples/opentheory/compilation/proofs                1m00s   3GB
Sep 19 22:57:15 Starting examples/opentheory/compilation/ag32
Sep 19 23:31:49 Finished examples/opentheory/compilation/ag32                 34m33s  27GB
Sep 19 23:31:50 Starting examples/opentheory/compilation/ag32/proofs
Sep 19 23:33:37 Finished examples/opentheory/compilation/ag32/proofs           1m47s   6GB
Sep 19 23:33:37 Starting examples/sat_encodings
Sep 19 23:35:24 Finished examples/sat_encodings                                1m46s 886MB
Sep 19 23:35:24 Starting examples/sat_encodings/case_studies
Sep 19 23:36:59 Finished examples/sat_encodings/case_studies                   1m34s 966MB
Sep 19 23:36:59 Starting examples/sat_encodings/translation
Sep 19 23:42:41 Finished examples/sat_encodings/translation                    5m41s   5GB
Sep 19 23:42:41 Starting examples/sat_encodings/translation/compilation
Sep 20 00:30:32 Finished examples/sat_encodings/translation/compilation       47m51s  20GB
Sep 20 00:30:33 Starting examples/deflate
Sep 20 00:31:23 Finished examples/deflate                                        50s 729MB
Sep 20 00:31:23 Starting examples/deflate/translation
Sep 20 00:32:53 Finished examples/deflate/translation                          1m28s   3GB
Sep 20 00:32:53 Starting examples/deflate/translation/compilation
Sep 20 00:53:52 Finished examples/deflate/translation/compilation             20m59s  11GB
Sep 20 00:53:52 Starting translator/okasaki-examples
Sep 20 00:58:55 Finished translator/okasaki-examples                           5m02s   2GB
Sep 20 00:58:55 Starting translator/other-examples
Sep 20 00:59:40 Finished translator/other-examples                               44s   1GB
Sep 20 00:59:40 Starting compiler/parsing/tests
Sep 20 01:00:09 Finished compiler/parsing/tests                                  28s 591MB
Sep 20 01:00:09 Starting compiler/inference/tests
Sep 20 01:08:32 Finished compiler/inference/tests                              8m22s   6GB
Sep 20 01:08:32 Starting compiler/printing/test
Sep 20 01:12:17 Finished compiler/printing/test                                3m44s   3GB
Sep 20 01:12:17 Starting icing/flover
Sep 20 01:56:38 Finished icing/flover                                         44m19s   1GB
Sep 20 01:56:38 Starting icing/
Sep 20 02:55:48 Finished icing/                                               59m09s   8GB
Sep 20 02:55:48 Starting icing/examples
Sep 20 02:57:26 Finished icing/examples                                        1m36s   5GB
Sep 20 02:57:26 Starting compiler/repl
Sep 20 05:35:16 Finished compiler/repl                                      2h37m48s  25GB
Sep 20 05:35:16 Starting compiler/bootstrap/translation
Sep 20 10:04:47 Finished compiler/bootstrap/translation                     4h29m28s  49GB
Sep 20 10:04:47 Starting unverified/sexpr-bootstrap/x64/64
Sep 20 10:17:42 Finished unverified/sexpr-bootstrap/x64/64                    12m55s   8GB
Sep 20 10:17:42 Starting unverified/sexpr-bootstrap/x64/32
Sep 20 10:27:37 Finished unverified/sexpr-bootstrap/x64/32                     9m54s  11GB
Sep 20 10:27:37 Starting compiler/benchmarks
Sep 20 10:28:33 Finished compiler/benchmarks                                     55s 674MB
Sep 20 10:28:33 Starting compiler/bootstrap/compilation/x64/64
Sep 20 21:35:33 Finished compiler/bootstrap/compilation/x64/64             11h06m59s  64GB
Sep 20 21:35:33 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 20 21:53:57 Finished compiler/bootstrap/compilation/x64/64/proofs         18m23s  31GB
Sep 20 21:53:57 Starting compiler/bootstrap/compilation/x64/32
Sep 21 04:21:59 Finished compiler/bootstrap/compilation/x64/32              6h28m01s  64GB
Sep 21 04:21:59 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 21 04:24:40 Finished compiler/bootstrap/compilation/x64/32/proofs          2m40s  17GB
Sep 21 04:24:40 Starting compiler/bootstrap/compilation/ag32/32
Sep 21 11:06:52 Finished compiler/bootstrap/compilation/ag32/32             6h42m11s  64GB
Sep 21 11:06:52 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 21 11:12:44 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m51s  31GB
Sep 21 11:12:45 SUCCESS