Job 642

CakeML:ec30bc1db10fed65f8e8c62066be257e5a057431
  Delete old EqualityType junk that caused build failure [Dec 21 04:22:00]
#584 (todata-split)
Merging into:4b5d4f06ef2984bee7512209933101d98381b187
  Merge pull request #585 from CakeML/x64_windows [Dec 20 22:03:59]
HOL:89daca206b2ad7a8e43f3a59c20a178cc04d7748
  Fix bug: TypeBase.simpls_of not being filled in on load [Dec 21 04:04:45]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 21 04:31:41 Claimed job
Dec 21 04:32:09 Building HOL
Dec 21 04:40:10 Starting developers
Dec 21 04:40:11 Finished developers                                               0s  21MB
Dec 21 04:40:12 Starting developers/bin
Dec 21 04:40:46 Finished developers/bin                                          33s 140MB
Dec 21 04:40:47 Starting semantics/ffi
Dec 21 04:41:23 Finished semantics/ffi                                           36s 470MB
Dec 21 04:41:24 Starting semantics
Dec 21 04:43:04 Finished semantics                                             1m39s 930MB
Dec 21 04:43:05 Starting semantics/proofs
Dec 21 04:46:18 Finished semantics/proofs                                      3m11s   1GB
Dec 21 04:46:19 Starting basis/pure
Dec 21 04:50:06 Finished basis/pure                                            3m46s 706MB
Dec 21 04:50:07 Starting translator
Dec 21 04:51:29 Finished translator                                            1m21s 937MB
Dec 21 04:51:30 Starting compiler/parsing
Dec 21 04:53:02 Finished compiler/parsing                                      1m31s   1GB
Dec 21 04:53:03 Starting characteristic
Dec 21 04:55:44 Finished characteristic                                        2m40s   1GB
Dec 21 04:55:45 Starting translator/monadic
Dec 21 04:57:19 Finished translator/monadic                                    1m33s   1GB
Dec 21 04:57:20 Starting basis
Dec 21 05:15:16 Finished basis                                                17m54s   2GB
Dec 21 05:15:17 Starting compiler/inference
Dec 21 05:17:30 Finished compiler/inference                                    2m12s   1GB
Dec 21 05:17:31 Starting compiler/backend/reg_alloc
Dec 21 05:18:27 Finished compiler/backend/reg_alloc                              55s   1GB
Dec 21 05:18:28 Starting compiler/backend/gc
Dec 21 05:27:44 Finished compiler/backend/gc                                   9m15s   1GB
Dec 21 05:27:45 Starting compiler/backend
Dec 21 05:27:50 Finished compiler/backend                                         4s  19MB
Dec 21 05:27:51 Starting compiler/encoders/asm
Dec 21 05:27:52 Finished compiler/encoders/asm                                    0s  17MB
Dec 21 05:27:53 Starting compiler/encoders/x64
Dec 21 05:28:47 Finished compiler/encoders/x64                                   53s 582MB
Dec 21 05:28:48 Starting compiler/encoders/arm6
Dec 21 05:30:41 Finished compiler/encoders/arm6                                1m52s   1GB
Dec 21 05:30:42 Starting compiler/encoders/arm8
Dec 21 05:31:10 Finished compiler/encoders/arm8                                  26s 458MB
Dec 21 05:31:11 Starting compiler/encoders/mips
Dec 21 05:32:15 Finished compiler/encoders/mips                                1m03s 650MB
Dec 21 05:32:15 Starting compiler/encoders/riscv
Dec 21 05:33:24 Finished compiler/encoders/riscv                               1m07s 928MB
Dec 21 05:33:25 Starting compiler/encoders/ag32
Dec 21 05:33:43 Finished compiler/encoders/ag32                                  17s 588MB
Dec 21 05:33:44 Starting compiler/backend/x64
Dec 21 05:34:04 Finished compiler/backend/x64                                    20s   1GB
Dec 21 05:34:05 Starting compiler/backend/arm6
Dec 21 05:34:28 Finished compiler/backend/arm6                                   21s   1GB
Dec 21 05:34:28 Starting compiler/backend/arm8
Dec 21 05:34:48 Finished compiler/backend/arm8                                   18s   1GB
Dec 21 05:34:49 Starting compiler/backend/mips
Dec 21 05:35:09 Finished compiler/backend/mips                                   19s 959MB
Dec 21 05:35:10 Starting compiler/backend/riscv
Dec 21 05:35:32 Finished compiler/backend/riscv                                  21s   1GB
Dec 21 05:35:33 Starting compiler/backend/ag32
Dec 21 05:36:59 Finished compiler/backend/ag32                                 1m25s   1GB
Dec 21 05:37:00 Starting compiler/parsing/proofs
Dec 21 05:43:47 Finished compiler/parsing/proofs                               6m46s 804MB
Dec 21 05:43:48 Starting compiler/inference/proofs
Dec 21 05:46:49 Finished compiler/inference/proofs                             3m00s   1GB
Dec 21 05:46:50 Starting compiler/backend/semantics
Dec 21 05:56:08 Finished compiler/backend/semantics                            9m17s   2GB
Dec 21 05:56:09 Starting compiler/backend/reg_alloc/proofs
Dec 21 05:59:15 Finished compiler/backend/reg_alloc/proofs                     3m05s 482MB
Dec 21 05:59:16 Starting compiler/backend/proofs
Dec 21 06:54:43 Finished compiler/backend/proofs                              55m26s   4GB
Dec 21 06:54:44 Starting compiler/encoders/x64/proofs
Dec 21 07:05:59 Finished compiler/encoders/x64/proofs                         11m14s   3GB
Dec 21 07:06:00 Starting compiler/encoders/arm6/proofs
Dec 21 07:21:27 Finished compiler/encoders/arm6/proofs                        15m26s   4GB
Dec 21 07:21:28 Starting compiler/encoders/arm8/proofs
Dec 21 07:27:44 Finished compiler/encoders/arm8/proofs                         6m15s   1GB
Dec 21 07:27:44 Starting compiler/encoders/mips/proofs
Dec 21 07:38:38 Finished compiler/encoders/mips/proofs                        10m52s   1GB
Dec 21 07:38:39 Starting compiler/encoders/riscv/proofs
Dec 21 07:46:50 Finished compiler/encoders/riscv/proofs                        8m10s 737MB
Dec 21 07:46:51 Starting compiler/encoders/ag32/proofs
Dec 21 07:49:40 Finished compiler/encoders/ag32/proofs                         2m47s 611MB
Dec 21 07:49:41 Starting compiler/backend/x64/proofs
Dec 21 07:50:00 Finished compiler/backend/x64/proofs                             18s   1GB
Dec 21 07:50:01 Starting compiler/backend/arm6/proofs
Dec 21 07:50:23 Finished compiler/backend/arm6/proofs                            20s 988MB
Dec 21 07:50:23 Starting compiler/backend/arm8/proofs
Dec 21 07:50:43 Finished compiler/backend/arm8/proofs                            18s 927MB
Dec 21 07:50:44 Starting compiler/backend/mips/proofs
Dec 21 07:51:05 Finished compiler/backend/mips/proofs                            20s   1GB
Dec 21 07:51:05 Starting compiler/backend/riscv/proofs
Dec 21 07:51:26 Finished compiler/backend/riscv/proofs                           20s   1GB
Dec 21 07:51:27 Starting compiler/backend/ag32/proofs
Dec 21 08:01:08 Finished compiler/backend/ag32/proofs                          9m40s   2GB
Dec 21 08:01:09 Starting compiler/proofs
Dec 21 08:02:29 Finished compiler/proofs                                       1m19s   2GB
Dec 21 08:02:30 Starting candle/set-theory
Dec 21 08:03:01 Finished candle/set-theory                                       30s 688MB
Dec 21 08:03:02 Starting candle/syntax-lib
Dec 21 08:03:13 Finished candle/syntax-lib                                        9s 629MB
Dec 21 08:03:14 Starting candle/standard/syntax
Dec 21 08:04:49 Finished candle/standard/syntax                                1m34s 675MB
Dec 21 08:04:50 Starting candle/standard/semantics
Dec 21 08:06:13 Finished candle/standard/semantics                             1m21s 851MB
Dec 21 08:06:13 Starting candle/standard/monadic
Dec 21 08:07:49 Finished candle/standard/monadic                               1m34s   1GB
Dec 21 08:07:49 Starting candle/standard/ml_kernel
Dec 21 08:23:09 Finished candle/standard/ml_kernel                            15m18s   2GB
Dec 21 08:23:10 Starting candle/standard/opentheory
Dec 21 08:31:06 Finished candle/standard/opentheory                            7m54s   2GB
Dec 21 08:31:06 Starting candle/standard/opentheory/compilation
Dec 21 09:01:01 Finished candle/standard/opentheory/compilation               29m53s  21GB
Dec 21 09:01:02 Starting candle/standard/opentheory/compilation/proofs
Dec 21 09:01:39 Finished candle/standard/opentheory/compilation/proofs           36s   4GB
Dec 21 09:01:40 Starting characteristic/examples
Dec 21 09:03:08 Finished characteristic/examples                               1m27s   1GB
Dec 21 09:03:09 Starting tutorial/solutions
Dec 21 09:16:12 Finished tutorial/solutions                                   13m02s   6GB
Dec 21 09:16:12 Starting translator/monadic/examples
Dec 21 09:18:03 Finished translator/monadic/examples                           1m49s   2GB
Dec 21 09:18:04 Starting examples
Dec 21 09:24:31 Finished examples                                              6m26s   1GB
Dec 21 09:24:32 Starting examples/compilation/x64
Dec 21 11:21:04 Finished examples/compilation/x64                           1h56m31s  11GB
Dec 21 11:21:05 Starting examples/compilation/x64/proofs
Dec 21 11:22:57 Finished examples/compilation/x64/proofs                       1m51s   3GB
Dec 21 11:22:58 Starting examples/compilation/ag32
Dec 21 11:49:33 Finished examples/compilation/ag32                            26m34s   3GB
Dec 21 11:49:34 Starting examples/compilation/ag32/proofs
Dec 21 11:50:01 Finished examples/compilation/ag32/proofs                        25s   2GB
Dec 21 11:50:02 Starting compiler/benchmarks
Dec 21 11:50:02 Finished compiler/benchmarks                                      0s   4MB
Dec 21 11:50:03 Starting translator/okasaki-examples
Dec 21 11:53:38 Finished translator/okasaki-examples                           3m34s   1GB
Dec 21 11:53:39 Starting translator/other-examples
Dec 21 11:56:52 Finished translator/other-examples                             3m12s 927MB
Dec 21 11:56:53 Starting compiler/parsing/tests
Dec 21 11:57:18 Finished compiler/parsing/tests                                  24s 334MB
Dec 21 11:57:19 Starting compiler/inference/tests
Dec 21 12:01:23 Finished compiler/inference/tests                              4m02s   4GB
Dec 21 12:01:24 Starting compiler/bootstrap/translation
Dec 21 15:18:50 Finished compiler/bootstrap/translation                     3h17m24s  53GB
Dec 21 15:18:50 Starting unverified/sexpr-bootstrap/x64/64
Dec 21 15:27:08 Finished unverified/sexpr-bootstrap/x64/64                     8m16s  13GB
Dec 21 15:27:09 Starting unverified/sexpr-bootstrap/x64/32
Dec 21 15:32:40 Finished unverified/sexpr-bootstrap/x64/32                     5m30s  16GB
Dec 21 15:32:41 Starting compiler/bootstrap/compilation/x64/64
Dec 22 10:24:25 Finished compiler/bootstrap/compilation/x64/64             18h51m43s  64GB
Dec 22 10:24:26 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 22 10:28:04 Finished compiler/bootstrap/compilation/x64/64/proofs          3m37s  24GB
Dec 22 10:28:05 Starting compiler/bootstrap/compilation/x64/32
Dec 22 22:30:50 Finished compiler/bootstrap/compilation/x64/32             12h02m43s  56GB
Dec 22 22:30:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 22 22:34:27 Finished compiler/bootstrap/compilation/x64/32/proofs          3m35s  23GB
Dec 22 22:34:28 SUCCESS