Job 1925

CakeML:19a3e657d17391e74025ed873ebb64a4d231efce
  Insert missing case [Jun 13 20:41:40]
#889 (consts)
Merging into:f7195c3d29d6bd5f389a7ff307f998a45d56552f
  Merge pull request #888 from CakeML/deflate [Jun 09 07:20:45]
HOL:55691be292491aef452ee5e7c56e67b02601f669
  Holmake: fix mlton build [Jun 10 00:41:25]
Machine:oven3

Jun 13 20:51:27 Claimed job
Jun 13 20:51:31 Building HOL
Jun 13 21:12:19 Starting developers
Jun 13 21:12:28 Finished developers                                               9s 104MB
Jun 13 21:12:29 Starting developers/bin
Jun 13 21:12:42 Finished developers/bin                                          12s   1GB
Jun 13 21:12:42 Starting semantics/ffi
Jun 13 21:13:06 Finished semantics/ffi                                           23s 252MB
Jun 13 21:13:06 Starting semantics
Jun 13 21:18:29 Finished semantics                                             5m22s   1GB
Jun 13 21:18:30 Starting semantics/proofs
Jun 13 21:34:44 Finished semantics/proofs                                     16m14s   1GB
Jun 13 21:34:45 Starting semantics/alt_semantics
Jun 13 21:35:47 Finished semantics/alt_semantics                               1m02s 544MB
Jun 13 21:35:47 Starting semantics/alt_semantics/proofs
Jun 13 22:01:17 Finished semantics/alt_semantics/proofs                       25m29s   1GB
Jun 13 22:01:17 Starting basis/pure
Jun 13 22:08:50 Finished basis/pure                                            7m32s   1GB
Jun 13 22:08:50 Starting translator
Jun 13 22:16:50 Finished translator                                            7m59s   1GB
Jun 13 22:16:50 Starting compiler/parsing
Jun 13 22:19:53 Finished compiler/parsing                                      3m02s   4GB
Jun 13 22:19:53 Starting characteristic
Jun 13 22:34:50 Finished characteristic                                       14m56s   2GB
Jun 13 22:34:50 Starting translator/monadic
Jun 13 22:39:03 Finished translator/monadic                                    4m12s   1GB
Jun 13 22:39:03 Starting basis
Jun 14 00:36:29 Finished basis                                              1h57m25s  14GB
Jun 14 00:36:29 Starting compiler/inference
Jun 14 00:40:00 Finished compiler/inference                                    3m30s   1GB
Jun 14 00:40:00 Starting compiler/backend/reg_alloc
Jun 14 00:43:15 Finished compiler/backend/reg_alloc                            3m14s   1GB
Jun 14 00:43:15 Starting compiler/backend/gc
Jun 14 00:51:49 Finished compiler/backend/gc                                   8m33s   2GB
Jun 14 00:51:49 Starting compiler/backend
Jun 14 01:03:29 Finished compiler/backend                                     11m40s   2GB
Jun 14 01:03:30 Starting compiler/encoders/asm
Jun 14 01:04:34 Finished compiler/encoders/asm                                 1m03s 717MB
Jun 14 01:04:34 Starting compiler/encoders/x64
Jun 14 01:07:01 Finished compiler/encoders/x64                                 2m26s   1GB
Jun 14 01:07:01 Starting compiler/encoders/arm7
Jun 14 01:11:43 Finished compiler/encoders/arm7                                4m41s   1GB
Jun 14 01:11:43 Starting compiler/encoders/arm8
Jun 14 01:13:20 Finished compiler/encoders/arm8                                1m36s 714MB
Jun 14 01:13:21 Starting compiler/encoders/arm8_asl
Jun 14 05:30:16 Finished compiler/encoders/arm8_asl                         4h16m54s  30GB
Jun 14 05:30:16 Starting compiler/encoders/mips
Jun 14 05:33:45 Finished compiler/encoders/mips                                3m29s   1GB
Jun 14 05:33:46 Starting compiler/encoders/riscv
Jun 14 05:37:32 Finished compiler/encoders/riscv                               3m46s 816MB
Jun 14 05:37:32 Starting compiler/encoders/ag32
Jun 14 05:38:22 Finished compiler/encoders/ag32                                  49s 695MB
Jun 14 05:38:22 Starting compiler/backend/x64
Jun 14 05:39:10 Finished compiler/backend/x64                                    47s   1GB
Jun 14 05:39:10 Starting compiler/backend/arm7
Jun 14 05:40:04 Finished compiler/backend/arm7                                   53s   1GB
Jun 14 05:40:04 Starting compiler/backend/arm8
Jun 14 05:40:55 Finished compiler/backend/arm8                                   50s   1GB
Jun 14 05:40:55 Starting compiler/backend/mips
Jun 14 05:41:43 Finished compiler/backend/mips                                   47s   1GB
Jun 14 05:41:43 Starting compiler/backend/riscv
Jun 14 05:42:33 Finished compiler/backend/riscv                                  49s   1GB
Jun 14 05:42:34 Starting compiler/backend/ag32
Jun 14 05:45:29 Finished compiler/backend/ag32                                 2m54s   2GB
Jun 14 05:45:29 Starting compiler/parsing/proofs
Jun 14 05:53:52 Finished compiler/parsing/proofs                               8m23s   1GB
Jun 14 05:53:53 Starting compiler/inference/proofs
Jun 14 05:59:54 Finished compiler/inference/proofs                             6m01s   1GB
Jun 14 05:59:54 Starting compiler/backend/semantics
Jun 14 06:56:26 Finished compiler/backend/semantics                           56m31s   2GB
Jun 14 06:56:27 Starting compiler/backend/reg_alloc/proofs
Jun 14 07:04:08 Finished compiler/backend/reg_alloc/proofs                     7m41s   1GB
Jun 14 07:04:08 Starting compiler/backend/proofs
Jun 14 08:56:09 Finished compiler/backend/proofs                            1h52m00s  15GB
Jun 14 08:56:09 Starting compiler/backend/serialiser
Jun 14 08:59:38 Finished compiler/backend/serialiser                           3m28s   2GB
Jun 14 08:59:38 Starting compiler/encoders/x64/proofs
Jun 14 09:20:55 Finished compiler/encoders/x64/proofs                         21m16s   4GB
Jun 14 09:20:56 Starting compiler/encoders/arm7/proofs
Jun 14 09:50:32 Finished compiler/encoders/arm7/proofs                        29m36s   4GB
Jun 14 09:50:32 Starting compiler/encoders/arm8/proofs
Jun 14 10:05:54 Finished compiler/encoders/arm8/proofs                        15m21s   1GB
Jun 14 10:05:55 Starting compiler/encoders/arm8_asl/proofs
Jun 14 11:59:42 Finished compiler/encoders/arm8_asl/proofs                  1h53m46s   5GB
Jun 14 11:59:42 Starting compiler/encoders/mips/proofs
Jun 14 12:22:08 Finished compiler/encoders/mips/proofs                        22m25s   2GB
Jun 14 12:22:08 Starting compiler/encoders/riscv/proofs
Jun 14 12:42:32 Finished compiler/encoders/riscv/proofs                       20m24s   1GB
Jun 14 12:42:33 Starting compiler/encoders/ag32/proofs
Jun 14 12:48:23 Finished compiler/encoders/ag32/proofs                         5m49s 892MB
Jun 14 12:48:23 Starting compiler/backend/x64/proofs
Jun 14 12:49:24 Finished compiler/backend/x64/proofs                           1m00s   1GB
Jun 14 12:49:24 Starting compiler/backend/arm7/proofs
Jun 14 12:50:29 Finished compiler/backend/arm7/proofs                          1m04s   1GB
Jun 14 12:50:29 Starting compiler/backend/arm8/proofs
Jun 14 12:51:34 Finished compiler/backend/arm8/proofs                          1m04s   1GB
Jun 14 12:51:34 Starting compiler/backend/arm8_asl
Jun 14 12:52:25 Finished compiler/backend/arm8_asl                               50s   1GB
Jun 14 12:52:25 Starting compiler/backend/mips/proofs
Jun 14 12:53:31 Finished compiler/backend/mips/proofs                          1m05s   1GB
Jun 14 12:53:31 Starting compiler/backend/riscv/proofs
Jun 14 12:54:35 Finished compiler/backend/riscv/proofs                         1m03s   1GB
Jun 14 12:54:36 Starting compiler/backend/ag32/proofs
Jun 14 13:25:08 Finished compiler/backend/ag32/proofs                         30m32s   2GB
Jun 14 13:25:09 Starting compiler/proofs
Jun 14 13:30:23 Finished compiler/proofs                                       5m14s   3GB
Jun 14 13:30:23 Starting candle/set-theory
Jun 14 13:31:34 Finished candle/set-theory                                     1m09s   1GB
Jun 14 13:31:34 Starting candle/syntax-lib
Jun 14 13:32:04 Finished candle/syntax-lib                                       29s 702MB
Jun 14 13:32:04 Starting candle/standard/syntax
Jun 14 13:36:38 Finished candle/standard/syntax                                4m33s   1GB
Jun 14 13:36:38 Starting candle/standard/semantics
Jun 14 13:40:43 Finished candle/standard/semantics                             4m04s   1GB
Jun 14 13:40:43 Starting candle/standard/monadic
Jun 14 13:44:47 Finished candle/standard/monadic                               4m03s   1GB
Jun 14 13:44:47 Starting candle/standard/ml_kernel
Jun 14 13:58:29 Finished candle/standard/ml_kernel                            13m41s   3GB
Jun 14 13:58:29 Starting candle/overloading/syntax
Jun 14 14:05:26 Finished candle/overloading/syntax                             6m56s   1GB
Jun 14 14:05:27 Starting candle/overloading/semantics
Jun 14 14:31:40 Finished candle/overloading/semantics                         26m12s   2GB
Jun 14 14:31:40 Starting candle/overloading/monadic
Jun 14 14:37:11 Finished candle/overloading/monadic                            5m31s   1GB
Jun 14 14:37:12 Starting candle/overloading/ml_kernel
Jun 14 14:53:11 Finished candle/overloading/ml_kernel                         15m59s   4GB
Jun 14 14:53:11 Starting candle/overloading/ml_checker
Jun 14 14:58:31 Finished candle/overloading/ml_checker                         5m20s   3GB
Jun 14 14:58:32 Starting candle/prover
Jun 14 15:23:17 Finished candle/prover                                        24m45s   3GB
Jun 14 15:23:18 Starting pancake
Jun 14 15:31:11 Finished pancake                                               7m52s   4GB
Jun 14 15:31:11 Starting pancake/ffi
Jun 14 15:31:12 Finished pancake/ffi                                              0s  31MB
Jun 14 15:31:12 Starting pancake/semantics
Jun 14 15:36:36 Finished pancake/semantics                                     5m24s   1GB
Jun 14 15:36:37 Starting pancake/proofs
Jun 14 16:02:49 Finished pancake/proofs                                       26m12s   7GB
Jun 14 16:02:50 Starting characteristic/examples
Jun 14 16:05:48 Finished characteristic/examples                               2m58s   3GB
Jun 14 16:05:48 Starting tutorial/solutions
Jun 14 16:41:08 Finished tutorial/solutions                                   35m19s   9GB
Jun 14 16:41:09 Starting translator/monadic/examples
Jun 14 16:48:18 Finished translator/monadic/examples                           7m08s   3GB
Jun 14 16:48:18 Starting examples
Jun 14 17:07:52 Finished examples                                             19m33s   3GB
Jun 14 17:07:52 Starting examples/compilation/x64
Jun 14 21:44:24 Finished examples/compilation/x64                           4h36m32s  22GB
Jun 14 21:44:25 Starting examples/compilation/x64/proofs
Jun 14 21:49:14 Finished examples/compilation/x64/proofs                       4m49s   3GB
Jun 14 21:49:15 Starting examples/compilation/ag32
Jun 14 23:02:58 Finished examples/compilation/ag32                          1h13m42s   9GB
Jun 14 23:02:58 Starting examples/compilation/ag32/proofs
Jun 14 23:05:00 Finished examples/compilation/ag32/proofs                      2m01s   4GB
Jun 14 23:05:01 Starting examples/lpr_checker
Jun 14 23:07:14 Finished examples/lpr_checker                                  2m12s 932MB
Jun 14 23:07:14 Starting examples/lpr_checker/array
Jun 15 00:22:33 Finished examples/lpr_checker/array                         1h15m18s   8GB
Jun 15 00:22:33 Starting examples/lpr_checker/array/compilation
Jun 15 01:42:31 Finished examples/lpr_checker/array/compilation             1h19m56s  38GB
Jun 15 01:42:31 Starting examples/lpr_checker/array/compilation/proofs
Jun 15 01:45:33 Finished examples/lpr_checker/array/compilation/proofs         3m01s   6GB
Jun 15 01:45:33 Starting examples/opentheory
Jun 15 02:08:32 Finished examples/opentheory                                  22m58s   4GB
Jun 15 02:08:32 Starting examples/opentheory
Jun 15 02:08:35 Finished examples/opentheory                                      2s  49MB
Jun 15 02:08:36 Starting examples/opentheory/compilation
Jun 15 03:36:07 Finished examples/opentheory/compilation                    1h27m31s  40GB
Jun 15 03:36:07 Starting examples/opentheory/compilation/proofs
Jun 15 03:38:00 Finished examples/opentheory/compilation/proofs                1m52s   4GB
Jun 15 03:38:00 Starting examples/opentheory/compilation/ag32
Jun 15 04:58:38 Finished examples/opentheory/compilation/ag32               1h20m37s  41GB
Jun 15 04:58:38 Starting examples/opentheory/compilation/ag32/proofs
Jun 15 05:02:27 Finished examples/opentheory/compilation/ag32/proofs           3m48s   5GB
Jun 15 05:02:28 Starting examples/sat_encodings
Jun 15 05:06:49 Finished examples/sat_encodings                                4m20s   1GB
Jun 15 05:06:49 Starting examples/sat_encodings/case_studies
Jun 15 05:10:35 Finished examples/sat_encodings/case_studies                   3m45s 709MB
Jun 15 05:10:35 Starting examples/sat_encodings/translation
Jun 15 05:22:27 Finished examples/sat_encodings/translation                   11m51s   3GB
Jun 15 05:22:27 Starting examples/sat_encodings/translation/compilation
Jun 15 06:47:59 Finished examples/sat_encodings/translation/compilation     1h25m31s  23GB
Jun 15 06:47:59 Starting examples/deflate
Jun 15 06:50:02 Finished examples/deflate                                      2m02s 785MB
Jun 15 06:50:02 Starting examples/deflate/translation
Jun 15 06:53:07 Finished examples/deflate/translation                          3m04s   2GB
Jun 15 06:53:07 Starting examples/deflate/translation/compilation
Jun 15 07:32:09 Finished examples/deflate/translation/compilation             39m01s  15GB
Jun 15 07:32:09 Starting translator/okasaki-examples
Jun 15 07:42:32 Finished translator/okasaki-examples                          10m22s   1GB
Jun 15 07:42:32 Starting translator/other-examples
Jun 15 07:46:27 Finished translator/other-examples                             3m54s   1GB
Jun 15 07:46:27 Starting compiler/parsing/tests
Jun 15 07:47:35 Finished compiler/parsing/tests                                1m07s 592MB
Jun 15 07:47:35 Starting compiler/inference/tests
Jun 15 08:04:07 Finished compiler/inference/tests                             16m31s   6GB
Jun 15 08:04:07 Starting compiler/printing/test
Jun 15 08:11:52 Finished compiler/printing/test                                7m45s   3GB
Jun 15 08:11:53 Starting icing/flover
Jun 15 08:39:48 Finished icing/flover                                         27m54s   1GB
Jun 15 08:39:48 Starting icing/
Jun 15 10:52:50 Finished icing/                                             2h13m02s   7GB
Jun 15 10:52:51 Starting icing/examples
Jun 15 10:55:58 Finished icing/examples                                        3m06s   5GB
Jun 15 10:55:58 Starting compiler/repl
Jun 15 11:22:17 Finished compiler/repl                                        26m18s   4GB
Jun 15 11:22:17 Starting compiler/bootstrap/translation
Jun 15 20:41:17 Finished compiler/bootstrap/translation                     9h18m59s  45GB
Jun 15 20:41:17 Starting unverified/sexpr-bootstrap/x64/64
Jun 15 21:04:27 Finished unverified/sexpr-bootstrap/x64/64                    23m09s  12GB
Jun 15 21:04:27 Starting unverified/sexpr-bootstrap/x64/32
Jun 15 21:23:34 Finished unverified/sexpr-bootstrap/x64/32                    19m07s  10GB
Jun 15 21:23:35 Starting compiler/benchmarks
Jun 15 21:23:40 Finished compiler/benchmarks                                      5s  45MB
Jun 15 21:23:40 Starting compiler/bootstrap/compilation/x64/64
Jun 16 21:39:50 Finished compiler/bootstrap/compilation/x64/64             24h16m08s  95GB
Jun 16 21:39:50 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 16 22:19:56 Finished compiler/bootstrap/compilation/x64/64/proofs         40m05s  24GB
Jun 16 22:19:56 Starting compiler/bootstrap/compilation/x64/32
Jun 17 11:17:26 Finished compiler/bootstrap/compilation/x64/32             12h57m29s  87GB
Jun 17 11:17:26 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 17 11:22:47 Finished compiler/bootstrap/compilation/x64/32/proofs          5m20s  12GB
Jun 17 11:22:47 Starting compiler/bootstrap/compilation/ag32/32
Jun 18 01:03:41 Finished compiler/bootstrap/compilation/ag32/32            13h40m53s  76GB
Jun 18 01:03:41 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 18 01:16:23 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m41s  35GB
Jun 18 01:16:23 SUCCESS