Job 1640

CakeML:e9e7e83ea34d7a9bbe1ab26c18c63e7bc30fb8dd
  fix an error [Nov 16 15:22:32]
#842 (ramsey)
Merging into: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:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Nov 16 23:15:01 Claimed job
Nov 16 23:15:12 Reusing HOL
Nov 16 23:15:52 Starting developers
Nov 16 23:15:57 Finished developers                                               4s 112MB
Nov 16 23:15:58 Starting developers/bin
Nov 16 23:16:05 Finished developers/bin                                           6s   1GB
Nov 16 23:16:05 Starting semantics/ffi
Nov 16 23:16:17 Finished semantics/ffi                                           11s 234MB
Nov 16 23:16:17 Starting semantics
Nov 16 23:17:46 Finished semantics                                             1m29s   1GB
Nov 16 23:17:47 Starting semantics/proofs
Nov 16 23:21:43 Finished semantics/proofs                                      3m55s   1GB
Nov 16 23:21:43 Starting semantics/alt_semantics
Nov 16 23:21:55 Finished semantics/alt_semantics                                 11s 440MB
Nov 16 23:21:55 Starting semantics/alt_semantics/proofs
Nov 16 23:24:33 Finished semantics/alt_semantics/proofs                        2m37s 904MB
Nov 16 23:24:33 Starting basis/pure
Nov 16 23:25:27 Finished basis/pure                                              53s 908MB
Nov 16 23:25:27 Starting translator
Nov 16 23:29:07 Finished translator                                            3m40s   1GB
Nov 16 23:29:07 Starting compiler/parsing
Nov 16 23:30:25 Finished compiler/parsing                                      1m17s   2GB
Nov 16 23:30:25 Starting characteristic
Nov 16 23:36:24 Finished characteristic                                        5m59s   1GB
Nov 16 23:36:25 Starting translator/monadic
Nov 16 23:38:10 Finished translator/monadic                                    1m45s   1GB
Nov 16 23:38:11 Starting basis
Nov 17 00:26:59 Finished basis                                                48m48s  17GB
Nov 17 00:26:59 Starting compiler/inference
Nov 17 00:28:11 Finished compiler/inference                                    1m11s   1GB
Nov 17 00:28:11 Starting compiler/backend/reg_alloc
Nov 17 00:29:22 Finished compiler/backend/reg_alloc                            1m10s   1GB
Nov 17 00:29:22 Starting compiler/backend/gc
Nov 17 00:33:02 Finished compiler/backend/gc                                   3m39s   1GB
Nov 17 00:33:02 Starting compiler/backend
Nov 17 00:38:23 Finished compiler/backend                                      5m20s   4GB
Nov 17 00:38:23 Starting compiler/encoders/asm
Nov 17 00:38:48 Finished compiler/encoders/asm                                   24s 716MB
Nov 17 00:38:48 Starting compiler/encoders/x64
Nov 17 00:39:15 Finished compiler/encoders/x64                                   26s   1GB
Nov 17 00:39:15 Starting compiler/encoders/arm7
Nov 17 00:40:09 Finished compiler/encoders/arm7                                  54s 787MB
Nov 17 00:40:10 Starting compiler/encoders/arm8
Nov 17 00:40:24 Finished compiler/encoders/arm8                                  13s 970MB
Nov 17 00:40:24 Starting compiler/encoders/mips
Nov 17 00:40:43 Finished compiler/encoders/mips                                  18s   1GB
Nov 17 00:40:43 Starting compiler/encoders/riscv
Nov 17 00:41:00 Finished compiler/encoders/riscv                                 17s   1GB
Nov 17 00:41:01 Starting compiler/encoders/ag32
Nov 17 00:41:20 Finished compiler/encoders/ag32                                  19s 795MB
Nov 17 00:41:21 Starting compiler/backend/x64
Nov 17 00:41:40 Finished compiler/backend/x64                                    19s   1GB
Nov 17 00:41:41 Starting compiler/backend/arm7
Nov 17 00:42:03 Finished compiler/backend/arm7                                   21s   1GB
Nov 17 00:42:03 Starting compiler/backend/arm8
Nov 17 00:42:24 Finished compiler/backend/arm8                                   20s   1GB
Nov 17 00:42:24 Starting compiler/backend/mips
Nov 17 00:42:44 Finished compiler/backend/mips                                   19s   1GB
Nov 17 00:42:44 Starting compiler/backend/riscv
Nov 17 00:43:05 Finished compiler/backend/riscv                                  21s   1GB
Nov 17 00:43:06 Starting compiler/backend/ag32
Nov 17 00:44:19 Finished compiler/backend/ag32                                 1m12s   1GB
Nov 17 00:44:19 Starting compiler/parsing/proofs
Nov 17 00:51:20 Finished compiler/parsing/proofs                               7m01s   1GB
Nov 17 00:51:21 Starting compiler/inference/proofs
Nov 17 00:54:00 Finished compiler/inference/proofs                             2m39s   1GB
Nov 17 00:54:01 Starting compiler/backend/semantics
Nov 17 01:26:34 Finished compiler/backend/semantics                           32m33s   2GB
Nov 17 01:26:35 Starting compiler/backend/reg_alloc/proofs
Nov 17 01:30:25 Finished compiler/backend/reg_alloc/proofs                     3m49s 980MB
Nov 17 01:30:25 Starting compiler/backend/proofs
Nov 17 02:29:10 Finished compiler/backend/proofs                              58m44s  14GB
Nov 17 02:29:10 Starting compiler/backend/serialiser
Nov 17 02:30:22 Finished compiler/backend/serialiser                           1m11s   1GB
Nov 17 02:30:22 Starting compiler/encoders/x64/proofs
Nov 17 02:40:41 Finished compiler/encoders/x64/proofs                         10m18s   4GB
Nov 17 02:40:41 Starting compiler/encoders/arm7/proofs
Nov 17 02:54:40 Finished compiler/encoders/arm7/proofs                        13m58s   6GB
Nov 17 02:54:41 Starting compiler/encoders/arm8/proofs
Nov 17 03:01:54 Finished compiler/encoders/arm8/proofs                         7m12s   1GB
Nov 17 03:01:54 Starting compiler/encoders/mips/proofs
Nov 17 03:12:25 Finished compiler/encoders/mips/proofs                        10m30s   2GB
Nov 17 03:12:25 Starting compiler/encoders/riscv/proofs
Nov 17 03:21:57 Finished compiler/encoders/riscv/proofs                        9m31s   1GB
Nov 17 03:21:58 Starting compiler/encoders/ag32/proofs
Nov 17 03:24:45 Finished compiler/encoders/ag32/proofs                         2m47s 653MB
Nov 17 03:24:46 Starting compiler/backend/x64/proofs
Nov 17 03:25:09 Finished compiler/backend/x64/proofs                             23s   1GB
Nov 17 03:25:09 Starting compiler/backend/arm7/proofs
Nov 17 03:25:34 Finished compiler/backend/arm7/proofs                            24s   1GB
Nov 17 03:25:34 Starting compiler/backend/arm8/proofs
Nov 17 03:25:58 Finished compiler/backend/arm8/proofs                            24s   1GB
Nov 17 03:25:59 Starting compiler/backend/mips/proofs
Nov 17 03:26:23 Finished compiler/backend/mips/proofs                            23s   1GB
Nov 17 03:26:23 Starting compiler/backend/riscv/proofs
Nov 17 03:26:47 Finished compiler/backend/riscv/proofs                           23s   1GB
Nov 17 03:26:47 Starting compiler/backend/ag32/proofs
Nov 17 03:40:46 Finished compiler/backend/ag32/proofs                         13m57s   2GB
Nov 17 03:40:46 Starting compiler/proofs
Nov 17 03:42:42 Finished compiler/proofs                                       1m55s   3GB
Nov 17 03:42:42 Starting candle/set-theory
Nov 17 03:43:12 Finished candle/set-theory                                       29s 742MB
Nov 17 03:43:12 Starting candle/syntax-lib
Nov 17 03:43:24 Finished candle/syntax-lib                                       11s 648MB
Nov 17 03:43:24 Starting candle/standard/syntax
Nov 17 03:45:21 Finished candle/standard/syntax                                1m56s   1GB
Nov 17 03:45:22 Starting candle/standard/semantics
Nov 17 03:47:11 Finished candle/standard/semantics                             1m49s 976MB
Nov 17 03:47:12 Starting candle/standard/monadic
Nov 17 03:49:01 Finished candle/standard/monadic                               1m49s   1GB
Nov 17 03:49:01 Starting candle/standard/ml_kernel
Nov 17 03:55:19 Finished candle/standard/ml_kernel                             6m17s   4GB
Nov 17 03:55:20 Starting candle/overloading/syntax
Nov 17 03:58:41 Finished candle/overloading/syntax                             3m21s   1GB
Nov 17 03:58:42 Starting candle/overloading/semantics
Nov 17 04:11:24 Finished candle/overloading/semantics                         12m41s   4GB
Nov 17 04:11:24 Starting pancake
Nov 17 04:13:23 Finished pancake                                               1m58s   3GB
Nov 17 04:13:23 Starting pancake/ffi
Nov 17 04:13:23 Finished pancake/ffi                                              0s   4MB
Nov 17 04:13:24 Starting pancake/semantics
Nov 17 04:15:50 Finished pancake/semantics                                     2m25s   1GB
Nov 17 04:15:50 Starting pancake/proofs
Nov 17 04:29:20 Finished pancake/proofs                                       13m29s   5GB
Nov 17 04:29:20 Starting characteristic/examples
Nov 17 04:30:45 Finished characteristic/examples                               1m24s   3GB
Nov 17 04:30:45 Starting tutorial/solutions
Nov 17 04:47:05 Finished tutorial/solutions                                   16m17s   9GB
Nov 17 04:47:05 Starting translator/monadic/examples
Nov 17 04:50:32 Finished translator/monadic/examples                           3m27s   2GB
Nov 17 04:50:32 Starting examples
Nov 17 05:00:25 Finished examples                                              9m52s   3GB
Nov 17 05:00:25 Starting examples/compilation/x64
Nov 17 07:32:51 Finished examples/compilation/x64                           2h32m23s  16GB
Nov 17 07:32:51 Starting examples/compilation/x64/proofs
Nov 17 07:34:49 Finished examples/compilation/x64/proofs                       1m58s   3GB
Nov 17 07:34:50 Starting examples/compilation/ag32
Nov 17 08:10:33 Finished examples/compilation/ag32                            35m43s   9GB
Nov 17 08:10:33 Starting examples/compilation/ag32/proofs
Nov 17 08:11:24 Finished examples/compilation/ag32/proofs                        50s   3GB
Nov 17 08:11:24 Starting examples/cost
Nov 17 09:10:55 Finished examples/cost                                        59m30s   8GB
Nov 17 09:10:56 Starting examples/lpr_checker
Nov 17 09:11:46 Finished examples/lpr_checker                                    50s   1GB
Nov 17 09:11:47 Starting examples/lpr_checker/array
Nov 17 09:42:51 Finished examples/lpr_checker/array                           31m03s   6GB
Nov 17 09:42:51 Starting examples/lpr_checker/array/compilation
Nov 17 11:09:39 Finished examples/lpr_checker/array/compilation             1h26m47s  31GB
Nov 17 11:09:40 Starting examples/lpr_checker/array/compilation/proofs
Nov 17 11:10:58 Finished examples/lpr_checker/array/compilation/proofs         1m18s   7GB
Nov 17 11:10:59 Starting examples/opentheory
Nov 17 11:21:18 Finished examples/opentheory                                  10m19s   5GB
Nov 17 11:21:18 Starting examples/opentheory
Nov 17 11:21:20 Finished examples/opentheory                                      1s  21MB
Nov 17 11:21:20 Starting examples/opentheory/compilation
Nov 17 11:59:49 Finished examples/opentheory/compilation                      38m29s  23GB
Nov 17 11:59:50 Starting examples/opentheory/compilation/proofs
Nov 17 12:00:38 Finished examples/opentheory/compilation/proofs                  48s   3GB
Nov 17 12:00:39 Starting examples/opentheory/compilation/ag32
Nov 17 12:41:02 Finished examples/opentheory/compilation/ag32                 40m19s  21GB
Nov 17 12:41:02 Starting examples/opentheory/compilation/ag32/proofs
Nov 17 12:42:46 Finished examples/opentheory/compilation/ag32/proofs           1m43s   6GB
Nov 17 12:42:46 Starting examples/sat_encodings
Nov 17 12:44:39 Finished examples/sat_encodings                                1m52s 852MB
Nov 17 12:44:39 Starting examples/sat_encodings/case_studies
Nov 17 12:46:21 Finished examples/sat_encodings/case_studies                   1m41s 757MB
Nov 17 12:46:21 Starting examples/sat_encodings/translation
Nov 17 12:52:19 Finished examples/sat_encodings/translation                    5m57s   5GB
Nov 17 12:52:19 Starting examples/sat_encodings/translation/compilation
Nov 17 13:47:54 Finished examples/sat_encodings/translation/compilation       55m32s  22GB
Nov 17 13:47:54 Starting translator/okasaki-examples
Nov 17 13:52:42 Finished translator/okasaki-examples                           4m47s   1GB
Nov 17 13:52:42 Starting translator/other-examples
Nov 17 13:54:39 Finished translator/other-examples                             1m56s   1GB
Nov 17 13:54:40 Starting compiler/parsing/tests
Nov 17 13:55:10 Finished compiler/parsing/tests                                  30s 580MB
Nov 17 13:55:10 Starting compiler/inference/tests
Nov 17 14:03:24 Finished compiler/inference/tests                              8m13s   4GB
Nov 17 14:03:24 Starting compiler/bootstrap/translation
Nov 17 16:56:19 Finished compiler/bootstrap/translation                     2h52m54s  25GB
Nov 17 16:56:20 Starting unverified/sexpr-bootstrap/x64/64
Nov 17 17:07:55 Finished unverified/sexpr-bootstrap/x64/64                    11m35s   8GB
Nov 17 17:07:55 Starting unverified/sexpr-bootstrap/x64/32
Nov 17 17:17:46 Finished unverified/sexpr-bootstrap/x64/32                     9m51s   8GB
Nov 17 17:17:47 Starting compiler/benchmarks
Nov 17 17:17:49 Finished compiler/benchmarks                                      2s  30MB
Nov 17 17:17:49 Starting compiler/bootstrap/compilation/x64/64
Nov 18 06:48:24 Finished compiler/bootstrap/compilation/x64/64             13h30m33s  64GB
Nov 18 06:48:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 18 06:50:46 Finished compiler/bootstrap/compilation/x64/64/proofs          2m22s  20GB
Nov 18 06:50:46 Starting compiler/bootstrap/compilation/x64/32
Nov 18 18:25:57 Finished compiler/bootstrap/compilation/x64/32             11h35m10s  64GB
Nov 18 18:25:58 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 18 18:28:57 Finished compiler/bootstrap/compilation/x64/32/proofs          2m59s  12GB
Nov 18 18:28:58 Starting compiler/bootstrap/compilation/ag32/32
Nov 19 06:27:50 Finished compiler/bootstrap/compilation/ag32/32            11h58m52s  64GB
Nov 19 06:27:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 19 06:48:48 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m56s  25GB
Nov 19 06:48:48 SUCCESS