Job 456

CakeML:647f4e17b2e75c7f7b7e1c9e1c3b7756121d4b0b
  Merge pull request #515 from CakeML/opentheory-reader [Aug 24 23:14:12]
HOL:65213190ea2f7198c593aefc0f515c9ecc771ab8
  Merge pull request #574 from binghe/rich_topology [Aug 24 05:56:37]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux
Artefacts:cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz

Aug 24 23:18:37 Claimed job
Aug 24 23:19:37 Building HOL
Aug 24 23:29:07 Starting developers/bin
Aug 24 23:29:45 Finished developers/bin                                          37s 911MB
Aug 24 23:29:45 Starting semantics/ffi
Aug 24 23:30:27 Finished semantics/ffi                                           40s 394MB
Aug 24 23:30:27 Starting semantics
Aug 24 23:32:01 Finished semantics                                             1m32s 909MB
Aug 24 23:32:01 Starting semantics/proofs
Aug 24 23:34:51 Finished semantics/proofs                                      2m49s   1GB
Aug 24 23:34:52 Starting basis/pure
Aug 24 23:38:35 Finished basis/pure                                            3m42s 650MB
Aug 24 23:38:36 Starting translator
Aug 24 23:39:48 Finished translator                                            1m12s 995MB
Aug 24 23:39:49 Starting compiler/parsing
Aug 24 23:41:39 Finished compiler/parsing                                      1m49s   1GB
Aug 24 23:41:40 Starting characteristic
Aug 24 23:44:19 Finished characteristic                                        2m38s   1GB
Aug 24 23:44:19 Starting translator/monadic
Aug 24 23:45:52 Finished translator/monadic                                    1m32s   1GB
Aug 24 23:45:53 Starting basis
Aug 25 00:03:29 Finished basis                                                17m35s   2GB
Aug 25 00:03:29 Starting compiler/inference
Aug 25 00:05:13 Finished compiler/inference                                    1m42s   1GB
Aug 25 00:05:13 Starting compiler/backend/reg_alloc
Aug 25 00:06:02 Finished compiler/backend/reg_alloc                              48s   1GB
Aug 25 00:06:03 Starting compiler/backend/gc
Aug 25 00:15:16 Finished compiler/backend/gc                                   9m12s   4GB
Aug 25 00:15:17 Starting compiler/backend
Aug 25 00:15:20 Finished compiler/backend                                         2s  17MB
Aug 25 00:15:21 Starting compiler/encoders/asm
Aug 25 00:15:22 Finished compiler/encoders/asm                                    1s  12MB
Aug 25 00:15:23 Starting compiler/encoders/x64
Aug 25 00:16:16 Finished compiler/encoders/x64                                   52s 585MB
Aug 25 00:16:17 Starting compiler/encoders/arm6
Aug 25 00:18:06 Finished compiler/encoders/arm6                                1m48s   1GB
Aug 25 00:18:06 Starting compiler/encoders/arm8
Aug 25 00:18:34 Finished compiler/encoders/arm8                                  27s 477MB
Aug 25 00:18:35 Starting compiler/encoders/mips
Aug 25 00:19:36 Finished compiler/encoders/mips                                1m00s 835MB
Aug 25 00:19:37 Starting compiler/encoders/riscv
Aug 25 00:20:41 Finished compiler/encoders/riscv                               1m03s 728MB
Aug 25 00:20:42 Starting compiler/backend/x64
Aug 25 00:21:01 Finished compiler/backend/x64                                    18s   1GB
Aug 25 00:21:02 Starting compiler/backend/arm6
Aug 25 00:21:23 Finished compiler/backend/arm6                                   19s   1GB
Aug 25 00:21:23 Starting compiler/backend/arm8
Aug 25 00:21:43 Finished compiler/backend/arm8                                   19s   1GB
Aug 25 00:21:44 Starting compiler/backend/mips
Aug 25 00:22:04 Finished compiler/backend/mips                                   19s   1GB
Aug 25 00:22:05 Starting compiler/backend/riscv
Aug 25 00:22:24 Finished compiler/backend/riscv                                  18s   1GB
Aug 25 00:22:25 Starting compiler/parsing/proofs
Aug 25 00:28:57 Finished compiler/parsing/proofs                               6m31s 812MB
Aug 25 00:28:57 Starting compiler/inference/proofs
Aug 25 00:31:59 Finished compiler/inference/proofs                             3m00s   1GB
Aug 25 00:31:59 Starting compiler/backend/semantics
Aug 25 00:41:59 Finished compiler/backend/semantics                            9m59s   2GB
Aug 25 00:42:00 Starting compiler/backend/reg_alloc/proofs
Aug 25 00:49:08 Finished compiler/backend/reg_alloc/proofs                     7m07s 583MB
Aug 25 00:49:08 Starting compiler/backend/proofs
Aug 25 01:29:00 Finished compiler/backend/proofs                              39m50s   3GB
Aug 25 01:29:01 Starting compiler/encoders/x64/proofs
Aug 25 01:36:50 Finished compiler/encoders/x64/proofs                          7m48s   4GB
Aug 25 01:36:51 Starting compiler/encoders/arm6/proofs
Aug 25 01:44:33 Finished compiler/encoders/arm6/proofs                         7m41s   2GB
Aug 25 01:44:34 Starting compiler/encoders/arm8/proofs
Aug 25 01:50:03 Finished compiler/encoders/arm8/proofs                         5m27s 993MB
Aug 25 01:50:03 Starting compiler/encoders/mips/proofs
Aug 25 01:57:32 Finished compiler/encoders/mips/proofs                         7m28s   1GB
Aug 25 01:57:33 Starting compiler/encoders/riscv/proofs
Aug 25 02:05:42 Finished compiler/encoders/riscv/proofs                        8m08s 730MB
Aug 25 02:05:43 Starting compiler/backend/x64/proofs
Aug 25 02:06:04 Finished compiler/backend/x64/proofs                             20s   1GB
Aug 25 02:06:05 Starting compiler/backend/arm6/proofs
Aug 25 02:06:28 Finished compiler/backend/arm6/proofs                            22s   1GB
Aug 25 02:06:29 Starting compiler/backend/arm8/proofs
Aug 25 02:06:48 Finished compiler/backend/arm8/proofs                            19s 760MB
Aug 25 02:06:49 Starting compiler/backend/mips/proofs
Aug 25 02:07:12 Finished compiler/backend/mips/proofs                            22s 803MB
Aug 25 02:07:13 Starting compiler/backend/riscv/proofs
Aug 25 02:07:34 Finished compiler/backend/riscv/proofs                           20s   1GB
Aug 25 02:07:35 Starting compiler/proofs
Aug 25 02:09:00 Finished compiler/proofs                                       1m25s   2GB
Aug 25 02:09:01 Starting candle/set-theory
Aug 25 02:09:35 Finished candle/set-theory                                       33s 702MB
Aug 25 02:09:35 Starting candle/syntax-lib
Aug 25 02:09:46 Finished candle/syntax-lib                                       10s 637MB
Aug 25 02:09:47 Starting candle/standard/syntax
Aug 25 02:11:25 Finished candle/standard/syntax                                1m37s 717MB
Aug 25 02:11:26 Starting candle/standard/semantics
Aug 25 02:12:55 Finished candle/standard/semantics                             1m28s 873MB
Aug 25 02:12:55 Starting candle/standard/monadic
Aug 25 02:14:36 Finished candle/standard/monadic                               1m40s 848MB
Aug 25 02:14:37 Starting candle/standard/ml_kernel
Aug 25 02:31:17 Finished candle/standard/ml_kernel                            16m38s   4GB
Aug 25 02:31:17 Starting candle/standard/opentheory
Aug 25 02:40:16 Finished candle/standard/opentheory                            8m57s   7GB
Aug 25 02:40:17 Starting characteristic/examples
Aug 25 02:41:55 Finished characteristic/examples                               1m37s   2GB
Aug 25 02:41:55 Starting tutorial/solutions
Aug 25 02:55:30 Finished tutorial/solutions                                   13m34s   6GB
Aug 25 02:55:31 Starting translator/monadic/examples
Aug 25 02:57:33 Finished translator/monadic/examples                           2m01s   2GB
Aug 25 02:57:33 Starting examples
Aug 25 03:04:34 Finished examples                                              6m59s   3GB
Aug 25 03:04:35 Starting examples/compilation
Aug 25 05:05:38 Finished examples/compilation                               2h01m02s   9GB
Aug 25 05:05:38 Starting examples/compilation/proofs
Aug 25 05:07:40 Finished examples/compilation/proofs                           2m01s   3GB
Aug 25 05:07:41 Starting compiler/benchmarks
Aug 25 05:07:42 Finished compiler/benchmarks                                      0s   4MB
Aug 25 05:07:43 Starting translator/okasaki-examples
Aug 25 05:11:29 Finished translator/okasaki-examples                           3m46s   1GB
Aug 25 05:11:30 Starting translator/other-examples
Aug 25 05:15:07 Finished translator/other-examples                             3m36s   1GB
Aug 25 05:15:08 Starting compiler/parsing/tests
Aug 25 05:15:35 Finished compiler/parsing/tests                                  26s 273MB
Aug 25 05:15:35 Starting compiler/inference/tests
Aug 25 05:19:49 Finished compiler/inference/tests                              4m12s   5GB
Aug 25 05:19:49 Starting compiler/bootstrap/translation
Aug 25 11:17:10 Finished compiler/bootstrap/translation                     5h57m19s  29GB
Aug 25 11:17:10 Starting unverified/sexpr-bootstrap/x64/64
Aug 25 11:20:39 Finished unverified/sexpr-bootstrap/x64/64                     3m26s  10GB
Aug 25 11:20:39 Starting unverified/sexpr-bootstrap/x64/32
Aug 25 11:23:15 Finished unverified/sexpr-bootstrap/x64/32                     2m34s  13GB
Aug 25 11:23:16 Starting compiler/bootstrap/compilation/x64/64 Aug 25 11:23:16 62137s