Job 1960

CakeML:a0080001db5d25a5b7c669b5ebd70acfca415632
  Merge pull request #862 from CakeML/gh859 [Jul 07 20:46:42]
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 08 08:52:40 Claimed job
Jul 08 08:52:42 Reusing HOL
Jul 08 08:52:56 Starting developers
Jul 08 08:53:00 Finished developers                                               4s 155MB
Jul 08 08:53:01 Starting developers/bin
Jul 08 08:53:07 Finished developers/bin                                           6s   1GB
Jul 08 08:53:07 Starting semantics/ffi
Jul 08 08:53:17 Finished semantics/ffi                                            9s 257MB
Jul 08 08:53:17 Starting semantics
Jul 08 08:55:45 Finished semantics                                             2m28s   1GB
Jul 08 08:55:46 Starting semantics/proofs
Jul 08 09:02:46 Finished semantics/proofs                                      7m00s   1GB
Jul 08 09:02:46 Starting semantics/alt_semantics
Jul 08 09:03:14 Finished semantics/alt_semantics                                 27s 565MB
Jul 08 09:03:14 Starting semantics/alt_semantics/proofs
Jul 08 09:14:55 Finished semantics/alt_semantics/proofs                       11m41s   1GB
Jul 08 09:14:55 Starting basis/pure
Jul 08 09:16:01 Finished basis/pure                                            1m06s 867MB
Jul 08 09:16:02 Starting translator
Jul 08 09:19:46 Finished translator                                            3m44s   1GB
Jul 08 09:19:47 Starting compiler/parsing
Jul 08 09:21:12 Finished compiler/parsing                                      1m25s   4GB
Jul 08 09:21:12 Starting characteristic
Jul 08 09:28:13 Finished characteristic                                        7m00s   2GB
Jul 08 09:28:14 Starting translator/monadic
Jul 08 09:30:15 Finished translator/monadic                                    2m01s   1GB
Jul 08 09:30:15 Starting basis
Jul 08 10:22:28 Finished basis                                                52m13s  12GB
Jul 08 10:22:28 Starting compiler/inference
Jul 08 10:24:01 Finished compiler/inference                                    1m32s   1GB
Jul 08 10:24:01 Starting compiler/backend/reg_alloc
Jul 08 10:25:47 Finished compiler/backend/reg_alloc                            1m45s   1GB
Jul 08 10:25:47 Starting compiler/backend/gc
Jul 08 10:30:21 Finished compiler/backend/gc                                   4m32s   2GB
Jul 08 10:30:21 Starting compiler/backend
Jul 08 10:36:34 Finished compiler/backend                                      6m12s   2GB
Jul 08 10:36:34 Starting compiler/encoders/asm
Jul 08 10:37:05 Finished compiler/encoders/asm                                   31s 797MB
Jul 08 10:37:06 Starting compiler/encoders/x64
Jul 08 10:37:36 Finished compiler/encoders/x64                                   30s   1GB
Jul 08 10:37:36 Starting compiler/encoders/arm7
Jul 08 10:38:33 Finished compiler/encoders/arm7                                  56s 797MB
Jul 08 10:38:33 Starting compiler/encoders/arm8
Jul 08 10:38:50 Finished compiler/encoders/arm8                                  17s 779MB
Jul 08 10:38:50 Starting compiler/encoders/arm8_asl
Jul 08 10:41:28 Finished compiler/encoders/arm8_asl                            2m37s   1GB
Jul 08 10:41:28 Starting compiler/encoders/mips
Jul 08 10:41:49 Finished compiler/encoders/mips                                  21s   1GB
Jul 08 10:41:50 Starting compiler/encoders/riscv
Jul 08 10:42:10 Finished compiler/encoders/riscv                                 20s 993MB
Jul 08 10:42:10 Starting compiler/encoders/ag32
Jul 08 10:42:33 Finished compiler/encoders/ag32                                  22s 770MB
Jul 08 10:42:33 Starting compiler/backend/x64
Jul 08 10:42:56 Finished compiler/backend/x64                                    23s   1GB
Jul 08 10:42:56 Starting compiler/backend/arm7
Jul 08 10:43:20 Finished compiler/backend/arm7                                   24s   1GB
Jul 08 10:43:21 Starting compiler/backend/arm8
Jul 08 10:43:44 Finished compiler/backend/arm8                                   23s   1GB
Jul 08 10:43:44 Starting compiler/backend/mips
Jul 08 10:44:06 Finished compiler/backend/mips                                   22s   1GB
Jul 08 10:44:06 Starting compiler/backend/riscv
Jul 08 10:44:30 Finished compiler/backend/riscv                                  23s   1GB
Jul 08 10:44:30 Starting compiler/backend/ag32
Jul 08 10:45:58 Finished compiler/backend/ag32                                 1m27s   1GB
Jul 08 10:45:58 Starting compiler/parsing/proofs
Jul 08 10:49:46 Finished compiler/parsing/proofs                               3m48s   1GB
Jul 08 10:49:46 Starting compiler/inference/proofs
Jul 08 10:52:34 Finished compiler/inference/proofs                             2m48s   1GB
Jul 08 10:52:35 Starting compiler/backend/semantics
Jul 08 11:18:25 Finished compiler/backend/semantics                           25m50s   2GB
Jul 08 11:18:25 Starting compiler/backend/reg_alloc/proofs
Jul 08 11:22:06 Finished compiler/backend/reg_alloc/proofs                     3m40s   1GB
Jul 08 11:22:06 Starting compiler/backend/proofs
Jul 08 12:17:55 Finished compiler/backend/proofs                              55m46s  16GB
Jul 08 12:17:55 Starting compiler/backend/serialiser
Jul 08 12:19:39 Finished compiler/backend/serialiser                           1m43s   2GB
Jul 08 12:19:39 Starting compiler/encoders/x64/proofs
Jul 08 12:29:23 Finished compiler/encoders/x64/proofs                          9m43s   5GB
Jul 08 12:29:23 Starting compiler/encoders/arm7/proofs
Jul 08 12:42:53 Finished compiler/encoders/arm7/proofs                        13m29s   3GB
Jul 08 12:42:53 Starting compiler/encoders/arm8/proofs
Jul 08 12:49:51 Finished compiler/encoders/arm8/proofs                         6m57s   1GB
Jul 08 12:49:51 Starting compiler/encoders/arm8_asl/proofs
Jul 08 13:05:51 Finished compiler/encoders/arm8_asl/proofs                    16m00s   2GB
Jul 08 13:05:52 Starting compiler/encoders/mips/proofs
Jul 08 13:16:10 Finished compiler/encoders/mips/proofs                        10m18s   2GB
Jul 08 13:16:11 Starting compiler/encoders/riscv/proofs
Jul 08 13:25:05 Finished compiler/encoders/riscv/proofs                        8m53s   1GB
Jul 08 13:25:05 Starting compiler/encoders/ag32/proofs
Jul 08 13:27:43 Finished compiler/encoders/ag32/proofs                         2m38s   1GB
Jul 08 13:27:43 Starting compiler/backend/x64/proofs
Jul 08 13:28:13 Finished compiler/backend/x64/proofs                             29s   1GB
Jul 08 13:28:13 Starting compiler/backend/arm7/proofs
Jul 08 13:28:46 Finished compiler/backend/arm7/proofs                            32s   1GB
Jul 08 13:28:46 Starting compiler/backend/arm8/proofs
Jul 08 13:29:16 Finished compiler/backend/arm8/proofs                            30s   1GB
Jul 08 13:29:16 Starting compiler/backend/arm8_asl
Jul 08 13:29:39 Finished compiler/backend/arm8_asl                               23s   1GB
Jul 08 13:29:39 Starting compiler/backend/mips/proofs
Jul 08 13:30:09 Finished compiler/backend/mips/proofs                            29s   1GB
Jul 08 13:30:09 Starting compiler/backend/riscv/proofs
Jul 08 13:30:38 Finished compiler/backend/riscv/proofs                           28s   1GB
Jul 08 13:30:38 Starting compiler/backend/ag32/proofs
Jul 08 13:44:48 Finished compiler/backend/ag32/proofs                         14m10s   2GB
Jul 08 13:44:49 Starting compiler/proofs
Jul 08 13:47:01 Finished compiler/proofs                                       2m12s   3GB
Jul 08 13:47:01 Starting candle/set-theory
Jul 08 13:47:36 Finished candle/set-theory                                       34s 877MB
Jul 08 13:47:36 Starting candle/syntax-lib
Jul 08 13:47:49 Finished candle/syntax-lib                                       13s 676MB
Jul 08 13:47:50 Starting candle/standard/syntax
Jul 08 13:49:55 Finished candle/standard/syntax                                2m05s   1GB
Jul 08 13:49:55 Starting candle/standard/semantics
Jul 08 13:51:47 Finished candle/standard/semantics                             1m51s   1GB
Jul 08 13:51:47 Starting candle/standard/monadic
Jul 08 13:53:45 Finished candle/standard/monadic                               1m58s   1GB
Jul 08 13:53:45 Starting candle/standard/ml_kernel
Jul 08 14:00:22 Finished candle/standard/ml_kernel                             6m37s   3GB
Jul 08 14:00:23 Starting candle/overloading/syntax
Jul 08 14:03:37 Finished candle/overloading/syntax                             3m14s   1GB
Jul 08 14:03:37 Starting candle/overloading/semantics
Jul 08 14:15:20 Finished candle/overloading/semantics                         11m42s   4GB
Jul 08 14:15:20 Starting candle/overloading/monadic
Jul 08 14:17:58 Finished candle/overloading/monadic                            2m38s   1GB
Jul 08 14:17:58 Starting candle/overloading/ml_kernel
Jul 08 14:25:20 Finished candle/overloading/ml_kernel                          7m18s   3GB
Jul 08 14:25:20 Starting candle/overloading/ml_checker
Jul 08 14:27:48 Finished candle/overloading/ml_checker                         2m27s   3GB
Jul 08 14:27:48 Starting candle/prover
Jul 08 14:38:45 Finished candle/prover                                        10m57s   3GB
Jul 08 14:38:46 Starting pancake
Jul 08 14:42:37 Finished pancake                                               3m51s   3GB
Jul 08 14:42:37 Starting pancake/ffi
Jul 08 14:42:37 Finished pancake/ffi                                              0s  35MB
Jul 08 14:42:37 Starting pancake/semantics
Jul 08 14:45:14 Finished pancake/semantics                                     2m37s   1GB
Jul 08 14:45:14 Starting pancake/proofs
Jul 08 14:57:47 Finished pancake/proofs                                       12m32s   6GB
Jul 08 14:57:47 Starting characteristic/examples
Jul 08 14:59:14 Finished characteristic/examples                               1m27s   2GB
Jul 08 14:59:14 Starting tutorial/solutions
Jul 08 15:15:06 Finished tutorial/solutions                                   15m51s  13GB
Jul 08 15:15:06 Starting translator/monadic/examples
Jul 08 15:19:03 Finished translator/monadic/examples                           3m57s   2GB
Jul 08 15:19:03 Starting examples
Jul 08 15:29:00 Finished examples                                              9m54s   3GB
Jul 08 15:29:01 Starting examples/compilation/x64
Jul 08 17:35:12 Finished examples/compilation/x64                           2h06m10s  16GB
Jul 08 17:35:13 Starting examples/compilation/x64/proofs
Jul 08 17:37:37 Finished examples/compilation/x64/proofs                       2m24s   3GB
Jul 08 17:37:37 Starting examples/compilation/ag32
Jul 08 18:10:45 Finished examples/compilation/ag32                            33m07s   9GB
Jul 08 18:10:45 Starting examples/compilation/ag32/proofs
Jul 08 18:11:41 Finished examples/compilation/ag32/proofs                        55s   3GB
Jul 08 18:11:41 Starting examples/lpr_checker
Jul 08 18:12:44 Finished examples/lpr_checker                                  1m02s   1GB
Jul 08 18:12:44 Starting examples/lpr_checker/array
Jul 08 18:46:43 Finished examples/lpr_checker/array                           33m57s   5GB
Jul 08 18:46:44 Starting examples/lpr_checker/array/compilation
Jul 08 19:25:30 Finished examples/lpr_checker/array/compilation               38m46s  25GB
Jul 08 19:25:30 Starting examples/lpr_checker/array/compilation/proofs
Jul 08 19:26:55 Finished examples/lpr_checker/array/compilation/proofs         1m24s   7GB
Jul 08 19:26:55 Starting examples/opentheory
Jul 08 19:37:27 Finished examples/opentheory                                  10m31s   3GB
Jul 08 19:37:27 Starting examples/opentheory
Jul 08 19:37:28 Finished examples/opentheory                                      1s 139MB
Jul 08 19:37:28 Starting examples/opentheory/compilation
Jul 08 20:14:57 Finished examples/opentheory/compilation                      37m28s  29GB
Jul 08 20:14:58 Starting examples/opentheory/compilation/proofs
Jul 08 20:15:53 Finished examples/opentheory/compilation/proofs                  55s   4GB
Jul 08 20:15:53 Starting examples/opentheory/compilation/ag32
Jul 08 20:50:09 Finished examples/opentheory/compilation/ag32                 34m15s  27GB
Jul 08 20:50:09 Starting examples/opentheory/compilation/ag32/proofs
Jul 08 20:51:57 Finished examples/opentheory/compilation/ag32/proofs           1m47s   5GB
Jul 08 20:51:57 Starting examples/sat_encodings
Jul 08 20:54:00 Finished examples/sat_encodings                                2m02s 915MB
Jul 08 20:54:00 Starting examples/sat_encodings/case_studies
Jul 08 20:55:43 Finished examples/sat_encodings/case_studies                   1m42s 968MB
Jul 08 20:55:43 Starting examples/sat_encodings/translation
Jul 08 21:01:23 Finished examples/sat_encodings/translation                    5m40s   3GB
Jul 08 21:01:23 Starting examples/sat_encodings/translation/compilation
Jul 08 21:49:23 Finished examples/sat_encodings/translation/compilation       47m59s  28GB
Jul 08 21:49:23 Starting examples/deflate
Jul 08 21:50:23 Finished examples/deflate                                        59s 889MB
Jul 08 21:50:23 Starting examples/deflate/translation
Jul 08 21:51:58 Finished examples/deflate/translation                          1m34s   3GB
Jul 08 21:51:58 Starting examples/deflate/translation/compilation
Jul 08 22:12:57 Finished examples/deflate/translation/compilation             20m59s  11GB
Jul 08 22:12:58 Starting translator/okasaki-examples
Jul 08 22:18:02 Finished translator/okasaki-examples                           5m04s   1GB
Jul 08 22:18:02 Starting translator/other-examples
Jul 08 22:18:51 Finished translator/other-examples                               48s   1GB
Jul 08 22:18:51 Starting compiler/parsing/tests
Jul 08 22:19:20 Finished compiler/parsing/tests                                  29s 655MB
Jul 08 22:19:21 Starting compiler/inference/tests
Jul 08 22:27:52 Finished compiler/inference/tests                              8m30s   4GB
Jul 08 22:27:52 Starting compiler/printing/test
Jul 08 22:31:40 Finished compiler/printing/test                                3m48s   3GB
Jul 08 22:31:40 Starting icing/flover
Jul 08 23:16:14 Finished icing/flover                                         44m32s   1GB
Jul 08 23:16:14 Starting icing/
Jul 09 00:15:42 Finished icing/                                               59m28s   8GB
Jul 09 00:15:42 Starting icing/examples
Jul 09 00:17:24 Finished icing/examples                                        1m41s   4GB
Jul 09 00:17:25 Starting compiler/repl
Jul 09 00:30:38 Finished compiler/repl                                        13m12s   7GB
Jul 09 00:30:38 Starting compiler/bootstrap/translation
Jul 09 04:52:54 Finished compiler/bootstrap/translation                     4h22m15s  36GB
Jul 09 04:52:55 Starting unverified/sexpr-bootstrap/x64/64
Jul 09 05:04:11 Finished unverified/sexpr-bootstrap/x64/64                    11m15s  11GB
Jul 09 05:04:11 Starting unverified/sexpr-bootstrap/x64/32
Jul 09 05:13:51 Finished unverified/sexpr-bootstrap/x64/32                     9m39s  12GB
Jul 09 05:13:51 Starting compiler/benchmarks
Jul 09 05:14:47 Finished compiler/benchmarks                                     55s 674MB
Jul 09 05:14:47 Starting compiler/bootstrap/compilation/x64/64
Jul 09 15:47:21 Finished compiler/bootstrap/compilation/x64/64             10h32m31s  64GB
Jul 09 15:47:21 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 09 16:04:44 Finished compiler/bootstrap/compilation/x64/64/proofs         17m23s  25GB
Jul 09 16:04:44 Starting compiler/bootstrap/compilation/x64/32
Jul 09 22:26:59 Finished compiler/bootstrap/compilation/x64/32              6h22m09s  64GB
Jul 09 22:26:59 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 09 22:30:00 Finished compiler/bootstrap/compilation/x64/32/proofs          3m01s  14GB
Jul 09 22:30:00 Starting compiler/bootstrap/compilation/ag32/32
Jul 10 04:56:05 Finished compiler/bootstrap/compilation/ag32/32             6h26m03s  64GB
Jul 10 04:56:06 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 10 05:02:03 Finished compiler/bootstrap/compilation/ag32/32/proofs         5m57s  36GB
Jul 10 05:02:03 SUCCESS