Job 1917

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:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jun 10 16:15:02 Claimed job
Jun 10 16:16:20 Building HOL
Jun 10 16:27:07 Starting developers
Jun 10 16:27:12 Finished developers                                               5s 117MB
Jun 10 16:27:12 Starting developers/bin
Jun 10 16:28:52 Finished developers/bin                                        1m39s   1GB
Jun 10 16:28:52 Starting semantics/ffi
Jun 10 16:29:03 Finished semantics/ffi                                           10s 191MB
Jun 10 16:29:03 Starting semantics
Jun 10 16:31:55 Finished semantics                                             2m50s   1GB
Jun 10 16:31:55 Starting semantics/proofs
Jun 10 16:39:39 Finished semantics/proofs                                      7m44s   1GB
Jun 10 16:39:39 Starting semantics/alt_semantics
Jun 10 16:40:09 Finished semantics/alt_semantics                                 29s 532MB
Jun 10 16:40:09 Starting semantics/alt_semantics/proofs
Jun 10 16:52:44 Finished semantics/alt_semantics/proofs                       12m34s   1GB
Jun 10 16:52:44 Starting basis/pure
Jun 10 16:56:37 Finished basis/pure                                            3m52s 924MB
Jun 10 16:56:37 Starting translator
Jun 10 17:00:35 Finished translator                                            3m57s   1GB
Jun 10 17:00:36 Starting compiler/parsing
Jun 10 17:02:13 Finished compiler/parsing                                      1m36s   4GB
Jun 10 17:02:13 Starting characteristic
Jun 10 17:09:33 Finished characteristic                                        7m19s   1GB
Jun 10 17:09:33 Starting translator/monadic
Jun 10 17:11:37 Finished translator/monadic                                    2m03s   1GB
Jun 10 17:11:37 Starting basis
Jun 10 18:06:55 Finished basis                                                55m17s  14GB
Jun 10 18:06:56 Starting compiler/inference
Jun 10 18:08:39 Finished compiler/inference                                    1m43s   1GB
Jun 10 18:08:39 Starting compiler/backend/reg_alloc
Jun 10 18:10:30 Finished compiler/backend/reg_alloc                            1m50s   1GB
Jun 10 18:10:30 Starting compiler/backend/gc
Jun 10 18:15:19 Finished compiler/backend/gc                                   4m49s   2GB
Jun 10 18:15:20 Starting compiler/backend
Jun 10 18:21:38 Finished compiler/backend                                      6m18s   2GB
Jun 10 18:21:39 Starting compiler/encoders/asm
Jun 10 18:22:11 Finished compiler/encoders/asm                                   32s   1GB
Jun 10 18:22:11 Starting compiler/encoders/x64
Jun 10 18:23:24 Finished compiler/encoders/x64                                 1m12s 808MB
Jun 10 18:23:25 Starting compiler/encoders/arm7
Jun 10 18:25:43 Finished compiler/encoders/arm7                                2m18s   1GB
Jun 10 18:25:44 Starting compiler/encoders/arm8
Jun 10 18:26:29 Finished compiler/encoders/arm8                                  45s   1GB
Jun 10 18:26:30 Starting compiler/encoders/arm8_asl
Jun 10 20:56:21 Finished compiler/encoders/arm8_asl                         2h29m49s  36GB
Jun 10 20:56:21 Starting compiler/encoders/mips
Jun 10 20:58:03 Finished compiler/encoders/mips                                1m41s   1GB
Jun 10 20:58:04 Starting compiler/encoders/riscv
Jun 10 21:00:05 Finished compiler/encoders/riscv                               2m01s   1GB
Jun 10 21:00:06 Starting compiler/encoders/ag32
Jun 10 21:00:29 Finished compiler/encoders/ag32                                  23s 756MB
Jun 10 21:00:29 Starting compiler/backend/x64
Jun 10 21:00:53 Finished compiler/backend/x64                                    23s   1GB
Jun 10 21:00:53 Starting compiler/backend/arm7
Jun 10 21:01:18 Finished compiler/backend/arm7                                   24s   1GB
Jun 10 21:01:18 Starting compiler/backend/arm8
Jun 10 21:01:42 Finished compiler/backend/arm8                                   23s   1GB
Jun 10 21:01:42 Starting compiler/backend/mips
Jun 10 21:02:06 Finished compiler/backend/mips                                   23s   1GB
Jun 10 21:02:06 Starting compiler/backend/riscv
Jun 10 21:02:30 Finished compiler/backend/riscv                                  23s   1GB
Jun 10 21:02:31 Starting compiler/backend/ag32
Jun 10 21:04:03 Finished compiler/backend/ag32                                 1m32s   1GB
Jun 10 21:04:03 Starting compiler/parsing/proofs
Jun 10 21:08:10 Finished compiler/parsing/proofs                               4m06s 996MB
Jun 10 21:08:10 Starting compiler/inference/proofs
Jun 10 21:11:07 Finished compiler/inference/proofs                             2m57s   1GB
Jun 10 21:11:08 Starting compiler/backend/semantics
Jun 10 21:48:27 Finished compiler/backend/semantics                           37m19s   3GB
Jun 10 21:48:28 Starting compiler/backend/reg_alloc/proofs
Jun 10 21:52:26 Finished compiler/backend/reg_alloc/proofs                     3m57s 846MB
Jun 10 21:52:26 Starting compiler/backend/proofs
Jun 10 22:52:52 Finished compiler/backend/proofs                            1h00m25s  19GB
Jun 10 22:52:52 Starting compiler/backend/serialiser
Jun 10 22:54:36 Finished compiler/backend/serialiser                           1m44s   2GB
Jun 10 22:54:37 Starting compiler/encoders/x64/proofs
Jun 10 23:04:53 Finished compiler/encoders/x64/proofs                         10m15s   6GB
Jun 10 23:04:53 Starting compiler/encoders/arm7/proofs
Jun 10 23:18:52 Finished compiler/encoders/arm7/proofs                        13m58s   3GB
Jun 10 23:18:52 Starting compiler/encoders/arm8/proofs
Jun 10 23:26:05 Finished compiler/encoders/arm8/proofs                         7m12s   1GB
Jun 10 23:26:05 Starting compiler/encoders/arm8_asl/proofs
Jun 11 00:19:51 Finished compiler/encoders/arm8_asl/proofs                    53m44s   8GB
Jun 11 00:19:51 Starting compiler/encoders/mips/proofs
Jun 11 00:30:41 Finished compiler/encoders/mips/proofs                        10m49s   1GB
Jun 11 00:30:42 Starting compiler/encoders/riscv/proofs
Jun 11 00:40:18 Finished compiler/encoders/riscv/proofs                        9m35s   1GB
Jun 11 00:40:18 Starting compiler/encoders/ag32/proofs
Jun 11 00:43:06 Finished compiler/encoders/ag32/proofs                         2m48s 919MB
Jun 11 00:43:07 Starting compiler/backend/x64/proofs
Jun 11 00:43:36 Finished compiler/backend/x64/proofs                             29s   1GB
Jun 11 00:43:36 Starting compiler/backend/arm7/proofs
Jun 11 00:44:09 Finished compiler/backend/arm7/proofs                            32s   1GB
Jun 11 00:44:09 Starting compiler/backend/arm8/proofs
Jun 11 00:44:39 Finished compiler/backend/arm8/proofs                            29s   1GB
Jun 11 00:44:39 Starting compiler/backend/arm8_asl
Jun 11 00:45:05 Finished compiler/backend/arm8_asl                               25s   1GB
Jun 11 00:45:05 Starting compiler/backend/mips/proofs
Jun 11 00:45:36 Finished compiler/backend/mips/proofs                            30s   1GB
Jun 11 00:45:36 Starting compiler/backend/riscv/proofs
Jun 11 00:46:07 Finished compiler/backend/riscv/proofs                           30s   1GB
Jun 11 00:46:07 Starting compiler/backend/ag32/proofs
Jun 11 01:00:44 Finished compiler/backend/ag32/proofs                         14m36s   3GB
Jun 11 01:00:44 Starting compiler/proofs
Jun 11 01:03:20 Finished compiler/proofs                                       2m35s   3GB
Jun 11 01:03:21 Starting candle/set-theory
Jun 11 01:03:57 Finished candle/set-theory                                       36s 905MB
Jun 11 01:03:57 Starting candle/syntax-lib
Jun 11 01:04:11 Finished candle/syntax-lib                                       13s 670MB
Jun 11 01:04:11 Starting candle/standard/syntax
Jun 11 01:06:20 Finished candle/standard/syntax                                2m08s   1GB
Jun 11 01:06:20 Starting candle/standard/semantics
Jun 11 01:08:18 Finished candle/standard/semantics                             1m56s   1GB
Jun 11 01:08:18 Starting candle/standard/monadic
Jun 11 01:10:22 Finished candle/standard/monadic                               2m03s   1GB
Jun 11 01:10:22 Starting candle/standard/ml_kernel
Jun 11 01:17:28 Finished candle/standard/ml_kernel                             7m05s   3GB
Jun 11 01:17:28 Starting candle/overloading/syntax
Jun 11 01:20:56 Finished candle/overloading/syntax                             3m27s   1GB
Jun 11 01:20:56 Starting candle/overloading/semantics
Jun 11 01:33:35 Finished candle/overloading/semantics                         12m38s   2GB
Jun 11 01:33:35 Starting candle/overloading/monadic
Jun 11 01:36:24 Finished candle/overloading/monadic                            2m47s   1GB
Jun 11 01:36:24 Starting candle/overloading/ml_kernel
Jun 11 01:44:26 Finished candle/overloading/ml_kernel                          8m01s   3GB
Jun 11 01:44:26 Starting candle/overloading/ml_checker
Jun 11 01:47:08 Finished candle/overloading/ml_checker                         2m41s   2GB
Jun 11 01:47:08 Starting candle/prover
Jun 11 01:58:42 Finished candle/prover                                        11m33s   3GB
Jun 11 01:58:42 Starting pancake
Jun 11 02:02:47 Finished pancake                                               4m04s   3GB
Jun 11 02:02:47 Starting pancake/ffi
Jun 11 02:02:48 Finished pancake/ffi                                              0s  31MB
Jun 11 02:02:48 Starting pancake/semantics
Jun 11 02:05:38 Finished pancake/semantics                                     2m50s   1GB
Jun 11 02:05:39 Starting pancake/proofs
Jun 11 02:18:50 Finished pancake/proofs                                       13m11s   6GB
Jun 11 02:18:50 Starting characteristic/examples
Jun 11 02:20:19 Finished characteristic/examples                               1m28s   3GB
Jun 11 02:20:19 Starting tutorial/solutions
Jun 11 02:37:42 Finished tutorial/solutions                                   17m22s   8GB
Jun 11 02:37:42 Starting translator/monadic/examples
Jun 11 02:41:53 Finished translator/monadic/examples                           4m10s   2GB
Jun 11 02:41:53 Starting examples
Jun 11 02:53:03 Finished examples                                             11m09s   4GB
Jun 11 02:53:03 Starting examples/compilation/x64
Jun 11 05:31:45 Finished examples/compilation/x64                           2h38m41s  20GB
Jun 11 05:31:46 Starting examples/compilation/x64/proofs
Jun 11 05:34:23 Finished examples/compilation/x64/proofs                       2m36s   3GB
Jun 11 05:34:23 Starting examples/compilation/ag32
Jun 11 06:10:50 Finished examples/compilation/ag32                            36m26s   7GB
Jun 11 06:10:50 Starting examples/compilation/ag32/proofs
Jun 11 06:11:50 Finished examples/compilation/ag32/proofs                        59s   4GB
Jun 11 06:11:50 Starting examples/cost
Jun 11 07:16:43 Finished examples/cost                                      1h04m52s   9GB
Jun 11 07:16:44 Starting examples/lpr_checker
Jun 11 07:17:49 Finished examples/lpr_checker                                  1m05s   1GB
Jun 11 07:17:50 Starting examples/lpr_checker/array
Jun 11 07:54:07 Finished examples/lpr_checker/array                           36m16s   7GB
Jun 11 07:54:07 Starting examples/lpr_checker/array/compilation
Jun 11 09:21:13 Finished examples/lpr_checker/array/compilation             1h27m04s  26GB
Jun 11 09:21:13 Starting examples/lpr_checker/array/compilation/proofs
Jun 11 09:22:47 Finished examples/lpr_checker/array/compilation/proofs         1m33s   5GB
Jun 11 09:22:48 Starting examples/opentheory
Jun 11 09:34:08 Finished examples/opentheory                                  11m19s   4GB
Jun 11 09:34:08 Starting examples/opentheory
Jun 11 09:34:10 Finished examples/opentheory                                      1s  20MB
Jun 11 09:34:10 Starting examples/opentheory/compilation
Jun 11 10:17:16 Finished examples/opentheory/compilation                      43m05s  25GB
Jun 11 10:17:16 Starting examples/opentheory/compilation/proofs
Jun 11 10:18:33 Finished examples/opentheory/compilation/proofs                1m16s   3GB
Jun 11 10:18:33 Starting examples/opentheory/compilation/ag32
Jun 11 10:59:05 Finished examples/opentheory/compilation/ag32                 40m31s  26GB
Jun 11 10:59:06 Starting examples/opentheory/compilation/ag32/proofs
Jun 11 11:01:16 Finished examples/opentheory/compilation/ag32/proofs           2m10s   7GB
Jun 11 11:01:16 Starting examples/sat_encodings
Jun 11 11:03:25 Finished examples/sat_encodings                                2m08s 890MB
Jun 11 11:03:25 Starting examples/sat_encodings/case_studies
Jun 11 11:05:17 Finished examples/sat_encodings/case_studies                   1m52s   1GB
Jun 11 11:05:18 Starting examples/sat_encodings/translation
Jun 11 11:11:32 Finished examples/sat_encodings/translation                    6m14s   4GB
Jun 11 11:11:33 Starting examples/sat_encodings/translation/compilation
Jun 11 12:07:14 Finished examples/sat_encodings/translation/compilation       55m40s  22GB
Jun 11 12:07:15 Starting examples/deflate
Jun 11 12:08:16 Finished examples/deflate                                      1m01s 882MB
Jun 11 12:08:16 Starting examples/deflate/translation
Jun 11 12:09:58 Finished examples/deflate/translation                          1m41s   3GB
Jun 11 12:09:58 Starting examples/deflate/translation/compilation
Jun 11 12:35:46 Finished examples/deflate/translation/compilation             25m47s  17GB
Jun 11 12:35:47 Starting translator/okasaki-examples
Jun 11 12:41:10 Finished translator/okasaki-examples                           5m23s   1GB
Jun 11 12:41:11 Starting translator/other-examples
Jun 11 12:43:17 Finished translator/other-examples                             2m05s   1GB
Jun 11 12:43:17 Starting compiler/parsing/tests
Jun 11 12:43:49 Finished compiler/parsing/tests                                  32s 582MB
Jun 11 12:43:49 Starting compiler/inference/tests
Jun 11 12:52:33 Finished compiler/inference/tests                              8m43s   5GB
Jun 11 12:52:33 Starting compiler/printing/test
Jun 11 12:56:29 Finished compiler/printing/test                                3m55s   2GB
Jun 11 12:56:29 Starting icing/flover
Jun 11 13:09:45 Finished icing/flover                                         13m15s   1GB
Jun 11 13:09:45 Starting icing/
Jun 11 14:27:06 Finished icing/                                             1h17m20s   6GB
Jun 11 14:27:07 Starting icing/examples
Jun 11 14:28:37 Finished icing/examples                                        1m30s   5GB
Jun 11 14:28:37 Starting compiler/repl
Jun 11 14:42:33 Finished compiler/repl                                        13m55s   5GB
Jun 11 14:42:34 Starting compiler/bootstrap/translation
Jun 11 19:12:30 Finished compiler/bootstrap/translation                     4h29m56s  37GB
Jun 11 19:12:31 Starting unverified/sexpr-bootstrap/x64/64
Jun 11 19:24:12 Finished unverified/sexpr-bootstrap/x64/64                    11m35s   8GB
Jun 11 19:24:12 Starting unverified/sexpr-bootstrap/x64/32
Jun 11 19:33:07 Finished unverified/sexpr-bootstrap/x64/32                     8m50s  11GB
Jun 11 19:33:08 Starting compiler/benchmarks
Jun 11 19:33:11 Finished compiler/benchmarks                                      2s  31MB
Jun 11 19:33:11 Starting compiler/bootstrap/compilation/x64/64
Jun 12 19:31:13 Finished compiler/bootstrap/compilation/x64/64             23h57m57s  64GB
Jun 12 19:31:13 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 12 19:54:24 Finished compiler/bootstrap/compilation/x64/64/proofs         23m10s  53GB
Jun 12 19:54:24 Starting compiler/bootstrap/compilation/x64/32
Jun 13 09:17:19 Finished compiler/bootstrap/compilation/x64/32             13h22m51s  64GB
Jun 13 09:17:19 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 13 09:24:19 Finished compiler/bootstrap/compilation/x64/32/proofs          6m59s  13GB
Jun 13 09:24:19 Starting compiler/bootstrap/compilation/ag32/32
Jun 13 23:11:05 Finished compiler/bootstrap/compilation/ag32/32            13h46m45s  64GB
Jun 13 23:11:05 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 13 23:39:16 Finished compiler/bootstrap/compilation/ag32/32/proofs        28m10s  30GB
Jun 13 23:39:16 SUCCESS