Job 1915

CakeML:f7195c3d29d6bd5f389a7ff307f998a45d56552f
  Merge pull request #888 from CakeML/deflate [Jun 09 07:20:45]
HOL:48bc6e3fcf4f5c1a81a122354d8838d83bbce3ef
  Re-organise Holmake code to isolate some "file-system" code [Jun 07 01:51:29]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Jun 10 06:28:05 Claimed job
Jun 10 06:28:11 Building HOL
Jun 10 06:38:03 Starting developers
Jun 10 06:38:08 Finished developers                                               4s 138MB
Jun 10 06:38:08 Starting developers/bin
Jun 10 06:38:14 Finished developers/bin                                           6s   1GB
Jun 10 06:38:14 Starting semantics/ffi
Jun 10 06:38:24 Finished semantics/ffi                                            9s 207MB
Jun 10 06:38:25 Starting semantics
Jun 10 06:41:02 Finished semantics                                             2m37s   1GB
Jun 10 06:41:02 Starting semantics/proofs
Jun 10 06:48:05 Finished semantics/proofs                                      7m02s   1GB
Jun 10 06:48:05 Starting semantics/alt_semantics
Jun 10 06:48:34 Finished semantics/alt_semantics                                 28s 575MB
Jun 10 06:48:34 Starting semantics/alt_semantics/proofs
Jun 10 07:00:08 Finished semantics/alt_semantics/proofs                       11m31s   1GB
Jun 10 07:00:09 Starting basis/pure
Jun 10 07:03:48 Finished basis/pure                                            3m39s   1GB
Jun 10 07:03:48 Starting translator
Jun 10 07:07:29 Finished translator                                            3m40s   1GB
Jun 10 07:07:29 Starting compiler/parsing
Jun 10 07:09:00 Finished compiler/parsing                                      1m30s   5GB
Jun 10 07:09:00 Starting characteristic
Jun 10 07:16:01 Finished characteristic                                        7m00s   1GB
Jun 10 07:16:01 Starting translator/monadic
Jun 10 07:18:06 Finished translator/monadic                                    2m04s   1GB
Jun 10 07:18:06 Starting basis
Jun 10 08:09:43 Finished basis                                                51m35s  20GB
Jun 10 08:09:43 Starting compiler/inference
Jun 10 08:11:21 Finished compiler/inference                                    1m37s   1GB
Jun 10 08:11:21 Starting compiler/backend/reg_alloc
Jun 10 08:13:06 Finished compiler/backend/reg_alloc                            1m45s   1GB
Jun 10 08:13:06 Starting compiler/backend/gc
Jun 10 08:17:33 Finished compiler/backend/gc                                   4m27s   2GB
Jun 10 08:17:33 Starting compiler/backend
Jun 10 08:23:25 Finished compiler/backend                                      5m51s   2GB
Jun 10 08:23:25 Starting compiler/encoders/asm
Jun 10 08:23:56 Finished compiler/encoders/asm                                   31s 759MB
Jun 10 08:23:56 Starting compiler/encoders/x64
Jun 10 08:25:04 Finished compiler/encoders/x64                                 1m07s   1GB
Jun 10 08:25:04 Starting compiler/encoders/arm7
Jun 10 08:27:14 Finished compiler/encoders/arm7                                2m09s   1GB
Jun 10 08:27:14 Starting compiler/encoders/arm8
Jun 10 08:27:57 Finished compiler/encoders/arm8                                  42s   1GB
Jun 10 08:27:57 Starting compiler/encoders/arm8_asl
Jun 10 10:46:03 Finished compiler/encoders/arm8_asl                         2h18m05s  32GB
Jun 10 10:46:03 Starting compiler/encoders/mips
Jun 10 10:47:35 Finished compiler/encoders/mips                                1m31s   1GB
Jun 10 10:47:35 Starting compiler/encoders/riscv
Jun 10 10:49:22 Finished compiler/encoders/riscv                               1m46s 886MB
Jun 10 10:49:22 Starting compiler/encoders/ag32
Jun 10 10:49:44 Finished compiler/encoders/ag32                                  21s 672MB
Jun 10 10:49:44 Starting compiler/backend/x64
Jun 10 10:50:05 Finished compiler/backend/x64                                    20s   1GB
Jun 10 10:50:05 Starting compiler/backend/arm7
Jun 10 10:50:29 Finished compiler/backend/arm7                                   23s   1GB
Jun 10 10:50:29 Starting compiler/backend/arm8
Jun 10 10:50:52 Finished compiler/backend/arm8                                   22s   1GB
Jun 10 10:50:52 Starting compiler/backend/mips
Jun 10 10:51:15 Finished compiler/backend/mips                                   22s   1GB
Jun 10 10:51:15 Starting compiler/backend/riscv
Jun 10 10:51:38 Finished compiler/backend/riscv                                  23s   1GB
Jun 10 10:51:38 Starting compiler/backend/ag32
Jun 10 10:53:06 Finished compiler/backend/ag32                                 1m27s   1GB
Jun 10 10:53:06 Starting compiler/parsing/proofs
Jun 10 10:56:51 Finished compiler/parsing/proofs                               3m44s   1GB
Jun 10 10:56:51 Starting compiler/inference/proofs
Jun 10 10:59:35 Finished compiler/inference/proofs                             2m44s   1GB
Jun 10 10:59:35 Starting compiler/backend/semantics
Jun 10 11:31:44 Finished compiler/backend/semantics                           32m08s   2GB
Jun 10 11:31:44 Starting compiler/backend/reg_alloc/proofs
Jun 10 11:35:25 Finished compiler/backend/reg_alloc/proofs                     3m40s 773MB
Jun 10 11:35:25 Starting compiler/backend/proofs
Jun 10 12:28:30 Finished compiler/backend/proofs                              53m04s  17GB
Jun 10 12:28:30 Starting compiler/backend/serialiser
Jun 10 12:30:09 Finished compiler/backend/serialiser                           1m38s   1GB
Jun 10 12:30:09 Starting compiler/encoders/x64/proofs
Jun 10 12:39:43 Finished compiler/encoders/x64/proofs                          9m33s   5GB
Jun 10 12:39:43 Starting compiler/encoders/arm7/proofs
Jun 10 12:53:00 Finished compiler/encoders/arm7/proofs                        13m17s   4GB
Jun 10 12:53:00 Starting compiler/encoders/arm8/proofs
Jun 10 12:59:49 Finished compiler/encoders/arm8/proofs                         6m49s   1GB
Jun 10 12:59:50 Starting compiler/encoders/arm8_asl/proofs
Jun 10 13:50:32 Finished compiler/encoders/arm8_asl/proofs                    50m40s   7GB
Jun 10 13:50:34 Starting compiler/encoders/mips/proofs Jun 10 13:50:34 624s