Job 1498

CakeML:9c2de3ee5f524d70e727448b250ce0f8f085ee53
  Merge pull request #820 from CakeML/fix-export-x64-macos [Mar 22 20:43:15]
HOL:2ab294231cc2a57bf1ffcea47cb232709fa51797
  Remove old debugging code that is not used anymore [Mar 18 22:56:26]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Mar 23 06:59:11 Claimed job
Mar 23 06:59:16 Reusing HOL
Mar 23 06:59:22 Starting developers
Mar 23 06:59:23 Finished developers                                               0s  34MB
Mar 23 06:59:23 Starting developers/bin
Mar 23 06:59:29 Finished developers/bin                                           5s   1GB
Mar 23 06:59:29 Starting semantics/ffi
Mar 23 06:59:39 Finished semantics/ffi                                            9s 322MB
Mar 23 06:59:39 Starting semantics
Mar 23 07:01:01 Finished semantics                                             1m21s   1GB
Mar 23 07:01:01 Starting semantics/proofs
Mar 23 07:04:18 Finished semantics/proofs                                      3m17s   1GB
Mar 23 07:04:18 Starting semantics/alt_semantics
Mar 23 07:04:27 Finished semantics/alt_semantics                                  8s 394MB
Mar 23 07:04:27 Starting semantics/alt_semantics/proofs
Mar 23 07:06:34 Finished semantics/alt_semantics/proofs                        2m06s   1GB
Mar 23 07:06:34 Starting basis/pure
Mar 23 07:07:26 Finished basis/pure                                              52s   1GB
Mar 23 07:07:27 Starting translator
Mar 23 07:10:05 Finished translator                                            2m37s   2GB
Mar 23 07:10:05 Starting compiler/parsing
Mar 23 07:11:10 Finished compiler/parsing                                      1m05s   3GB
Mar 23 07:11:10 Starting characteristic
Mar 23 07:17:03 Finished characteristic                                        5m52s   3GB
Mar 23 07:17:03 Starting translator/monadic
Mar 23 07:18:44 Finished translator/monadic                                    1m40s   1GB
Mar 23 07:18:44 Starting basis
Mar 23 08:02:19 Finished basis                                                43m34s  24GB
Mar 23 08:02:19 Starting compiler/inference
Mar 23 08:03:23 Finished compiler/inference                                    1m03s   2GB
Mar 23 08:03:23 Starting compiler/backend/reg_alloc
Mar 23 08:04:28 Finished compiler/backend/reg_alloc                            1m04s   1GB
Mar 23 08:04:28 Starting compiler/backend/gc
Mar 23 08:07:51 Finished compiler/backend/gc                                   3m22s   3GB
Mar 23 08:07:51 Starting compiler/backend
Mar 23 08:12:46 Finished compiler/backend                                      4m55s   4GB
Mar 23 08:12:47 Starting compiler/encoders/asm
Mar 23 08:13:09 Finished compiler/encoders/asm                                   22s   1GB
Mar 23 08:13:09 Starting compiler/encoders/x64
Mar 23 08:13:36 Finished compiler/encoders/x64                                   26s   1GB
Mar 23 08:13:36 Starting compiler/encoders/arm7
Mar 23 08:14:27 Finished compiler/encoders/arm7                                  50s   1GB
Mar 23 08:14:27 Starting compiler/encoders/arm8
Mar 23 08:14:41 Finished compiler/encoders/arm8                                  13s   1GB
Mar 23 08:14:41 Starting compiler/encoders/mips
Mar 23 08:14:59 Finished compiler/encoders/mips                                  17s   1GB
Mar 23 08:14:59 Starting compiler/encoders/riscv
Mar 23 08:15:16 Finished compiler/encoders/riscv                                 16s   1GB
Mar 23 08:15:16 Starting compiler/encoders/ag32
Mar 23 08:15:35 Finished compiler/encoders/ag32                                  18s 923MB
Mar 23 08:15:35 Starting compiler/backend/x64
Mar 23 08:15:55 Finished compiler/backend/x64                                    19s   1GB
Mar 23 08:15:55 Starting compiler/backend/arm7
Mar 23 08:16:15 Finished compiler/backend/arm7                                   20s   1GB
Mar 23 08:16:16 Starting compiler/backend/arm8
Mar 23 08:16:36 Finished compiler/backend/arm8                                   19s   1GB
Mar 23 08:16:36 Starting compiler/backend/mips
Mar 23 08:16:55 Finished compiler/backend/mips                                   18s   1GB
Mar 23 08:16:55 Starting compiler/backend/riscv
Mar 23 08:17:15 Finished compiler/backend/riscv                                  19s   1GB
Mar 23 08:17:15 Starting compiler/backend/ag32
Mar 23 08:18:24 Finished compiler/backend/ag32                                 1m09s   2GB
Mar 23 08:18:24 Starting compiler/parsing/proofs
Mar 23 08:23:56 Finished compiler/parsing/proofs                               5m31s   2GB
Mar 23 08:23:57 Starting compiler/inference/proofs
Mar 23 08:26:26 Finished compiler/inference/proofs                             2m29s   1GB
Mar 23 08:26:27 Starting compiler/backend/semantics
Mar 23 08:53:02 Finished compiler/backend/semantics                           26m35s   4GB
Mar 23 08:53:02 Starting compiler/backend/reg_alloc/proofs
Mar 23 08:56:19 Finished compiler/backend/reg_alloc/proofs                     3m16s   1GB
Mar 23 08:56:19 Starting compiler/backend/proofs
Mar 23 09:49:27 Finished compiler/backend/proofs                              53m07s  21GB
Mar 23 09:49:27 Starting compiler/encoders/x64/proofs
Mar 23 09:58:55 Finished compiler/encoders/x64/proofs                          9m27s   4GB
Mar 23 09:58:55 Starting compiler/encoders/arm7/proofs
Mar 23 10:11:42 Finished compiler/encoders/arm7/proofs                        12m47s   6GB
Mar 23 10:11:42 Starting compiler/encoders/arm8/proofs
Mar 23 10:18:00 Finished compiler/encoders/arm8/proofs                         6m17s   4GB
Mar 23 10:18:00 Starting compiler/encoders/mips/proofs
Mar 23 10:27:35 Finished compiler/encoders/mips/proofs                         9m35s   3GB
Mar 23 10:27:35 Starting compiler/encoders/riscv/proofs
Mar 23 10:35:48 Finished compiler/encoders/riscv/proofs                        8m12s   3GB
Mar 23 10:35:48 Starting compiler/encoders/ag32/proofs
Mar 23 10:38:10 Finished compiler/encoders/ag32/proofs                         2m22s   1GB
Mar 23 10:38:11 Starting compiler/backend/x64/proofs
Mar 23 10:38:32 Finished compiler/backend/x64/proofs                             20s   2GB
Mar 23 10:38:32 Starting compiler/backend/arm7/proofs
Mar 23 10:38:55 Finished compiler/backend/arm7/proofs                            22s   1GB
Mar 23 10:38:55 Starting compiler/backend/arm8/proofs
Mar 23 10:39:16 Finished compiler/backend/arm8/proofs                            20s   1GB
Mar 23 10:39:16 Starting compiler/backend/mips/proofs
Mar 23 10:39:37 Finished compiler/backend/mips/proofs                            21s   1GB
Mar 23 10:39:37 Starting compiler/backend/riscv/proofs
Mar 23 10:40:01 Finished compiler/backend/riscv/proofs                           22s   2GB
Mar 23 10:40:01 Starting compiler/backend/ag32/proofs
Mar 23 10:51:54 Finished compiler/backend/ag32/proofs                         11m52s   5GB
Mar 23 10:51:54 Starting compiler/proofs
Mar 23 10:53:34 Finished compiler/proofs                                       1m40s   6GB
Mar 23 10:53:34 Starting candle/set-theory
Mar 23 10:54:03 Finished candle/set-theory                                       28s 882MB
Mar 23 10:54:04 Starting candle/syntax-lib
Mar 23 10:54:15 Finished candle/syntax-lib                                       11s 826MB
Mar 23 10:54:15 Starting candle/standard/syntax
Mar 23 10:56:04 Finished candle/standard/syntax                                1m49s   1GB
Mar 23 10:56:05 Starting candle/standard/semantics
Mar 23 10:57:49 Finished candle/standard/semantics                             1m44s   2GB
Mar 23 10:57:49 Starting candle/standard/monadic
Mar 23 10:59:32 Finished candle/standard/monadic                               1m42s   1GB
Mar 23 10:59:32 Starting candle/standard/ml_kernel
Mar 23 11:04:43 Finished candle/standard/ml_kernel                             5m10s   5GB
Mar 23 11:04:43 Starting candle/overloading/syntax
Mar 23 11:07:55 Finished candle/overloading/syntax                             3m11s   1GB
Mar 23 11:07:55 Starting candle/overloading/semantics
Mar 23 11:20:01 Finished candle/overloading/semantics                         12m05s   9GB
Mar 23 11:20:01 Starting characteristic/examples
Mar 23 11:21:18 Finished characteristic/examples                               1m16s   4GB
Mar 23 11:21:19 Starting tutorial/solutions
Mar 23 11:36:11 Finished tutorial/solutions                                   14m51s  11GB
Mar 23 11:36:11 Starting translator/monadic/examples
Mar 23 11:39:31 Finished translator/monadic/examples                           3m19s   4GB
Mar 23 11:39:31 Starting examples
Mar 23 11:48:00 Finished examples                                              8m29s   6GB
Mar 23 11:48:01 Starting examples/compilation/x64
Mar 23 14:07:30 Finished examples/compilation/x64                           2h19m28s  25GB
Mar 23 14:07:30 Starting examples/compilation/x64/proofs
Mar 23 14:09:21 Finished examples/compilation/x64/proofs                       1m50s   3GB
Mar 23 14:09:21 Starting examples/compilation/ag32
Mar 23 14:42:18 Finished examples/compilation/ag32                            32m56s  12GB
Mar 23 14:42:18 Starting examples/compilation/ag32/proofs
Mar 23 14:43:11 Finished examples/compilation/ag32/proofs                        53s   4GB
Mar 23 14:43:12 Starting examples/cost
Mar 23 15:36:39 Finished examples/cost                                        53m23s  16GB
Mar 23 15:36:39 Starting examples/lpr_checker
Mar 23 15:40:22 Finished examples/lpr_checker                                  3m43s   3GB
Mar 23 15:40:23 Starting examples/lpr_checker/compilation
Mar 23 15:58:28 Finished examples/lpr_checker/compilation                     18m05s  11GB
Mar 23 15:58:29 Starting examples/lpr_checker/compilation/proofs
Mar 23 15:59:11 Finished examples/lpr_checker/compilation/proofs                 41s   3GB
Mar 23 15:59:11 Starting examples/lpr_checker/array
Mar 23 16:12:56 Finished examples/lpr_checker/array                           13m45s   6GB
Mar 23 16:12:56 Starting examples/lpr_checker/array/compilation
Mar 23 16:32:20 Finished examples/lpr_checker/array/compilation               19m23s  18GB
Mar 23 16:32:20 Starting examples/lpr_checker/array/compilation/proofs
Mar 23 16:33:11 Finished examples/lpr_checker/array/compilation/proofs           50s   4GB
Mar 23 16:33:11 Starting examples/opentheory
Mar 23 16:42:14 Finished examples/opentheory                                   9m02s   6GB
Mar 23 16:42:14 Starting examples/opentheory
Mar 23 16:42:15 Finished examples/opentheory                                      0s 100MB
Mar 23 16:42:15 Starting examples/opentheory/compilation
Mar 23 17:15:02 Finished examples/opentheory/compilation                      32m47s  20GB
Mar 23 17:15:02 Starting examples/opentheory/compilation/proofs
Mar 23 17:15:45 Finished examples/opentheory/compilation/proofs                  42s   4GB
Mar 23 17:15:45 Starting examples/opentheory/compilation/ag32
Mar 23 17:48:06 Finished examples/opentheory/compilation/ag32                 32m21s  24GB
Mar 23 17:48:07 Starting examples/opentheory/compilation/ag32/proofs
Mar 23 17:49:43 Finished examples/opentheory/compilation/ag32/proofs           1m35s   8GB
Mar 23 17:49:43 Starting translator/okasaki-examples
Mar 23 17:53:52 Finished translator/okasaki-examples                           4m08s   2GB
Mar 23 17:53:52 Starting translator/other-examples
Mar 23 17:55:52 Finished translator/other-examples                             1m59s   2GB
Mar 23 17:55:52 Starting compiler/parsing/tests
Mar 23 17:56:16 Finished compiler/parsing/tests                                  23s 659MB
Mar 23 17:56:16 Starting compiler/inference/tests
Mar 23 18:03:20 Finished compiler/inference/tests                              7m04s   6GB
Mar 23 18:03:20 Starting compiler/bootstrap/translation
Mar 23 20:27:44 Finished compiler/bootstrap/translation                     2h24m23s  55GB
Mar 23 20:27:44 Starting unverified/sexpr-bootstrap/x64/64
Mar 23 20:39:56 Finished unverified/sexpr-bootstrap/x64/64                    12m07s   8GB
Mar 23 20:39:56 Starting unverified/sexpr-bootstrap/x64/32
Mar 23 20:50:28 Finished unverified/sexpr-bootstrap/x64/32                    10m27s   8GB
Mar 23 20:50:28 Starting compiler/benchmarks
Mar 23 21:28:12 Finished compiler/benchmarks                                  37m43s   2GB
Mar 23 21:28:12 Starting compiler/bootstrap/compilation/x64/64
Mar 24 13:41:50 Finished compiler/bootstrap/compilation/x64/64             16h13m34s  64GB
Mar 24 13:41:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 24 13:44:03 Finished compiler/bootstrap/compilation/x64/64/proofs          2m13s  15GB
Mar 24 13:44:04 Starting compiler/bootstrap/compilation/x64/32
Mar 25 04:02:52 Finished compiler/bootstrap/compilation/x64/32             14h18m45s  64GB
Mar 25 04:02:52 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 25 04:05:02 Finished compiler/bootstrap/compilation/x64/32/proofs          2m09s  18GB
Mar 25 04:05:02 Starting compiler/bootstrap/compilation/ag32/32
Mar 25 19:17:43 Finished compiler/bootstrap/compilation/ag32/32            15h12m40s  64GB
Mar 25 19:17:43 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 25 19:27:12 Finished compiler/bootstrap/compilation/ag32/32/proofs         9m28s  56GB
Mar 25 19:27:12 SUCCESS