Job 1913

CakeML:bc575b6685f20435ced26c2937dc776313a37a95
  Add deflate example dirs to build sequence [Jun 06 18:56:47]
#888 (deflate)
Merging into:ae132ef651962a1d7c2e09a631d6d3e7c7ed5f09
  Merge pull request #887 from CakeML/inc-compiler-emptyffi [Jun 05 17:19:17]
HOL:2a613a00942c98a3ee501ee41b37da079ca23fa3
  vimhol: better feature detection for neovim [Jun 01 07:55:11]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jun 07 09:58:54 Claimed job
Jun 07 09:58:58 Reusing HOL
Jun 07 09:59:12 Starting developers
Jun 07 09:59:16 Finished developers                                               4s  98MB
Jun 07 09:59:16 Starting developers/bin
Jun 07 09:59:23 Finished developers/bin                                           6s   1GB
Jun 07 09:59:23 Starting semantics/ffi
Jun 07 09:59:33 Finished semantics/ffi                                            9s 260MB
Jun 07 09:59:33 Starting semantics
Jun 07 10:01:59 Finished semantics                                             2m26s   1GB
Jun 07 10:02:00 Starting semantics/proofs
Jun 07 10:08:50 Finished semantics/proofs                                      6m50s   1GB
Jun 07 10:08:51 Starting semantics/alt_semantics
Jun 07 10:09:18 Finished semantics/alt_semantics                                 27s 588MB
Jun 07 10:09:18 Starting semantics/alt_semantics/proofs
Jun 07 10:20:45 Finished semantics/alt_semantics/proofs                       11m26s   1GB
Jun 07 10:20:45 Starting basis/pure
Jun 07 10:21:52 Finished basis/pure                                            1m06s   1GB
Jun 07 10:21:52 Starting translator
Jun 07 10:25:37 Finished translator                                            3m44s   1GB
Jun 07 10:25:37 Starting compiler/parsing
Jun 07 10:26:57 Finished compiler/parsing                                      1m19s   3GB
Jun 07 10:26:57 Starting characteristic
Jun 07 10:34:00 Finished characteristic                                        7m03s   1GB
Jun 07 10:34:01 Starting translator/monadic
Jun 07 10:36:03 Finished translator/monadic                                    2m02s   1GB
Jun 07 10:36:03 Starting basis
Jun 07 11:27:57 Finished basis                                                51m51s  12GB
Jun 07 11:27:57 Starting compiler/inference
Jun 07 11:29:28 Finished compiler/inference                                    1m30s   1GB
Jun 07 11:29:28 Starting compiler/backend/reg_alloc
Jun 07 11:31:14 Finished compiler/backend/reg_alloc                            1m45s   1GB
Jun 07 11:31:14 Starting compiler/backend/gc
Jun 07 11:35:41 Finished compiler/backend/gc                                   4m26s   2GB
Jun 07 11:35:41 Starting compiler/backend
Jun 07 11:41:32 Finished compiler/backend                                      5m51s   3GB
Jun 07 11:41:32 Starting compiler/encoders/asm
Jun 07 11:42:04 Finished compiler/encoders/asm                                   31s 786MB
Jun 07 11:42:04 Starting compiler/encoders/x64
Jun 07 11:42:33 Finished compiler/encoders/x64                                   29s   1GB
Jun 07 11:42:34 Starting compiler/encoders/arm7
Jun 07 11:43:28 Finished compiler/encoders/arm7                                  53s   1GB
Jun 07 11:43:28 Starting compiler/encoders/arm8
Jun 07 11:43:45 Finished compiler/encoders/arm8                                  16s   1GB
Jun 07 11:43:45 Starting compiler/encoders/arm8_asl
Jun 07 11:46:17 Finished compiler/encoders/arm8_asl                            2m32s   1GB
Jun 07 11:46:18 Starting compiler/encoders/mips
Jun 07 11:46:39 Finished compiler/encoders/mips                                  21s   1GB
Jun 07 11:46:39 Starting compiler/encoders/riscv
Jun 07 11:46:59 Finished compiler/encoders/riscv                                 19s 787MB
Jun 07 11:46:59 Starting compiler/encoders/ag32
Jun 07 11:47:21 Finished compiler/encoders/ag32                                  21s 662MB
Jun 07 11:47:21 Starting compiler/backend/x64
Jun 07 11:47:43 Finished compiler/backend/x64                                    21s   1GB
Jun 07 11:47:43 Starting compiler/backend/arm7
Jun 07 11:48:07 Finished compiler/backend/arm7                                   24s   1GB
Jun 07 11:48:08 Starting compiler/backend/arm8
Jun 07 11:48:31 Finished compiler/backend/arm8                                   22s   1GB
Jun 07 11:48:31 Starting compiler/backend/mips
Jun 07 11:48:54 Finished compiler/backend/mips                                   23s   1GB
Jun 07 11:48:54 Starting compiler/backend/riscv
Jun 07 11:49:18 Finished compiler/backend/riscv                                  23s   1GB
Jun 07 11:49:18 Starting compiler/backend/ag32
Jun 07 11:50:44 Finished compiler/backend/ag32                                 1m26s   1GB
Jun 07 11:50:44 Starting compiler/parsing/proofs
Jun 07 11:54:29 Finished compiler/parsing/proofs                               3m44s   1GB
Jun 07 11:54:29 Starting compiler/inference/proofs
Jun 07 11:57:15 Finished compiler/inference/proofs                             2m45s   1GB
Jun 07 11:57:15 Starting compiler/backend/semantics
Jun 07 12:29:20 Finished compiler/backend/semantics                           32m03s   2GB
Jun 07 12:29:20 Starting compiler/backend/reg_alloc/proofs
Jun 07 12:32:56 Finished compiler/backend/reg_alloc/proofs                     3m36s   1GB
Jun 07 12:32:56 Starting compiler/backend/proofs
Jun 07 13:26:02 Finished compiler/backend/proofs                              53m05s  15GB
Jun 07 13:26:02 Starting compiler/backend/serialiser
Jun 07 13:27:40 Finished compiler/backend/serialiser                           1m37s   2GB
Jun 07 13:27:40 Starting compiler/encoders/x64/proofs
Jun 07 13:37:10 Finished compiler/encoders/x64/proofs                          9m27s   4GB
Jun 07 13:37:11 Starting compiler/encoders/arm7/proofs
Jun 07 13:50:18 Finished compiler/encoders/arm7/proofs                        13m07s   4GB
Jun 07 13:50:18 Starting compiler/encoders/arm8/proofs
Jun 07 13:57:06 Finished compiler/encoders/arm8/proofs                         6m47s   1GB
Jun 07 13:57:06 Starting compiler/encoders/arm8_asl/proofs
Jun 07 14:12:19 Finished compiler/encoders/arm8_asl/proofs                    15m12s   2GB
Jun 07 14:12:19 Starting compiler/encoders/mips/proofs
Jun 07 14:22:06 Finished compiler/encoders/mips/proofs                         9m47s   3GB
Jun 07 14:22:06 Starting compiler/encoders/riscv/proofs
Jun 07 14:30:51 Finished compiler/encoders/riscv/proofs                        8m44s   1GB
Jun 07 14:30:51 Starting compiler/encoders/ag32/proofs
Jun 07 14:33:25 Finished compiler/encoders/ag32/proofs                         2m33s 994MB
Jun 07 14:33:25 Starting compiler/backend/x64/proofs
Jun 07 14:33:54 Finished compiler/backend/x64/proofs                             28s   1GB
Jun 07 14:33:54 Starting compiler/backend/arm7/proofs
Jun 07 14:34:24 Finished compiler/backend/arm7/proofs                            29s   1GB
Jun 07 14:34:24 Starting compiler/backend/arm8/proofs
Jun 07 14:34:53 Finished compiler/backend/arm8/proofs                            28s   1GB
Jun 07 14:34:53 Starting compiler/backend/arm8_asl
Jun 07 14:35:17 Finished compiler/backend/arm8_asl                               23s   1GB
Jun 07 14:35:17 Starting compiler/backend/mips/proofs
Jun 07 14:35:45 Finished compiler/backend/mips/proofs                            28s   1GB
Jun 07 14:35:45 Starting compiler/backend/riscv/proofs
Jun 07 14:36:14 Finished compiler/backend/riscv/proofs                           28s   1GB
Jun 07 14:36:14 Starting compiler/backend/ag32/proofs
Jun 07 14:50:03 Finished compiler/backend/ag32/proofs                         13m48s   2GB
Jun 07 14:50:03 Starting compiler/proofs
Jun 07 14:52:16 Finished compiler/proofs                                       2m13s   3GB
Jun 07 14:52:17 Starting candle/set-theory
Jun 07 14:52:52 Finished candle/set-theory                                       34s 945MB
Jun 07 14:52:52 Starting candle/syntax-lib
Jun 07 14:53:05 Finished candle/syntax-lib                                       13s 622MB
Jun 07 14:53:05 Starting candle/standard/syntax
Jun 07 14:55:09 Finished candle/standard/syntax                                2m03s   1GB
Jun 07 14:55:09 Starting candle/standard/semantics
Jun 07 14:57:01 Finished candle/standard/semantics                             1m51s 974MB
Jun 07 14:57:01 Starting candle/standard/monadic
Jun 07 14:58:55 Finished candle/standard/monadic                               1m53s   1GB
Jun 07 14:58:55 Starting candle/standard/ml_kernel
Jun 07 15:05:24 Finished candle/standard/ml_kernel                             6m29s   3GB
Jun 07 15:05:24 Starting candle/overloading/syntax
Jun 07 15:08:35 Finished candle/overloading/syntax                             3m10s   1GB
Jun 07 15:08:35 Starting candle/overloading/semantics
Jun 07 15:20:30 Finished candle/overloading/semantics                         11m54s   2GB
Jun 07 15:20:30 Starting candle/overloading/monadic
Jun 07 15:23:07 Finished candle/overloading/monadic                            2m37s   1GB
Jun 07 15:23:07 Starting candle/overloading/ml_kernel
Jun 07 15:30:37 Finished candle/overloading/ml_kernel                          7m29s   3GB
Jun 07 15:30:38 Starting candle/overloading/ml_checker
Jun 07 15:33:04 Finished candle/overloading/ml_checker                         2m25s   3GB
Jun 07 15:33:04 Starting candle/prover
Jun 07 15:43:45 Finished candle/prover                                        10m41s   2GB
Jun 07 15:43:45 Starting pancake
Jun 07 15:47:36 Finished pancake                                               3m50s   4GB
Jun 07 15:47:36 Starting pancake/ffi
Jun 07 15:47:36 Finished pancake/ffi                                              0s  35MB
Jun 07 15:47:36 Starting pancake/semantics
Jun 07 15:50:11 Finished pancake/semantics                                     2m34s   1GB
Jun 07 15:50:11 Starting pancake/proofs
Jun 07 16:02:13 Finished pancake/proofs                                       12m01s   6GB
Jun 07 16:02:13 Starting characteristic/examples
Jun 07 16:03:38 Finished characteristic/examples                               1m25s   3GB
Jun 07 16:03:38 Starting tutorial/solutions
Jun 07 16:20:14 Finished tutorial/solutions                                   16m35s   9GB
Jun 07 16:20:14 Starting translator/monadic/examples
Jun 07 16:24:11 Finished translator/monadic/examples                           3m56s   2GB
Jun 07 16:24:11 Starting examples
Jun 07 16:33:55 Finished examples                                              9m43s   4GB
Jun 07 16:33:55 Starting examples/compilation/x64
Jun 07 19:05:11 Finished examples/compilation/x64                           2h31m13s  18GB
Jun 07 19:05:11 Starting examples/compilation/x64/proofs
Jun 07 19:07:40 Finished examples/compilation/x64/proofs                       2m28s   3GB
Jun 07 19:07:40 Starting examples/compilation/ag32
Jun 07 19:43:21 Finished examples/compilation/ag32                            35m41s   8GB
Jun 07 19:43:22 Starting examples/compilation/ag32/proofs
Jun 07 19:44:17 Finished examples/compilation/ag32/proofs                        55s   3GB
Jun 07 19:44:17 Starting examples/cost
Jun 07 20:43:03 Finished examples/cost                                        58m44s  10GB
Jun 07 20:43:04 Starting examples/lpr_checker
Jun 07 20:44:07 Finished examples/lpr_checker                                  1m02s   1GB
Jun 07 20:44:07 Starting examples/lpr_checker/array
Jun 07 21:17:09 Finished examples/lpr_checker/array                           33m02s   6GB
Jun 07 21:17:10 Starting examples/lpr_checker/array/compilation
Jun 07 22:39:22 Finished examples/lpr_checker/array/compilation             1h22m09s  32GB
Jun 07 22:39:22 Starting examples/lpr_checker/array/compilation/proofs
Jun 07 22:40:49 Finished examples/lpr_checker/array/compilation/proofs         1m27s   6GB
Jun 07 22:40:49 Starting examples/opentheory
Jun 07 22:51:18 Finished examples/opentheory                                  10m28s   4GB
Jun 07 22:51:18 Starting examples/opentheory
Jun 07 22:51:19 Finished examples/opentheory                                      1s 132MB
Jun 07 22:51:19 Starting examples/opentheory/compilation
Jun 07 23:31:23 Finished examples/opentheory/compilation                      40m03s  30GB
Jun 07 23:31:23 Starting examples/opentheory/compilation/proofs
Jun 07 23:32:19 Finished examples/opentheory/compilation/proofs                  55s   4GB
Jun 07 23:32:19 Starting examples/opentheory/compilation/ag32
Jun 08 00:10:09 Finished examples/opentheory/compilation/ag32                 37m49s  28GB
Jun 08 00:10:10 Starting examples/opentheory/compilation/ag32/proofs
Jun 08 00:12:00 Finished examples/opentheory/compilation/ag32/proofs           1m50s   6GB
Jun 08 00:12:00 Starting examples/sat_encodings
Jun 08 00:14:01 Finished examples/sat_encodings                                2m01s 855MB
Jun 08 00:14:02 Starting examples/sat_encodings/case_studies
Jun 08 00:15:43 Finished examples/sat_encodings/case_studies                   1m41s 730MB
Jun 08 00:15:43 Starting examples/sat_encodings/translation
Jun 08 00:21:31 Finished examples/sat_encodings/translation                    5m47s   3GB
Jun 08 00:21:31 Starting examples/sat_encodings/translation/compilation
Jun 08 01:10:25 Finished examples/sat_encodings/translation/compilation       48m52s  21GB
Jun 08 01:10:25 Starting examples/deflate
Jun 08 01:11:23 Finished examples/deflate                                        58s 869MB
Jun 08 01:11:23 Starting examples/deflate/translation
Jun 08 01:12:56 Finished examples/deflate/translation                          1m32s   3GB
Jun 08 01:12:56 Starting examples/deflate/translation/compilation
Jun 08 01:36:00 Finished examples/deflate/translation/compilation             23m03s  14GB
Jun 08 01:36:00 Starting translator/okasaki-examples
Jun 08 01:41:02 Finished translator/okasaki-examples                           5m02s   2GB
Jun 08 01:41:02 Starting translator/other-examples
Jun 08 01:41:51 Finished translator/other-examples                               48s   1GB
Jun 08 01:41:51 Starting compiler/parsing/tests
Jun 08 01:42:21 Finished compiler/parsing/tests                                  30s 606MB
Jun 08 01:42:22 Starting compiler/inference/tests
Jun 08 01:50:53 Finished compiler/inference/tests                              8m31s   5GB
Jun 08 01:50:53 Starting compiler/printing/test
Jun 08 01:54:40 Finished compiler/printing/test                                3m46s   3GB
Jun 08 01:54:40 Starting icing/flover
Jun 08 02:06:31 Finished icing/flover                                         11m50s   1GB
Jun 08 02:06:31 Starting icing/
Jun 08 03:05:28 Finished icing/                                               58m55s   7GB
Jun 08 03:05:28 Starting icing/examples
Jun 08 03:06:55 Finished icing/examples                                        1m26s   3GB
Jun 08 03:06:55 Starting compiler/repl
Jun 08 03:20:10 Finished compiler/repl                                        13m14s   7GB
Jun 08 03:20:10 Starting compiler/bootstrap/translation
Jun 08 07:25:51 Finished compiler/bootstrap/translation                     4h05m38s  40GB
Jun 08 07:25:51 Starting unverified/sexpr-bootstrap/x64/64
Jun 08 07:38:32 Finished unverified/sexpr-bootstrap/x64/64                    12m40s   8GB
Jun 08 07:38:32 Starting unverified/sexpr-bootstrap/x64/32
Jun 08 07:48:24 Finished unverified/sexpr-bootstrap/x64/32                     9m51s  10GB
Jun 08 07:48:24 Starting compiler/benchmarks
Jun 08 07:49:19 Finished compiler/benchmarks                                     55s 674MB
Jun 08 07:49:19 Starting compiler/bootstrap/compilation/x64/64
Jun 09 03:28:29 Finished compiler/bootstrap/compilation/x64/64             19h39m08s  64GB
Jun 09 03:28:29 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 09 03:46:38 Finished compiler/bootstrap/compilation/x64/64/proofs         18m09s  31GB
Jun 09 03:46:38 Starting compiler/bootstrap/compilation/x64/32
Jun 09 16:52:24 Finished compiler/bootstrap/compilation/x64/32             13h05m44s  64GB
Jun 09 16:52:24 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 09 16:55:53 Finished compiler/bootstrap/compilation/x64/32/proofs          3m29s  19GB
Jun 09 16:55:53 Starting compiler/bootstrap/compilation/ag32/32
Jun 10 05:58:49 Finished compiler/bootstrap/compilation/ag32/32            13h02m54s  64GB
Jun 10 05:58:49 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 10 06:28:04 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m14s  26GB
Jun 10 06:28:04 SUCCESS