Job 1975

CakeML:1afd9c2ae712011d1edddfc51a00c38d36bbb43a
  Merge pull request #906 from CakeML/candle-features [Aug 25 05:11:25]
HOL:2760fe927ddeb4f3149e8ece6018c9d49086ad77
  Tweak custom string-literal p/printing to not insert extra spaces [Aug 16 00:30:34]
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

Aug 25 05:12:03 Claimed job
Aug 25 05:12:04 Reusing HOL
Aug 25 05:12:17 Starting developers
Aug 25 05:12:22 Finished developers                                               4s 164MB
Aug 25 05:12:22 Starting developers/bin
Aug 25 05:12:28 Finished developers/bin                                           6s   1GB
Aug 25 05:12:28 Starting semantics/ffi
Aug 25 05:12:38 Finished semantics/ffi                                            9s 223MB
Aug 25 05:12:38 Starting semantics
Aug 25 05:14:59 Finished semantics                                             2m20s   1GB
Aug 25 05:14:59 Starting semantics/proofs
Aug 25 05:21:58 Finished semantics/proofs                                      6m59s   1GB
Aug 25 05:21:59 Starting semantics/alt_semantics
Aug 25 05:22:25 Finished semantics/alt_semantics                                 25s 580MB
Aug 25 05:22:25 Starting semantics/alt_semantics/proofs
Aug 25 05:33:49 Finished semantics/alt_semantics/proofs                       11m24s   1GB
Aug 25 05:33:50 Starting basis/pure
Aug 25 05:34:54 Finished basis/pure                                            1m03s 808MB
Aug 25 05:34:54 Starting translator
Aug 25 05:38:32 Finished translator                                            3m38s   1GB
Aug 25 05:38:32 Starting compiler/parsing
Aug 25 05:39:57 Finished compiler/parsing                                      1m24s   5GB
Aug 25 05:39:57 Starting characteristic
Aug 25 05:46:47 Finished characteristic                                        6m50s   1GB
Aug 25 05:46:48 Starting translator/monadic
Aug 25 05:48:45 Finished translator/monadic                                    1m56s   1GB
Aug 25 05:48:45 Starting basis
Aug 25 06:39:47 Finished basis                                                51m01s  20GB
Aug 25 06:39:48 Starting compiler/inference
Aug 25 06:41:17 Finished compiler/inference                                    1m29s   1GB
Aug 25 06:41:17 Starting compiler/backend/reg_alloc
Aug 25 06:43:01 Finished compiler/backend/reg_alloc                            1m44s   1GB
Aug 25 06:43:01 Starting compiler/backend/gc
Aug 25 06:47:18 Finished compiler/backend/gc                                   4m16s   1GB
Aug 25 06:47:18 Starting compiler/backend
Aug 25 06:52:55 Finished compiler/backend                                      5m36s   2GB
Aug 25 06:52:55 Starting compiler/encoders/asm
Aug 25 06:53:24 Finished compiler/encoders/asm                                   29s 924MB
Aug 25 06:53:24 Starting compiler/encoders/x64
Aug 25 06:53:53 Finished compiler/encoders/x64                                   28s   1GB
Aug 25 06:53:53 Starting compiler/encoders/arm7
Aug 25 06:54:46 Finished compiler/encoders/arm7                                  52s   1GB
Aug 25 06:54:46 Starting compiler/encoders/arm8
Aug 25 06:55:03 Finished compiler/encoders/arm8                                  16s 958MB
Aug 25 06:55:03 Starting compiler/encoders/arm8_asl
Aug 25 06:57:34 Finished compiler/encoders/arm8_asl                            2m30s   1GB
Aug 25 06:57:34 Starting compiler/encoders/mips
Aug 25 06:57:55 Finished compiler/encoders/mips                                  20s   1GB
Aug 25 06:57:55 Starting compiler/encoders/riscv
Aug 25 06:58:14 Finished compiler/encoders/riscv                                 18s 822MB
Aug 25 06:58:14 Starting compiler/encoders/ag32
Aug 25 06:58:34 Finished compiler/encoders/ag32                                  20s 959MB
Aug 25 06:58:34 Starting compiler/backend/x64
Aug 25 06:58:55 Finished compiler/backend/x64                                    20s   1GB
Aug 25 06:58:55 Starting compiler/backend/arm7
Aug 25 06:59:18 Finished compiler/backend/arm7                                   23s   1GB
Aug 25 06:59:19 Starting compiler/backend/arm8
Aug 25 06:59:39 Finished compiler/backend/arm8                                   20s   1GB
Aug 25 06:59:39 Starting compiler/backend/mips
Aug 25 06:59:59 Finished compiler/backend/mips                                   20s   1GB
Aug 25 06:59:59 Starting compiler/backend/riscv
Aug 25 07:00:21 Finished compiler/backend/riscv                                  21s   1GB
Aug 25 07:00:21 Starting compiler/backend/ag32
Aug 25 07:01:47 Finished compiler/backend/ag32                                 1m26s   1GB
Aug 25 07:01:48 Starting compiler/parsing/proofs
Aug 25 07:05:37 Finished compiler/parsing/proofs                               3m49s   1GB
Aug 25 07:05:37 Starting compiler/inference/proofs
Aug 25 07:08:18 Finished compiler/inference/proofs                             2m41s   1GB
Aug 25 07:08:19 Starting compiler/backend/semantics
Aug 25 07:34:56 Finished compiler/backend/semantics                           26m37s   3GB
Aug 25 07:34:56 Starting compiler/backend/reg_alloc/proofs
Aug 25 07:38:31 Finished compiler/backend/reg_alloc/proofs                     3m34s 861MB
Aug 25 07:38:31 Starting compiler/backend/proofs
Aug 25 08:32:29 Finished compiler/backend/proofs                              53m57s  20GB
Aug 25 08:32:29 Starting compiler/backend/serialiser
Aug 25 08:33:59 Finished compiler/backend/serialiser                           1m29s   2GB
Aug 25 08:33:59 Starting compiler/encoders/x64/proofs
Aug 25 08:43:42 Finished compiler/encoders/x64/proofs                          9m42s   4GB
Aug 25 08:43:42 Starting compiler/encoders/arm7/proofs
Aug 25 08:57:22 Finished compiler/encoders/arm7/proofs                        13m39s   7GB
Aug 25 08:57:22 Starting compiler/encoders/arm8/proofs
Aug 25 09:04:17 Finished compiler/encoders/arm8/proofs                         6m55s   1GB
Aug 25 09:04:17 Starting compiler/encoders/arm8_asl/proofs
Aug 25 09:20:07 Finished compiler/encoders/arm8_asl/proofs                    15m50s   2GB
Aug 25 09:20:08 Starting compiler/encoders/mips/proofs
Aug 25 09:30:29 Finished compiler/encoders/mips/proofs                        10m21s   2GB
Aug 25 09:30:29 Starting compiler/encoders/riscv/proofs
Aug 25 09:39:27 Finished compiler/encoders/riscv/proofs                        8m55s   1GB
Aug 25 09:39:28 Starting compiler/encoders/ag32/proofs
Aug 25 09:42:06 Finished compiler/encoders/ag32/proofs                         2m38s 909MB
Aug 25 09:42:06 Starting compiler/backend/x64/proofs
Aug 25 09:42:31 Finished compiler/backend/x64/proofs                             25s   1GB
Aug 25 09:42:31 Starting compiler/backend/arm7/proofs
Aug 25 09:42:58 Finished compiler/backend/arm7/proofs                            26s   1GB
Aug 25 09:42:58 Starting compiler/backend/arm8/proofs
Aug 25 09:43:24 Finished compiler/backend/arm8/proofs                            25s   1GB
Aug 25 09:43:24 Starting compiler/backend/arm8_asl
Aug 25 09:43:43 Finished compiler/backend/arm8_asl                               19s   1GB
Aug 25 09:43:43 Starting compiler/backend/mips/proofs
Aug 25 09:44:09 Finished compiler/backend/mips/proofs                            25s   1GB
Aug 25 09:44:10 Starting compiler/backend/riscv/proofs
Aug 25 09:44:36 Finished compiler/backend/riscv/proofs                           25s   1GB
Aug 25 09:44:36 Starting compiler/backend/ag32/proofs
Aug 25 09:58:01 Finished compiler/backend/ag32/proofs                         13m25s   2GB
Aug 25 09:58:01 Starting compiler/proofs
Aug 25 10:00:02 Finished compiler/proofs                                       2m01s   3GB
Aug 25 10:00:02 Starting candle/set-theory
Aug 25 10:00:36 Finished candle/set-theory                                       33s 980MB
Aug 25 10:00:36 Starting candle/syntax-lib
Aug 25 10:00:49 Finished candle/syntax-lib                                       12s 588MB
Aug 25 10:00:49 Starting candle/standard/syntax
Aug 25 10:02:50 Finished candle/standard/syntax                                2m00s   1GB
Aug 25 10:02:50 Starting candle/standard/semantics
Aug 25 10:04:33 Finished candle/standard/semantics                             1m43s   1GB
Aug 25 10:04:33 Starting candle/standard/monadic
Aug 25 10:06:29 Finished candle/standard/monadic                               1m55s   1GB
Aug 25 10:06:29 Starting candle/standard/ml_kernel
Aug 25 10:13:05 Finished candle/standard/ml_kernel                             6m35s   4GB
Aug 25 10:13:05 Starting candle/overloading/syntax
Aug 25 10:16:17 Finished candle/overloading/syntax                             3m12s   1GB
Aug 25 10:16:17 Starting candle/overloading/semantics
Aug 25 10:28:06 Finished candle/overloading/semantics                         11m48s   4GB
Aug 25 10:28:06 Starting candle/overloading/monadic
Aug 25 10:30:43 Finished candle/overloading/monadic                            2m36s   1GB
Aug 25 10:30:43 Starting candle/overloading/ml_kernel
Aug 25 10:38:04 Finished candle/overloading/ml_kernel                          7m21s   2GB
Aug 25 10:38:05 Starting candle/overloading/ml_checker
Aug 25 10:40:31 Finished candle/overloading/ml_checker                         2m23s   2GB
Aug 25 10:40:33 Starting candle/prover
Aug 25 10:55:19 Finished candle/prover                                        14m45s   3GB
Aug 25 10:55:19 Starting pancake
Aug 25 10:58:18 Finished pancake                                               2m59s   3GB
Aug 25 10:58:18 Starting pancake/ffi
Aug 25 10:58:19 Finished pancake/ffi                                              0s  25MB
Aug 25 10:58:19 Starting pancake/semantics
Aug 25 11:00:44 Finished pancake/semantics                                     2m25s   1GB
Aug 25 11:00:44 Starting pancake/proofs
Aug 25 11:12:53 Finished pancake/proofs                                       12m08s   6GB
Aug 25 11:12:53 Starting characteristic/examples
Aug 25 11:14:15 Finished characteristic/examples                               1m21s   3GB
Aug 25 11:14:15 Starting tutorial/solutions
Aug 25 11:29:50 Finished tutorial/solutions                                   15m34s   9GB
Aug 25 11:29:50 Starting translator/monadic/examples
Aug 25 11:33:40 Finished translator/monadic/examples                           3m50s   2GB
Aug 25 11:33:40 Starting examples
Aug 25 11:43:21 Finished examples                                              9m37s   3GB
Aug 25 11:43:21 Starting examples/compilation/x64
Aug 25 13:46:07 Finished examples/compilation/x64                           2h02m45s  16GB
Aug 25 13:46:07 Starting examples/compilation/x64/proofs
Aug 25 13:48:14 Finished examples/compilation/x64/proofs                       2m06s   3GB
Aug 25 13:48:14 Starting examples/compilation/ag32
Aug 25 14:20:57 Finished examples/compilation/ag32                            32m42s   8GB
Aug 25 14:20:57 Starting examples/compilation/ag32/proofs
Aug 25 14:21:46 Finished examples/compilation/ag32/proofs                        48s   3GB
Aug 25 14:21:46 Starting examples/lpr_checker
Aug 25 14:22:44 Finished examples/lpr_checker                                    58s   1GB
Aug 25 14:22:44 Starting examples/lpr_checker/array
Aug 25 14:56:12 Finished examples/lpr_checker/array                           33m25s   6GB
Aug 25 14:56:12 Starting examples/lpr_checker/array/compilation
Aug 25 15:35:22 Finished examples/lpr_checker/array/compilation               39m09s  23GB
Aug 25 15:35:22 Starting examples/lpr_checker/array/compilation/proofs
Aug 25 15:36:52 Finished examples/lpr_checker/array/compilation/proofs         1m30s   5GB
Aug 25 15:36:53 Starting examples/opentheory
Aug 25 15:47:09 Finished examples/opentheory                                  10m16s   5GB
Aug 25 15:47:09 Starting examples/opentheory
Aug 25 15:47:11 Finished examples/opentheory                                      1s 139MB
Aug 25 15:47:11 Starting examples/opentheory/compilation
Aug 25 16:23:42 Finished examples/opentheory/compilation                      36m30s  29GB
Aug 25 16:23:42 Starting examples/opentheory/compilation/proofs
Aug 25 16:24:29 Finished examples/opentheory/compilation/proofs                  46s   3GB
Aug 25 16:24:29 Starting examples/opentheory/compilation/ag32
Aug 25 16:59:41 Finished examples/opentheory/compilation/ag32                 35m11s  26GB
Aug 25 16:59:41 Starting examples/opentheory/compilation/ag32/proofs
Aug 25 17:01:25 Finished examples/opentheory/compilation/ag32/proofs           1m43s   7GB
Aug 25 17:01:25 Starting examples/sat_encodings
Aug 25 17:03:14 Finished examples/sat_encodings                                1m48s   1GB
Aug 25 17:03:14 Starting examples/sat_encodings/case_studies
Aug 25 17:04:48 Finished examples/sat_encodings/case_studies                   1m34s   1GB
Aug 25 17:04:48 Starting examples/sat_encodings/translation
Aug 25 17:10:36 Finished examples/sat_encodings/translation                    5m47s   3GB
Aug 25 17:10:36 Starting examples/sat_encodings/translation/compilation
Aug 25 17:56:45 Finished examples/sat_encodings/translation/compilation       46m08s  22GB
Aug 25 17:56:45 Starting examples/deflate
Aug 25 17:57:36 Finished examples/deflate                                        50s 682MB
Aug 25 17:57:36 Starting examples/deflate/translation
Aug 25 17:59:06 Finished examples/deflate/translation                          1m29s   3GB
Aug 25 17:59:06 Starting examples/deflate/translation/compilation
Aug 25 18:19:30 Finished examples/deflate/translation/compilation             20m24s  13GB
Aug 25 18:19:30 Starting translator/okasaki-examples
Aug 25 18:24:23 Finished translator/okasaki-examples                           4m52s   1GB
Aug 25 18:24:23 Starting translator/other-examples
Aug 25 18:25:09 Finished translator/other-examples                               46s   1GB
Aug 25 18:25:10 Starting compiler/parsing/tests
Aug 25 18:25:39 Finished compiler/parsing/tests                                  29s 558MB
Aug 25 18:25:39 Starting compiler/inference/tests
Aug 25 18:34:01 Finished compiler/inference/tests                              8m21s   6GB
Aug 25 18:34:01 Starting compiler/printing/test
Aug 25 18:37:40 Finished compiler/printing/test                                3m39s   3GB
Aug 25 18:37:40 Starting icing/flover
Aug 25 19:22:17 Finished icing/flover                                         44m35s   1GB
Aug 25 19:22:17 Starting icing/
Aug 25 20:21:14 Finished icing/                                               58m56s   8GB
Aug 25 20:21:14 Starting icing/examples
Aug 25 20:22:48 Finished icing/examples                                        1m33s   5GB
Aug 25 20:22:48 Starting compiler/repl
Aug 30 20:48:14 Resuming compiler/repl
Aug 30 20:48:17 Finished compiler/repl                                            2s 231MB
Aug 30 20:48:17 Starting compiler/bootstrap/translation
Aug 31 01:17:17 Finished compiler/bootstrap/translation                     4h28m57s  37GB
Aug 31 01:17:17 Starting unverified/sexpr-bootstrap/x64/64
Aug 31 01:29:20 Finished unverified/sexpr-bootstrap/x64/64                    12m02s  14GB
Aug 31 01:29:20 Starting unverified/sexpr-bootstrap/x64/32
Aug 31 01:39:00 Finished unverified/sexpr-bootstrap/x64/32                     9m39s  11GB
Aug 31 01:39:00 Starting compiler/benchmarks
Aug 31 01:39:57 Finished compiler/benchmarks                                     56s 674MB
Aug 31 01:39:57 Starting compiler/bootstrap/compilation/x64/64
Aug 31 12:36:19 Finished compiler/bootstrap/compilation/x64/64             10h56m18s  64GB
Aug 31 12:36:19 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 31 12:54:38 Finished compiler/bootstrap/compilation/x64/64/proofs         18m18s  36GB
Aug 31 12:54:38 Starting compiler/bootstrap/compilation/x64/32
Aug 31 19:20:54 Finished compiler/bootstrap/compilation/x64/32              6h26m10s  60GB
Aug 31 19:20:55 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 31 19:23:37 Finished compiler/bootstrap/compilation/x64/32/proofs          2m42s  14GB
Aug 31 19:23:38 Starting compiler/bootstrap/compilation/ag32/32
Sep 01 01:57:08 Finished compiler/bootstrap/compilation/ag32/32             6h33m29s  64GB
Sep 01 01:57:08 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 01 02:03:00 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m51s  22GB
Sep 01 02:03:00 SUCCESS