Job 1305

CakeML:45c65a8dd7cf3cbb4c2ac1b5a4a9c5c384639604
  Merge pull request #743 from CakeML/int-fromstring-fix [Jul 10 11:14:51]
HOL:6f28c73ae9284a3419a94804032a979c36154808
  Fix another use of PAT_ASSUM that quotes existing variables [Jul 08 12:09:34]
Machine:oven2 4.15.0-34-generic 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

Jul 12 19:39:57 Claimed job
Jul 12 19:40:00 Reusing HOL
Jul 12 19:40:10 Starting developers
Jul 12 19:40:10 Finished developers                                               0s  29MB
Jul 12 19:40:11 Starting developers/bin
Jul 12 19:40:17 Finished developers/bin                                           6s   1GB
Jul 12 19:40:17 Starting semantics/ffi
Jul 12 19:40:27 Finished semantics/ffi                                            9s 230MB
Jul 12 19:40:27 Starting semantics
Jul 12 19:41:47 Finished semantics                                             1m20s   1GB
Jul 12 19:41:47 Starting semantics/proofs
Jul 12 19:45:04 Finished semantics/proofs                                      3m16s   1GB
Jul 12 19:45:04 Starting semantics/alt_semantics
Jul 12 19:45:12 Finished semantics/alt_semantics                                  7s 339MB
Jul 12 19:45:13 Starting semantics/alt_semantics/proofs
Jul 12 19:47:16 Finished semantics/alt_semantics/proofs                        2m03s 941MB
Jul 12 19:47:16 Starting basis/pure
Jul 12 19:48:05 Finished basis/pure                                              48s 894MB
Jul 12 19:48:05 Starting translator
Jul 12 19:50:40 Finished translator                                            2m34s   1GB
Jul 12 19:50:40 Starting compiler/parsing
Jul 12 19:51:48 Finished compiler/parsing                                      1m07s   2GB
Jul 12 19:51:48 Starting characteristic
Jul 12 19:57:33 Finished characteristic                                        5m44s   1GB
Jul 12 19:57:33 Starting translator/monadic
Jul 12 19:59:10 Finished translator/monadic                                    1m36s   1GB
Jul 12 19:59:10 Starting basis
Jul 12 20:31:45 Finished basis                                                32m34s  20GB
Jul 12 20:31:45 Starting compiler/inference
Jul 12 20:32:46 Finished compiler/inference                                    1m00s   1GB
Jul 12 20:32:46 Starting compiler/backend/reg_alloc
Jul 12 20:33:50 Finished compiler/backend/reg_alloc                            1m03s   1GB
Jul 12 20:33:50 Starting compiler/backend/gc
Jul 12 20:37:05 Finished compiler/backend/gc                                   3m14s   2GB
Jul 12 20:37:05 Starting compiler/backend
Jul 12 20:41:41 Finished compiler/backend                                      4m36s   3GB
Jul 12 20:41:41 Starting compiler/encoders/asm
Jul 12 20:42:02 Finished compiler/encoders/asm                                   21s 768MB
Jul 12 20:42:03 Starting compiler/encoders/x64
Jul 12 20:42:27 Finished compiler/encoders/x64                                   24s 995MB
Jul 12 20:42:27 Starting compiler/encoders/arm7
Jul 12 20:43:14 Finished compiler/encoders/arm7                                  46s 781MB
Jul 12 20:43:14 Starting compiler/encoders/arm8
Jul 12 20:43:26 Finished compiler/encoders/arm8                                  11s 668MB
Jul 12 20:43:26 Starting compiler/encoders/mips
Jul 12 20:43:43 Finished compiler/encoders/mips                                  17s 862MB
Jul 12 20:43:43 Starting compiler/encoders/riscv
Jul 12 20:43:58 Finished compiler/encoders/riscv                                 14s 736MB
Jul 12 20:43:58 Starting compiler/encoders/ag32
Jul 12 20:44:16 Finished compiler/encoders/ag32                                  16s 774MB
Jul 12 20:44:16 Starting compiler/backend/x64
Jul 12 20:44:33 Finished compiler/backend/x64                                    17s   1GB
Jul 12 20:44:33 Starting compiler/backend/arm7
Jul 12 20:44:53 Finished compiler/backend/arm7                                   19s   1GB
Jul 12 20:44:53 Starting compiler/backend/arm8
Jul 12 20:45:10 Finished compiler/backend/arm8                                   16s   1GB
Jul 12 20:45:10 Starting compiler/backend/mips
Jul 12 20:45:27 Finished compiler/backend/mips                                   17s 957MB
Jul 12 20:45:27 Starting compiler/backend/riscv
Jul 12 20:45:46 Finished compiler/backend/riscv                                  18s   1GB
Jul 12 20:45:46 Starting compiler/backend/ag32
Jul 12 20:46:54 Finished compiler/backend/ag32                                 1m07s   1GB
Jul 12 20:46:54 Starting compiler/parsing/proofs
Jul 12 20:52:32 Finished compiler/parsing/proofs                               5m38s   1GB
Jul 12 20:52:32 Starting compiler/inference/proofs
Jul 12 20:54:57 Finished compiler/inference/proofs                             2m24s   1GB
Jul 12 20:54:58 Starting compiler/backend/semantics
Jul 12 21:21:59 Finished compiler/backend/semantics                           27m01s   2GB
Jul 12 21:21:59 Starting compiler/backend/reg_alloc/proofs
Jul 12 21:25:19 Finished compiler/backend/reg_alloc/proofs                     3m19s 891MB
Jul 12 21:25:20 Starting compiler/backend/proofs
Jul 12 22:18:52 Finished compiler/backend/proofs                              53m32s  19GB
Jul 12 22:18:52 Starting compiler/encoders/x64/proofs
Jul 12 22:28:14 Finished compiler/encoders/x64/proofs                          9m21s   3GB
Jul 12 22:28:14 Starting compiler/encoders/arm7/proofs
Jul 12 22:40:33 Finished compiler/encoders/arm7/proofs                        12m18s   3GB
Jul 12 22:40:33 Starting compiler/encoders/arm8/proofs
Jul 12 22:46:46 Finished compiler/encoders/arm8/proofs                         6m12s   1GB
Jul 12 22:46:46 Starting compiler/encoders/mips/proofs
Jul 12 22:56:34 Finished compiler/encoders/mips/proofs                         9m47s   2GB
Jul 12 22:56:34 Starting compiler/encoders/riscv/proofs
Jul 12 23:05:09 Finished compiler/encoders/riscv/proofs                        8m34s   1GB
Jul 12 23:05:09 Starting compiler/encoders/ag32/proofs
Jul 12 23:07:37 Finished compiler/encoders/ag32/proofs                         2m27s 769MB
Jul 12 23:07:37 Starting compiler/backend/x64/proofs
Jul 12 23:07:57 Finished compiler/backend/x64/proofs                             19s   1GB
Jul 12 23:07:57 Starting compiler/backend/arm7/proofs
Jul 12 23:08:18 Finished compiler/backend/arm7/proofs                            21s 873MB
Jul 12 23:08:18 Starting compiler/backend/arm8/proofs
Jul 12 23:08:38 Finished compiler/backend/arm8/proofs                            19s   1GB
Jul 12 23:08:38 Starting compiler/backend/mips/proofs
Jul 12 23:08:59 Finished compiler/backend/mips/proofs                            20s   1GB
Jul 12 23:08:59 Starting compiler/backend/riscv/proofs
Jul 12 23:09:18 Finished compiler/backend/riscv/proofs                           19s   1GB
Jul 12 23:09:19 Starting compiler/backend/ag32/proofs
Jul 12 23:21:44 Finished compiler/backend/ag32/proofs                         12m25s   2GB
Jul 12 23:21:44 Starting compiler/proofs
Jul 12 23:23:14 Finished compiler/proofs                                       1m29s   2GB
Jul 12 23:23:15 Starting candle/set-theory
Jul 12 23:23:43 Finished candle/set-theory                                       27s 886MB
Jul 12 23:23:43 Starting candle/syntax-lib
Jul 12 23:23:53 Finished candle/syntax-lib                                        9s 453MB
Jul 12 23:23:53 Starting candle/standard/syntax
Jul 12 23:25:40 Finished candle/standard/syntax                                1m46s   1GB
Jul 12 23:25:40 Starting candle/standard/semantics
Jul 12 23:27:20 Finished candle/standard/semantics                             1m40s   1GB
Jul 12 23:27:20 Starting candle/standard/monadic
Jul 12 23:28:59 Finished candle/standard/monadic                               1m38s   1GB
Jul 12 23:29:00 Starting candle/standard/ml_kernel
Jul 12 23:34:06 Finished candle/standard/ml_kernel                             5m06s   5GB
Jul 12 23:34:06 Starting candle/overloading/syntax
Jul 12 23:37:06 Finished candle/overloading/syntax                             2m59s   1GB
Jul 12 23:37:06 Starting candle/overloading/semantics
Jul 12 23:43:59 Finished candle/overloading/semantics                          6m52s   2GB
Jul 12 23:44:00 Starting characteristic/examples
Jul 12 23:45:12 Finished characteristic/examples                               1m12s   1GB
Jul 12 23:45:12 Starting tutorial/solutions
Jul 12 23:59:37 Finished tutorial/solutions                                   14m25s   7GB
Jul 12 23:59:38 Starting translator/monadic/examples
Jul 13 00:02:48 Finished translator/monadic/examples                           3m10s   2GB
Jul 13 00:02:48 Starting examples
Jul 13 00:11:01 Finished examples                                              8m12s   3GB
Jul 13 00:11:02 Starting examples/compilation/x64
Jul 13 02:25:19 Finished examples/compilation/x64                           2h14m17s  15GB
Jul 13 02:25:19 Starting examples/compilation/x64/proofs
Jul 13 02:26:55 Finished examples/compilation/x64/proofs                       1m35s   2GB
Jul 13 02:26:55 Starting examples/compilation/ag32
Jul 13 02:57:58 Finished examples/compilation/ag32                            31m02s   6GB
Jul 13 02:57:59 Starting examples/compilation/ag32/proofs
Jul 13 02:58:40 Finished examples/compilation/ag32/proofs                        40s   3GB
Jul 13 02:58:40 Starting examples/cost
Jul 13 03:44:16 Finished examples/cost                                        45m36s   8GB
Jul 13 03:44:16 Starting examples/lpr_checker
Jul 13 03:47:55 Finished examples/lpr_checker                                  3m38s   2GB
Jul 13 03:47:55 Starting examples/lpr_checker/compilation
Jul 13 04:04:58 Finished examples/lpr_checker/compilation                     17m02s  13GB
Jul 13 04:04:58 Starting examples/lpr_checker/compilation/proofs
Jul 13 04:05:37 Finished examples/lpr_checker/compilation/proofs                 38s   2GB
Jul 13 04:05:37 Starting examples/lpr_checker/array
Jul 13 04:18:03 Finished examples/lpr_checker/array                           12m25s   3GB
Jul 13 04:18:03 Starting examples/lpr_checker/array/compilation
Jul 13 04:36:26 Finished examples/lpr_checker/array/compilation               18m23s  10GB
Jul 13 04:36:26 Starting examples/lpr_checker/array/compilation/proofs
Jul 13 04:37:15 Finished examples/lpr_checker/array/compilation/proofs           48s   4GB
Jul 13 04:37:15 Starting examples/opentheory
Jul 13 04:46:17 Finished examples/opentheory                                   9m01s   4GB
Jul 13 04:46:17 Starting examples/opentheory
Jul 13 04:46:18 Finished examples/opentheory                                      0s 102MB
Jul 13 04:46:18 Starting examples/opentheory/compilation
Jul 13 05:19:03 Finished examples/opentheory/compilation                      32m44s  17GB
Jul 13 05:19:03 Starting examples/opentheory/compilation/proofs
Jul 13 05:19:39 Finished examples/opentheory/compilation/proofs                  35s   2GB
Jul 13 05:19:39 Starting examples/opentheory/compilation/ag32
Jul 13 05:52:50 Finished examples/opentheory/compilation/ag32                 33m10s  20GB
Jul 13 05:52:50 Starting examples/opentheory/compilation/ag32/proofs
Jul 13 05:54:20 Finished examples/opentheory/compilation/ag32/proofs           1m30s   5GB
Jul 13 05:54:20 Starting translator/okasaki-examples
Jul 13 05:58:33 Finished translator/okasaki-examples                           4m12s   1GB
Jul 13 05:58:33 Starting translator/other-examples
Jul 13 05:59:15 Finished translator/other-examples                               41s   1GB
Jul 13 05:59:15 Starting compiler/parsing/tests
Jul 13 05:59:40 Finished compiler/parsing/tests                                  24s 632MB
Jul 13 05:59:40 Starting compiler/inference/tests
Jul 13 06:04:07 Finished compiler/inference/tests                              4m26s   3GB
Jul 13 06:04:07 Starting compiler/bootstrap/translation
Jul 13 08:39:20 Finished compiler/bootstrap/translation                     2h35m10s  41GB
Jul 13 08:39:20 Starting unverified/sexpr-bootstrap/x64/64
Jul 13 08:49:06 Finished unverified/sexpr-bootstrap/x64/64                     9m45s   8GB
Jul 13 08:49:07 Starting unverified/sexpr-bootstrap/x64/32
Jul 13 08:56:54 Finished unverified/sexpr-bootstrap/x64/32                     7m46s   8GB
Jul 13 08:56:54 Starting compiler/benchmarks
Jul 13 09:35:40 Finished compiler/benchmarks                                  38m46s   2GB
Jul 13 09:35:40 Starting compiler/bootstrap/compilation/x64/64
Jul 14 00:45:12 Finished compiler/bootstrap/compilation/x64/64             15h09m29s  64GB
Jul 14 00:45:13 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 14 00:48:40 Finished compiler/bootstrap/compilation/x64/64/proofs          3m26s  14GB
Jul 14 00:48:40 Starting compiler/bootstrap/compilation/x64/32
Jul 14 13:59:35 Finished compiler/bootstrap/compilation/x64/32             13h10m53s  64GB
Jul 14 13:59:35 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 14 14:02:33 Finished compiler/bootstrap/compilation/x64/32/proofs          2m58s  12GB
Jul 14 14:02:33 Starting compiler/bootstrap/compilation/ag32/32
Jul 15 04:46:35 Finished compiler/bootstrap/compilation/ag32/32            14h44m00s  64GB
Jul 15 04:46:35 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 15 05:19:39 Finished compiler/bootstrap/compilation/ag32/32/proofs        33m03s  28GB
Jul 15 05:19:39 SUCCESS