Job 1971

CakeML:7ce44b33352638a6c1f802a78af045fab879bdeb
  Merge pull request #905 from CakeML/issue896 [Aug 19 10:53:27]
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 20 04:39:57 Claimed job
Aug 20 04:40:00 Building HOL
Aug 20 04:51:08 Starting developers
Aug 20 04:51:13 Finished developers                                               4s 103MB
Aug 20 04:51:13 Starting developers/bin
Aug 20 04:51:19 Finished developers/bin                                           6s   1GB
Aug 20 04:51:19 Starting semantics/ffi
Aug 20 04:51:28 Finished semantics/ffi                                            8s 226MB
Aug 20 04:51:28 Starting semantics
Aug 20 04:54:00 Finished semantics                                             2m31s   1GB
Aug 20 04:54:00 Starting semantics/proofs
Aug 20 05:01:15 Finished semantics/proofs                                      7m14s   1GB
Aug 20 05:01:15 Starting semantics/alt_semantics
Aug 20 05:01:41 Finished semantics/alt_semantics                                 25s 544MB
Aug 20 05:01:41 Starting semantics/alt_semantics/proofs
Aug 20 05:13:19 Finished semantics/alt_semantics/proofs                       11m38s   2GB
Aug 20 05:13:20 Starting basis/pure
Aug 20 05:16:54 Finished basis/pure                                            3m34s 941MB
Aug 20 05:16:55 Starting translator
Aug 20 05:20:33 Finished translator                                            3m38s   1GB
Aug 20 05:20:33 Starting compiler/parsing
Aug 20 05:22:02 Finished compiler/parsing                                      1m28s   4GB
Aug 20 05:22:02 Starting characteristic
Aug 20 05:28:51 Finished characteristic                                        6m49s   2GB
Aug 20 05:28:52 Starting translator/monadic
Aug 20 05:30:53 Finished translator/monadic                                    2m01s   1GB
Aug 20 05:30:53 Starting basis
Aug 20 06:22:16 Finished basis                                                51m19s  12GB
Aug 20 06:22:16 Starting compiler/inference
Aug 20 06:23:53 Finished compiler/inference                                    1m36s   1GB
Aug 20 06:23:53 Starting compiler/backend/reg_alloc
Aug 20 06:25:37 Finished compiler/backend/reg_alloc                            1m43s   1GB
Aug 20 06:25:37 Starting compiler/backend/gc
Aug 20 06:29:59 Finished compiler/backend/gc                                   4m21s   2GB
Aug 20 06:29:59 Starting compiler/backend
Aug 20 06:35:35 Finished compiler/backend                                      5m35s   3GB
Aug 20 06:35:35 Starting compiler/encoders/asm
Aug 20 06:36:05 Finished compiler/encoders/asm                                   29s 916MB
Aug 20 06:36:05 Starting compiler/encoders/x64
Aug 20 06:37:12 Finished compiler/encoders/x64                                 1m06s 909MB
Aug 20 06:37:12 Starting compiler/encoders/arm7
Aug 20 06:39:18 Finished compiler/encoders/arm7                                2m05s   1GB
Aug 20 06:39:18 Starting compiler/encoders/arm8
Aug 20 06:39:59 Finished compiler/encoders/arm8                                  41s 958MB
Aug 20 06:39:59 Starting compiler/encoders/arm8_asl
Aug 20 08:58:22 Finished compiler/encoders/arm8_asl                         2h18m21s  32GB
Aug 20 08:58:22 Starting compiler/encoders/mips
Aug 20 08:59:55 Finished compiler/encoders/mips                                1m32s   1GB
Aug 20 08:59:55 Starting compiler/encoders/riscv
Aug 20 09:01:43 Finished compiler/encoders/riscv                               1m48s   1GB
Aug 20 09:01:43 Starting compiler/encoders/ag32
Aug 20 09:02:04 Finished compiler/encoders/ag32                                  20s 608MB
Aug 20 09:02:04 Starting compiler/backend/x64
Aug 20 09:02:25 Finished compiler/backend/x64                                    21s   1GB
Aug 20 09:02:26 Starting compiler/backend/arm7
Aug 20 09:02:48 Finished compiler/backend/arm7                                   22s   1GB
Aug 20 09:02:48 Starting compiler/backend/arm8
Aug 20 09:03:09 Finished compiler/backend/arm8                                   20s   1GB
Aug 20 09:03:09 Starting compiler/backend/mips
Aug 20 09:03:30 Finished compiler/backend/mips                                   20s   1GB
Aug 20 09:03:30 Starting compiler/backend/riscv
Aug 20 09:03:51 Finished compiler/backend/riscv                                  21s   1GB
Aug 20 09:03:51 Starting compiler/backend/ag32
Aug 20 09:05:17 Finished compiler/backend/ag32                                 1m25s   1GB
Aug 20 09:05:17 Starting compiler/parsing/proofs
Aug 20 09:09:03 Finished compiler/parsing/proofs                               3m45s   1GB
Aug 20 09:09:03 Starting compiler/inference/proofs
Aug 20 09:11:47 Finished compiler/inference/proofs                             2m44s   1GB
Aug 20 09:11:48 Starting compiler/backend/semantics
Aug 20 09:37:55 Finished compiler/backend/semantics                           26m07s   1GB
Aug 20 09:37:55 Starting compiler/backend/reg_alloc/proofs
Aug 20 09:41:33 Finished compiler/backend/reg_alloc/proofs                     3m37s   1GB
Aug 20 09:41:33 Starting compiler/backend/proofs
Aug 20 10:35:45 Finished compiler/backend/proofs                              54m10s  10GB
Aug 20 10:35:48 Starting compiler/backend/serialiser
Aug 20 10:37:18 Finished compiler/backend/serialiser                           1m30s   2GB
Aug 20 10:37:18 Starting compiler/encoders/x64/proofs
Aug 20 10:47:06 Finished compiler/encoders/x64/proofs                          9m47s   4GB
Aug 20 10:47:06 Starting compiler/encoders/arm7/proofs
Aug 20 11:00:35 Finished compiler/encoders/arm7/proofs                        13m28s   7GB
Aug 20 11:00:35 Starting compiler/encoders/arm8/proofs
Aug 20 11:07:33 Finished compiler/encoders/arm8/proofs                         6m58s   1GB
Aug 20 11:07:33 Starting compiler/encoders/arm8_asl/proofs
Aug 20 11:58:37 Finished compiler/encoders/arm8_asl/proofs                    51m01s   6GB
Aug 20 11:58:39 Starting compiler/encoders/mips/proofs
Aug 20 12:09:09 Finished compiler/encoders/mips/proofs                        10m29s   2GB
Aug 20 12:09:09 Starting compiler/encoders/riscv/proofs
Aug 20 12:17:57 Finished compiler/encoders/riscv/proofs                        8m47s   1GB
Aug 20 12:17:57 Starting compiler/encoders/ag32/proofs
Aug 20 12:20:36 Finished compiler/encoders/ag32/proofs                         2m38s 717MB
Aug 20 12:20:36 Starting compiler/backend/x64/proofs
Aug 20 12:21:01 Finished compiler/backend/x64/proofs                             25s   1GB
Aug 20 12:21:01 Starting compiler/backend/arm7/proofs
Aug 20 12:21:28 Finished compiler/backend/arm7/proofs                            26s   1GB
Aug 20 12:21:28 Starting compiler/backend/arm8/proofs
Aug 20 12:21:53 Finished compiler/backend/arm8/proofs                            25s   1GB
Aug 20 12:21:54 Starting compiler/backend/arm8_asl
Aug 20 12:22:13 Finished compiler/backend/arm8_asl                               19s   1GB
Aug 20 12:22:13 Starting compiler/backend/mips/proofs
Aug 20 12:22:40 Finished compiler/backend/mips/proofs                            26s   1GB
Aug 20 12:22:40 Starting compiler/backend/riscv/proofs
Aug 20 12:23:06 Finished compiler/backend/riscv/proofs                           26s   1GB
Aug 20 12:23:06 Starting compiler/backend/ag32/proofs
Aug 20 12:36:46 Finished compiler/backend/ag32/proofs                         13m39s   2GB
Aug 20 12:36:46 Starting compiler/proofs
Aug 20 12:39:05 Finished compiler/proofs                                       2m19s   3GB
Aug 20 12:39:06 Starting candle/set-theory
Aug 20 12:39:39 Finished candle/set-theory                                       33s   1GB
Aug 20 12:39:39 Starting candle/syntax-lib
Aug 20 12:39:52 Finished candle/syntax-lib                                       12s 673MB
Aug 20 12:39:52 Starting candle/standard/syntax
Aug 20 12:41:52 Finished candle/standard/syntax                                2m00s   1GB
Aug 20 12:41:52 Starting candle/standard/semantics
Aug 20 12:43:37 Finished candle/standard/semantics                             1m44s   1GB
Aug 20 12:43:37 Starting candle/standard/monadic
Aug 20 12:45:32 Finished candle/standard/monadic                               1m54s   1GB
Aug 20 12:45:32 Starting candle/standard/ml_kernel
Aug 20 12:51:47 Finished candle/standard/ml_kernel                             6m15s   4GB
Aug 20 12:51:47 Starting candle/overloading/syntax
Aug 20 12:55:01 Finished candle/overloading/syntax                             3m12s   1GB
Aug 20 12:55:01 Starting candle/overloading/semantics
Aug 20 13:07:12 Finished candle/overloading/semantics                         12m10s   2GB
Aug 20 13:07:12 Starting candle/overloading/monadic
Aug 20 13:09:48 Finished candle/overloading/monadic                            2m36s   1GB
Aug 20 13:09:48 Starting candle/overloading/ml_kernel
Aug 20 13:17:16 Finished candle/overloading/ml_kernel                          7m27s   3GB
Aug 20 13:17:16 Starting candle/overloading/ml_checker
Aug 20 13:19:43 Finished candle/overloading/ml_checker                         2m27s   3GB
Aug 20 13:19:43 Starting candle/prover
Aug 20 13:30:13 Finished candle/prover                                        10m29s   3GB
Aug 20 13:30:13 Starting pancake
Aug 20 13:33:23 Finished pancake                                               3m09s   4GB
Aug 20 13:33:23 Starting pancake/ffi
Aug 20 13:33:23 Finished pancake/ffi                                              0s  25MB
Aug 20 13:33:23 Starting pancake/semantics
Aug 20 13:35:45 Finished pancake/semantics                                     2m21s   1GB
Aug 20 13:35:45 Starting pancake/proofs
Aug 20 13:47:53 Finished pancake/proofs                                       12m07s   6GB
Aug 20 13:47:53 Starting characteristic/examples
Aug 20 13:49:18 Finished characteristic/examples                               1m24s   3GB
Aug 20 13:49:18 Starting tutorial/solutions
Aug 20 14:04:46 Finished tutorial/solutions                                   15m28s   9GB
Aug 20 14:04:47 Starting translator/monadic/examples
Aug 20 14:08:32 Finished translator/monadic/examples                           3m42s   3GB
Aug 20 14:08:32 Starting examples
Aug 20 14:18:32 Finished examples                                              9m59s   4GB
Aug 20 14:18:32 Starting examples/compilation/x64
Aug 20 16:21:31 Finished examples/compilation/x64                           2h02m58s  14GB
Aug 20 16:21:31 Starting examples/compilation/x64/proofs
Aug 20 16:23:41 Finished examples/compilation/x64/proofs                       2m09s   3GB
Aug 20 16:23:42 Starting examples/compilation/ag32
Aug 20 16:56:29 Finished examples/compilation/ag32                            32m47s   8GB
Aug 20 16:56:29 Starting examples/compilation/ag32/proofs
Aug 20 16:57:19 Finished examples/compilation/ag32/proofs                        49s   2GB
Aug 20 16:57:19 Starting examples/lpr_checker
Aug 20 16:58:16 Finished examples/lpr_checker                                    57s 975MB
Aug 20 16:58:16 Starting examples/lpr_checker/array
Aug 20 17:32:50 Finished examples/lpr_checker/array                           34m31s   3GB
Aug 20 17:32:50 Starting examples/lpr_checker/array/compilation
Aug 20 18:11:48 Finished examples/lpr_checker/array/compilation               38m57s  23GB
Aug 20 18:11:48 Starting examples/lpr_checker/array/compilation/proofs
Aug 20 18:13:06 Finished examples/lpr_checker/array/compilation/proofs         1m17s   5GB
Aug 20 18:13:06 Starting examples/opentheory
Aug 20 18:23:15 Finished examples/opentheory                                  10m09s   3GB
Aug 20 18:23:15 Starting examples/opentheory
Aug 20 18:23:17 Finished examples/opentheory                                      1s 140MB
Aug 20 18:23:17 Starting examples/opentheory/compilation
Aug 20 19:00:39 Finished examples/opentheory/compilation                      37m20s  29GB
Aug 20 19:00:39 Starting examples/opentheory/compilation/proofs
Aug 20 19:01:26 Finished examples/opentheory/compilation/proofs                  46s   3GB
Aug 20 19:01:26 Starting examples/opentheory/compilation/ag32
Aug 20 19:35:49 Finished examples/opentheory/compilation/ag32                 34m22s  27GB
Aug 20 19:35:49 Starting examples/opentheory/compilation/ag32/proofs
Aug 20 19:37:32 Finished examples/opentheory/compilation/ag32/proofs           1m43s   6GB
Aug 20 19:37:32 Starting examples/sat_encodings
Aug 20 19:39:18 Finished examples/sat_encodings                                1m46s 794MB
Aug 20 19:39:19 Starting examples/sat_encodings/case_studies
Aug 20 19:40:54 Finished examples/sat_encodings/case_studies                   1m35s 895MB
Aug 20 19:40:54 Starting examples/sat_encodings/translation
Aug 20 19:46:34 Finished examples/sat_encodings/translation                    5m39s   4GB
Aug 20 19:46:34 Starting examples/sat_encodings/translation/compilation
Aug 20 20:34:35 Finished examples/sat_encodings/translation/compilation       47m59s  20GB
Aug 20 20:34:36 Starting examples/deflate
Aug 20 20:35:26 Finished examples/deflate                                        50s 710MB
Aug 20 20:35:26 Starting examples/deflate/translation
Aug 20 20:36:56 Finished examples/deflate/translation                          1m29s   3GB
Aug 20 20:36:56 Starting examples/deflate/translation/compilation
Aug 20 20:57:46 Finished examples/deflate/translation/compilation             20m49s  12GB
Aug 20 20:57:46 Starting translator/okasaki-examples
Aug 20 21:02:38 Finished translator/okasaki-examples                           4m52s   1GB
Aug 20 21:02:38 Starting translator/other-examples
Aug 20 21:05:04 Finished translator/other-examples                             2m25s   1GB
Aug 20 21:05:04 Starting compiler/parsing/tests
Aug 20 21:05:34 Finished compiler/parsing/tests                                  29s 609MB
Aug 20 21:05:34 Starting compiler/inference/tests
Aug 20 21:14:02 Finished compiler/inference/tests                              8m27s   5GB
Aug 20 21:14:02 Starting compiler/printing/test
Aug 20 21:17:46 Finished compiler/printing/test                                3m43s   3GB
Aug 20 21:17:46 Starting icing/flover
Aug 20 22:01:44 Finished icing/flover                                         43m56s   1GB
Aug 20 22:01:46 Starting icing/
Aug 20 23:00:56 Finished icing/                                               59m10s   8GB
Aug 20 23:00:56 Starting icing/examples
Aug 20 23:02:33 Finished icing/examples                                        1m35s   5GB
Aug 20 23:02:33 Starting compiler/repl
Aug 20 23:15:16 Finished compiler/repl                                        12m42s   8GB
Aug 20 23:15:16 Starting compiler/bootstrap/translation
Aug 21 03:35:14 Finished compiler/bootstrap/translation                     4h19m57s  41GB
Aug 21 03:35:15 Starting unverified/sexpr-bootstrap/x64/64
Aug 21 03:46:28 Finished unverified/sexpr-bootstrap/x64/64                    11m12s  12GB
Aug 21 03:46:28 Starting unverified/sexpr-bootstrap/x64/32
Aug 21 03:56:12 Finished unverified/sexpr-bootstrap/x64/32                     9m43s  11GB
Aug 21 03:56:12 Starting compiler/benchmarks
Aug 21 03:57:09 Finished compiler/benchmarks                                     56s 674MB
Aug 21 03:57:09 Starting compiler/bootstrap/compilation/x64/64
Aug 21 14:44:02 Finished compiler/bootstrap/compilation/x64/64             10h46m47s  64GB
Aug 21 14:44:02 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 21 15:01:19 Finished compiler/bootstrap/compilation/x64/64/proofs         17m16s  26GB
Aug 21 15:01:19 Starting compiler/bootstrap/compilation/x64/32
Aug 21 21:21:38 Finished compiler/bootstrap/compilation/x64/32              6h20m17s  64GB
Aug 21 21:21:38 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 21 21:24:21 Finished compiler/bootstrap/compilation/x64/32/proofs          2m43s  14GB
Aug 21 21:24:21 Starting compiler/bootstrap/compilation/ag32/32
Aug 22 04:04:17 Finished compiler/bootstrap/compilation/ag32/32             6h39m53s  64GB
Aug 22 04:04:17 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 22 04:09:52 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m34s  32GB
Aug 22 04:09:52 SUCCESS