Job 2051

CakeML:3687487b0ceaa28ee5ceff431d51fa5303742e1f
  Merge pull request #918 from CakeML/clos-interpreter [Nov 29 06:06:35]
HOL:d0b3ed8db24b325fc085f0864a933ac47023006b
  emacs-mode: remove TABs [Nov 28 05:15:59]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux
Artefacts:cake-x64-32.tar.gz
cake-unverified-x64-64.tar.gz
cake-unverified-x64-32.tar.gz
cake-x64-64.tar.gz

Nov 30 11:29:43 Claimed job
Nov 30 11:29:51 Building HOL
Nov 30 11:41:18 Starting developers
Nov 30 11:41:23 Finished developers                                               5s 163MB
Nov 30 11:41:23 Starting developers/bin
Nov 30 11:41:30 Finished developers/bin                                           5s   1GB
Nov 30 11:41:30 Starting compiler/proofs
Nov 30 13:29:37 Finished compiler/proofs                                    1h48m05s  23GB
Nov 30 13:29:37 Starting compiler/bootstrap/translation
Nov 30 18:26:07 Finished compiler/bootstrap/translation                     4h56m29s  58GB
Nov 30 18:26:07 Starting semantics/ffi
Nov 30 18:26:12 Finished semantics/ffi                                            4s 142MB
Nov 30 18:26:12 Starting semantics
Nov 30 18:26:14 Finished semantics                                                1s  19MB
Nov 30 18:26:14 Starting semantics/proofs
Nov 30 18:26:45 Finished semantics/proofs                                        30s 617MB
Nov 30 18:26:45 Starting semantics/alt_semantics
Nov 30 18:27:13 Finished semantics/alt_semantics                                 27s 692MB
Nov 30 18:27:13 Starting semantics/alt_semantics/proofs
Nov 30 18:39:02 Finished semantics/alt_semantics/proofs                       11m49s   1GB
Nov 30 18:39:02 Starting basis/pure
Nov 30 18:39:04 Finished basis/pure                                               1s  19MB
Nov 30 18:39:04 Starting translator
Nov 30 18:40:51 Finished translator                                            1m47s   1GB
Nov 30 18:40:51 Starting compiler/parsing
Nov 30 18:40:53 Finished compiler/parsing                                         1s  34MB
Nov 30 18:40:53 Starting characteristic
Nov 30 18:40:55 Finished characteristic                                           1s  25MB
Nov 30 18:40:55 Starting translator/monadic
Nov 30 18:40:57 Finished translator/monadic                                       1s  31MB
Nov 30 18:40:57 Starting basis
Nov 30 18:44:24 Finished basis                                                 3m26s   2GB
Nov 30 18:44:24 Starting compiler/inference
Nov 30 18:44:26 Finished compiler/inference                                       1s  18MB
Nov 30 18:44:26 Starting compiler/backend/reg_alloc
Nov 30 18:44:27 Finished compiler/backend/reg_alloc                               1s  19MB
Nov 30 18:44:27 Starting compiler/backend/gc
Nov 30 18:44:30 Finished compiler/backend/gc                                      2s  34MB
Nov 30 18:44:30 Starting compiler/backend
Nov 30 18:44:40 Finished compiler/backend                                        10s 662MB
Nov 30 18:44:41 Starting compiler/encoders/asm
Nov 30 18:44:42 Finished compiler/encoders/asm                                    1s  31MB
Nov 30 18:44:42 Starting compiler/encoders/x64
Nov 30 18:44:44 Finished compiler/encoders/x64                                    1s  24MB
Nov 30 18:44:44 Starting compiler/encoders/arm7
Nov 30 18:44:46 Finished compiler/encoders/arm7                                   1s  22MB
Nov 30 18:44:46 Starting compiler/encoders/arm8
Nov 30 18:44:48 Finished compiler/encoders/arm8                                   1s  34MB
Nov 30 18:44:48 Starting compiler/encoders/arm8_asl
Nov 30 21:05:58 Finished compiler/encoders/arm8_asl                         2h21m08s  23GB
Nov 30 21:05:58 Starting compiler/encoders/mips
Nov 30 21:06:00 Finished compiler/encoders/mips                                   1s  20MB
Nov 30 21:06:00 Starting compiler/encoders/riscv
Nov 30 21:06:01 Finished compiler/encoders/riscv                                  1s  20MB
Nov 30 21:06:02 Starting compiler/encoders/ag32
Nov 30 21:06:03 Finished compiler/encoders/ag32                                   1s  25MB
Nov 30 21:06:03 Starting compiler/backend/x64
Nov 30 21:06:06 Finished compiler/backend/x64                                     2s  34MB
Nov 30 21:06:06 Starting compiler/backend/arm7
Nov 30 21:06:08 Finished compiler/backend/arm7                                    2s  33MB
Nov 30 21:06:08 Starting compiler/backend/arm8
Nov 30 21:06:10 Finished compiler/backend/arm8                                    2s  34MB
Nov 30 21:06:10 Starting compiler/backend/mips
Nov 30 21:06:12 Finished compiler/backend/mips                                    2s  33MB
Nov 30 21:06:13 Starting compiler/backend/riscv
Nov 30 21:06:15 Finished compiler/backend/riscv                                   2s  34MB
Nov 30 21:06:15 Starting compiler/backend/ag32
Nov 30 21:07:40 Finished compiler/backend/ag32                                 1m25s   1GB
Nov 30 21:07:40 Starting compiler/parsing/proofs
Nov 30 21:07:42 Finished compiler/parsing/proofs                                  1s  19MB
Nov 30 21:07:42 Starting compiler/inference/proofs
Nov 30 21:07:44 Finished compiler/inference/proofs                                1s  29MB
Nov 30 21:07:44 Starting compiler/backend/semantics
Nov 30 21:08:53 Finished compiler/backend/semantics                            1m08s   1GB
Nov 30 21:08:53 Starting compiler/backend/reg_alloc/proofs
Nov 30 21:08:55 Finished compiler/backend/reg_alloc/proofs                        1s  24MB
Nov 30 21:08:55 Starting compiler/backend/proofs
Nov 30 21:09:50 Finished compiler/backend/proofs                                 54s   2GB
Nov 30 21:09:50 Starting compiler/backend/serialiser
Nov 30 21:09:53 Finished compiler/backend/serialiser                              2s  31MB
Nov 30 21:09:53 Starting compiler/encoders/x64/proofs
Nov 30 21:19:50 Finished compiler/encoders/x64/proofs                          9m56s   5GB
Nov 30 21:19:50 Starting compiler/encoders/arm7/proofs
Nov 30 21:33:50 Finished compiler/encoders/arm7/proofs                        14m00s   3GB
Nov 30 21:33:50 Starting compiler/encoders/arm8/proofs
Nov 30 21:41:03 Finished compiler/encoders/arm8/proofs                         7m12s   1GB
Nov 30 21:41:04 Starting compiler/encoders/arm8_asl/proofs
Nov 30 22:34:15 Finished compiler/encoders/arm8_asl/proofs                    53m10s  10GB
Nov 30 22:34:15 Starting compiler/encoders/mips/proofs
Nov 30 22:45:05 Finished compiler/encoders/mips/proofs                        10m49s   1GB
Nov 30 22:45:05 Starting compiler/encoders/riscv/proofs
Nov 30 22:54:14 Finished compiler/encoders/riscv/proofs                        9m08s   1GB
Nov 30 22:54:14 Starting compiler/encoders/ag32/proofs
Nov 30 22:56:56 Finished compiler/encoders/ag32/proofs                         2m41s 936MB
Nov 30 22:56:56 Starting compiler/backend/x64/proofs
Nov 30 22:57:22 Finished compiler/backend/x64/proofs                             26s   1GB
Nov 30 22:57:22 Starting compiler/backend/arm7/proofs
Nov 30 22:57:50 Finished compiler/backend/arm7/proofs                            27s   1GB
Nov 30 22:57:50 Starting compiler/backend/arm8/proofs
Nov 30 22:58:16 Finished compiler/backend/arm8/proofs                            26s   1GB
Nov 30 22:58:16 Starting compiler/backend/arm8_asl
Nov 30 22:58:37 Finished compiler/backend/arm8_asl                               20s   1GB
Nov 30 22:58:37 Starting compiler/backend/mips/proofs
Nov 30 22:59:04 Finished compiler/backend/mips/proofs                            26s   2GB
Nov 30 22:59:04 Starting compiler/backend/riscv/proofs
Nov 30 22:59:31 Finished compiler/backend/riscv/proofs                           26s   1GB
Nov 30 22:59:31 Starting compiler/backend/ag32/proofs
Nov 30 23:12:58 Finished compiler/backend/ag32/proofs                         13m26s   2GB
Nov 30 23:12:58 Starting candle/set-theory
Nov 30 23:13:33 Finished candle/set-theory                                       34s 970MB
Nov 30 23:13:33 Starting candle/syntax-lib
Nov 30 23:13:35 Finished candle/syntax-lib                                        1s  19MB
Nov 30 23:13:35 Starting candle/standard/syntax
Nov 30 23:13:44 Finished candle/standard/syntax                                   8s 551MB
Nov 30 23:13:44 Starting candle/standard/semantics
Nov 30 23:15:29 Finished candle/standard/semantics                             1m45s   1GB
Nov 30 23:15:30 Starting candle/standard/monadic
Nov 30 23:15:32 Finished candle/standard/monadic                                  1s  32MB
Nov 30 23:15:32 Starting candle/standard/ml_kernel
Nov 30 23:17:00 Finished candle/standard/ml_kernel                             1m28s   2GB
Nov 30 23:17:00 Starting candle/overloading/syntax
Nov 30 23:20:14 Finished candle/overloading/syntax                             3m13s   1GB
Nov 30 23:20:15 Starting candle/overloading/semantics
Nov 30 23:32:21 Finished candle/overloading/semantics                         12m05s   2GB
Nov 30 23:32:21 Starting candle/overloading/monadic
Nov 30 23:35:00 Finished candle/overloading/monadic                            2m37s   1GB
Nov 30 23:35:00 Starting candle/overloading/ml_kernel
Nov 30 23:42:29 Finished candle/overloading/ml_kernel                          7m28s   3GB
Nov 30 23:42:29 Starting candle/overloading/ml_checker
Nov 30 23:44:56 Finished candle/overloading/ml_checker                         2m26s   5GB
Nov 30 23:44:56 Starting candle/prover
Nov 30 23:54:41 Finished candle/prover                                         9m44s   3GB
Nov 30 23:54:41 Starting pancake
Nov 30 23:57:46 Finished pancake                                               3m04s   4GB
Nov 30 23:57:46 Starting pancake/ffi
Nov 30 23:57:47 Finished pancake/ffi                                              0s  13MB
Nov 30 23:57:47 Starting pancake/semantics
Dec 01 00:00:11 Finished pancake/semantics                                     2m23s   1GB
Dec 01 00:00:11 Starting pancake/proofs
Dec 01 00:03:10 Finished pancake/proofs                                        2m58s   2GB
Dec 01 00:03:10 Starting characteristic/examples
Dec 01 00:04:41 Finished characteristic/examples                               1m30s   2GB
Dec 01 00:04:41 Starting tutorial/solutions
Dec 01 00:19:51 Finished tutorial/solutions                                   15m09s   7GB
Dec 01 00:19:51 Starting translator/monadic/examples
Dec 01 00:23:42 Finished translator/monadic/examples                           3m50s   3GB
Dec 01 00:23:42 Starting examples
Dec 01 00:33:39 Finished examples                                              9m56s   3GB
Dec 01 00:33:39 Starting examples/compilation/x64
Dec 01 02:31:05 Finished examples/compilation/x64                           1h57m24s  16GB
Dec 01 02:31:05 Starting examples/compilation/x64/proofs
Dec 01 02:33:20 Finished examples/compilation/x64/proofs                       2m14s   3GB
Dec 01 02:33:20 Starting examples/compilation/ag32
Dec 01 03:03:05 Finished examples/compilation/ag32                            29m44s   8GB
Dec 01 03:03:05 Starting examples/compilation/ag32/proofs
Dec 01 03:03:55 Finished examples/compilation/ag32/proofs                        50s   3GB
Dec 01 03:03:55 Starting examples/compilation/to_word
Dec 01 03:07:05 Finished examples/compilation/to_word                          3m09s   4GB
Dec 01 03:07:05 Starting examples/lpr_checker
Dec 01 03:08:05 Finished examples/lpr_checker                                    59s   1GB
Dec 01 03:08:06 Starting examples/lpr_checker/array
Dec 01 03:43:10 Finished examples/lpr_checker/array                           35m03s   5GB
Dec 01 03:43:10 Starting examples/lpr_checker/array/compilation
Dec 01 04:23:27 Finished examples/lpr_checker/array/compilation               40m16s  24GB
Dec 01 04:23:27 Starting examples/lpr_checker/array/compilation/proofs
Dec 01 04:24:47 Finished examples/lpr_checker/array/compilation/proofs         1m19s   6GB
Dec 01 04:24:47 Starting examples/opentheory
Dec 01 04:35:09 Finished examples/opentheory                                  10m21s   4GB
Dec 01 04:35:09 Starting examples/opentheory
Dec 01 04:35:11 Finished examples/opentheory                                      1s  35MB
Dec 01 04:35:11 Starting examples/opentheory/compilation
Dec 01 05:11:00 Finished examples/opentheory/compilation                      35m47s  29GB
Dec 01 05:11:01 Starting examples/opentheory/compilation/proofs
Dec 01 05:11:51 Finished examples/opentheory/compilation/proofs                  49s   4GB
Dec 01 05:11:51 Starting examples/opentheory/compilation/ag32
Dec 01 05:44:50 Finished examples/opentheory/compilation/ag32                 32m58s  27GB
Dec 01 05:44:50 Starting examples/opentheory/compilation/ag32/proofs
Dec 01 05:46:52 Finished examples/opentheory/compilation/ag32/proofs           2m01s   6GB
Dec 01 05:46:52 Starting examples/sat_encodings
Dec 01 05:48:38 Finished examples/sat_encodings                                1m45s 718MB
Dec 01 05:48:38 Starting examples/sat_encodings/case_studies
Dec 01 05:50:18 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Dec 01 05:50:19 Starting examples/sat_encodings/translation
Dec 01 05:56:02 Finished examples/sat_encodings/translation                    5m43s   5GB
Dec 01 05:56:02 Starting examples/sat_encodings/translation/compilation
Dec 01 06:42:06 Finished examples/sat_encodings/translation/compilation       46m03s  23GB
Dec 01 06:42:07 Starting examples/deflate
Dec 01 06:42:59 Finished examples/deflate                                        52s 975MB
Dec 01 06:42:59 Starting examples/deflate/translation
Dec 01 06:44:32 Finished examples/deflate/translation                          1m32s   2GB
Dec 01 06:44:32 Starting examples/deflate/translation/compilation
Dec 01 07:03:54 Finished examples/deflate/translation/compilation             19m22s  11GB
Dec 01 07:03:54 Starting translator/okasaki-examples
Dec 01 07:08:53 Finished translator/okasaki-examples                           4m58s   1GB
Dec 01 07:08:53 Starting translator/other-examples
Dec 01 07:11:14 Finished translator/other-examples                             2m20s   1GB
Dec 01 07:11:14 Starting compiler/parsing/tests
Dec 01 07:11:45 Finished compiler/parsing/tests                                  30s 611MB
Dec 01 07:11:45 Starting compiler/inference/tests
Dec 01 07:20:28 Finished compiler/inference/tests                              8m42s   4GB
Dec 01 07:20:28 Starting compiler/printing/test
Dec 01 07:23:58 Finished compiler/printing/test                                3m30s   3GB
Dec 01 07:23:59 Starting icing/flover
Dec 01 08:08:39 Finished icing/flover                                         44m38s   1GB
Dec 01 08:08:39 Starting icing/
Dec 01 09:08:23 Finished icing/                                               59m44s   8GB
Dec 01 09:08:23 Starting icing/examples
Dec 01 09:09:58 Finished icing/examples                                        1m33s   6GB
Dec 01 09:09:58 Starting compiler/repl
Dec 01 09:18:15 Finished compiler/repl                                         8m16s   4GB
Dec 01 09:18:15 Starting unverified/sexpr-bootstrap/x64/64
Dec 01 09:30:56 Finished unverified/sexpr-bootstrap/x64/64                    12m40s  13GB
Dec 01 09:30:56 Starting unverified/sexpr-bootstrap/x64/32
Dec 01 09:41:00 Finished unverified/sexpr-bootstrap/x64/32                    10m03s  12GB
Dec 01 09:41:00 Starting compiler/benchmarks
Dec 01 09:41:05 Finished compiler/benchmarks                                      4s  35MB
Dec 01 09:41:05 Starting compiler/bootstrap/compilation/x64/64
Dec 01 21:06:36 Finished compiler/bootstrap/compilation/x64/64             11h25m29s  64GB
Dec 01 21:06:36 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 01 21:24:59 Finished compiler/bootstrap/compilation/x64/64/proofs         18m22s  23GB
Dec 01 21:24:59 Starting compiler/bootstrap/compilation/x64/32
Dec 02 03:49:56 Finished compiler/bootstrap/compilation/x64/32              6h24m55s  63GB
Dec 02 03:49:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 02 03:52:47 Finished compiler/bootstrap/compilation/x64/32/proofs          2m51s  17GB
Dec 02 03:52:47 Starting compiler/bootstrap/compilation/ag32/32
Dec 02 10:30:02 Finished compiler/bootstrap/compilation/ag32/32             6h37m11s  64GB
Dec 02 10:30:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 02 10:36:04 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m01s  38GB
Dec 02 10:36:04 SUCCESS