Job 1641

CakeML:6b1184f731754a44e6368258d6c1b1cc729aa0f5
  Merge pull request #843 from CakeML/newline-fix [Nov 13 19:24:32]
HOL:6ad5e919416a5bf9dbe3bf35248a3cee706d8be5
  Disable unicode_version of `Borel` (Manual building broken), also nee [Nov 15 07:48:55]
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

Nov 18 13:39:59 Claimed job
Nov 18 13:40:11 Building HOL
Nov 18 13:49:32 Starting developers
Nov 18 13:49:37 Finished developers                                               4s 140MB
Nov 18 13:49:37 Starting developers/bin
Nov 18 13:49:44 Finished developers/bin                                           6s   1GB
Nov 18 13:49:44 Starting semantics/ffi
Nov 18 13:49:55 Finished semantics/ffi                                           10s 241MB
Nov 18 13:49:55 Starting semantics
Nov 18 13:51:29 Finished semantics                                             1m34s   1GB
Nov 18 13:51:29 Starting semantics/proofs
Nov 18 13:55:06 Finished semantics/proofs                                      3m36s 908MB
Nov 18 13:55:06 Starting semantics/alt_semantics
Nov 18 13:55:20 Finished semantics/alt_semantics                                 14s 354MB
Nov 18 13:55:21 Starting semantics/alt_semantics/proofs
Nov 18 13:57:46 Finished semantics/alt_semantics/proofs                        2m24s   1GB
Nov 18 13:57:46 Starting basis/pure
Nov 18 14:00:37 Finished basis/pure                                            2m51s 937MB
Nov 18 14:00:37 Starting translator
Nov 18 14:03:53 Finished translator                                            3m15s   1GB
Nov 18 14:03:54 Starting compiler/parsing
Nov 18 14:05:04 Finished compiler/parsing                                      1m10s   2GB
Nov 18 14:05:05 Starting characteristic
Nov 18 14:10:49 Finished characteristic                                        5m43s   2GB
Nov 18 14:10:49 Starting translator/monadic
Nov 18 14:12:32 Finished translator/monadic                                    1m42s   1GB
Nov 18 14:12:32 Starting basis
Nov 18 14:58:23 Finished basis                                                45m50s  12GB
Nov 18 14:58:23 Starting compiler/inference
Nov 18 14:59:38 Finished compiler/inference                                    1m14s   1GB
Nov 18 14:59:38 Starting compiler/backend/reg_alloc
Nov 18 15:00:45 Finished compiler/backend/reg_alloc                            1m06s   1GB
Nov 18 15:00:45 Starting compiler/backend/gc
Nov 18 15:04:16 Finished compiler/backend/gc                                   3m30s   2GB
Nov 18 15:04:16 Starting compiler/backend
Nov 18 15:09:18 Finished compiler/backend                                      5m01s   3GB
Nov 18 15:09:18 Starting compiler/encoders/asm
Nov 18 15:09:42 Finished compiler/encoders/asm                                   23s 779MB
Nov 18 15:09:42 Starting compiler/encoders/x64
Nov 18 15:10:44 Finished compiler/encoders/x64                                 1m02s 948MB
Nov 18 15:10:44 Starting compiler/encoders/arm7
Nov 18 15:12:44 Finished compiler/encoders/arm7                                1m59s   1GB
Nov 18 15:12:44 Starting compiler/encoders/arm8
Nov 18 15:13:21 Finished compiler/encoders/arm8                                  37s 986MB
Nov 18 15:13:21 Starting compiler/encoders/mips
Nov 18 15:14:49 Finished compiler/encoders/mips                                1m27s 892MB
Nov 18 15:14:49 Starting compiler/encoders/riscv
Nov 18 15:16:32 Finished compiler/encoders/riscv                               1m42s   1GB
Nov 18 15:16:32 Starting compiler/encoders/ag32
Nov 18 15:16:50 Finished compiler/encoders/ag32                                  18s 723MB
Nov 18 15:16:50 Starting compiler/backend/x64
Nov 18 15:17:10 Finished compiler/backend/x64                                    19s   1GB
Nov 18 15:17:10 Starting compiler/backend/arm7
Nov 18 15:17:32 Finished compiler/backend/arm7                                   21s   1GB
Nov 18 15:17:32 Starting compiler/backend/arm8
Nov 18 15:17:52 Finished compiler/backend/arm8                                   19s   1GB
Nov 18 15:17:52 Starting compiler/backend/mips
Nov 18 15:18:12 Finished compiler/backend/mips                                   20s   1GB
Nov 18 15:18:13 Starting compiler/backend/riscv
Nov 18 15:18:32 Finished compiler/backend/riscv                                  18s   1GB
Nov 18 15:18:32 Starting compiler/backend/ag32
Nov 18 15:19:42 Finished compiler/backend/ag32                                 1m09s   1GB
Nov 18 15:19:42 Starting compiler/parsing/proofs
Nov 18 15:26:32 Finished compiler/parsing/proofs                               6m49s   1GB
Nov 18 15:26:32 Starting compiler/inference/proofs
Nov 18 15:29:02 Finished compiler/inference/proofs                             2m30s 997MB
Nov 18 15:29:02 Starting compiler/backend/semantics
Nov 18 15:56:48 Finished compiler/backend/semantics                           27m45s   2GB
Nov 18 15:56:49 Starting compiler/backend/reg_alloc/proofs
Nov 18 16:00:18 Finished compiler/backend/reg_alloc/proofs                     3m27s 886MB
Nov 18 16:00:19 Starting compiler/backend/proofs
Nov 18 16:51:42 Finished compiler/backend/proofs                              51m23s  16GB
Nov 18 16:51:43 Starting compiler/backend/serialiser
Nov 18 16:52:55 Finished compiler/backend/serialiser                           1m11s   1GB
Nov 18 16:52:55 Starting compiler/encoders/x64/proofs
Nov 18 17:02:28 Finished compiler/encoders/x64/proofs                          9m30s   4GB
Nov 18 17:02:28 Starting compiler/encoders/arm7/proofs
Nov 18 17:15:35 Finished compiler/encoders/arm7/proofs                        13m07s   3GB
Nov 18 17:15:35 Starting compiler/encoders/arm8/proofs
Nov 18 17:22:20 Finished compiler/encoders/arm8/proofs                         6m44s   1GB
Nov 18 17:22:20 Starting compiler/encoders/mips/proofs
Nov 18 17:32:23 Finished compiler/encoders/mips/proofs                        10m03s   2GB
Nov 18 17:32:24 Starting compiler/encoders/riscv/proofs
Nov 18 17:41:16 Finished compiler/encoders/riscv/proofs                        8m52s   1GB
Nov 18 17:41:16 Starting compiler/encoders/ag32/proofs
Nov 18 17:43:49 Finished compiler/encoders/ag32/proofs                         2m33s 718MB
Nov 18 17:43:50 Starting compiler/backend/x64/proofs
Nov 18 17:44:13 Finished compiler/backend/x64/proofs                             23s   1GB
Nov 18 17:44:13 Starting compiler/backend/arm7/proofs
Nov 18 17:44:37 Finished compiler/backend/arm7/proofs                            23s   1GB
Nov 18 17:44:37 Starting compiler/backend/arm8/proofs
Nov 18 17:45:00 Finished compiler/backend/arm8/proofs                            22s   1GB
Nov 18 17:45:00 Starting compiler/backend/mips/proofs
Nov 18 17:45:24 Finished compiler/backend/mips/proofs                            23s   1GB
Nov 18 17:45:25 Starting compiler/backend/riscv/proofs
Nov 18 17:45:47 Finished compiler/backend/riscv/proofs                           22s   1GB
Nov 18 17:45:47 Starting compiler/backend/ag32/proofs
Nov 18 17:58:37 Finished compiler/backend/ag32/proofs                         12m49s   2GB
Nov 18 17:58:37 Starting compiler/proofs
Nov 18 18:00:38 Finished compiler/proofs                                       2m01s   3GB
Nov 18 18:00:38 Starting candle/set-theory
Nov 18 18:01:06 Finished candle/set-theory                                       28s 715MB
Nov 18 18:01:07 Starting candle/syntax-lib
Nov 18 18:01:17 Finished candle/syntax-lib                                       10s 469MB
Nov 18 18:01:18 Starting candle/standard/syntax
Nov 18 18:03:11 Finished candle/standard/syntax                                1m50s   1GB
Nov 18 18:03:11 Starting candle/standard/semantics
Nov 18 18:04:55 Finished candle/standard/semantics                             1m43s   1GB
Nov 18 18:04:55 Starting candle/standard/monadic
Nov 18 18:06:39 Finished candle/standard/monadic                               1m43s   1GB
Nov 18 18:06:39 Starting candle/standard/ml_kernel
Nov 18 18:12:36 Finished candle/standard/ml_kernel                             5m56s   6GB
Nov 18 18:12:36 Starting candle/overloading/syntax
Nov 18 18:15:45 Finished candle/overloading/syntax                             3m09s   1GB
Nov 18 18:15:45 Starting candle/overloading/semantics
Nov 18 18:27:57 Finished candle/overloading/semantics                         12m11s   5GB
Nov 18 18:27:58 Starting pancake
Nov 18 18:29:53 Finished pancake                                               1m54s   2GB
Nov 18 18:29:53 Starting pancake/ffi
Nov 18 18:29:53 Finished pancake/ffi                                              0s   8MB
Nov 18 18:29:53 Starting pancake/semantics
Nov 18 18:32:13 Finished pancake/semantics                                     2m19s   1GB
Nov 18 18:32:13 Starting pancake/proofs
Nov 18 18:44:44 Finished pancake/proofs                                       12m30s   7GB
Nov 18 18:44:44 Starting characteristic/examples
Nov 18 18:46:07 Finished characteristic/examples                               1m23s   2GB
Nov 18 18:46:07 Starting tutorial/solutions
Nov 18 19:02:08 Finished tutorial/solutions                                   16m00s  10GB
Nov 18 19:02:08 Starting translator/monadic/examples
Nov 18 19:05:24 Finished translator/monadic/examples                           3m13s   2GB
Nov 18 19:05:25 Starting examples
Nov 18 19:14:27 Finished examples                                              9m01s   3GB
Nov 18 19:14:27 Starting examples/compilation/x64
Nov 18 21:41:05 Finished examples/compilation/x64                           2h26m37s  18GB
Nov 18 21:41:05 Starting examples/compilation/x64/proofs
Nov 18 21:42:57 Finished examples/compilation/x64/proofs                       1m51s   3GB
Nov 18 21:42:57 Starting examples/compilation/ag32
Nov 18 22:17:57 Finished examples/compilation/ag32                            34m59s  10GB
Nov 18 22:17:58 Starting examples/compilation/ag32/proofs
Nov 18 22:18:50 Finished examples/compilation/ag32/proofs                        52s   3GB
Nov 18 22:18:50 Starting examples/cost
Nov 18 23:12:12 Finished examples/cost                                        53m20s   8GB
Nov 18 23:12:13 Starting examples/lpr_checker
Nov 18 23:13:01 Finished examples/lpr_checker                                    48s   1GB
Nov 18 23:13:01 Starting examples/lpr_checker/array
Nov 18 23:41:14 Finished examples/lpr_checker/array                           28m12s   8GB
Nov 18 23:41:14 Starting examples/lpr_checker/array/compilation
Nov 19 00:59:19 Finished examples/lpr_checker/array/compilation             1h18m03s  30GB
Nov 19 00:59:19 Starting examples/lpr_checker/array/compilation/proofs
Nov 19 01:00:32 Finished examples/lpr_checker/array/compilation/proofs         1m12s   5GB
Nov 19 01:00:32 Starting examples/opentheory
Nov 19 01:10:12 Finished examples/opentheory                                   9m39s   5GB
Nov 19 01:10:12 Starting examples/opentheory
Nov 19 01:10:13 Finished examples/opentheory                                      1s  35MB
Nov 19 01:10:13 Starting examples/opentheory/compilation
Nov 19 01:45:36 Finished examples/opentheory/compilation                      35m22s  30GB
Nov 19 01:45:36 Starting examples/opentheory/compilation/proofs
Nov 19 01:46:17 Finished examples/opentheory/compilation/proofs                  40s   3GB
Nov 19 01:46:17 Starting examples/opentheory/compilation/ag32
Nov 19 02:24:03 Finished examples/opentheory/compilation/ag32                 37m43s  30GB
Nov 19 02:24:03 Starting examples/opentheory/compilation/ag32/proofs
Nov 19 02:25:39 Finished examples/opentheory/compilation/ag32/proofs           1m36s   6GB
Nov 19 02:25:39 Starting examples/sat_encodings
Nov 19 02:27:27 Finished examples/sat_encodings                                1m47s 752MB
Nov 19 02:27:28 Starting examples/sat_encodings/case_studies
Nov 19 02:29:00 Finished examples/sat_encodings/case_studies                   1m31s 797MB
Nov 19 02:29:00 Starting examples/sat_encodings/translation
Nov 19 02:34:49 Finished examples/sat_encodings/translation                    5m48s   5GB
Nov 19 02:34:49 Starting examples/sat_encodings/translation/compilation
Nov 19 03:22:49 Finished examples/sat_encodings/translation/compilation       48m00s  21GB
Nov 19 03:22:49 Starting translator/okasaki-examples
Nov 19 03:27:21 Finished translator/okasaki-examples                           4m30s   1GB
Nov 19 03:27:21 Starting translator/other-examples
Nov 19 03:29:07 Finished translator/other-examples                             1m45s   1GB
Nov 19 03:29:07 Starting compiler/parsing/tests
Nov 19 03:29:36 Finished compiler/parsing/tests                                  28s 553MB
Nov 19 03:29:36 Starting compiler/inference/tests
Nov 19 03:37:43 Finished compiler/inference/tests                              8m06s   3GB
Nov 19 03:37:43 Starting compiler/bootstrap/translation
Nov 19 06:13:30 Finished compiler/bootstrap/translation                     2h35m45s  29GB
Nov 19 06:13:30 Starting unverified/sexpr-bootstrap/x64/64
Nov 19 06:25:50 Finished unverified/sexpr-bootstrap/x64/64                    12m19s   8GB
Nov 19 06:25:50 Starting unverified/sexpr-bootstrap/x64/32
Nov 19 06:36:24 Finished unverified/sexpr-bootstrap/x64/32                    10m32s   8GB
Nov 19 06:36:24 Starting compiler/benchmarks
Nov 19 06:36:28 Finished compiler/benchmarks                                      3s  37MB
Nov 19 06:36:28 Starting compiler/bootstrap/compilation/x64/64
Nov 19 19:42:44 Finished compiler/bootstrap/compilation/x64/64             13h06m14s  64GB
Nov 19 19:42:44 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 19 19:44:59 Finished compiler/bootstrap/compilation/x64/64/proofs          2m14s  15GB
Nov 19 19:44:59 Starting compiler/bootstrap/compilation/x64/32
Nov 20 06:34:49 Finished compiler/bootstrap/compilation/x64/32             10h49m45s  64GB
Nov 20 06:34:49 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 20 06:37:43 Finished compiler/bootstrap/compilation/x64/32/proofs          2m53s  11GB
Nov 20 06:37:43 Starting compiler/bootstrap/compilation/ag32/32
Nov 20 17:55:32 Finished compiler/bootstrap/compilation/ag32/32            11h17m47s  64GB
Nov 20 17:55:32 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 20 18:13:08 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m35s  22GB
Nov 20 18:13:08 SUCCESS