Job 2002

CakeML:0651323fa01430d956cb73942db0bd49f4a7a7d1
  add common_subexp_elim_no_mt [Sep 28 12:43:11]
#909 (word_to_word_Pancake)
Merging into:8787dfee96e79a737da9bd4fb610e9d5de5fbaed
  Merge pull request #910 from CakeML/minor-tweaks [Sep 25 06:57:35]
HOL:3944ad679bfa57b3604d40d089e9bfe9e9b74549
  Remove silly whitespace [Sep 26 23:51:38]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Sep 29 12:22:43 Claimed job
Sep 29 12:22:49 Building HOL
Sep 29 12:34:02 Starting developers
Sep 29 12:34:07 Finished developers                                               4s 131MB
Sep 29 12:34:07 Starting developers/bin
Sep 29 12:34:13 Finished developers/bin                                           6s   1GB
Sep 29 12:34:13 Starting compiler/proofs
Sep 29 14:20:38 Finished compiler/proofs                                    1h46m23s  17GB
Sep 29 14:20:38 Starting compiler/bootstrap/translation
Sep 29 19:10:00 Finished compiler/bootstrap/translation                     4h49m21s  44GB
Sep 29 19:10:01 Starting semantics/ffi
Sep 29 19:10:04 Finished semantics/ffi                                            3s 214MB
Sep 29 19:10:04 Starting semantics
Sep 29 19:10:05 Finished semantics                                                1s  75MB
Sep 29 19:10:05 Starting semantics/proofs
Sep 29 19:10:35 Finished semantics/proofs                                        29s 603MB
Sep 29 19:10:35 Starting semantics/alt_semantics
Sep 29 19:11:01 Finished semantics/alt_semantics                                 26s 629MB
Sep 29 19:11:02 Starting semantics/alt_semantics/proofs
Sep 29 19:22:29 Finished semantics/alt_semantics/proofs                       11m26s   1GB
Sep 29 19:22:29 Starting basis/pure
Sep 29 19:22:30 Finished basis/pure                                               1s  85MB
Sep 29 19:22:30 Starting translator
Sep 29 19:24:14 Finished translator                                            1m43s   1GB
Sep 29 19:24:14 Starting compiler/parsing
Sep 29 19:24:15 Finished compiler/parsing                                         1s  81MB
Sep 29 19:24:15 Starting characteristic
Sep 29 19:24:17 Finished characteristic                                           1s 107MB
Sep 29 19:24:17 Starting translator/monadic
Sep 29 19:24:18 Finished translator/monadic                                       1s 115MB
Sep 29 19:24:18 Starting basis
Sep 29 19:27:45 Finished basis                                                 3m26s   2GB
Sep 29 19:27:45 Starting compiler/inference
Sep 29 19:27:46 Finished compiler/inference                                       1s  93MB
Sep 29 19:27:46 Starting compiler/backend/reg_alloc
Sep 29 19:27:47 Finished compiler/backend/reg_alloc                               1s  83MB
Sep 29 19:27:48 Starting compiler/backend/gc
Sep 29 19:27:49 Finished compiler/backend/gc                                      1s 153MB
Sep 29 19:27:50 Starting compiler/backend
Sep 29 19:27:59 Finished compiler/backend                                         9s 495MB
Sep 29 19:27:59 Starting compiler/encoders/asm
Sep 29 19:28:00 Finished compiler/encoders/asm                                    1s 102MB
Sep 29 19:28:01 Starting compiler/encoders/x64
Sep 29 19:28:02 Finished compiler/encoders/x64                                    1s 101MB
Sep 29 19:28:02 Starting compiler/encoders/arm7
Sep 29 19:28:03 Finished compiler/encoders/arm7                                   1s 103MB
Sep 29 19:28:03 Starting compiler/encoders/arm8
Sep 29 19:28:05 Finished compiler/encoders/arm8                                   1s 109MB
Sep 29 19:28:05 Starting compiler/encoders/arm8_asl
Sep 29 21:46:43 Finished compiler/encoders/arm8_asl                         2h18m36s  41GB
Sep 29 21:46:44 Starting compiler/encoders/mips
Sep 29 21:46:45 Finished compiler/encoders/mips                                   1s 104MB
Sep 29 21:46:45 Starting compiler/encoders/riscv
Sep 29 21:46:46 Finished compiler/encoders/riscv                                  1s 108MB
Sep 29 21:46:46 Starting compiler/encoders/ag32
Sep 29 21:46:48 Finished compiler/encoders/ag32                                   1s  98MB
Sep 29 21:46:48 Starting compiler/backend/x64
Sep 29 21:46:50 Finished compiler/backend/x64                                     1s 140MB
Sep 29 21:46:50 Starting compiler/backend/arm7
Sep 29 21:46:51 Finished compiler/backend/arm7                                    1s 144MB
Sep 29 21:46:52 Starting compiler/backend/arm8
Sep 29 21:46:53 Finished compiler/backend/arm8                                    1s 144MB
Sep 29 21:46:53 Starting compiler/backend/mips
Sep 29 21:46:55 Finished compiler/backend/mips                                    1s 144MB
Sep 29 21:46:55 Starting compiler/backend/riscv
Sep 29 21:46:57 Finished compiler/backend/riscv                                   1s 144MB
Sep 29 21:46:57 Starting compiler/backend/ag32
Sep 29 21:48:24 Finished compiler/backend/ag32                                 1m26s   1GB
Sep 29 21:48:24 Starting compiler/parsing/proofs
Sep 29 21:48:25 Finished compiler/parsing/proofs                                  1s  89MB
Sep 29 21:48:25 Starting compiler/inference/proofs
Sep 29 21:48:27 Finished compiler/inference/proofs                                1s 101MB
Sep 29 21:48:27 Starting compiler/backend/semantics
Sep 29 21:49:32 Finished compiler/backend/semantics                            1m04s   1GB
Sep 29 21:49:32 Starting compiler/backend/reg_alloc/proofs
Sep 29 21:49:33 Finished compiler/backend/reg_alloc/proofs                        1s 114MB
Sep 29 21:49:33 Starting compiler/backend/proofs
Sep 29 21:50:27 Finished compiler/backend/proofs                                 53s   2GB
Sep 29 21:50:27 Starting compiler/backend/serialiser
Sep 29 21:50:29 Finished compiler/backend/serialiser                              2s 210MB
Sep 29 21:50:29 Starting compiler/encoders/x64/proofs
Sep 29 22:00:19 Finished compiler/encoders/x64/proofs                          9m49s   4GB
Sep 29 22:00:19 Starting compiler/encoders/arm7/proofs
Sep 29 22:13:51 Finished compiler/encoders/arm7/proofs                        13m32s   3GB
Sep 29 22:13:51 Starting compiler/encoders/arm8/proofs
Sep 29 22:20:44 Finished compiler/encoders/arm8/proofs                         6m52s   1GB
Sep 29 22:20:44 Starting compiler/encoders/arm8_asl/proofs
Sep 29 23:12:45 Finished compiler/encoders/arm8_asl/proofs                    51m59s   7GB
Sep 29 23:12:45 Starting compiler/encoders/mips/proofs
Sep 29 23:23:22 Finished compiler/encoders/mips/proofs                        10m36s   1GB
Sep 29 23:23:22 Starting compiler/encoders/riscv/proofs
Sep 29 23:32:20 Finished compiler/encoders/riscv/proofs                        8m57s   1GB
Sep 29 23:32:20 Starting compiler/encoders/ag32/proofs
Sep 29 23:34:59 Finished compiler/encoders/ag32/proofs                         2m38s 815MB
Sep 29 23:34:59 Starting compiler/backend/x64/proofs
Sep 29 23:35:23 Finished compiler/backend/x64/proofs                             24s   1GB
Sep 29 23:35:24 Starting compiler/backend/arm7/proofs
Sep 29 23:35:51 Finished compiler/backend/arm7/proofs                            27s   2GB
Sep 29 23:35:51 Starting compiler/backend/arm8/proofs
Sep 29 23:36:18 Finished compiler/backend/arm8/proofs                            26s   1GB
Sep 29 23:36:18 Starting compiler/backend/arm8_asl
Sep 29 23:36:38 Finished compiler/backend/arm8_asl                               20s   1GB
Sep 29 23:36:38 Starting compiler/backend/mips/proofs
Sep 29 23:37:05 Finished compiler/backend/mips/proofs                            26s   1GB
Sep 29 23:37:05 Starting compiler/backend/riscv/proofs
Sep 29 23:37:31 Finished compiler/backend/riscv/proofs                           25s   1GB
Sep 29 23:37:31 Starting compiler/backend/ag32/proofs
Sep 29 23:51:04 Finished compiler/backend/ag32/proofs                         13m33s   2GB
Sep 29 23:51:04 Starting candle/set-theory
Sep 29 23:51:38 Finished candle/set-theory                                       34s   1GB
Sep 29 23:51:38 Starting candle/syntax-lib
Sep 29 23:51:40 Finished candle/syntax-lib                                        1s  83MB
Sep 29 23:51:40 Starting candle/standard/syntax
Sep 29 23:51:48 Finished candle/standard/syntax                                   8s 527MB
Sep 29 23:51:48 Starting candle/standard/semantics
Sep 29 23:53:33 Finished candle/standard/semantics                             1m44s   1GB
Sep 29 23:53:34 Starting candle/standard/monadic
Sep 29 23:53:35 Finished candle/standard/monadic                                  1s 112MB
Sep 29 23:53:35 Starting candle/standard/ml_kernel
Sep 29 23:55:04 Finished candle/standard/ml_kernel                             1m28s   2GB
Sep 29 23:55:04 Starting candle/overloading/syntax
Sep 29 23:58:15 Finished candle/overloading/syntax                             3m11s   1GB
Sep 29 23:58:15 Starting candle/overloading/semantics
Sep 30 00:09:59 Finished candle/overloading/semantics                         11m43s   4GB
Sep 30 00:09:59 Starting candle/overloading/monadic
Sep 30 00:12:37 Finished candle/overloading/monadic                            2m37s   1GB
Sep 30 00:12:37 Starting candle/overloading/ml_kernel
Sep 30 00:20:05 Finished candle/overloading/ml_kernel                          7m25s   3GB
Sep 30 00:20:05 Starting candle/overloading/ml_checker
Sep 30 00:22:30 Finished candle/overloading/ml_checker                         2m25s   4GB
Sep 30 00:22:30 Starting candle/prover
Sep 30 00:32:04 Finished candle/prover                                         9m33s   3GB
Sep 30 00:32:04 Starting pancake
Sep 30 00:35:08 Finished pancake                                               3m04s   4GB
Sep 30 00:35:08 Starting pancake/ffi
Sep 30 00:35:09 Finished pancake/ffi                                              0s  25MB
Sep 30 00:35:09 Starting pancake/semantics
Sep 30 00:37:33 Finished pancake/semantics                                     2m24s   1GB
Sep 30 00:37:33 Starting pancake/proofs
Sep 30 00:49:48 Finished pancake/proofs                                       12m14s   5GB
Sep 30 00:49:48 Starting characteristic/examples
Sep 30 00:51:15 Finished characteristic/examples                               1m27s   3GB
Sep 30 00:51:16 Starting tutorial/solutions
Sep 30 01:07:23 Finished tutorial/solutions                                   16m07s   8GB
Sep 30 01:07:23 Starting translator/monadic/examples
Sep 30 01:11:10 Finished translator/monadic/examples                           3m47s   3GB
Sep 30 01:11:11 Starting examples
Sep 30 01:20:58 Finished examples                                              9m46s   4GB
Sep 30 01:20:58 Starting examples/compilation/x64
Sep 30 03:24:42 Finished examples/compilation/x64                           2h03m42s  15GB
Sep 30 03:24:42 Starting examples/compilation/x64/proofs
Sep 30 03:26:59 Finished examples/compilation/x64/proofs                       2m16s   3GB
Sep 30 03:26:59 Starting examples/compilation/ag32
Sep 30 04:00:07 Finished examples/compilation/ag32                            33m07s   8GB
Sep 30 04:00:07 Starting examples/compilation/ag32/proofs
Sep 30 04:00:56 Finished examples/compilation/ag32/proofs                        49s   2GB
Sep 30 04:00:56 Starting examples/compilation/to_word
Sep 30 04:03:59 Finished examples/compilation/to_word                          3m02s   6GB
Sep 30 04:03:59 Starting examples/lpr_checker
Sep 30 04:04:56 Finished examples/lpr_checker                                    57s 964MB
Sep 30 04:04:56 Starting examples/lpr_checker/array
Sep 30 04:39:03 Finished examples/lpr_checker/array                           34m06s   5GB
Sep 30 04:39:03 Starting examples/lpr_checker/array/compilation
Sep 30 05:18:14 Finished examples/lpr_checker/array/compilation               39m10s  24GB
Sep 30 05:18:14 Starting examples/lpr_checker/array/compilation/proofs
Sep 30 05:19:33 Finished examples/lpr_checker/array/compilation/proofs         1m19s   6GB
Sep 30 05:19:33 Starting examples/opentheory
Sep 30 05:29:50 Finished examples/opentheory                                  10m17s   5GB
Sep 30 05:29:50 Starting examples/opentheory
Sep 30 05:29:52 Finished examples/opentheory                                      1s 140MB
Sep 30 05:29:52 Starting examples/opentheory/compilation
Sep 30 06:07:50 Finished examples/opentheory/compilation                      37m57s  29GB
Sep 30 06:07:50 Starting examples/opentheory/compilation/proofs
Sep 30 06:09:05 Finished examples/opentheory/compilation/proofs                1m14s   3GB
Sep 30 06:09:05 Starting examples/opentheory/compilation/ag32
Sep 30 06:42:56 Finished examples/opentheory/compilation/ag32                 33m51s  28GB
Sep 30 06:42:57 Starting examples/opentheory/compilation/ag32/proofs
Sep 30 06:44:36 Finished examples/opentheory/compilation/ag32/proofs           1m39s   5GB
Sep 30 06:44:36 Starting examples/sat_encodings
Sep 30 06:46:23 Finished examples/sat_encodings                                1m46s   1GB
Sep 30 06:46:23 Starting examples/sat_encodings/case_studies
Sep 30 06:47:58 Finished examples/sat_encodings/case_studies                   1m35s 986MB
Sep 30 06:47:58 Starting examples/sat_encodings/translation
Sep 30 06:53:38 Finished examples/sat_encodings/translation                    5m38s   5GB
Sep 30 06:53:38 Starting examples/sat_encodings/translation/compilation
Sep 30 07:40:27 Finished examples/sat_encodings/translation/compilation       46m46s  17GB
Sep 30 07:40:27 Starting examples/deflate
Sep 30 07:41:18 Finished examples/deflate                                        50s 897MB
Sep 30 07:41:18 Starting examples/deflate/translation
Sep 30 07:42:48 Finished examples/deflate/translation                          1m30s   2GB
Sep 30 07:42:48 Starting examples/deflate/translation/compilation
Sep 30 08:03:30 Finished examples/deflate/translation/compilation             20m41s  13GB
Sep 30 08:03:31 Starting translator/okasaki-examples
Sep 30 08:08:23 Finished translator/okasaki-examples                           4m52s   1GB
Sep 30 08:08:24 Starting translator/other-examples
Sep 30 08:10:43 Finished translator/other-examples                             2m19s   1GB
Sep 30 08:10:44 Starting compiler/parsing/tests
Sep 30 08:11:14 Finished compiler/parsing/tests                                  29s 516MB
Sep 30 08:11:14 Starting compiler/inference/tests
Sep 30 08:19:38 Finished compiler/inference/tests                              8m23s   5GB
Sep 30 08:19:38 Starting compiler/printing/test
Sep 30 08:23:05 Finished compiler/printing/test                                3m26s   3GB
Sep 30 08:23:05 Starting icing/flover
Sep 30 09:07:34 Finished icing/flover                                         44m28s   1GB
Sep 30 09:07:35 Starting icing/
Sep 30 10:05:59 Finished icing/                                               58m24s   8GB
Sep 30 10:06:00 Starting icing/examples
Sep 30 10:07:30 Finished icing/examples                                        1m29s   5GB
Sep 30 10:07:30 Starting compiler/repl
Sep 30 10:15:41 Finished compiler/repl                                         8m09s   3GB
Sep 30 10:15:41 Starting unverified/sexpr-bootstrap/x64/64
Sep 30 10:27:45 Finished unverified/sexpr-bootstrap/x64/64                    12m04s  14GB
Sep 30 10:27:46 Starting unverified/sexpr-bootstrap/x64/32
Sep 30 10:37:30 Finished unverified/sexpr-bootstrap/x64/32                     9m44s  12GB
Sep 30 10:37:31 Starting compiler/benchmarks
Sep 30 10:38:27 Finished compiler/benchmarks                                     56s 674MB
Sep 30 10:38:28 Starting compiler/bootstrap/compilation/x64/64
Sep 30 21:32:56 Finished compiler/bootstrap/compilation/x64/64             10h54m27s  64GB
Sep 30 21:32:57 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 30 21:51:05 Finished compiler/bootstrap/compilation/x64/64/proofs         18m08s  32GB
Sep 30 21:51:05 Starting compiler/bootstrap/compilation/x64/32
Oct 01 04:24:02 Finished compiler/bootstrap/compilation/x64/32              6h32m53s  64GB
Oct 01 04:24:02 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 01 04:26:46 Finished compiler/bootstrap/compilation/x64/32/proofs          2m43s  12GB
Oct 01 04:26:46 Starting compiler/bootstrap/compilation/ag32/32
Oct 01 10:59:06 Finished compiler/bootstrap/compilation/ag32/32             6h32m18s  64GB
Oct 01 10:59:06 Starting compiler/bootstrap/compilation/ag32/32/proofs
Oct 01 11:04:53 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m46s  31GB
Oct 01 11:04:53 SUCCESS