Job 1495

CakeML:62575c63aecea870a89518102aec7eae7708a837
  Fixes to x64 export script [Mar 17 12:49:50]
#820 (fix-export-x64-macos)
Merging into:3d4a96b446a3347e5cb94f1b123332937de84554
  Fix reference to HOL examples theory that has moved [Mar 18 00:23:39]
HOL:94d032357d37c515713e95934557884394537da2
  Improve loop detection in simplifier [Mar 18 06:46:50]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 19 15:22:58 Claimed job
Mar 19 15:23:03 Building HOL
Mar 19 15:39:19 Starting developers
Mar 19 15:39:24 Finished developers                                               4s 103MB
Mar 19 15:39:24 Starting developers/bin
Mar 19 15:39:31 Finished developers/bin                                           6s   1GB
Mar 19 15:39:31 Starting semantics/ffi
Mar 19 15:39:42 Finished semantics/ffi                                           11s 222MB
Mar 19 15:39:43 Starting semantics
Mar 19 15:41:19 Finished semantics                                             1m35s   1GB
Mar 19 15:41:19 Starting semantics/proofs
Mar 19 15:44:53 Finished semantics/proofs                                      3m33s   1GB
Mar 19 15:44:53 Starting semantics/alt_semantics
Mar 19 15:45:02 Finished semantics/alt_semantics                                  9s 287MB
Mar 19 15:45:02 Starting semantics/alt_semantics/proofs
Mar 19 15:47:17 Finished semantics/alt_semantics/proofs                        2m15s   1GB
Mar 19 15:47:18 Starting basis/pure
Mar 19 15:50:24 Finished basis/pure                                            3m05s 919MB
Mar 19 15:50:24 Starting translator
Mar 19 15:53:12 Finished translator                                            2m48s   1GB
Mar 19 15:53:13 Starting compiler/parsing
Mar 19 15:54:26 Finished compiler/parsing                                      1m13s   2GB
Mar 19 15:54:26 Starting characteristic
Mar 19 16:00:44 Finished characteristic                                        6m17s   1GB
Mar 19 16:00:44 Starting translator/monadic
Mar 19 16:02:26 Finished translator/monadic                                    1m41s   1GB
Mar 19 16:02:26 Starting basis
Mar 19 16:49:03 Finished basis                                                46m37s  11GB
Mar 19 16:49:04 Starting compiler/inference
Mar 19 16:50:19 Finished compiler/inference                                    1m14s   1GB
Mar 19 16:50:19 Starting compiler/backend/reg_alloc
Mar 19 16:51:27 Finished compiler/backend/reg_alloc                            1m08s   1GB
Mar 19 16:51:27 Starting compiler/backend/gc
Mar 19 16:55:14 Finished compiler/backend/gc                                   3m46s   2GB
Mar 19 16:55:14 Starting compiler/backend
Mar 20 16:16:16 Resuming compiler/backend
Mar 20 16:17:36 Finished compiler/backend                                      1m20s   2GB
Mar 20 16:17:36 Starting compiler/encoders/asm
Mar 20 16:18:00 Finished compiler/encoders/asm                                   22s 696MB
Mar 20 16:18:00 Starting compiler/encoders/x64
Mar 20 16:19:06 Finished compiler/encoders/x64                                 1m05s   1GB
Mar 20 16:19:06 Starting compiler/encoders/arm7
Mar 20 16:21:19 Finished compiler/encoders/arm7                                2m12s   1GB
Mar 20 16:21:19 Starting compiler/encoders/arm8
Mar 20 16:21:59 Finished compiler/encoders/arm8                                  39s 905MB
Mar 20 16:21:59 Starting compiler/encoders/mips
Mar 20 16:23:36 Finished compiler/encoders/mips                                1m36s   1GB
Mar 20 16:23:36 Starting compiler/encoders/riscv
Mar 20 16:25:28 Finished compiler/encoders/riscv                               1m51s 926MB
Mar 20 16:25:29 Starting compiler/encoders/ag32
Mar 20 16:25:47 Finished compiler/encoders/ag32                                  18s 686MB
Mar 20 16:25:47 Starting compiler/backend/x64
Mar 20 16:26:07 Finished compiler/backend/x64                                    19s   1GB
Mar 20 16:26:07 Starting compiler/backend/arm7
Mar 20 16:26:28 Finished compiler/backend/arm7                                   21s   1GB
Mar 20 16:26:29 Starting compiler/backend/arm8
Mar 20 16:26:47 Finished compiler/backend/arm8                                   18s   1GB
Mar 20 16:26:47 Starting compiler/backend/mips
Mar 20 16:27:07 Finished compiler/backend/mips                                   19s   1GB
Mar 20 16:27:07 Starting compiler/backend/riscv
Mar 20 16:27:28 Finished compiler/backend/riscv                                  20s   1GB
Mar 20 16:27:28 Starting compiler/backend/ag32
Mar 20 16:28:43 Finished compiler/backend/ag32                                 1m15s   1GB
Mar 20 16:28:44 Starting compiler/parsing/proofs
Mar 20 16:34:28 Finished compiler/parsing/proofs                               5m44s   2GB
Mar 20 16:34:28 Starting compiler/inference/proofs
Mar 20 16:37:05 Finished compiler/inference/proofs                             2m36s   1GB
Mar 20 16:37:05 Starting compiler/backend/semantics
Mar 20 17:10:40 Finished compiler/backend/semantics                           33m35s   2GB
Mar 20 17:10:40 Starting compiler/backend/reg_alloc/proofs
Mar 20 17:14:26 Finished compiler/backend/reg_alloc/proofs                     3m45s 866MB
Mar 20 17:14:27 Starting compiler/backend/proofs
Mar 20 18:12:57 Finished compiler/backend/proofs                              58m29s  17GB
Mar 20 18:12:57 Starting compiler/encoders/x64/proofs
Mar 20 18:23:19 Finished compiler/encoders/x64/proofs                         10m21s   6GB
Mar 20 18:23:19 Starting compiler/encoders/arm7/proofs
Mar 20 18:37:33 Finished compiler/encoders/arm7/proofs                        14m13s   5GB
Mar 20 18:37:33 Starting compiler/encoders/arm8/proofs
Mar 20 18:44:40 Finished compiler/encoders/arm8/proofs                         7m06s   1GB
Mar 20 18:44:40 Starting compiler/encoders/mips/proofs
Mar 20 18:55:39 Finished compiler/encoders/mips/proofs                        10m58s   1GB
Mar 20 18:55:39 Starting compiler/encoders/riscv/proofs
Mar 20 19:05:20 Finished compiler/encoders/riscv/proofs                        9m40s 954MB
Mar 20 19:05:20 Starting compiler/encoders/ag32/proofs
Mar 20 19:08:07 Finished compiler/encoders/ag32/proofs                         2m46s   1GB
Mar 20 19:08:07 Starting compiler/backend/x64/proofs
Mar 20 19:08:29 Finished compiler/backend/x64/proofs                             21s   1GB
Mar 20 19:08:29 Starting compiler/backend/arm7/proofs
Mar 20 19:08:52 Finished compiler/backend/arm7/proofs                            22s   1GB
Mar 20 19:08:52 Starting compiler/backend/arm8/proofs
Mar 20 19:09:14 Finished compiler/backend/arm8/proofs                            21s   1GB
Mar 20 19:09:14 Starting compiler/backend/mips/proofs
Mar 20 19:09:36 Finished compiler/backend/mips/proofs                            21s   1GB
Mar 20 19:09:36 Starting compiler/backend/riscv/proofs
Mar 20 19:09:59 Finished compiler/backend/riscv/proofs                           22s   1GB
Mar 20 19:09:59 Starting compiler/backend/ag32/proofs
Mar 20 19:24:00 Finished compiler/backend/ag32/proofs                         14m00s   2GB
Mar 20 19:24:00 Starting compiler/proofs
Mar 21 10:44:23 Resuming compiler/proofs
Mar 21 10:46:01 Finished compiler/proofs                                       1m38s   3GB
Mar 21 10:46:02 Starting candle/set-theory
Mar 21 10:46:31 Finished candle/set-theory                                       28s 795MB
Mar 21 10:46:31 Starting candle/syntax-lib
Mar 21 10:46:43 Finished candle/syntax-lib                                       11s 470MB
Mar 21 10:46:43 Starting candle/standard/syntax
Mar 21 10:48:40 Finished candle/standard/syntax                                1m56s 950MB
Mar 21 10:48:40 Starting candle/standard/semantics
Mar 21 10:50:29 Finished candle/standard/semantics                             1m49s   1GB
Mar 21 10:50:30 Starting candle/standard/monadic
Mar 21 10:52:18 Finished candle/standard/monadic                               1m48s   1GB
Mar 21 10:52:19 Starting candle/standard/ml_kernel
Mar 21 10:58:20 Finished candle/standard/ml_kernel                             6m01s   3GB
Mar 21 10:58:21 Starting candle/overloading/syntax
Mar 21 11:01:42 Finished candle/overloading/syntax                             3m21s   1GB
Mar 21 11:01:43 Starting candle/overloading/semantics
Mar 21 11:14:47 Finished candle/overloading/semantics                         13m04s   3GB
Mar 21 11:14:47 Starting characteristic/examples
Mar 21 11:16:14 Finished characteristic/examples                               1m26s   2GB
Mar 21 11:16:14 Starting tutorial/solutions
Mar 21 11:32:25 Finished tutorial/solutions                                   16m11s   8GB
Mar 21 11:32:26 Starting translator/monadic/examples
Mar 21 11:35:46 Finished translator/monadic/examples                           3m20s   2GB
Mar 21 11:35:47 Starting examples
Mar 21 11:44:51 Finished examples                                              9m04s   3GB
Mar 21 11:44:52 Starting examples/compilation/x64
Mar 21 14:11:34 Finished examples/compilation/x64                           2h26m41s  15GB
Mar 21 14:11:34 Starting examples/compilation/x64/proofs
Mar 21 14:13:24 Finished examples/compilation/x64/proofs                       1m49s   2GB
Mar 21 14:13:24 Starting examples/compilation/ag32
Mar 21 14:47:34 Finished examples/compilation/ag32                            34m10s   7GB
Mar 21 14:47:35 Starting examples/compilation/ag32/proofs
Mar 21 14:48:27 Finished examples/compilation/ag32/proofs                        52s   2GB
Mar 21 14:48:28 Starting examples/cost
Mar 21 15:46:35 Finished examples/cost                                        58m06s   6GB
Mar 21 15:46:35 Starting examples/lpr_checker
Mar 21 15:50:38 Finished examples/lpr_checker                                  4m02s   3GB
Mar 21 15:50:38 Starting examples/lpr_checker/compilation
Mar 21 16:09:41 Finished examples/lpr_checker/compilation                     19m02s   9GB
Mar 21 16:09:41 Starting examples/lpr_checker/compilation/proofs
Mar 21 16:10:23 Finished examples/lpr_checker/compilation/proofs                 42s   2GB
Mar 21 16:10:23 Starting examples/lpr_checker/array
Mar 21 16:25:43 Finished examples/lpr_checker/array                           15m19s   3GB
Mar 21 16:25:43 Starting examples/lpr_checker/array/compilation
Mar 21 16:46:07 Finished examples/lpr_checker/array/compilation               20m24s   9GB
Mar 21 16:46:08 Starting examples/lpr_checker/array/compilation/proofs
Mar 21 16:46:56 Finished examples/lpr_checker/array/compilation/proofs           48s   4GB
Mar 21 16:46:56 Starting examples/opentheory
Mar 21 16:56:58 Finished examples/opentheory                                  10m01s   5GB
Mar 21 16:56:58 Starting examples/opentheory
Mar 21 16:57:00 Finished examples/opentheory                                      1s  20MB
Mar 21 16:57:00 Starting examples/opentheory/compilation
Mar 21 17:31:51 Finished examples/opentheory/compilation                      34m51s  19GB
Mar 21 17:31:52 Starting examples/opentheory/compilation/proofs
Mar 21 17:32:33 Finished examples/opentheory/compilation/proofs                  41s   3GB
Mar 21 17:32:34 Starting examples/opentheory/compilation/ag32
Mar 21 18:08:24 Finished examples/opentheory/compilation/ag32                 35m50s  18GB
Mar 21 18:08:25 Starting examples/opentheory/compilation/ag32/proofs
Mar 21 18:10:02 Finished examples/opentheory/compilation/ag32/proofs           1m37s   4GB
Mar 21 18:10:02 Starting translator/okasaki-examples
Mar 21 18:14:33 Finished translator/okasaki-examples                           4m30s   2GB
Mar 21 18:14:34 Starting translator/other-examples
Mar 21 18:16:40 Finished translator/other-examples                             2m06s   1GB
Mar 21 18:16:41 Starting compiler/parsing/tests
Mar 21 18:17:07 Finished compiler/parsing/tests                                  26s 581MB
Mar 21 18:17:07 Starting compiler/inference/tests
Mar 21 18:24:59 Finished compiler/inference/tests                              7m51s   5GB
Mar 21 18:24:59 Starting compiler/bootstrap/translation
Mar 21 21:07:03 Finished compiler/bootstrap/translation                     2h42m03s  55GB
Mar 21 21:07:03 Starting unverified/sexpr-bootstrap/x64/64
Mar 21 21:18:37 Finished unverified/sexpr-bootstrap/x64/64                    11m33s   9GB
Mar 21 21:18:37 Starting unverified/sexpr-bootstrap/x64/32
Mar 21 21:28:33 Finished unverified/sexpr-bootstrap/x64/32                     9m55s   9GB
Mar 21 21:28:33 Starting compiler/benchmarks
Mar 21 21:28:35 Finished compiler/benchmarks                                      1s  26MB
Mar 21 21:28:35 Starting compiler/bootstrap/compilation/x64/64
Mar 22 09:55:17 Finished compiler/bootstrap/compilation/x64/64             12h26m40s  64GB
Mar 22 09:55:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 22 09:58:31 Finished compiler/bootstrap/compilation/x64/64/proofs          3m14s  12GB
Mar 22 09:58:32 Starting compiler/bootstrap/compilation/x64/32
Mar 22 21:22:08 Finished compiler/bootstrap/compilation/x64/32             11h23m36s  64GB
Mar 22 21:22:09 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 22 21:25:02 Finished compiler/bootstrap/compilation/x64/32/proofs          2m53s  11GB
Mar 22 21:25:02 Starting compiler/bootstrap/compilation/ag32/32
Mar 23 09:19:01 Finished compiler/bootstrap/compilation/ag32/32            11h53m57s  64GB
Mar 23 09:19:01 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 23 09:44:29 Finished compiler/bootstrap/compilation/ag32/32/proofs        25m28s  24GB
Mar 23 09:44:29 SUCCESS