Job 1123

CakeML:d29bf357dbdbaa184d198c95e059fec4da4ac990
  Merge remote-tracking branch 'origin/match-refactor-2' into data-cost [Dec 12 04:33:50]
#709 (data-cost-bignum)
Merging into:10943f8db35376f05a51dc0c63484da1b62abee6
  Merge pull request #708 from CakeML/lrat [Dec 09 23:25:17]
HOL:f50990559d54c2f85f512df2c49bb6ff132ac113
  Fix TeX-munging for extended string literals [Dec 11 01:04:02]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Dec 12 04:54:47 Claimed job
Dec 12 04:54:53 Building HOL
Dec 12 05:05:14 Starting developers
Dec 12 05:05:18 Finished developers                                               3s 144MB
Dec 12 05:05:18 Starting developers/bin
Dec 12 05:05:24 Finished developers/bin                                           5s 964MB
Dec 12 05:05:24 Starting semantics/ffi
Dec 12 05:05:33 Finished semantics/ffi                                            8s 255MB
Dec 12 05:05:33 Starting semantics
Dec 12 05:06:57 Finished semantics                                             1m23s   1GB
Dec 12 05:06:57 Starting semantics/proofs
Dec 12 05:09:52 Finished semantics/proofs                                      2m55s   1GB
Dec 12 05:09:52 Starting semantics/alt_semantics
Dec 12 05:09:59 Finished semantics/alt_semantics                                  7s 293MB
Dec 12 05:09:59 Starting semantics/alt_semantics/proofs
Dec 12 05:11:52 Finished semantics/alt_semantics/proofs                        1m52s 707MB
Dec 12 05:11:52 Starting basis/pure
Dec 12 05:14:34 Finished basis/pure                                            2m41s 791MB
Dec 12 05:14:34 Starting translator
Dec 12 05:16:52 Finished translator                                            2m17s   1GB
Dec 12 05:16:52 Starting compiler/parsing
Dec 12 05:17:54 Finished compiler/parsing                                      1m02s   2GB
Dec 12 05:17:54 Starting characteristic
Dec 12 05:23:02 Finished characteristic                                        5m07s   2GB
Dec 12 05:23:02 Starting translator/monadic
Dec 12 05:24:30 Finished translator/monadic                                    1m28s   1GB
Dec 12 05:24:30 Starting basis
Dec 12 05:54:48 Finished basis                                                30m18s  13GB
Dec 12 05:54:48 Starting compiler/inference
Dec 12 05:56:32 Finished compiler/inference                                    1m43s   1GB
Dec 12 05:56:32 Starting compiler/backend/reg_alloc
Dec 12 05:57:29 Finished compiler/backend/reg_alloc                              57s   1GB
Dec 12 05:57:29 Starting compiler/backend/gc
Dec 12 06:00:31 Finished compiler/backend/gc                                   3m01s   2GB
Dec 12 06:00:31 Starting compiler/backend
Dec 12 11:21:23 Resuming compiler/backend
Dec 12 11:22:17 Finished compiler/backend                                        53s   1GB
Dec 12 11:22:17 Starting compiler/encoders/asm
Dec 12 11:22:36 Finished compiler/encoders/asm                                   19s 825MB
Dec 12 11:22:36 Starting compiler/encoders/x64
Dec 12 11:23:28 Finished compiler/encoders/x64                                   51s 779MB
Dec 12 11:23:28 Starting compiler/encoders/arm7
Dec 12 11:25:01 Finished compiler/encoders/arm7                                1m32s   1GB
Dec 12 11:25:01 Starting compiler/encoders/arm8
Dec 12 11:25:30 Finished compiler/encoders/arm8                                  29s 551MB
Dec 12 11:25:30 Starting compiler/encoders/mips
Dec 12 11:26:33 Finished compiler/encoders/mips                                1m03s   1GB
Dec 12 11:26:33 Starting compiler/encoders/riscv
Dec 12 11:27:48 Finished compiler/encoders/riscv                               1m15s 852MB
Dec 12 11:27:48 Starting compiler/encoders/ag32
Dec 12 11:28:04 Finished compiler/encoders/ag32                                  15s 823MB
Dec 12 11:28:04 Starting compiler/backend/x64
Dec 12 11:28:21 Finished compiler/backend/x64                                    16s   1GB
Dec 12 11:28:21 Starting compiler/backend/arm7
Dec 12 11:28:38 Finished compiler/backend/arm7                                   17s   1GB
Dec 12 11:28:38 Starting compiler/backend/arm8
Dec 12 11:28:54 Finished compiler/backend/arm8                                   15s   1GB
Dec 12 11:28:54 Starting compiler/backend/mips
Dec 12 11:29:10 Finished compiler/backend/mips                                   16s   1GB
Dec 12 11:29:10 Starting compiler/backend/riscv
Dec 12 11:29:28 Finished compiler/backend/riscv                                  17s   1GB
Dec 12 11:29:28 Starting compiler/backend/ag32
Dec 12 11:30:32 Finished compiler/backend/ag32                                 1m04s   1GB
Dec 12 11:30:32 Starting compiler/parsing/proofs
Dec 12 11:35:58 Finished compiler/parsing/proofs                               5m26s   1GB
Dec 12 11:35:58 Starting compiler/inference/proofs
Dec 12 11:38:38 Finished compiler/inference/proofs                             2m39s 966MB
Dec 12 11:38:38 Starting compiler/backend/semantics
Dec 12 12:03:28 Finished compiler/backend/semantics                           24m49s   2GB
Dec 12 12:03:28 Starting compiler/backend/reg_alloc/proofs
Dec 12 12:06:33 Finished compiler/backend/reg_alloc/proofs                     3m05s 829MB
Dec 12 12:06:34 Starting compiler/backend/proofs
Dec 12 13:01:27 Finished compiler/backend/proofs                              54m53s  24GB
Dec 12 13:01:27 Starting compiler/encoders/x64/proofs
Dec 12 13:10:00 Finished compiler/encoders/x64/proofs                          8m32s   4GB
Dec 12 13:10:00 Starting compiler/encoders/arm7/proofs
Dec 12 13:21:22 Finished compiler/encoders/arm7/proofs                        11m21s   3GB
Dec 12 13:21:22 Starting compiler/encoders/arm8/proofs
Dec 12 13:27:11 Finished compiler/encoders/arm8/proofs                         5m48s   1GB
Dec 12 13:27:11 Starting compiler/encoders/mips/proofs
Dec 12 13:35:57 Finished compiler/encoders/mips/proofs                         8m46s   2GB
Dec 12 13:35:57 Starting compiler/encoders/riscv/proofs
Dec 12 13:43:58 Finished compiler/encoders/riscv/proofs                        8m00s   1GB
Dec 12 13:43:58 Starting compiler/encoders/ag32/proofs
Dec 12 13:46:15 Finished compiler/encoders/ag32/proofs                         2m16s 796MB
Dec 12 13:46:15 Starting compiler/backend/x64/proofs
Dec 12 13:46:32 Finished compiler/backend/x64/proofs                             17s   1GB
Dec 12 13:46:32 Starting compiler/backend/arm7/proofs
Dec 12 13:46:50 Finished compiler/backend/arm7/proofs                            17s   1GB
Dec 12 13:46:50 Starting compiler/backend/arm8/proofs
Dec 12 13:47:06 Finished compiler/backend/arm8/proofs                            16s   1GB
Dec 12 13:47:06 Starting compiler/backend/mips/proofs
Dec 12 13:47:25 Finished compiler/backend/mips/proofs                            18s   1GB
Dec 12 13:47:25 Starting compiler/backend/riscv/proofs
Dec 12 13:47:43 Finished compiler/backend/riscv/proofs                           18s   1GB
Dec 12 13:47:43 Starting compiler/backend/ag32/proofs
Dec 12 13:55:59 Finished compiler/backend/ag32/proofs                          8m15s   2GB
Dec 12 13:55:59 Starting compiler/proofs
Dec 12 13:57:33 Finished compiler/proofs                                       1m33s   3GB
Dec 12 13:57:33 Starting candle/set-theory
Dec 12 13:57:59 Finished candle/set-theory                                       25s 796MB
Dec 12 13:57:59 Starting candle/syntax-lib
Dec 12 13:58:09 Finished candle/syntax-lib                                        9s 685MB
Dec 12 13:58:09 Starting candle/standard/syntax
Dec 12 13:59:48 Finished candle/standard/syntax                                1m39s 893MB
Dec 12 13:59:48 Starting candle/standard/semantics
Dec 12 14:01:22 Finished candle/standard/semantics                             1m33s   1GB
Dec 12 14:01:22 Starting candle/standard/monadic
Dec 12 14:02:51 Finished candle/standard/monadic                               1m28s   1GB
Dec 12 14:02:51 Starting candle/standard/ml_kernel
Dec 12 14:07:36 Finished candle/standard/ml_kernel                             4m44s   3GB
Dec 12 14:07:36 Starting candle/standard/opentheory
Dec 12 14:16:09 Finished candle/standard/opentheory                            8m33s   4GB
Dec 12 14:16:09 Starting candle/standard/opentheory/compilation
Dec 12 14:43:56 Finished candle/standard/opentheory/compilation               27m46s  17GB
Dec 12 14:43:56 Starting candle/standard/opentheory/compilation/proofs
Dec 12 14:44:53 Finished candle/standard/opentheory/compilation/proofs           57s   3GB
Dec 12 14:44:53 Starting characteristic/examples
Dec 12 14:46:17 Finished characteristic/examples                               1m23s   2GB
Dec 12 14:46:17 Starting tutorial/solutions
Dec 12 14:58:48 Finished tutorial/solutions                                   12m31s   6GB
Dec 12 14:58:48 Starting translator/monadic/examples
Dec 12 15:01:32 Finished translator/monadic/examples                           2m43s   3GB
Dec 12 15:01:32 Starting examples
Dec 12 15:09:49 Finished examples                                              8m17s   4GB
Dec 12 15:09:49 Starting examples/compilation/x64
Dec 12 17:08:57 Finished examples/compilation/x64                           1h59m06s  10GB
Dec 12 17:08:57 Starting examples/compilation/x64/proofs
Dec 12 17:10:42 Finished examples/compilation/x64/proofs                       1m45s   2GB
Dec 12 17:10:42 Starting examples/compilation/ag32
Dec 12 17:37:41 Finished examples/compilation/ag32                            26m59s   6GB
Dec 12 17:37:41 Starting examples/compilation/ag32/proofs
Dec 12 17:38:28 Finished examples/compilation/ag32/proofs                        46s   3GB
Dec 12 17:38:28 Starting examples/cost
Dec 12 18:03:08 Finished examples/cost                                        24m40s   9GB
Dec 12 18:03:08 Starting examples/lrat_checker
Dec 12 18:06:21 Finished examples/lrat_checker                                 3m13s   2GB
Dec 12 18:06:21 Starting examples/lrat_checker/compilation
Dec 12 18:20:20 Finished examples/lrat_checker/compilation                    13m58s  10GB
Dec 12 18:20:20 Starting examples/lrat_checker/compilation/proofs
Dec 12 18:21:13 Finished examples/lrat_checker/compilation/proofs                52s   2GB
Dec 12 18:21:13 Starting examples/lrat_checker/array
Dec 12 18:26:50 Finished examples/lrat_checker/array                           5m37s   3GB
Dec 12 18:26:51 Starting examples/lrat_checker/array/compilation
Dec 12 18:39:35 Finished examples/lrat_checker/array/compilation              12m44s   6GB
Dec 12 18:39:35 Starting examples/lrat_checker/array/compilation/proofs
Dec 12 18:40:15 Finished examples/lrat_checker/array/compilation/proofs          40s   2GB
Dec 12 18:40:15 Starting translator/okasaki-examples
Dec 12 18:44:03 Finished translator/okasaki-examples                           3m47s   1GB
Dec 12 18:44:03 Starting translator/other-examples
Dec 12 18:45:45 Finished translator/other-examples                             1m41s   1GB
Dec 12 18:45:45 Starting compiler/parsing/tests
Dec 12 18:46:08 Finished compiler/parsing/tests                                  23s 447MB
Dec 12 18:46:08 Starting compiler/inference/tests
Dec 12 18:50:13 Finished compiler/inference/tests                              4m04s   5GB
Dec 12 18:50:13 Starting compiler/bootstrap/translation
Dec 12 21:58:27 Finished compiler/bootstrap/translation                     3h08m13s  36GB
Dec 12 21:58:27 Starting unverified/sexpr-bootstrap/x64/64
Dec 12 22:11:33 Finished unverified/sexpr-bootstrap/x64/64                    13m06s   3GB
Dec 12 22:11:33 Starting unverified/sexpr-bootstrap/x64/32
Dec 12 22:21:07 Finished unverified/sexpr-bootstrap/x64/32                     9m34s   5GB
Dec 12 22:21:07 Starting compiler/benchmarks
Dec 12 22:21:09 Finished compiler/benchmarks                                      1s  35MB
Dec 12 22:21:09 Starting compiler/bootstrap/compilation/x64/64
Dec 13 11:06:42 Finished compiler/bootstrap/compilation/x64/64             12h45m30s  64GB
Dec 13 11:06:43 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 13 11:10:03 Finished compiler/bootstrap/compilation/x64/64/proofs          3m20s   5GB
Dec 13 11:10:03 Starting compiler/bootstrap/compilation/x64/32
Dec 13 21:28:04 Finished compiler/bootstrap/compilation/x64/32             10h17m58s  64GB
Dec 13 21:28:04 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 13 21:31:58 Finished compiler/bootstrap/compilation/x64/32/proofs          3m54s   5GB
Dec 13 21:31:58 Starting compiler/bootstrap/compilation/ag32/32 Dec 13 21:31:58 2424s