Job 682

CakeML:901708feeaa4cd0a8263ec24d39144eeb1f6d15d
  Merge pull request #599 from CakeML/lem-readme [Jan 14 09:15:32]
HOL:9884befd7ef626e7a20cde7aedb6f358330d8ba4
  Merge remote-tracking branch 'origin/pr/637' into develop [Jan 11 23:27:51]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jan 15 09:48:20 Claimed job
Jan 15 09:48:25 Reusing HOL
Jan 15 09:49:20 Starting developers
Jan 15 09:49:23 Finished developers                                               2s  21MB
Jan 15 09:49:24 Starting developers/bin
Jan 15 09:50:36 Finished developers/bin                                        1m11s 916MB
Jan 15 09:50:37 Starting semantics/ffi
Jan 15 09:50:47 Finished semantics/ffi                                           10s 236MB
Jan 15 09:50:48 Starting semantics
Jan 15 09:52:12 Finished semantics                                             1m23s   1GB
Jan 15 09:52:13 Starting semantics/proofs
Jan 15 09:55:36 Finished semantics/proofs                                      3m22s   1GB
Jan 15 09:55:36 Starting basis/pure
Jan 15 09:56:30 Finished basis/pure                                              53s 711MB
Jan 15 09:56:31 Starting translator
Jan 15 09:58:13 Finished translator                                            1m41s   1GB
Jan 15 09:58:14 Starting compiler/parsing
Jan 15 09:59:18 Finished compiler/parsing                                      1m03s   1GB
Jan 15 09:59:19 Starting characteristic
Jan 15 10:02:40 Finished characteristic                                        3m20s   1GB
Jan 15 10:02:41 Starting translator/monadic
Jan 15 10:04:11 Finished translator/monadic                                    1m29s   1GB
Jan 15 10:04:11 Starting basis
Jan 15 10:20:19 Finished basis                                                16m06s   2GB
Jan 15 10:20:20 Starting compiler/inference
Jan 15 10:22:01 Finished compiler/inference                                    1m40s   1GB
Jan 15 10:22:02 Starting compiler/backend/reg_alloc
Jan 15 10:22:55 Finished compiler/backend/reg_alloc                              52s   1GB
Jan 15 10:22:55 Starting compiler/backend/gc
Jan 15 10:30:56 Finished compiler/backend/gc                                   7m59s   1GB
Jan 15 10:30:56 Starting compiler/backend
Jan 15 10:30:59 Finished compiler/backend                                         2s  21MB
Jan 15 10:31:00 Starting compiler/encoders/asm
Jan 15 10:31:02 Finished compiler/encoders/asm                                    1s  15MB
Jan 15 10:31:02 Starting compiler/encoders/x64
Jan 15 10:31:28 Finished compiler/encoders/x64                                   25s 934MB
Jan 15 10:31:29 Starting compiler/encoders/arm6
Jan 15 10:32:21 Finished compiler/encoders/arm6                                  51s 725MB
Jan 15 10:32:21 Starting compiler/encoders/arm8
Jan 15 10:32:35 Finished compiler/encoders/arm8                                  13s 912MB
Jan 15 10:32:36 Starting compiler/encoders/mips
Jan 15 10:32:54 Finished compiler/encoders/mips                                  17s 882MB
Jan 15 10:32:54 Starting compiler/encoders/riscv
Jan 15 10:33:10 Finished compiler/encoders/riscv                                 14s 775MB
Jan 15 10:33:10 Starting compiler/encoders/ag32
Jan 15 10:33:28 Finished compiler/encoders/ag32                                  17s 809MB
Jan 15 10:33:29 Starting compiler/backend/x64
Jan 15 10:33:48 Finished compiler/backend/x64                                    17s 877MB
Jan 15 10:33:48 Starting compiler/backend/arm6
Jan 15 10:34:08 Finished compiler/backend/arm6                                   19s   1GB
Jan 15 10:34:09 Starting compiler/backend/arm8
Jan 15 10:34:27 Finished compiler/backend/arm8                                   17s 839MB
Jan 15 10:34:27 Starting compiler/backend/mips
Jan 15 10:34:46 Finished compiler/backend/mips                                   18s   1GB
Jan 15 10:34:47 Starting compiler/backend/riscv
Jan 15 10:35:07 Finished compiler/backend/riscv                                  19s   1GB
Jan 15 10:35:08 Starting compiler/backend/ag32
Jan 15 10:36:21 Finished compiler/backend/ag32                                 1m13s 899MB
Jan 15 10:36:22 Starting compiler/parsing/proofs
Jan 15 10:42:40 Finished compiler/parsing/proofs                               6m16s   1GB
Jan 15 10:42:40 Starting compiler/inference/proofs
Jan 15 10:45:33 Finished compiler/inference/proofs                             2m52s   1GB
Jan 15 10:45:34 Starting compiler/backend/semantics
Jan 15 10:53:04 Finished compiler/backend/semantics                            7m29s   1GB
Jan 15 10:53:04 Starting compiler/backend/reg_alloc/proofs
Jan 15 10:55:50 Finished compiler/backend/reg_alloc/proofs                     2m45s 715MB
Jan 15 10:55:51 Starting compiler/backend/proofs
Jan 15 11:34:40 Finished compiler/backend/proofs                              38m47s   3GB
Jan 15 11:34:40 Starting compiler/encoders/x64/proofs
Jan 15 11:44:27 Finished compiler/encoders/x64/proofs                          9m46s   6GB
Jan 15 11:44:28 Starting compiler/encoders/arm6/proofs
Jan 15 11:58:21 Finished compiler/encoders/arm6/proofs                        13m52s   3GB
Jan 15 11:58:22 Starting compiler/encoders/arm8/proofs
Jan 15 12:04:24 Finished compiler/encoders/arm8/proofs                         6m01s   1GB
Jan 15 12:04:25 Starting compiler/encoders/mips/proofs
Jan 15 12:15:00 Finished compiler/encoders/mips/proofs                        10m34s   2GB
Jan 15 12:15:00 Starting compiler/encoders/riscv/proofs
Jan 15 12:22:44 Finished compiler/encoders/riscv/proofs                        7m42s   1GB
Jan 15 12:22:44 Starting compiler/encoders/ag32/proofs
Jan 15 12:25:30 Finished compiler/encoders/ag32/proofs                         2m45s 757MB
Jan 15 12:25:31 Starting compiler/backend/x64/proofs
Jan 15 12:25:52 Finished compiler/backend/x64/proofs                             20s   1GB
Jan 15 12:25:53 Starting compiler/backend/arm6/proofs
Jan 15 12:26:15 Finished compiler/backend/arm6/proofs                            21s 948MB
Jan 15 12:26:16 Starting compiler/backend/arm8/proofs
Jan 15 12:26:35 Finished compiler/backend/arm8/proofs                            18s 808MB
Jan 15 12:26:36 Starting compiler/backend/mips/proofs
Jan 15 12:26:56 Finished compiler/backend/mips/proofs                            19s   1GB
Jan 15 12:26:57 Starting compiler/backend/riscv/proofs
Jan 15 12:27:18 Finished compiler/backend/riscv/proofs                           20s   1GB
Jan 15 12:27:18 Starting compiler/backend/ag32/proofs
Jan 15 12:36:41 Finished compiler/backend/ag32/proofs                          9m21s   2GB
Jan 15 12:36:41 Starting compiler/proofs
Jan 15 12:38:05 Finished compiler/proofs                                       1m23s   3GB
Jan 15 12:38:06 Starting candle/set-theory
Jan 15 12:38:33 Finished candle/set-theory                                       26s 684MB
Jan 15 12:38:34 Starting candle/syntax-lib
Jan 15 12:38:45 Finished candle/syntax-lib                                       10s 695MB
Jan 15 12:38:45 Starting candle/standard/syntax
Jan 15 12:40:35 Finished candle/standard/syntax                                1m48s   1GB
Jan 15 12:40:36 Starting candle/standard/semantics
Jan 15 12:42:18 Finished candle/standard/semantics                             1m41s   1GB
Jan 15 12:42:18 Starting candle/standard/monadic
Jan 15 12:44:03 Finished candle/standard/monadic                               1m43s   1GB
Jan 15 12:44:03 Starting candle/standard/ml_kernel
Jan 15 12:47:52 Finished candle/standard/ml_kernel                             3m47s   3GB
Jan 15 12:47:52 Starting candle/standard/opentheory
Jan 15 12:56:38 Finished candle/standard/opentheory                            8m45s   3GB
Jan 15 12:56:39 Starting candle/standard/opentheory/compilation
Jan 15 13:24:47 Finished candle/standard/opentheory/compilation               28m07s  13GB
Jan 15 13:24:48 Starting candle/standard/opentheory/compilation/proofs
Jan 15 13:25:40 Finished candle/standard/opentheory/compilation/proofs           51s   5GB
Jan 15 13:25:40 Starting characteristic/examples
Jan 15 13:27:08 Finished characteristic/examples                               1m27s   3GB
Jan 15 13:27:09 Starting tutorial/solutions
Jan 15 13:40:02 Finished tutorial/solutions                                   12m52s   6GB
Jan 15 13:40:03 Starting translator/monadic/examples
Jan 15 13:42:12 Finished translator/monadic/examples                           2m08s   2GB
Jan 15 13:42:13 Starting examples
Jan 15 13:49:48 Finished examples                                              7m34s   3GB
Jan 15 13:49:49 Starting examples/compilation/x64
Jan 15 15:50:15 Finished examples/compilation/x64                           2h00m25s  19GB
Jan 15 15:50:15 Starting examples/compilation/x64/proofs
Jan 15 15:52:05 Finished examples/compilation/x64/proofs                       1m49s   4GB
Jan 15 15:52:06 Starting examples/compilation/ag32
Jan 15 16:19:50 Finished examples/compilation/ag32                            27m43s   5GB
Jan 15 16:19:50 Starting examples/compilation/ag32/proofs
Jan 15 16:20:38 Finished examples/compilation/ag32/proofs                        47s   3GB
Jan 15 16:20:39 Starting translator/okasaki-examples
Jan 15 16:24:44 Finished translator/okasaki-examples                           4m04s   1GB
Jan 15 16:24:45 Starting translator/other-examples
Jan 15 16:25:27 Finished translator/other-examples                               42s   1GB
Jan 15 16:25:28 Starting compiler/parsing/tests
Jan 15 16:25:56 Finished compiler/parsing/tests                                  27s 567MB
Jan 15 16:25:56 Starting compiler/inference/tests
Jan 15 16:29:54 Finished compiler/inference/tests                              3m56s   4GB
Jan 15 16:29:54 Starting compiler/bootstrap/translation
Jan 15 18:59:59 Finished compiler/bootstrap/translation                     2h30m04s  48GB
Jan 15 19:00:00 Starting unverified/sexpr-bootstrap/x64/64
Jan 15 19:08:26 Finished unverified/sexpr-bootstrap/x64/64                     8m23s  15GB
Jan 15 19:08:26 Starting unverified/sexpr-bootstrap/x64/32
Jan 15 19:13:19 Finished unverified/sexpr-bootstrap/x64/32                     4m51s  22GB
Jan 15 19:13:20 Starting compiler/bootstrap/compilation/x64/64
Jan 16 05:47:43 Finished compiler/bootstrap/compilation/x64/64             10h34m21s  64GB
Jan 16 05:47:43 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 16 05:54:03 Finished compiler/bootstrap/compilation/x64/64/proofs          6m19s  30GB
Jan 16 05:54:04 Starting compiler/bootstrap/compilation/x64/32
Jan 16 14:41:23 Finished compiler/bootstrap/compilation/x64/32              8h47m17s  63GB
Jan 16 14:41:24 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 16 14:47:06 Finished compiler/bootstrap/compilation/x64/32/proofs          5m42s  27GB
Jan 16 14:47:07 SUCCESS