Job 624

CakeML:5fd25dea8276a8f2e8e3f533fa5b1a756b63ff57
  Merge branch master into data-cost [Dec 10 11:56:02]
#574 (data-cost)
Merging into:9738bb20083dd8d6561f662774ab156c907bba8d
  Merge pull request #577 from CakeML/local [Dec 10 18:08:16]
HOL:3e92f93cc5c297a65292a52ca7af9a018ce18e63
  Fix Emacs Unicode bindings for  [Dec 09 06:49:50]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 10 22:29:38 Claimed job
Dec 10 22:29:43 Building HOL
Dec 10 22:37:53 Starting developers
Dec 10 22:37:54 Finished developers                                               0s  29MB
Dec 10 22:37:54 Starting developers/bin
Dec 10 22:38:26 Finished developers/bin                                          31s 201MB
Dec 10 22:38:27 Starting semantics/ffi
Dec 10 22:39:05 Finished semantics/ffi                                           37s 494MB
Dec 10 22:39:06 Starting semantics
Dec 10 22:40:47 Finished semantics                                             1m40s 760MB
Dec 10 22:40:47 Starting semantics/proofs
Dec 10 22:44:05 Finished semantics/proofs                                      3m17s   1GB
Dec 10 22:44:06 Starting basis/pure
Dec 10 22:47:57 Finished basis/pure                                            3m49s 829MB
Dec 10 22:47:57 Starting translator
Dec 10 22:49:21 Finished translator                                            1m23s 807MB
Dec 10 22:49:22 Starting compiler/parsing
Dec 10 22:50:52 Finished compiler/parsing                                      1m29s   1GB
Dec 10 22:50:53 Starting characteristic
Dec 10 22:53:34 Finished characteristic                                        2m40s   1GB
Dec 10 22:53:35 Starting translator/monadic
Dec 10 22:55:10 Finished translator/monadic                                    1m34s   1GB
Dec 10 22:55:11 Starting basis
Dec 10 23:12:43 Finished basis                                                17m30s   2GB
Dec 10 23:12:43 Starting compiler/inference
Dec 10 23:14:51 Finished compiler/inference                                    2m07s   1GB
Dec 10 23:14:52 Starting compiler/backend/reg_alloc
Dec 10 23:15:46 Finished compiler/backend/reg_alloc                              53s   1GB
Dec 10 23:15:47 Starting compiler/backend/gc
Dec 10 23:24:24 Finished compiler/backend/gc                                   8m36s   1GB
Dec 10 23:24:25 Starting compiler/backend
Dec 10 23:24:28 Finished compiler/backend                                         1s  19MB
Dec 10 23:24:28 Starting compiler/encoders/asm
Dec 10 23:24:30 Finished compiler/encoders/asm                                    0s  17MB
Dec 10 23:24:30 Starting compiler/encoders/x64
Dec 10 23:25:31 Finished compiler/encoders/x64                                   59s 541MB
Dec 10 23:25:31 Starting compiler/encoders/arm6
Dec 10 23:27:25 Finished compiler/encoders/arm6                                1m53s   1GB
Dec 10 23:27:26 Starting compiler/encoders/arm8
Dec 10 23:27:56 Finished compiler/encoders/arm8                                  28s 473MB
Dec 10 23:27:56 Starting compiler/encoders/mips
Dec 10 23:29:04 Finished compiler/encoders/mips                                1m06s 835MB
Dec 10 23:29:05 Starting compiler/encoders/riscv
Dec 10 23:30:14 Finished compiler/encoders/riscv                               1m08s 666MB
Dec 10 23:30:14 Starting compiler/encoders/ag32
Dec 10 23:30:33 Finished compiler/encoders/ag32                                  17s 817MB
Dec 10 23:30:33 Starting compiler/backend/x64
Dec 10 23:30:52 Finished compiler/backend/x64                                    17s   1GB
Dec 10 23:30:52 Starting compiler/backend/arm6
Dec 10 23:31:12 Finished compiler/backend/arm6                                   18s   1GB
Dec 10 23:31:12 Starting compiler/backend/arm8
Dec 10 23:31:31 Finished compiler/backend/arm8                                   17s   1GB
Dec 10 23:31:32 Starting compiler/backend/mips
Dec 10 23:31:51 Finished compiler/backend/mips                                   18s   1GB
Dec 10 23:31:52 Starting compiler/backend/riscv
Dec 10 23:32:10 Finished compiler/backend/riscv                                  17s 806MB
Dec 10 23:32:11 Starting compiler/backend/ag32
Dec 10 23:33:32 Finished compiler/backend/ag32                                 1m20s   1GB
Dec 10 23:33:32 Starting compiler/parsing/proofs
Dec 10 23:40:01 Finished compiler/parsing/proofs                               6m27s   1GB
Dec 10 23:40:02 Starting compiler/inference/proofs
Dec 10 23:43:08 Finished compiler/inference/proofs                             3m05s   1GB
Dec 10 23:43:09 Starting compiler/backend/semantics
Dec 10 23:53:05 Finished compiler/backend/semantics                            9m55s   2GB
Dec 10 23:53:06 Starting compiler/backend/reg_alloc/proofs
Dec 10 23:56:15 Finished compiler/backend/reg_alloc/proofs                     3m08s 600MB
Dec 10 23:56:16 Starting compiler/backend/proofs
Dec 11 01:03:59 Finished compiler/backend/proofs                            1h07m42s   4GB
Dec 11 01:04:00 Starting compiler/encoders/x64/proofs
Dec 11 01:16:00 Finished compiler/encoders/x64/proofs                         11m58s   5GB
Dec 11 01:16:00 Starting compiler/encoders/arm6/proofs
Dec 11 01:33:00 Finished compiler/encoders/arm6/proofs                        16m59s   2GB
Dec 11 01:33:01 Starting compiler/encoders/arm8/proofs
Dec 11 01:39:32 Finished compiler/encoders/arm8/proofs                         6m30s   1GB
Dec 11 01:39:33 Starting compiler/encoders/mips/proofs
Dec 11 01:50:58 Finished compiler/encoders/mips/proofs                        11m24s   1GB
Dec 11 01:50:59 Starting compiler/encoders/riscv/proofs
Dec 11 01:59:32 Finished compiler/encoders/riscv/proofs                        8m32s 724MB
Dec 11 01:59:33 Starting compiler/encoders/ag32/proofs
Dec 11 02:02:30 Finished compiler/encoders/ag32/proofs                         2m56s 753MB
Dec 11 02:02:31 Starting compiler/backend/x64/proofs
Dec 11 02:02:51 Finished compiler/backend/x64/proofs                             19s   1GB
Dec 11 02:02:52 Starting compiler/backend/arm6/proofs
Dec 11 02:03:15 Finished compiler/backend/arm6/proofs                            21s 986MB
Dec 11 02:03:15 Starting compiler/backend/arm8/proofs
Dec 11 02:03:36 Finished compiler/backend/arm8/proofs                            19s   1GB
Dec 11 02:03:36 Starting compiler/backend/mips/proofs
Dec 11 02:03:57 Finished compiler/backend/mips/proofs                            19s 904MB
Dec 11 02:03:58 Starting compiler/backend/riscv/proofs
Dec 11 02:04:18 Finished compiler/backend/riscv/proofs                           19s   1GB
Dec 11 02:04:19 Starting compiler/backend/ag32/proofs
Dec 11 02:14:43 Finished compiler/backend/ag32/proofs                         10m23s   2GB
Dec 11 02:14:44 Starting compiler/proofs
Dec 11 02:16:06 Finished compiler/proofs                                       1m21s   1GB
Dec 11 02:16:07 Starting candle/set-theory
Dec 11 02:16:42 Finished candle/set-theory                                       34s 625MB
Dec 11 02:16:42 Starting candle/syntax-lib
Dec 11 02:16:54 Finished candle/syntax-lib                                       10s 635MB
Dec 11 02:16:54 Starting candle/standard/syntax
Dec 11 02:18:34 Finished candle/standard/syntax                                1m38s 899MB
Dec 11 02:18:35 Starting candle/standard/semantics
Dec 11 02:20:00 Finished candle/standard/semantics                             1m24s 846MB
Dec 11 02:20:01 Starting candle/standard/monadic
Dec 11 02:21:43 Finished candle/standard/monadic                               1m41s   1GB
Dec 11 02:21:43 Starting candle/standard/ml_kernel
Dec 11 02:37:52 Finished candle/standard/ml_kernel                            16m07s   2GB
Dec 11 02:37:53 Starting candle/standard/opentheory
Dec 11 02:46:29 Finished candle/standard/opentheory                            8m35s   2GB
Dec 11 02:46:29 Starting candle/standard/opentheory/compilation
Dec 11 03:18:45 Finished candle/standard/opentheory/compilation               32m14s  11GB
Dec 11 03:18:45 Starting candle/standard/opentheory/compilation/proofs
Dec 11 03:19:39 Finished candle/standard/opentheory/compilation/proofs           52s   3GB
Dec 11 03:19:39 Starting characteristic/examples
Dec 11 03:21:19 Finished characteristic/examples                               1m38s   1GB
Dec 11 03:21:20 Starting tutorial/solutions
Dec 11 03:35:17 Finished tutorial/solutions                                   13m56s   6GB
Dec 11 03:35:18 Starting translator/monadic/examples
Dec 11 03:37:29 Finished translator/monadic/examples                           2m09s   2GB
Dec 11 03:37:29 Starting examples
Dec 11 03:45:17 Finished examples                                              7m46s   2GB
Dec 11 03:45:18 Starting examples/compilation/x64
Dec 11 05:43:22 Finished examples/compilation/x64                           1h58m04s  11GB
Dec 11 05:43:23 Starting examples/compilation/x64/proofs
Dec 11 05:45:16 Finished examples/compilation/x64/proofs                       1m52s   2GB
Dec 11 05:45:17 Starting examples/compilation/ag32
Dec 11 06:11:38 Finished examples/compilation/ag32                            26m20s   5GB
Dec 11 06:11:39 Starting examples/compilation/ag32/proofs
Dec 11 06:12:07 Finished examples/compilation/ag32/proofs                        26s   2GB
Dec 11 06:12:08 Starting compiler/benchmarks
Dec 11 06:12:08 Finished compiler/benchmarks                                      0s   4MB
Dec 11 06:12:09 Starting translator/okasaki-examples
Dec 11 06:15:45 Finished translator/okasaki-examples                           3m34s   1GB
Dec 11 06:15:46 Starting translator/other-examples
Dec 11 06:19:01 Finished translator/other-examples                             3m14s   1GB
Dec 11 06:19:02 Starting compiler/parsing/tests
Dec 11 06:19:28 Finished compiler/parsing/tests                                  25s 317MB
Dec 11 06:19:29 Starting compiler/inference/tests
Dec 11 06:23:34 Finished compiler/inference/tests                              4m03s   4GB
Dec 11 06:23:35 Starting compiler/bootstrap/translation
Dec 11 09:37:41 Finished compiler/bootstrap/translation                     3h14m05s  52GB
Dec 11 09:37:42 Starting unverified/sexpr-bootstrap/x64/64
Dec 11 09:45:53 Finished unverified/sexpr-bootstrap/x64/64                     8m10s  13GB
Dec 11 09:45:54 Starting unverified/sexpr-bootstrap/x64/32
Dec 11 09:51:17 Finished unverified/sexpr-bootstrap/x64/32                     5m21s  16GB
Dec 11 09:51:18 Starting compiler/bootstrap/compilation/x64/64
Dec 12 04:19:34 Finished compiler/bootstrap/compilation/x64/64             18h28m14s  64GB
Dec 12 04:19:34 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 12 04:22:54 Finished compiler/bootstrap/compilation/x64/64/proofs          3m18s  24GB
Dec 12 04:22:54 Starting compiler/bootstrap/compilation/x64/32
Dec 12 16:28:20 Finished compiler/bootstrap/compilation/x64/32             12h05m24s  62GB
Dec 12 16:28:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 12 16:30:33 Finished compiler/bootstrap/compilation/x64/32/proofs          2m11s  31GB
Dec 12 16:30:34 SUCCESS