Job 315

CakeML:d967ef11aadb33d31140023672e61f081c95f18f
  Fix interpTheory for monadsyntax problems [May 09 09:51:39]
HOL:9d31c479b4b04cb87ab3bed186b657d646e8fffe
  Make quote-filter handle newlines in type quotations consistently [May 07 03:26:52]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

May 09 11:11:00 Claimed job
May 09 11:11:17 Building HOL
May 09 11:19:23 Starting developers/bin
May 09 11:20:02 Finished developers/bin                                          38s 922MB
May 09 11:20:03 Starting semantics/ffi
May 09 11:20:42 Finished semantics/ffi                                           38s 462MB
May 09 11:20:43 Starting semantics
May 09 11:22:07 Finished semantics                                             1m23s   1GB
May 09 11:22:08 Starting semantics/proofs
May 09 11:23:56 Finished semantics/proofs                                      1m47s   1GB
May 09 11:23:57 Starting basis/pure
May 09 11:27:24 Finished basis/pure                                            3m27s 660MB
May 09 11:27:25 Starting translator
May 09 11:31:14 Finished translator                                            3m48s   1GB
May 09 11:31:15 Starting compiler/parsing
May 09 11:32:41 Finished compiler/parsing                                      1m25s   2GB
May 09 11:32:42 Starting characteristic
May 09 11:35:02 Finished characteristic                                        2m19s   1GB
May 09 11:35:02 Starting basis
May 09 11:51:43 Finished basis                                                16m40s   3GB
May 09 11:51:44 Starting translator/monadic
May 09 11:51:46 Finished translator/monadic                                       1s  16MB
May 09 11:51:47 Starting compiler/inference
May 09 11:53:21 Finished compiler/inference                                    1m33s 768MB
May 09 11:53:22 Starting compiler/backend/reg_alloc
May 09 11:53:47 Finished compiler/backend/reg_alloc                              25s 737MB
May 09 11:53:48 Starting compiler/backend/gc
May 09 12:02:29 Finished compiler/backend/gc                                   8m40s   2GB
May 09 12:02:30 Starting compiler/backend
May 09 12:02:33 Finished compiler/backend                                         2s  21MB
May 09 12:02:33 Starting compiler/encoders/asm
May 09 12:02:35 Finished compiler/encoders/asm                                    0s  14MB
May 09 12:02:36 Starting compiler/encoders/x64
May 09 12:03:26 Finished compiler/encoders/x64                                   50s 581MB
May 09 12:03:27 Starting compiler/encoders/arm6
May 09 12:05:12 Finished compiler/encoders/arm6                                1m44s   1GB
May 09 12:05:13 Starting compiler/encoders/arm8
May 09 12:05:38 Finished compiler/encoders/arm8                                  24s 497MB
May 09 12:05:39 Starting compiler/encoders/mips
May 09 12:06:35 Finished compiler/encoders/mips                                  55s 928MB
May 09 12:06:36 Starting compiler/encoders/riscv
May 09 12:07:36 Finished compiler/encoders/riscv                                 59s 671MB
May 09 12:07:37 Starting compiler/backend/x64
May 09 12:07:54 Finished compiler/backend/x64                                    16s 845MB
May 09 12:07:55 Starting compiler/backend/arm6
May 09 12:08:14 Finished compiler/backend/arm6                                   19s   1GB
May 09 12:08:15 Starting compiler/backend/arm8
May 09 12:08:34 Finished compiler/backend/arm8                                   18s   1GB
May 09 12:08:35 Starting compiler/backend/mips
May 09 12:08:54 Finished compiler/backend/mips                                   18s   1GB
May 09 12:08:55 Starting compiler/backend/riscv
May 09 12:09:14 Finished compiler/backend/riscv                                  18s   1GB
May 09 12:09:15 Starting compiler/parsing/proofs
May 09 12:15:22 Finished compiler/parsing/proofs                               6m06s 825MB
May 09 12:15:23 Starting compiler/inference/proofs
May 09 12:17:40 Finished compiler/inference/proofs                             2m16s   1GB
May 09 12:17:40 Starting compiler/backend/semantics
May 09 12:28:57 Finished compiler/backend/semantics                           11m15s   2GB
May 09 12:28:58 Starting compiler/backend/reg_alloc/proofs
May 09 12:29:37 Finished compiler/backend/reg_alloc/proofs                       38s 479MB
May 09 12:29:38 Starting compiler/backend/proofs
May 09 13:05:12 Finished compiler/backend/proofs                              35m33s   4GB
May 09 13:05:13 Starting compiler/encoders/x64/proofs
May 09 13:12:36 Finished compiler/encoders/x64/proofs                          7m22s   5GB
May 09 13:12:36 Starting compiler/encoders/arm6/proofs
May 09 13:20:08 Finished compiler/encoders/arm6/proofs                         7m30s   2GB
May 09 13:20:08 Starting compiler/encoders/arm8/proofs
May 09 13:25:30 Finished compiler/encoders/arm8/proofs                         5m20s   1GB
May 09 13:25:31 Starting compiler/encoders/mips/proofs
May 09 13:32:54 Finished compiler/encoders/mips/proofs                         7m22s   1GB
May 09 13:32:54 Starting compiler/encoders/riscv/proofs
May 09 13:40:54 Finished compiler/encoders/riscv/proofs                        7m58s 827MB
May 09 13:40:54 Starting compiler/backend/x64/proofs
May 09 13:41:15 Finished compiler/backend/x64/proofs                             19s   1GB
May 09 13:41:15 Starting compiler/backend/arm6/proofs
May 09 13:41:37 Finished compiler/backend/arm6/proofs                            21s 883MB
May 09 13:41:38 Starting compiler/backend/arm8/proofs
May 09 13:41:58 Finished compiler/backend/arm8/proofs                            19s   1GB
May 09 13:41:59 Starting compiler/backend/mips/proofs
May 09 13:42:19 Finished compiler/backend/mips/proofs                            19s   1GB
May 09 13:42:19 Starting compiler/backend/riscv/proofs
May 09 13:42:41 Finished compiler/backend/riscv/proofs                           20s   1GB
May 09 13:42:41 Starting compiler/proofs
May 09 13:43:56 Finished compiler/proofs                                       1m13s   2GB
May 09 13:43:56 Starting candle/set-theory
May 09 13:44:51 Finished candle/set-theory                                       54s 576MB
May 09 13:44:52 Starting candle/syntax-lib
May 09 13:45:02 Finished candle/syntax-lib                                        9s 624MB
May 09 13:45:03 Starting candle/standard/syntax
May 09 13:46:34 Finished candle/standard/syntax                                1m30s 675MB
May 09 13:46:35 Starting candle/standard/semantics
May 09 13:47:53 Finished candle/standard/semantics                             1m18s 932MB
May 09 13:47:54 Starting candle/standard/monadic
May 09 13:49:19 Finished candle/standard/monadic                               1m24s 940MB
May 09 13:49:20 Starting candle/standard/ml_kernel
May 09 13:55:34 Finished candle/standard/ml_kernel                             6m13s   2GB
May 09 13:55:35 Starting candle/standard/opentheory
May 09 13:55:50 Finished candle/standard/opentheory                              13s 697MB
May 09 13:55:50 Starting characteristic/examples
May 09 13:57:16 Finished characteristic/examples                               1m25s   1GB
May 09 13:57:17 Starting tutorial/solutions
May 09 14:20:54 Finished tutorial/solutions                                   23m36s  12GB
May 09 14:20:55 Starting translator/monadic/examples
May 09 14:22:44 Finished translator/monadic/examples                           1m47s   2GB
May 09 14:22:44 Starting examples
May 09 14:28:11 Finished examples                                              5m26s   2GB
May 09 14:28:12 Starting examples/compilation
May 09 18:25:18 Finished examples/compilation                               3h57m05s  26GB
May 09 18:25:19 Starting examples/compilation/proofs
May 09 18:28:30 Finished examples/compilation/proofs                           3m11s   5GB
May 09 18:28:31 Starting compiler/benchmarks
May 09 18:28:32 Finished compiler/benchmarks                                      0s   4MB
May 09 18:28:33 Starting translator/okasaki-examples
May 09 18:32:07 Finished translator/okasaki-examples                           3m33s   1GB
May 09 18:32:07 Starting translator/other-examples
May 09 18:35:36 Finished translator/other-examples                             3m27s   1GB
May 09 18:35:36 Starting compiler/parsing/tests
May 09 18:36:00 Finished compiler/parsing/tests                                  23s 320MB
May 09 18:36:01 Starting compiler/bootstrap/translation
May 09 23:29:45 Finished compiler/bootstrap/translation                     4h53m43s  38GB
May 09 23:29:46 Starting unverified/sexpr-bootstrap/x64/64
May 09 23:35:56 Finished unverified/sexpr-bootstrap/x64/64                     6m09s  10GB
May 09 23:35:57 Starting unverified/sexpr-bootstrap/x64/32
May 09 23:40:45 Finished unverified/sexpr-bootstrap/x64/32                     4m46s  12GB
May 09 23:40:45 Starting compiler/bootstrap/compilation/x64/64
May 11 04:35:29 Finished compiler/bootstrap/compilation/x64/64             28h54m41s  64GB
May 11 04:35:29 Starting compiler/bootstrap/compilation/x64/64/proofs
May 11 04:39:24 Finished compiler/bootstrap/compilation/x64/64/proofs          3m53s  28GB
May 11 04:39:24 Starting compiler/bootstrap/compilation/x64/32
May 11 18:55:38 Finished compiler/bootstrap/compilation/x64/32             14h16m10s  64GB
May 11 18:55:39 Starting compiler/bootstrap/compilation/x64/32/proofs
May 11 18:58:51 Finished compiler/bootstrap/compilation/x64/32/proofs          3m11s  25GB
May 11 18:58:51 SUCCESS