Job 1503

CakeML:e4695275e4d5b97462460088478cf7d14f19092f
  Remove commented-out junk [Mar 29 10:43:06]
#823 (arm64-apple)
Merging into: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:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 29 15:14:28 Claimed job
Mar 29 15:14:31 Reusing HOL
Mar 29 15:15:18 Starting developers
Mar 29 15:15:22 Finished developers                                               4s  97MB
Mar 29 15:15:23 Starting developers/bin
Mar 29 15:15:30 Finished developers/bin                                           6s   1GB
Mar 29 15:15:30 Starting semantics/ffi
Mar 29 15:15:42 Finished semantics/ffi                                           11s 244MB
Mar 29 15:15:42 Starting semantics
Mar 29 15:17:09 Finished semantics                                             1m26s   1GB
Mar 29 15:17:09 Starting semantics/proofs
Mar 29 15:20:43 Finished semantics/proofs                                      3m33s 883MB
Mar 29 15:20:43 Starting semantics/alt_semantics
Mar 29 15:20:53 Finished semantics/alt_semantics                                  9s 304MB
Mar 29 15:20:53 Starting semantics/alt_semantics/proofs
Mar 29 15:23:11 Finished semantics/alt_semantics/proofs                        2m17s 802MB
Mar 29 15:23:11 Starting basis/pure
Mar 29 15:24:02 Finished basis/pure                                              50s 829MB
Mar 29 15:24:03 Starting translator
Mar 29 15:26:51 Finished translator                                            2m47s   2GB
Mar 29 15:26:51 Starting compiler/parsing
Mar 29 15:28:04 Finished compiler/parsing                                      1m12s   1GB
Mar 29 15:28:04 Starting characteristic
Mar 29 15:34:20 Finished characteristic                                        6m15s   1GB
Mar 29 15:34:20 Starting translator/monadic
Mar 29 15:36:03 Finished translator/monadic                                    1m42s   1GB
Mar 29 15:36:04 Starting basis
Mar 29 16:23:00 Finished basis                                                46m55s  13GB
Mar 29 16:23:00 Starting compiler/inference
Mar 29 16:24:05 Finished compiler/inference                                    1m04s   1GB
Mar 29 16:24:06 Starting compiler/backend/reg_alloc
Mar 29 16:25:15 Finished compiler/backend/reg_alloc                            1m08s   1GB
Mar 29 16:25:15 Starting compiler/backend/gc
Mar 29 16:28:50 Finished compiler/backend/gc                                   3m35s   2GB
Mar 29 16:28:51 Starting compiler/backend
Mar 29 16:33:59 Finished compiler/backend                                      5m07s   3GB
Mar 29 16:33:59 Starting compiler/encoders/asm
Mar 29 16:34:22 Finished compiler/encoders/asm                                   22s 736MB
Mar 29 16:34:22 Starting compiler/encoders/x64
Mar 29 16:34:49 Finished compiler/encoders/x64                                   26s   1GB
Mar 29 16:34:49 Starting compiler/encoders/arm7
Mar 29 16:35:42 Finished compiler/encoders/arm7                                  52s 718MB
Mar 29 16:35:42 Starting compiler/encoders/arm8
Mar 29 16:35:56 Finished compiler/encoders/arm8                                  13s 894MB
Mar 29 16:35:56 Starting compiler/encoders/mips
Mar 29 16:36:14 Finished compiler/encoders/mips                                  17s   1GB
Mar 29 16:36:15 Starting compiler/encoders/riscv
Mar 29 16:36:30 Finished compiler/encoders/riscv                                 15s 802MB
Mar 29 16:36:30 Starting compiler/encoders/ag32
Mar 29 16:36:49 Finished compiler/encoders/ag32                                  18s 853MB
Mar 29 16:36:50 Starting compiler/backend/x64
Mar 29 16:37:10 Finished compiler/backend/x64                                    20s   1GB
Mar 29 16:37:10 Starting compiler/backend/arm7
Mar 29 16:37:32 Finished compiler/backend/arm7                                   21s   1GB
Mar 29 16:37:33 Starting compiler/backend/arm8
Mar 29 16:37:51 Finished compiler/backend/arm8                                   18s   1GB
Mar 29 16:37:51 Starting compiler/backend/mips
Mar 29 16:38:12 Finished compiler/backend/mips                                   20s   1GB
Mar 29 16:38:12 Starting compiler/backend/riscv
Mar 29 16:38:33 Finished compiler/backend/riscv                                  20s   1GB
Mar 29 16:38:33 Starting compiler/backend/ag32
Mar 29 16:39:48 Finished compiler/backend/ag32                                 1m14s   1GB
Mar 29 16:39:49 Starting compiler/parsing/proofs
Mar 29 16:45:40 Finished compiler/parsing/proofs                               5m50s   1GB
Mar 29 16:45:40 Starting compiler/inference/proofs
Mar 29 16:48:18 Finished compiler/inference/proofs                             2m37s   1GB
Mar 29 16:48:19 Starting compiler/backend/semantics
Mar 29 17:21:43 Finished compiler/backend/semantics                           33m23s   2GB
Mar 29 17:21:43 Starting compiler/backend/reg_alloc/proofs
Mar 29 17:25:35 Finished compiler/backend/reg_alloc/proofs                     3m50s 812MB
Mar 29 17:25:35 Starting compiler/backend/proofs
Mar 29 18:24:24 Finished compiler/backend/proofs                              58m48s  16GB
Mar 29 18:24:24 Starting compiler/encoders/x64/proofs
Mar 29 18:34:58 Finished compiler/encoders/x64/proofs                         10m33s   4GB
Mar 29 18:34:59 Starting compiler/encoders/arm7/proofs
Mar 29 18:49:14 Finished compiler/encoders/arm7/proofs                        14m14s   6GB
Mar 29 18:49:14 Starting compiler/encoders/arm8/proofs
Mar 29 18:56:37 Finished compiler/encoders/arm8/proofs                         7m22s   1GB
Mar 29 18:56:38 Starting compiler/encoders/mips/proofs
Mar 29 19:07:18 Finished compiler/encoders/mips/proofs                        10m40s   2GB
Mar 29 19:07:18 Starting compiler/encoders/riscv/proofs
Mar 29 19:17:01 Finished compiler/encoders/riscv/proofs                        9m42s   1GB
Mar 29 19:17:01 Starting compiler/encoders/ag32/proofs
Mar 29 19:19:51 Finished compiler/encoders/ag32/proofs                         2m49s 615MB
Mar 29 19:19:51 Starting compiler/backend/x64/proofs
Mar 29 19:20:13 Finished compiler/backend/x64/proofs                             21s   1GB
Mar 29 19:20:13 Starting compiler/backend/arm7/proofs
Mar 29 19:20:36 Finished compiler/backend/arm7/proofs                            22s   1GB
Mar 29 19:20:36 Starting compiler/backend/arm8/proofs
Mar 29 19:20:59 Finished compiler/backend/arm8/proofs                            22s   1GB
Mar 29 19:20:59 Starting compiler/backend/mips/proofs
Mar 29 19:21:22 Finished compiler/backend/mips/proofs                            22s   1GB
Mar 29 19:21:22 Starting compiler/backend/riscv/proofs
Mar 29 19:21:45 Finished compiler/backend/riscv/proofs                           22s   1GB
Mar 29 19:21:45 Starting compiler/backend/ag32/proofs
Mar 29 19:35:42 Finished compiler/backend/ag32/proofs                         13m55s   2GB
Mar 29 19:35:42 Starting compiler/proofs
Mar 29 19:37:22 Finished compiler/proofs                                       1m39s   4GB
Mar 29 19:37:22 Starting candle/set-theory
Mar 29 19:37:52 Finished candle/set-theory                                       29s 845MB
Mar 29 19:37:52 Starting candle/syntax-lib
Mar 29 19:38:03 Finished candle/syntax-lib                                       10s 740MB
Mar 29 19:38:04 Starting candle/standard/syntax
Mar 29 19:40:00 Finished candle/standard/syntax                                1m55s   1GB
Mar 29 19:40:00 Starting candle/standard/semantics
Mar 29 19:41:49 Finished candle/standard/semantics                             1m48s 958MB
Mar 29 19:41:50 Starting candle/standard/monadic
Mar 29 19:43:40 Finished candle/standard/monadic                               1m50s   1GB
Mar 29 19:43:40 Starting candle/standard/ml_kernel
Mar 29 19:49:36 Finished candle/standard/ml_kernel                             5m55s   4GB
Mar 29 19:49:36 Starting candle/overloading/syntax
Mar 29 19:52:58 Finished candle/overloading/syntax                             3m20s   1GB
Mar 29 19:52:58 Starting candle/overloading/semantics
Mar 29 20:05:44 Finished candle/overloading/semantics                         12m45s   4GB
Mar 29 20:05:44 Starting characteristic/examples
Mar 29 20:07:04 Finished characteristic/examples                               1m20s   3GB
Mar 29 20:07:05 Starting tutorial/solutions
Mar 29 20:23:20 Finished tutorial/solutions                                   16m14s   7GB
Mar 29 20:23:20 Starting translator/monadic/examples
Mar 29 20:26:38 Finished translator/monadic/examples                           3m17s   2GB
Mar 29 20:26:38 Starting examples
Mar 29 20:35:30 Finished examples                                              8m51s   3GB
Mar 29 20:35:31 Starting examples/compilation/x64
Mar 29 23:02:33 Finished examples/compilation/x64                           2h27m02s  16GB
Mar 29 23:02:34 Starting examples/compilation/x64/proofs
Mar 29 23:04:20 Finished examples/compilation/x64/proofs                       1m45s   2GB
Mar 29 23:04:20 Starting examples/compilation/ag32
Mar 29 23:38:59 Finished examples/compilation/ag32                            34m38s   7GB
Mar 29 23:38:59 Starting examples/compilation/ag32/proofs
Mar 29 23:39:48 Finished examples/compilation/ag32/proofs                        48s   2GB
Mar 29 23:39:48 Starting examples/cost
Mar 30 00:37:43 Finished examples/cost                                        57m53s   8GB
Mar 30 00:37:43 Starting examples/lpr_checker
Mar 30 00:41:46 Finished examples/lpr_checker                                  4m02s   4GB
Mar 30 00:41:46 Starting examples/lpr_checker/compilation
Mar 30 01:00:44 Finished examples/lpr_checker/compilation                     18m57s   9GB
Mar 30 01:00:44 Starting examples/lpr_checker/compilation/proofs
Mar 30 01:01:24 Finished examples/lpr_checker/compilation/proofs                 40s   2GB
Mar 30 01:01:25 Starting examples/lpr_checker/array
Mar 30 01:16:53 Finished examples/lpr_checker/array                           15m27s   3GB
Mar 30 01:16:53 Starting examples/lpr_checker/array/compilation
Mar 30 01:37:29 Finished examples/lpr_checker/array/compilation               20m35s  12GB
Mar 30 01:37:30 Starting examples/lpr_checker/array/compilation/proofs
Mar 30 01:38:23 Finished examples/lpr_checker/array/compilation/proofs           51s   4GB
Mar 30 01:38:23 Starting examples/opentheory
Mar 30 01:48:34 Finished examples/opentheory                                  10m10s   5GB
Mar 30 01:48:34 Starting examples/opentheory
Mar 30 01:48:36 Finished examples/opentheory                                      1s  23MB
Mar 30 01:48:36 Starting examples/opentheory/compilation
Mar 30 02:22:39 Finished examples/opentheory/compilation                      34m03s  19GB
Mar 30 02:22:40 Starting examples/opentheory/compilation/proofs
Mar 30 02:23:21 Finished examples/opentheory/compilation/proofs                  40s   3GB
Mar 30 02:23:21 Starting examples/opentheory/compilation/ag32
Mar 30 02:57:45 Finished examples/opentheory/compilation/ag32                 34m23s  23GB
Mar 30 02:57:46 Starting examples/opentheory/compilation/ag32/proofs
Mar 30 02:59:24 Finished examples/opentheory/compilation/ag32/proofs           1m37s   5GB
Mar 30 02:59:24 Starting translator/okasaki-examples
Mar 30 03:03:56 Finished translator/okasaki-examples                           4m31s   1GB
Mar 30 03:03:56 Starting translator/other-examples
Mar 30 03:06:04 Finished translator/other-examples                             2m08s   1GB
Mar 30 03:06:05 Starting compiler/parsing/tests
Mar 30 03:06:32 Finished compiler/parsing/tests                                  27s 568MB
Mar 30 03:06:32 Starting compiler/inference/tests
Mar 30 03:14:22 Finished compiler/inference/tests                              7m49s   5GB
Mar 30 03:14:22 Starting compiler/bootstrap/translation
Mar 30 05:57:35 Finished compiler/bootstrap/translation                     2h43m12s  52GB
Mar 30 05:57:35 Starting unverified/sexpr-bootstrap/x64/64
Mar 30 06:09:37 Finished unverified/sexpr-bootstrap/x64/64                    12m02s   8GB
Mar 30 06:09:38 Starting unverified/sexpr-bootstrap/x64/32
Mar 30 06:19:32 Finished unverified/sexpr-bootstrap/x64/32                     9m53s   8GB
Mar 30 06:19:32 Starting compiler/benchmarks
Mar 30 06:19:35 Finished compiler/benchmarks                                      1s  24MB
Mar 30 06:19:35 Starting compiler/bootstrap/compilation/x64/64
Mar 30 19:56:15 Finished compiler/bootstrap/compilation/x64/64             13h36m40s  64GB
Mar 30 19:56:15 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 30 19:59:19 Finished compiler/bootstrap/compilation/x64/64/proofs          3m03s  12GB
Mar 30 19:59:19 Starting compiler/bootstrap/compilation/x64/32
Mar 31 07:25:18 Finished compiler/bootstrap/compilation/x64/32             11h25m57s  64GB
Mar 31 07:25:18 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 31 07:28:11 Finished compiler/bootstrap/compilation/x64/32/proofs          2m52s  11GB
Mar 31 07:28:11 Starting compiler/bootstrap/compilation/ag32/32
Mar 31 18:58:53 Finished compiler/bootstrap/compilation/ag32/32            11h30m41s  64GB
Mar 31 18:58:53 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 31 19:11:37 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m43s  23GB
Mar 31 19:11:37 SUCCESS