Job 443

CakeML:aaf2ed85060093cef59942b039fb2a53841b0c95
  Merge pull request #513 from CakeML/cf-ffidiv [Aug 22 05:07:53]
HOL:86ff704677ae31e64e05944c653f5f95e62afa1a
  Use UTF8 functions for fiddling with strings in testutil output [Aug 21 07:18:54]
Machine:oven1 4.15.9-300.fc27.x86_64 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

Aug 22 05:34:08 Claimed job
Aug 22 05:34:44 Building HOL
Aug 22 05:43:30 Starting developers/bin
Aug 22 05:44:07 Finished developers/bin                                          36s 911MB
Aug 22 05:44:08 Starting semantics/ffi
Aug 22 08:45:54 Resuming semantics/ffi
Aug 22 08:46:12 Finished semantics/ffi                                           17s 273MB
Aug 22 08:46:13 Starting semantics
Aug 22 08:47:39 Finished semantics                                             1m25s   1GB
Aug 22 08:47:40 Starting semantics/proofs
Aug 22 08:50:22 Finished semantics/proofs                                      2m41s   1GB
Aug 22 08:50:23 Starting basis/pure
Aug 22 08:53:54 Finished basis/pure                                            3m30s 650MB
Aug 22 08:53:55 Starting translator
Aug 22 08:55:29 Finished translator                                            1m33s 811MB
Aug 22 08:55:30 Starting compiler/parsing
Aug 22 08:57:04 Finished compiler/parsing                                      1m33s   2GB
Aug 22 08:57:04 Starting characteristic
Aug 22 08:59:34 Finished characteristic                                        2m28s   2GB
Aug 22 08:59:34 Starting translator/monadic
Aug 22 09:01:02 Finished translator/monadic                                    1m26s   1GB
Aug 22 09:01:02 Starting basis
Aug 22 09:17:26 Finished basis                                                16m22s   3GB
Aug 22 09:17:26 Starting compiler/inference
Aug 22 09:19:08 Finished compiler/inference                                    1m41s   1GB
Aug 22 09:19:09 Starting compiler/backend/reg_alloc
Aug 22 09:19:42 Finished compiler/backend/reg_alloc                              32s   1GB
Aug 22 09:19:43 Starting compiler/backend/gc
Aug 22 09:28:25 Finished compiler/backend/gc                                   8m42s   3GB
Aug 22 09:28:26 Starting compiler/backend
Aug 22 09:28:30 Finished compiler/backend                                         2s  19MB
Aug 22 09:28:30 Starting compiler/encoders/asm
Aug 22 09:28:32 Finished compiler/encoders/asm                                    1s  13MB
Aug 22 09:28:33 Starting compiler/encoders/x64
Aug 22 09:29:25 Finished compiler/encoders/x64                                   51s 618MB
Aug 22 09:29:26 Starting compiler/encoders/arm6
Aug 22 09:31:10 Finished compiler/encoders/arm6                                1m43s   1GB
Aug 22 09:31:11 Starting compiler/encoders/arm8
Aug 22 09:31:37 Finished compiler/encoders/arm8                                  25s 525MB
Aug 22 09:31:38 Starting compiler/encoders/mips
Aug 22 09:32:36 Finished compiler/encoders/mips                                  57s 834MB
Aug 22 09:32:37 Starting compiler/encoders/riscv
Aug 22 09:33:38 Finished compiler/encoders/riscv                               1m00s 791MB
Aug 22 09:33:39 Starting compiler/backend/x64
Aug 22 09:33:58 Finished compiler/backend/x64                                    18s 874MB
Aug 22 09:33:58 Starting compiler/backend/arm6
Aug 22 09:34:17 Finished compiler/backend/arm6                                   18s   1GB
Aug 22 09:34:18 Starting compiler/backend/arm8
Aug 22 09:34:36 Finished compiler/backend/arm8                                   18s   1GB
Aug 22 09:34:37 Starting compiler/backend/mips
Aug 22 09:34:57 Finished compiler/backend/mips                                   19s   1GB
Aug 22 09:34:58 Starting compiler/backend/riscv
Aug 22 09:35:17 Finished compiler/backend/riscv                                  18s   1GB
Aug 22 09:35:18 Starting compiler/parsing/proofs
Aug 22 09:41:24 Finished compiler/parsing/proofs                               6m05s 798MB
Aug 22 09:41:24 Starting compiler/inference/proofs
Aug 22 09:44:14 Finished compiler/inference/proofs                             2m48s   1GB
Aug 22 09:44:14 Starting compiler/backend/semantics
Aug 22 09:53:07 Finished compiler/backend/semantics                            8m52s   1GB
Aug 22 09:53:08 Starting compiler/backend/reg_alloc/proofs
Aug 22 09:53:56 Finished compiler/backend/reg_alloc/proofs                       47s 564MB
Aug 22 09:53:56 Starting compiler/backend/proofs
Aug 22 10:29:05 Finished compiler/backend/proofs                              35m07s   4GB
Aug 22 10:29:06 Starting compiler/encoders/x64/proofs
Aug 22 10:36:18 Finished compiler/encoders/x64/proofs                          7m11s   5GB
Aug 22 10:36:19 Starting compiler/encoders/arm6/proofs
Aug 22 10:43:48 Finished compiler/encoders/arm6/proofs                         7m28s   3GB
Aug 22 10:43:48 Starting compiler/encoders/arm8/proofs
Aug 22 10:49:01 Finished compiler/encoders/arm8/proofs                         5m12s   1GB
Aug 22 10:49:02 Starting compiler/encoders/mips/proofs
Aug 22 10:56:17 Finished compiler/encoders/mips/proofs                         7m14s   2GB
Aug 22 10:56:17 Starting compiler/encoders/riscv/proofs
Aug 22 21:10:00 Resuming compiler/encoders/riscv/proofs
Aug 22 21:10:03 Finished compiler/encoders/riscv/proofs                           1s  14MB
Aug 22 21:10:03 Starting compiler/backend/x64/proofs
Aug 22 21:10:23 Finished compiler/backend/x64/proofs                             19s 766MB
Aug 22 21:10:24 Starting compiler/backend/arm6/proofs
Aug 22 21:10:47 Finished compiler/backend/arm6/proofs                            22s 984MB
Aug 22 21:10:47 Starting compiler/backend/arm8/proofs
Aug 22 21:11:07 Finished compiler/backend/arm8/proofs                            19s   1GB
Aug 22 21:11:08 Starting compiler/backend/mips/proofs
Aug 22 21:11:30 Finished compiler/backend/mips/proofs                            21s   1GB
Aug 22 21:11:31 Starting compiler/backend/riscv/proofs
Aug 22 21:11:51 Finished compiler/backend/riscv/proofs                           19s   1GB
Aug 22 21:11:52 Starting compiler/proofs
Aug 22 21:13:09 Finished compiler/proofs                                       1m17s   2GB
Aug 22 21:13:10 Starting candle/set-theory
Aug 22 21:13:41 Finished candle/set-theory                                       30s 576MB
Aug 22 21:13:42 Starting candle/syntax-lib
Aug 22 21:13:53 Finished candle/syntax-lib                                       10s 645MB
Aug 22 21:13:54 Starting candle/standard/syntax
Aug 22 21:15:27 Finished candle/standard/syntax                                1m32s 635MB
Aug 22 21:15:28 Starting candle/standard/semantics
Aug 22 21:16:48 Finished candle/standard/semantics                             1m19s 819MB
Aug 22 21:16:48 Starting candle/standard/monadic
Aug 22 21:18:15 Finished candle/standard/monadic                               1m26s 986MB
Aug 22 21:18:16 Starting candle/standard/ml_kernel
Aug 22 21:21:45 Finished candle/standard/ml_kernel                             3m28s   2GB
Aug 22 21:21:45 Starting candle/standard/opentheory
Aug 22 21:22:01 Finished candle/standard/opentheory                              14s 722MB
Aug 22 21:22:01 Starting characteristic/examples
Aug 22 21:23:37 Finished characteristic/examples                               1m35s   1GB
Aug 22 21:23:38 Starting tutorial/solutions
Aug 22 21:36:58 Finished tutorial/solutions                                   13m19s   6GB
Aug 22 21:36:59 Starting translator/monadic/examples
Aug 22 21:38:44 Finished translator/monadic/examples                           1m44s   2GB
Aug 22 21:38:45 Starting examples
Aug 22 21:44:20 Finished examples                                              5m34s   4GB
Aug 22 21:44:20 Starting examples/compilation
Aug 22 23:37:18 Finished examples/compilation                               1h52m56s  12GB
Aug 22 23:37:19 Starting examples/compilation/proofs
Aug 22 23:39:12 Finished examples/compilation/proofs                           1m52s   3GB
Aug 22 23:39:12 Starting compiler/benchmarks
Aug 22 23:39:14 Finished compiler/benchmarks                                      0s   4MB
Aug 22 23:39:14 Starting translator/okasaki-examples
Aug 22 23:42:44 Finished translator/okasaki-examples                           3m28s   1GB
Aug 22 23:42:44 Starting translator/other-examples
Aug 22 23:46:16 Finished translator/other-examples                             3m31s   1GB
Aug 22 23:46:17 Starting compiler/parsing/tests
Aug 22 23:46:42 Finished compiler/parsing/tests                                  24s 353MB
Aug 22 23:46:43 Starting compiler/inference/tests
Aug 22 23:50:45 Finished compiler/inference/tests                              4m01s   6GB
Aug 22 23:50:46 Starting compiler/bootstrap/translation
Aug 23 05:59:24 Finished compiler/bootstrap/translation                     6h08m37s  54GB
Aug 23 05:59:25 Starting unverified/sexpr-bootstrap/x64/64
Aug 23 06:06:39 Finished unverified/sexpr-bootstrap/x64/64                     7m12s  10GB
Aug 23 06:06:40 Starting unverified/sexpr-bootstrap/x64/32
Aug 23 06:11:30 Finished unverified/sexpr-bootstrap/x64/32                     4m48s  12GB
Aug 23 06:11:31 Starting compiler/bootstrap/compilation/x64/64
Aug 23 21:07:05 Finished compiler/bootstrap/compilation/x64/64             14h55m32s  64GB
Aug 23 21:07:05 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 23 21:10:38 Finished compiler/bootstrap/compilation/x64/64/proofs          3m31s  22GB
Aug 23 21:10:38 Starting compiler/bootstrap/compilation/x64/32
Aug 24 07:39:33 Finished compiler/bootstrap/compilation/x64/32             10h28m52s  64GB
Aug 24 07:39:33 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 24 07:43:03 Finished compiler/bootstrap/compilation/x64/32/proofs          3m28s  22GB
Aug 24 07:43:03 SUCCESS