Job 319

CakeML:2bbad659e341a51dadb56340277a116a66694464
  Forgot to commit updated proof [May 08 14:04:02]
#488 (update-reg-alloc)
Merging into:891cbf4ab78b37977e79d97153aafb360b137f5b
  Make couple of minor Holmakefile tidy-ups in compiler/backend [May 11 00:54:58]
HOL:f179922a7c59b95d2dfd902862b4568a512bd2ba
  Lex tokens consisting of only $-signs as identifiers [May 14 06:53:10]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

May 14 22:44:23 Claimed job
May 14 22:44:35 Building HOL
May 14 22:52:43 Starting developers/bin
May 14 22:53:34 Finished developers/bin                                          50s 953MB
May 14 22:53:35 Starting semantics/ffi
May 14 22:54:14 Finished semantics/ffi                                           38s 412MB
May 14 22:54:15 Starting semantics
May 14 22:55:40 Finished semantics                                             1m24s   1GB
May 14 22:55:41 Starting semantics/proofs
May 14 22:57:28 Finished semantics/proofs                                      1m47s   1GB
May 14 22:57:29 Starting basis/pure
May 14 23:00:59 Finished basis/pure                                            3m29s 676MB
May 14 23:01:00 Starting translator
May 14 23:04:47 Finished translator                                            3m46s 946MB
May 14 23:04:48 Starting compiler/parsing
May 14 23:06:15 Finished compiler/parsing                                      1m26s   1GB
May 14 23:06:15 Starting characteristic
May 14 23:08:38 Finished characteristic                                        2m22s   1GB
May 14 23:08:39 Starting basis
May 14 23:25:17 Finished basis                                                16m37s   2GB
May 14 23:25:18 Starting translator/monadic
May 14 23:25:20 Finished translator/monadic                                       1s  13MB
May 14 23:25:21 Starting compiler/inference
May 14 23:26:56 Finished compiler/inference                                    1m34s 972MB
May 14 23:26:56 Starting compiler/backend/reg_alloc
May 14 23:27:30 Finished compiler/backend/reg_alloc                              32s   1GB
May 14 23:27:30 Starting compiler/backend/gc
May 14 23:36:17 Finished compiler/backend/gc                                   8m46s   3GB
May 14 23:36:18 Starting compiler/backend
May 14 23:36:21 Finished compiler/backend                                         2s  15MB
May 14 23:36:22 Starting compiler/encoders/asm
May 14 23:36:23 Finished compiler/encoders/asm                                    0s  12MB
May 14 23:36:24 Starting compiler/encoders/x64
May 14 23:37:16 Finished compiler/encoders/x64                                   50s 569MB
May 14 23:37:16 Starting compiler/encoders/arm6
May 14 23:38:57 Finished compiler/encoders/arm6                                1m40s   1GB
May 14 23:38:58 Starting compiler/encoders/arm8
May 14 23:39:24 Finished compiler/encoders/arm8                                  25s 465MB
May 14 23:39:25 Starting compiler/encoders/mips
May 14 23:40:22 Finished compiler/encoders/mips                                  56s 852MB
May 14 23:40:22 Starting compiler/encoders/riscv
May 14 23:41:23 Finished compiler/encoders/riscv                                 59s 697MB
May 14 23:41:24 Starting compiler/backend/x64
May 14 23:41:41 Finished compiler/backend/x64                                    17s 969MB
May 14 23:41:42 Starting compiler/backend/arm6
May 14 23:42:03 Finished compiler/backend/arm6                                   20s   1GB
May 14 23:42:03 Starting compiler/backend/arm8
May 14 23:42:23 Finished compiler/backend/arm8                                   18s   1GB
May 14 23:42:24 Starting compiler/backend/mips
May 14 23:42:43 Finished compiler/backend/mips                                   18s   1GB
May 14 23:42:44 Starting compiler/backend/riscv
May 14 23:43:04 Finished compiler/backend/riscv                                  18s   1GB
May 14 23:43:04 Starting compiler/parsing/proofs
May 14 23:49:07 Finished compiler/parsing/proofs                               6m01s 822MB
May 14 23:49:08 Starting compiler/inference/proofs
May 14 23:51:25 Finished compiler/inference/proofs                             2m16s   1GB
May 14 23:51:25 Starting compiler/backend/semantics
May 15 00:02:39 Finished compiler/backend/semantics                           11m13s   2GB
May 15 00:02:40 Starting compiler/backend/reg_alloc/proofs
May 15 00:03:29 Finished compiler/backend/reg_alloc/proofs                       47s 478MB
May 15 00:03:30 Starting compiler/backend/proofs
May 15 00:39:26 Finished compiler/backend/proofs                              35m55s   4GB
May 15 00:39:26 Starting compiler/encoders/x64/proofs
May 15 00:46:50 Finished compiler/encoders/x64/proofs                          7m22s   4GB
May 15 00:46:51 Starting compiler/encoders/arm6/proofs
May 15 00:54:11 Finished compiler/encoders/arm6/proofs                         7m19s   2GB
May 15 00:54:12 Starting compiler/encoders/arm8/proofs
May 15 00:59:28 Finished compiler/encoders/arm8/proofs                         5m15s   1GB
May 15 00:59:29 Starting compiler/encoders/mips/proofs
May 15 01:06:45 Finished compiler/encoders/mips/proofs                         7m14s   2GB
May 15 01:06:45 Starting compiler/encoders/riscv/proofs
May 15 01:14:50 Finished compiler/encoders/riscv/proofs                        8m04s 743MB
May 15 01:14:51 Starting compiler/backend/x64/proofs
May 15 01:15:11 Finished compiler/backend/x64/proofs                             19s   1GB
May 15 01:15:12 Starting compiler/backend/arm6/proofs
May 15 01:15:35 Finished compiler/backend/arm6/proofs                            22s   1GB
May 15 01:15:36 Starting compiler/backend/arm8/proofs
May 15 01:15:56 Finished compiler/backend/arm8/proofs                            19s   1GB
May 15 01:15:57 Starting compiler/backend/mips/proofs
May 15 01:16:18 Finished compiler/backend/mips/proofs                            21s   1GB
May 15 01:16:19 Starting compiler/backend/riscv/proofs
May 15 01:16:40 Finished compiler/backend/riscv/proofs                           20s   1GB
May 15 01:16:41 Starting compiler/proofs
May 15 01:17:57 Finished compiler/proofs                                       1m14s   2GB
May 15 01:17:57 Starting candle/set-theory
May 15 01:18:52 Finished candle/set-theory                                       54s 559MB
May 15 01:18:53 Starting candle/syntax-lib
May 15 01:19:03 Finished candle/syntax-lib                                        9s 661MB
May 15 01:19:04 Starting candle/standard/syntax
May 15 01:20:37 Finished candle/standard/syntax                                1m31s 623MB
May 15 01:20:37 Starting candle/standard/semantics
May 15 01:21:59 Finished candle/standard/semantics                             1m21s 860MB
May 15 01:22:00 Starting candle/standard/monadic
May 15 01:23:25 Finished candle/standard/monadic                               1m25s   1GB
May 15 01:23:26 Starting candle/standard/ml_kernel
May 15 01:29:43 Finished candle/standard/ml_kernel                             6m15s   2GB
May 15 01:29:43 Starting candle/standard/opentheory
May 15 01:29:58 Finished candle/standard/opentheory                              14s 721MB
May 15 01:29:59 Starting characteristic/examples
May 15 01:31:25 Finished characteristic/examples                               1m25s   2GB
May 15 01:31:26 Starting tutorial/solutions
May 15 01:54:14 Finished tutorial/solutions                                   22m47s  11GB
May 15 01:54:14 Starting translator/monadic/examples
May 15 01:56:04 Finished translator/monadic/examples                           1m48s   3GB
May 15 01:56:04 Starting examples
May 15 02:01:33 Finished examples                                              5m28s   2GB
May 15 02:01:34 Starting examples/compilation
May 15 05:57:41 Finished examples/compilation                               3h56m06s  16GB
May 15 05:57:41 Starting examples/compilation/proofs
May 15 06:00:42 Finished examples/compilation/proofs                           2m59s   5GB
May 15 06:00:42 Starting compiler/benchmarks
May 15 06:00:43 Finished compiler/benchmarks                                      0s   4MB
May 15 06:00:44 Starting translator/okasaki-examples
May 15 06:04:18 Finished translator/okasaki-examples                           3m33s   1GB
May 15 06:04:19 Starting translator/other-examples
May 15 06:07:49 Finished translator/other-examples                             3m29s 752MB
May 15 06:07:50 Starting compiler/parsing/tests
May 15 06:08:15 Finished compiler/parsing/tests                                  24s 271MB
May 15 06:08:15 Starting compiler/bootstrap/translation
May 15 11:13:05 Finished compiler/bootstrap/translation                     5h04m48s  37GB
May 15 11:13:05 Starting unverified/sexpr-bootstrap/x64/64
May 15 11:19:26 Finished unverified/sexpr-bootstrap/x64/64                     6m19s  10GB
May 15 11:19:26 Starting unverified/sexpr-bootstrap/x64/32
May 15 11:24:24 Finished unverified/sexpr-bootstrap/x64/32                     4m57s  14GB
May 15 11:24:25 Starting compiler/bootstrap/compilation/x64/64
May 16 21:16:29 Finished compiler/bootstrap/compilation/x64/64             33h52m03s  64GB
May 16 21:16:30 Starting compiler/bootstrap/compilation/x64/64/proofs
May 16 21:20:14 Finished compiler/bootstrap/compilation/x64/64/proofs          3m43s  26GB
May 16 21:20:15 Starting compiler/bootstrap/compilation/x64/32
May 17 11:49:44 Finished compiler/bootstrap/compilation/x64/32             14h29m28s  64GB
May 17 11:49:45 Starting compiler/bootstrap/compilation/x64/32/proofs
May 17 11:53:02 Finished compiler/bootstrap/compilation/x64/32/proofs          3m16s  24GB
May 17 11:53:03 SUCCESS