Job 338

CakeML: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:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Jun 12 04:53:23 Claimed job
Jun 12 04:53:47 Building HOL
Jun 12 05:02:34 Starting developers/bin
Jun 12 05:03:11 Finished developers/bin                                          36s 925MB
Jun 12 05:03:12 Starting semantics/ffi
Jun 12 05:03:51 Finished semantics/ffi                                           38s 413MB
Jun 12 05:03:52 Starting semantics
Jun 12 05:05:16 Finished semantics                                             1m24s 974MB
Jun 12 05:05:17 Starting semantics/proofs
Jun 12 05:07:07 Finished semantics/proofs                                      1m49s   1GB
Jun 12 05:07:08 Starting basis/pure
Jun 12 05:10:36 Finished basis/pure                                            3m27s 588MB
Jun 12 05:10:37 Starting translator
Jun 12 05:14:28 Finished translator                                            3m50s   1GB
Jun 12 05:14:28 Starting compiler/parsing
Jun 12 05:15:56 Finished compiler/parsing                                      1m27s   2GB
Jun 12 05:15:57 Starting characteristic
Jun 12 05:18:17 Finished characteristic                                        2m20s   1GB
Jun 12 05:18:18 Starting basis
Jun 12 05:35:19 Finished basis                                                17m00s   3GB
Jun 12 05:35:19 Starting translator/monadic
Jun 12 05:35:22 Finished translator/monadic                                       2s  12MB
Jun 12 05:35:22 Starting compiler/inference
Jun 12 05:36:57 Finished compiler/inference                                    1m34s 894MB
Jun 12 05:36:58 Starting compiler/backend/reg_alloc
Jun 12 05:37:32 Finished compiler/backend/reg_alloc                              33s 917MB
Jun 12 05:37:33 Starting compiler/backend/gc
Jun 12 05:46:21 Finished compiler/backend/gc                                   8m47s   3GB
Jun 12 05:46:22 Starting compiler/backend
Jun 12 05:46:25 Finished compiler/backend                                         3s  17MB
Jun 12 05:46:26 Starting compiler/encoders/asm
Jun 12 05:46:28 Finished compiler/encoders/asm                                    1s  13MB
Jun 12 05:46:29 Starting compiler/encoders/x64
Jun 12 05:47:21 Finished compiler/encoders/x64                                   51s 602MB
Jun 12 05:47:21 Starting compiler/encoders/arm6
Jun 12 05:49:03 Finished compiler/encoders/arm6                                1m41s   1GB
Jun 12 05:49:04 Starting compiler/encoders/arm8
Jun 12 05:49:30 Finished compiler/encoders/arm8                                  25s 488MB
Jun 12 05:49:31 Starting compiler/encoders/mips
Jun 12 05:50:28 Finished compiler/encoders/mips                                  56s 901MB
Jun 12 05:50:29 Starting compiler/encoders/riscv
Jun 12 05:51:29 Finished compiler/encoders/riscv                                 59s 714MB
Jun 12 05:51:30 Starting compiler/backend/x64
Jun 12 05:51:49 Finished compiler/backend/x64                                    17s 922MB
Jun 12 05:51:49 Starting compiler/backend/arm6
Jun 12 05:52:11 Finished compiler/backend/arm6                                   20s   1GB
Jun 12 05:52:11 Starting compiler/backend/arm8
Jun 12 05:52:31 Finished compiler/backend/arm8                                   18s 946MB
Jun 12 05:52:31 Starting compiler/backend/mips
Jun 12 05:52:52 Finished compiler/backend/mips                                   19s   1GB
Jun 12 05:52:52 Starting compiler/backend/riscv
Jun 12 05:53:13 Finished compiler/backend/riscv                                  19s   1GB
Jun 12 05:53:13 Starting compiler/parsing/proofs
Jun 12 05:59:20 Finished compiler/parsing/proofs                               6m05s 765MB
Jun 12 05:59:21 Starting compiler/inference/proofs
Jun 12 06:01:36 Finished compiler/inference/proofs                             2m15s   1GB
Jun 12 06:01:37 Starting compiler/backend/semantics
Jun 12 06:12:55 Finished compiler/backend/semantics                           11m17s   3GB
Jun 12 06:12:56 Starting compiler/backend/reg_alloc/proofs
Jun 12 06:13:44 Finished compiler/backend/reg_alloc/proofs                       48s 617MB
Jun 12 06:13:45 Starting compiler/backend/proofs
Jun 12 06:49:36 Finished compiler/backend/proofs                              35m50s   4GB
Jun 12 06:49:37 Starting compiler/encoders/x64/proofs
Jun 12 06:56:55 Finished compiler/encoders/x64/proofs                          7m17s   5GB
Jun 12 06:56:56 Starting compiler/encoders/arm6/proofs
Jun 12 07:04:23 Finished compiler/encoders/arm6/proofs                         7m25s   2GB
Jun 12 07:04:24 Starting compiler/encoders/arm8/proofs
Jun 12 07:09:46 Finished compiler/encoders/arm8/proofs                         5m21s 908MB
Jun 12 07:09:47 Starting compiler/encoders/mips/proofs
Jun 12 07:17:08 Finished compiler/encoders/mips/proofs                         7m20s   1GB
Jun 12 07:17:09 Starting compiler/encoders/riscv/proofs
Jun 12 07:25:03 Finished compiler/encoders/riscv/proofs                        7m53s 687MB
Jun 12 07:25:04 Starting compiler/backend/x64/proofs
Jun 12 07:25:26 Finished compiler/backend/x64/proofs                             21s   1GB
Jun 12 07:25:27 Starting compiler/backend/arm6/proofs
Jun 12 07:25:50 Finished compiler/backend/arm6/proofs                            22s   1GB
Jun 12 07:25:50 Starting compiler/backend/arm8/proofs
Jun 12 07:26:12 Finished compiler/backend/arm8/proofs                            20s 740MB
Jun 12 07:26:13 Starting compiler/backend/mips/proofs
Jun 12 07:26:35 Finished compiler/backend/mips/proofs                            22s   1GB
Jun 12 07:26:36 Starting compiler/backend/riscv/proofs
Jun 12 07:26:57 Finished compiler/backend/riscv/proofs                           20s   1GB
Jun 12 07:26:58 Starting compiler/proofs
Jun 12 07:28:14 Finished compiler/proofs                                       1m15s   2GB
Jun 12 07:28:15 Starting candle/set-theory
Jun 12 07:28:16 FAILED: candle/set-theory