Job 675

CakeML:071dd6df27a91d5c8400d3fd83b416839cabcfd8
  Add lem version into semantics README [Jan 14 00:22:48]
#599 (lem-readme)
Merging into:b19ca63f5f4b645ed5c3cc20d17301531d25408d
  Merge pull request #597 from CakeML/lem-194778e [Jan 09 12:16: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

Jan 14 05:06:54 Claimed job
Jan 14 05:07:16 Building HOL
Jan 14 05:16:37 Starting developers
Jan 14 05:16:40 Finished developers                                               2s  20MB
Jan 14 05:16:40 Starting developers/bin
Jan 14 05:17:46 Finished developers/bin                                        1m05s 916MB
Jan 14 05:17:47 Starting semantics/ffi
Jan 14 05:18:25 Finished semantics/ffi                                           37s 459MB
Jan 14 05:18:26 Starting semantics
Jan 14 05:20:04 Finished semantics                                             1m37s   1GB
Jan 14 05:20:05 Starting semantics/proofs
Jan 14 05:23:25 Finished semantics/proofs                                      3m19s   1GB
Jan 14 05:23:26 Starting basis/pure
Jan 14 05:27:05 Finished basis/pure                                            3m38s 938MB
Jan 14 05:27:06 Starting translator
Jan 14 05:28:47 Finished translator                                            1m40s   1GB
Jan 14 05:28:48 Starting compiler/parsing
Jan 14 05:29:55 Finished compiler/parsing                                      1m06s   1GB
Jan 14 05:29:56 Starting characteristic
Jan 14 05:33:19 Finished characteristic                                        3m22s   1GB
Jan 14 05:33:20 Starting translator/monadic
Jan 14 05:34:50 Finished translator/monadic                                    1m30s   1GB
Jan 14 05:34:51 Starting basis
Jan 14 05:50:52 Finished basis                                                16m00s   3GB
Jan 14 05:50:53 Starting compiler/inference
Jan 14 05:52:51 Finished compiler/inference                                    1m57s   1GB
Jan 14 05:52:52 Starting compiler/backend/reg_alloc
Jan 14 05:53:44 Finished compiler/backend/reg_alloc                              51s   1GB
Jan 14 05:53:45 Starting compiler/backend/gc
Jan 14 06:02:49 Finished compiler/backend/gc                                   9m03s   1GB
Jan 14 06:02:50 Starting compiler/backend
Jan 14 06:02:53 Finished compiler/backend                                         2s  18MB
Jan 14 06:02:54 Starting compiler/encoders/asm
Jan 14 06:02:56 Finished compiler/encoders/asm                                    1s  21MB
Jan 14 06:02:56 Starting compiler/encoders/x64
Jan 14 06:03:58 Finished compiler/encoders/x64                                 1m01s 936MB
Jan 14 06:03:59 Starting compiler/encoders/arm6
Jan 14 06:05:51 Finished compiler/encoders/arm6                                1m51s   1GB
Jan 14 06:05:52 Starting compiler/encoders/arm8
Jan 14 06:06:24 Finished compiler/encoders/arm8                                  31s 527MB
Jan 14 06:06:24 Starting compiler/encoders/mips
Jan 14 06:07:31 Finished compiler/encoders/mips                                1m05s   1GB
Jan 14 06:07:31 Starting compiler/encoders/riscv
Jan 14 06:08:38 Finished compiler/encoders/riscv                               1m06s 747MB
Jan 14 06:08:39 Starting compiler/encoders/ag32
Jan 14 06:08:57 Finished compiler/encoders/ag32                                  17s 801MB
Jan 14 06:08:57 Starting compiler/backend/x64
Jan 14 06:09:15 Finished compiler/backend/x64                                    17s 790MB
Jan 14 06:09:16 Starting compiler/backend/arm6
Jan 14 06:09:36 Finished compiler/backend/arm6                                   19s   1GB
Jan 14 06:09:37 Starting compiler/backend/arm8
Jan 14 06:09:55 Finished compiler/backend/arm8                                   17s 876MB
Jan 14 06:09:56 Starting compiler/backend/mips
Jan 14 06:10:16 Finished compiler/backend/mips                                   18s   1GB
Jan 14 06:10:16 Starting compiler/backend/riscv
Jan 14 06:10:36 Finished compiler/backend/riscv                                  18s   1GB
Jan 14 06:10:36 Starting compiler/backend/ag32
Jan 14 06:11:49 Finished compiler/backend/ag32                                 1m11s   1GB
Jan 14 06:11:49 Starting compiler/parsing/proofs
Jan 14 06:18:05 Finished compiler/parsing/proofs                               6m15s 955MB
Jan 14 06:18:06 Starting compiler/inference/proofs
Jan 14 06:21:00 Finished compiler/inference/proofs                             2m53s   1GB
Jan 14 06:21:01 Starting compiler/backend/semantics
Jan 14 06:28:34 Finished compiler/backend/semantics                            7m32s   1GB
Jan 14 06:28:35 Starting compiler/backend/reg_alloc/proofs
Jan 14 06:31:22 Finished compiler/backend/reg_alloc/proofs                     2m46s 754MB
Jan 14 06:31:23 Starting compiler/backend/proofs
Jan 14 07:09:45 Finished compiler/backend/proofs                              38m20s   3GB
Jan 14 07:09:45 Starting compiler/encoders/x64/proofs
Jan 14 07:20:27 Finished compiler/encoders/x64/proofs                         10m41s   5GB
Jan 14 07:20:28 Starting compiler/encoders/arm6/proofs
Jan 14 07:35:24 Finished compiler/encoders/arm6/proofs                        14m55s   7GB
Jan 14 07:35:24 Starting compiler/encoders/arm8/proofs
Jan 14 07:41:41 Finished compiler/encoders/arm8/proofs                         6m15s   1GB
Jan 14 07:41:41 Starting compiler/encoders/mips/proofs
Jan 14 07:52:56 Finished compiler/encoders/mips/proofs                        11m13s   2GB
Jan 14 07:52:56 Starting compiler/encoders/riscv/proofs
Jan 14 08:00:57 Finished compiler/encoders/riscv/proofs                        7m59s   1GB
Jan 14 08:00:57 Starting compiler/encoders/ag32/proofs
Jan 14 08:03:43 Finished compiler/encoders/ag32/proofs                         2m44s 771MB
Jan 14 08:03:43 Starting compiler/backend/x64/proofs
Jan 14 08:04:04 Finished compiler/backend/x64/proofs                             20s   1GB
Jan 14 08:04:05 Starting compiler/backend/arm6/proofs
Jan 14 08:04:29 Finished compiler/backend/arm6/proofs                            23s   1GB
Jan 14 08:04:29 Starting compiler/backend/arm8/proofs
Jan 14 08:04:50 Finished compiler/backend/arm8/proofs                            19s   1GB
Jan 14 08:04:50 Starting compiler/backend/mips/proofs
Jan 14 08:05:12 Finished compiler/backend/mips/proofs                            20s   1GB
Jan 14 08:05:12 Starting compiler/backend/riscv/proofs
Jan 14 08:05:33 Finished compiler/backend/riscv/proofs                           20s   1GB
Jan 14 08:05:34 Starting compiler/backend/ag32/proofs
Jan 14 08:14:52 Finished compiler/backend/ag32/proofs                          9m17s   1GB
Jan 14 08:14:53 Starting compiler/proofs
Jan 14 08:16:15 Finished compiler/proofs                                       1m21s   3GB
Jan 14 08:16:16 Starting candle/set-theory
Jan 14 08:16:42 Finished candle/set-theory                                       25s 664MB
Jan 14 08:16:43 Starting candle/syntax-lib
Jan 14 08:16:54 Finished candle/syntax-lib                                       10s 675MB
Jan 14 08:16:54 Starting candle/standard/syntax
Jan 14 08:18:44 Finished candle/standard/syntax                                1m49s   1GB
Jan 14 08:18:45 Starting candle/standard/semantics
Jan 14 08:20:27 Finished candle/standard/semantics                             1m40s   1GB
Jan 14 08:20:27 Starting candle/standard/monadic
Jan 14 08:22:11 Finished candle/standard/monadic                               1m43s   1GB
Jan 14 08:22:12 Starting candle/standard/ml_kernel
Jan 14 08:25:58 Finished candle/standard/ml_kernel                             3m45s   3GB
Jan 14 08:25:59 Starting candle/standard/opentheory
Jan 14 08:34:38 Finished candle/standard/opentheory                            8m37s   4GB
Jan 14 08:34:39 Starting candle/standard/opentheory/compilation
Jan 14 09:04:06 Finished candle/standard/opentheory/compilation               29m26s  21GB
Jan 14 09:04:07 Starting candle/standard/opentheory/compilation/proofs
Jan 14 09:04:54 Finished candle/standard/opentheory/compilation/proofs           47s   5GB
Jan 14 09:04:55 Starting characteristic/examples
Jan 14 09:06:26 Finished characteristic/examples                               1m30s   3GB
Jan 14 09:06:27 Starting tutorial/solutions
Jan 14 09:19:41 Finished tutorial/solutions                                   13m12s   7GB
Jan 14 09:19:41 Starting translator/monadic/examples
Jan 14 09:21:52 Finished translator/monadic/examples                           2m10s   2GB
Jan 14 09:21:53 Starting examples
Jan 14 09:29:29 Finished examples                                              7m35s   4GB
Jan 14 09:29:29 Starting examples/compilation/x64
Jan 14 11:30:46 Finished examples/compilation/x64                           2h01m16s  14GB
Jan 14 11:30:47 Starting examples/compilation/x64/proofs
Jan 14 11:32:37 Finished examples/compilation/x64/proofs                       1m49s   3GB
Jan 14 11:32:38 Starting examples/compilation/ag32
Jan 14 12:00:12 Finished examples/compilation/ag32                            27m33s   6GB
Jan 14 12:00:13 Starting examples/compilation/ag32/proofs
Jan 14 12:01:02 Finished examples/compilation/ag32/proofs                        48s   4GB
Jan 14 12:01:02 Starting translator/okasaki-examples
Jan 14 12:05:03 Finished translator/okasaki-examples                           4m00s   1GB
Jan 14 12:05:04 Starting translator/other-examples
Jan 14 12:08:38 Finished translator/other-examples                             3m33s   1GB
Jan 14 12:08:39 Starting compiler/parsing/tests
Jan 14 12:09:07 Finished compiler/parsing/tests                                  27s 628MB
Jan 14 12:09:08 Starting compiler/inference/tests
Jan 14 12:13:06 Finished compiler/inference/tests                              3m57s   5GB
Jan 14 12:13:06 Starting compiler/bootstrap/translation
Jan 14 14:42:32 Finished compiler/bootstrap/translation                     2h29m24s  38GB
Jan 14 14:42:33 Starting unverified/sexpr-bootstrap/x64/64
Jan 14 14:50:48 Finished unverified/sexpr-bootstrap/x64/64                     8m14s  16GB
Jan 14 14:50:49 Starting unverified/sexpr-bootstrap/x64/32
Jan 14 14:55:38 Finished unverified/sexpr-bootstrap/x64/32                     4m49s  20GB
Jan 14 14:55:39 Starting compiler/bootstrap/compilation/x64/64
Jan 15 00:45:56 Finished compiler/bootstrap/compilation/x64/64              9h50m16s  64GB
Jan 15 00:45:56 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 15 00:52:28 Finished compiler/bootstrap/compilation/x64/64/proofs          6m30s  31GB
Jan 15 00:52:28 Starting compiler/bootstrap/compilation/x64/32
Jan 15 09:42:16 Finished compiler/bootstrap/compilation/x64/32              8h49m47s  64GB
Jan 15 09:42:17 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 15 09:48:16 Finished compiler/bootstrap/compilation/x64/32/proofs          5m58s  31GB
Jan 15 09:48:17 SUCCESS