Job 2092

CakeML:b5ec7629b89caf913995f94953751b58126fd416
  Generated names are different now [Feb 03 13:34:02]
#926 (issue925)
Merging into:0a80d59e3ef322e4ad28193e97b5d425c5fd2df4
  Merge pull request #922 from CakeML/unzip-fix [Jan 22 17:17:11]
HOL:b449b82bffe8efeaf753c77d8132f37c38d0e1a7
  Undo 27187edc1 [Jan 28 03:02:55]
Machine:stove 4.15.0-143-generic x86_64 GNU/Linux

Feb 06 13:16:53 Claimed job
Feb 06 13:16:55 Reusing HOL
Feb 06 13:17:35 Starting developers
Feb 06 13:17:40 Finished developers                                               5s 136MB
Feb 06 13:17:40 Starting developers/bin
Feb 06 13:17:46 Finished developers/bin                                           6s   1GB
Feb 06 13:17:47 Starting compiler/proofs
Feb 06 15:05:18 Finished compiler/proofs                                    1h47m30s  18GB
Feb 06 15:05:18 Starting compiler/bootstrap/translation
Feb 06 22:31:36 Finished compiler/bootstrap/translation                     7h26m16s  38GB
Feb 06 22:31:36 Starting semantics/ffi
Feb 06 22:31:41 Finished semantics/ffi                                            4s 415MB
Feb 06 22:31:41 Starting semantics
Feb 06 22:31:43 Finished semantics                                                1s  18MB
Feb 06 22:31:43 Starting semantics/proofs
Feb 06 22:32:18 Finished semantics/proofs                                        34s   1GB
Feb 06 22:32:18 Starting semantics/alt_semantics
Feb 06 22:32:49 Finished semantics/alt_semantics                                 31s 898MB
Feb 06 22:32:50 Starting semantics/alt_semantics/proofs
Feb 06 22:44:37 Finished semantics/alt_semantics/proofs                       11m47s   1GB
Feb 06 22:44:37 Starting basis/pure
Feb 06 22:44:39 Finished basis/pure                                               1s  19MB
Feb 06 22:44:39 Starting translator
Feb 06 22:46:29 Finished translator                                            1m50s   1GB
Feb 06 22:46:29 Starting compiler/parsing
Feb 06 22:46:31 Finished compiler/parsing                                         1s  18MB
Feb 06 22:46:31 Starting characteristic
Feb 06 22:46:33 Finished characteristic                                           1s  25MB
Feb 06 22:46:33 Starting translator/monadic
Feb 06 22:46:35 Finished translator/monadic                                       1s  19MB
Feb 06 22:46:35 Starting basis
Feb 06 22:50:35 Finished basis                                                 3m59s   2GB
Feb 06 22:50:35 Starting compiler/inference
Feb 06 22:50:37 Finished compiler/inference                                       1s  21MB
Feb 06 22:50:37 Starting compiler/backend/reg_alloc
Feb 06 22:50:39 Finished compiler/backend/reg_alloc                               1s  20MB
Feb 06 22:50:39 Starting compiler/backend/gc
Feb 06 22:50:41 Finished compiler/backend/gc                                      2s  26MB
Feb 06 22:50:41 Starting compiler/backend
Feb 06 22:50:54 Finished compiler/backend                                        12s 773MB
Feb 06 22:50:54 Starting compiler/encoders/asm
Feb 06 22:50:56 Finished compiler/encoders/asm                                    1s  23MB
Feb 06 22:50:56 Starting compiler/encoders/x64
Feb 06 22:50:58 Finished compiler/encoders/x64                                    1s  22MB
Feb 06 22:50:58 Starting compiler/encoders/arm7
Feb 06 22:51:00 Finished compiler/encoders/arm7                                   1s  22MB
Feb 06 22:51:00 Starting compiler/encoders/arm8
Feb 06 22:51:02 Finished compiler/encoders/arm8                                   1s  24MB
Feb 06 22:51:02 Starting compiler/encoders/arm8_asl
Feb 06 22:54:19 Finished compiler/encoders/arm8_asl                            3m16s   1GB
Feb 06 22:54:19 Starting compiler/encoders/mips
Feb 06 22:54:21 Finished compiler/encoders/mips                                   1s  23MB
Feb 06 22:54:21 Starting compiler/encoders/riscv
Feb 06 22:54:23 Finished compiler/encoders/riscv                                  1s  23MB
Feb 06 22:54:23 Starting compiler/encoders/ag32
Feb 06 22:54:25 Finished compiler/encoders/ag32                                   1s  20MB
Feb 06 22:54:25 Starting compiler/backend/x64
Feb 06 22:54:27 Finished compiler/backend/x64                                     2s  24MB
Feb 06 22:54:27 Starting compiler/backend/arm7
Feb 06 22:54:29 Finished compiler/backend/arm7                                    2s  27MB
Feb 06 22:54:29 Starting compiler/backend/arm8
Feb 06 22:54:31 Finished compiler/backend/arm8                                    2s  25MB
Feb 06 22:54:32 Starting compiler/backend/mips
Feb 06 22:54:34 Finished compiler/backend/mips                                    2s  29MB
Feb 06 22:54:34 Starting compiler/backend/riscv
Feb 06 22:54:36 Finished compiler/backend/riscv                                   2s  21MB
Feb 06 22:54:36 Starting compiler/backend/ag32
Feb 06 22:56:03 Finished compiler/backend/ag32                                 1m26s   1GB
Feb 06 22:56:03 Starting compiler/parsing/proofs
Feb 06 22:56:05 Finished compiler/parsing/proofs                                  1s  19MB
Feb 06 22:56:05 Starting compiler/inference/proofs
Feb 06 22:56:07 Finished compiler/inference/proofs                                1s  21MB
Feb 06 22:56:07 Starting compiler/backend/semantics
Feb 06 22:57:20 Finished compiler/backend/semantics                            1m13s   1GB
Feb 06 22:57:20 Starting compiler/backend/reg_alloc/proofs
Feb 06 22:57:22 Finished compiler/backend/reg_alloc/proofs                        1s  21MB
Feb 06 22:57:22 Starting compiler/backend/proofs
Feb 06 22:58:20 Finished compiler/backend/proofs                                 57s   2GB
Feb 06 22:58:20 Starting compiler/backend/serialiser
Feb 06 22:58:23 Finished compiler/backend/serialiser                              2s  27MB
Feb 06 22:58:23 Starting compiler/encoders/x64/proofs
Feb 06 23:08:15 Finished compiler/encoders/x64/proofs                          9m51s   5GB
Feb 06 23:08:15 Starting compiler/encoders/arm7/proofs
Feb 06 23:21:57 Finished compiler/encoders/arm7/proofs                        13m41s   4GB
Feb 06 23:21:57 Starting compiler/encoders/arm8/proofs
Feb 06 23:28:53 Finished compiler/encoders/arm8/proofs                         6m56s   1GB
Feb 06 23:28:53 Starting compiler/encoders/arm8_asl/proofs
Feb 06 23:44:55 Finished compiler/encoders/arm8_asl/proofs                    16m00s   1GB
Feb 06 23:44:55 Starting compiler/encoders/mips/proofs
Feb 06 23:55:37 Finished compiler/encoders/mips/proofs                        10m42s   3GB
Feb 06 23:55:37 Starting compiler/encoders/riscv/proofs
Feb 07 00:04:24 Finished compiler/encoders/riscv/proofs                        8m46s   1GB
Feb 07 00:04:24 Starting compiler/encoders/ag32/proofs
Feb 07 00:07:04 Finished compiler/encoders/ag32/proofs                         2m40s 949MB
Feb 07 00:07:04 Starting compiler/backend/x64/proofs
Feb 07 00:07:35 Finished compiler/backend/x64/proofs                             31s   2GB
Feb 07 00:07:35 Starting compiler/backend/arm7/proofs
Feb 07 00:08:08 Finished compiler/backend/arm7/proofs                            32s   2GB
Feb 07 00:08:08 Starting compiler/backend/arm8/proofs
Feb 07 00:08:39 Finished compiler/backend/arm8/proofs                            31s   2GB
Feb 07 00:08:39 Starting compiler/backend/arm8_asl
Feb 07 00:09:04 Finished compiler/backend/arm8_asl                               24s   2GB
Feb 07 00:09:04 Starting compiler/backend/mips/proofs
Feb 07 00:09:35 Finished compiler/backend/mips/proofs                            31s   1GB
Feb 07 00:09:35 Starting compiler/backend/riscv/proofs
Feb 07 00:10:08 Finished compiler/backend/riscv/proofs                           33s   2GB
Feb 07 00:10:09 Starting compiler/backend/ag32/proofs
Feb 07 00:23:46 Finished compiler/backend/ag32/proofs                         13m36s   3GB
Feb 07 00:23:46 Starting candle/set-theory
Feb 07 00:24:24 Finished candle/set-theory                                       37s   1GB
Feb 07 00:24:24 Starting candle/syntax-lib
Feb 07 00:24:25 Finished candle/syntax-lib                                        1s  21MB
Feb 07 00:24:26 Starting candle/standard/syntax
Feb 07 00:24:36 Finished candle/standard/syntax                                  10s 780MB
Feb 07 00:24:36 Starting candle/standard/semantics
Feb 07 00:26:35 Finished candle/standard/semantics                             1m58s   1GB
Feb 07 00:26:35 Starting candle/standard/monadic
Feb 07 00:26:37 Finished candle/standard/monadic                                  1s  21MB
Feb 07 00:26:37 Starting candle/standard/ml_kernel
Feb 07 00:28:14 Finished candle/standard/ml_kernel                             1m37s   2GB
Feb 07 00:28:14 Starting candle/overloading/syntax
Feb 07 00:31:35 Finished candle/overloading/syntax                             3m20s   1GB
Feb 07 00:31:35 Starting candle/overloading/semantics
Feb 07 00:43:46 Finished candle/overloading/semantics                         12m10s   2GB
Feb 07 00:43:46 Starting candle/overloading/monadic
Feb 07 00:46:29 Finished candle/overloading/monadic                            2m41s   1GB
Feb 07 00:46:29 Starting candle/overloading/ml_kernel
Feb 07 00:54:20 Finished candle/overloading/ml_kernel                          7m51s   3GB
Feb 07 00:54:20 Starting candle/overloading/ml_checker
Feb 07 00:56:56 Finished candle/overloading/ml_checker                         2m35s   3GB
Feb 07 00:56:56 Starting candle/prover
Feb 07 01:06:46 Finished candle/prover                                         9m50s   4GB
Feb 07 01:06:46 Starting pancake
Feb 07 01:10:11 Finished pancake                                               3m24s   4GB
Feb 07 01:10:11 Starting pancake/ffi
Feb 07 01:10:12 Finished pancake/ffi                                              0s  13MB
Feb 07 01:10:12 Starting pancake/semantics
Feb 07 01:12:41 Finished pancake/semantics                                     2m28s   1GB
Feb 07 01:12:41 Starting pancake/proofs
Feb 07 01:15:49 Finished pancake/proofs                                        3m08s   2GB
Feb 07 01:15:49 Starting characteristic/examples
Feb 07 01:17:19 Finished characteristic/examples                               1m29s   3GB
Feb 07 01:17:19 Starting tutorial/solutions
Feb 07 01:32:20 Finished tutorial/solutions                                   15m01s   9GB
Feb 07 01:32:20 Starting translator/monadic/examples
Feb 07 01:36:21 Finished translator/monadic/examples                           4m00s   3GB
Feb 07 01:36:21 Starting examples
Feb 07 01:52:31 Finished examples                                             16m08s   4GB
Feb 07 01:52:31 Starting examples/compilation/x64
Feb 07 03:52:30 Finished examples/compilation/x64                           1h59m57s  14GB
Feb 07 03:52:30 Starting examples/compilation/x64/proofs
Feb 07 03:55:02 Finished examples/compilation/x64/proofs                       2m31s   4GB
Feb 07 03:55:02 Starting examples/compilation/ag32
Feb 07 04:25:42 Finished examples/compilation/ag32                            30m40s   7GB
Feb 07 04:25:42 Starting examples/compilation/ag32/proofs
Feb 07 04:26:45 Finished examples/compilation/ag32/proofs                      1m02s   4GB
Feb 07 04:26:45 Starting examples/compilation/to_word
Feb 07 04:30:04 Finished examples/compilation/to_word                          3m19s   6GB
Feb 07 04:30:04 Starting examples/lpr_checker
Feb 07 04:31:09 Finished examples/lpr_checker                                  1m04s   1GB
Feb 07 04:31:09 Starting examples/lpr_checker/array
Feb 07 05:07:55 Finished examples/lpr_checker/array                           36m44s   6GB
Feb 07 05:07:55 Starting examples/lpr_checker/array/compilation
Feb 07 05:45:33 Finished examples/lpr_checker/array/compilation               37m37s  25GB
Feb 07 05:45:33 Starting examples/lpr_checker/array/compilation/proofs
Feb 07 05:47:05 Finished examples/lpr_checker/array/compilation/proofs         1m31s   6GB
Feb 07 05:47:05 Starting examples/opentheory
Feb 07 05:57:58 Finished examples/opentheory                                  10m53s   3GB
Feb 07 05:57:58 Starting examples/opentheory
Feb 07 05:58:00 Finished examples/opentheory                                      1s  32MB
Feb 07 05:58:00 Starting examples/opentheory/compilation
Feb 07 06:34:59 Finished examples/opentheory/compilation                      36m58s  33GB
Feb 07 06:35:00 Starting examples/opentheory/compilation/proofs
Feb 07 06:36:03 Finished examples/opentheory/compilation/proofs                1m03s   4GB
Feb 07 06:36:03 Starting examples/opentheory/compilation/ag32
Feb 07 07:09:13 Finished examples/opentheory/compilation/ag32                 33m09s  27GB
Feb 07 07:09:13 Starting examples/opentheory/compilation/ag32/proofs
Feb 07 07:11:08 Finished examples/opentheory/compilation/ag32/proofs           1m54s   8GB
Feb 07 07:11:08 Starting examples/sat_encodings
Feb 07 07:13:08 Finished examples/sat_encodings                                2m00s 872MB
Feb 07 07:13:09 Starting examples/sat_encodings/case_studies
Feb 07 07:14:57 Finished examples/sat_encodings/case_studies                   1m48s   1GB
Feb 07 07:14:57 Starting examples/sat_encodings/translation
Feb 07 07:21:01 Finished examples/sat_encodings/translation                    6m03s   5GB
Feb 07 07:21:01 Starting examples/sat_encodings/translation/compilation
Feb 07 08:05:58 Finished examples/sat_encodings/translation/compilation       44m55s  19GB
Feb 07 08:05:58 Starting examples/deflate
Feb 07 08:06:56 Finished examples/deflate                                        58s   1GB
Feb 07 08:06:57 Starting examples/deflate/translation
Feb 07 08:08:44 Finished examples/deflate/translation                          1m47s   3GB
Feb 07 08:08:44 Starting examples/deflate/translation/compilation
Feb 07 08:28:12 Finished examples/deflate/translation/compilation             19m27s  11GB
Feb 07 08:28:12 Starting translator/okasaki-examples
Feb 07 08:33:20 Finished translator/okasaki-examples                           5m07s   2GB
Feb 07 08:33:20 Starting translator/other-examples
Feb 07 08:34:16 Finished translator/other-examples                               55s   2GB
Feb 07 08:34:16 Starting compiler/parsing/tests
Feb 07 08:34:48 Finished compiler/parsing/tests                                  32s 742MB
Feb 07 08:34:48 Starting compiler/inference/tests
Feb 07 08:43:13 Finished compiler/inference/tests                              8m24s   5GB
Feb 07 08:43:13 Starting compiler/printing/test
Feb 07 08:47:03 Finished compiler/printing/test                                3m49s   3GB
Feb 07 08:47:03 Starting icing/flover
Feb 07 09:29:27 Finished icing/flover                                         42m23s   2GB
Feb 07 09:29:27 Starting icing/
Feb 07 10:29:50 Finished icing/                                             1h00m21s   8GB
Feb 07 10:29:50 Starting icing/examples
Feb 07 10:31:45 Finished icing/examples                                        1m54s   7GB
Feb 07 10:31:45 Starting compiler/repl
Feb 07 10:40:17 Finished compiler/repl                                         8m32s   4GB
Feb 07 10:40:17 Starting unverified/sexpr-bootstrap/x64/64
Feb 07 10:53:06 Finished unverified/sexpr-bootstrap/x64/64                    12m48s  15GB
Feb 07 10:53:06 Starting unverified/sexpr-bootstrap/x64/32
Feb 07 11:03:28 Finished unverified/sexpr-bootstrap/x64/32                    10m21s  13GB
Feb 07 11:03:28 Starting compiler/benchmarks
Feb 07 11:03:32 Finished compiler/benchmarks                                      4s  39MB
Feb 07 11:03:33 Starting compiler/bootstrap/compilation/x64/64
Feb 07 22:03:59 Finished compiler/bootstrap/compilation/x64/64             11h00m24s  64GB
Feb 07 22:03:59 Starting compiler/bootstrap/compilation/x64/64/proofs
Feb 07 22:23:46 Finished compiler/bootstrap/compilation/x64/64/proofs         19m47s  36GB
Feb 07 22:23:47 Starting compiler/bootstrap/compilation/x64/32
Feb 08 05:02:13 Finished compiler/bootstrap/compilation/x64/32              6h38m24s  64GB
Feb 08 05:02:13 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 08 05:04:48 Finished compiler/bootstrap/compilation/x64/32/proofs          2m34s  15GB
Feb 08 05:04:48 Starting compiler/bootstrap/compilation/ag32/32
Feb 08 11:38:35 Finished compiler/bootstrap/compilation/ag32/32             6h33m46s  64GB
Feb 08 11:38:35 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 08 11:44:45 Finished compiler/bootstrap/compilation/ag32/32/proofs         6m09s  30GB
Feb 08 11:44:45 SUCCESS