Job 339

CakeML:c82c27844718f0350ccaa354f4b058add2936484
  Minimal example that fails without b737ba3 [Jun 12 09:38:09]
#492 (removeprimes)
Merging into:175941d0931dee38e9c5fae902acae67c563a8de
  Finish floyd_warshallProg [Jun 05 15:28:32]
HOL:3ae73b8b47275b281599d2e9fac51de20e59bb24
  Fix up move of hol_sets into src: de-Unicodification; fix one ref [Jun 11 11:00:04]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux

Jun 12 10:25:58 Claimed job
Jun 12 10:26:10 Building HOL
Jun 12 10:38:56 Starting developers/bin
Jun 12 10:39:06 Finished developers/bin                                           8s 224MB
Jun 12 10:39:08 Starting semantics/ffi
Jun 12 10:40:10 Finished semantics/ffi                                           59s 357MB
Jun 12 10:40:12 Starting semantics
Jun 12 10:42:37 Finished semantics                                             2m22s   1GB
Jun 12 10:42:39 Starting semantics/proofs
Jun 12 10:45:53 Finished semantics/proofs                                      3m11s   1GB
Jun 12 10:45:55 Starting basis/pure
Jun 12 10:51:42 Finished basis/pure                                            5m45s 614MB
Jun 12 10:51:44 Starting translator
Jun 12 10:58:25 Finished translator                                            6m38s   1GB
Jun 12 10:58:27 Starting compiler/parsing
Jun 12 11:00:35 Finished compiler/parsing                                      2m06s   1GB
Jun 12 11:00:37 Starting characteristic
Jun 12 11:05:06 Finished characteristic                                        4m26s   1GB
Jun 12 11:05:08 Starting basis
Jun 12 11:33:51 Finished basis                                                28m40s   3GB
Jun 12 11:33:53 Starting translator/monadic
Jun 12 11:33:57 Finished translator/monadic                                       1s  20MB
Jun 12 11:33:59 Starting compiler/inference
Jun 12 11:36:42 Finished compiler/inference                                    2m41s   1GB
Jun 12 11:36:44 Starting compiler/backend/reg_alloc
Jun 12 11:37:42 Finished compiler/backend/reg_alloc                              55s   1GB
Jun 12 11:37:44 Starting compiler/backend/gc
Jun 12 11:52:40 Finished compiler/backend/gc                                  14m53s   3GB
Jun 12 11:52:42 Starting compiler/backend
Jun 12 11:52:48 Finished compiler/backend                                         3s  14MB
Jun 12 11:52:50 Starting compiler/encoders/asm
Jun 12 11:52:53 Finished compiler/encoders/asm                                    0s  16MB
Jun 12 11:52:55 Starting compiler/encoders/x64
Jun 12 11:54:22 Finished compiler/encoders/x64                                 1m25s 508MB
Jun 12 11:54:24 Starting compiler/encoders/arm6
Jun 12 11:57:27 Finished compiler/encoders/arm6                                3m00s   1GB
Jun 12 11:57:29 Starting compiler/encoders/arm8
Jun 12 11:58:15 Finished compiler/encoders/arm8                                  43s 384MB
Jun 12 11:58:17 Starting compiler/encoders/mips
Jun 12 11:59:54 Finished compiler/encoders/mips                                1m35s 670MB
Jun 12 11:59:56 Starting compiler/encoders/riscv
Jun 12 12:01:32 Finished compiler/encoders/riscv                               1m33s 492MB
Jun 12 12:01:34 Starting compiler/backend/x64
Jun 12 12:02:07 Finished compiler/backend/x64                                    31s   1GB
Jun 12 12:02:09 Starting compiler/backend/arm6
Jun 12 12:02:47 Finished compiler/backend/arm6                                   35s   1GB
Jun 12 12:02:49 Starting compiler/backend/arm8
Jun 12 12:03:23 Finished compiler/backend/arm8                                   32s   1GB
Jun 12 12:03:25 Starting compiler/backend/mips
Jun 12 12:04:00 Finished compiler/backend/mips                                   32s   1GB
Jun 12 12:04:02 Starting compiler/backend/riscv
Jun 12 12:04:37 Finished compiler/backend/riscv                                  32s   1GB
Jun 12 12:04:39 Starting compiler/parsing/proofs
Jun 12 12:08:39 Finished compiler/parsing/proofs                               3m58s 969MB
Jun 12 12:08:41 Starting compiler/inference/proofs
Jun 12 12:12:46 Finished compiler/inference/proofs                             4m02s   1GB
Jun 12 12:12:48 Starting compiler/backend/semantics
Jun 12 12:31:08 Finished compiler/backend/semantics                           18m18s   3GB
Jun 12 12:31:10 Starting compiler/backend/reg_alloc/proofs
Jun 12 12:32:35 Finished compiler/backend/reg_alloc/proofs                     1m23s 568MB
Jun 12 12:32:37 Starting compiler/backend/proofs
Jun 12 13:28:02 Finished compiler/backend/proofs                              55m22s   3GB
Jun 12 13:28:04 Starting compiler/encoders/x64/proofs
Jun 12 13:39:52 Finished compiler/encoders/x64/proofs                         11m45s   1GB
Jun 12 13:39:54 Starting compiler/encoders/arm6/proofs
Jun 12 13:52:16 Finished compiler/encoders/arm6/proofs                        12m20s   3GB
Jun 12 13:52:18 Starting compiler/encoders/arm8/proofs
Jun 12 14:00:35 Finished compiler/encoders/arm8/proofs                         8m14s   1GB
Jun 12 14:00:37 Starting compiler/encoders/mips/proofs
Jun 12 14:11:59 Finished compiler/encoders/mips/proofs                        11m20s   2GB
Jun 12 14:12:01 Starting compiler/encoders/riscv/proofs
Jun 12 14:24:35 Finished compiler/encoders/riscv/proofs                       12m31s 822MB
Jun 12 14:24:37 Starting compiler/backend/x64/proofs
Jun 12 14:25:13 Finished compiler/backend/x64/proofs                             34s   1GB
Jun 12 14:25:15 Starting compiler/backend/arm6/proofs
Jun 12 14:25:57 Finished compiler/backend/arm6/proofs                            39s   1GB
Jun 12 14:25:59 Starting compiler/backend/arm8/proofs
Jun 12 14:26:34 Finished compiler/backend/arm8/proofs                            33s   1GB
Jun 12 14:26:36 Starting compiler/backend/mips/proofs
Jun 12 14:27:14 Finished compiler/backend/mips/proofs                            35s   1GB
Jun 12 14:27:16 Starting compiler/backend/riscv/proofs
Jun 12 14:27:52 Finished compiler/backend/riscv/proofs                           34s   1GB
Jun 12 14:27:54 Starting compiler/proofs
Jun 12 14:30:16 Finished compiler/proofs                                       2m19s   2GB
Jun 12 14:30:18 Starting candle/set-theory
Jun 12 14:30:20 FAILED: candle/set-theory