Job 3660

CakeML:094ed712ae1d54a27bda4306167426583950b94d
  Merge pull request #1559 from CakeML/byte-array-scan [Nov 02 14:09:11]
HOL:9783a49979c94c401ff8c0e51b2eefae7ea95ae3
  RecordType: name the variables of the record cases proof [Oct 26 22:48:32]
Machine:spagbol

Nov 03 03:01:27 Claimed job
Nov 03 03:01:31 Reusing HOL
Nov 03 03:01:41 Starting developers
Nov 03 03:02:43 Finished developers                                            1m00s   1GB
Nov 03 03:02:44 Starting developers/bin
Nov 03 03:02:54 Finished developers/bin                                           8s   1GB
Nov 03 03:02:55 Starting misc
Nov 03 03:03:34 Finished misc                                                    38s   1GB
Nov 03 03:03:35 Starting compiler/proofs
Nov 03 04:34:03 Finished compiler/proofs                                    1h30m26s  12GB
Nov 03 04:34:04 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 03 11:08:29 Finished compiler/bootstrap/compilation/x64/64/proofs       6h34m24s 106GB
Nov 03 11:08:30 Starting semantics/ffi
Nov 03 11:08:53 Finished semantics/ffi                                           22s   1GB
Nov 03 11:08:54 Starting semantics
Nov 03 11:09:02 Finished semantics                                                6s   1GB
Nov 03 11:09:03 Starting semantics/proofs
Nov 03 11:09:33 Finished semantics/proofs                                        29s   1GB
Nov 03 11:09:34 Starting semantics/alt_semantics
Nov 03 11:09:53 Finished semantics/alt_semantics                                 17s   1GB
Nov 03 11:09:54 Starting semantics/alt_semantics/proofs
Nov 03 11:15:51 Finished semantics/alt_semantics/proofs                        5m55s   2GB
Nov 03 11:15:52 Starting basis/pure
Nov 03 11:16:00 Finished basis/pure                                               7s   1GB
Nov 03 11:16:01 Starting translator
Nov 03 11:17:22 Finished translator                                            1m20s   2GB
Nov 03 11:17:23 Starting compiler/parsing
Nov 03 11:17:59 Finished compiler/parsing                                        35s   2GB
Nov 03 11:18:00 Starting characteristic
Nov 03 11:18:08 Finished characteristic                                           6s   1GB
Nov 03 11:18:09 Starting translator/monadic
Nov 03 11:18:16 Finished translator/monadic                                       6s   1GB
Nov 03 11:18:17 Starting translator/monadic/monad_base
Nov 03 11:18:24 Finished translator/monadic/monad_base                            6s   1GB
Nov 03 11:18:25 Starting profiler
Nov 03 11:19:02 Finished profiler                                                35s   2GB
Nov 03 11:19:03 Starting basis
Nov 03 11:21:33 Finished basis                                                 2m29s   5GB
Nov 03 11:21:34 Starting compiler
Nov 03 11:21:42 Finished compiler                                                 6s   1GB
Nov 03 11:21:43 Starting compiler/inference
Nov 03 11:21:50 Finished compiler/inference                                       6s   1GB
Nov 03 11:21:51 Starting compiler/backend/reg_alloc
Nov 03 11:21:58 Finished compiler/backend/reg_alloc                               6s   1GB
Nov 03 11:21:59 Starting compiler/backend/gc
Nov 03 11:22:07 Finished compiler/backend/gc                                      6s   1GB
Nov 03 11:22:08 Starting compiler/backend
Nov 03 11:22:15 Finished compiler/backend                                         6s   1GB
Nov 03 11:22:16 Starting compiler/backend/tests
Nov 03 11:22:51 Finished compiler/backend/tests                                  34s   1GB
Nov 03 11:22:52 Starting compiler/encoders/asm
Nov 03 11:23:00 Finished compiler/encoders/asm                                    6s   1GB
Nov 03 11:23:01 Starting compiler/encoders/x64
Nov 03 11:23:09 Finished compiler/encoders/x64                                    6s   1GB
Nov 03 11:23:10 Starting compiler/encoders/arm7
Nov 03 11:23:18 Finished compiler/encoders/arm7                                   6s   1GB
Nov 03 11:23:18 Starting compiler/encoders/arm8
Nov 03 11:23:26 Finished compiler/encoders/arm8                                   6s   1GB
Nov 03 11:23:27 Starting compiler/encoders/arm8_asl
Nov 03 11:23:48 Finished compiler/encoders/arm8_asl                              20s   1GB
Nov 03 11:23:49 Starting compiler/encoders/mips
Nov 03 11:23:57 Finished compiler/encoders/mips                                   6s   1GB
Nov 03 11:23:58 Starting compiler/encoders/riscv
Nov 03 11:24:06 Finished compiler/encoders/riscv                                  6s   1GB
Nov 03 11:24:06 Starting compiler/encoders/ag32
Nov 03 11:24:14 Finished compiler/encoders/ag32                                   6s   1GB
Nov 03 11:24:15 Starting compiler/encoders/tests
Nov 03 11:24:57 Finished compiler/encoders/tests                                 41s   2GB
Nov 03 11:24:58 Starting compiler/encoders/monadic_enc
Nov 03 11:25:22 Finished compiler/encoders/monadic_enc                           22s   1GB
Nov 03 11:25:23 Starting compiler/backend/x64
Nov 03 11:25:31 Finished compiler/backend/x64                                     6s   1GB
Nov 03 11:25:32 Starting compiler/backend/arm7
Nov 03 11:25:39 Finished compiler/backend/arm7                                    6s   1GB
Nov 03 11:25:40 Starting compiler/backend/arm8
Nov 03 11:25:48 Finished compiler/backend/arm8                                    6s   1GB
Nov 03 11:25:49 Starting compiler/backend/mips
Nov 03 11:25:56 Finished compiler/backend/mips                                    6s   1GB
Nov 03 11:25:57 Starting compiler/backend/riscv
Nov 03 11:26:05 Finished compiler/backend/riscv                                   6s   1GB
Nov 03 11:26:06 Starting compiler/backend/ag32 Nov 03 11:26:06 66s