Job 1306

CakeML:45c65a8dd7cf3cbb4c2ac1b5a4a9c5c384639604
  Merge pull request #743 from CakeML/int-fromstring-fix [Jul 10 11:14:51]
HOL:95c3c2105fb6b31455787c38410706d9c76f5bea
  Move src/coalgebra after pred_set/src/more_theories in build seq. [Jul 10 06:26:24]
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 19 11:01:14 Claimed job
Jul 19 11:01:21 Building HOL
Jul 19 11:13:38 Starting developers
Jul 19 11:13:38 Finished developers                                               0s  30MB
Jul 19 11:13:39 Starting developers/bin
Jul 19 11:13:45 Finished developers/bin                                           6s   1GB
Jul 19 11:13:45 Starting semantics/ffi
Jul 19 11:13:54 Finished semantics/ffi                                            9s 262MB
Jul 19 11:13:54 Starting semantics
Jul 19 11:15:25 Finished semantics                                             1m30s   1GB
Jul 19 11:15:25 Starting semantics/proofs
Jul 19 11:18:39 Finished semantics/proofs                                      3m13s   1GB
Jul 19 11:18:39 Starting semantics/alt_semantics
Jul 19 11:18:47 Finished semantics/alt_semantics                                  7s 336MB
Jul 19 11:18:47 Starting semantics/alt_semantics/proofs
Jul 19 11:20:49 Finished semantics/alt_semantics/proofs                        2m01s 862MB
Jul 19 11:20:49 Starting basis/pure
Jul 19 11:23:41 Finished basis/pure                                            2m51s 902MB
Jul 19 11:23:41 Starting translator
Jul 19 11:26:16 Finished translator                                            2m34s   1GB
Jul 19 11:26:16 Starting compiler/parsing
Jul 19 11:27:24 Finished compiler/parsing                                      1m07s   2GB
Jul 19 11:27:24 Starting characteristic
Jul 19 11:33:12 Finished characteristic                                        5m47s   1GB
Jul 19 11:33:12 Starting translator/monadic
Jul 19 11:34:46 Finished translator/monadic                                    1m34s   1GB
Jul 19 11:34:46 Starting basis
Jul 19 12:07:29 Finished basis                                                32m42s  19GB
Jul 19 12:07:29 Starting compiler/inference
Jul 19 12:08:35 Finished compiler/inference                                    1m05s   1GB
Jul 19 12:08:35 Starting compiler/backend/reg_alloc
Jul 19 12:09:38 Finished compiler/backend/reg_alloc                            1m03s   1GB
Jul 19 12:09:39 Starting compiler/backend/gc
Jul 19 12:13:03 Finished compiler/backend/gc                                   3m24s   2GB
Jul 19 12:13:03 Starting compiler/backend
Jul 19 12:17:33 Finished compiler/backend                                      4m29s   3GB
Jul 19 12:17:33 Starting compiler/encoders/asm
Jul 19 12:17:54 Finished compiler/encoders/asm                                   21s 744MB
Jul 19 12:17:55 Starting compiler/encoders/x64
Jul 19 12:18:52 Finished compiler/encoders/x64                                   57s   1GB
Jul 19 12:18:52 Starting compiler/encoders/arm7
Jul 19 12:20:40 Finished compiler/encoders/arm7                                1m48s   1GB
Jul 19 12:20:41 Starting compiler/encoders/arm8
Jul 19 12:21:15 Finished compiler/encoders/arm8                                  34s 941MB
Jul 19 12:21:15 Starting compiler/encoders/mips
Jul 19 12:22:29 Finished compiler/encoders/mips                                1m13s   1GB
Jul 19 12:22:29 Starting compiler/encoders/riscv
Jul 19 12:23:57 Finished compiler/encoders/riscv                               1m28s   1GB
Jul 19 12:23:58 Starting compiler/encoders/ag32
Jul 19 12:24:14 Finished compiler/encoders/ag32                                  16s 620MB
Jul 19 12:24:14 Starting compiler/backend/x64
Jul 19 12:24:31 Finished compiler/backend/x64                                    16s 920MB
Jul 19 12:24:31 Starting compiler/backend/arm7
Jul 19 12:24:51 Finished compiler/backend/arm7                                   19s   1GB
Jul 19 12:24:51 Starting compiler/backend/arm8
Jul 19 12:25:08 Finished compiler/backend/arm8                                   17s 989MB
Jul 19 12:25:08 Starting compiler/backend/mips
Jul 19 12:25:27 Finished compiler/backend/mips                                   18s   1GB
Jul 19 12:25:27 Starting compiler/backend/riscv
Jul 19 12:25:45 Finished compiler/backend/riscv                                  18s   1GB
Jul 19 12:25:45 Starting compiler/backend/ag32
Jul 19 12:26:54 Finished compiler/backend/ag32                                 1m08s   1GB
Jul 19 12:26:54 Starting compiler/parsing/proofs
Jul 19 12:32:26 Finished compiler/parsing/proofs                               5m32s   1GB
Jul 19 12:32:26 Starting compiler/inference/proofs
Jul 19 12:34:50 Finished compiler/inference/proofs                             2m23s   1GB
Jul 19 12:34:50 Starting compiler/backend/semantics
Jul 19 13:02:22 Finished compiler/backend/semantics                           27m32s   2GB
Jul 19 13:02:22 Starting compiler/backend/reg_alloc/proofs
Jul 19 13:05:47 Finished compiler/backend/reg_alloc/proofs                     3m24s   1GB
Jul 19 13:05:47 Starting compiler/backend/proofs
Jul 19 13:58:16 Finished compiler/backend/proofs                              52m27s  19GB
Jul 19 13:58:17 Starting compiler/encoders/x64/proofs
Jul 19 14:07:26 Finished compiler/encoders/x64/proofs                          9m09s   5GB
Jul 19 14:07:26 Starting compiler/encoders/arm7/proofs
Jul 19 14:19:50 Finished compiler/encoders/arm7/proofs                        12m24s   3GB
Jul 19 14:19:50 Starting compiler/encoders/arm8/proofs
Jul 19 14:26:13 Finished compiler/encoders/arm8/proofs                         6m22s   1GB
Jul 19 14:26:13 Starting compiler/encoders/mips/proofs
Jul 19 14:36:00 Finished compiler/encoders/mips/proofs                         9m46s   2GB
Jul 19 14:36:00 Starting compiler/encoders/riscv/proofs
Jul 19 14:44:34 Finished compiler/encoders/riscv/proofs                        8m33s   1GB
Jul 19 14:44:34 Starting compiler/encoders/ag32/proofs
Jul 19 14:47:04 Finished compiler/encoders/ag32/proofs                         2m30s 712MB
Jul 19 14:47:04 Starting compiler/backend/x64/proofs
Jul 19 14:47:24 Finished compiler/backend/x64/proofs                             19s   1GB
Jul 19 14:47:24 Starting compiler/backend/arm7/proofs
Jul 19 14:47:45 Finished compiler/backend/arm7/proofs                            21s   1GB
Jul 19 14:47:45 Starting compiler/backend/arm8/proofs
Jul 19 14:48:05 Finished compiler/backend/arm8/proofs                            18s   1GB
Jul 19 14:48:05 Starting compiler/backend/mips/proofs
Jul 19 14:48:25 Finished compiler/backend/mips/proofs                            19s   1GB
Jul 19 14:48:25 Starting compiler/backend/riscv/proofs
Jul 19 14:48:45 Finished compiler/backend/riscv/proofs                           20s   1GB
Jul 19 14:48:46 Starting compiler/backend/ag32/proofs
Jul 19 15:01:19 Finished compiler/backend/ag32/proofs                         12m33s   2GB
Jul 19 15:01:20 Starting compiler/proofs
Jul 19 15:03:05 Finished compiler/proofs                                       1m45s   3GB
Jul 19 15:03:05 Starting candle/set-theory
Jul 19 15:03:34 Finished candle/set-theory                                       28s 769MB
Jul 19 15:03:34 Starting candle/syntax-lib
Jul 19 15:03:45 Finished candle/syntax-lib                                       10s 487MB
Jul 19 15:03:45 Starting candle/standard/syntax
Jul 19 15:05:32 Finished candle/standard/syntax                                1m47s 977MB
Jul 19 15:05:33 Starting candle/standard/semantics
Jul 19 15:07:12 Finished candle/standard/semantics                             1m39s   1GB
Jul 19 15:07:13 Starting candle/standard/monadic
Jul 19 15:08:50 Finished candle/standard/monadic                               1m37s   1GB
Jul 19 15:08:50 Starting candle/standard/ml_kernel
Jul 19 15:14:06 Finished candle/standard/ml_kernel                             5m15s   3GB
Jul 19 15:14:06 Starting candle/overloading/syntax
Jul 19 15:17:06 Finished candle/overloading/syntax                             2m59s   1GB
Jul 19 15:17:06 Starting candle/overloading/semantics
Jul 19 15:23:51 Finished candle/overloading/semantics                          6m45s   3GB
Jul 19 15:23:51 Starting characteristic/examples
Jul 19 15:25:06 Finished characteristic/examples                               1m14s   3GB
Jul 19 15:25:06 Starting tutorial/solutions
Jul 19 15:39:40 Finished tutorial/solutions                                   14m33s   6GB
Jul 19 15:39:40 Starting translator/monadic/examples
Jul 19 15:42:47 Finished translator/monadic/examples                           3m06s   2GB
Jul 19 15:42:47 Starting examples
Jul 19 15:51:00 Finished examples                                              8m12s   3GB
Jul 19 15:51:00 Starting examples/compilation/x64
Jul 19 18:05:41 Finished examples/compilation/x64                           2h14m40s  14GB
Jul 19 18:05:41 Starting examples/compilation/x64/proofs
Jul 19 18:07:15 Finished examples/compilation/x64/proofs                       1m34s   3GB
Jul 19 18:07:16 Starting examples/compilation/ag32
Jul 19 18:37:28 Finished examples/compilation/ag32                            30m11s   7GB
Jul 19 18:37:28 Starting examples/compilation/ag32/proofs
Jul 19 18:38:12 Finished examples/compilation/ag32/proofs                        44s   2GB
Jul 19 18:38:12 Starting examples/cost
Jul 19 19:23:56 Finished examples/cost                                        45m43s   8GB
Jul 19 19:23:57 Starting examples/lpr_checker
Jul 19 19:27:35 Finished examples/lpr_checker                                  3m37s   2GB
Jul 19 19:27:35 Starting examples/lpr_checker/compilation
Jul 19 19:44:37 Finished examples/lpr_checker/compilation                     17m01s   8GB
Jul 19 19:44:37 Starting examples/lpr_checker/compilation/proofs
Jul 19 19:45:13 Finished examples/lpr_checker/compilation/proofs                 36s   2GB
Jul 19 19:45:13 Starting examples/lpr_checker/array
Jul 19 19:57:29 Finished examples/lpr_checker/array                           12m15s   3GB
Jul 19 19:57:29 Starting examples/lpr_checker/array/compilation
Jul 19 20:15:31 Finished examples/lpr_checker/array/compilation               18m01s  11GB
Jul 19 20:15:31 Starting examples/lpr_checker/array/compilation/proofs
Jul 19 20:16:21 Finished examples/lpr_checker/array/compilation/proofs           49s   3GB
Jul 19 20:16:21 Starting examples/opentheory
Jul 19 20:25:34 Finished examples/opentheory                                   9m12s   3GB
Jul 19 20:25:34 Starting examples/opentheory
Jul 19 20:25:35 Finished examples/opentheory                                      0s 102MB
Jul 19 20:25:35 Starting examples/opentheory/compilation
Jul 19 20:57:12 Finished examples/opentheory/compilation                      31m36s  21GB
Jul 19 20:57:12 Starting examples/opentheory/compilation/proofs
Jul 19 20:57:52 Finished examples/opentheory/compilation/proofs                  39s   3GB
Jul 19 20:57:52 Starting examples/opentheory/compilation/ag32
Jul 19 21:31:07 Finished examples/opentheory/compilation/ag32                 33m14s  14GB
Jul 19 21:31:07 Starting examples/opentheory/compilation/ag32/proofs
Jul 19 21:32:35 Finished examples/opentheory/compilation/ag32/proofs           1m27s   5GB
Jul 19 21:32:36 Starting translator/okasaki-examples
Jul 19 21:36:49 Finished translator/okasaki-examples                           4m12s   1GB
Jul 19 21:36:49 Starting translator/other-examples
Jul 19 21:38:47 Finished translator/other-examples                             1m58s   1GB
Jul 19 21:38:48 Starting compiler/parsing/tests
Jul 19 21:39:13 Finished compiler/parsing/tests                                  25s 541MB
Jul 19 21:39:14 Starting compiler/inference/tests
Jul 19 21:43:45 Finished compiler/inference/tests                              4m31s   4GB
Jul 19 21:43:45 Starting compiler/bootstrap/translation
Jul 20 00:18:07 Finished compiler/bootstrap/translation                     2h34m21s  42GB
Jul 20 00:18:07 Starting unverified/sexpr-bootstrap/x64/64
Jul 20 00:27:59 Finished unverified/sexpr-bootstrap/x64/64                     9m51s   8GB
Jul 20 00:28:00 Starting unverified/sexpr-bootstrap/x64/32
Jul 20 00:35:44 Finished unverified/sexpr-bootstrap/x64/32                     7m43s   8GB
Jul 20 00:35:44 Starting compiler/benchmarks
Jul 20 01:14:31 Finished compiler/benchmarks                                  38m47s   2GB
Jul 20 01:14:31 Starting compiler/bootstrap/compilation/x64/64
Jul 20 15:50:54 Finished compiler/bootstrap/compilation/x64/64             14h36m21s  64GB
Jul 20 15:50:54 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 20 15:54:12 Finished compiler/bootstrap/compilation/x64/64/proofs          3m17s  13GB
Jul 20 15:54:12 Starting compiler/bootstrap/compilation/x64/32
Jul 21 05:15:07 Finished compiler/bootstrap/compilation/x64/32             13h20m52s  64GB
Jul 21 05:15:07 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 21 05:18:11 Finished compiler/bootstrap/compilation/x64/32/proofs          3m03s  12GB
Jul 21 05:18:11 Starting compiler/bootstrap/compilation/ag32/32
Jul 21 20:25:29 Finished compiler/bootstrap/compilation/ag32/32            15h07m17s  64GB
Jul 21 20:25:29 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 21 20:43:09 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m39s  28GB
Jul 21 20:43:09 SUCCESS