Job 1501

CakeML:9c2de3ee5f524d70e727448b250ce0f8f085ee53
  Merge pull request #820 from CakeML/fix-export-x64-macos [Mar 22 20:43:15]
HOL:ab03cec5200c8b23f9ba60c5cea958cfcd0cd158
  Make all string overloads "inferior" [Mar 23 06:14:09]
Machine:oven3 4.19.67.1.amd64-smp
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Mar 27 14:06:38 Claimed job
Mar 27 14:06:40 Reusing HOL
Mar 27 14:07:38 Starting developers
Mar 27 14:07:46 Finished developers                                               7s  93MB
Mar 27 14:07:47 Starting developers/bin
Mar 27 14:08:00 Finished developers/bin                                          13s   1GB
Mar 27 14:08:00 Starting semantics/ffi
Mar 27 14:08:26 Finished semantics/ffi                                           25s 267MB
Mar 27 14:08:26 Starting semantics
Mar 27 14:11:19 Finished semantics                                             2m52s   1GB
Mar 27 14:11:19 Starting semantics/proofs
Mar 27 14:18:35 Finished semantics/proofs                                      7m15s 972MB
Mar 27 14:18:35 Starting semantics/alt_semantics
Mar 27 14:18:54 Finished semantics/alt_semantics                                 18s 383MB
Mar 27 14:18:55 Starting semantics/alt_semantics/proofs
Mar 27 14:23:28 Finished semantics/alt_semantics/proofs                        4m33s 984MB
Mar 27 14:23:29 Starting basis/pure
Mar 27 14:25:15 Finished basis/pure                                            1m45s 880MB
Mar 27 14:25:15 Starting translator
Mar 27 14:30:55 Finished translator                                            5m39s   1GB
Mar 27 14:30:55 Starting compiler/parsing
Mar 27 14:33:23 Finished compiler/parsing                                      2m27s   2GB
Mar 27 14:33:23 Starting characteristic
Mar 27 14:46:01 Finished characteristic                                       12m37s   2GB
Mar 27 14:46:02 Starting translator/monadic
Mar 27 14:49:23 Finished translator/monadic                                    3m20s   1GB
Mar 27 14:49:23 Starting basis
Mar 27 16:23:44 Finished basis                                              1h34m20s  13GB
Mar 27 16:23:45 Starting compiler/inference
Mar 27 16:25:56 Finished compiler/inference                                    2m10s   1GB
Mar 27 16:25:56 Starting compiler/backend/reg_alloc
Mar 27 16:27:56 Finished compiler/backend/reg_alloc                            2m00s   1GB
Mar 27 16:27:57 Starting compiler/backend/gc
Mar 27 16:34:25 Finished compiler/backend/gc                                   6m28s   2GB
Mar 27 16:34:26 Starting compiler/backend
Mar 27 16:43:49 Finished compiler/backend                                      9m22s   3GB
Mar 27 16:43:49 Starting compiler/encoders/asm
Mar 27 16:44:37 Finished compiler/encoders/asm                                   47s 802MB
Mar 27 16:44:38 Starting compiler/encoders/x64
Mar 27 16:45:33 Finished compiler/encoders/x64                                   54s   1GB
Mar 27 16:45:33 Starting compiler/encoders/arm7
Mar 27 16:47:29 Finished compiler/encoders/arm7                                1m55s 697MB
Mar 27 16:47:29 Starting compiler/encoders/arm8
Mar 27 16:47:57 Finished compiler/encoders/arm8                                  27s 691MB
Mar 27 16:47:57 Starting compiler/encoders/mips
Mar 27 16:48:36 Finished compiler/encoders/mips                                  37s 986MB
Mar 27 16:48:36 Starting compiler/encoders/riscv
Mar 27 16:49:06 Finished compiler/encoders/riscv                                 30s 791MB
Mar 27 16:49:07 Starting compiler/encoders/ag32
Mar 27 16:49:45 Finished compiler/encoders/ag32                                  37s 603MB
Mar 27 16:49:45 Starting compiler/backend/x64
Mar 27 16:50:26 Finished compiler/backend/x64                                    40s   1GB
Mar 27 16:50:27 Starting compiler/backend/arm7
Mar 27 16:51:12 Finished compiler/backend/arm7                                   45s   1GB
Mar 27 16:51:13 Starting compiler/backend/arm8
Mar 27 16:51:54 Finished compiler/backend/arm8                                   40s   1GB
Mar 27 16:51:54 Starting compiler/backend/mips
Mar 27 16:52:37 Finished compiler/backend/mips                                   43s   1GB
Mar 27 16:52:38 Starting compiler/backend/riscv
Mar 27 16:53:18 Finished compiler/backend/riscv                                  39s   1GB
Mar 27 16:53:18 Starting compiler/backend/ag32
Mar 27 16:55:45 Finished compiler/backend/ag32                                 2m27s   1GB
Mar 27 16:55:46 Starting compiler/parsing/proofs
Mar 27 17:07:52 Finished compiler/parsing/proofs                              12m05s 963MB
Mar 27 17:07:52 Starting compiler/inference/proofs
Mar 27 17:13:19 Finished compiler/inference/proofs                             5m26s   1GB
Mar 27 17:13:19 Starting compiler/backend/semantics
Mar 27 18:15:07 Finished compiler/backend/semantics                         1h01m45s   2GB
Mar 27 18:15:08 Starting compiler/backend/reg_alloc/proofs
Mar 27 18:22:50 Finished compiler/backend/reg_alloc/proofs                     7m41s 926MB
Mar 27 18:22:50 Starting compiler/backend/proofs
Mar 27 20:03:16 Finished compiler/backend/proofs                            1h40m25s  12GB
Mar 27 20:03:17 Starting compiler/encoders/x64/proofs
Mar 27 20:24:43 Finished compiler/encoders/x64/proofs                         21m26s   4GB
Mar 27 20:24:43 Starting compiler/encoders/arm7/proofs
Mar 27 20:54:44 Finished compiler/encoders/arm7/proofs                        30m00s   4GB
Mar 27 20:54:45 Starting compiler/encoders/arm8/proofs
Mar 27 21:09:37 Finished compiler/encoders/arm8/proofs                        14m51s   1GB
Mar 27 21:09:37 Starting compiler/encoders/mips/proofs
Mar 27 21:31:54 Finished compiler/encoders/mips/proofs                        22m16s   2GB
Mar 27 21:31:54 Starting compiler/encoders/riscv/proofs
Mar 27 21:52:04 Finished compiler/encoders/riscv/proofs                       20m09s   1GB
Mar 27 21:52:04 Starting compiler/encoders/ag32/proofs
Mar 27 21:57:47 Finished compiler/encoders/ag32/proofs                         5m42s   1GB
Mar 27 21:57:47 Starting compiler/backend/x64/proofs
Mar 27 21:58:34 Finished compiler/backend/x64/proofs                             46s   1GB
Mar 27 21:58:35 Starting compiler/backend/arm7/proofs
Mar 27 21:59:23 Finished compiler/backend/arm7/proofs                            48s   1GB
Mar 27 21:59:24 Starting compiler/backend/arm8/proofs
Mar 27 22:00:07 Finished compiler/backend/arm8/proofs                            43s   1GB
Mar 27 22:00:08 Starting compiler/backend/mips/proofs
Mar 27 22:00:55 Finished compiler/backend/mips/proofs                            47s   1GB
Mar 27 22:00:56 Starting compiler/backend/riscv/proofs
Mar 27 22:01:42 Finished compiler/backend/riscv/proofs                           46s   1GB
Mar 27 22:01:43 Starting compiler/backend/ag32/proofs
Mar 27 22:29:23 Finished compiler/backend/ag32/proofs                         27m38s   2GB
Mar 27 22:29:23 Starting compiler/proofs
Mar 27 22:33:15 Finished compiler/proofs                                       3m52s   3GB
Mar 27 22:33:16 Starting candle/set-theory
Mar 27 22:34:17 Finished candle/set-theory                                     1m01s 721MB
Mar 27 22:34:18 Starting candle/syntax-lib
Mar 27 22:34:42 Finished candle/syntax-lib                                       23s 729MB
Mar 27 22:34:42 Starting candle/standard/syntax
Mar 27 22:38:34 Finished candle/standard/syntax                                3m51s 943MB
Mar 27 22:38:34 Starting candle/standard/semantics
Mar 27 22:42:26 Finished candle/standard/semantics                             3m50s   1GB
Mar 27 22:42:26 Starting candle/standard/monadic
Mar 27 22:46:04 Finished candle/standard/monadic                               3m37s   1GB
Mar 27 22:46:04 Starting candle/standard/ml_kernel
Mar 27 22:57:17 Finished candle/standard/ml_kernel                            11m12s   5GB
Mar 27 22:57:17 Starting candle/overloading/syntax
Mar 27 23:04:03 Finished candle/overloading/syntax                             6m45s   1GB
Mar 27 23:04:03 Starting candle/overloading/semantics
Mar 27 23:31:11 Finished candle/overloading/semantics                         27m07s   3GB
Mar 27 23:31:11 Starting characteristic/examples
Mar 27 23:33:52 Finished characteristic/examples                               2m39s   3GB
Mar 27 23:33:52 Starting tutorial/solutions
Mar 28 00:07:24 Finished tutorial/solutions                                   33m31s   8GB
Mar 28 00:07:24 Starting translator/monadic/examples
Mar 28 00:12:57 Finished translator/monadic/examples                           5m32s   3GB
Mar 28 00:12:57 Starting examples
Mar 28 00:28:13 Finished examples                                             15m15s   3GB
Mar 28 00:28:13 Starting examples/compilation/x64
Mar 28 05:40:30 Finished examples/compilation/x64                           5h12m14s  14GB
Mar 28 05:40:30 Starting examples/compilation/x64/proofs
Mar 28 05:43:52 Finished examples/compilation/x64/proofs                       3m21s   3GB
Mar 28 05:43:52 Starting examples/compilation/ag32
Mar 28 06:58:10 Finished examples/compilation/ag32                          1h14m16s   7GB
Mar 28 06:58:11 Starting examples/compilation/ag32/proofs
Mar 28 07:00:04 Finished examples/compilation/ag32/proofs                      1m52s   3GB
Mar 28 07:00:04 Starting examples/cost
Mar 28 08:50:15 Finished examples/cost                                      1h50m10s   8GB
Mar 28 08:50:15 Starting examples/lpr_checker
Mar 28 08:58:24 Finished examples/lpr_checker                                  8m08s   2GB
Mar 28 08:58:24 Starting examples/lpr_checker/compilation
Mar 28 09:33:48 Finished examples/lpr_checker/compilation                     35m23s  15GB
Mar 28 09:33:48 Starting examples/lpr_checker/compilation/proofs
Mar 28 09:35:13 Finished examples/lpr_checker/compilation/proofs               1m24s   3GB
Mar 28 09:35:14 Starting examples/lpr_checker/array
Mar 28 10:07:14 Finished examples/lpr_checker/array                           31m59s   4GB
Mar 28 10:07:14 Starting examples/lpr_checker/array/compilation
Mar 28 10:49:56 Finished examples/lpr_checker/array/compilation               42m41s  12GB
Mar 28 10:49:56 Starting examples/lpr_checker/array/compilation/proofs
Mar 28 10:51:35 Finished examples/lpr_checker/array/compilation/proofs         1m38s   4GB
Mar 28 10:51:36 Starting examples/opentheory
Mar 28 11:11:40 Finished examples/opentheory                                  20m03s   4GB
Mar 28 11:11:40 Starting examples/opentheory
Mar 28 11:11:42 Finished examples/opentheory                                      2s  33MB
Mar 28 11:11:43 Starting examples/opentheory/compilation
Mar 28 12:20:00 Finished examples/opentheory/compilation                    1h08m17s  19GB
Mar 28 12:20:01 Starting examples/opentheory/compilation/proofs
Mar 28 12:21:26 Finished examples/opentheory/compilation/proofs                1m25s   4GB
Mar 28 12:21:27 Starting examples/opentheory/compilation/ag32
Mar 28 13:34:24 Finished examples/opentheory/compilation/ag32               1h12m57s  15GB
Mar 28 13:34:25 Starting examples/opentheory/compilation/ag32/proofs
Mar 28 13:37:43 Finished examples/opentheory/compilation/ag32/proofs           3m17s   6GB
Mar 28 13:37:43 Starting translator/okasaki-examples
Mar 28 13:46:30 Finished translator/okasaki-examples                           8m46s   1GB
Mar 28 13:46:30 Starting translator/other-examples
Mar 28 13:50:22 Finished translator/other-examples                             3m50s   1GB
Mar 28 13:50:22 Starting compiler/parsing/tests
Mar 28 13:51:24 Finished compiler/parsing/tests                                1m01s 676MB
Mar 28 13:51:24 Starting compiler/inference/tests
Mar 28 14:06:31 Finished compiler/inference/tests                             15m06s   6GB
Mar 28 14:06:31 Starting compiler/bootstrap/translation
Mar 28 19:25:09 Finished compiler/bootstrap/translation                     5h18m36s  55GB
Mar 28 19:25:09 Starting unverified/sexpr-bootstrap/x64/64
Mar 28 19:49:23 Finished unverified/sexpr-bootstrap/x64/64                    24m08s   9GB
Mar 28 19:49:23 Starting unverified/sexpr-bootstrap/x64/32
Mar 28 20:10:33 Finished unverified/sexpr-bootstrap/x64/32                    21m05s   8GB
Mar 28 20:10:33 Starting compiler/benchmarks
Mar 28 20:10:37 Finished compiler/benchmarks                                      3s  32MB
Mar 28 20:10:37 Starting compiler/bootstrap/compilation/x64/64
Mar 29 20:24:51 Finished compiler/bootstrap/compilation/x64/64             24h14m09s  73GB
Mar 29 20:24:51 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 29 20:29:24 Finished compiler/bootstrap/compilation/x64/64/proofs          4m32s  19GB
Mar 29 20:29:25 Starting compiler/bootstrap/compilation/x64/32
Mar 30 18:44:11 Finished compiler/bootstrap/compilation/x64/32             22h14m42s  89GB
Mar 30 18:44:11 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 30 18:48:38 Finished compiler/bootstrap/compilation/x64/32/proofs          4m26s  15GB
Mar 30 18:48:38 Starting compiler/bootstrap/compilation/ag32/32
Mar 31 20:00:20 Finished compiler/bootstrap/compilation/ag32/32            25h11m40s 109GB
Mar 31 20:00:20 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 31 20:32:53 Finished compiler/bootstrap/compilation/ag32/32/proofs        32m32s  46GB
Mar 31 20:32:53 SUCCESS