Job 1644

CakeML:99fb6df32493efb4c9ae4d7f6675e49fc2628b2b
  Merge pull request #842 from CakeML/ramsey [Nov 18 19:39:38]
HOL:6ad5e919416a5bf9dbe3bf35248a3cee706d8be5
  Disable unicode_version of `Borel` (Manual building broken), also nee [Nov 15 07:48:55]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Nov 19 07:15:02 Claimed job
Nov 19 07:15:04 Reusing HOL
Nov 19 07:15:43 Starting developers
Nov 19 07:15:47 Finished developers                                               4s 114MB
Nov 19 07:15:47 Starting developers/bin
Nov 19 07:15:54 Finished developers/bin                                           6s   1GB
Nov 19 07:15:55 Starting semantics/ffi
Nov 19 07:16:06 Finished semantics/ffi                                           11s 234MB
Nov 19 07:16:07 Starting semantics
Nov 19 07:17:37 Finished semantics                                             1m29s   1GB
Nov 19 07:17:37 Starting semantics/proofs
Nov 19 07:21:32 Finished semantics/proofs                                      3m54s   1GB
Nov 19 07:21:32 Starting semantics/alt_semantics
Nov 19 07:21:44 Finished semantics/alt_semantics                                 11s 406MB
Nov 19 07:21:44 Starting semantics/alt_semantics/proofs
Nov 19 07:24:25 Finished semantics/alt_semantics/proofs                        2m40s   1GB
Nov 19 07:24:25 Starting basis/pure
Nov 19 07:25:18 Finished basis/pure                                              53s 819MB
Nov 19 07:25:19 Starting translator
Nov 19 07:28:21 Finished translator                                            3m01s   2GB
Nov 19 07:28:21 Starting compiler/parsing
Nov 19 07:29:37 Finished compiler/parsing                                      1m16s   2GB
Nov 19 07:29:37 Starting characteristic
Nov 19 07:35:34 Finished characteristic                                        5m56s   2GB
Nov 19 07:35:34 Starting translator/monadic
Nov 19 07:37:20 Finished translator/monadic                                    1m45s   1GB
Nov 19 07:37:21 Starting basis
Nov 19 08:26:18 Finished basis                                                48m57s  12GB
Nov 19 08:26:18 Starting compiler/inference
Nov 19 08:27:29 Finished compiler/inference                                    1m10s   1GB
Nov 19 08:27:29 Starting compiler/backend/reg_alloc
Nov 19 08:28:40 Finished compiler/backend/reg_alloc                            1m10s   1GB
Nov 19 08:28:40 Starting compiler/backend/gc
Nov 19 08:32:18 Finished compiler/backend/gc                                   3m37s   2GB
Nov 19 08:32:18 Starting compiler/backend
Nov 19 08:37:40 Finished compiler/backend                                      5m22s   3GB
Nov 19 08:37:41 Starting compiler/encoders/asm
Nov 19 08:38:04 Finished compiler/encoders/asm                                   23s 720MB
Nov 19 08:38:05 Starting compiler/encoders/x64
Nov 19 08:38:32 Finished compiler/encoders/x64                                   27s   1GB
Nov 19 08:38:32 Starting compiler/encoders/arm7
Nov 19 08:39:27 Finished compiler/encoders/arm7                                  54s 787MB
Nov 19 08:39:27 Starting compiler/encoders/arm8
Nov 19 08:39:41 Finished compiler/encoders/arm8                                  13s 631MB
Nov 19 08:39:41 Starting compiler/encoders/mips
Nov 19 08:40:00 Finished compiler/encoders/mips                                  18s 899MB
Nov 19 08:40:00 Starting compiler/encoders/riscv
Nov 19 08:40:17 Finished compiler/encoders/riscv                                 16s 773MB
Nov 19 08:40:17 Starting compiler/encoders/ag32
Nov 19 08:40:37 Finished compiler/encoders/ag32                                  19s 812MB
Nov 19 08:40:37 Starting compiler/backend/x64
Nov 19 08:40:57 Finished compiler/backend/x64                                    19s   1GB
Nov 19 08:40:57 Starting compiler/backend/arm7
Nov 19 08:41:20 Finished compiler/backend/arm7                                   22s   1GB
Nov 19 08:41:20 Starting compiler/backend/arm8
Nov 19 08:41:40 Finished compiler/backend/arm8                                   20s   1GB
Nov 19 08:41:41 Starting compiler/backend/mips
Nov 19 08:42:01 Finished compiler/backend/mips                                   20s   1GB
Nov 19 08:42:02 Starting compiler/backend/riscv
Nov 19 08:42:22 Finished compiler/backend/riscv                                  19s   1GB
Nov 19 08:42:22 Starting compiler/backend/ag32
Nov 19 08:43:36 Finished compiler/backend/ag32                                 1m13s   1GB
Nov 19 08:43:36 Starting compiler/parsing/proofs
Nov 19 08:50:38 Finished compiler/parsing/proofs                               7m01s   1GB
Nov 19 08:50:38 Starting compiler/inference/proofs
Nov 19 08:53:19 Finished compiler/inference/proofs                             2m40s 949MB
Nov 19 08:53:19 Starting compiler/backend/semantics
Nov 19 09:26:32 Finished compiler/backend/semantics                           33m12s   2GB
Nov 19 09:26:33 Starting compiler/backend/reg_alloc/proofs
Nov 19 09:30:22 Finished compiler/backend/reg_alloc/proofs                     3m49s 898MB
Nov 19 09:30:23 Starting compiler/backend/proofs
Nov 19 10:29:16 Finished compiler/backend/proofs                              58m53s  12GB
Nov 19 10:29:17 Starting compiler/backend/serialiser
Nov 19 10:30:31 Finished compiler/backend/serialiser                           1m13s   1GB
Nov 19 10:30:31 Starting compiler/encoders/x64/proofs
Nov 19 10:40:44 Finished compiler/encoders/x64/proofs                         10m11s   5GB
Nov 19 10:40:44 Starting compiler/encoders/arm7/proofs
Nov 19 10:54:50 Finished compiler/encoders/arm7/proofs                        14m06s   6GB
Nov 19 10:54:51 Starting compiler/encoders/arm8/proofs
Nov 19 11:02:07 Finished compiler/encoders/arm8/proofs                         7m16s   1GB
Nov 19 11:02:07 Starting compiler/encoders/mips/proofs
Nov 19 11:12:46 Finished compiler/encoders/mips/proofs                        10m38s   2GB
Nov 19 11:12:46 Starting compiler/encoders/riscv/proofs
Nov 19 11:22:23 Finished compiler/encoders/riscv/proofs                        9m36s   1GB
Nov 19 11:22:23 Starting compiler/encoders/ag32/proofs
Nov 19 11:25:11 Finished compiler/encoders/ag32/proofs                         2m47s 667MB
Nov 19 11:25:11 Starting compiler/backend/x64/proofs
Nov 19 11:25:35 Finished compiler/backend/x64/proofs                             23s   1GB
Nov 19 11:25:36 Starting compiler/backend/arm7/proofs
Nov 19 11:26:01 Finished compiler/backend/arm7/proofs                            25s   1GB
Nov 19 11:26:02 Starting compiler/backend/arm8/proofs
Nov 19 11:26:26 Finished compiler/backend/arm8/proofs                            24s   1GB
Nov 19 11:26:26 Starting compiler/backend/mips/proofs
Nov 19 11:26:51 Finished compiler/backend/mips/proofs                            24s   1GB
Nov 19 11:26:51 Starting compiler/backend/riscv/proofs
Nov 19 11:27:15 Finished compiler/backend/riscv/proofs                           24s   1GB
Nov 19 11:27:16 Starting compiler/backend/ag32/proofs
Nov 19 11:41:22 Finished compiler/backend/ag32/proofs                         14m05s   2GB
Nov 19 11:41:22 Starting compiler/proofs
Nov 19 11:43:13 Finished compiler/proofs                                       1m49s   3GB
Nov 19 11:43:13 Starting candle/set-theory
Nov 19 11:43:43 Finished candle/set-theory                                       30s 871MB
Nov 19 11:43:43 Starting candle/syntax-lib
Nov 19 11:43:55 Finished candle/syntax-lib                                       11s 716MB
Nov 19 11:43:55 Starting candle/standard/syntax
Nov 19 11:45:52 Finished candle/standard/syntax                                1m56s 964MB
Nov 19 11:45:52 Starting candle/standard/semantics
Nov 19 11:47:41 Finished candle/standard/semantics                             1m48s   1GB
Nov 19 11:47:41 Starting candle/standard/monadic
Nov 19 11:49:31 Finished candle/standard/monadic                               1m49s   1GB
Nov 19 11:49:32 Starting candle/standard/ml_kernel
Nov 19 11:55:43 Finished candle/standard/ml_kernel                             6m10s   5GB
Nov 19 11:55:43 Starting candle/overloading/syntax
Nov 19 11:59:06 Finished candle/overloading/syntax                             3m22s   1GB
Nov 19 11:59:06 Starting candle/overloading/semantics
Nov 19 12:11:47 Finished candle/overloading/semantics                         12m40s   4GB
Nov 19 12:11:47 Starting pancake
Nov 19 12:13:44 Finished pancake                                               1m56s   3GB
Nov 19 12:13:45 Starting pancake/ffi
Nov 19 12:13:45 Finished pancake/ffi                                              0s   5MB
Nov 19 12:13:45 Starting pancake/semantics
Nov 19 12:16:14 Finished pancake/semantics                                     2m28s 883MB
Nov 19 12:16:14 Starting pancake/proofs
Nov 19 12:30:00 Finished pancake/proofs                                       13m45s   6GB
Nov 19 12:30:01 Starting characteristic/examples
Nov 19 12:31:28 Finished characteristic/examples                               1m27s   2GB
Nov 19 12:31:28 Starting tutorial/solutions
Nov 19 12:47:46 Finished tutorial/solutions                                   16m17s  12GB
Nov 19 12:47:46 Starting translator/monadic/examples
Nov 19 12:51:15 Finished translator/monadic/examples                           3m28s   3GB
Nov 19 12:51:16 Starting examples
Nov 19 13:01:17 Finished examples                                             10m01s   4GB
Nov 19 13:01:17 Starting examples/compilation/x64
Nov 19 15:34:08 Finished examples/compilation/x64                           2h32m50s  17GB
Nov 19 15:34:08 Starting examples/compilation/x64/proofs
Nov 19 15:36:06 Finished examples/compilation/x64/proofs                       1m57s   3GB
Nov 19 15:36:06 Starting examples/compilation/ag32
Nov 19 16:11:40 Finished examples/compilation/ag32                            35m33s   9GB
Nov 19 16:11:41 Starting examples/compilation/ag32/proofs
Nov 19 16:12:31 Finished examples/compilation/ag32/proofs                        50s   3GB
Nov 19 16:12:31 Starting examples/cost
Nov 19 17:11:33 Finished examples/cost                                        59m00s   7GB
Nov 19 17:11:33 Starting examples/lpr_checker
Nov 19 17:12:25 Finished examples/lpr_checker                                    51s   1GB
Nov 19 17:12:25 Starting examples/lpr_checker/array
Nov 19 17:43:46 Finished examples/lpr_checker/array                           31m21s   5GB
Nov 19 17:43:47 Starting examples/lpr_checker/array/compilation
Nov 19 19:12:32 Finished examples/lpr_checker/array/compilation             1h28m44s  30GB
Nov 19 19:12:32 Starting examples/lpr_checker/array/compilation/proofs
Nov 19 19:13:51 Finished examples/lpr_checker/array/compilation/proofs         1m18s   7GB
Nov 19 19:13:51 Starting examples/opentheory
Nov 19 19:24:05 Finished examples/opentheory                                  10m13s   3GB
Nov 19 19:24:05 Starting examples/opentheory
Nov 19 19:24:06 Finished examples/opentheory                                      1s  22MB
Nov 19 19:24:07 Starting examples/opentheory/compilation
Nov 19 20:02:32 Finished examples/opentheory/compilation                      38m24s  21GB
Nov 19 20:02:32 Starting examples/opentheory/compilation/proofs
Nov 19 20:03:16 Finished examples/opentheory/compilation/proofs                  43s   3GB
Nov 19 20:03:16 Starting examples/opentheory/compilation/ag32
Nov 19 20:43:27 Finished examples/opentheory/compilation/ag32                 40m09s  23GB
Nov 19 20:43:27 Starting examples/opentheory/compilation/ag32/proofs
Nov 19 20:45:10 Finished examples/opentheory/compilation/ag32/proofs           1m42s   6GB
Nov 19 20:45:10 Starting examples/sat_encodings
Nov 19 20:47:03 Finished examples/sat_encodings                                1m52s 927MB
Nov 19 20:47:03 Starting examples/sat_encodings/case_studies
Nov 19 20:48:43 Finished examples/sat_encodings/case_studies                   1m39s 773MB
Nov 19 20:48:43 Starting examples/sat_encodings/translation
Nov 19 20:54:41 Finished examples/sat_encodings/translation                    5m58s   3GB
Nov 19 20:54:41 Starting examples/sat_encodings/translation/compilation
Nov 19 21:50:11 Finished examples/sat_encodings/translation/compilation       55m29s  18GB
Nov 19 21:50:12 Starting translator/okasaki-examples
Nov 19 21:54:59 Finished translator/okasaki-examples                           4m47s   1GB
Nov 19 21:55:00 Starting translator/other-examples
Nov 19 21:55:46 Finished translator/other-examples                               46s   2GB
Nov 19 21:55:46 Starting compiler/parsing/tests
Nov 19 21:56:17 Finished compiler/parsing/tests                                  30s 551MB
Nov 19 21:56:17 Starting compiler/inference/tests
Nov 19 22:04:38 Finished compiler/inference/tests                              8m20s   6GB
Nov 19 22:04:38 Starting compiler/bootstrap/translation
Nov 20 00:52:46 Finished compiler/bootstrap/translation                     2h48m07s  27GB
Nov 20 00:52:47 Starting unverified/sexpr-bootstrap/x64/64
Nov 20 01:04:25 Finished unverified/sexpr-bootstrap/x64/64                    11m33s   9GB
Nov 20 01:04:26 Starting unverified/sexpr-bootstrap/x64/32
Nov 20 01:14:29 Finished unverified/sexpr-bootstrap/x64/32                     9m58s   8GB
Nov 20 01:14:29 Starting compiler/benchmarks
Nov 20 01:14:32 Finished compiler/benchmarks                                      2s  35MB
Nov 20 01:14:32 Starting compiler/bootstrap/compilation/x64/64
Nov 22 18:55:36 Resuming compiler/bootstrap/compilation/x64/64
Nov 22 18:55:51 Finished compiler/bootstrap/compilation/x64/64                   11s   1GB
Nov 22 18:55:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 22 18:58:13 Finished compiler/bootstrap/compilation/x64/64/proofs          2m21s  16GB
Nov 22 18:58:13 Starting compiler/bootstrap/compilation/x64/32
Nov 23 06:34:52 Finished compiler/bootstrap/compilation/x64/32             11h36m35s  64GB
Nov 23 06:34:52 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 23 06:37:56 Finished compiler/bootstrap/compilation/x64/32/proofs          3m03s  13GB
Nov 23 06:37:56 Starting compiler/bootstrap/compilation/ag32/32
Nov 23 18:45:47 Finished compiler/bootstrap/compilation/ag32/32            12h07m50s  64GB
Nov 23 18:45:47 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 23 19:07:24 Finished compiler/bootstrap/compilation/ag32/32/proofs        21m37s  25GB
Nov 23 19:07:25 SUCCESS