Job 583

CakeML:9198606c60fba7a58aaad203a4814adb5383d2f7
  Merge pull request #554 from CakeML/tiny [Nov 24 22:25:55]
HOL:1601ee10ec6c927e058311a9fb12a220d44b4a7c
  Make holpathdb bindings available in base Holmake variable environment [Nov 23 11:14:13]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Nov 25 12:15:01 Claimed job
Nov 25 12:15:07 Reusing HOL
Nov 25 12:15:58 Starting developers/bin
Nov 25 12:17:13 Finished developers/bin                                        1m14s 916MB
Nov 25 12:17:14 Starting semantics/ffi
Nov 25 12:17:26 Finished semantics/ffi                                           11s 279MB
Nov 25 12:17:27 Starting semantics
Nov 25 12:18:44 Finished semantics                                             1m16s 897MB
Nov 25 12:18:45 Starting semantics/proofs
Nov 25 12:21:36 Finished semantics/proofs                                      2m50s   1GB
Nov 25 12:21:37 Starting basis/pure
Nov 25 12:22:30 Finished basis/pure                                              52s 633MB
Nov 25 12:22:31 Starting translator
Nov 25 12:25:34 Finished translator                                            3m01s   1GB
Nov 25 12:25:34 Starting compiler/parsing
Nov 25 12:26:50 Finished compiler/parsing                                      1m15s   2GB
Nov 25 12:26:51 Starting characteristic
Nov 25 12:29:23 Finished characteristic                                        2m30s   1GB
Nov 25 12:29:23 Starting translator/monadic
Nov 25 12:30:54 Finished translator/monadic                                    1m29s   1GB
Nov 25 12:30:54 Starting basis
Nov 25 12:47:00 Finished basis                                                16m04s   4GB
Nov 25 12:47:01 Starting compiler/inference
Nov 25 12:48:25 Finished compiler/inference                                    1m24s   1GB
Nov 25 12:48:26 Starting compiler/backend/reg_alloc
Nov 25 12:49:14 Finished compiler/backend/reg_alloc                              47s 962MB
Nov 25 12:49:14 Starting compiler/backend/gc
Nov 25 12:55:33 Finished compiler/backend/gc                                   6m18s   1GB
Nov 25 12:55:34 Starting compiler/backend
Nov 25 12:55:37 Finished compiler/backend                                         2s  16MB
Nov 25 12:55:38 Starting compiler/encoders/asm
Nov 25 12:55:39 Finished compiler/encoders/asm                                    1s  11MB
Nov 25 12:55:40 Starting compiler/encoders/x64
Nov 25 12:55:57 Finished compiler/encoders/x64                                   16s 402MB
Nov 25 12:55:58 Starting compiler/encoders/arm6
Nov 25 12:56:42 Finished compiler/encoders/arm6                                  43s 435MB
Nov 25 12:56:43 Starting compiler/encoders/arm8
Nov 25 12:56:52 Finished compiler/encoders/arm8                                   8s 421MB
Nov 25 12:56:52 Starting compiler/encoders/mips
Nov 25 12:57:03 Finished compiler/encoders/mips                                   9s 476MB
Nov 25 12:57:03 Starting compiler/encoders/riscv
Nov 25 12:57:13 Finished compiler/encoders/riscv                                  8s 408MB
Nov 25 12:57:13 Starting compiler/encoders/ag32
Nov 25 12:57:31 Finished compiler/encoders/ag32                                  16s 634MB
Nov 25 12:57:32 Starting compiler/backend/x64
Nov 25 12:57:50 Finished compiler/backend/x64                                    17s 777MB
Nov 25 12:57:50 Starting compiler/backend/arm6
Nov 25 12:58:10 Finished compiler/backend/arm6                                   19s   1GB
Nov 25 12:58:11 Starting compiler/backend/arm8
Nov 25 12:58:30 Finished compiler/backend/arm8                                   18s   1GB
Nov 25 12:58:31 Starting compiler/backend/mips
Nov 25 12:58:50 Finished compiler/backend/mips                                   18s   1GB
Nov 25 12:58:51 Starting compiler/backend/riscv
Nov 25 12:59:09 Finished compiler/backend/riscv                                  18s   1GB
Nov 25 12:59:10 Starting compiler/backend/ag32
Nov 25 13:00:21 Finished compiler/backend/ag32                                 1m10s   1GB
Nov 25 13:00:22 Starting compiler/parsing/proofs
Nov 25 13:06:21 Finished compiler/parsing/proofs                               5m58s   1GB
Nov 25 13:06:21 Starting compiler/inference/proofs
Nov 25 13:09:10 Finished compiler/inference/proofs                             2m48s   1GB
Nov 25 13:09:11 Starting compiler/backend/semantics
Nov 25 13:17:53 Finished compiler/backend/semantics                            8m41s   2GB
Nov 25 13:17:54 Starting compiler/backend/reg_alloc/proofs
Nov 25 13:20:36 Finished compiler/backend/reg_alloc/proofs                     2m41s 642MB
Nov 25 13:20:37 Starting compiler/backend/proofs
Nov 25 14:03:14 Finished compiler/backend/proofs                              42m36s   5GB
Nov 25 14:03:15 Starting compiler/encoders/x64/proofs
Nov 25 14:12:31 Finished compiler/encoders/x64/proofs                          9m15s 776MB
Nov 25 14:12:31 Starting compiler/encoders/arm6/proofs
Nov 25 14:26:11 Finished compiler/encoders/arm6/proofs                        13m39s   1GB
Nov 25 14:26:12 Starting compiler/encoders/arm8/proofs
Nov 25 14:32:04 Finished compiler/encoders/arm8/proofs                         5m51s   1GB
Nov 25 14:32:05 Starting compiler/encoders/mips/proofs
Nov 25 14:41:43 Finished compiler/encoders/mips/proofs                         9m37s   2GB
Nov 25 14:41:44 Starting compiler/encoders/riscv/proofs
Nov 25 14:49:37 Finished compiler/encoders/riscv/proofs                        7m51s 710MB
Nov 25 14:49:37 Starting compiler/encoders/ag32/proofs
Nov 25 14:52:18 Finished compiler/encoders/ag32/proofs                         2m39s 752MB
Nov 25 14:52:18 Starting compiler/backend/x64/proofs
Nov 25 14:52:40 Finished compiler/backend/x64/proofs                             20s   1GB
Nov 25 14:52:41 Starting compiler/backend/arm6/proofs
Nov 25 14:53:04 Finished compiler/backend/arm6/proofs                            23s 847MB
Nov 25 14:53:05 Starting compiler/backend/arm8/proofs
Nov 25 14:53:26 Finished compiler/backend/arm8/proofs                            20s   1GB
Nov 25 14:53:26 Starting compiler/backend/mips/proofs
Nov 25 14:53:49 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 25 14:53:49 Starting compiler/backend/riscv/proofs
Nov 25 14:54:12 Finished compiler/backend/riscv/proofs                           22s   1GB
Nov 25 14:54:13 Starting compiler/backend/ag32/proofs
Nov 25 15:03:40 Finished compiler/backend/ag32/proofs                          9m26s   2GB
Nov 25 15:03:40 Starting compiler/proofs
Nov 25 15:05:01 Finished compiler/proofs                                       1m19s   2GB
Nov 25 15:05:02 Starting candle/set-theory
Nov 25 15:05:29 Finished candle/set-theory                                       26s 615MB
Nov 25 15:05:29 Starting candle/syntax-lib
Nov 25 15:05:40 Finished candle/syntax-lib                                       10s 474MB
Nov 25 15:05:41 Starting candle/standard/syntax
Nov 25 15:07:14 Finished candle/standard/syntax                                1m32s 590MB
Nov 25 15:07:15 Starting candle/standard/semantics
Nov 25 15:08:36 Finished candle/standard/semantics                             1m20s 840MB
Nov 25 15:08:37 Starting candle/standard/monadic
Nov 25 15:10:10 Finished candle/standard/monadic                               1m32s   1GB
Nov 25 15:10:10 Starting candle/standard/ml_kernel
Nov 25 15:25:26 Finished candle/standard/ml_kernel                            15m14s   3GB
Nov 25 15:25:26 Starting candle/standard/opentheory
Nov 25 15:33:15 Finished candle/standard/opentheory                            7m47s   2GB
Nov 25 15:33:16 Starting candle/standard/opentheory/compilation
Nov 25 16:02:15 Finished candle/standard/opentheory/compilation               28m57s  15GB
Nov 25 16:02:15 Starting candle/standard/opentheory/compilation/proofs
Nov 25 16:02:56 Finished candle/standard/opentheory/compilation/proofs           40s   4GB
Nov 25 16:02:57 Starting characteristic/examples
Nov 25 16:04:27 Finished characteristic/examples                               1m29s   2GB
Nov 25 16:04:27 Starting tutorial/solutions
Nov 25 16:17:55 Finished tutorial/solutions                                   13m27s   6GB
Nov 25 16:17:56 Starting translator/monadic/examples
Nov 25 16:19:43 Finished translator/monadic/examples                           1m46s   2GB
Nov 25 16:19:44 Starting examples
Nov 25 16:26:05 Finished examples                                              6m20s   2GB
Nov 25 16:26:06 Starting examples/compilation/x64
Nov 25 18:19:59 Finished examples/compilation/x64                           1h53m52s  11GB
Nov 25 18:20:00 Starting examples/compilation/x64/proofs
Nov 25 18:22:00 Finished examples/compilation/x64/proofs                       1m59s   3GB
Nov 25 18:22:01 Starting examples/compilation/ag32
Nov 25 18:48:11 Finished examples/compilation/ag32                            26m09s   3GB
Nov 25 18:48:12 Starting examples/compilation/ag32/proofs
Nov 25 18:48:39 Finished examples/compilation/ag32/proofs                        26s   2GB
Nov 25 18:48:40 Starting compiler/benchmarks
Nov 25 18:48:41 Finished compiler/benchmarks                                      0s   4MB
Nov 25 18:48:42 Starting translator/okasaki-examples
Nov 25 18:52:09 Finished translator/okasaki-examples                           3m26s   1GB
Nov 25 18:52:10 Starting translator/other-examples
Nov 25 18:52:41 Finished translator/other-examples                               30s 773MB
Nov 25 18:52:41 Starting compiler/parsing/tests
Nov 25 18:53:07 Finished compiler/parsing/tests                                  24s 321MB
Nov 25 18:53:08 Starting compiler/inference/tests
Nov 25 18:57:08 Finished compiler/inference/tests                              3m59s   3GB
Nov 25 18:57:08 Starting compiler/bootstrap/translation
Nov 25 22:09:01 Finished compiler/bootstrap/translation                     3h11m52s  52GB
Nov 25 22:09:02 Starting unverified/sexpr-bootstrap/x64/64
Nov 25 22:17:14 Finished unverified/sexpr-bootstrap/x64/64                     8m10s  16GB
Nov 25 22:17:15 Starting unverified/sexpr-bootstrap/x64/32
Nov 25 22:22:47 Finished unverified/sexpr-bootstrap/x64/32                     5m30s  17GB
Nov 25 22:22:47 Starting compiler/bootstrap/compilation/x64/64
Nov 26 16:17:40 Finished compiler/bootstrap/compilation/x64/64             17h54m50s  64GB
Nov 26 16:17:40 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 26 16:21:11 Finished compiler/bootstrap/compilation/x64/64/proofs          3m29s  24GB
Nov 26 16:21:11 Starting compiler/bootstrap/compilation/x64/32
Nov 27 04:08:01 Finished compiler/bootstrap/compilation/x64/32             11h46m47s  63GB
Nov 27 04:08:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 27 04:10:28 Finished compiler/bootstrap/compilation/x64/32/proofs          2m26s  31GB
Nov 27 04:10:29 SUCCESS