Job 1303

CakeML:ae7402f70b65ed02fb8e2c6752605adc4cc8f432
  Merge pull request #740 from CakeML/io [Jul 05 07:33:00]
HOL:6f28c73ae9284a3419a94804032a979c36154808
  Fix another use of PAT_ASSUM that quotes existing variables [Jul 08 12:09:34]
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

Jul 09 11:20:17 Claimed job
Jul 09 11:20:27 Building HOL
Jul 09 11:35:18 Starting developers
Jul 09 11:35:23 Finished developers                                               4s 105MB
Jul 09 11:35:23 Starting developers/bin
Jul 09 11:35:30 Finished developers/bin                                           7s   1GB
Jul 09 11:35:30 Starting semantics/ffi
Jul 09 11:35:43 Finished semantics/ffi                                           12s 237MB
Jul 09 11:35:43 Starting semantics
Jul 09 11:37:30 Finished semantics                                             1m46s   1GB
Jul 09 11:37:30 Starting semantics/proofs
Jul 09 11:41:17 Finished semantics/proofs                                      3m46s 943MB
Jul 09 11:41:17 Starting semantics/alt_semantics
Jul 09 11:41:27 Finished semantics/alt_semantics                                  9s 315MB
Jul 09 11:41:27 Starting semantics/alt_semantics/proofs
Jul 09 11:43:49 Finished semantics/alt_semantics/proofs                        2m21s 866MB
Jul 09 11:43:50 Starting basis/pure
Jul 09 11:47:03 Finished basis/pure                                            3m13s 871MB
Jul 09 11:47:03 Starting translator
Jul 09 11:49:59 Finished translator                                            2m55s   1GB
Jul 09 11:50:00 Starting compiler/parsing
Jul 09 11:51:17 Finished compiler/parsing                                      1m16s   1GB
Jul 09 11:51:17 Starting characteristic
Jul 09 11:57:49 Finished characteristic                                        6m32s   1GB
Jul 09 11:57:49 Starting translator/monadic
Jul 09 11:59:36 Finished translator/monadic                                    1m46s   1GB
Jul 09 11:59:36 Starting basis
Jul 09 12:38:35 Finished basis                                                38m58s  19GB
Jul 09 12:38:35 Starting compiler/inference
Jul 09 12:39:53 Finished compiler/inference                                    1m17s 992MB
Jul 09 12:39:53 Starting compiler/backend/reg_alloc
Jul 09 12:41:06 Finished compiler/backend/reg_alloc                            1m12s   1GB
Jul 09 12:41:06 Starting compiler/backend/gc
Jul 09 12:45:23 Finished compiler/backend/gc                                   4m16s   2GB
Jul 09 12:45:23 Starting compiler/backend
Jul 12 11:52:04 Resuming compiler/backend
Jul 12 11:52:55 Finished compiler/backend                                        50s   1GB
Jul 12 11:52:55 Starting compiler/encoders/asm
Jul 12 11:53:20 Finished compiler/encoders/asm                                   24s 696MB
Jul 12 11:53:20 Starting compiler/encoders/x64
Jul 12 11:54:27 Finished compiler/encoders/x64                                 1m07s 891MB
Jul 12 11:54:28 Starting compiler/encoders/arm7
Jul 12 11:56:35 Finished compiler/encoders/arm7                                2m07s   1GB
Jul 12 11:56:35 Starting compiler/encoders/arm8
Jul 12 11:57:16 Finished compiler/encoders/arm8                                  40s 612MB
Jul 12 11:57:16 Starting compiler/encoders/mips
Jul 12 11:58:45 Finished compiler/encoders/mips                                1m28s   1GB
Jul 12 11:58:45 Starting compiler/encoders/riscv
Jul 12 12:00:29 Finished compiler/encoders/riscv                               1m43s   1GB
Jul 12 12:00:29 Starting compiler/encoders/ag32
Jul 12 12:00:49 Finished compiler/encoders/ag32                                  20s 802MB
Jul 12 12:00:49 Starting compiler/backend/x64
Jul 12 12:01:08 Finished compiler/backend/x64                                    18s   1GB
Jul 12 12:01:08 Starting compiler/backend/arm7
Jul 12 12:01:31 Finished compiler/backend/arm7                                   22s   1GB
Jul 12 12:01:31 Starting compiler/backend/arm8
Jul 12 12:01:52 Finished compiler/backend/arm8                                   21s   1GB
Jul 12 12:01:53 Starting compiler/backend/mips
Jul 12 12:02:14 Finished compiler/backend/mips                                   21s   1GB
Jul 12 12:02:14 Starting compiler/backend/riscv
Jul 12 12:02:35 Finished compiler/backend/riscv                                  20s   1GB
Jul 12 12:02:35 Starting compiler/backend/ag32
Jul 12 12:03:57 Finished compiler/backend/ag32                                 1m21s   1GB
Jul 12 12:03:57 Starting compiler/parsing/proofs
Jul 12 12:10:06 Finished compiler/parsing/proofs                               6m09s 858MB
Jul 12 12:10:06 Starting compiler/inference/proofs
Jul 12 12:12:56 Finished compiler/inference/proofs                             2m49s 996MB
Jul 12 12:12:56 Starting compiler/backend/semantics
Jul 12 12:48:13 Finished compiler/backend/semantics                           35m16s   2GB
Jul 12 12:48:13 Starting compiler/backend/reg_alloc/proofs
Jul 12 12:52:10 Finished compiler/backend/reg_alloc/proofs                     3m57s   1GB
Jul 12 12:52:11 Starting compiler/backend/proofs
Jul 12 14:00:27 Finished compiler/backend/proofs                            1h08m16s  11GB
Jul 12 14:00:28 Starting compiler/encoders/x64/proofs
Jul 12 14:12:11 Finished compiler/encoders/x64/proofs                         11m43s   1GB
Jul 12 14:12:11 Starting compiler/encoders/arm7/proofs
Jul 12 14:26:50 Finished compiler/encoders/arm7/proofs                        14m38s   3GB
Jul 12 14:26:50 Starting compiler/encoders/arm8/proofs
Jul 12 14:34:12 Finished compiler/encoders/arm8/proofs                         7m22s   1GB
Jul 12 14:34:12 Starting compiler/encoders/mips/proofs
Jul 12 14:45:19 Finished compiler/encoders/mips/proofs                        11m06s   2GB
Jul 12 14:45:19 Starting compiler/encoders/riscv/proofs
Jul 12 14:54:49 Finished compiler/encoders/riscv/proofs                        9m29s   1GB
Jul 12 14:54:49 Starting compiler/encoders/ag32/proofs
Jul 12 14:57:43 Finished compiler/encoders/ag32/proofs                         2m53s   1GB
Jul 12 14:57:43 Starting compiler/backend/x64/proofs
Jul 12 14:58:07 Finished compiler/backend/x64/proofs                             24s   1GB
Jul 12 14:58:07 Starting compiler/backend/arm7/proofs
Jul 12 14:58:30 Finished compiler/backend/arm7/proofs                            22s 961MB
Jul 12 14:58:30 Starting compiler/backend/arm8/proofs
Jul 12 14:58:51 Finished compiler/backend/arm8/proofs                            20s   1GB
Jul 12 14:58:51 Starting compiler/backend/mips/proofs
Jul 12 14:59:15 Finished compiler/backend/mips/proofs                            23s   1GB
Jul 12 14:59:15 Starting compiler/backend/riscv/proofs
Jul 12 14:59:37 Finished compiler/backend/riscv/proofs                           22s   1GB
Jul 12 14:59:38 Starting compiler/backend/ag32/proofs
Jul 12 15:13:56 Finished compiler/backend/ag32/proofs                         14m18s   2GB
Jul 12 15:13:56 Starting compiler/proofs
Jul 12 15:15:55 Finished compiler/proofs                                       1m58s   2GB
Jul 12 15:15:55 Starting candle/set-theory
Jul 12 15:16:26 Finished candle/set-theory                                       31s 842MB
Jul 12 15:16:27 Starting candle/syntax-lib
Jul 12 15:16:39 Finished candle/syntax-lib                                       11s 650MB
Jul 12 15:16:39 Starting candle/standard/syntax
Jul 12 15:18:42 Finished candle/standard/syntax                                2m03s 888MB
Jul 12 15:18:42 Starting candle/standard/semantics
Jul 12 15:20:39 Finished candle/standard/semantics                             1m56s   1GB
Jul 12 15:20:39 Starting candle/standard/monadic
Jul 12 15:22:34 Finished candle/standard/monadic                               1m54s   1GB
Jul 12 15:22:34 Starting candle/standard/ml_kernel
Jul 12 15:28:38 Finished candle/standard/ml_kernel                             6m03s   4GB
Jul 12 15:28:38 Starting candle/standard/opentheory
Jul 12 15:39:11 Finished candle/standard/opentheory                           10m32s   3GB
Jul 12 15:39:11 Starting candle/standard/opentheory/compilation
Jul 12 16:18:15 Finished candle/standard/opentheory/compilation               39m03s  12GB
Jul 12 16:18:15 Starting candle/standard/opentheory/compilation/proofs
Jul 12 16:19:15 Finished candle/standard/opentheory/compilation/proofs           59s   1GB
Jul 12 16:19:15 Starting candle/overloading/syntax
Jul 12 16:22:45 Finished candle/overloading/syntax                             3m30s 908MB
Jul 12 16:22:45 Starting candle/overloading/semantics
Jul 12 16:30:36 Finished candle/overloading/semantics                          7m50s   3GB
Jul 12 16:30:36 Starting characteristic/examples
Jul 12 16:32:01 Finished characteristic/examples                               1m24s   2GB
Jul 12 16:32:01 Starting tutorial/solutions
Jul 12 16:48:09 Finished tutorial/solutions                                   16m07s   7GB
Jul 12 16:48:09 Starting translator/monadic/examples
Jul 12 16:52:05 Finished translator/monadic/examples                           3m55s   2GB
Jul 12 16:52:05 Starting examples
Jul 12 17:02:44 Finished examples                                             10m39s   4GB
Jul 12 17:02:44 Starting examples/compilation/x64
Jul 12 19:32:21 Finished examples/compilation/x64                           2h29m36s  13GB
Jul 12 19:32:21 Starting examples/compilation/x64/proofs
Jul 12 19:34:17 Finished examples/compilation/x64/proofs                       1m55s   2GB
Jul 12 19:34:17 Starting examples/compilation/ag32
Jul 12 20:07:37 Finished examples/compilation/ag32                            33m19s   6GB
Jul 12 20:07:38 Starting examples/compilation/ag32/proofs
Jul 12 20:08:26 Finished examples/compilation/ag32/proofs                        48s   2GB
Jul 12 20:08:26 Starting examples/cost
Jul 12 21:05:45 Finished examples/cost                                        57m18s   6GB
Jul 12 21:05:45 Starting examples/lpr_checker
Jul 12 21:10:05 Finished examples/lpr_checker                                  4m18s   2GB
Jul 12 21:10:05 Starting examples/lpr_checker/compilation
Jul 12 21:31:10 Finished examples/lpr_checker/compilation                     21m04s  11GB
Jul 12 21:31:10 Starting examples/lpr_checker/compilation/proofs
Jul 12 21:32:05 Finished examples/lpr_checker/compilation/proofs                 55s   1GB
Jul 12 21:32:05 Starting examples/lpr_checker/array
Jul 12 21:46:53 Finished examples/lpr_checker/array                           14m47s   2GB
Jul 12 21:46:53 Starting examples/lpr_checker/array/compilation
Jul 12 22:09:25 Finished examples/lpr_checker/array/compilation               22m31s   4GB
Jul 12 22:09:25 Starting examples/lpr_checker/array/compilation/proofs
Jul 12 22:10:15 Finished examples/lpr_checker/array/compilation/proofs           49s   3GB
Jul 12 22:10:15 Starting translator/okasaki-examples
Jul 12 22:15:20 Finished translator/okasaki-examples                           5m04s   1GB
Jul 12 22:15:20 Starting translator/other-examples
Jul 12 22:17:49 Finished translator/other-examples                             2m29s   1GB
Jul 12 22:17:50 Starting compiler/parsing/tests
Jul 12 22:18:19 Finished compiler/parsing/tests                                  28s 622MB
Jul 12 22:18:19 Starting compiler/inference/tests
Jul 12 22:23:23 Finished compiler/inference/tests                              5m04s   3GB
Jul 12 22:23:23 Starting compiler/bootstrap/translation
Jul 13 01:36:39 Finished compiler/bootstrap/translation                     3h13m15s  14GB
Jul 13 01:36:39 Starting unverified/sexpr-bootstrap/x64/64
Jul 13 01:46:34 Finished unverified/sexpr-bootstrap/x64/64                     9m53s   8GB
Jul 13 01:46:34 Starting unverified/sexpr-bootstrap/x64/32
Jul 13 01:54:17 Finished unverified/sexpr-bootstrap/x64/32                     7m41s   8GB
Jul 13 01:54:17 Starting compiler/benchmarks
Jul 13 01:54:19 Finished compiler/benchmarks                                      2s  23MB
Jul 13 01:54:19 Starting compiler/bootstrap/compilation/x64/64
Jul 13 23:17:47 Finished compiler/bootstrap/compilation/x64/64             21h23m26s  31GB
Jul 13 23:17:47 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 13 23:21:12 Finished compiler/bootstrap/compilation/x64/64/proofs          3m24s  13GB
Jul 13 23:21:12 Starting compiler/bootstrap/compilation/x64/32
Jul 14 18:17:42 Finished compiler/bootstrap/compilation/x64/32             18h56m28s  28GB
Jul 14 18:17:42 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 14 18:20:59 Finished compiler/bootstrap/compilation/x64/32/proofs          3m17s  13GB
Jul 14 18:20:59 Starting compiler/bootstrap/compilation/ag32/32
Jul 15 16:11:22 Finished compiler/bootstrap/compilation/ag32/32            21h50m22s  34GB
Jul 15 16:11:22 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 15 16:29:23 Finished compiler/bootstrap/compilation/ag32/32/proofs        18m00s  25GB
Jul 15 16:29:23 SUCCESS