Job 753

CakeML:2d7716e211a3e687d5ba9f237de202f78cbc253b
  Merge pull request #619 from CakeML/reader-jlamp [Mar 05 06:58:18]
HOL:d7a1d85aee98ac0f553e2279c520a5bdaf1c90d0
  Merge pull request #675 from hrutvik/type-unify [Mar 11 23:07:55]
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 16 06:42:25 Claimed job
Mar 16 06:42:32 Building HOL
Mar 16 06:50:19 Starting developers
Mar 16 06:50:20 Finished developers                                               0s  30MB
Mar 16 06:50:21 Starting developers/bin
Mar 16 06:50:51 Finished developers/bin                                          28s 142MB
Mar 16 06:50:51 Starting semantics/ffi
Mar 16 06:51:25 Finished semantics/ffi                                           32s 501MB
Mar 16 06:51:26 Starting semantics
Mar 16 06:52:57 Finished semantics                                             1m30s   1GB
Mar 16 06:52:58 Starting semantics/proofs
Mar 16 06:55:51 Finished semantics/proofs                                      2m51s   1GB
Mar 16 06:55:52 Starting basis/pure
Mar 16 06:59:21 Finished basis/pure                                            3m28s 680MB
Mar 16 06:59:21 Starting translator
Mar 16 07:00:59 Finished translator                                            1m36s   1GB
Mar 16 07:00:59 Starting compiler/parsing
Mar 16 07:01:56 Finished compiler/parsing                                        56s   1GB
Mar 16 07:01:57 Starting characteristic
Mar 16 07:06:06 Finished characteristic                                        4m07s   1GB
Mar 16 07:06:06 Starting translator/monadic
Mar 16 07:07:29 Finished translator/monadic                                    1m22s   1GB
Mar 16 07:07:30 Starting basis
Mar 16 07:23:56 Finished basis                                                16m24s   2GB
Mar 16 07:23:56 Starting compiler/inference
Mar 16 07:25:43 Finished compiler/inference                                    1m45s   1GB
Mar 16 07:25:43 Starting compiler/backend/reg_alloc
Mar 16 07:26:34 Finished compiler/backend/reg_alloc                              50s   1GB
Mar 16 07:26:35 Starting compiler/backend/gc
Mar 16 07:35:20 Finished compiler/backend/gc                                   8m43s   1GB
Mar 16 07:35:20 Starting compiler/backend
Mar 16 07:35:22 Finished compiler/backend                                         0s  42MB
Mar 16 07:35:22 Starting compiler/encoders/asm
Mar 16 07:35:23 Finished compiler/encoders/asm                                    0s  32MB
Mar 16 07:35:24 Starting compiler/encoders/x64
Mar 16 07:36:19 Finished compiler/encoders/x64                                   54s 916MB
Mar 16 07:36:20 Starting compiler/encoders/arm6
Mar 16 07:37:52 Finished compiler/encoders/arm6                                1m31s   1GB
Mar 16 07:37:53 Starting compiler/encoders/arm8
Mar 16 07:38:21 Finished compiler/encoders/arm8                                  27s 881MB
Mar 16 07:38:22 Starting compiler/encoders/mips
Mar 16 07:39:23 Finished compiler/encoders/mips                                  59s   1GB
Mar 16 07:39:23 Starting compiler/encoders/riscv
Mar 16 07:40:27 Finished compiler/encoders/riscv                               1m03s 969MB
Mar 16 07:40:28 Starting compiler/encoders/ag32
Mar 16 07:40:43 Finished compiler/encoders/ag32                                  14s 619MB
Mar 16 07:40:44 Starting compiler/backend/x64
Mar 16 07:40:59 Finished compiler/backend/x64                                    14s 768MB
Mar 16 07:41:00 Starting compiler/backend/arm6
Mar 16 07:41:18 Finished compiler/backend/arm6                                   16s   1GB
Mar 16 07:41:18 Starting compiler/backend/arm8
Mar 16 07:41:35 Finished compiler/backend/arm8                                   15s   1GB
Mar 16 07:41:35 Starting compiler/backend/mips
Mar 16 07:41:51 Finished compiler/backend/mips                                   14s 883MB
Mar 16 07:41:51 Starting compiler/backend/riscv
Mar 16 07:42:07 Finished compiler/backend/riscv                                  15s   1GB
Mar 16 07:42:08 Starting compiler/backend/ag32
Mar 16 07:43:14 Finished compiler/backend/ag32                                 1m05s 976MB
Mar 16 07:43:15 Starting compiler/parsing/proofs
Mar 16 07:48:46 Finished compiler/parsing/proofs                               5m30s 838MB
Mar 16 07:48:47 Starting compiler/inference/proofs
Mar 16 07:51:25 Finished compiler/inference/proofs                             2m37s 998MB
Mar 16 07:51:25 Starting compiler/backend/semantics
Mar 16 07:58:19 Finished compiler/backend/semantics                            6m52s   1GB
Mar 16 07:58:20 Starting compiler/backend/reg_alloc/proofs
Mar 16 08:00:59 Finished compiler/backend/reg_alloc/proofs                     2m38s   1GB
Mar 16 08:00:59 Starting compiler/backend/proofs
Mar 16 08:38:15 Finished compiler/backend/proofs                              37m14s   3GB
Mar 16 08:38:15 Starting compiler/encoders/x64/proofs
Mar 16 08:48:13 Finished compiler/encoders/x64/proofs                          9m56s   4GB
Mar 16 08:48:13 Starting compiler/encoders/arm6/proofs
Mar 16 09:01:48 Finished compiler/encoders/arm6/proofs                        13m33s   3GB
Mar 16 09:01:49 Starting compiler/encoders/arm8/proofs
Mar 16 09:07:31 Finished compiler/encoders/arm8/proofs                         5m41s   1GB
Mar 16 09:07:31 Starting compiler/encoders/mips/proofs
Mar 16 09:17:28 Finished compiler/encoders/mips/proofs                         9m55s   2GB
Mar 16 09:17:29 Starting compiler/encoders/riscv/proofs
Mar 16 09:25:06 Finished compiler/encoders/riscv/proofs                        7m36s 999MB
Mar 16 09:25:07 Starting compiler/encoders/ag32/proofs
Mar 16 09:27:34 Finished compiler/encoders/ag32/proofs                         2m26s 914MB
Mar 16 09:27:35 Starting compiler/backend/x64/proofs
Mar 16 09:27:52 Finished compiler/backend/x64/proofs                             15s   1GB
Mar 16 09:27:52 Starting compiler/backend/arm6/proofs
Mar 16 09:28:12 Finished compiler/backend/arm6/proofs                            18s   1GB
Mar 16 09:28:12 Starting compiler/backend/arm8/proofs
Mar 16 09:28:29 Finished compiler/backend/arm8/proofs                            15s   1GB
Mar 16 09:28:30 Starting compiler/backend/mips/proofs
Mar 16 09:28:46 Finished compiler/backend/mips/proofs                            15s   1GB
Mar 16 09:28:47 Starting compiler/backend/riscv/proofs
Mar 16 09:29:04 Finished compiler/backend/riscv/proofs                           16s   1GB
Mar 16 09:29:05 Starting compiler/backend/ag32/proofs
Mar 16 09:38:00 Finished compiler/backend/ag32/proofs                          8m54s   2GB
Mar 16 09:38:00 Starting compiler/proofs
Mar 16 09:39:34 Finished compiler/proofs                                       1m32s   2GB
Mar 16 09:39:35 Starting candle/set-theory
Mar 16 09:40:00 Finished candle/set-theory                                       24s 677MB
Mar 16 09:40:01 Starting candle/syntax-lib
Mar 16 09:40:11 Finished candle/syntax-lib                                        8s 645MB
Mar 16 09:40:11 Starting candle/standard/syntax
Mar 16 09:41:53 Finished candle/standard/syntax                                1m40s 980MB
Mar 16 09:41:53 Starting candle/standard/semantics
Mar 16 09:43:27 Finished candle/standard/semantics                             1m33s   1GB
Mar 16 09:43:28 Starting candle/standard/monadic
Mar 16 09:45:01 Finished candle/standard/monadic                               1m31s   1GB
Mar 16 09:45:01 Starting candle/standard/ml_kernel
Mar 16 09:48:37 Finished candle/standard/ml_kernel                             3m34s   6GB
Mar 16 09:48:38 Starting candle/standard/opentheory
Mar 16 09:57:01 Finished candle/standard/opentheory                            8m22s   3GB
Mar 16 09:57:02 Starting candle/standard/opentheory/compilation
Mar 16 10:26:37 Finished candle/standard/opentheory/compilation               29m34s  16GB
Mar 16 10:26:38 Starting candle/standard/opentheory/compilation/proofs
Mar 16 10:27:20 Finished candle/standard/opentheory/compilation/proofs           41s   2GB
Mar 16 10:27:21 Starting characteristic/examples
Mar 16 10:28:41 Finished characteristic/examples                               1m18s   2GB
Mar 16 10:28:41 Starting tutorial/solutions
Mar 16 10:41:31 Finished tutorial/solutions                                   12m48s   6GB
Mar 16 10:41:31 Starting translator/monadic/examples
Mar 16 10:43:52 Finished translator/monadic/examples                           2m19s   2GB
Mar 16 10:43:53 Starting examples
Mar 16 10:51:14 Finished examples                                              7m20s   3GB
Mar 16 10:51:14 Starting examples/compilation/x64
Mar 16 12:43:57 Finished examples/compilation/x64                           1h52m42s  13GB
Mar 16 12:43:58 Starting examples/compilation/x64/proofs
Mar 16 12:45:19 Finished examples/compilation/x64/proofs                       1m19s   2GB
Mar 16 12:45:19 Starting examples/compilation/ag32
Mar 16 13:13:23 Finished examples/compilation/ag32                            28m02s   5GB
Mar 16 13:13:23 Starting examples/compilation/ag32/proofs
Mar 16 13:14:01 Finished examples/compilation/ag32/proofs                        36s   3GB
Mar 16 13:14:02 Starting translator/okasaki-examples
Mar 16 13:18:02 Finished translator/okasaki-examples                           3m59s   1GB
Mar 16 13:18:03 Starting translator/other-examples
Mar 16 13:21:23 Finished translator/other-examples                             3m19s   1GB
Mar 16 13:21:24 Starting compiler/parsing/tests
Mar 16 13:21:49 Finished compiler/parsing/tests                                  24s 559MB
Mar 16 13:21:50 Starting compiler/inference/tests
Mar 16 13:25:56 Finished compiler/inference/tests                              4m05s   4GB
Mar 16 13:25:56 Starting compiler/bootstrap/translation
Mar 16 15:47:44 Finished compiler/bootstrap/translation                     2h21m46s  39GB
Mar 16 15:47:45 Starting unverified/sexpr-bootstrap/x64/64
Mar 16 15:54:49 Finished unverified/sexpr-bootstrap/x64/64                     7m02s   2GB
Mar 16 15:54:50 Starting unverified/sexpr-bootstrap/x64/32
Mar 16 15:59:32 Finished unverified/sexpr-bootstrap/x64/32                     4m40s   5GB
Mar 16 15:59:33 Starting compiler/benchmarks
Mar 16 16:37:34 Finished compiler/benchmarks                                  38m00s   2GB
Mar 16 16:37:35 Starting compiler/bootstrap/compilation/x64/64
Mar 17 02:59:23 Finished compiler/bootstrap/compilation/x64/64             10h21m45s  64GB
Mar 17 02:59:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Mar 17 03:01:48 Finished compiler/bootstrap/compilation/x64/64/proofs          2m23s  10GB
Mar 17 03:01:49 Starting compiler/bootstrap/compilation/x64/32
Mar 17 12:05:05 Finished compiler/bootstrap/compilation/x64/32              9h03m14s  64GB
Mar 17 12:05:06 Starting compiler/bootstrap/compilation/x64/32/proofs
Mar 17 12:09:12 Finished compiler/bootstrap/compilation/x64/32/proofs          4m04s   5GB
Mar 17 12:09:13 Starting compiler/bootstrap/compilation/ag32/32
Mar 17 22:01:54 Finished compiler/bootstrap/compilation/ag32/32             9h52m40s  64GB
Mar 17 22:01:55 Starting compiler/bootstrap/compilation/ag32/32/proofs
Mar 17 22:14:39 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m43s  12GB
Mar 17 22:14:40 SUCCESS