Job 1961

CakeML:42712c3f0757b8330cf98aaa30c0f4ed2800a50c
  Make bootstrap test ./cake --types output of basis [Jul 04 20:44:29]
#895 (issue894)
Merging into:a0080001db5d25a5b7c669b5ebd70acfca415632
  Merge pull request #862 from CakeML/gh859 [Jul 07 20:46:42]
HOL:8b0248d705162f895cc7228fd638fe1c7d74b600
  Fix Unicode violation from 5184a58dae1 [Jul 04 06:34:10]
Machine:oven3

Jul 08 15:00:30 Claimed job
Jul 08 15:00:33 Building HOL
Jul 08 15:24:10 Starting developers
Jul 08 15:24:19 Finished developers                                               9s 140MB
Jul 08 15:24:19 Starting developers/bin
Jul 08 15:24:31 Finished developers/bin                                          11s   1GB
Jul 08 15:24:31 Starting semantics/ffi
Jul 08 15:24:56 Finished semantics/ffi                                           24s 251MB
Jul 08 15:24:56 Starting semantics
Jul 08 15:30:23 Finished semantics                                             5m26s   1GB
Jul 08 15:30:23 Starting semantics/proofs
Jul 08 15:47:02 Finished semantics/proofs                                     16m38s   1GB
Jul 08 15:47:03 Starting semantics/alt_semantics
Jul 08 15:48:02 Finished semantics/alt_semantics                                 59s 537MB
Jul 08 15:48:03 Starting semantics/alt_semantics/proofs
Jul 08 16:14:30 Finished semantics/alt_semantics/proofs                       26m26s   1GB
Jul 08 16:14:30 Starting basis/pure
Jul 08 16:22:13 Finished basis/pure                                            7m43s   1GB
Jul 08 16:22:13 Starting translator
Jul 08 16:30:14 Finished translator                                            8m00s   2GB
Jul 08 16:30:14 Starting compiler/parsing
Jul 08 16:33:22 Finished compiler/parsing                                      3m07s   5GB
Jul 08 16:33:22 Starting characteristic
Jul 08 16:47:54 Finished characteristic                                       14m30s   2GB
Jul 08 16:47:54 Starting translator/monadic
Jul 08 16:52:07 Finished translator/monadic                                    4m12s   1GB
Jul 08 16:52:07 Starting basis
Jul 08 18:47:15 Finished basis                                              1h55m07s  16GB
Jul 08 18:47:16 Starting compiler/inference
Jul 08 18:50:49 Finished compiler/inference                                    3m32s   1GB
Jul 08 18:50:49 Starting compiler/backend/reg_alloc
Jul 08 18:54:04 Finished compiler/backend/reg_alloc                            3m14s   1GB
Jul 08 18:54:04 Starting compiler/backend/gc
Jul 08 19:02:48 Finished compiler/backend/gc                                   8m43s   2GB
Jul 08 19:02:48 Starting compiler/backend
Jul 08 19:14:59 Finished compiler/backend                                     12m10s   2GB
Jul 08 19:14:59 Starting compiler/encoders/asm
Jul 08 19:16:05 Finished compiler/encoders/asm                                 1m05s 745MB
Jul 08 19:16:05 Starting compiler/encoders/x64
Jul 08 19:18:40 Finished compiler/encoders/x64                                 2m35s 960MB
Jul 08 19:18:41 Starting compiler/encoders/arm7
Jul 08 19:23:53 Finished compiler/encoders/arm7                                5m12s   1GB
Jul 08 19:23:53 Starting compiler/encoders/arm8
Jul 08 19:25:26 Finished compiler/encoders/arm8                                1m32s 789MB
Jul 08 19:25:27 Starting compiler/encoders/arm8_asl
Jul 08 23:45:58 Finished compiler/encoders/arm8_asl                         4h20m30s  24GB
Jul 08 23:45:58 Starting compiler/encoders/mips
Jul 08 23:49:27 Finished compiler/encoders/mips                                3m29s   1GB
Jul 08 23:49:28 Starting compiler/encoders/riscv
Jul 08 23:53:23 Finished compiler/encoders/riscv                               3m55s 926MB
Jul 08 23:53:24 Starting compiler/encoders/ag32
Jul 08 23:54:11 Finished compiler/encoders/ag32                                  47s 837MB
Jul 08 23:54:12 Starting compiler/backend/x64
Jul 08 23:55:02 Finished compiler/backend/x64                                    49s   1GB
Jul 08 23:55:02 Starting compiler/backend/arm7
Jul 08 23:55:53 Finished compiler/backend/arm7                                   51s   1GB
Jul 08 23:55:53 Starting compiler/backend/arm8
Jul 08 23:56:43 Finished compiler/backend/arm8                                   48s   1GB
Jul 08 23:56:43 Starting compiler/backend/mips
Jul 08 23:57:33 Finished compiler/backend/mips                                   49s   1GB
Jul 08 23:57:33 Starting compiler/backend/riscv
Jul 08 23:58:22 Finished compiler/backend/riscv                                  48s   1GB
Jul 08 23:58:22 Starting compiler/backend/ag32
Jul 09 00:01:26 Finished compiler/backend/ag32                                 3m03s   1GB
Jul 09 00:01:26 Starting compiler/parsing/proofs
Jul 09 00:09:58 Finished compiler/parsing/proofs                               8m32s   1GB
Jul 09 00:09:58 Starting compiler/inference/proofs
Jul 09 00:16:07 Finished compiler/inference/proofs                             6m08s   1GB
Jul 09 00:16:07 Starting compiler/backend/semantics
Jul 09 01:13:18 Finished compiler/backend/semantics                           57m10s   2GB
Jul 09 01:13:18 Starting compiler/backend/reg_alloc/proofs
Jul 09 01:21:28 Finished compiler/backend/reg_alloc/proofs                     8m08s   1GB
Jul 09 01:21:28 Starting compiler/backend/proofs
Jul 09 03:14:38 Finished compiler/backend/proofs                            1h53m10s  29GB
Jul 09 03:14:39 Starting compiler/backend/serialiser
Jul 09 03:18:14 Finished compiler/backend/serialiser                           3m35s   2GB
Jul 09 03:18:14 Starting compiler/encoders/x64/proofs
Jul 09 03:40:12 Finished compiler/encoders/x64/proofs                         21m57s   5GB
Jul 09 03:40:12 Starting compiler/encoders/arm7/proofs
Jul 09 04:11:20 Finished compiler/encoders/arm7/proofs                        31m08s   3GB
Jul 09 04:11:21 Starting compiler/encoders/arm8/proofs
Jul 09 04:27:55 Finished compiler/encoders/arm8/proofs                        16m34s   1GB
Jul 09 04:27:55 Starting compiler/encoders/arm8_asl/proofs
Jul 09 06:21:49 Finished compiler/encoders/arm8_asl/proofs                  1h53m53s   6GB
Jul 09 06:21:50 Starting compiler/encoders/mips/proofs
Jul 09 06:45:39 Finished compiler/encoders/mips/proofs                        23m49s   2GB
Jul 09 06:45:40 Starting compiler/encoders/riscv/proofs
Jul 09 07:06:06 Finished compiler/encoders/riscv/proofs                       20m26s   1GB
Jul 09 07:06:06 Starting compiler/encoders/ag32/proofs
Jul 09 07:12:02 Finished compiler/encoders/ag32/proofs                         5m56s 844MB
Jul 09 07:12:03 Starting compiler/backend/x64/proofs
Jul 09 07:13:05 Finished compiler/backend/x64/proofs                           1m02s   1GB
Jul 09 07:13:06 Starting compiler/backend/arm7/proofs
Jul 09 07:14:10 Finished compiler/backend/arm7/proofs                          1m04s   1GB
Jul 09 07:14:11 Starting compiler/backend/arm8/proofs
Jul 09 07:15:13 Finished compiler/backend/arm8/proofs                          1m02s   1GB
Jul 09 07:15:14 Starting compiler/backend/arm8_asl
Jul 09 07:16:05 Finished compiler/backend/arm8_asl                               51s   1GB
Jul 09 07:16:06 Starting compiler/backend/mips/proofs
Jul 09 07:17:09 Finished compiler/backend/mips/proofs                          1m02s   1GB
Jul 09 07:17:09 Starting compiler/backend/riscv/proofs
Jul 09 07:18:12 Finished compiler/backend/riscv/proofs                         1m03s   1GB
Jul 09 07:18:12 Starting compiler/backend/ag32/proofs
Jul 09 07:49:04 Finished compiler/backend/ag32/proofs                         30m51s   2GB
Jul 09 07:49:04 Starting compiler/proofs
Jul 09 07:54:28 Finished compiler/proofs                                       5m23s   3GB
Jul 09 07:54:28 Starting candle/set-theory
Jul 09 07:55:38 Finished candle/set-theory                                     1m08s 942MB
Jul 09 07:55:38 Starting candle/syntax-lib
Jul 09 07:56:07 Finished candle/syntax-lib                                       28s 692MB
Jul 09 07:56:07 Starting candle/standard/syntax
Jul 09 08:00:43 Finished candle/standard/syntax                                4m35s   1GB
Jul 09 08:00:43 Starting candle/standard/semantics
Jul 09 08:04:57 Finished candle/standard/semantics                             4m13s   1GB
Jul 09 08:04:57 Starting candle/standard/monadic
Jul 09 08:09:07 Finished candle/standard/monadic                               4m09s   1GB
Jul 09 08:09:07 Starting candle/standard/ml_kernel
Jul 09 08:23:07 Finished candle/standard/ml_kernel                            13m59s   3GB
Jul 09 08:23:07 Starting candle/overloading/syntax
Jul 09 08:30:18 Finished candle/overloading/syntax                             7m10s   1GB
Jul 09 08:30:18 Starting candle/overloading/semantics
Jul 09 08:56:35 Finished candle/overloading/semantics                         26m16s   3GB
Jul 09 08:56:36 Starting candle/overloading/monadic
Jul 09 09:02:17 Finished candle/overloading/monadic                            5m41s   1GB
Jul 09 09:02:17 Starting candle/overloading/ml_kernel
Jul 09 09:18:11 Finished candle/overloading/ml_kernel                         15m54s   3GB
Jul 09 09:18:12 Starting candle/overloading/ml_checker
Jul 09 09:23:35 Finished candle/overloading/ml_checker                         5m23s   3GB
Jul 09 09:23:36 Starting candle/prover
Jul 09 09:48:01 Finished candle/prover                                        24m25s   3GB
Jul 09 09:48:01 Starting pancake
Jul 09 09:56:00 Finished pancake                                               7m58s   3GB
Jul 09 09:56:00 Starting pancake/ffi
Jul 09 09:56:01 Finished pancake/ffi                                              0s  30MB
Jul 09 09:56:02 Starting pancake/semantics
Jul 09 10:01:28 Finished pancake/semantics                                     5m25s   1GB
Jul 09 10:01:28 Starting pancake/proofs
Jul 09 10:28:40 Finished pancake/proofs                                       27m11s   6GB
Jul 09 10:28:40 Starting characteristic/examples
Jul 09 10:31:42 Finished characteristic/examples                               3m01s   2GB
Jul 09 10:31:42 Starting tutorial/solutions
Jul 09 11:07:33 Finished tutorial/solutions                                   35m51s   8GB
Jul 09 11:07:34 Starting translator/monadic/examples
Jul 09 11:14:36 Finished translator/monadic/examples                           7m02s   2GB
Jul 09 11:14:37 Starting examples
Jul 09 11:34:22 Finished examples                                             19m44s   6GB
Jul 09 11:34:22 Starting examples/compilation/x64
Jul 09 16:11:31 Finished examples/compilation/x64                           4h37m08s  25GB
Jul 09 16:11:32 Starting examples/compilation/x64/proofs
Jul 09 16:16:14 Finished examples/compilation/x64/proofs                       4m42s   3GB
Jul 09 16:16:14 Starting examples/compilation/ag32
Jul 09 17:30:33 Finished examples/compilation/ag32                          1h14m18s   8GB
Jul 09 17:30:33 Starting examples/compilation/ag32/proofs
Jul 09 17:32:31 Finished examples/compilation/ag32/proofs                      1m57s   4GB
Jul 09 17:32:31 Starting examples/lpr_checker
Jul 09 17:34:45 Finished examples/lpr_checker                                  2m13s   1GB
Jul 09 17:34:45 Starting examples/lpr_checker/array
Jul 09 18:52:04 Finished examples/lpr_checker/array                         1h17m18s   8GB
Jul 09 18:52:04 Starting examples/lpr_checker/array/compilation
Jul 09 20:14:31 Finished examples/lpr_checker/array/compilation             1h22m26s  39GB
Jul 09 20:14:32 Starting examples/lpr_checker/array/compilation/proofs
Jul 09 20:17:31 Finished examples/lpr_checker/array/compilation/proofs         2m59s   6GB
Jul 09 20:17:32 Starting examples/opentheory
Jul 09 20:40:22 Finished examples/opentheory                                  22m50s   3GB
Jul 09 20:40:22 Starting examples/opentheory
Jul 09 20:40:26 Finished examples/opentheory                                      2s  32MB
Jul 09 20:40:26 Starting examples/opentheory/compilation
Jul 09 22:08:31 Finished examples/opentheory/compilation                    1h28m04s  39GB
Jul 09 22:08:31 Starting examples/opentheory/compilation/proofs
Jul 09 22:10:32 Finished examples/opentheory/compilation/proofs                2m00s   4GB
Jul 09 22:10:33 Starting examples/opentheory/compilation/ag32
Jul 09 23:35:33 Finished examples/opentheory/compilation/ag32               1h24m59s  54GB
Jul 09 23:35:33 Starting examples/opentheory/compilation/ag32/proofs
Jul 09 23:39:21 Finished examples/opentheory/compilation/ag32/proofs           3m47s   6GB
Jul 09 23:39:21 Starting examples/sat_encodings
Jul 09 23:43:46 Finished examples/sat_encodings                                4m24s   1GB
Jul 09 23:43:46 Starting examples/sat_encodings/case_studies
Jul 09 23:47:25 Finished examples/sat_encodings/case_studies                   3m38s 910MB
Jul 09 23:47:25 Starting examples/sat_encodings/translation
Jul 09 23:59:22 Finished examples/sat_encodings/translation                   11m57s   3GB
Jul 09 23:59:23 Starting examples/sat_encodings/translation/compilation
Jul 10 01:24:37 Finished examples/sat_encodings/translation/compilation     1h25m13s  23GB
Jul 10 01:24:38 Starting examples/deflate
Jul 10 01:26:34 Finished examples/deflate                                      1m55s 952MB
Jul 10 01:26:34 Starting examples/deflate/translation
Jul 10 01:29:38 Finished examples/deflate/translation                          3m03s   3GB
Jul 10 01:29:38 Starting examples/deflate/translation/compilation
Jul 10 02:08:29 Finished examples/deflate/translation/compilation             38m50s  13GB
Jul 10 02:08:29 Starting translator/okasaki-examples
Jul 10 02:18:56 Finished translator/okasaki-examples                          10m26s   1GB
Jul 10 02:18:56 Starting translator/other-examples
Jul 10 02:23:41 Finished translator/other-examples                             4m45s   1GB
Jul 10 02:23:42 Starting compiler/parsing/tests
Jul 10 02:24:50 Finished compiler/parsing/tests                                1m07s 697MB
Jul 10 02:24:50 Starting compiler/inference/tests
Jul 10 02:41:42 Finished compiler/inference/tests                             16m51s   4GB
Jul 10 02:41:42 Starting compiler/printing/test
Jul 10 02:49:17 Finished compiler/printing/test                                7m34s   3GB
Jul 10 02:49:17 Starting icing/flover
Jul 10 04:22:57 Finished icing/flover                                       1h33m39s   1GB
Jul 10 04:22:57 Starting icing/
Jul 10 06:38:57 Finished icing/                                             2h15m59s   7GB
Jul 10 06:38:58 Starting icing/examples
Jul 10 06:42:18 Finished icing/examples                                        3m20s   3GB
Jul 10 06:42:18 Starting compiler/repl
Jul 10 07:09:06 Finished compiler/repl                                        26m47s   4GB
Jul 10 07:09:06 Starting compiler/bootstrap/translation
Jul 10 16:41:47 Finished compiler/bootstrap/translation                     9h32m40s  38GB
Jul 10 16:41:47 Starting unverified/sexpr-bootstrap/x64/64
Jul 10 17:03:44 Finished unverified/sexpr-bootstrap/x64/64                    21m57s  14GB
Jul 10 17:03:45 Starting unverified/sexpr-bootstrap/x64/32
Jul 10 17:22:27 Finished unverified/sexpr-bootstrap/x64/32                    18m41s  11GB
Jul 10 17:22:27 Starting compiler/benchmarks
Jul 10 17:22:33 Finished compiler/benchmarks                                      5s  49MB
Jul 10 17:22:33 Starting compiler/bootstrap/compilation/x64/64
Jul 11 18:05:02 Finished compiler/bootstrap/compilation/x64/64             24h42m28s 109GB
Jul 11 18:05:02 Starting compiler/bootstrap/compilation/x64/64/proofs
Jul 11 18:50:10 Finished compiler/bootstrap/compilation/x64/64/proofs         45m07s  21GB
Jul 11 18:50:10 Starting compiler/bootstrap/compilation/x64/32
Jul 12 08:57:01 Finished compiler/bootstrap/compilation/x64/32             14h06m49s  95GB
Jul 12 08:57:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Jul 12 09:04:15 Finished compiler/bootstrap/compilation/x64/32/proofs          7m14s  10GB
Jul 12 09:04:16 Starting compiler/bootstrap/compilation/ag32/32
Jul 12 22:52:57 Finished compiler/bootstrap/compilation/ag32/32            13h48m40s  96GB
Jul 12 22:52:57 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jul 12 23:05:38 Finished compiler/bootstrap/compilation/ag32/32/proofs        12m40s  32GB
Jul 12 23:05:38 SUCCESS