Job 574

CakeML:549e7746c0d37aa3cf2cb000f7afdc72f4096f70
  Update generated README [Nov 19 17:40:18]
#557 (issue-538)
Merging into:5621aa847dbe2d484cc6e1acaf89bf8d712bf668
  Merge pull request #553 from CakeML/flat-elim-cleanup [Nov 22 07:12:08]
HOL:57ef4df497757f622a7fe2bfeda16116585da6d4
  Update experimental kernel for world free of Globals.priming [Nov 20 05:59:15]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Nov 22 07:27:50 Claimed job
Nov 22 07:27:55 Reusing HOL
Nov 22 07:28:04 Starting developers/bin
Nov 22 07:28:45 Finished developers/bin                                          40s 140MB
Nov 22 07:28:45 Starting semantics/ffi
Nov 22 07:28:56 Finished semantics/ffi                                           10s 262MB
Nov 22 07:28:57 Starting semantics
Nov 22 07:30:12 Finished semantics                                             1m14s   1GB
Nov 22 07:30:13 Starting semantics/proofs
Nov 22 07:33:11 Finished semantics/proofs                                      2m56s   1GB
Nov 22 07:33:12 Starting basis/pure
Nov 22 07:34:02 Finished basis/pure                                              49s 678MB
Nov 22 07:34:03 Starting translator
Nov 22 07:37:13 Finished translator                                            3m09s 862MB
Nov 22 07:37:14 Starting compiler/parsing
Nov 22 07:38:40 Finished compiler/parsing                                      1m25s   2GB
Nov 22 07:38:41 Starting characteristic
Nov 22 07:41:13 Finished characteristic                                        2m31s   1GB
Nov 22 07:41:14 Starting translator/monadic
Nov 22 07:42:42 Finished translator/monadic                                    1m27s   1GB
Nov 22 07:42:42 Starting basis
Nov 22 07:59:46 Finished basis                                                17m02s   3GB
Nov 22 07:59:46 Starting compiler/inference
Nov 22 08:01:10 Finished compiler/inference                                    1m22s   1GB
Nov 22 08:01:11 Starting compiler/backend/reg_alloc
Nov 22 08:01:56 Finished compiler/backend/reg_alloc                              44s   1GB
Nov 22 08:01:57 Starting compiler/backend/gc
Nov 22 08:08:17 Finished compiler/backend/gc                                   6m19s   1GB
Nov 22 08:08:18 Starting compiler/backend
Nov 22 08:08:21 Finished compiler/backend                                         1s  18MB
Nov 22 08:08:21 Starting compiler/encoders/asm
Nov 22 08:08:23 Finished compiler/encoders/asm                                    0s  23MB
Nov 22 08:08:24 Starting compiler/encoders/x64
Nov 22 08:08:40 Finished compiler/encoders/x64                                   15s 403MB
Nov 22 08:08:41 Starting compiler/encoders/arm6
Nov 22 08:09:26 Finished compiler/encoders/arm6                                  44s 380MB
Nov 22 08:09:27 Starting compiler/encoders/arm8
Nov 22 08:09:35 Finished compiler/encoders/arm8                                   6s 346MB
Nov 22 08:09:35 Starting compiler/encoders/mips
Nov 22 08:09:45 Finished compiler/encoders/mips                                   8s 482MB
Nov 22 08:09:46 Starting compiler/encoders/riscv
Nov 22 08:09:54 Finished compiler/encoders/riscv                                  7s 414MB
Nov 22 08:09:55 Starting compiler/backend/x64
Nov 22 08:10:12 Finished compiler/backend/x64                                    16s   1GB
Nov 22 08:10:13 Starting compiler/backend/arm6
Nov 22 08:10:32 Finished compiler/backend/arm6                                   18s   1GB
Nov 22 08:10:33 Starting compiler/backend/arm8
Nov 22 08:10:52 Finished compiler/backend/arm8                                   18s   1GB
Nov 22 08:10:53 Starting compiler/backend/mips
Nov 22 08:11:11 Finished compiler/backend/mips                                   17s   1GB
Nov 22 08:11:12 Starting compiler/backend/riscv
Nov 22 08:11:30 Finished compiler/backend/riscv                                  17s   1GB
Nov 22 08:11:31 Starting compiler/parsing/proofs
Nov 22 08:17:38 Finished compiler/parsing/proofs                               6m06s   1GB
Nov 22 08:17:39 Starting compiler/inference/proofs
Nov 22 08:20:39 Finished compiler/inference/proofs                             2m59s 962MB
Nov 22 08:20:40 Starting compiler/backend/semantics
Nov 22 08:30:31 Finished compiler/backend/semantics                            9m49s   2GB
Nov 22 08:30:32 Starting compiler/backend/reg_alloc/proofs
Nov 22 08:33:22 Finished compiler/backend/reg_alloc/proofs                     2m49s 577MB
Nov 22 08:33:22 Starting compiler/backend/proofs
Nov 22 09:19:47 Finished compiler/backend/proofs                              46m23s   3GB
Nov 22 09:19:48 Starting compiler/encoders/x64/proofs
Nov 22 09:26:42 Finished compiler/encoders/x64/proofs                          6m53s 914MB
Nov 22 09:26:43 Starting compiler/encoders/arm6/proofs
Nov 22 09:33:10 Finished compiler/encoders/arm6/proofs                         6m26s   1GB
Nov 22 09:33:11 Starting compiler/encoders/arm8/proofs
Nov 22 09:38:48 Finished compiler/encoders/arm8/proofs                         5m36s   1GB
Nov 22 09:38:49 Starting compiler/encoders/mips/proofs
Nov 22 09:46:01 Finished compiler/encoders/mips/proofs                         7m11s   2GB
Nov 22 09:46:02 Starting compiler/encoders/riscv/proofs
Nov 22 09:54:18 Finished compiler/encoders/riscv/proofs                        8m15s 661MB
Nov 22 09:54:19 Starting compiler/backend/x64/proofs
Nov 22 09:54:39 Finished compiler/backend/x64/proofs                             19s   1GB
Nov 22 09:54:40 Starting compiler/backend/arm6/proofs
Nov 22 09:55:04 Finished compiler/backend/arm6/proofs                            22s   1GB
Nov 22 09:55:05 Starting compiler/backend/arm8/proofs
Nov 22 09:55:24 Finished compiler/backend/arm8/proofs                            18s   1GB
Nov 22 09:55:25 Starting compiler/backend/mips/proofs
Nov 22 09:55:45 Finished compiler/backend/mips/proofs                            20s   1GB
Nov 22 09:55:46 Starting compiler/backend/riscv/proofs
Nov 22 09:56:06 Finished compiler/backend/riscv/proofs                           19s   1GB
Nov 22 09:56:07 Starting compiler/proofs
Nov 22 09:57:29 Finished compiler/proofs                                       1m20s   2GB
Nov 22 09:57:30 Starting candle/set-theory
Nov 22 09:57:55 Finished candle/set-theory                                       24s 610MB
Nov 22 09:57:56 Starting candle/syntax-lib
Nov 22 09:58:06 Finished candle/syntax-lib                                        8s 459MB
Nov 22 09:58:06 Starting candle/standard/syntax
Nov 22 09:59:41 Finished candle/standard/syntax                                1m34s 557MB
Nov 22 09:59:42 Starting candle/standard/semantics
Nov 22 10:01:04 Finished candle/standard/semantics                             1m21s 946MB
Nov 22 10:01:04 Starting candle/standard/monadic
Nov 22 10:02:42 Finished candle/standard/monadic                               1m37s 923MB
Nov 22 10:02:43 Starting candle/standard/ml_kernel
Nov 22 10:19:01 Finished candle/standard/ml_kernel                            16m17s   3GB
Nov 22 10:19:02 Starting candle/standard/opentheory
Nov 22 10:26:50 Finished candle/standard/opentheory                            7m47s   4GB
Nov 22 10:26:51 Starting candle/standard/opentheory/compilation
Nov 22 11:06:53 Finished candle/standard/opentheory/compilation               40m00s  23GB
Nov 22 11:06:54 Starting candle/standard/opentheory/compilation/proofs
Nov 22 11:07:44 Finished candle/standard/opentheory/compilation/proofs           49s   3GB
Nov 22 11:07:44 Starting characteristic/examples
Nov 22 11:09:24 Finished characteristic/examples                               1m38s   1GB
Nov 22 11:09:24 Starting tutorial/solutions
Nov 22 11:23:42 Finished tutorial/solutions                                   14m16s   7GB
Nov 22 11:23:42 Starting translator/monadic/examples
Nov 22 11:25:43 Finished translator/monadic/examples                           1m59s   2GB
Nov 22 11:25:44 Starting examples
Nov 22 11:33:26 Finished examples                                              7m42s   2GB
Nov 22 11:33:27 Starting examples/compilation
Nov 22 13:44:18 Finished examples/compilation                               2h10m49s   9GB
Nov 22 13:44:19 Starting examples/compilation/proofs
Nov 22 13:46:12 Finished examples/compilation/proofs                           1m52s   3GB
Nov 22 13:46:13 Starting compiler/benchmarks
Nov 22 13:46:13 Finished compiler/benchmarks                                      0s   4MB
Nov 22 13:46:14 Starting translator/okasaki-examples
Nov 22 13:49:45 Finished translator/okasaki-examples                           3m30s   2GB
Nov 22 13:49:46 Starting translator/other-examples
Nov 22 13:50:17 Finished translator/other-examples                               30s 974MB
Nov 22 13:50:18 Starting compiler/parsing/tests
Nov 22 13:50:42 Finished compiler/parsing/tests                                  24s 330MB
Nov 22 13:50:43 Starting compiler/inference/tests
Nov 22 13:54:42 Finished compiler/inference/tests                              3m58s   4GB
Nov 22 13:54:43 Starting compiler/bootstrap/translation
Nov 22 17:11:16 Finished compiler/bootstrap/translation                     3h16m31s  48GB
Nov 22 17:11:17 Starting unverified/sexpr-bootstrap/x64/64
Nov 22 17:18:54 Finished unverified/sexpr-bootstrap/x64/64                     7m36s  18GB
Nov 22 17:18:55 Starting unverified/sexpr-bootstrap/x64/32
Nov 22 17:24:11 Finished unverified/sexpr-bootstrap/x64/32                     5m15s  16GB
Nov 22 17:24:12 Starting compiler/bootstrap/compilation/x64/64
Nov 23 04:37:47 Finished compiler/bootstrap/compilation/x64/64             11h13m33s  64GB
Nov 23 04:37:48 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 23 04:41:37 Finished compiler/bootstrap/compilation/x64/64/proofs          3m48s  25GB
Nov 23 04:41:37 Starting compiler/bootstrap/compilation/x64/32
Nov 23 15:20:57 Finished compiler/bootstrap/compilation/x64/32             10h39m18s  63GB
Nov 23 15:20:58 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 23 15:25:25 Finished compiler/bootstrap/compilation/x64/32/proofs          4m26s  25GB
Nov 23 15:25:26 SUCCESS