Job 1090

CakeML:05a85a96ad0702868b7b20ad1701f38ab7b37e9b
  Add numerator and denominator functions to Ratio [Nov 06 12:58:14]
#698 (cakeml-rat-proj)
Merging into:dee8a5c2ef96f2f6ba0c0a583d7d6a655470840d
  Merge pull request #704 from CakeML/sexpr-bootstrap-fix [Nov 14 07:43:57]
HOL:ca71e46c32fd6a11162c9640ee7006dfe1c6fabd
  Remove unnecessary CLINE_OPTIONS in tests that break Moscow ML build [Nov 13 22:33:35]
Machine:oven3 4.19.67.1.amd64-smp

Nov 14 08:01:28 Claimed job
Nov 14 08:01:35 Building HOL
Nov 14 08:24:28 Starting developers
Nov 14 08:24:35 Finished developers                                               6s 120MB
Nov 14 08:24:36 Starting developers/bin
Nov 14 08:24:49 Finished developers/bin                                          13s 968MB
Nov 14 08:24:49 Starting semantics/ffi
Nov 14 08:25:12 Finished semantics/ffi                                           22s 239MB
Nov 14 08:25:12 Starting semantics
Nov 14 08:28:15 Finished semantics                                             3m03s   1GB
Nov 14 08:28:16 Starting semantics/proofs
Nov 14 08:34:49 Finished semantics/proofs                                      6m33s   1GB
Nov 14 08:34:50 Starting semantics/alt_semantics
Nov 14 08:35:07 Finished semantics/alt_semantics                                 17s 324MB
Nov 14 08:35:07 Starting semantics/alt_semantics/proofs
Nov 14 08:39:06 Finished semantics/alt_semantics/proofs                        3m58s 755MB
Nov 14 08:39:07 Starting basis/pure
Nov 14 08:45:01 Finished basis/pure                                            5m54s 745MB
Nov 14 08:45:01 Starting translator
Nov 14 08:48:44 Finished translator                                            3m42s   1GB
Nov 14 08:48:44 Starting compiler/parsing
Nov 14 08:50:42 Finished compiler/parsing                                      1m58s   1GB
Nov 14 08:50:42 Starting characteristic
Nov 14 09:02:17 Finished characteristic                                       11m34s   1GB
Nov 14 09:02:17 Starting translator/monadic
Nov 14 09:05:24 Finished translator/monadic                                    3m06s   1GB
Nov 14 09:05:24 Starting basis
Nov 14 09:47:33 Finished basis                                                42m08s   2GB
Nov 14 09:47:33 Starting compiler/inference
Nov 14 09:51:31 Finished compiler/inference                                    3m57s   1GB
Nov 14 09:51:31 Starting compiler/backend/reg_alloc
Nov 14 09:53:26 Finished compiler/backend/reg_alloc                            1m54s   1GB
Nov 14 09:53:26 Starting compiler/backend/gc
Nov 14 09:59:47 Finished compiler/backend/gc                                   6m20s   2GB
Nov 14 09:59:47 Starting compiler/backend
Nov 14 10:06:51 Finished compiler/backend                                      7m03s   2GB
Nov 14 10:06:51 Starting compiler/encoders/asm
Nov 14 10:07:35 Finished compiler/encoders/asm                                   43s 837MB
Nov 14 10:07:35 Starting compiler/encoders/x64
Nov 14 10:09:43 Finished compiler/encoders/x64                                 2m07s 747MB
Nov 14 10:09:43 Starting compiler/encoders/arm7
Nov 14 10:13:34 Finished compiler/encoders/arm7                                3m50s   1GB
Nov 14 10:13:34 Starting compiler/encoders/arm8
Nov 14 10:14:46 Finished compiler/encoders/arm8                                1m11s 602MB
Nov 14 10:14:46 Starting compiler/encoders/mips
Nov 14 10:17:24 Finished compiler/encoders/mips                                2m38s   1GB
Nov 14 10:17:25 Starting compiler/encoders/riscv
Nov 14 10:20:16 Finished compiler/encoders/riscv                               2m51s   1GB
Nov 14 10:20:16 Starting compiler/encoders/ag32
Nov 14 10:20:52 Finished compiler/encoders/ag32                                  35s 807MB
Nov 14 10:20:52 Starting compiler/backend/x64
Nov 14 10:21:27 Finished compiler/backend/x64                                    34s   1GB
Nov 14 10:21:28 Starting compiler/backend/arm7
Nov 14 10:22:05 Finished compiler/backend/arm7                                   37s   1GB
Nov 14 10:22:06 Starting compiler/backend/arm8
Nov 14 10:22:43 Finished compiler/backend/arm8                                   37s   1GB
Nov 14 10:22:43 Starting compiler/backend/mips
Nov 14 10:23:21 Finished compiler/backend/mips                                   37s   1GB
Nov 14 10:23:21 Starting compiler/backend/riscv
Nov 14 10:24:02 Finished compiler/backend/riscv                                  40s   1GB
Nov 14 10:24:02 Starting compiler/backend/ag32
Nov 14 10:26:27 Finished compiler/backend/ag32                                 2m25s   1GB
Nov 14 10:26:28 Starting compiler/parsing/proofs
Nov 14 10:38:19 Finished compiler/parsing/proofs                              11m51s   1GB
Nov 14 10:38:19 Starting compiler/inference/proofs
Nov 14 10:44:34 Finished compiler/inference/proofs                             6m15s   1GB
Nov 14 10:44:34 Starting compiler/backend/semantics
Nov 14 10:56:16 Finished compiler/backend/semantics                           11m41s   2GB
Nov 14 10:56:17 Starting compiler/backend/reg_alloc/proofs
Nov 14 11:03:41 Finished compiler/backend/reg_alloc/proofs                     7m24s 948MB
Nov 14 11:03:42 Starting compiler/backend/proofs
Nov 14 12:21:16 Finished compiler/backend/proofs                            1h17m33s   4GB
Nov 14 12:21:16 Starting compiler/encoders/x64/proofs
Nov 14 12:41:39 Finished compiler/encoders/x64/proofs                         20m23s   4GB
Nov 14 12:41:39 Starting compiler/encoders/arm7/proofs
Nov 14 13:09:50 Finished compiler/encoders/arm7/proofs                        28m10s   3GB
Nov 14 13:09:50 Starting compiler/encoders/arm8/proofs
Nov 14 13:23:58 Finished compiler/encoders/arm8/proofs                        14m07s   1GB
Nov 14 13:23:58 Starting compiler/encoders/mips/proofs
Nov 14 13:44:56 Finished compiler/encoders/mips/proofs                        20m57s   2GB
Nov 14 13:44:56 Starting compiler/encoders/riscv/proofs
Nov 14 14:03:54 Finished compiler/encoders/riscv/proofs                       18m58s   1GB
Nov 14 14:03:54 Starting compiler/encoders/ag32/proofs
Nov 14 14:09:18 Finished compiler/encoders/ag32/proofs                         5m23s 807MB
Nov 14 14:09:18 Starting compiler/backend/x64/proofs
Nov 14 14:09:55 Finished compiler/backend/x64/proofs                             37s 875MB
Nov 14 14:09:56 Starting compiler/backend/arm7/proofs
Nov 14 14:10:33 Finished compiler/backend/arm7/proofs                            37s   1GB
Nov 14 14:10:33 Starting compiler/backend/arm8/proofs
Nov 14 14:11:13 Finished compiler/backend/arm8/proofs                            39s   1GB
Nov 14 14:11:13 Starting compiler/backend/mips/proofs
Nov 14 14:11:55 Finished compiler/backend/mips/proofs                            41s   1GB
Nov 14 14:11:55 Starting compiler/backend/riscv/proofs
Nov 14 14:12:32 Finished compiler/backend/riscv/proofs                           37s 854MB
Nov 14 14:12:32 Starting compiler/backend/ag32/proofs
Nov 14 14:32:04 Finished compiler/backend/ag32/proofs                         19m31s   2GB
Nov 14 14:32:05 Starting compiler/proofs
Nov 14 14:35:23 Finished compiler/proofs                                       3m18s   3GB
Nov 14 14:35:23 Starting candle/set-theory
Nov 14 14:36:19 Finished candle/set-theory                                       55s 695MB
Nov 14 14:36:19 Starting candle/syntax-lib
Nov 14 14:36:42 Finished candle/syntax-lib                                       22s 634MB
Nov 14 14:36:42 Starting candle/standard/syntax
Nov 14 14:40:28 Finished candle/standard/syntax                                3m45s   1GB
Nov 14 14:40:28 Starting candle/standard/semantics
Nov 14 14:44:02 Finished candle/standard/semantics                             3m33s   1GB
Nov 14 14:44:02 Starting candle/standard/monadic
Nov 14 14:47:25 Finished candle/standard/monadic                               3m22s   1GB
Nov 14 14:47:25 Starting candle/standard/ml_kernel
Nov 14 14:55:42 Finished candle/standard/ml_kernel                             8m17s   3GB
Nov 14 14:55:43 Starting candle/standard/opentheory
Nov 14 15:14:27 Finished candle/standard/opentheory                           18m44s   3GB
Nov 14 15:14:27 Starting candle/standard/opentheory/compilation
Nov 14 16:15:47 Finished candle/standard/opentheory/compilation             1h01m19s  20GB
Nov 14 16:15:48 Starting candle/standard/opentheory/compilation/proofs
Nov 14 16:17:12 Finished candle/standard/opentheory/compilation/proofs         1m23s   3GB
Nov 14 16:17:12 Starting characteristic/examples
Nov 14 16:20:34 Finished characteristic/examples                               3m21s   2GB
Nov 14 16:20:34 Starting tutorial/solutions
Nov 14 16:50:19 Finished tutorial/solutions                                   29m44s   7GB
Nov 14 16:50:19 Starting translator/monadic/examples
Nov 14 16:55:24 Finished translator/monadic/examples                           5m04s   2GB
Nov 14 16:55:24 Starting examples
Nov 14 17:10:57 Finished examples                                             15m33s   3GB
Nov 14 17:10:58 Starting examples/compilation/x64
Nov 14 21:41:12 Finished examples/compilation/x64                           4h30m14s  13GB
Nov 14 21:41:12 Starting examples/compilation/x64/proofs
Nov 14 21:44:58 Finished examples/compilation/x64/proofs                       3m45s   2GB
Nov 14 21:44:58 Starting examples/compilation/ag32
Nov 14 22:49:13 Finished examples/compilation/ag32                          1h04m14s   5GB
Nov 14 22:49:13 Starting examples/compilation/ag32/proofs
Nov 14 22:50:38 Finished examples/compilation/ag32/proofs                      1m24s   3GB
Nov 14 22:50:38 Starting translator/okasaki-examples
Nov 14 22:59:02 Finished translator/okasaki-examples                           8m23s   1GB
Nov 14 22:59:02 Starting translator/other-examples
Nov 14 23:02:34 Finished translator/other-examples                             3m31s   1GB
Nov 14 23:02:34 Starting compiler/parsing/tests
Nov 14 23:03:30 Finished compiler/parsing/tests                                  55s 609MB
Nov 14 23:03:30 Starting compiler/inference/tests
Nov 14 23:11:59 Finished compiler/inference/tests                              8m28s   3GB
Nov 14 23:12:00 Starting compiler/bootstrap/translation
Nov 15 04:41:52 Finished compiler/bootstrap/translation                     5h29m51s  57GB
Nov 15 04:41:52 Starting unverified/sexpr-bootstrap/x64/64
Nov 15 05:07:38 Finished unverified/sexpr-bootstrap/x64/64                    25m45s   6GB
Nov 15 05:07:38 Starting unverified/sexpr-bootstrap/x64/32
Nov 15 05:26:57 Finished unverified/sexpr-bootstrap/x64/32                    19m18s   5GB
Nov 15 05:26:57 Starting compiler/benchmarks
Nov 15 05:27:01 Finished compiler/benchmarks                                      3s  36MB
Nov 15 05:27:01 Starting compiler/bootstrap/compilation/x64/64
Nov 16 09:27:11 Finished compiler/bootstrap/compilation/x64/64             28h00m09s 110GB
Nov 16 09:27:12 Starting compiler/bootstrap/compilation/x64/64/proofs
Nov 16 09:32:13 Finished compiler/bootstrap/compilation/x64/64/proofs          5m01s  11GB
Nov 16 09:32:13 Starting compiler/bootstrap/compilation/x64/32
Nov 17 11:41:59 Finished compiler/bootstrap/compilation/x64/32             26h09m44s 110GB
Nov 17 11:41:59 Starting compiler/bootstrap/compilation/x64/32/proofs
Nov 17 11:47:11 Finished compiler/bootstrap/compilation/x64/32/proofs          5m11s  10GB
Nov 17 11:47:11 Starting compiler/bootstrap/compilation/ag32/32
Nov 18 16:07:07 Finished compiler/bootstrap/compilation/ag32/32            28h19m55s 110GB
Nov 18 16:07:07 Starting compiler/bootstrap/compilation/ag32/32/proofs
Nov 18 17:01:17 Finished compiler/bootstrap/compilation/ag32/32/proofs        54m09s  16GB
Nov 18 17:01:18 SUCCESS