Job 725

CakeML:479eb999b0103028858ceaea4488ee1ba981a551
  Fix generated readme [Feb 11 17:43:36]
HOL:0e0d61c10455e0c2524505206142db77525f9c14
  Allow \[0-9][0-9][0-9] chars in strings when lexing .dat files [Feb 08 00:43:33]
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

Feb 11 17:44:01 Claimed job
Feb 11 17:44:10 Building HOL
Feb 11 17:51:46 Starting developers
Feb 11 17:51:47 Finished developers                                               0s  21MB
Feb 11 17:51:47 Starting developers/bin
Feb 11 17:52:17 Finished developers/bin                                          29s 204MB
Feb 11 17:52:18 Starting semantics/ffi
Feb 11 17:52:52 Finished semantics/ffi                                           33s 490MB
Feb 11 17:52:53 Starting semantics
Feb 11 17:54:23 Finished semantics                                             1m29s   1GB
Feb 11 17:54:24 Starting semantics/proofs
Feb 11 17:57:27 Finished semantics/proofs                                      3m02s   1GB
Feb 11 17:57:28 Starting basis/pure
Feb 11 18:00:52 Finished basis/pure                                            3m23s 708MB
Feb 11 18:00:53 Starting translator
Feb 11 18:02:31 Finished translator                                            1m36s   1GB
Feb 11 18:02:31 Starting compiler/parsing
Feb 11 18:03:27 Finished compiler/parsing                                        55s   1GB
Feb 11 18:03:28 Starting characteristic
Feb 11 18:07:39 Finished characteristic                                        4m10s   1GB
Feb 11 18:07:40 Starting translator/monadic
Feb 11 18:09:03 Finished translator/monadic                                    1m22s   2GB
Feb 11 18:09:04 Starting basis
Feb 11 18:25:45 Finished basis                                                16m40s   4GB
Feb 11 18:25:46 Starting compiler/inference
Feb 11 18:27:31 Finished compiler/inference                                    1m43s   1GB
Feb 11 18:27:31 Starting compiler/backend/reg_alloc
Feb 11 18:28:22 Finished compiler/backend/reg_alloc                              49s   1GB
Feb 11 18:28:22 Starting compiler/backend/gc
Feb 11 18:37:02 Finished compiler/backend/gc                                   8m39s   2GB
Feb 11 18:37:03 Starting compiler/backend
Feb 11 18:37:05 Finished compiler/backend                                         0s  41MB
Feb 11 18:37:05 Starting compiler/encoders/asm
Feb 11 18:37:06 Finished compiler/encoders/asm                                    0s  32MB
Feb 11 18:37:07 Starting compiler/encoders/x64
Feb 11 18:38:03 Finished compiler/encoders/x64                                   55s 699MB
Feb 11 18:38:04 Starting compiler/encoders/arm6
Feb 11 18:39:45 Finished compiler/encoders/arm6                                1m40s   1GB
Feb 11 18:39:46 Starting compiler/encoders/arm8
Feb 11 18:40:15 Finished compiler/encoders/arm8                                  27s 524MB
Feb 11 18:40:16 Starting compiler/encoders/mips
Feb 11 18:41:18 Finished compiler/encoders/mips                                1m02s 851MB
Feb 11 18:41:19 Starting compiler/encoders/riscv
Feb 11 18:42:24 Finished compiler/encoders/riscv                               1m03s 910MB
Feb 11 18:42:24 Starting compiler/encoders/ag32
Feb 11 18:42:39 Finished compiler/encoders/ag32                                  14s 507MB
Feb 11 18:42:40 Starting compiler/backend/x64
Feb 11 18:42:55 Finished compiler/backend/x64                                    14s 753MB
Feb 11 18:42:55 Starting compiler/backend/arm6
Feb 11 18:43:12 Finished compiler/backend/arm6                                   15s   1GB
Feb 11 18:43:12 Starting compiler/backend/arm8
Feb 11 18:43:28 Finished compiler/backend/arm8                                   15s 901MB
Feb 11 18:43:29 Starting compiler/backend/mips
Feb 11 18:43:46 Finished compiler/backend/mips                                   15s   1GB
Feb 11 18:43:46 Starting compiler/backend/riscv
Feb 11 18:44:02 Finished compiler/backend/riscv                                  14s   1GB
Feb 11 18:44:03 Starting compiler/backend/ag32
Feb 11 18:45:09 Finished compiler/backend/ag32                                 1m05s   1GB
Feb 11 18:45:09 Starting compiler/parsing/proofs
Feb 11 18:50:38 Finished compiler/parsing/proofs                               5m27s   1GB
Feb 11 18:50:39 Starting compiler/inference/proofs
Feb 11 18:53:19 Finished compiler/inference/proofs                             2m39s   1GB
Feb 11 18:53:19 Starting compiler/backend/semantics
Feb 11 19:00:11 Finished compiler/backend/semantics                            6m50s   2GB
Feb 11 19:00:12 Starting compiler/backend/reg_alloc/proofs
Feb 11 19:02:44 Finished compiler/backend/reg_alloc/proofs                     2m31s 766MB
Feb 11 19:02:44 Starting compiler/backend/proofs
Feb 11 19:39:12 Finished compiler/backend/proofs                              36m26s   3GB
Feb 11 19:39:13 Starting compiler/encoders/x64/proofs
Feb 11 19:49:12 Finished compiler/encoders/x64/proofs                          9m57s   4GB
Feb 11 19:49:12 Starting compiler/encoders/arm6/proofs
Feb 11 20:02:31 Finished compiler/encoders/arm6/proofs                        13m17s   5GB
Feb 11 20:02:32 Starting compiler/encoders/arm8/proofs
Feb 11 20:08:13 Finished compiler/encoders/arm8/proofs                         5m40s   1GB
Feb 11 20:08:13 Starting compiler/encoders/mips/proofs
Feb 11 20:18:05 Finished compiler/encoders/mips/proofs                         9m50s   2GB
Feb 11 20:18:05 Starting compiler/encoders/riscv/proofs
Feb 11 20:25:34 Finished compiler/encoders/riscv/proofs                        7m27s   1GB
Feb 11 20:25:35 Starting compiler/encoders/ag32/proofs
Feb 11 20:28:01 Finished compiler/encoders/ag32/proofs                         2m26s 630MB
Feb 11 20:28:02 Starting compiler/backend/x64/proofs
Feb 11 20:28:19 Finished compiler/backend/x64/proofs                             16s   1GB
Feb 11 20:28:20 Starting compiler/backend/arm6/proofs
Feb 11 20:28:38 Finished compiler/backend/arm6/proofs                            17s 900MB
Feb 11 20:28:38 Starting compiler/backend/arm8/proofs
Feb 11 20:28:55 Finished compiler/backend/arm8/proofs                            15s   1GB
Feb 11 20:28:55 Starting compiler/backend/mips/proofs
Feb 11 20:29:12 Finished compiler/backend/mips/proofs                            16s   1GB
Feb 11 20:29:13 Starting compiler/backend/riscv/proofs
Feb 11 20:29:30 Finished compiler/backend/riscv/proofs                           15s   1GB
Feb 11 20:29:30 Starting compiler/backend/ag32/proofs
Feb 11 20:38:24 Finished compiler/backend/ag32/proofs                          8m52s   2GB
Feb 11 20:38:25 Starting compiler/proofs
Feb 11 20:39:59 Finished compiler/proofs                                       1m33s   3GB
Feb 11 20:39:59 Starting candle/set-theory
Feb 11 20:40:25 Finished candle/set-theory                                       24s 701MB
Feb 11 20:40:26 Starting candle/syntax-lib
Feb 11 20:40:36 Finished candle/syntax-lib                                        9s 626MB
Feb 11 20:40:37 Starting candle/standard/syntax
Feb 11 20:42:17 Finished candle/standard/syntax                                1m40s   1GB
Feb 11 20:42:18 Starting candle/standard/semantics
Feb 11 20:43:51 Finished candle/standard/semantics                             1m32s   1GB
Feb 11 20:43:52 Starting candle/standard/monadic
Feb 11 20:45:25 Finished candle/standard/monadic                               1m31s   1GB
Feb 11 20:45:25 Starting candle/standard/ml_kernel
Feb 11 20:49:39 Finished candle/standard/ml_kernel                             4m12s   3GB
Feb 11 20:49:39 Starting candle/standard/opentheory
Feb 11 20:59:20 Finished candle/standard/opentheory                            9m39s   4GB
Feb 11 20:59:20 Starting candle/standard/opentheory/compilation
Feb 11 21:28:57 Finished candle/standard/opentheory/compilation               29m35s  13GB
Feb 11 21:28:57 Starting candle/standard/opentheory/compilation/proofs
Feb 11 21:31:57 Finished candle/standard/opentheory/compilation/proofs         2m58s   7GB
Feb 11 21:31:58 Starting characteristic/examples
Feb 11 21:33:32 Finished characteristic/examples                               1m33s   2GB
Feb 11 21:33:33 Starting tutorial/solutions
Feb 11 21:47:31 Finished tutorial/solutions                                   13m57s   6GB
Feb 11 21:47:32 Starting translator/monadic/examples
Feb 11 21:49:50 Finished translator/monadic/examples                           2m18s   2GB
Feb 11 21:49:51 Starting examples
Feb 11 21:58:18 Finished examples                                              8m25s   4GB
Feb 11 21:58:18 Starting examples/compilation/x64
Feb 11 23:52:06 Finished examples/compilation/x64                           1h53m46s  11GB
Feb 11 23:52:07 Starting examples/compilation/x64/proofs
Feb 11 23:55:03 Finished examples/compilation/x64/proofs                       2m55s   5GB
Feb 11 23:55:04 Starting examples/compilation/ag32
Feb 12 00:23:23 Finished examples/compilation/ag32                            28m17s   6GB
Feb 12 00:23:23 Starting examples/compilation/ag32/proofs
Feb 12 00:24:28 Finished examples/compilation/ag32/proofs                      1m04s   4GB
Feb 12 00:24:29 Starting translator/okasaki-examples
Feb 12 00:28:34 Finished translator/okasaki-examples                           4m04s   1GB
Feb 12 00:28:35 Starting translator/other-examples
Feb 12 00:32:02 Finished translator/other-examples                             3m26s   1GB
Feb 12 00:32:03 Starting compiler/parsing/tests
Feb 12 00:32:27 Finished compiler/parsing/tests                                  23s 532MB
Feb 12 00:32:28 Starting compiler/inference/tests
Feb 12 00:36:40 Finished compiler/inference/tests                              4m10s   3GB
Feb 12 00:36:40 Starting compiler/bootstrap/translation
Feb 12 05:37:57 Finished compiler/bootstrap/translation                     5h01m15s  44GB
Feb 12 05:37:57 Starting unverified/sexpr-bootstrap/x64/64
Feb 12 06:46:44 Finished unverified/sexpr-bootstrap/x64/64                  1h08m44s  18GB
Feb 12 06:46:45 Starting unverified/sexpr-bootstrap/x64/32
Feb 12 07:40:51 Finished unverified/sexpr-bootstrap/x64/32                    54m04s  20GB
Feb 12 07:40:52 Starting compiler/benchmarks
Feb 12 08:18:58 Finished compiler/benchmarks                                  38m04s   2GB
Feb 12 08:18:58 Starting compiler/bootstrap/compilation/x64/64
Feb 13 01:00:24 Finished compiler/bootstrap/compilation/x64/64             16h41m22s  64GB
Feb 13 01:00:24 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 13 05:56:26 Finished compiler/bootstrap/compilation/x64/64/proofs       4h55m59s  34GB
Feb 13 05:56:26 Starting compiler/bootstrap/compilation/x64/32
Feb 13 20:27:24 Finished compiler/bootstrap/compilation/x64/32             14h30m54s  64GB
Feb 13 20:27:25 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 13 20:47:06 Resuming compiler/bootstrap/compilation/x64/32/proofs
Feb 14 00:43:36 Finished compiler/bootstrap/compilation/x64/32/proofs       3h56m28s  35GB
Feb 14 00:43:37 SUCCESS