Job 1962

CakeML:971151a653e5a0c840aedc3747ca44c56a19300c
  Merge pull request #895 from CakeML/issue894 [Jul 13 08:19:06]
HOL:8b0248d705162f895cc7228fd638fe1c7d74b600
  Fix Unicode violation from 5184a58dae1 [Jul 04 06:34:10]
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

Jul 13 08:24:04 Claimed job
Jul 13 08:24:09 Reusing HOL
Jul 13 08:24:22 Starting developers
Jul 13 08:24:27 Finished developers                                               4s 167MB
Jul 13 08:24:27 Starting developers/bin
Jul 13 08:24:34 Finished developers/bin                                           6s   1GB
Jul 13 08:24:34 Starting semantics/ffi
Jul 13 08:24:44 Finished semantics/ffi                                            9s 251MB
Jul 13 08:24:44 Starting semantics
Jul 13 08:27:14 Finished semantics                                             2m29s   1GB
Jul 13 08:27:14 Starting semantics/proofs
Jul 13 08:34:20 Finished semantics/proofs                                      7m06s   1GB
Jul 13 08:34:21 Starting semantics/alt_semantics
Jul 13 08:34:49 Finished semantics/alt_semantics                                 28s 620MB
Jul 13 08:34:50 Starting semantics/alt_semantics/proofs
Jul 13 08:46:33 Finished semantics/alt_semantics/proofs                       11m42s   1GB
Jul 13 08:46:33 Starting basis/pure
Jul 13 08:47:41 Finished basis/pure                                            1m07s 934MB
Jul 13 08:47:41 Starting translator
Jul 13 08:51:25 Finished translator                                            3m44s   1GB
Jul 13 08:51:25 Starting compiler/parsing
Jul 13 08:52:49 Finished compiler/parsing                                      1m23s   3GB
Jul 13 08:52:49 Starting characteristic
Jul 13 08:59:54 Finished characteristic                                        7m04s   2GB
Jul 13 08:59:54 Starting translator/monadic
Jul 13 09:01:59 Finished translator/monadic                                    2m05s   1GB
Jul 13 09:01:59 Starting basis
Jul 13 09:54:06 Finished basis                                                52m03s  21GB
Jul 13 09:54:07 Starting compiler/inference
Jul 13 09:55:40 Finished compiler/inference                                    1m33s   1GB
Jul 13 09:55:40 Starting compiler/backend/reg_alloc
Jul 13 09:57:27 Finished compiler/backend/reg_alloc                            1m46s   1GB
Jul 13 09:57:27 Starting compiler/backend/gc
Jul 13 10:02:00 Finished compiler/backend/gc                                   4m33s   2GB
Jul 13 10:02:00 Starting compiler/backend
Jul 13 10:08:15 Finished compiler/backend                                      6m14s   2GB
Jul 13 10:08:15 Starting compiler/encoders/asm
Jul 13 10:08:45 Finished compiler/encoders/asm                                   30s 805MB
Jul 13 10:08:45 Starting compiler/encoders/x64
Jul 13 10:09:16 Finished compiler/encoders/x64                                   31s 994MB
Jul 13 10:09:17 Starting compiler/encoders/arm7
Jul 13 10:10:12 Finished compiler/encoders/arm7                                  55s 772MB
Jul 13 10:10:12 Starting compiler/encoders/arm8
Jul 13 10:10:29 Finished compiler/encoders/arm8                                  17s 791MB
Jul 13 10:10:29 Starting compiler/encoders/arm8_asl
Jul 13 10:13:07 Finished compiler/encoders/arm8_asl                            2m37s 935MB
Jul 13 10:13:07 Starting compiler/encoders/mips
Jul 13 10:13:28 Finished compiler/encoders/mips                                  21s   1GB
Jul 13 10:13:28 Starting compiler/encoders/riscv
Jul 13 10:13:47 Finished compiler/encoders/riscv                                 18s 884MB
Jul 13 10:13:47 Starting compiler/encoders/ag32
Jul 13 10:14:09 Finished compiler/encoders/ag32                                  21s 797MB
Jul 13 10:14:10 Starting compiler/backend/x64
Jul 13 10:14:32 Finished compiler/backend/x64                                    22s   1GB
Jul 13 10:14:33 Starting compiler/backend/arm7
Jul 13 10:14:58 Finished compiler/backend/arm7                                   25s   1GB
Jul 13 10:14:58 Starting compiler/backend/arm8
Jul 13 10:15:21 Finished compiler/backend/arm8                                   22s   1GB
Jul 13 10:15:21 Starting compiler/backend/mips
Jul 13 10:15:45 Finished compiler/backend/mips                                   24s   1GB
Jul 13 10:15:46 Starting compiler/backend/riscv
Jul 13 10:16:09 Finished compiler/backend/riscv                                  22s   1GB
Jul 13 10:16:09 Starting compiler/backend/ag32
Jul 13 10:17:36 Finished compiler/backend/ag32                                 1m26s   1GB
Jul 13 10:17:36 Starting compiler/parsing/proofs
Jul 13 10:21:25 Finished compiler/parsing/proofs                               3m49s   1GB
Jul 13 10:21:25 Starting compiler/inference/proofs
Jul 13 10:24:11 Finished compiler/inference/proofs                             2m46s   1GB
Jul 13 10:24:12 Starting compiler/backend/semantics
Jul 13 10:50:09 Finished compiler/backend/semantics                           25m57s   2GB
Jul 13 10:50:09 Starting compiler/backend/reg_alloc/proofs
Jul 13 10:53:48 Finished compiler/backend/reg_alloc/proofs                     3m38s   1GB
Jul 13 10:53:48 Starting compiler/backend/proofs
Jul 13 11:49:27 Finished compiler/backend/proofs                              55m37s  17GB
Jul 13 11:49:27 Starting compiler/backend/serialiser
Jul 13 11:51:10 Finished compiler/backend/serialiser                           1m43s   2GB
Jul 13 11:51:10 Starting compiler/encoders/x64/proofs
Jul 13 12:00:54 Finished compiler/encoders/x64/proofs                          9m43s   6GB
Jul 13 12:00:54 Starting compiler/encoders/arm7/proofs
Jul 13 12:14:30 Finished compiler/encoders/arm7/proofs                        13m35s   3GB
Jul 13 12:14:30 Starting compiler/encoders/arm8/proofs
Jul 13 12:21:23 Finished compiler/encoders/arm8/proofs                         6m52s   1GB
Jul 13 12:21:23 Starting compiler/encoders/arm8_asl/proofs
Jul 13 12:36:56 Finished compiler/encoders/arm8_asl/proofs                    15m32s   2GB
Jul 13 12:36:56 Starting compiler/encoders/mips/proofs
Jul 13 12:47:21 Finished compiler/encoders/mips/proofs                        10m25s   3GB
Jul 13 12:47:21 Starting compiler/encoders/riscv/proofs
Jul 13 12:56:22 Finished compiler/encoders/riscv/proofs                        8m58s   1GB
Jul 13 12:56:22 Starting compiler/encoders/ag32/proofs
Jul 13 12:58:57 Finished compiler/encoders/ag32/proofs                         2m34s   1GB
Jul 13 12:58:57 Starting compiler/backend/x64/proofs
Jul 13 12:59:26 Finished compiler/backend/x64/proofs                             28s   1GB
Jul 13 12:59:26 Starting compiler/backend/arm7/proofs
Jul 13 13:00:00 Finished compiler/backend/arm7/proofs                            33s   1GB
Jul 13 13:00:00 Starting compiler/backend/arm8/proofs
Jul 13 13:00:29 Finished compiler/backend/arm8/proofs                            29s   1GB
Jul 13 13:00:29 Starting compiler/backend/arm8_asl
Jul 13 13:00:52 Finished compiler/backend/arm8_asl                               23s   1GB
Jul 13 13:00:53 Starting compiler/backend/mips/proofs
Jul 13 13:01:21 Finished compiler/backend/mips/proofs                            27s   1GB
Jul 13 13:01:21 Starting compiler/backend/riscv/proofs
Jul 13 13:01:50 Finished compiler/backend/riscv/proofs                           29s   1GB
Jul 13 13:01:50 Starting compiler/backend/ag32/proofs
Jul 13 13:15:29 Finished compiler/backend/ag32/proofs                         13m38s   2GB
Jul 13 13:15:29 Starting compiler/proofs
Jul 14 13:54:51 Resuming compiler/proofs
Jul 14 13:57:09 Finished compiler/proofs                                       2m17s   3GB
Jul 14 13:57:09 Starting candle/set-theory
Jul 14 13:57:44 Finished candle/set-theory                                       34s 917MB
Jul 14 13:57:44 Starting candle/syntax-lib
Jul 14 13:57:57 Finished candle/syntax-lib                                       13s 723MB
Jul 14 13:57:57 Starting candle/standard/syntax
Jul 14 14:00:04 Finished candle/standard/syntax                                2m06s   1GB
Jul 14 14:00:04 Starting candle/standard/semantics
Jul 14 14:01:57 Finished candle/standard/semantics                             1m52s 927MB
Jul 14 14:01:57 Starting candle/standard/monadic
Jul 14 14:03:57 Finished candle/standard/monadic                               1m59s   1GB
Jul 14 14:03:57 Starting candle/standard/ml_kernel
Jul 14 14:10:27 Finished candle/standard/ml_kernel                             6m29s   3GB
Jul 14 14:10:27 Starting candle/overloading/syntax
Jul 14 14:13:43 Finished candle/overloading/syntax                             3m15s   1GB
Jul 14 14:13:43 Starting candle/overloading/semantics
Jul 14 14:25:40 Finished candle/overloading/semantics                         11m57s   2GB
Jul 14 14:25:40 Starting candle/overloading/monadic
Jul 14 14:28:20 Finished candle/overloading/monadic                            2m39s   2GB
Jul 14 14:28:20 Starting candle/overloading/ml_kernel
Jul 14 14:35:56 Finished candle/overloading/ml_kernel                          7m35s   4GB
Jul 14 14:35:56 Starting candle/overloading/ml_checker
Jul 14 14:38:22 Finished candle/overloading/ml_checker                         2m25s   3GB
Jul 14 14:38:22 Starting candle/prover
Jul 14 14:49:16 Finished candle/prover                                        10m53s   3GB
Jul 14 14:49:16 Starting pancake
Jul 14 14:53:07 Finished pancake                                               3m50s   3GB
Jul 14 14:53:07 Starting pancake/ffi
Jul 14 14:53:07 Finished pancake/ffi                                              0s  35MB
Jul 14 14:53:07 Starting pancake/semantics
Jul 14 14:55:45 Finished pancake/semantics                                     2m36s   1GB
Jul 14 14:55:45 Starting pancake/proofs
Jul 14 15:08:04 Finished pancake/proofs                                       12m19s   6GB
Jul 14 15:08:04 Starting characteristic/examples
Jul 14 15:09:30 Finished characteristic/examples                               1m25s   3GB
Jul 14 15:09:30 Starting tutorial/solutions
Jul 14 15:25:23 Finished tutorial/solutions                                   15m52s   8GB
Jul 14 15:25:23 Starting translator/monadic/examples
Jul 14 15:29:19 Finished translator/monadic/examples                           3m55s   2GB
Jul 14 15:29:19 Starting examples
Jul 14 15:39:16 Finished examples                                              9m56s   3GB
Jul 14 15:39:16 Starting examples/compilation/x64
Jul 14 17:43:39 Finished examples/compilation/x64                           2h04m21s  16GB
Jul 14 17:43:39 Starting examples/compilation/x64/proofs
Jul 14 17:46:01 Finished examples/compilation/x64/proofs                       2m21s   3GB
Jul 14 17:46:01 Starting examples/compilation/ag32
Jul 14 18:19:08 Finished examples/compilation/ag32                            33m06s   8GB
Jul 14 18:19:08 Starting examples/compilation/ag32/proofs
Jul 14 18:20:03 Finished examples/compilation/ag32/proofs                        55s   2GB
Jul 14 18:20:03 Starting examples/lpr_checker
Jul 14 18:21:08 Finished examples/lpr_checker                                  1m04s   1GB
Jul 14 18:21:08 Starting examples/lpr_checker/array
Jul 14 18:54:56 Finished examples/lpr_checker/array                           33m46s   6GB
Jul 14 18:54:57 Starting examples/lpr_checker/array/compilation
Jul 14 19:33:51 Finished examples/lpr_checker/array/compilation               38m53s  23GB
Jul 14 19:33:51 Starting examples/lpr_checker/array/compilation/proofs
Jul 14 19:35:14 Finished examples/lpr_checker/array/compilation/proofs         1m23s   6GB
Jul 14 19:35:14 Starting examples/opentheory
Jul 14 19:45:46 Finished examples/opentheory                                  10m31s   5GB
Jul 14 19:45:46 Starting examples/opentheory
Jul 14 19:45:47 Finished examples/opentheory                                      1s 139MB
Jul 14 19:45:47 Starting examples/opentheory/compilation
Jul 14 20:22:27 Finished examples/opentheory/compilation                      36m38s  28GB
Jul 14 20:22:27 Starting examples/opentheory/compilation/proofs
Jul 14 20:23:20 Finished examples/opentheory/compilation/proofs                  52s   3GB
Jul 14 20:23:20 Starting examples/opentheory/compilation/ag32
Jul 14 20:57:37 Finished examples/opentheory/compilation/ag32                 34m16s  27GB
Jul 14 20:57:37 Starting examples/opentheory/compilation/ag32/proofs
Jul 14 20:59:35 Finished examples/opentheory/compilation/ag32/proofs           1m57s   5GB
Jul 14 20:59:35 Starting examples/sat_encodings
Jul 14 21:01:37 Finished examples/sat_encodings                                2m02s 915MB
Jul 14 21:01:37 Starting examples/sat_encodings/case_studies
Jul 14 21:03:20 Finished examples/sat_encodings/case_studies                   1m42s 964MB
Jul 14 21:03:20 Starting examples/sat_encodings/translation
Jul 14 21:09:12 Finished examples/sat_encodings/translation                    5m51s   3GB
Jul 14 21:09:12 Starting examples/sat_encodings/translation/compilation
Jul 14 21:56:02 Finished examples/sat_encodings/translation/compilation       46m48s  21GB
Jul 14 21:56:02 Starting examples/deflate
Jul 14 21:57:01 Finished examples/deflate                                        58s 889MB
Jul 14 21:57:01 Starting examples/deflate/translation
Jul 14 21:58:35 Finished examples/deflate/translation                          1m33s   3GB
Jul 14 21:58:35 Starting examples/deflate/translation/compilation
Jul 14 22:19:32 Finished examples/deflate/translation/compilation             20m57s  10GB
Jul 14 22:19:33 Starting translator/okasaki-examples
Jul 14 22:24:34 Finished translator/okasaki-examples                           5m01s   1GB
Jul 14 22:24:34 Starting translator/other-examples
Jul 14 22:25:22 Finished translator/other-examples                               47s   1GB
Jul 14 22:25:22 Starting compiler/parsing/tests
Jul 14 22:25:52 Finished compiler/parsing/tests                                  30s 609MB
Jul 14 22:25:53 Starting compiler/inference/tests
Jul 14 22:34:17 Finished compiler/inference/tests                              8m24s   5GB
Jul 14 22:34:17 Starting compiler/printing/test
Jul 14 22:38:01 Finished compiler/printing/test                                3m44s   3GB
Jul 14 22:38:01 Starting icing/flover
Jul 14 23:22:48 Finished icing/flover                                         44m43s   1GB
Jul 14 23:22:48 Starting icing/
Jul 15 00:22:41 Finished icing/                                               59m52s   8GB
Jul 15 00:22:41 Starting icing/examples
Jul 15 00:24:25 Finished icing/examples                                        1m43s   5GB
Jul 15 00:24:25 Starting compiler/repl
Jul 15 00:37:45 Finished compiler/repl                                        13m20s   4GB
Jul 15 00:37:45 Starting compiler/bootstrap/translation
Jul 15 04:58:05 Finished compiler/bootstrap/translation                     4h20m18s  54GB
Jul 15 04:58:06 Starting unverified/sexpr-bootstrap/x64/64
Jul 15 05:09:31 Finished unverified/sexpr-bootstrap/x64/64                    11m24s  14GB
Jul 15 05:09:31 Starting unverified/sexpr-bootstrap/x64/32
Jul 15 05:19:10 Finished unverified/sexpr-bootstrap/x64/32                     9m39s  11GB
Jul 15 05:19:11 Starting compiler/benchmarks
Jul 15 05:20:07 Finished compiler/benchmarks                                     55s 674MB
Jul 15 05:20:07 Starting compiler/bootstrap/compilation/x64/64
Jul 15 15:43:49 Finished compiler/bootstrap/compilation/x64/64             10h23m40s  64GB
Jul 15 15:43:49 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 15 16:01:31 Finished compiler/bootstrap/compilation/x64/64/proofs         17m42s  28GB
Jul 15 16:01:31 Starting compiler/bootstrap/compilation/x64/32
Jul 15 22:28:57 Finished compiler/bootstrap/compilation/x64/32              6h27m24s  64GB
Jul 15 22:28:57 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 15 22:31:35 Finished compiler/bootstrap/compilation/x64/32/proofs          2m37s  11GB
Jul 15 22:31:35 Starting compiler/bootstrap/compilation/ag32/32
Jul 16 05:26:03 Finished compiler/bootstrap/compilation/ag32/32             6h54m25s  64GB
Jul 16 05:26:03 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 16 05:31:55 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m51s  35GB
Jul 16 05:31:55 SUCCESS