Job 766

CakeML:2ea4be44c557842dfbae4dcfe0e8bdd57aa677e9
  speedup simple reg alloc a litle? [Mar 30 21:41:33]
#622 (improve_reg_alloc)
Merging into:4e837ffdd2b7c207dc897fe6802efd3407fce74d
  Merge pull request #624 from CakeML/cf-div [Mar 31 19:10:45]
HOL:d872621acf3aa74495543d022b8e3e4d9b72ed25
  Remove unused CT from DB.sig (it's used internally but not elsewhere) [Mar 30 06:56:26]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Mar 31 19:25:02 Claimed job
Mar 31 19:28:15 Building HOL
Mar 31 19:37:34 Starting developers
Mar 31 19:37:37 Finished developers                                               2s  22MB
Mar 31 19:37:37 Starting developers/bin
Mar 31 19:38:51 Finished developers/bin                                        1m13s 918MB
Mar 31 19:38:51 Starting semantics/ffi
Mar 31 19:39:29 Finished semantics/ffi                                           37s 512MB
Mar 31 19:39:29 Starting semantics
Mar 31 19:41:07 Finished semantics                                             1m37s   1GB
Mar 31 19:41:07 Starting semantics/proofs
Mar 31 19:44:03 Finished semantics/proofs                                      2m55s 993MB
Mar 31 19:44:03 Starting basis/pure
Mar 31 19:47:38 Finished basis/pure                                            3m34s 620MB
Mar 31 19:47:38 Starting translator
Mar 31 19:49:17 Finished translator                                            1m38s   1GB
Mar 31 19:49:17 Starting compiler/parsing
Mar 31 19:50:16 Finished compiler/parsing                                        58s   2GB
Mar 31 19:50:17 Starting characteristic
Mar 31 19:55:23 Finished characteristic                                        5m06s   1GB
Mar 31 19:55:23 Starting translator/monadic
Mar 31 19:56:53 Finished translator/monadic                                    1m29s   1GB
Mar 31 19:56:54 Starting basis
Mar 31 20:13:14 Finished basis                                                16m20s   2GB
Mar 31 20:13:15 Starting compiler/inference
Mar 31 20:15:03 Finished compiler/inference                                    1m47s   1GB
Mar 31 20:15:03 Starting compiler/backend/reg_alloc
Mar 31 20:15:56 Finished compiler/backend/reg_alloc                              53s   1GB
Mar 31 20:15:56 Starting compiler/backend/gc
Mar 31 20:24:59 Finished compiler/backend/gc                                   9m02s   2GB
Mar 31 20:24:59 Starting compiler/backend
Mar 31 20:25:02 Finished compiler/backend                                         2s  15MB
Mar 31 20:25:03 Starting compiler/encoders/asm
Mar 31 20:25:04 Finished compiler/encoders/asm                                    1s  17MB
Mar 31 20:25:04 Starting compiler/encoders/x64
Mar 31 20:26:05 Finished compiler/encoders/x64                                 1m00s 751MB
Mar 31 20:26:05 Starting compiler/encoders/arm6
Mar 31 20:27:41 Finished compiler/encoders/arm6                                1m36s   1GB
Mar 31 20:27:41 Starting compiler/encoders/arm8
Mar 31 20:28:13 Finished compiler/encoders/arm8                                  31s 811MB
Mar 31 20:28:14 Starting compiler/encoders/mips
Mar 31 20:29:19 Finished compiler/encoders/mips                                1m04s   1GB
Mar 31 20:29:19 Starting compiler/encoders/riscv
Mar 31 20:30:38 Finished compiler/encoders/riscv                               1m19s   1GB
Mar 31 20:30:38 Starting compiler/encoders/ag32
Mar 31 20:30:55 Finished compiler/encoders/ag32                                  16s 766MB
Mar 31 20:30:56 Starting compiler/backend/x64
Mar 31 20:31:14 Finished compiler/backend/x64                                    17s   1GB
Mar 31 20:31:14 Starting compiler/backend/arm6
Mar 31 20:31:34 Finished compiler/backend/arm6                                   19s   1GB
Mar 31 20:31:34 Starting compiler/backend/arm8
Mar 31 20:31:52 Finished compiler/backend/arm8                                   17s   1GB
Mar 31 20:31:52 Starting compiler/backend/mips
Mar 31 20:32:11 Finished compiler/backend/mips                                   17s   1GB
Mar 31 20:32:11 Starting compiler/backend/riscv
Mar 31 20:32:29 Finished compiler/backend/riscv                                  18s   1GB
Mar 31 20:32:29 Starting compiler/backend/ag32
Mar 31 20:33:36 Finished compiler/backend/ag32                                 1m06s   1GB
Mar 31 20:33:36 Starting compiler/parsing/proofs
Mar 31 20:39:12 Finished compiler/parsing/proofs                               5m35s 844MB
Mar 31 20:39:12 Starting compiler/inference/proofs
Mar 31 20:41:50 Finished compiler/inference/proofs                             2m37s   1GB
Mar 31 20:41:50 Starting compiler/backend/semantics
Mar 31 20:48:39 Finished compiler/backend/semantics                            6m48s   1GB
Mar 31 20:48:39 Starting compiler/backend/reg_alloc/proofs
Mar 31 20:51:22 Finished compiler/backend/reg_alloc/proofs                     2m42s   1GB
Mar 31 20:51:22 Starting compiler/backend/proofs
Mar 31 21:27:56 Finished compiler/backend/proofs                              36m33s   3GB
Mar 31 21:27:56 Starting compiler/encoders/x64/proofs
Mar 31 21:37:46 Finished compiler/encoders/x64/proofs                          9m50s   5GB
Mar 31 21:37:46 Starting compiler/encoders/arm6/proofs
Mar 31 21:51:01 Finished compiler/encoders/arm6/proofs                        13m13s   3GB
Mar 31 21:51:01 Starting compiler/encoders/arm8/proofs
Mar 31 21:56:38 Finished compiler/encoders/arm8/proofs                         5m36s   1GB
Mar 31 21:56:38 Starting compiler/encoders/mips/proofs
Mar 31 22:06:23 Finished compiler/encoders/mips/proofs                         9m44s   2GB
Mar 31 22:06:23 Starting compiler/encoders/riscv/proofs
Mar 31 22:14:41 Finished compiler/encoders/riscv/proofs                        8m17s   1GB
Mar 31 22:14:41 Starting compiler/encoders/ag32/proofs
Mar 31 22:17:08 Finished compiler/encoders/ag32/proofs                         2m26s 627MB
Mar 31 22:17:08 Starting compiler/backend/x64/proofs
Mar 31 22:17:28 Finished compiler/backend/x64/proofs                             19s   1GB
Mar 31 22:17:28 Starting compiler/backend/arm6/proofs
Mar 31 22:17:50 Finished compiler/backend/arm6/proofs                            21s   1GB
Mar 31 22:17:50 Starting compiler/backend/arm8/proofs
Mar 31 22:18:10 Finished compiler/backend/arm8/proofs                            19s   1GB
Mar 31 22:18:10 Starting compiler/backend/mips/proofs
Mar 31 22:18:30 Finished compiler/backend/mips/proofs                            19s 926MB
Mar 31 22:18:30 Starting compiler/backend/riscv/proofs
Mar 31 22:18:51 Finished compiler/backend/riscv/proofs                           20s   1GB
Mar 31 22:18:51 Starting compiler/backend/ag32/proofs
Mar 31 22:27:41 Finished compiler/backend/ag32/proofs                          8m49s   1GB
Mar 31 22:27:41 Starting compiler/proofs
Mar 31 22:29:09 Finished compiler/proofs                                       1m27s   3GB
Mar 31 22:29:09 Starting candle/set-theory
Mar 31 22:29:36 Finished candle/set-theory                                       26s 735MB
Mar 31 22:29:36 Starting candle/syntax-lib
Mar 31 22:29:47 Finished candle/syntax-lib                                       10s 528MB
Mar 31 22:29:47 Starting candle/standard/syntax
Mar 31 22:31:32 Finished candle/standard/syntax                                1m44s   1GB
Mar 31 22:31:32 Starting candle/standard/semantics
Mar 31 22:33:10 Finished candle/standard/semantics                             1m37s   1GB
Mar 31 22:33:10 Starting candle/standard/monadic
Mar 31 22:34:43 Finished candle/standard/monadic                               1m32s   1GB
Mar 31 22:34:43 Starting candle/standard/ml_kernel
Mar 31 22:38:27 Finished candle/standard/ml_kernel                             3m43s   2GB
Mar 31 22:38:28 Starting candle/standard/opentheory
Mar 31 22:46:41 Finished candle/standard/opentheory                            8m13s   3GB
Mar 31 22:46:41 Starting candle/standard/opentheory/compilation
Mar 31 23:15:40 Finished candle/standard/opentheory/compilation               28m58s  22GB
Mar 31 23:15:40 Starting candle/standard/opentheory/compilation/proofs
Mar 31 23:16:31 Finished candle/standard/opentheory/compilation/proofs           50s   2GB
Mar 31 23:16:32 Starting characteristic/examples
Mar 31 23:17:55 Finished characteristic/examples                               1m22s   2GB
Mar 31 23:17:55 Starting tutorial/solutions
Mar 31 23:30:51 Finished tutorial/solutions                                   12m56s   9GB
Mar 31 23:30:52 Starting translator/monadic/examples
Mar 31 23:33:21 Finished translator/monadic/examples                           2m29s   2GB
Mar 31 23:33:21 Starting examples
Mar 31 23:41:36 Finished examples                                              8m14s   4GB
Mar 31 23:41:36 Starting examples/compilation/x64
Apr 01 01:33:31 Finished examples/compilation/x64                           1h51m54s  13GB
Apr 01 01:33:31 Starting examples/compilation/x64/proofs
Apr 01 01:34:58 Finished examples/compilation/x64/proofs                       1m26s   2GB
Apr 01 01:34:58 Starting examples/compilation/ag32
Apr 01 02:02:36 Finished examples/compilation/ag32                            27m37s   6GB
Apr 01 02:02:36 Starting examples/compilation/ag32/proofs
Apr 01 02:03:35 Finished examples/compilation/ag32/proofs                        59s   2GB
Apr 01 02:03:36 Starting translator/okasaki-examples
Apr 01 02:07:37 Finished translator/okasaki-examples                           4m01s   1GB
Apr 01 02:07:38 Starting translator/other-examples
Apr 01 02:11:14 Finished translator/other-examples                             3m36s   1GB
Apr 01 02:11:14 Starting compiler/parsing/tests
Apr 01 02:11:40 Finished compiler/parsing/tests                                  25s 567MB
Apr 01 02:11:40 Starting compiler/inference/tests
Apr 01 02:15:48 Finished compiler/inference/tests                              4m07s   5GB
Apr 01 02:15:49 Starting compiler/bootstrap/translation
Apr 01 04:38:36 Finished compiler/bootstrap/translation                     2h22m46s  41GB
Apr 01 04:38:36 Starting unverified/sexpr-bootstrap/x64/64
Apr 01 04:45:58 Finished unverified/sexpr-bootstrap/x64/64                     7m21s   3GB
Apr 01 04:45:58 Starting unverified/sexpr-bootstrap/x64/32
Apr 01 04:51:28 Finished unverified/sexpr-bootstrap/x64/32                     5m29s   6GB
Apr 01 04:51:28 Starting compiler/benchmarks
Apr 01 04:51:35 Finished compiler/benchmarks                                      6s  30MB
Apr 01 04:51:35 Starting compiler/bootstrap/compilation/x64/64
Apr 01 16:00:32 Finished compiler/bootstrap/compilation/x64/64             11h08m56s  64GB
Apr 01 16:00:32 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 01 16:04:34 Finished compiler/bootstrap/compilation/x64/64/proofs          4m01s   5GB
Apr 01 16:04:34 Starting compiler/bootstrap/compilation/x64/32
Apr 02 01:13:48 Finished compiler/bootstrap/compilation/x64/32              9h09m13s  64GB
Apr 02 01:13:48 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 02 01:16:16 Finished compiler/bootstrap/compilation/x64/32/proofs          2m28s   9GB
Apr 02 01:16:17 Starting compiler/bootstrap/compilation/ag32/32
Apr 02 12:22:09 Finished compiler/bootstrap/compilation/ag32/32            11h05m51s  64GB
Apr 02 12:22:09 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 02 12:43:42 Finished compiler/bootstrap/compilation/ag32/32/proofs        21m32s  11GB
Apr 02 12:43:42 SUCCESS