Job 337

CakeML:175941d0931dee38e9c5fae902acae67c563a8de
  Finish floyd_warshallProg [Jun 05 15:28:32]
HOL:ff6932f074446ccaeb4cb9fa163db516ccea6ef4
  added release note for regexpLib [Jun 08 16:06:00]
Machine:cakeml1795 4.4.0-98-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

Jun 08 18:03:08 Claimed job
Jun 08 18:03:19 Building HOL
Jun 08 18:14:41 Starting developers/bin
Jun 08 18:14:51 Finished developers/bin                                           8s 224MB
Jun 08 18:14:53 Starting semantics/ffi
Jun 08 18:15:55 Finished semantics/ffi                                           59s 398MB
Jun 08 18:15:57 Starting semantics
Jun 08 18:18:21 Finished semantics                                             2m21s   1GB
Jun 08 18:18:23 Starting semantics/proofs
Jun 08 18:21:36 Finished semantics/proofs                                      3m11s   1GB
Jun 08 18:21:38 Starting basis/pure
Jun 08 18:27:26 Finished basis/pure                                            5m46s 580MB
Jun 08 18:27:28 Starting translator
Jun 08 18:34:02 Finished translator                                            6m31s   1GB
Jun 08 18:34:04 Starting compiler/parsing
Jun 08 18:36:14 Finished compiler/parsing                                      2m08s   2GB
Jun 08 18:36:16 Starting characteristic
Jun 08 18:40:38 Finished characteristic                                        4m20s   1GB
Jun 08 18:40:40 Starting basis
Jun 08 19:09:19 Finished basis                                                28m37s   2GB
Jun 08 19:09:21 Starting translator/monadic
Jun 08 19:09:25 Finished translator/monadic                                       1s  14MB
Jun 08 19:09:27 Starting compiler/inference
Jun 08 19:12:06 Finished compiler/inference                                    2m36s   1GB
Jun 08 19:12:08 Starting compiler/backend/reg_alloc
Jun 08 19:13:04 Finished compiler/backend/reg_alloc                              53s   1GB
Jun 08 19:13:06 Starting compiler/backend/gc
Jun 08 19:28:25 Finished compiler/backend/gc                                  15m17s   5GB
Jun 08 19:28:27 Starting compiler/backend
Jun 08 19:28:32 Finished compiler/backend                                         3s  14MB
Jun 08 19:28:34 Starting compiler/encoders/asm
Jun 08 19:28:37 Finished compiler/encoders/asm                                    0s  11MB
Jun 08 19:28:39 Starting compiler/encoders/x64
Jun 08 19:30:03 Finished compiler/encoders/x64                                 1m22s 479MB
Jun 08 19:30:05 Starting compiler/encoders/arm6
Jun 08 19:33:07 Finished compiler/encoders/arm6                                3m00s   1GB
Jun 08 19:33:09 Starting compiler/encoders/arm8
Jun 08 19:33:52 Finished compiler/encoders/arm8                                  40s 379MB
Jun 08 19:33:54 Starting compiler/encoders/mips
Jun 08 19:35:30 Finished compiler/encoders/mips                                1m33s 714MB
Jun 08 19:35:32 Starting compiler/encoders/riscv
Jun 08 19:37:06 Finished compiler/encoders/riscv                               1m32s 492MB
Jun 08 19:37:08 Starting compiler/backend/x64
Jun 08 19:37:41 Finished compiler/backend/x64                                    31s   1GB
Jun 08 19:37:43 Starting compiler/backend/arm6
Jun 08 19:38:20 Finished compiler/backend/arm6                                   34s   1GB
Jun 08 19:38:22 Starting compiler/backend/arm8
Jun 08 19:38:55 Finished compiler/backend/arm8                                   30s   1GB
Jun 08 19:38:57 Starting compiler/backend/mips
Jun 08 19:39:32 Finished compiler/backend/mips                                   33s   1GB
Jun 08 19:39:34 Starting compiler/backend/riscv
Jun 08 19:40:08 Finished compiler/backend/riscv                                  32s   1GB
Jun 08 19:40:10 Starting compiler/parsing/proofs
Jun 08 19:44:11 Finished compiler/parsing/proofs                               3m58s 899MB
Jun 08 19:44:13 Starting compiler/inference/proofs
Jun 08 19:48:11 Finished compiler/inference/proofs                             3m56s   1GB
Jun 08 19:48:13 Starting compiler/backend/semantics
Jun 08 20:06:27 Finished compiler/backend/semantics                           18m11s   3GB
Jun 08 20:06:29 Starting compiler/backend/reg_alloc/proofs
Jun 08 20:07:55 Finished compiler/backend/reg_alloc/proofs                     1m23s 416MB
Jun 08 20:07:57 Starting compiler/backend/proofs
Jun 08 21:03:02 Finished compiler/backend/proofs                              55m02s   5GB
Jun 08 21:03:04 Starting compiler/encoders/x64/proofs
Jun 08 21:14:33 Finished compiler/encoders/x64/proofs                         11m26s   2GB
Jun 08 21:14:35 Starting compiler/encoders/arm6/proofs
Jun 08 21:26:55 Finished compiler/encoders/arm6/proofs                        12m18s   3GB
Jun 08 21:26:57 Starting compiler/encoders/arm8/proofs
Jun 08 21:35:21 Finished compiler/encoders/arm8/proofs                         8m21s 911MB
Jun 08 21:35:23 Starting compiler/encoders/mips/proofs
Jun 08 21:47:02 Finished compiler/encoders/mips/proofs                        11m36s   2GB
Jun 08 21:47:04 Starting compiler/encoders/riscv/proofs
Jun 08 21:59:33 Finished compiler/encoders/riscv/proofs                       12m27s   1GB
Jun 08 21:59:35 Starting compiler/backend/x64/proofs
Jun 08 22:00:11 Finished compiler/backend/x64/proofs                             34s   1GB
Jun 08 22:00:13 Starting compiler/backend/arm6/proofs
Jun 08 22:00:52 Finished compiler/backend/arm6/proofs                            36s   1GB
Jun 08 22:00:54 Starting compiler/backend/arm8/proofs
Jun 08 22:01:30 Finished compiler/backend/arm8/proofs                            34s   1GB
Jun 08 22:01:32 Starting compiler/backend/mips/proofs
Jun 08 22:02:09 Finished compiler/backend/mips/proofs                            35s   1GB
Jun 08 22:02:11 Starting compiler/backend/riscv/proofs
Jun 08 22:02:49 Finished compiler/backend/riscv/proofs                           35s   1GB
Jun 08 22:02:51 Starting compiler/proofs
Jun 08 22:05:12 Finished compiler/proofs                                       2m18s   2GB
Jun 08 22:05:14 Starting candle/set-theory
Jun 08 22:06:53 Finished candle/set-theory                                     1m37s 580MB
Jun 08 22:06:55 Starting candle/syntax-lib
Jun 08 22:07:15 Finished candle/syntax-lib                                       17s 364MB
Jun 08 22:07:17 Starting candle/standard/syntax
Jun 08 22:10:01 Finished candle/standard/syntax                                2m42s 756MB
Jun 08 22:10:03 Starting candle/standard/semantics
Jun 08 22:12:18 Finished candle/standard/semantics                             2m13s 798MB
Jun 08 22:12:20 Starting candle/standard/monadic
Jun 08 22:14:47 Finished candle/standard/monadic                               2m24s   1GB
Jun 08 22:14:49 Starting candle/standard/ml_kernel
Jun 08 22:25:04 Finished candle/standard/ml_kernel                            10m12s   2GB
Jun 08 22:25:06 Starting candle/standard/opentheory
Jun 08 22:25:32 Finished candle/standard/opentheory                              24s 739MB
Jun 08 22:25:34 Starting characteristic/examples
Jun 08 22:28:00 Finished characteristic/examples                               2m23s   2GB
Jun 08 22:28:02 Starting tutorial/solutions
Jun 08 23:02:53 Finished tutorial/solutions                                   34m49s  11GB
Jun 08 23:02:55 Starting translator/monadic/examples
Jun 08 23:05:49 Finished translator/monadic/examples                           2m52s   2GB
Jun 08 23:05:51 Starting examples
Jun 08 23:13:54 Finished examples                                              7m59s   2GB
Jun 08 23:13:56 Starting examples/compilation
Jun 09 04:57:29 Finished examples/compilation                               5h43m31s  26GB
Jun 09 04:57:31 Starting examples/compilation/proofs
Jun 09 05:02:48 Finished examples/compilation/proofs                           5m14s   4GB
Jun 09 05:02:50 Starting compiler/benchmarks
Jun 09 05:02:52 Finished compiler/benchmarks                                      0s   4MB
Jun 09 05:02:54 Starting translator/okasaki-examples
Jun 09 05:09:29 Finished translator/okasaki-examples                           6m33s   1GB
Jun 09 05:09:31 Starting translator/other-examples
Jun 09 05:16:08 Finished translator/other-examples                             6m34s   1GB
Jun 09 05:16:10 Starting compiler/parsing/tests
Jun 09 05:16:50 Finished compiler/parsing/tests                                  37s 315MB
Jun 09 05:16:51 Starting compiler/bootstrap/translation
Jun 09 13:28:20 Finished compiler/bootstrap/translation                     8h11m26s  41GB
Jun 09 13:28:22 Starting unverified/sexpr-bootstrap/x64/64
Jun 09 13:39:43 Finished unverified/sexpr-bootstrap/x64/64                    11m13s  14GB
Jun 09 13:39:45 Starting unverified/sexpr-bootstrap/x64/32
Jun 09 13:48:34 Finished unverified/sexpr-bootstrap/x64/32                     8m41s  10GB
Jun 09 13:48:36 Starting compiler/bootstrap/compilation/x64/64
Jun 10 16:14:15 Finished compiler/bootstrap/compilation/x64/64             26h25m31s  94GB
Jun 10 16:14:17 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 10 16:20:53 Finished compiler/bootstrap/compilation/x64/64/proofs          6m33s  27GB
Jun 10 16:20:55 Starting compiler/bootstrap/compilation/x64/32
Jun 11 17:23:54 Finished compiler/bootstrap/compilation/x64/32             25h02m51s  88GB
Jun 11 17:23:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 11 17:27:39 Finished compiler/bootstrap/compilation/x64/32/proofs          3m40s  29GB
Jun 11 17:27:41 SUCCESS