Job 1124

CakeML:0d443191d1dbab5a060db1e3b168528b34f9e776
  Fix a cheat in cyesProg [Dec 12 12:14:49]
#709 (data-cost-bignum)
Merging into:63be93af495437db163b9f89ed9e52f08af7fa17
  Merge pull request #692 from CakeML/match-refactor-2 [Dec 12 22:57:13]
HOL:f50990559d54c2f85f512df2c49bb6ff132ac113
  Fix TeX-munging for extended string literals [Dec 11 01:04:02]
Machine:oven3 4.19.67.1.amd64-smp

Dec 12 22:59:26 Claimed job
Dec 12 22:59:33 Building HOL
Dec 12 23:22:29 Starting developers
Dec 12 23:22:37 Finished developers                                               7s 128MB
Dec 12 23:22:37 Starting developers/bin
Dec 12 23:22:50 Finished developers/bin                                          13s 970MB
Dec 12 23:22:51 Starting semantics/ffi
Dec 12 23:23:12 Finished semantics/ffi                                           21s 260MB
Dec 12 23:23:12 Starting semantics
Dec 12 23:26:13 Finished semantics                                             3m00s   1GB
Dec 12 23:26:13 Starting semantics/proofs
Dec 12 23:33:14 Finished semantics/proofs                                      7m00s   1GB
Dec 12 23:33:15 Starting semantics/alt_semantics
Dec 12 23:33:33 Finished semantics/alt_semantics                                 17s 310MB
Dec 12 23:33:33 Starting semantics/alt_semantics/proofs
Dec 12 23:37:43 Finished semantics/alt_semantics/proofs                        4m09s 846MB
Dec 12 23:37:43 Starting basis/pure
Dec 12 23:43:34 Finished basis/pure                                            5m50s 737MB
Dec 12 23:43:34 Starting translator
Dec 12 23:48:46 Finished translator                                            5m11s   1GB
Dec 12 23:48:46 Starting compiler/parsing
Dec 12 23:51:07 Finished compiler/parsing                                      2m20s   2GB
Dec 12 23:51:07 Starting characteristic
Dec 13 00:02:55 Finished characteristic                                       11m47s   2GB
Dec 13 00:02:55 Starting translator/monadic
Dec 13 00:06:03 Finished translator/monadic                                    3m07s   1GB
Dec 13 00:06:03 Starting basis
Dec 13 01:14:37 Finished basis                                              1h08m33s  11GB
Dec 13 01:14:37 Starting compiler/inference
Dec 13 01:18:38 Finished compiler/inference                                    4m00s   1GB
Dec 13 01:18:38 Starting compiler/backend/reg_alloc
Dec 13 01:20:32 Finished compiler/backend/reg_alloc                            1m53s   1GB
Dec 13 01:20:33 Starting compiler/backend/gc
Dec 13 01:26:52 Finished compiler/backend/gc                                   6m19s   1GB
Dec 13 01:26:52 Starting compiler/backend
Dec 13 01:34:02 Finished compiler/backend                                      7m10s   2GB
Dec 13 01:34:03 Starting compiler/encoders/asm
Dec 13 01:34:47 Finished compiler/encoders/asm                                   44s 823MB
Dec 13 01:34:48 Starting compiler/encoders/x64
Dec 13 01:36:49 Finished compiler/encoders/x64                                 2m01s 625MB
Dec 13 01:36:49 Starting compiler/encoders/arm7
Dec 13 01:40:54 Finished compiler/encoders/arm7                                4m04s   1GB
Dec 13 01:40:54 Starting compiler/encoders/arm8
Dec 13 01:42:03 Finished compiler/encoders/arm8                                1m08s 665MB
Dec 13 01:42:03 Starting compiler/encoders/mips
Dec 13 01:44:53 Finished compiler/encoders/mips                                2m49s 955MB
Dec 13 01:44:54 Starting compiler/encoders/riscv
Dec 13 01:47:50 Finished compiler/encoders/riscv                               2m56s 810MB
Dec 13 01:47:50 Starting compiler/encoders/ag32
Dec 13 01:48:28 Finished compiler/encoders/ag32                                  37s 524MB
Dec 13 01:48:28 Starting compiler/backend/x64
Dec 13 01:49:07 Finished compiler/backend/x64                                    38s   1GB
Dec 13 01:49:07 Starting compiler/backend/arm7
Dec 13 01:49:47 Finished compiler/backend/arm7                                   39s   1GB
Dec 13 01:49:47 Starting compiler/backend/arm8
Dec 13 01:50:26 Finished compiler/backend/arm8                                   39s   1GB
Dec 13 01:50:27 Starting compiler/backend/mips
Dec 13 01:51:06 Finished compiler/backend/mips                                   39s   1GB
Dec 13 01:51:06 Starting compiler/backend/riscv
Dec 13 01:51:45 Finished compiler/backend/riscv                                  38s   1GB
Dec 13 01:51:45 Starting compiler/backend/ag32
Dec 13 01:54:05 Finished compiler/backend/ag32                                 2m19s   1GB
Dec 13 01:54:05 Starting compiler/parsing/proofs
Dec 13 02:06:23 Finished compiler/parsing/proofs                              12m17s   1GB
Dec 13 02:06:23 Starting compiler/inference/proofs
Dec 13 02:12:37 Finished compiler/inference/proofs                             6m14s   1GB
Dec 13 02:12:38 Starting compiler/backend/semantics
Dec 13 03:09:54 Finished compiler/backend/semantics                           57m15s   2GB
Dec 13 03:09:55 Starting compiler/backend/reg_alloc/proofs
Dec 13 03:17:02 Finished compiler/backend/reg_alloc/proofs                     7m06s 905MB
Dec 13 03:17:02 Starting compiler/backend/proofs
Dec 13 05:14:10 Finished compiler/backend/proofs                            1h57m07s  12GB
Dec 13 05:14:10 Starting compiler/encoders/x64/proofs
Dec 13 05:34:53 Finished compiler/encoders/x64/proofs                         20m42s   4GB
Dec 13 05:34:53 Starting compiler/encoders/arm7/proofs
Dec 13 06:02:18 Finished compiler/encoders/arm7/proofs                        27m24s   5GB
Dec 13 06:02:18 Starting compiler/encoders/arm8/proofs
Dec 13 06:16:35 Finished compiler/encoders/arm8/proofs                        14m16s   1GB
Dec 13 06:16:35 Starting compiler/encoders/mips/proofs
Dec 13 06:37:53 Finished compiler/encoders/mips/proofs                        21m17s   2GB
Dec 13 06:37:53 Starting compiler/encoders/riscv/proofs
Dec 13 06:56:55 Finished compiler/encoders/riscv/proofs                       19m01s   1GB
Dec 13 06:56:55 Starting compiler/encoders/ag32/proofs
Dec 13 07:02:17 Finished compiler/encoders/ag32/proofs                         5m22s 909MB
Dec 13 07:02:17 Starting compiler/backend/x64/proofs
Dec 13 07:03:02 Finished compiler/backend/x64/proofs                             44s 959MB
Dec 13 07:03:02 Starting compiler/backend/arm7/proofs
Dec 13 07:03:41 Finished compiler/backend/arm7/proofs                            39s   1GB
Dec 13 07:03:41 Starting compiler/backend/arm8/proofs
Dec 13 07:04:19 Finished compiler/backend/arm8/proofs                            37s   1GB
Dec 13 07:04:20 Starting compiler/backend/mips/proofs
Dec 13 07:05:00 Finished compiler/backend/mips/proofs                            40s   1GB
Dec 13 07:05:01 Starting compiler/backend/riscv/proofs
Dec 13 07:05:42 Finished compiler/backend/riscv/proofs                           41s   1GB
Dec 13 07:05:43 Starting compiler/backend/ag32/proofs
Dec 13 07:25:16 Finished compiler/backend/ag32/proofs                         19m32s   2GB
Dec 13 07:25:16 Starting compiler/proofs
Dec 13 07:29:03 Finished compiler/proofs                                       3m47s   3GB
Dec 13 07:29:04 Starting candle/set-theory
Dec 13 07:29:59 Finished candle/set-theory                                       55s 698MB
Dec 13 07:29:59 Starting candle/syntax-lib
Dec 13 07:30:20 Finished candle/syntax-lib                                       20s 667MB
Dec 13 07:30:20 Starting candle/standard/syntax
Dec 13 07:34:01 Finished candle/standard/syntax                                3m40s   1GB
Dec 13 07:34:01 Starting candle/standard/semantics
Dec 13 07:37:36 Finished candle/standard/semantics                             3m35s   1GB
Dec 13 07:37:37 Starting candle/standard/monadic
Dec 13 07:40:58 Finished candle/standard/monadic                               3m21s   1GB
Dec 13 07:40:58 Starting candle/standard/ml_kernel
Dec 13 07:51:52 Finished candle/standard/ml_kernel                            10m53s   3GB
Dec 13 07:51:52 Starting candle/standard/opentheory
Dec 13 08:11:40 Finished candle/standard/opentheory                           19m47s   4GB
Dec 13 08:11:40 Starting candle/standard/opentheory/compilation
Dec 13 09:14:45 Finished candle/standard/opentheory/compilation             1h03m05s  13GB
Dec 13 09:14:46 Starting candle/standard/opentheory/compilation/proofs
Dec 13 09:16:21 Finished candle/standard/opentheory/compilation/proofs         1m35s   3GB
Dec 13 09:16:21 Starting characteristic/examples
Dec 13 09:19:28 Finished characteristic/examples                               3m06s   2GB
Dec 13 09:19:28 Starting tutorial/solutions
Dec 13 09:48:53 Finished tutorial/solutions                                   29m25s   7GB
Dec 13 09:48:54 Starting translator/monadic/examples
Dec 13 09:53:59 Finished translator/monadic/examples                           5m05s   2GB
Dec 13 09:54:00 Starting examples
Dec 13 10:09:58 Finished examples                                             15m58s   4GB
Dec 13 10:09:58 Starting examples/compilation/x64
Dec 13 14:42:40 Finished examples/compilation/x64                           4h32m40s  20GB
Dec 13 14:42:40 Starting examples/compilation/x64/proofs
Dec 13 14:46:12 Finished examples/compilation/x64/proofs                       3m32s   2GB
Dec 13 14:46:13 Starting examples/compilation/ag32
Dec 13 15:51:34 Finished examples/compilation/ag32                          1h05m21s   6GB
Dec 13 15:51:34 Starting examples/compilation/ag32/proofs
Dec 13 15:53:02 Finished examples/compilation/ag32/proofs                      1m27s   3GB
Dec 13 15:53:03 Starting examples/cost
Dec 13 16:48:12 Finished examples/cost                                        55m09s  12GB
Dec 13 16:48:12 Starting examples/lrat_checker
Dec 13 16:55:15 Finished examples/lrat_checker                                 7m02s   2GB
Dec 13 16:55:15 Starting examples/lrat_checker/compilation
Dec 13 17:24:39 Finished examples/lrat_checker/compilation                    29m24s   8GB
Dec 13 17:24:40 Starting examples/lrat_checker/compilation/proofs
Dec 13 17:26:26 Finished examples/lrat_checker/compilation/proofs              1m46s   2GB
Dec 13 17:26:27 Starting examples/lrat_checker/array
Dec 13 17:39:45 Finished examples/lrat_checker/array                          13m18s   3GB
Dec 13 17:39:45 Starting examples/lrat_checker/array/compilation
Dec 13 18:10:40 Finished examples/lrat_checker/array/compilation              30m54s   6GB
Dec 13 18:10:40 Starting examples/lrat_checker/array/compilation/proofs
Dec 13 18:11:58 Finished examples/lrat_checker/array/compilation/proofs        1m17s   2GB
Dec 13 18:11:58 Starting translator/okasaki-examples
Dec 13 18:20:24 Finished translator/okasaki-examples                           8m26s   2GB
Dec 13 18:20:24 Starting translator/other-examples
Dec 13 18:23:56 Finished translator/other-examples                             3m31s   1GB
Dec 13 18:23:56 Starting compiler/parsing/tests
Dec 13 18:24:50 Finished compiler/parsing/tests                                  53s 564MB
Dec 13 18:24:50 Starting compiler/inference/tests
Dec 13 18:33:34 Finished compiler/inference/tests                              8m43s   3GB
Dec 13 18:33:34 Starting compiler/bootstrap/translation
Dec 14 01:40:36 Finished compiler/bootstrap/translation                     7h07m01s  44GB
Dec 14 01:40:36 Starting unverified/sexpr-bootstrap/x64/64
Dec 14 02:08:07 Finished unverified/sexpr-bootstrap/x64/64                    27m30s   7GB
Dec 14 02:08:07 Starting unverified/sexpr-bootstrap/x64/32
Dec 14 02:28:38 Finished unverified/sexpr-bootstrap/x64/32                    20m30s   6GB
Dec 14 02:28:38 Starting compiler/benchmarks
Dec 14 02:28:42 Finished compiler/benchmarks                                      3s  33MB
Dec 14 02:28:42 Starting compiler/bootstrap/compilation/x64/64
Dec 15 05:05:58 Finished compiler/bootstrap/compilation/x64/64             26h37m14s 109GB
Dec 15 05:05:58 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 15 05:10:48 Finished compiler/bootstrap/compilation/x64/64/proofs          4m50s  14GB
Dec 15 05:10:49 Starting compiler/bootstrap/compilation/x64/32
Dec 16 05:56:53 Finished compiler/bootstrap/compilation/x64/32             24h46m03s 111GB
Dec 16 05:56:53 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 16 06:01:17 Finished compiler/bootstrap/compilation/x64/32/proofs          4m23s  12GB
Dec 16 06:01:17 Starting compiler/bootstrap/compilation/ag32/32
Dec 17 08:31:16 Finished compiler/bootstrap/compilation/ag32/32            26h29m58s 110GB
Dec 17 08:31:17 Starting compiler/bootstrap/compilation/ag32/32/proofs
Dec 17 08:57:19 Finished compiler/bootstrap/compilation/ag32/32/proofs        26m02s  52GB
Dec 17 08:57:19 SUCCESS