Job 321

CakeML:7f486a5f00f273d5ba21cc8ea98aaddf822ec371
  Merge pull request #488 from jonsterling/update-reg-alloc [May 17 09:56:38]
HOL:bb9eaf3448d2c44c84c5d06849d0dc73db23670c
  Add more to release notes [May 17 01:41:48]
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

May 17 11:53:05 Claimed job
May 17 11:53:20 Building HOL
May 17 12:01:32 Starting developers/bin
May 17 12:02:16 Finished developers/bin                                          43s 953MB
May 17 12:02:17 Starting semantics/ffi
May 17 12:02:56 Finished semantics/ffi                                           38s 410MB
May 17 12:02:56 Starting semantics
May 17 12:04:21 Finished semantics                                             1m24s 919MB
May 17 12:04:22 Starting semantics/proofs
May 17 12:06:10 Finished semantics/proofs                                      1m47s   1GB
May 17 12:06:11 Starting basis/pure
May 17 12:09:40 Finished basis/pure                                            3m28s 689MB
May 17 12:09:40 Starting translator
May 17 12:13:30 Finished translator                                            3m49s   1GB
May 17 12:13:31 Starting compiler/parsing
May 17 12:14:58 Finished compiler/parsing                                      1m26s   1GB
May 17 12:14:59 Starting characteristic
May 17 12:17:20 Finished characteristic                                        2m20s   1GB
May 17 12:17:21 Starting basis
May 17 12:34:05 Finished basis                                                16m43s   2GB
May 17 12:34:06 Starting translator/monadic
May 17 12:34:08 Finished translator/monadic                                       1s  13MB
May 17 12:34:09 Starting compiler/inference
May 17 12:35:44 Finished compiler/inference                                    1m34s 947MB
May 17 12:35:45 Starting compiler/backend/reg_alloc
May 17 12:36:18 Finished compiler/backend/reg_alloc                              32s 923MB
May 17 12:36:18 Starting compiler/backend/gc
May 17 12:45:05 Finished compiler/backend/gc                                   8m46s   3GB
May 17 12:45:06 Starting compiler/backend
May 17 12:45:09 Finished compiler/backend                                         2s  17MB
May 17 12:45:10 Starting compiler/encoders/asm
May 17 12:45:11 Finished compiler/encoders/asm                                    0s  15MB
May 17 12:45:12 Starting compiler/encoders/x64
May 17 12:46:03 Finished compiler/encoders/x64                                   50s 612MB
May 17 12:46:04 Starting compiler/encoders/arm6
May 17 12:47:47 Finished compiler/encoders/arm6                                1m42s   1GB
May 17 12:47:47 Starting compiler/encoders/arm8
May 17 12:48:13 Finished compiler/encoders/arm8                                  25s 508MB
May 17 12:48:14 Starting compiler/encoders/mips
May 17 12:49:11 Finished compiler/encoders/mips                                  56s 904MB
May 17 12:49:11 Starting compiler/encoders/riscv
May 17 12:50:12 Finished compiler/encoders/riscv                                 59s 672MB
May 17 12:50:12 Starting compiler/backend/x64
May 17 12:50:30 Finished compiler/backend/x64                                    17s 861MB
May 17 12:50:31 Starting compiler/backend/arm6
May 17 12:50:50 Finished compiler/backend/arm6                                   18s   1GB
May 17 12:50:51 Starting compiler/backend/arm8
May 17 12:51:10 Finished compiler/backend/arm8                                   18s   1GB
May 17 12:51:10 Starting compiler/backend/mips
May 17 12:51:30 Finished compiler/backend/mips                                   19s   1GB
May 17 12:51:31 Starting compiler/backend/riscv
May 17 12:51:51 Finished compiler/backend/riscv                                  19s   1GB
May 17 12:51:51 Starting compiler/parsing/proofs
May 17 12:57:56 Finished compiler/parsing/proofs                               6m03s 833MB
May 17 12:57:56 Starting compiler/inference/proofs
May 17 13:00:14 Finished compiler/inference/proofs                             2m16s   1GB
May 17 13:00:14 Starting compiler/backend/semantics
May 17 13:11:37 Finished compiler/backend/semantics                           11m22s   2GB
May 17 13:11:38 Starting compiler/backend/reg_alloc/proofs
May 17 13:12:26 Finished compiler/backend/reg_alloc/proofs                       47s 469MB
May 17 13:12:27 Starting compiler/backend/proofs
May 17 13:48:32 Finished compiler/backend/proofs                              36m04s   4GB
May 17 13:48:33 Starting compiler/encoders/x64/proofs
May 17 13:55:51 Finished compiler/encoders/x64/proofs                          7m16s   4GB
May 17 13:55:51 Starting compiler/encoders/arm6/proofs
May 17 14:03:26 Finished compiler/encoders/arm6/proofs                         7m34s   3GB
May 17 14:03:27 Starting compiler/encoders/arm8/proofs
May 17 14:08:48 Finished compiler/encoders/arm8/proofs                         5m20s   1GB
May 17 14:08:49 Starting compiler/encoders/mips/proofs
May 17 14:16:19 Finished compiler/encoders/mips/proofs                         7m29s   1GB
May 17 14:16:19 Starting compiler/encoders/riscv/proofs
May 17 14:24:23 Finished compiler/encoders/riscv/proofs                        8m03s 833MB
May 17 14:24:24 Starting compiler/backend/x64/proofs
May 17 14:24:45 Finished compiler/backend/x64/proofs                             20s   1GB
May 17 14:24:46 Starting compiler/backend/arm6/proofs
May 17 14:25:08 Finished compiler/backend/arm6/proofs                            21s   1GB
May 17 14:25:08 Starting compiler/backend/arm8/proofs
May 17 14:25:28 Finished compiler/backend/arm8/proofs                            18s 791MB
May 17 14:25:29 Starting compiler/backend/mips/proofs
May 17 14:25:49 Finished compiler/backend/mips/proofs                            20s 983MB
May 17 14:25:50 Starting compiler/backend/riscv/proofs
May 17 14:26:11 Finished compiler/backend/riscv/proofs                           19s   1GB
May 17 14:26:11 Starting compiler/proofs
May 17 14:27:25 Finished compiler/proofs                                       1m13s   2GB
May 17 14:27:26 Starting candle/set-theory
May 17 14:28:21 Finished candle/set-theory                                       54s 569MB
May 17 14:28:22 Starting candle/syntax-lib
May 17 14:28:33 Finished candle/syntax-lib                                        9s 578MB
May 17 14:28:33 Starting candle/standard/syntax
May 17 14:30:07 Finished candle/standard/syntax                                1m32s 647MB
May 17 14:30:07 Starting candle/standard/semantics
May 17 14:31:28 Finished candle/standard/semantics                             1m19s   1GB
May 17 14:31:28 Starting candle/standard/monadic
May 17 14:32:54 Finished candle/standard/monadic                               1m25s 939MB
May 17 14:32:55 Starting candle/standard/ml_kernel
May 17 14:39:09 Finished candle/standard/ml_kernel                             6m13s   2GB
May 17 14:39:09 Starting candle/standard/opentheory
May 17 14:39:24 Finished candle/standard/opentheory                              13s 703MB
May 17 14:39:25 Starting characteristic/examples
May 17 14:40:50 Finished characteristic/examples                               1m25s   1GB
May 17 14:40:51 Starting tutorial/solutions
May 17 15:04:16 Finished tutorial/solutions                                   23m23s  12GB
May 17 15:04:16 Starting translator/monadic/examples
May 17 15:06:05 Finished translator/monadic/examples                           1m48s   2GB
May 17 15:06:06 Starting examples
May 17 15:11:35 Finished examples                                              5m28s   1GB
May 17 15:11:36 Starting examples/compilation
May 17 19:05:32 Finished examples/compilation                               3h53m55s  16GB
May 17 19:05:33 Starting examples/compilation/proofs
May 17 19:08:29 Finished examples/compilation/proofs                           2m55s   4GB
May 17 19:08:30 Starting compiler/benchmarks
May 17 19:08:31 Finished compiler/benchmarks                                      0s   5MB
May 17 19:08:31 Starting translator/okasaki-examples
May 17 19:12:05 Finished translator/okasaki-examples                           3m33s   1GB
May 17 19:12:06 Starting translator/other-examples
May 17 19:15:38 Finished translator/other-examples                             3m31s 674MB
May 17 19:15:38 Starting compiler/parsing/tests
May 17 19:16:02 Finished compiler/parsing/tests                                  23s 357MB
May 17 19:16:03 Starting compiler/bootstrap/translation
May 18 00:20:05 Finished compiler/bootstrap/translation                     5h04m01s  41GB
May 18 00:20:06 Starting unverified/sexpr-bootstrap/x64/64
May 18 00:26:05 Finished unverified/sexpr-bootstrap/x64/64                     5m57s  18GB
May 18 00:26:05 Starting unverified/sexpr-bootstrap/x64/32
May 18 00:31:05 Finished unverified/sexpr-bootstrap/x64/32                     4m58s  12GB
May 18 00:31:06 Starting compiler/bootstrap/compilation/x64/64
May 19 10:24:18 Finished compiler/bootstrap/compilation/x64/64             33h53m10s  64GB
May 19 10:24:19 Starting compiler/bootstrap/compilation/x64/64/proofs
May 19 10:28:26 Finished compiler/bootstrap/compilation/x64/64/proofs          4m07s  29GB
May 19 10:28:27 Starting compiler/bootstrap/compilation/x64/32
May 20 01:05:39 Finished compiler/bootstrap/compilation/x64/32             14h37m09s  64GB
May 20 01:05:40 Starting compiler/bootstrap/compilation/x64/32/proofs
May 20 01:08:51 Finished compiler/bootstrap/compilation/x64/32/proofs          3m10s  22GB
May 20 01:08:51 SUCCESS