Job 2044

CakeML:cc40a5fccea445684e5dff16bd6bc357a3eecb7a
  Revert "Make opt_interp call empty_ffi" [Nov 26 08:28:23]
#918 (clos-interpreter)
Merging into:3d27e77937edd037e810801a4e7849352300104f
  Add [schematic] to a definition (suggested by @mn200) [Nov 07 20:36:24]
HOL:126d898e2a2195a717f5757375b93570965286f1
  Cleanup and tweak release notes for next version in a few places [Nov 03 06:41:06]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Nov 27 12:00:29 Claimed job
Nov 27 12:00:35 Reusing HOL
Nov 27 12:01:15 Starting developers
Nov 27 12:01:21 Finished developers                                               5s  90MB
Nov 27 12:01:21 Starting developers/bin
Nov 27 12:01:27 Finished developers/bin                                           6s   1GB
Nov 27 12:01:28 Starting compiler/proofs
Nov 27 13:46:23 Finished compiler/proofs                                    1h44m53s  26GB
Nov 27 13:46:23 Starting compiler/bootstrap/translation
Nov 27 18:43:49 Finished compiler/bootstrap/translation                     4h57m24s  48GB
Nov 27 18:43:50 Starting semantics/ffi
Nov 27 18:43:54 Finished semantics/ffi                                            4s 140MB
Nov 27 18:43:54 Starting semantics
Nov 27 18:43:56 Finished semantics                                                1s  18MB
Nov 27 18:43:56 Starting semantics/proofs
Nov 27 18:44:27 Finished semantics/proofs                                        31s 819MB
Nov 27 18:44:28 Starting semantics/alt_semantics
Nov 27 18:44:55 Finished semantics/alt_semantics                                 27s 530MB
Nov 27 18:44:55 Starting semantics/alt_semantics/proofs
Nov 27 18:56:44 Finished semantics/alt_semantics/proofs                       11m48s   1GB
Nov 27 18:56:44 Starting basis/pure
Nov 27 18:56:46 Finished basis/pure                                               1s  31MB
Nov 27 18:56:46 Starting translator
Nov 27 18:58:33 Finished translator                                            1m46s   1GB
Nov 27 18:58:33 Starting compiler/parsing
Nov 27 18:58:35 Finished compiler/parsing                                         1s  34MB
Nov 27 18:58:35 Starting characteristic
Nov 27 18:58:37 Finished characteristic                                           1s  25MB
Nov 27 18:58:37 Starting translator/monadic
Nov 27 18:58:39 Finished translator/monadic                                       1s  34MB
Nov 27 18:58:39 Starting basis
Nov 27 19:02:04 Finished basis                                                 3m24s   2GB
Nov 27 19:02:04 Starting compiler/inference
Nov 27 19:02:05 Finished compiler/inference                                       1s  23MB
Nov 27 19:02:06 Starting compiler/backend/reg_alloc
Nov 27 19:02:07 Finished compiler/backend/reg_alloc                               1s  35MB
Nov 27 19:02:07 Starting compiler/backend/gc
Nov 27 19:02:10 Finished compiler/backend/gc                                      2s  25MB
Nov 27 19:02:10 Starting compiler/backend
Nov 27 19:02:20 Finished compiler/backend                                        10s 515MB
Nov 27 19:02:20 Starting compiler/encoders/asm
Nov 27 19:02:22 Finished compiler/encoders/asm                                    1s  19MB
Nov 27 19:02:22 Starting compiler/encoders/x64
Nov 27 19:02:24 Finished compiler/encoders/x64                                    1s  19MB
Nov 27 19:02:24 Starting compiler/encoders/arm7
Nov 27 19:02:26 Finished compiler/encoders/arm7                                   1s  23MB
Nov 27 19:02:26 Starting compiler/encoders/arm8
Nov 27 19:02:28 Finished compiler/encoders/arm8                                   1s  33MB
Nov 27 19:02:28 Starting compiler/encoders/arm8_asl
Nov 27 19:05:35 Finished compiler/encoders/arm8_asl                            3m07s   1GB
Nov 27 19:05:35 Starting compiler/encoders/mips
Nov 27 19:05:37 Finished compiler/encoders/mips                                   1s  19MB
Nov 27 19:05:37 Starting compiler/encoders/riscv
Nov 27 19:05:39 Finished compiler/encoders/riscv                                  1s  20MB
Nov 27 19:05:39 Starting compiler/encoders/ag32
Nov 27 19:05:41 Finished compiler/encoders/ag32                                   1s  24MB
Nov 27 19:05:41 Starting compiler/backend/x64
Nov 27 19:05:43 Finished compiler/backend/x64                                     2s  35MB
Nov 27 19:05:43 Starting compiler/backend/arm7
Nov 27 19:05:46 Finished compiler/backend/arm7                                    2s  34MB
Nov 27 19:05:46 Starting compiler/backend/arm8
Nov 27 19:05:48 Finished compiler/backend/arm8                                    2s  27MB
Nov 27 19:05:48 Starting compiler/backend/mips
Nov 27 19:05:50 Finished compiler/backend/mips                                    2s  33MB
Nov 27 19:05:50 Starting compiler/backend/riscv
Nov 27 19:05:52 Finished compiler/backend/riscv                                   2s  34MB
Nov 27 19:05:52 Starting compiler/backend/ag32
Nov 27 19:07:16 Finished compiler/backend/ag32                                 1m23s   1GB
Nov 27 19:07:17 Starting compiler/parsing/proofs
Nov 27 19:07:18 Finished compiler/parsing/proofs                                  1s  19MB
Nov 27 19:07:18 Starting compiler/inference/proofs
Nov 27 19:07:20 Finished compiler/inference/proofs                                1s  35MB
Nov 27 19:07:21 Starting compiler/backend/semantics
Nov 27 19:08:28 Finished compiler/backend/semantics                            1m06s   1GB
Nov 27 19:08:28 Starting compiler/backend/reg_alloc/proofs
Nov 27 19:08:30 Finished compiler/backend/reg_alloc/proofs                        1s  34MB
Nov 27 19:08:30 Starting compiler/backend/proofs
Nov 27 19:09:34 Finished compiler/backend/proofs                               1m03s   2GB
Nov 27 19:09:34 Starting compiler/backend/serialiser
Nov 27 19:09:37 Finished compiler/backend/serialiser                              2s  39MB
Nov 27 19:09:37 Starting compiler/encoders/x64/proofs
Nov 27 19:19:27 Finished compiler/encoders/x64/proofs                          9m49s   5GB
Nov 27 19:19:27 Starting compiler/encoders/arm7/proofs
Nov 27 19:33:20 Finished compiler/encoders/arm7/proofs                        13m53s   4GB
Nov 27 19:33:20 Starting compiler/encoders/arm8/proofs
Nov 27 19:40:21 Finished compiler/encoders/arm8/proofs                         7m00s   1GB
Nov 27 19:40:21 Starting compiler/encoders/arm8_asl/proofs
Nov 27 19:56:23 Finished compiler/encoders/arm8_asl/proofs                    16m00s   2GB
Nov 27 19:56:23 Starting compiler/encoders/mips/proofs
Nov 27 20:07:09 Finished compiler/encoders/mips/proofs                        10m46s   1GB
Nov 27 20:07:09 Starting compiler/encoders/riscv/proofs
Nov 27 20:16:13 Finished compiler/encoders/riscv/proofs                        9m04s   1GB
Nov 27 20:16:13 Starting compiler/encoders/ag32/proofs
Nov 27 20:18:55 Finished compiler/encoders/ag32/proofs                         2m41s 980MB
Nov 27 20:18:55 Starting compiler/backend/x64/proofs
Nov 27 20:19:21 Finished compiler/backend/x64/proofs                             25s   1GB
Nov 27 20:19:21 Starting compiler/backend/arm7/proofs
Nov 27 20:19:48 Finished compiler/backend/arm7/proofs                            27s   1GB
Nov 27 20:19:49 Starting compiler/backend/arm8/proofs
Nov 27 20:20:16 Finished compiler/backend/arm8/proofs                            26s   2GB
Nov 27 20:20:16 Starting compiler/backend/arm8_asl
Nov 27 20:20:38 Finished compiler/backend/arm8_asl                               21s   1GB
Nov 27 20:20:38 Starting compiler/backend/mips/proofs
Nov 27 20:21:04 Finished compiler/backend/mips/proofs                            26s   1GB
Nov 27 20:21:05 Starting compiler/backend/riscv/proofs
Nov 27 20:21:31 Finished compiler/backend/riscv/proofs                           26s   1GB
Nov 27 20:21:31 Starting compiler/backend/ag32/proofs
Nov 27 20:34:57 Finished compiler/backend/ag32/proofs                         13m26s   3GB
Nov 27 20:34:58 Starting candle/set-theory
Nov 27 20:35:32 Finished candle/set-theory                                       34s   1GB
Nov 27 20:35:32 Starting candle/syntax-lib
Nov 27 20:35:34 Finished candle/syntax-lib                                        1s  20MB
Nov 27 20:35:34 Starting candle/standard/syntax
Nov 27 20:35:43 Finished candle/standard/syntax                                   8s 543MB
Nov 27 20:35:43 Starting candle/standard/semantics
Nov 27 20:37:29 Finished candle/standard/semantics                             1m45s   1GB
Nov 27 20:37:29 Starting candle/standard/monadic
Nov 27 20:37:31 Finished candle/standard/monadic                                  1s  32MB
Nov 27 20:37:31 Starting candle/standard/ml_kernel
Nov 27 20:38:57 Finished candle/standard/ml_kernel                             1m26s   2GB
Nov 27 20:38:58 Starting candle/overloading/syntax
Nov 27 20:42:09 Finished candle/overloading/syntax                             3m11s   1GB
Nov 27 20:42:09 Starting candle/overloading/semantics
Nov 27 20:54:14 Finished candle/overloading/semantics                         12m04s   2GB
Nov 27 20:54:14 Starting candle/overloading/monadic
Nov 27 20:56:52 Finished candle/overloading/monadic                            2m36s   1GB
Nov 27 20:56:52 Starting candle/overloading/ml_kernel
Nov 27 21:04:16 Finished candle/overloading/ml_kernel                          7m23s   3GB
Nov 27 21:04:16 Starting candle/overloading/ml_checker
Nov 27 21:06:44 Finished candle/overloading/ml_checker                         2m27s   3GB
Nov 27 21:06:44 Starting candle/prover
Nov 27 21:16:21 Finished candle/prover                                         9m36s   3GB
Nov 27 21:16:21 Starting pancake
Nov 27 21:19:29 Finished pancake                                               3m07s   4GB
Nov 27 21:19:29 Starting pancake/ffi
Nov 27 21:19:30 Finished pancake/ffi                                              0s  13MB
Nov 27 21:19:30 Starting pancake/semantics
Nov 27 21:21:54 Finished pancake/semantics                                     2m24s   1GB
Nov 27 21:21:54 Starting pancake/proofs
Nov 27 21:24:56 Finished pancake/proofs                                        3m01s   2GB
Nov 27 21:24:56 Starting characteristic/examples
Nov 27 21:26:24 Finished characteristic/examples                               1m28s   2GB
Nov 27 21:26:25 Starting tutorial/solutions
Nov 27 21:41:23 Finished tutorial/solutions                                   14m58s   8GB
Nov 27 21:41:23 Starting translator/monadic/examples
Nov 27 21:45:10 Finished translator/monadic/examples                           3m46s   2GB
Nov 27 21:45:10 Starting examples
Nov 27 21:54:58 Finished examples                                              9m47s   3GB
Nov 27 21:54:58 Starting examples/compilation/x64
Nov 27 23:53:24 Finished examples/compilation/x64                           1h58m25s  17GB
Nov 27 23:53:24 Starting examples/compilation/x64/proofs
Nov 27 23:55:25 Finished examples/compilation/x64/proofs                       2m00s   3GB
Nov 27 23:55:25 Starting examples/compilation/ag32
Nov 28 00:25:15 Finished examples/compilation/ag32                            29m49s   8GB
Nov 28 00:25:15 Starting examples/compilation/ag32/proofs
Nov 28 00:26:08 Finished examples/compilation/ag32/proofs                        52s   3GB
Nov 28 00:26:08 Starting examples/compilation/to_word
Nov 28 00:29:07 Finished examples/compilation/to_word                          2m58s   6GB
Nov 28 00:29:07 Starting examples/lpr_checker
Nov 28 00:30:06 Finished examples/lpr_checker                                    58s   1GB
Nov 28 00:30:06 Starting examples/lpr_checker/array
Nov 28 01:04:58 Finished examples/lpr_checker/array                           34m49s   5GB
Nov 28 01:04:58 Starting examples/lpr_checker/array/compilation
Nov 28 01:43:58 Finished examples/lpr_checker/array/compilation               39m00s  25GB
Nov 28 01:43:59 Starting examples/lpr_checker/array/compilation/proofs
Nov 28 01:45:17 Finished examples/lpr_checker/array/compilation/proofs         1m18s   5GB
Nov 28 01:45:18 Starting examples/opentheory
Nov 28 01:55:46 Finished examples/opentheory                                  10m28s   6GB
Nov 28 01:55:47 Starting examples/opentheory
Nov 28 01:55:48 Finished examples/opentheory                                      1s  34MB
Nov 28 01:55:48 Starting examples/opentheory/compilation
Nov 28 02:31:51 Finished examples/opentheory/compilation                      36m01s  30GB
Nov 28 02:31:52 Starting examples/opentheory/compilation/proofs
Nov 28 02:32:41 Finished examples/opentheory/compilation/proofs                  49s   4GB
Nov 28 02:32:42 Starting examples/opentheory/compilation/ag32
Nov 28 03:06:17 Finished examples/opentheory/compilation/ag32                 33m34s  26GB
Nov 28 03:06:17 Starting examples/opentheory/compilation/ag32/proofs
Nov 28 03:08:10 Finished examples/opentheory/compilation/ag32/proofs           1m53s   6GB
Nov 28 03:08:11 Starting examples/sat_encodings
Nov 28 03:09:57 Finished examples/sat_encodings                                1m46s 715MB
Nov 28 03:09:57 Starting examples/sat_encodings/case_studies
Nov 28 03:11:38 Finished examples/sat_encodings/case_studies                   1m40s   1GB
Nov 28 03:11:38 Starting examples/sat_encodings/translation
Nov 28 03:17:33 Finished examples/sat_encodings/translation                    5m54s   3GB
Nov 28 03:17:33 Starting examples/sat_encodings/translation/compilation
Nov 28 04:02:35 Finished examples/sat_encodings/translation/compilation       45m01s  21GB
Nov 28 04:02:36 Starting examples/deflate
Nov 28 04:03:28 Finished examples/deflate                                        52s 816MB
Nov 28 04:03:28 Starting examples/deflate/translation
Nov 28 04:04:58 Finished examples/deflate/translation                          1m29s   2GB
Nov 28 04:04:58 Starting examples/deflate/translation/compilation
Nov 28 04:24:33 Finished examples/deflate/translation/compilation             19m34s  12GB
Nov 28 04:24:33 Starting translator/okasaki-examples
Nov 28 04:29:35 Finished translator/okasaki-examples                           5m01s   2GB
Nov 28 04:29:35 Starting translator/other-examples
Nov 28 04:30:23 Finished translator/other-examples                               47s   1GB
Nov 28 04:30:23 Starting compiler/parsing/tests
Nov 28 04:30:53 Finished compiler/parsing/tests                                  30s 670MB
Nov 28 04:30:53 Starting compiler/inference/tests
Nov 28 04:39:20 Finished compiler/inference/tests                              8m27s   5GB
Nov 28 04:39:20 Starting compiler/printing/test
Nov 28 04:42:49 Finished compiler/printing/test                                3m28s   3GB
Nov 28 04:42:49 Starting icing/flover
Nov 28 05:27:26 Finished icing/flover                                         44m35s   1GB
Nov 28 05:27:26 Starting icing/
Nov 28 06:27:28 Finished icing/                                             1h00m01s   9GB
Nov 28 06:27:28 Starting icing/examples
Nov 28 06:29:04 Finished icing/examples                                        1m35s   6GB
Nov 28 06:29:04 Starting compiler/repl
Nov 28 06:37:47 Finished compiler/repl                                         8m42s   5GB
Nov 28 06:37:47 Starting unverified/sexpr-bootstrap/x64/64
Nov 28 06:50:23 Finished unverified/sexpr-bootstrap/x64/64                    12m36s  13GB
Nov 28 06:50:24 Starting unverified/sexpr-bootstrap/x64/32
Nov 28 07:00:32 Finished unverified/sexpr-bootstrap/x64/32                    10m08s  11GB
Nov 28 07:00:32 Starting compiler/benchmarks
Nov 28 07:00:36 Finished compiler/benchmarks                                      4s  35MB
Nov 28 07:00:36 Starting compiler/bootstrap/compilation/x64/64
Nov 28 18:01:52 Finished compiler/bootstrap/compilation/x64/64             11h01m14s  64GB
Nov 28 18:01:52 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 28 18:20:03 Finished compiler/bootstrap/compilation/x64/64/proofs         18m10s  34GB
Nov 28 18:20:03 Starting compiler/bootstrap/compilation/x64/32
Nov 29 00:49:15 Finished compiler/bootstrap/compilation/x64/32              6h29m09s  64GB
Nov 29 00:49:15 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 29 00:52:14 Finished compiler/bootstrap/compilation/x64/32/proofs          2m58s  15GB
Nov 29 00:52:14 Starting compiler/bootstrap/compilation/ag32/32
Nov 29 07:32:46 Finished compiler/bootstrap/compilation/ag32/32             6h40m31s  64GB
Nov 29 07:32:46 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 29 07:39:13 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m26s  40GB
Nov 29 07:39:13 SUCCESS