Job 938

CakeML:2355372f96a49914638ab924f5f5571cc747b253
  Update for changes to HOL's Unicode settings [Jul 09 13:18:45]
HOL:3ae700fc0494acf60e4fa3a4cb36fe4931b08532
  bug fixed + new tools [Jul 11 12:28:56]
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 09:06:43 Claimed job
Jul 12 09:06:50 Building HOL
Jul 12 09:14:39 Starting developers
Jul 12 09:14:40 Finished developers                                               0s  41MB
Jul 12 09:14:40 Starting developers/bin
Jul 12 09:14:44 Finished developers/bin                                           3s 144MB
Jul 12 09:14:45 Starting semantics/ffi
Jul 12 09:15:17 Finished semantics/ffi                                           32s 491MB
Jul 12 09:15:18 Starting semantics
Jul 12 09:16:46 Finished semantics                                             1m27s   1GB
Jul 12 09:16:46 Starting semantics/proofs
Jul 12 09:19:42 Finished semantics/proofs                                      2m56s   1GB
Jul 12 09:19:42 Starting semantics/alt_semantics
Jul 12 09:19:49 Finished semantics/alt_semantics                                  5s 317MB
Jul 12 09:19:49 Starting semantics/alt_semantics/proofs
Jul 12 09:21:35 Finished semantics/alt_semantics/proofs                        1m45s 857MB
Jul 12 09:21:36 Starting basis/pure
Jul 12 09:25:05 Finished basis/pure                                            3m29s 613MB
Jul 12 09:25:06 Starting translator
Jul 12 09:26:44 Finished translator                                            1m37s   1GB
Jul 12 09:26:44 Starting compiler/parsing
Jul 12 09:27:43 Finished compiler/parsing                                        58s   2GB
Jul 12 09:27:43 Starting characteristic
Jul 12 09:32:49 Finished characteristic                                        5m06s   1GB
Jul 12 09:32:50 Starting translator/monadic
Jul 12 09:34:16 Finished translator/monadic                                    1m25s   1GB
Jul 12 09:34:16 Starting basis
Jul 12 09:50:58 Finished basis                                                16m41s   2GB
Jul 12 09:50:58 Starting compiler/inference
Jul 12 09:52:45 Finished compiler/inference                                    1m46s   1GB
Jul 12 09:52:46 Starting compiler/backend/reg_alloc
Jul 12 09:53:43 Finished compiler/backend/reg_alloc                              56s   1GB
Jul 12 09:53:43 Starting compiler/backend/gc
Jul 12 10:02:48 Finished compiler/backend/gc                                   9m04s   1GB
Jul 12 10:02:48 Starting compiler/backend
Jul 12 10:02:49 Finished compiler/backend                                         0s  43MB
Jul 12 10:02:49 Starting compiler/encoders/asm
Jul 12 10:02:50 Finished compiler/encoders/asm                                    0s  37MB
Jul 12 10:02:50 Starting compiler/encoders/x64
Jul 12 10:03:46 Finished compiler/encoders/x64                                   55s 906MB
Jul 12 10:03:46 Starting compiler/encoders/arm7
Jul 12 10:05:21 Finished compiler/encoders/arm7                                1m34s   1GB
Jul 12 10:05:21 Starting compiler/encoders/arm8
Jul 12 10:05:50 Finished compiler/encoders/arm8                                  28s 685MB
Jul 12 10:05:50 Starting compiler/encoders/mips
Jul 12 10:06:54 Finished compiler/encoders/mips                                1m03s 908MB
Jul 12 10:06:55 Starting compiler/encoders/riscv
Jul 12 10:08:11 Finished compiler/encoders/riscv                               1m15s   1GB
Jul 12 10:08:11 Starting compiler/encoders/ag32
Jul 12 10:08:26 Finished compiler/encoders/ag32                                  14s 775MB
Jul 12 10:08:26 Starting compiler/backend/x64
Jul 12 10:08:41 Finished compiler/backend/x64                                    14s 932MB
Jul 12 10:08:41 Starting compiler/backend/arm7
Jul 12 10:08:58 Finished compiler/backend/arm7                                   16s   1GB
Jul 12 10:08:59 Starting compiler/backend/arm8
Jul 12 10:09:15 Finished compiler/backend/arm8                                   15s   1GB
Jul 12 10:09:15 Starting compiler/backend/mips
Jul 12 10:09:32 Finished compiler/backend/mips                                   16s   1GB
Jul 12 10:09:32 Starting compiler/backend/riscv
Jul 12 10:09:47 Finished compiler/backend/riscv                                  15s 994MB
Jul 12 10:09:48 Starting compiler/backend/ag32
Jul 12 10:10:54 Finished compiler/backend/ag32                                 1m05s 851MB
Jul 12 10:10:54 Starting compiler/parsing/proofs
Jul 12 10:16:24 Finished compiler/parsing/proofs                               5m29s   1GB
Jul 12 10:16:25 Starting compiler/inference/proofs
Jul 12 10:19:02 Finished compiler/inference/proofs                             2m37s 920MB
Jul 12 10:19:02 Starting compiler/backend/semantics
Jul 12 10:26:01 Finished compiler/backend/semantics                            6m58s   2GB
Jul 12 10:26:02 Starting compiler/backend/reg_alloc/proofs
Jul 12 10:29:15 Finished compiler/backend/reg_alloc/proofs                     3m12s 779MB
Jul 12 10:29:15 Starting compiler/backend/proofs
Jul 12 11:07:17 Finished compiler/backend/proofs                              38m00s   4GB
Jul 12 11:07:17 Starting compiler/encoders/x64/proofs
Jul 12 11:17:16 Finished compiler/encoders/x64/proofs                          9m58s   4GB
Jul 12 11:17:16 Starting compiler/encoders/arm7/proofs
Jul 12 11:30:46 Finished compiler/encoders/arm7/proofs                        13m29s   3GB
Jul 12 11:30:46 Starting compiler/encoders/arm8/proofs
Jul 12 11:37:22 Finished compiler/encoders/arm8/proofs                         6m35s   1GB
Jul 12 11:37:22 Starting compiler/encoders/mips/proofs
Jul 12 11:47:16 Finished compiler/encoders/mips/proofs                         9m53s   2GB
Jul 12 11:47:16 Starting compiler/encoders/riscv/proofs
Jul 12 11:55:35 Finished compiler/encoders/riscv/proofs                        8m18s   1GB
Jul 12 11:55:35 Starting compiler/encoders/ag32/proofs
Jul 12 11:58:02 Finished compiler/encoders/ag32/proofs                         2m26s 694MB
Jul 12 11:58:03 Starting compiler/backend/x64/proofs
Jul 12 11:58:19 Finished compiler/backend/x64/proofs                             15s 977MB
Jul 12 11:58:19 Starting compiler/backend/arm7/proofs
Jul 12 11:58:37 Finished compiler/backend/arm7/proofs                            17s   1GB
Jul 12 11:58:37 Starting compiler/backend/arm8/proofs
Jul 12 11:58:53 Finished compiler/backend/arm8/proofs                            15s   1GB
Jul 12 11:58:53 Starting compiler/backend/mips/proofs
Jul 12 11:59:10 Finished compiler/backend/mips/proofs                            16s   1GB
Jul 12 11:59:11 Starting compiler/backend/riscv/proofs
Jul 12 11:59:27 Finished compiler/backend/riscv/proofs                           16s   1GB
Jul 12 11:59:27 Starting compiler/backend/ag32/proofs
Jul 12 12:08:15 Finished compiler/backend/ag32/proofs                          8m46s   2GB
Jul 12 12:08:15 Starting compiler/proofs
Jul 12 12:09:24 Finished compiler/proofs                                       1m09s   2GB
Jul 12 12:09:24 Starting candle/set-theory
Jul 12 12:09:50 Finished candle/set-theory                                       25s 846MB
Jul 12 12:09:50 Starting candle/syntax-lib
Jul 12 12:09:59 Finished candle/syntax-lib                                        9s 661MB
Jul 12 12:10:00 Starting candle/standard/syntax
Jul 12 12:11:39 Finished candle/standard/syntax                                1m38s   1GB
Jul 12 12:11:39 Starting candle/standard/semantics
Jul 12 12:13:12 Finished candle/standard/semantics                             1m32s   1GB
Jul 12 12:13:12 Starting candle/standard/monadic
Jul 12 12:14:44 Finished candle/standard/monadic                               1m31s   1GB
Jul 12 12:14:44 Starting candle/standard/ml_kernel
Jul 12 12:18:31 Finished candle/standard/ml_kernel                             3m46s   4GB
Jul 12 12:18:31 Starting candle/standard/opentheory
Jul 12 12:27:05 Finished candle/standard/opentheory                            8m33s   2GB
Jul 12 12:27:05 Starting candle/standard/opentheory/compilation
Jul 12 12:56:01 Finished candle/standard/opentheory/compilation               28m55s  22GB
Jul 12 12:56:01 Starting candle/standard/opentheory/compilation/proofs
Jul 12 12:56:43 Finished candle/standard/opentheory/compilation/proofs           41s   2GB
Jul 12 12:56:43 Starting characteristic/examples
Jul 12 12:58:05 Finished characteristic/examples                               1m22s   2GB
Jul 12 12:58:06 Starting tutorial/solutions
Jul 12 13:10:40 Finished tutorial/solutions                                   12m34s   6GB
Jul 12 13:10:40 Starting translator/monadic/examples
Jul 12 13:13:29 Finished translator/monadic/examples                           2m48s   2GB
Jul 12 13:13:30 Starting examples
Jul 12 13:22:08 Finished examples                                              8m38s   3GB
Jul 12 13:22:09 Starting examples/compilation/x64
Jul 12 15:23:30 Finished examples/compilation/x64                           2h01m20s  13GB
Jul 12 15:23:30 Starting examples/compilation/x64/proofs
Jul 12 15:25:10 Finished examples/compilation/x64/proofs                       1m39s   2GB
Jul 12 15:25:10 Starting examples/compilation/ag32
Jul 12 15:54:14 Finished examples/compilation/ag32                            29m03s   6GB
Jul 12 15:54:14 Starting examples/compilation/ag32/proofs
Jul 12 15:54:56 Finished examples/compilation/ag32/proofs                        41s   3GB
Jul 12 15:54:56 Starting translator/okasaki-examples
Jul 12 15:59:22 Finished translator/okasaki-examples                           4m25s   1GB
Jul 12 15:59:23 Starting translator/other-examples
Jul 12 16:02:58 Finished translator/other-examples                             3m35s   1GB
Jul 12 16:02:59 Starting compiler/parsing/tests
Jul 12 16:03:24 Finished compiler/parsing/tests                                  24s 551MB
Jul 12 16:03:24 Starting compiler/inference/tests
Jul 12 16:07:44 Finished compiler/inference/tests                              4m19s   4GB
Jul 12 16:07:44 Starting compiler/bootstrap/translation
Jul 12 18:36:32 Finished compiler/bootstrap/translation                     2h28m46s  47GB
Jul 12 18:36:32 Starting unverified/sexpr-bootstrap/x64/64
Jul 12 18:44:02 Finished unverified/sexpr-bootstrap/x64/64                     7m29s   3GB
Jul 12 18:44:02 Starting unverified/sexpr-bootstrap/x64/32
Jul 12 18:48:38 Finished unverified/sexpr-bootstrap/x64/32                     4m34s   6GB
Jul 12 18:48:38 Starting compiler/benchmarks
Jul 12 19:25:15 Finished compiler/benchmarks                                  36m36s   2GB
Jul 12 19:25:16 Starting compiler/bootstrap/compilation/x64/64
Jul 13 05:40:53 Finished compiler/bootstrap/compilation/x64/64             10h15m35s  64GB
Jul 13 05:40:53 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 13 05:43:34 Finished compiler/bootstrap/compilation/x64/64/proofs          2m40s  10GB
Jul 13 05:43:34 Starting compiler/bootstrap/compilation/x64/32
Jul 13 15:07:21 Finished compiler/bootstrap/compilation/x64/32              9h23m45s  56GB
Jul 13 15:07:21 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 13 15:09:27 Finished compiler/bootstrap/compilation/x64/32/proofs          2m04s  10GB
Jul 13 15:09:27 Starting compiler/bootstrap/compilation/ag32/32
Jul 14 01:15:26 Finished compiler/bootstrap/compilation/ag32/32            10h05m58s  59GB
Jul 14 01:15:26 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 14 01:32:38 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m11s  13GB
Jul 14 01:32:38 SUCCESS