Job 353

CakeML:b289303609aa9526ba291ecba92f558f8f506000
  Replace polyc call with $(POLYC) [Jun 19 11:03:42]
HOL:7ed3f12092db2062b6fccb60e9735143ecd5c7e5
  Merge branch 'master' of https://github.com/HOL-Theorem-Prover/HOL [Jul 06 16:56:51]
Machine:cakeml1797 4.4.0-22-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

Jul 07 01:23:52 Claimed job
Jul 07 01:24:04 Building HOL
Jul 07 01:36:38 Starting developers/bin
Jul 07 01:36:49 Finished developers/bin                                           8s 224MB
Jul 07 01:36:51 Starting semantics/ffi
Jul 07 01:37:52 Finished semantics/ffi                                           59s 545MB
Jul 07 01:37:55 Starting semantics
Jul 07 01:40:21 Finished semantics                                             2m24s   1GB
Jul 07 01:40:23 Starting semantics/proofs
Jul 07 01:43:31 Finished semantics/proofs                                      3m06s   1GB
Jul 07 01:43:33 Starting basis/pure
Jul 07 01:49:18 Finished basis/pure                                            5m42s 574MB
Jul 07 01:49:20 Starting translator
Jul 07 01:55:52 Finished translator                                            6m30s   1GB
Jul 07 01:55:54 Starting compiler/parsing
Jul 07 01:58:03 Finished compiler/parsing                                      2m06s   2GB
Jul 07 01:58:05 Starting characteristic
Jul 07 02:02:29 Finished characteristic                                        4m21s   1GB
Jul 07 02:02:31 Starting basis
Jul 07 02:31:01 Finished basis                                                28m27s   2GB
Jul 07 02:31:03 Starting translator/monadic
Jul 07 02:31:07 Finished translator/monadic                                       1s  18MB
Jul 07 02:31:09 Starting compiler/inference
Jul 07 02:33:50 Finished compiler/inference                                    2m38s   1GB
Jul 07 02:33:52 Starting compiler/backend/reg_alloc
Jul 07 02:34:50 Finished compiler/backend/reg_alloc                              56s   1GB
Jul 07 02:34:52 Starting compiler/backend/gc
Jul 07 02:50:03 Finished compiler/backend/gc                                  15m09s   3GB
Jul 07 02:50:05 Starting compiler/backend
Jul 07 02:50:11 Finished compiler/backend                                         3s  17MB
Jul 07 02:50:13 Starting compiler/encoders/asm
Jul 07 02:50:15 Finished compiler/encoders/asm                                    0s  11MB
Jul 07 02:50:17 Starting compiler/encoders/x64
Jul 07 02:51:45 Finished compiler/encoders/x64                                 1m25s 623MB
Jul 07 02:51:47 Starting compiler/encoders/arm6
Jul 07 02:54:44 Finished compiler/encoders/arm6                                2m55s   1GB
Jul 07 02:54:46 Starting compiler/encoders/arm8
Jul 07 02:55:29 Finished compiler/encoders/arm8                                  41s 374MB
Jul 07 02:55:31 Starting compiler/encoders/mips
Jul 07 02:57:05 Finished compiler/encoders/mips                                1m31s 686MB
Jul 07 02:57:07 Starting compiler/encoders/riscv
Jul 07 02:58:40 Finished compiler/encoders/riscv                               1m31s 708MB
Jul 07 02:58:42 Starting compiler/backend/x64
Jul 07 02:59:14 Finished compiler/backend/x64                                    30s   1GB
Jul 07 02:59:16 Starting compiler/backend/arm6
Jul 07 02:59:52 Finished compiler/backend/arm6                                   34s   1GB
Jul 07 02:59:54 Starting compiler/backend/arm8
Jul 07 03:00:29 Finished compiler/backend/arm8                                   32s   1GB
Jul 07 03:00:31 Starting compiler/backend/mips
Jul 07 03:01:05 Finished compiler/backend/mips                                   31s 826MB
Jul 07 03:01:07 Starting compiler/backend/riscv
Jul 07 03:01:41 Finished compiler/backend/riscv                                  32s   1GB
Jul 07 03:01:43 Starting compiler/parsing/proofs
Jul 07 03:05:37 Finished compiler/parsing/proofs                               3m52s   1GB
Jul 07 03:05:39 Starting compiler/inference/proofs
Jul 07 03:09:33 Finished compiler/inference/proofs                             3m52s   1GB
Jul 07 03:09:35 Starting compiler/backend/semantics
Jul 07 03:27:48 Finished compiler/backend/semantics                           18m10s   2GB
Jul 07 03:27:50 Starting compiler/backend/reg_alloc/proofs
Jul 07 03:29:14 Finished compiler/backend/reg_alloc/proofs                     1m22s 476MB
Jul 07 03:29:16 Starting compiler/backend/proofs
Jul 07 04:24:19 Finished compiler/backend/proofs                              55m00s   3GB
Jul 07 04:24:21 Starting compiler/encoders/x64/proofs
Jul 07 04:35:50 Finished compiler/encoders/x64/proofs                         11m26s   1GB
Jul 07 04:35:52 Starting compiler/encoders/arm6/proofs
Jul 07 04:47:59 Finished compiler/encoders/arm6/proofs                        12m05s   3GB
Jul 07 04:48:01 Starting compiler/encoders/arm8/proofs
Jul 07 04:56:21 Finished compiler/encoders/arm8/proofs                         8m17s   1GB
Jul 07 04:56:23 Starting compiler/encoders/mips/proofs
Jul 07 05:07:38 Finished compiler/encoders/mips/proofs                        11m13s   2GB
Jul 07 05:07:40 Starting compiler/encoders/riscv/proofs
Jul 07 05:20:12 Finished compiler/encoders/riscv/proofs                       12m29s   1GB
Jul 07 05:20:13 Starting compiler/backend/x64/proofs
Jul 07 05:20:49 Finished compiler/backend/x64/proofs                             33s   1GB
Jul 07 05:20:51 Starting compiler/backend/arm6/proofs
Jul 07 05:21:29 Finished compiler/backend/arm6/proofs                            36s   1GB
Jul 07 05:21:31 Starting compiler/backend/arm8/proofs
Jul 07 05:22:07 Finished compiler/backend/arm8/proofs                            34s   1GB
Jul 07 05:22:09 Starting compiler/backend/mips/proofs
Jul 07 05:22:48 Finished compiler/backend/mips/proofs                            36s   1GB
Jul 07 05:22:50 Starting compiler/backend/riscv/proofs
Jul 07 05:23:27 Finished compiler/backend/riscv/proofs                           34s   1GB
Jul 07 05:23:29 Starting compiler/proofs
Jul 07 05:25:50 Finished compiler/proofs                                       2m18s   2GB
Jul 07 05:25:52 Starting candle/set-theory
Jul 07 05:26:47 Finished candle/set-theory                                       53s 706MB
Jul 07 05:26:49 Starting candle/syntax-lib
Jul 07 05:27:08 Finished candle/syntax-lib                                       17s 581MB
Jul 07 05:27:10 Starting candle/standard/syntax
Jul 07 05:29:53 Finished candle/standard/syntax                                2m41s 541MB
Jul 07 05:29:55 Starting candle/standard/semantics
Jul 07 05:32:09 Finished candle/standard/semantics                             2m11s 969MB
Jul 07 05:32:11 Starting candle/standard/monadic
Jul 07 05:34:33 Finished candle/standard/monadic                               2m19s 943MB
Jul 07 05:34:35 Starting candle/standard/ml_kernel
Jul 07 05:44:48 Finished candle/standard/ml_kernel                            10m11s   2GB
Jul 07 05:44:50 Starting candle/standard/opentheory
Jul 07 05:45:16 Finished candle/standard/opentheory                              24s 639MB
Jul 07 05:45:18 Starting characteristic/examples
Jul 07 05:47:45 Finished characteristic/examples                               2m23s   1GB
Jul 07 05:47:48 Starting tutorial/solutions
Jul 07 06:22:59 Finished tutorial/solutions                                   35m09s  11GB
Jul 07 06:23:01 Starting translator/monadic/examples
Jul 07 06:25:56 Finished translator/monadic/examples                           2m52s   3GB
Jul 07 06:25:58 Starting examples
Jul 07 06:34:06 Finished examples                                              8m06s   2GB
Jul 07 06:34:09 Starting examples/compilation
Jul 07 12:16:28 Finished examples/compilation                               5h42m17s  22GB
Jul 07 12:16:30 Starting examples/compilation/proofs
Jul 07 12:21:49 Finished examples/compilation/proofs                           5m17s   4GB
Jul 07 12:21:51 Starting compiler/benchmarks
Jul 07 12:21:53 Finished compiler/benchmarks                                      0s   4MB
Jul 07 12:21:55 Starting translator/okasaki-examples
Jul 07 12:28:32 Finished translator/okasaki-examples                           6m35s   1GB
Jul 07 12:28:34 Starting translator/other-examples
Jul 07 12:35:16 Finished translator/other-examples                             6m40s 757MB
Jul 07 12:35:18 Starting compiler/parsing/tests
Jul 07 12:35:59 Finished compiler/parsing/tests                                  38s 336MB
Jul 07 12:36:01 Starting compiler/bootstrap/translation
Jul 07 20:46:16 Finished compiler/bootstrap/translation                     8h10m12s  43GB
Jul 07 20:46:18 Starting unverified/sexpr-bootstrap/x64/64
Jul 07 20:57:35 Finished unverified/sexpr-bootstrap/x64/64                    11m10s  17GB
Jul 07 20:57:37 Starting unverified/sexpr-bootstrap/x64/32
Jul 07 21:06:32 Finished unverified/sexpr-bootstrap/x64/32                     8m47s  13GB
Jul 07 21:06:34 Starting compiler/bootstrap/compilation/x64/64
Jul 08 23:49:39 Finished compiler/bootstrap/compilation/x64/64             26h42m56s  95GB
Jul 08 23:49:41 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 08 23:55:45 Finished compiler/bootstrap/compilation/x64/64/proofs          6m02s  25GB
Jul 08 23:55:47 Starting compiler/bootstrap/compilation/x64/32
Jul 10 00:49:28 Finished compiler/bootstrap/compilation/x64/32             24h53m33s  88GB
Jul 10 00:49:30 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 10 00:53:18 Finished compiler/bootstrap/compilation/x64/32/proofs          3m45s  30GB
Jul 10 00:53:20 SUCCESS