Job 820

CakeML:62c51fa831d455390795c47c53f56b050a23f7ad
  Merge pull request #627 from CakeML/monadic-trans-cleanup [Apr 27 07:20:55]
HOL:8e183cc626814e8bfbee46abcbf51798ee1c69b6
  Emacs mode: fix dumb bug in M-h H [Apr 29 06:05:42]
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

Apr 29 08:20:50 Claimed job
Apr 29 08:21:30 Building HOL
Apr 29 08:30:47 Starting developers
Apr 29 08:30:49 Finished developers                                               2s  20MB
Apr 29 08:30:49 Starting developers/bin
Apr 29 08:31:54 Finished developers/bin                                        1m04s 918MB
Apr 29 08:31:54 Starting semantics/ffi
Apr 29 08:32:32 Finished semantics/ffi                                           37s 476MB
Apr 29 08:32:32 Starting semantics
Apr 29 08:34:09 Finished semantics                                             1m36s   1GB
Apr 29 08:34:09 Starting semantics/proofs
Apr 29 08:37:06 Finished semantics/proofs                                      2m57s   1GB
Apr 29 08:37:07 Starting basis/pure
Apr 29 08:40:44 Finished basis/pure                                            3m36s 653MB
Apr 29 08:40:44 Starting translator
Apr 29 08:42:23 Finished translator                                            1m39s   1GB
Apr 29 08:42:24 Starting compiler/parsing
Apr 29 08:43:22 Finished compiler/parsing                                        58s   1GB
Apr 29 08:43:23 Starting characteristic
Apr 29 08:48:32 Finished characteristic                                        5m09s   1GB
Apr 29 08:48:33 Starting translator/monadic
Apr 29 08:50:02 Finished translator/monadic                                    1m28s   1GB
Apr 29 08:50:02 Starting basis
Apr 29 09:06:17 Finished basis                                                16m14s   3GB
Apr 29 09:06:17 Starting compiler/inference
Apr 29 09:08:06 Finished compiler/inference                                    1m48s   1GB
Apr 29 09:08:06 Starting compiler/backend/reg_alloc
Apr 29 09:09:06 Finished compiler/backend/reg_alloc                              59s   1GB
Apr 29 09:09:06 Starting compiler/backend/gc
Apr 29 09:18:12 Finished compiler/backend/gc                                   9m05s   2GB
Apr 29 09:18:12 Starting compiler/backend
Apr 29 09:18:14 Finished compiler/backend                                         2s  24MB
Apr 29 09:18:15 Starting compiler/encoders/asm
Apr 29 09:18:16 Finished compiler/encoders/asm                                    1s  16MB
Apr 29 09:18:17 Starting compiler/encoders/x64
Apr 29 09:19:18 Finished compiler/encoders/x64                                 1m01s 770MB
Apr 29 09:19:19 Starting compiler/encoders/arm6
Apr 29 09:20:59 Finished compiler/encoders/arm6                                1m40s   1GB
Apr 29 09:20:59 Starting compiler/encoders/arm8
Apr 29 09:21:32 Finished compiler/encoders/arm8                                  32s 792MB
Apr 29 09:21:32 Starting compiler/encoders/mips
Apr 29 09:22:39 Finished compiler/encoders/mips                                1m06s 860MB
Apr 29 09:22:39 Starting compiler/encoders/riscv
Apr 29 09:23:59 Finished compiler/encoders/riscv                               1m19s   1GB
Apr 29 09:23:59 Starting compiler/encoders/ag32
Apr 29 09:24:16 Finished compiler/encoders/ag32                                  16s 783MB
Apr 29 09:24:16 Starting compiler/backend/x64
Apr 29 09:24:34 Finished compiler/backend/x64                                    17s 943MB
Apr 29 09:24:35 Starting compiler/backend/arm6
Apr 29 09:24:55 Finished compiler/backend/arm6                                   20s   1GB
Apr 29 09:24:55 Starting compiler/backend/arm8
Apr 29 09:25:14 Finished compiler/backend/arm8                                   18s   1GB
Apr 29 09:25:14 Starting compiler/backend/mips
Apr 29 09:25:33 Finished compiler/backend/mips                                   19s   1GB
Apr 29 09:25:33 Starting compiler/backend/riscv
Apr 29 09:25:53 Finished compiler/backend/riscv                                  19s   1GB
Apr 29 09:25:53 Starting compiler/backend/ag32
Apr 29 09:27:02 Finished compiler/backend/ag32                                 1m09s 910MB
Apr 29 09:27:03 Starting compiler/parsing/proofs
Apr 29 09:32:40 Finished compiler/parsing/proofs                               5m36s   1GB
Apr 29 09:32:40 Starting compiler/inference/proofs
Apr 29 09:35:19 Finished compiler/inference/proofs                             2m38s   1GB
Apr 29 09:35:19 Starting compiler/backend/semantics
Apr 29 09:42:07 Finished compiler/backend/semantics                            6m47s   2GB
Apr 29 09:42:07 Starting compiler/backend/reg_alloc/proofs
Apr 29 09:45:21 Finished compiler/backend/reg_alloc/proofs                     3m14s 816MB
Apr 29 09:45:22 Starting compiler/backend/proofs
Apr 29 10:22:27 Finished compiler/backend/proofs                              37m04s   4GB
Apr 29 10:22:27 Starting compiler/encoders/x64/proofs
Apr 29 10:32:17 Finished compiler/encoders/x64/proofs                          9m50s   5GB
Apr 29 10:32:18 Starting compiler/encoders/arm6/proofs
Apr 29 10:45:28 Finished compiler/encoders/arm6/proofs                        13m09s   3GB
Apr 29 10:45:28 Starting compiler/encoders/arm8/proofs
Apr 29 10:52:01 Finished compiler/encoders/arm8/proofs                         6m33s   1GB
Apr 29 10:52:02 Starting compiler/encoders/mips/proofs
Apr 29 11:01:52 Finished compiler/encoders/mips/proofs                         9m50s   2GB
Apr 29 11:01:52 Starting compiler/encoders/riscv/proofs
Apr 29 11:10:10 Finished compiler/encoders/riscv/proofs                        8m18s   1GB
Apr 29 11:10:11 Starting compiler/encoders/ag32/proofs
Apr 29 11:12:38 Finished compiler/encoders/ag32/proofs                         2m26s 629MB
Apr 29 11:12:38 Starting compiler/backend/x64/proofs
Apr 29 11:12:58 Finished compiler/backend/x64/proofs                             19s   1GB
Apr 29 11:12:58 Starting compiler/backend/arm6/proofs
Apr 29 11:13:20 Finished compiler/backend/arm6/proofs                            21s   1GB
Apr 29 11:13:20 Starting compiler/backend/arm8/proofs
Apr 29 11:13:39 Finished compiler/backend/arm8/proofs                            18s 807MB
Apr 29 11:13:39 Starting compiler/backend/mips/proofs
Apr 29 11:14:00 Finished compiler/backend/mips/proofs                            20s   1GB
Apr 29 11:14:00 Starting compiler/backend/riscv/proofs
Apr 29 11:14:21 Finished compiler/backend/riscv/proofs                           20s   1GB
Apr 29 11:14:21 Starting compiler/backend/ag32/proofs
Apr 29 11:23:00 Finished compiler/backend/ag32/proofs                          8m39s   2GB
Apr 29 11:23:01 Starting compiler/proofs
Apr 29 11:24:17 Finished compiler/proofs                                       1m16s   2GB
Apr 29 11:24:17 Starting candle/set-theory
Apr 29 11:24:43 Finished candle/set-theory                                       25s 662MB
Apr 29 11:24:44 Starting candle/syntax-lib
Apr 29 11:24:54 Finished candle/syntax-lib                                       10s 658MB
Apr 29 11:24:55 Starting candle/standard/syntax
Apr 29 11:26:39 Finished candle/standard/syntax                                1m43s   1GB
Apr 29 11:26:39 Starting candle/standard/semantics
Apr 29 11:28:18 Finished candle/standard/semantics                             1m38s   1GB
Apr 29 11:28:18 Starting candle/standard/monadic
Apr 29 11:29:50 Finished candle/standard/monadic                               1m32s   1GB
Apr 29 11:29:51 Starting candle/standard/ml_kernel
Apr 29 11:33:36 Finished candle/standard/ml_kernel                             3m44s   3GB
Apr 29 11:33:36 Starting candle/standard/opentheory
Apr 29 11:41:50 Finished candle/standard/opentheory                            8m13s   4GB
Apr 29 11:41:50 Starting candle/standard/opentheory/compilation
Apr 29 12:11:26 Finished candle/standard/opentheory/compilation               29m35s  17GB
Apr 29 12:11:27 Starting candle/standard/opentheory/compilation/proofs
Apr 29 12:12:12 Finished candle/standard/opentheory/compilation/proofs           44s   2GB
Apr 29 12:12:12 Starting characteristic/examples
Apr 29 12:13:37 Finished characteristic/examples                               1m25s   2GB
Apr 29 12:13:38 Starting tutorial/solutions
Apr 29 12:26:47 Finished tutorial/solutions                                   13m09s   6GB
Apr 29 12:26:48 Starting translator/monadic/examples
Apr 29 12:29:40 Finished translator/monadic/examples                           2m51s   2GB
Apr 29 12:29:40 Starting examples
Apr 29 12:37:57 Finished examples                                              8m17s   4GB
Apr 29 12:37:57 Starting examples/compilation/x64
Apr 29 14:29:45 Finished examples/compilation/x64                           1h51m47s  14GB
Apr 29 14:29:46 Starting examples/compilation/x64/proofs
Apr 29 14:31:14 Finished examples/compilation/x64/proofs                       1m27s   2GB
Apr 29 14:31:14 Starting examples/compilation/ag32
Apr 29 14:58:56 Finished examples/compilation/ag32                            27m41s   6GB
Apr 29 14:58:56 Starting examples/compilation/ag32/proofs
Apr 29 14:59:43 Finished examples/compilation/ag32/proofs                        46s   3GB
Apr 29 14:59:44 Starting translator/okasaki-examples
Apr 29 15:03:45 Finished translator/okasaki-examples                           4m01s   1GB
Apr 29 15:03:46 Starting translator/other-examples
Apr 29 15:07:20 Finished translator/other-examples                             3m34s   1GB
Apr 29 15:07:21 Starting compiler/parsing/tests
Apr 29 15:07:47 Finished compiler/parsing/tests                                  25s 539MB
Apr 29 15:07:47 Starting compiler/inference/tests
Apr 29 15:11:48 Finished compiler/inference/tests                              4m00s   4GB
Apr 29 15:11:48 Starting compiler/bootstrap/translation
Apr 29 17:36:52 Finished compiler/bootstrap/translation                     2h25m03s  46GB
Apr 29 17:36:53 Starting unverified/sexpr-bootstrap/x64/64
Apr 29 17:44:16 Finished unverified/sexpr-bootstrap/x64/64                     7m22s   2GB
Apr 29 17:44:16 Starting unverified/sexpr-bootstrap/x64/32
Apr 29 17:48:40 Finished unverified/sexpr-bootstrap/x64/32                     4m22s   5GB
Apr 29 17:48:40 Starting compiler/benchmarks
Apr 29 17:48:47 Finished compiler/benchmarks                                      6s  23MB
Apr 29 17:48:48 Starting compiler/bootstrap/compilation/x64/64
Apr 30 03:50:49 Finished compiler/bootstrap/compilation/x64/64             10h02m00s  64GB
Apr 30 03:50:49 Starting compiler/bootstrap/compilation/x64/64/proofs
Apr 30 03:54:17 Finished compiler/bootstrap/compilation/x64/64/proofs          3m27s   5GB
Apr 30 03:54:17 Starting compiler/bootstrap/compilation/x64/32
Apr 30 13:55:50 Finished compiler/bootstrap/compilation/x64/32             10h01m32s  64GB
Apr 30 13:55:50 Starting compiler/bootstrap/compilation/x64/32/proofs
Apr 30 13:58:54 Finished compiler/bootstrap/compilation/x64/32/proofs          3m03s   5GB
Apr 30 13:58:55 Starting compiler/bootstrap/compilation/ag32/32
Apr 30 23:28:32 Finished compiler/bootstrap/compilation/ag32/32             9h29m37s  64GB
Apr 30 23:28:33 Starting compiler/bootstrap/compilation/ag32/32/proofs
Apr 30 23:50:24 Finished compiler/bootstrap/compilation/ag32/32/proofs        21m50s  12GB
Apr 30 23:50:24 SUCCESS