Job 1795

CakeML:8ea50eccda2ffdf1803b4e15cb39ec1f8fe3a3cd
  Fix pancake proofs [Feb 24 17:35:19]
HOL:b2236d1e8f18d389921766fcda06075975394e9f
  Fix ZIP_ind test case [Feb 23 03:12:26]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Feb 24 17:45:02 Claimed job
Feb 24 17:45:04 Reusing HOL
Feb 24 17:45:44 Starting developers
Feb 24 17:45:49 Finished developers                                               4s 140MB
Feb 24 17:45:49 Starting developers/bin
Feb 24 17:45:55 Finished developers/bin                                           5s 670MB
Feb 24 17:45:55 Starting semantics/ffi
Feb 24 17:46:06 Finished semantics/ffi                                           11s 223MB
Feb 24 17:46:07 Starting semantics
Feb 24 17:48:34 Finished semantics                                             2m27s   1GB
Feb 24 17:48:34 Starting semantics/proofs
Feb 24 17:53:02 Finished semantics/proofs                                      4m27s   1GB
Feb 24 17:53:02 Starting semantics/alt_semantics
Feb 24 17:53:23 Finished semantics/alt_semantics                                 20s 470MB
Feb 24 17:53:23 Starting semantics/alt_semantics/proofs
Feb 24 17:56:33 Finished semantics/alt_semantics/proofs                        3m09s   1GB
Feb 24 17:56:33 Starting basis/pure
Feb 24 17:57:57 Finished basis/pure                                            1m23s 897MB
Feb 24 17:57:57 Starting translator
Feb 24 18:02:24 Finished translator                                            4m26s   1GB
Feb 24 18:02:24 Starting compiler/parsing
Feb 24 18:04:26 Finished compiler/parsing                                      2m01s   1GB
Feb 24 18:04:26 Starting characteristic
Feb 24 18:11:49 Finished characteristic                                        7m22s   2GB
Feb 24 18:11:49 Starting translator/monadic
Feb 24 18:13:59 Finished translator/monadic                                    2m10s   1GB
Feb 24 18:14:00 Starting basis
Feb 24 19:10:33 Finished basis                                                56m33s  12GB
Feb 24 19:10:34 Starting compiler/inference
Feb 24 19:12:07 Finished compiler/inference                                    1m33s   1GB
Feb 24 19:12:08 Starting compiler/backend/reg_alloc
Feb 24 19:14:10 Finished compiler/backend/reg_alloc                            2m01s   1GB
Feb 24 19:14:10 Starting compiler/backend/gc
Feb 24 19:19:25 Finished compiler/backend/gc                                   5m14s   2GB
Feb 24 19:19:25 Starting compiler/backend
Feb 24 19:26:18 Finished compiler/backend                                      6m52s   1GB
Feb 24 19:26:18 Starting compiler/encoders/asm
Feb 24 19:26:50 Finished compiler/encoders/asm                                   31s 763MB
Feb 24 19:26:50 Starting compiler/encoders/x64
Feb 24 19:27:23 Finished compiler/encoders/x64                                   32s   1GB
Feb 24 19:27:23 Starting compiler/encoders/arm7
Feb 24 19:28:23 Finished compiler/encoders/arm7                                  59s 795MB
Feb 24 19:28:23 Starting compiler/encoders/arm8
Feb 24 19:28:41 Finished compiler/encoders/arm8                                  18s   1GB
Feb 24 19:28:41 Starting compiler/encoders/arm8_asl
Feb 24 19:31:47 Finished compiler/encoders/arm8_asl                            3m05s   1GB
Feb 24 19:31:47 Starting compiler/encoders/mips
Feb 24 19:32:11 Finished compiler/encoders/mips                                  23s   1GB
Feb 24 19:32:11 Starting compiler/encoders/riscv
Feb 24 19:32:32 Finished compiler/encoders/riscv                                 21s 768MB
Feb 24 19:32:32 Starting compiler/encoders/ag32
Feb 24 19:32:57 Finished compiler/encoders/ag32                                  23s 774MB
Feb 24 19:32:57 Starting compiler/backend/x64
Feb 24 19:33:20 Finished compiler/backend/x64                                    22s   1GB
Feb 24 19:33:20 Starting compiler/backend/arm7
Feb 24 19:33:47 Finished compiler/backend/arm7                                   26s   1GB
Feb 24 19:33:47 Starting compiler/backend/arm8
Feb 24 19:34:11 Finished compiler/backend/arm8                                   23s   1GB
Feb 24 19:34:11 Starting compiler/backend/mips
Feb 24 19:34:36 Finished compiler/backend/mips                                   24s   1GB
Feb 24 19:34:36 Starting compiler/backend/riscv
Feb 24 19:35:01 Finished compiler/backend/riscv                                  24s   1GB
Feb 24 19:35:01 Starting compiler/backend/ag32
Feb 24 19:36:38 Finished compiler/backend/ag32                                 1m36s   1GB
Feb 24 19:36:38 Starting compiler/parsing/proofs
Feb 24 19:40:52 Finished compiler/parsing/proofs                               4m14s   1GB
Feb 24 19:40:53 Starting compiler/inference/proofs
Feb 24 19:43:44 Finished compiler/inference/proofs                             2m51s 936MB
Feb 24 19:43:45 Starting compiler/backend/semantics Feb 24 19:43:45 198s