Job 1931

CakeML:eb790298e00c580a9e04859097bb496681cb60ba
  Merge pull request #889 from CakeML/consts [Jun 17 13:54:24]
HOL:55691be292491aef452ee5e7c56e67b02601f669
  Holmake: fix mlton build [Jun 10 00:41:25]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Jun 17 18:00:01 Claimed job
Jun 17 18:00:05 Reusing HOL
Jun 17 18:00:45 Starting developers
Jun 17 18:00:51 Finished developers                                               5s 117MB
Jun 17 18:00:51 Starting developers/bin
Jun 17 18:02:29 Finished developers/bin                                        1m37s   1GB
Jun 17 18:02:29 Starting semantics/ffi
Jun 17 18:02:40 Finished semantics/ffi                                           10s 207MB
Jun 17 18:02:40 Starting semantics
Jun 17 18:05:22 Finished semantics                                             2m41s   1GB
Jun 17 18:05:23 Starting semantics/proofs
Jun 17 18:12:57 Finished semantics/proofs                                      7m33s 997MB
Jun 17 18:12:57 Starting semantics/alt_semantics
Jun 17 18:13:27 Finished semantics/alt_semantics                                 29s 588MB
Jun 17 18:13:28 Starting semantics/alt_semantics/proofs
Jun 17 18:25:48 Finished semantics/alt_semantics/proofs                       12m20s   1GB
Jun 17 18:25:49 Starting basis/pure
Jun 17 18:26:59 Finished basis/pure                                            1m09s   1GB
Jun 17 18:26:59 Starting translator
Jun 17 18:30:55 Finished translator                                            3m56s   1GB
Jun 17 18:30:56 Starting compiler/parsing
Jun 17 18:32:26 Finished compiler/parsing                                      1m30s   5GB
Jun 17 18:32:27 Starting characteristic
Jun 17 18:39:45 Finished characteristic                                        7m18s   2GB
Jun 17 18:39:46 Starting translator/monadic
Jun 17 18:41:55 Finished translator/monadic                                    2m08s   1GB
Jun 17 18:41:55 Starting basis
Jun 17 19:37:08 Finished basis                                                55m12s  12GB
Jun 17 19:37:09 Starting compiler/inference
Jun 17 19:38:45 Finished compiler/inference                                    1m35s   1GB
Jun 17 19:38:45 Starting compiler/backend/reg_alloc
Jun 17 19:40:35 Finished compiler/backend/reg_alloc                            1m49s   1GB
Jun 17 19:40:35 Starting compiler/backend/gc
Jun 17 19:45:24 Finished compiler/backend/gc                                   4m48s   2GB
Jun 17 19:45:25 Starting compiler/backend
Jun 17 19:51:52 Finished compiler/backend                                      6m27s   2GB
Jun 17 19:51:53 Starting compiler/encoders/asm
Jun 17 19:52:25 Finished compiler/encoders/asm                                   32s 777MB
Jun 17 19:52:25 Starting compiler/encoders/x64
Jun 17 19:52:56 Finished compiler/encoders/x64                                   31s   1GB
Jun 17 19:52:57 Starting compiler/encoders/arm7
Jun 17 19:53:53 Finished compiler/encoders/arm7                                  56s 802MB
Jun 17 19:53:54 Starting compiler/encoders/arm8
Jun 17 19:54:12 Finished compiler/encoders/arm8                                  18s 858MB
Jun 17 19:54:13 Starting compiler/encoders/arm8_asl
Jun 17 19:57:12 Finished compiler/encoders/arm8_asl                            2m59s   1GB
Jun 17 19:57:12 Starting compiler/encoders/mips
Jun 17 19:57:35 Finished compiler/encoders/mips                                  22s   1GB
Jun 17 19:57:35 Starting compiler/encoders/riscv
Jun 17 19:57:56 Finished compiler/encoders/riscv                                 20s 753MB
Jun 17 19:57:56 Starting compiler/encoders/ag32
Jun 17 19:58:20 Finished compiler/encoders/ag32                                  23s 818MB
Jun 17 19:58:20 Starting compiler/backend/x64
Jun 17 19:58:44 Finished compiler/backend/x64                                    24s   1GB
Jun 17 19:58:44 Starting compiler/backend/arm7
Jun 17 19:59:10 Finished compiler/backend/arm7                                   25s   1GB
Jun 17 19:59:11 Starting compiler/backend/arm8
Jun 17 19:59:35 Finished compiler/backend/arm8                                   24s   1GB
Jun 17 19:59:36 Starting compiler/backend/mips
Jun 17 20:00:00 Finished compiler/backend/mips                                   24s   1GB
Jun 17 20:00:00 Starting compiler/backend/riscv
Jun 17 20:00:25 Finished compiler/backend/riscv                                  25s   1GB
Jun 17 20:00:26 Starting compiler/backend/ag32
Jun 17 20:01:59 Finished compiler/backend/ag32                                 1m32s   1GB
Jun 17 20:01:59 Starting compiler/parsing/proofs
Jun 17 20:05:57 Finished compiler/parsing/proofs                               3m57s   1GB
Jun 17 20:05:57 Starting compiler/inference/proofs
Jun 17 20:08:56 Finished compiler/inference/proofs                             2m58s   1GB
Jun 17 20:08:56 Starting compiler/backend/semantics
Jun 17 20:38:49 Finished compiler/backend/semantics                           29m52s   2GB
Jun 17 20:38:50 Starting compiler/backend/reg_alloc/proofs
Jun 17 20:42:46 Finished compiler/backend/reg_alloc/proofs                     3m56s   1GB
Jun 17 20:42:46 Starting compiler/backend/proofs
Jun 17 21:44:44 Finished compiler/backend/proofs                            1h01m57s  15GB
Jun 17 21:44:44 Starting compiler/backend/serialiser
Jun 17 21:46:32 Finished compiler/backend/serialiser                           1m47s   1GB
Jun 17 21:46:32 Starting compiler/encoders/x64/proofs
Jun 17 21:56:47 Finished compiler/encoders/x64/proofs                         10m14s   4GB
Jun 17 21:56:47 Starting compiler/encoders/arm7/proofs
Jun 17 22:10:51 Finished compiler/encoders/arm7/proofs                        14m03s   3GB
Jun 17 22:10:51 Starting compiler/encoders/arm8/proofs
Jun 17 22:18:09 Finished compiler/encoders/arm8/proofs                         7m16s   1GB
Jun 17 22:18:09 Starting compiler/encoders/arm8_asl/proofs
Jun 17 22:34:14 Finished compiler/encoders/arm8_asl/proofs                    16m04s   2GB
Jun 17 22:34:14 Starting compiler/encoders/mips/proofs
Jun 17 22:44:48 Finished compiler/encoders/mips/proofs                        10m34s   2GB
Jun 17 22:44:49 Starting compiler/encoders/riscv/proofs
Jun 17 22:54:24 Finished compiler/encoders/riscv/proofs                        9m35s   1GB
Jun 17 22:54:24 Starting compiler/encoders/ag32/proofs
Jun 17 22:57:14 Finished compiler/encoders/ag32/proofs                         2m50s 672MB
Jun 17 22:57:15 Starting compiler/backend/x64/proofs
Jun 17 22:57:45 Finished compiler/backend/x64/proofs                             29s   1GB
Jun 17 22:57:45 Starting compiler/backend/arm7/proofs
Jun 17 22:58:16 Finished compiler/backend/arm7/proofs                            31s   1GB
Jun 17 22:58:17 Starting compiler/backend/arm8/proofs
Jun 17 22:58:48 Finished compiler/backend/arm8/proofs                            30s   1GB
Jun 17 22:58:48 Starting compiler/backend/arm8_asl
Jun 17 22:59:12 Finished compiler/backend/arm8_asl                               23s   1GB
Jun 17 22:59:12 Starting compiler/backend/mips/proofs
Jun 17 22:59:42 Finished compiler/backend/mips/proofs                            29s   1GB
Jun 17 22:59:42 Starting compiler/backend/riscv/proofs
Jun 17 23:00:12 Finished compiler/backend/riscv/proofs                           29s   1GB
Jun 17 23:00:12 Starting compiler/backend/ag32/proofs
Jun 17 23:15:04 Finished compiler/backend/ag32/proofs                         14m51s   2GB
Jun 17 23:15:04 Starting compiler/proofs
Jun 17 23:17:21 Finished compiler/proofs                                       2m16s   3GB
Jun 17 23:17:21 Starting candle/set-theory
Jun 17 23:17:57 Finished candle/set-theory                                       36s   1GB
Jun 17 23:17:58 Starting candle/syntax-lib
Jun 17 23:18:12 Finished candle/syntax-lib                                       13s 537MB
Jun 17 23:18:12 Starting candle/standard/syntax
Jun 17 23:20:21 Finished candle/standard/syntax                                2m08s   1GB
Jun 17 23:20:21 Starting candle/standard/semantics
Jun 17 23:22:17 Finished candle/standard/semantics                             1m55s   1GB
Jun 17 23:22:17 Starting candle/standard/monadic
Jun 17 23:24:21 Finished candle/standard/monadic                               2m03s   1GB
Jun 17 23:24:21 Starting candle/standard/ml_kernel
Jun 17 23:31:24 Finished candle/standard/ml_kernel                             7m02s   3GB
Jun 17 23:31:24 Starting candle/overloading/syntax
Jun 17 23:34:51 Finished candle/overloading/syntax                             3m26s 996MB
Jun 17 23:34:51 Starting candle/overloading/semantics
Jun 17 23:47:32 Finished candle/overloading/semantics                         12m41s   2GB
Jun 17 23:47:33 Starting candle/overloading/monadic
Jun 17 23:50:20 Finished candle/overloading/monadic                            2m47s   1GB
Jun 17 23:50:21 Starting candle/overloading/ml_kernel
Jun 17 23:58:27 Finished candle/overloading/ml_kernel                          8m05s   3GB
Jun 17 23:58:27 Starting candle/overloading/ml_checker
Jun 18 00:01:00 Finished candle/overloading/ml_checker                         2m32s   3GB
Jun 18 00:01:00 Starting candle/prover
Jun 18 00:12:22 Finished candle/prover                                        11m21s   2GB
Jun 18 00:12:22 Starting pancake
Jun 18 00:16:27 Finished pancake                                               4m04s   3GB
Jun 18 00:16:27 Starting pancake/ffi
Jun 18 00:16:28 Finished pancake/ffi                                              0s  17MB
Jun 18 00:16:28 Starting pancake/semantics
Jun 18 00:19:15 Finished pancake/semantics                                     2m46s   1GB
Jun 18 00:19:15 Starting pancake/proofs
Jun 18 00:32:19 Finished pancake/proofs                                       13m03s   6GB
Jun 18 00:32:19 Starting characteristic/examples
Jun 18 00:33:49 Finished characteristic/examples                               1m29s   3GB
Jun 18 00:33:49 Starting tutorial/solutions
Jun 18 00:50:20 Finished tutorial/solutions                                   16m30s   8GB
Jun 18 00:50:20 Starting translator/monadic/examples
Jun 18 00:54:27 Finished translator/monadic/examples                           4m06s   2GB
Jun 18 00:54:27 Starting examples
Jun 18 01:05:28 Finished examples                                             11m00s   3GB
Jun 18 01:05:28 Starting examples/compilation/x64
Jun 18 03:14:57 Finished examples/compilation/x64                           2h09m26s  11GB
Jun 18 03:14:57 Starting examples/compilation/x64/proofs
Jun 18 03:17:23 Finished examples/compilation/x64/proofs                       2m25s   3GB
Jun 18 03:17:23 Starting examples/compilation/ag32
Jun 18 03:51:54 Finished examples/compilation/ag32                            34m30s   8GB
Jun 18 03:51:54 Starting examples/compilation/ag32/proofs
Jun 18 03:52:53 Finished examples/compilation/ag32/proofs                        58s   3GB
Jun 18 03:52:54 Starting examples/lpr_checker
Jun 18 03:53:59 Finished examples/lpr_checker                                  1m05s   1GB
Jun 18 03:54:00 Starting examples/lpr_checker/array
Jun 18 04:29:32 Finished examples/lpr_checker/array                           35m32s   7GB
Jun 18 04:29:32 Starting examples/lpr_checker/array/compilation
Jun 18 05:10:55 Finished examples/lpr_checker/array/compilation               41m21s  29GB
Jun 18 05:10:55 Starting examples/lpr_checker/array/compilation/proofs
Jun 18 05:12:23 Finished examples/lpr_checker/array/compilation/proofs         1m28s   6GB
Jun 18 05:12:24 Starting examples/opentheory
Jun 18 05:23:32 Finished examples/opentheory                                  11m08s   5GB
Jun 18 05:23:32 Starting examples/opentheory
Jun 18 05:23:34 Finished examples/opentheory                                      1s  22MB
Jun 18 05:23:34 Starting examples/opentheory/compilation
Jun 18 06:03:08 Finished examples/opentheory/compilation                      39m33s  22GB
Jun 18 06:03:08 Starting examples/opentheory/compilation/proofs
Jun 18 06:04:06 Finished examples/opentheory/compilation/proofs                  56s   3GB
Jun 18 06:04:06 Starting examples/opentheory/compilation/ag32
Jun 18 06:40:13 Finished examples/opentheory/compilation/ag32                 36m07s  20GB
Jun 18 06:40:13 Starting examples/opentheory/compilation/ag32/proofs
Jun 18 06:42:05 Finished examples/opentheory/compilation/ag32/proofs           1m51s   5GB
Jun 18 06:42:06 Starting examples/sat_encodings
Jun 18 06:44:14 Finished examples/sat_encodings                                2m07s 811MB
Jun 18 06:44:14 Starting examples/sat_encodings/case_studies
Jun 18 06:46:05 Finished examples/sat_encodings/case_studies                   1m51s 745MB
Jun 18 06:46:06 Starting examples/sat_encodings/translation
Jun 18 06:52:13 Finished examples/sat_encodings/translation                    6m07s   3GB
Jun 18 06:52:13 Starting examples/sat_encodings/translation/compilation
Jun 18 07:43:56 Finished examples/sat_encodings/translation/compilation       51m42s  21GB
Jun 18 07:43:57 Starting examples/deflate
Jun 18 07:44:58 Finished examples/deflate                                      1m01s 734MB
Jun 18 07:44:58 Starting examples/deflate/translation
Jun 18 07:46:40 Finished examples/deflate/translation                          1m40s   3GB
Jun 18 07:46:40 Starting examples/deflate/translation/compilation
Jun 18 08:10:03 Finished examples/deflate/translation/compilation             23m23s  14GB
Jun 18 08:10:03 Starting translator/okasaki-examples
Jun 18 08:15:25 Finished translator/okasaki-examples                           5m21s   2GB
Jun 18 08:15:25 Starting translator/other-examples
Jun 18 08:16:18 Finished translator/other-examples                               52s   1GB
Jun 18 08:16:18 Starting compiler/parsing/tests
Jun 18 08:16:49 Finished compiler/parsing/tests                                  30s 593MB
Jun 18 08:16:49 Starting compiler/inference/tests
Jun 18 08:25:40 Finished compiler/inference/tests                              8m50s   3GB
Jun 18 08:25:40 Starting compiler/printing/test
Jun 18 08:29:32 Finished compiler/printing/test                                3m51s   3GB
Jun 18 08:29:32 Starting icing/flover
Jun 18 08:42:48 Finished icing/flover                                         13m15s   1GB
Jun 18 08:42:48 Starting icing/
Jun 18 09:59:01 Finished icing/                                             1h16m12s   6GB
Jun 18 09:59:02 Starting icing/examples
Jun 18 10:00:38 Finished icing/examples                                        1m35s   5GB
Jun 18 10:00:38 Starting compiler/repl
Jun 18 10:14:21 Finished compiler/repl                                        13m43s   7GB
Jun 18 10:14:22 Starting compiler/bootstrap/translation
Jun 18 14:47:25 Finished compiler/bootstrap/translation                     4h33m03s  44GB
Jun 18 14:47:25 Starting unverified/sexpr-bootstrap/x64/64
Jun 18 14:59:05 Finished unverified/sexpr-bootstrap/x64/64                    11m34s   8GB
Jun 18 14:59:05 Starting unverified/sexpr-bootstrap/x64/32
Jun 18 15:08:01 Finished unverified/sexpr-bootstrap/x64/32                     8m51s  11GB
Jun 18 15:08:01 Starting compiler/benchmarks
Jun 18 15:08:04 Finished compiler/benchmarks                                      2s  34MB
Jun 18 15:08:04 Starting compiler/bootstrap/compilation/x64/64
Jun 19 02:53:08 Finished compiler/bootstrap/compilation/x64/64             11h45m01s  64GB
Jun 19 02:53:08 Starting compiler/bootstrap/compilation/x64/64/proofs
Jun 19 03:11:14 Finished compiler/bootstrap/compilation/x64/64/proofs         18m04s  24GB
Jun 19 03:11:14 Starting compiler/bootstrap/compilation/x64/32
Jun 19 09:44:48 Finished compiler/bootstrap/compilation/x64/32              6h33m32s  64GB
Jun 19 09:44:48 Starting compiler/bootstrap/compilation/x64/32/proofs
Jun 19 09:48:16 Finished compiler/bootstrap/compilation/x64/32/proofs          3m27s  11GB
Jun 19 09:48:16 Starting compiler/bootstrap/compilation/ag32/32
Jun 19 16:34:58 Finished compiler/bootstrap/compilation/ag32/32             6h46m41s  64GB
Jun 19 16:34:59 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jun 19 16:46:07 Finished compiler/bootstrap/compilation/ag32/32/proofs        11m08s  17GB
Jun 19 16:46:08 SUCCESS