Job 1587

CakeML:11686b50e2f5548576281a88b5d93cd63fbef1c7
  Resolve a merge conflict in a README [Sep 20 14:26:42]
#834 (master)
Merging into:1cfcd59d4f8168f639ea94c4020ba0249898078a
  Merge pull request #833 from CakeML/parse-err [Sep 14 09:26:31]
HOL:424885cd3abe129d536c979db549b5efe69b23fa
  Fix Unicode violation in topologyScript.sml [Sep 20 06:39:34]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Sep 21 17:20:11 Claimed job
Sep 21 17:20:13 Reusing HOL
Sep 21 17:20:54 Starting developers
Sep 21 17:20:58 Finished developers                                               4s 141MB
Sep 21 17:20:58 Starting developers/bin
Sep 21 17:21:05 Finished developers/bin                                           6s   1GB
Sep 21 17:21:05 Starting semantics/ffi
Sep 21 17:21:17 Finished semantics/ffi                                           11s 262MB
Sep 21 17:21:17 Starting semantics
Sep 21 17:22:40 Finished semantics                                             1m22s   1GB
Sep 21 17:22:40 Starting semantics/proofs
Sep 21 17:26:19 Finished semantics/proofs                                      3m38s   1GB
Sep 21 17:26:19 Starting semantics/alt_semantics
Sep 21 17:26:30 Finished semantics/alt_semantics                                 11s 366MB
Sep 21 17:26:30 Starting semantics/alt_semantics/proofs
Sep 21 17:28:58 Finished semantics/alt_semantics/proofs                        2m27s 838MB
Sep 21 17:28:58 Starting basis/pure
Sep 21 17:29:49 Finished basis/pure                                              51s 720MB
Sep 21 17:29:50 Starting translator
Sep 21 17:33:06 Finished translator                                            3m15s   1GB
Sep 21 17:33:06 Starting compiler/parsing
Sep 21 17:34:16 Finished compiler/parsing                                      1m09s   2GB
Sep 21 17:34:16 Starting characteristic
Sep 21 17:39:57 Finished characteristic                                        5m40s   1GB
Sep 21 17:39:57 Starting translator/monadic
Sep 21 17:41:38 Finished translator/monadic                                    1m40s   1GB
Sep 21 17:41:38 Starting basis
Sep 21 18:25:26 Finished basis                                                43m45s   9GB
Sep 21 18:25:27 Starting compiler/inference
Sep 21 18:26:35 Finished compiler/inference                                    1m07s   1GB
Sep 21 18:26:35 Starting compiler/backend/reg_alloc
Sep 21 18:27:43 Finished compiler/backend/reg_alloc                            1m07s   1GB
Sep 21 18:27:43 Starting compiler/backend/gc
Sep 21 18:31:06 Finished compiler/backend/gc                                   3m22s   2GB
Sep 21 18:31:06 Starting compiler/backend
Sep 21 18:35:55 Finished compiler/backend                                      4m49s   3GB
Sep 21 18:35:55 Starting compiler/encoders/asm
Sep 21 18:36:19 Finished compiler/encoders/asm                                   23s 697MB
Sep 21 18:36:19 Starting compiler/encoders/x64
Sep 21 18:36:45 Finished compiler/encoders/x64                                   26s 802MB
Sep 21 18:36:45 Starting compiler/encoders/arm7
Sep 21 18:37:37 Finished compiler/encoders/arm7                                  51s 720MB
Sep 21 18:37:37 Starting compiler/encoders/arm8
Sep 21 18:37:50 Finished compiler/encoders/arm8                                  13s 675MB
Sep 21 18:37:50 Starting compiler/encoders/mips
Sep 21 18:38:08 Finished compiler/encoders/mips                                  18s   1GB
Sep 21 18:38:09 Starting compiler/encoders/riscv
Sep 21 18:38:26 Finished compiler/encoders/riscv                                 16s 989MB
Sep 21 18:38:26 Starting compiler/encoders/ag32
Sep 21 18:38:44 Finished compiler/encoders/ag32                                  18s 612MB
Sep 21 18:38:44 Starting compiler/backend/x64
Sep 21 18:39:04 Finished compiler/backend/x64                                    19s   1GB
Sep 21 18:39:04 Starting compiler/backend/arm7
Sep 21 18:39:24 Finished compiler/backend/arm7                                   19s   1GB
Sep 21 18:39:24 Starting compiler/backend/arm8
Sep 21 18:39:43 Finished compiler/backend/arm8                                   19s   1GB
Sep 21 18:39:43 Starting compiler/backend/mips
Sep 21 18:40:03 Finished compiler/backend/mips                                   19s   1GB
Sep 21 18:40:03 Starting compiler/backend/riscv
Sep 21 18:40:24 Finished compiler/backend/riscv                                  20s   1GB
Sep 21 18:40:24 Starting compiler/backend/ag32
Sep 21 18:41:34 Finished compiler/backend/ag32                                 1m09s   1GB
Sep 21 18:41:34 Starting compiler/parsing/proofs
Sep 21 18:48:19 Finished compiler/parsing/proofs                               6m44s   1GB
Sep 21 18:48:19 Starting compiler/inference/proofs
Sep 21 18:50:51 Finished compiler/inference/proofs                             2m31s   1GB
Sep 21 18:50:51 Starting compiler/backend/semantics
Sep 21 19:19:33 Finished compiler/backend/semantics                           28m41s   3GB
Sep 21 19:19:33 Starting compiler/backend/reg_alloc/proofs
Sep 21 19:22:58 Finished compiler/backend/reg_alloc/proofs                     3m24s 870MB
Sep 21 19:22:58 Starting compiler/backend/proofs
Sep 21 20:13:58 Finished compiler/backend/proofs                              50m57s  16GB
Sep 21 20:13:59 Starting compiler/encoders/x64/proofs
Sep 21 20:23:34 Finished compiler/encoders/x64/proofs                          9m34s   4GB
Sep 21 20:23:34 Starting compiler/encoders/arm7/proofs
Sep 21 20:36:37 Finished compiler/encoders/arm7/proofs                        13m02s   7GB
Sep 21 20:36:37 Starting compiler/encoders/arm8/proofs
Sep 21 20:43:27 Finished compiler/encoders/arm8/proofs                         6m50s   1GB
Sep 21 20:43:27 Starting compiler/encoders/mips/proofs
Sep 21 20:53:24 Finished compiler/encoders/mips/proofs                         9m56s   3GB
Sep 21 20:53:24 Starting compiler/encoders/riscv/proofs
Sep 21 21:02:24 Finished compiler/encoders/riscv/proofs                        8m49s   1GB
Sep 21 21:02:33 Starting compiler/encoders/ag32/proofs
Sep 21 21:05:09 Finished compiler/encoders/ag32/proofs                         2m35s 731MB
Sep 21 21:05:09 Starting compiler/backend/x64/proofs
Sep 21 21:05:32 Finished compiler/backend/x64/proofs                             22s   1GB
Sep 21 21:05:32 Starting compiler/backend/arm7/proofs
Sep 21 21:05:55 Finished compiler/backend/arm7/proofs                            23s   1GB
Sep 21 21:05:55 Starting compiler/backend/arm8/proofs
Sep 21 21:06:18 Finished compiler/backend/arm8/proofs                            22s   1GB
Sep 21 21:06:18 Starting compiler/backend/mips/proofs
Sep 21 21:06:41 Finished compiler/backend/mips/proofs                            22s   1GB
Sep 21 21:06:42 Starting compiler/backend/riscv/proofs
Sep 21 21:07:04 Finished compiler/backend/riscv/proofs                           22s   1GB
Sep 21 21:07:05 Starting compiler/backend/ag32/proofs
Sep 21 21:19:59 Finished compiler/backend/ag32/proofs                         12m51s   2GB
Sep 21 21:19:59 Starting compiler/proofs
Sep 21 21:21:47 Finished compiler/proofs                                       1m48s   5GB
Sep 21 21:21:48 Starting candle/set-theory
Sep 21 21:22:17 Finished candle/set-theory                                       29s 764MB
Sep 21 21:22:17 Starting candle/syntax-lib
Sep 21 21:22:29 Finished candle/syntax-lib                                       11s 703MB
Sep 21 21:22:29 Starting candle/standard/syntax
Sep 21 21:24:20 Finished candle/standard/syntax                                1m50s   1GB
Sep 21 21:24:20 Starting candle/standard/semantics
Sep 21 21:26:04 Finished candle/standard/semantics                             1m44s   1GB
Sep 21 21:26:05 Starting candle/standard/monadic
Sep 21 21:27:47 Finished candle/standard/monadic                               1m42s   1GB
Sep 21 21:27:47 Starting candle/standard/ml_kernel
Sep 21 21:33:31 Finished candle/standard/ml_kernel                             5m43s   3GB
Sep 21 21:33:31 Starting candle/overloading/syntax
Sep 21 21:36:42 Finished candle/overloading/syntax                             3m10s   1GB
Sep 21 21:36:42 Starting candle/overloading/semantics
Sep 21 21:48:50 Finished candle/overloading/semantics                         12m07s   2GB
Sep 21 21:48:50 Starting pancake
Sep 21 21:49:41 Finished pancake                                                 51s 821MB
Sep 21 21:49:42 Starting pancake/ffi
Sep 21 21:49:42 Finished pancake/ffi                                              0s   8MB
Sep 21 21:49:42 Starting pancake/semantics
Sep 21 21:51:56 Finished pancake/semantics                                     2m13s   1GB
Sep 21 21:51:56 Starting pancake/proofs
Sep 21 22:04:20 Finished pancake/proofs                                       12m24s   6GB
Sep 21 22:04:21 Starting characteristic/examples
Sep 21 22:05:42 Finished characteristic/examples                               1m20s   3GB
Sep 21 22:05:42 Starting tutorial/solutions
Sep 21 22:21:17 Finished tutorial/solutions                                   15m33s   9GB
Sep 21 22:21:17 Starting translator/monadic/examples
Sep 21 22:24:35 Finished translator/monadic/examples                           3m17s   2GB
Sep 21 22:24:35 Starting examples
Sep 21 22:33:14 Finished examples                                              8m38s   3GB
Sep 21 22:33:14 Starting examples/compilation/x64
Sep 22 00:59:31 Finished examples/compilation/x64                           2h26m15s  18GB
Sep 22 00:59:31 Starting examples/compilation/x64/proofs
Sep 22 01:01:26 Finished examples/compilation/x64/proofs                       1m54s   3GB
Sep 22 01:01:26 Starting examples/compilation/ag32
Sep 22 01:36:16 Finished examples/compilation/ag32                            34m49s   8GB
Sep 22 01:36:16 Starting examples/compilation/ag32/proofs
Sep 22 01:37:03 Finished examples/compilation/ag32/proofs                        47s   2GB
Sep 22 01:37:03 Starting examples/cost
Sep 22 02:30:42 Finished examples/cost                                        53m37s   8GB
Sep 22 02:30:42 Starting examples/lpr_checker
Sep 22 02:34:44 Finished examples/lpr_checker                                  4m01s   3GB
Sep 22 02:34:44 Starting examples/lpr_checker/compilation
Sep 22 02:52:35 Finished examples/lpr_checker/compilation                     17m50s  10GB
Sep 22 02:52:36 Starting examples/lpr_checker/compilation/proofs
Sep 22 02:53:20 Finished examples/lpr_checker/compilation/proofs                 44s   3GB
Sep 22 02:53:20 Starting examples/lpr_checker/array
Sep 22 03:07:49 Finished examples/lpr_checker/array                           14m28s   3GB
Sep 22 03:07:49 Starting examples/lpr_checker/array/compilation
Sep 22 03:28:17 Finished examples/lpr_checker/array/compilation               20m28s  10GB
Sep 22 03:28:17 Starting examples/lpr_checker/array/compilation/proofs
Sep 22 03:29:08 Finished examples/lpr_checker/array/compilation/proofs           50s   4GB
Sep 22 03:29:08 Starting examples/opentheory
Sep 22 03:38:46 Finished examples/opentheory                                   9m37s   5GB
Sep 22 03:38:46 Starting examples/opentheory
Sep 22 03:38:48 Finished examples/opentheory                                      1s  32MB
Sep 22 03:38:48 Starting examples/opentheory/compilation
Sep 22 04:10:54 Finished examples/opentheory/compilation                      32m05s  19GB
Sep 22 04:10:54 Starting examples/opentheory/compilation/proofs
Sep 22 04:11:37 Finished examples/opentheory/compilation/proofs                  43s   3GB
Sep 22 04:11:37 Starting examples/opentheory/compilation/ag32
Sep 22 04:45:23 Finished examples/opentheory/compilation/ag32                 33m45s  18GB
Sep 22 04:45:23 Starting examples/opentheory/compilation/ag32/proofs
Sep 22 04:46:57 Finished examples/opentheory/compilation/ag32/proofs           1m32s   4GB
Sep 22 04:46:57 Starting examples/sat_encodings
Sep 22 04:48:45 Finished examples/sat_encodings                                1m47s   1GB
Sep 22 04:48:45 Starting examples/sat_encodings/case_studies
Sep 22 04:50:17 Finished examples/sat_encodings/case_studies                   1m32s 801MB
Sep 22 04:50:17 Starting examples/sat_encodings/translation
Sep 22 04:55:54 Finished examples/sat_encodings/translation                    5m36s   3GB
Sep 22 04:55:54 Starting examples/sat_encodings/translation/compilation
Sep 22 05:36:44 Finished examples/sat_encodings/translation/compilation       40m50s  12GB
Sep 22 05:36:44 Starting translator/okasaki-examples
Sep 22 05:41:07 Finished translator/okasaki-examples                           4m22s   1GB
Sep 22 05:41:08 Starting translator/other-examples
Sep 22 05:43:12 Finished translator/other-examples                             2m04s   1GB
Sep 22 05:43:12 Starting compiler/parsing/tests
Sep 22 05:43:42 Finished compiler/parsing/tests                                  29s 602MB
Sep 22 05:43:42 Starting compiler/inference/tests
Sep 22 05:51:35 Finished compiler/inference/tests                              7m52s   5GB
Sep 22 05:51:35 Starting compiler/bootstrap/translation
Sep 22 08:21:03 Finished compiler/bootstrap/translation                     2h29m27s  24GB
Sep 22 08:21:04 Starting unverified/sexpr-bootstrap/x64/64
Sep 22 08:33:18 Finished unverified/sexpr-bootstrap/x64/64                    12m14s   9GB
Sep 22 08:33:18 Starting unverified/sexpr-bootstrap/x64/32
Sep 22 08:43:45 Finished unverified/sexpr-bootstrap/x64/32                    10m26s   8GB
Sep 22 08:43:45 Starting compiler/benchmarks
Sep 22 08:43:47 Finished compiler/benchmarks                                      2s  34MB
Sep 22 08:43:47 Starting compiler/bootstrap/compilation/x64/64
Sep 22 21:46:35 Finished compiler/bootstrap/compilation/x64/64             13h02m46s  64GB
Sep 22 21:46:35 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 22 21:49:54 Finished compiler/bootstrap/compilation/x64/64/proofs          3m17s  13GB
Sep 22 21:49:54 Starting compiler/bootstrap/compilation/x64/32
Sep 23 08:36:40 Finished compiler/bootstrap/compilation/x64/32             10h46m43s  64GB
Sep 23 08:36:40 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 23 08:38:51 Finished compiler/bootstrap/compilation/x64/32/proofs          2m10s  17GB
Sep 23 08:38:51 Starting compiler/bootstrap/compilation/ag32/32
Sep 23 19:36:56 Finished compiler/bootstrap/compilation/ag32/32            10h58m02s  64GB
Sep 23 19:36:56 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 23 19:57:56 Finished compiler/bootstrap/compilation/ag32/32/proofs        20m59s  24GB
Sep 23 19:57:56 SUCCESS