Job 1912

CakeML:f1a75db09167c8c2ace2a0df419bd475c10237b6
  Make readme_gen.sml happier [Jun 05 17:15:31]
#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 05 18:10:16 Claimed job
Jun 05 18:10:23 Building HOL
Jun 05 18:20:13 Starting developers
Jun 05 18:20:18 Finished developers                                               4s 101MB
Jun 05 18:20:18 Starting developers/bin
Jun 05 18:20:24 Finished developers/bin                                           6s   1GB
Jun 05 18:20:24 Starting semantics/ffi
Jun 05 18:20:34 Finished semantics/ffi                                           10s 248MB
Jun 05 18:20:35 Starting semantics
Jun 05 18:23:12 Finished semantics                                             2m37s   1GB
Jun 05 18:23:12 Starting semantics/proofs
Jun 05 18:30:13 Finished semantics/proofs                                      7m00s   1GB
Jun 05 18:30:14 Starting semantics/alt_semantics
Jun 05 18:30:41 Finished semantics/alt_semantics                                 27s 563MB
Jun 05 18:30:41 Starting semantics/alt_semantics/proofs
Jun 05 18:42:13 Finished semantics/alt_semantics/proofs                       11m31s   2GB
Jun 05 18:42:13 Starting basis/pure
Jun 05 18:45:54 Finished basis/pure                                            3m40s 922MB
Jun 05 18:45:54 Starting translator
Jun 05 18:49:37 Finished translator                                            3m42s   1GB
Jun 05 18:49:37 Starting compiler/parsing
Jun 05 18:51:09 Finished compiler/parsing                                      1m32s   3GB
Jun 05 18:51:09 Starting characteristic
Jun 05 18:58:09 Finished characteristic                                        7m00s   1GB
Jun 05 18:58:09 Starting translator/monadic
Jun 05 19:00:11 Finished translator/monadic                                    2m01s   1GB
Jun 05 19:00:11 Starting basis
Jun 05 19:51:34 Finished basis                                                51m20s  16GB
Jun 05 19:51:34 Starting compiler/inference
Jun 05 19:53:13 Finished compiler/inference                                    1m38s   1GB
Jun 05 19:53:13 Starting compiler/backend/reg_alloc
Jun 05 19:54:59 Finished compiler/backend/reg_alloc                            1m45s   1GB
Jun 05 19:54:59 Starting compiler/backend/gc
Jun 05 19:59:27 Finished compiler/backend/gc                                   4m27s   2GB
Jun 05 19:59:27 Starting compiler/backend
Jun 05 20:05:17 Finished compiler/backend                                      5m50s   2GB
Jun 05 20:05:18 Starting compiler/encoders/asm
Jun 05 20:05:48 Finished compiler/encoders/asm                                   30s 809MB
Jun 05 20:05:48 Starting compiler/encoders/x64
Jun 05 20:06:56 Finished compiler/encoders/x64                                 1m07s 902MB
Jun 05 20:06:56 Starting compiler/encoders/arm7
Jun 05 20:08:59 Finished compiler/encoders/arm7                                2m03s   1GB
Jun 05 20:09:00 Starting compiler/encoders/arm8
Jun 05 20:09:42 Finished compiler/encoders/arm8                                  42s   1GB
Jun 05 20:09:42 Starting compiler/encoders/arm8_asl
Jun 05 22:28:47 Finished compiler/encoders/arm8_asl                         2h19m04s  43GB
Jun 05 22:28:47 Starting compiler/encoders/mips
Jun 05 22:30:19 Finished compiler/encoders/mips                                1m32s   1GB
Jun 05 22:30:19 Starting compiler/encoders/riscv
Jun 05 22:32:07 Finished compiler/encoders/riscv                               1m47s 838MB
Jun 05 22:32:07 Starting compiler/encoders/ag32
Jun 05 22:32:29 Finished compiler/encoders/ag32                                  22s 974MB
Jun 05 22:32:30 Starting compiler/backend/x64
Jun 05 22:32:52 Finished compiler/backend/x64                                    22s   1GB
Jun 05 22:32:52 Starting compiler/backend/arm7
Jun 05 22:33:16 Finished compiler/backend/arm7                                   23s   1GB
Jun 05 22:33:16 Starting compiler/backend/arm8
Jun 05 22:33:39 Finished compiler/backend/arm8                                   22s   1GB
Jun 05 22:33:39 Starting compiler/backend/mips
Jun 05 22:34:01 Finished compiler/backend/mips                                   22s   1GB
Jun 05 22:34:01 Starting compiler/backend/riscv
Jun 05 22:34:25 Finished compiler/backend/riscv                                  23s   1GB
Jun 05 22:34:25 Starting compiler/backend/ag32
Jun 05 22:35:53 Finished compiler/backend/ag32                                 1m28s   1GB
Jun 05 22:35:54 Starting compiler/parsing/proofs
Jun 05 22:39:35 Finished compiler/parsing/proofs                               3m41s   1GB
Jun 05 22:39:35 Starting compiler/inference/proofs
Jun 05 22:42:20 Finished compiler/inference/proofs                             2m45s   1GB
Jun 05 22:42:20 Starting compiler/backend/semantics
Jun 05 23:14:37 Finished compiler/backend/semantics                           32m16s   2GB
Jun 05 23:14:37 Starting compiler/backend/reg_alloc/proofs
Jun 05 23:18:12 Finished compiler/backend/reg_alloc/proofs                     3m35s 927MB
Jun 05 23:18:13 Starting compiler/backend/proofs
Jun 06 00:11:10 Finished compiler/backend/proofs                              52m57s  17GB
Jun 06 00:11:11 Starting compiler/backend/serialiser
Jun 06 00:12:49 Finished compiler/backend/serialiser                           1m38s   2GB
Jun 06 00:12:50 Starting compiler/encoders/x64/proofs
Jun 06 00:22:26 Finished compiler/encoders/x64/proofs                          9m35s   5GB
Jun 06 00:22:26 Starting compiler/encoders/arm7/proofs
Jun 06 00:35:35 Finished compiler/encoders/arm7/proofs                        13m09s   3GB
Jun 06 00:35:35 Starting compiler/encoders/arm8/proofs
Jun 06 00:42:20 Finished compiler/encoders/arm8/proofs                         6m44s   1GB
Jun 06 00:42:21 Starting compiler/encoders/arm8_asl/proofs
Jun 06 01:32:31 Finished compiler/encoders/arm8_asl/proofs                    50m07s   8GB
Jun 06 01:32:31 Starting compiler/encoders/mips/proofs
Jun 06 01:42:30 Finished compiler/encoders/mips/proofs                         9m59s   2GB
Jun 06 01:42:31 Starting compiler/encoders/riscv/proofs
Jun 06 01:51:14 Finished compiler/encoders/riscv/proofs                        8m42s   1GB
Jun 06 01:51:14 Starting compiler/encoders/ag32/proofs
Jun 06 01:53:47 Finished compiler/encoders/ag32/proofs                         2m32s 775MB
Jun 06 01:53:47 Starting compiler/backend/x64/proofs
Jun 06 01:54:15 Finished compiler/backend/x64/proofs                             28s   1GB
Jun 06 01:54:15 Starting compiler/backend/arm7/proofs
Jun 06 01:54:46 Finished compiler/backend/arm7/proofs                            30s   1GB
Jun 06 01:54:46 Starting compiler/backend/arm8/proofs
Jun 06 01:55:15 Finished compiler/backend/arm8/proofs                            28s   1GB
Jun 06 01:55:15 Starting compiler/backend/arm8_asl
Jun 06 01:55:46 Finished compiler/backend/arm8_asl                               30s   1GB
Jun 06 01:55:46 Starting compiler/backend/mips/proofs
Jun 06 01:56:14 Finished compiler/backend/mips/proofs                            28s   1GB
Jun 06 01:56:14 Starting compiler/backend/riscv/proofs
Jun 06 01:56:43 Finished compiler/backend/riscv/proofs                           28s   1GB
Jun 06 01:56:43 Starting compiler/backend/ag32/proofs
Jun 06 02:10:15 Finished compiler/backend/ag32/proofs                         13m31s   2GB
Jun 06 02:10:15 Starting compiler/proofs
Jun 06 02:12:44 Finished compiler/proofs                                       2m29s   3GB
Jun 06 02:12:45 Starting candle/set-theory
Jun 06 02:13:18 Finished candle/set-theory                                       33s   1GB
Jun 06 02:13:18 Starting candle/syntax-lib
Jun 06 02:13:31 Finished candle/syntax-lib                                       13s 624MB
Jun 06 02:13:32 Starting candle/standard/syntax
Jun 06 02:15:36 Finished candle/standard/syntax                                2m04s   1GB
Jun 06 02:15:36 Starting candle/standard/semantics
Jun 06 02:17:26 Finished candle/standard/semantics                             1m49s   1GB
Jun 06 02:17:26 Starting candle/standard/monadic
Jun 06 02:19:23 Finished candle/standard/monadic                               1m57s   1GB
Jun 06 02:19:24 Starting candle/standard/ml_kernel
Jun 06 02:26:01 Finished candle/standard/ml_kernel                             6m37s   3GB
Jun 06 02:26:01 Starting candle/overloading/syntax
Jun 06 02:29:13 Finished candle/overloading/syntax                             3m11s   1GB
Jun 06 02:29:13 Starting candle/overloading/semantics
Jun 06 02:41:00 Finished candle/overloading/semantics                         11m44s   2GB
Jun 06 02:41:00 Starting candle/overloading/monadic
Jun 06 02:43:37 Finished candle/overloading/monadic                            2m36s   1GB
Jun 06 02:43:37 Starting candle/overloading/ml_kernel
Jun 06 02:50:57 Finished candle/overloading/ml_kernel                          7m20s   3GB
Jun 06 02:50:58 Starting candle/overloading/ml_checker
Jun 06 02:53:19 Finished candle/overloading/ml_checker                         2m21s   3GB
Jun 06 02:53:19 Starting candle/prover
Jun 06 03:03:55 Finished candle/prover                                        10m35s   3GB
Jun 06 03:03:55 Starting pancake
Jun 06 03:07:45 Finished pancake                                               3m49s   3GB
Jun 06 03:07:45 Starting pancake/ffi
Jun 06 03:07:46 Finished pancake/ffi                                              0s  35MB
Jun 06 03:07:46 Starting pancake/semantics
Jun 06 03:10:20 Finished pancake/semantics                                     2m34s   1GB
Jun 06 03:10:21 Starting pancake/proofs
Jun 06 03:22:39 Finished pancake/proofs                                       12m18s   5GB
Jun 06 03:22:40 Starting characteristic/examples
Jun 06 03:24:06 Finished characteristic/examples                               1m26s   2GB
Jun 06 03:24:06 Starting tutorial/solutions
Jun 06 03:40:56 Finished tutorial/solutions                                   16m49s  10GB
Jun 06 03:40:56 Starting translator/monadic/examples
Jun 06 03:44:56 Finished translator/monadic/examples                           3m57s   2GB
Jun 06 03:44:57 Starting examples
Jun 06 03:54:54 Finished examples                                              9m56s   3GB
Jun 06 03:54:54 Starting examples/compilation/x64
Jun 06 06:27:19 Finished examples/compilation/x64                           2h32m24s  15GB
Jun 06 06:27:20 Starting examples/compilation/x64/proofs
Jun 06 06:29:44 Finished examples/compilation/x64/proofs                       2m24s   4GB
Jun 06 06:29:44 Starting examples/compilation/ag32
Jun 06 07:05:10 Finished examples/compilation/ag32                            35m24s  10GB
Jun 06 07:05:10 Starting examples/compilation/ag32/proofs
Jun 06 07:06:07 Finished examples/compilation/ag32/proofs                        57s   3GB
Jun 06 07:06:08 Starting examples/cost
Jun 06 08:04:41 Finished examples/cost                                        58m32s   8GB
Jun 06 08:04:41 Starting examples/lpr_checker
Jun 06 08:05:44 Finished examples/lpr_checker                                  1m02s 983MB
Jun 06 08:05:44 Starting examples/lpr_checker/array
Jun 06 08:38:13 Finished examples/lpr_checker/array                           32m28s   6GB
Jun 06 08:38:13 Starting examples/lpr_checker/array/compilation
Jun 06 09:58:59 Finished examples/lpr_checker/array/compilation             1h20m45s  28GB
Jun 06 09:58:59 Starting examples/lpr_checker/array/compilation/proofs
Jun 06 10:00:31 Finished examples/lpr_checker/array/compilation/proofs         1m31s   8GB
Jun 06 10:00:31 Starting examples/opentheory
Jun 06 10:11:06 Finished examples/opentheory                                  10m34s   6GB
Jun 06 10:11:06 Starting examples/opentheory
Jun 06 10:11:07 Finished examples/opentheory                                      1s 133MB
Jun 06 10:11:07 Starting examples/opentheory/compilation
Jun 06 10:51:04 Finished examples/opentheory/compilation                      39m56s  29GB
Jun 06 10:51:04 Starting examples/opentheory/compilation/proofs
Jun 06 10:52:23 Finished examples/opentheory/compilation/proofs                1m18s   3GB
Jun 06 10:52:23 Starting examples/opentheory/compilation/ag32
Jun 06 11:30:56 Finished examples/opentheory/compilation/ag32                 38m32s  28GB
Jun 06 11:30:57 Starting examples/opentheory/compilation/ag32/proofs
Jun 06 11:32:45 Finished examples/opentheory/compilation/ag32/proofs           1m48s   6GB
Jun 06 11:32:45 Starting examples/sat_encodings
Jun 06 11:34:48 Finished examples/sat_encodings                                2m02s 917MB
Jun 06 11:34:48 Starting examples/sat_encodings/case_studies
Jun 06 11:36:31 Finished examples/sat_encodings/case_studies                   1m42s 881MB
Jun 06 11:36:31 Starting examples/sat_encodings/translation
Jun 06 11:42:23 Finished examples/sat_encodings/translation                    5m52s   3GB
Jun 06 11:42:23 Starting examples/sat_encodings/translation/compilation
Jun 06 12:31:42 Finished examples/sat_encodings/translation/compilation       49m17s  23GB
Jun 06 12:31:42 Starting translator/okasaki-examples
Jun 06 12:36:50 Finished translator/okasaki-examples                           5m08s   1GB
Jun 06 12:36:50 Starting translator/other-examples
Jun 06 12:38:47 Finished translator/other-examples                             1m56s   1GB
Jun 06 12:38:47 Starting compiler/parsing/tests
Jun 06 12:39:18 Finished compiler/parsing/tests                                  30s 514MB
Jun 06 12:39:18 Starting compiler/inference/tests
Jun 06 12:47:35 Finished compiler/inference/tests                              8m17s   5GB
Jun 06 12:47:36 Starting compiler/printing/test
Jun 06 12:51:24 Finished compiler/printing/test                                3m48s   2GB
Jun 06 12:51:24 Starting icing/flover
Jun 06 13:03:15 Finished icing/flover                                         11m50s   1GB
Jun 06 13:03:15 Starting icing/
Jun 06 14:00:27 Finished icing/                                               57m08s   8GB
Jun 06 14:00:27 Starting icing/examples
Jun 06 14:01:57 Finished icing/examples                                        1m29s   3GB
Jun 06 14:01:57 Starting compiler/repl
Jun 06 14:15:06 Finished compiler/repl                                        13m09s   5GB
Jun 06 14:15:07 Starting compiler/bootstrap/translation
Jun 06 18:23:50 Finished compiler/bootstrap/translation                     4h08m42s  41GB
Jun 06 18:23:50 Starting unverified/sexpr-bootstrap/x64/64
Jun 06 18:35:50 Finished unverified/sexpr-bootstrap/x64/64                    11m59s  12GB
Jun 06 18:35:51 Starting unverified/sexpr-bootstrap/x64/32
Jun 06 18:45:30 Finished unverified/sexpr-bootstrap/x64/32                     9m39s  10GB
Jun 06 18:45:30 Starting compiler/benchmarks
Jun 06 18:46:26 Finished compiler/benchmarks                                     55s 674MB
Jun 06 18:46:27 Starting compiler/bootstrap/compilation/x64/64 Jun 06 18:46:27 62162s