Job 1903

CakeML:8b37aa747cb3f3aa78dd0836a16c49d9ba1808c5
  Merge branch 'master' into Iced_cake [May 17 05:24:31]
#865 (Iced_cake)
Merging into:a986431ac4c37f9c4e3ea55de543535a0b08637c
  Merge pull request #885 from CakeML/caml-pattern-guards [May 16 00:45:00]
HOL:3e0b804ba236d6d7636afa4a315f232b48033e2b
  Fix hol-toggle-trace() when other integer libraries like Arbint is cu [May 18 22:50:35]
Machine:oven3

May 22 23:36:11 Claimed job
May 22 23:36:27 Building HOL
May 22 23:56:54 Starting developers
May 22 23:57:04 Finished developers                                               8s 109MB
May 22 23:57:04 Starting developers/bin
May 22 23:57:17 Finished developers/bin                                          12s   1GB
May 22 23:57:17 Starting semantics/ffi
May 22 23:57:42 Finished semantics/ffi                                           24s 255MB
May 22 23:57:42 Starting semantics
May 23 00:03:05 Finished semantics                                             5m22s   1GB
May 23 00:03:05 Starting semantics/proofs
May 23 00:18:45 Finished semantics/proofs                                     15m39s   1GB
May 23 00:18:45 Starting semantics/alt_semantics
May 23 00:19:43 Finished semantics/alt_semantics                                 56s 551MB
May 23 00:19:43 Starting semantics/alt_semantics/proofs
May 23 00:44:58 Finished semantics/alt_semantics/proofs                       25m14s   1GB
May 23 00:44:58 Starting basis/pure
May 23 00:52:30 Finished basis/pure                                            7m31s 928MB
May 23 00:52:31 Starting translator
May 23 01:00:20 Finished translator                                            7m49s   1GB
May 23 01:00:20 Starting compiler/parsing
May 23 01:03:20 Finished compiler/parsing                                      2m59s   5GB
May 23 01:03:20 Starting characteristic
May 23 01:17:57 Finished characteristic                                       14m36s   2GB
May 23 01:17:57 Starting translator/monadic
May 23 01:22:09 Finished translator/monadic                                    4m12s   1GB
May 23 01:22:10 Starting basis
May 23 03:15:57 Finished basis                                              1h53m46s  16GB
May 23 03:15:57 Starting compiler/inference
May 23 03:19:27 Finished compiler/inference                                    3m29s   1GB
May 23 03:19:27 Starting compiler/backend/reg_alloc
May 23 03:22:40 Finished compiler/backend/reg_alloc                            3m12s   1GB
May 23 03:22:40 Starting compiler/backend/gc
May 23 03:31:20 Finished compiler/backend/gc                                   8m39s   2GB
May 23 03:31:20 Starting compiler/backend
May 23 03:42:30 Finished compiler/backend                                     11m10s   2GB
May 23 03:42:31 Starting compiler/encoders/asm
May 23 03:43:35 Finished compiler/encoders/asm                                 1m04s 769MB
May 23 03:43:36 Starting compiler/encoders/x64
May 23 03:46:09 Finished compiler/encoders/x64                                 2m32s   1GB
May 23 03:46:09 Starting compiler/encoders/arm7
May 23 03:51:23 Finished compiler/encoders/arm7                                5m13s   1GB
May 23 03:51:23 Starting compiler/encoders/arm8
May 23 03:52:57 Finished compiler/encoders/arm8                                1m33s 732MB
May 23 03:52:57 Starting compiler/encoders/arm8_asl
May 23 08:09:59 Finished compiler/encoders/arm8_asl                         4h17m01s  30GB
May 23 08:09:59 Starting compiler/encoders/mips
May 23 08:13:18 Finished compiler/encoders/mips                                3m18s   1GB
May 23 08:13:18 Starting compiler/encoders/riscv
May 23 08:17:12 Finished compiler/encoders/riscv                               3m52s   1GB
May 23 08:17:12 Starting compiler/encoders/ag32
May 23 08:18:01 Finished compiler/encoders/ag32                                  48s 605MB
May 23 08:18:01 Starting compiler/backend/x64
May 23 08:18:50 Finished compiler/backend/x64                                    48s   1GB
May 23 08:18:51 Starting compiler/backend/arm7
May 23 08:19:42 Finished compiler/backend/arm7                                   51s   1GB
May 23 08:19:43 Starting compiler/backend/arm8
May 23 08:20:31 Finished compiler/backend/arm8                                   48s   1GB
May 23 08:20:31 Starting compiler/backend/mips
May 23 08:21:20 Finished compiler/backend/mips                                   48s   1GB
May 23 08:21:20 Starting compiler/backend/riscv
May 23 08:22:15 Finished compiler/backend/riscv                                  54s   1GB
May 23 08:22:15 Starting compiler/backend/ag32
May 23 08:25:12 Finished compiler/backend/ag32                                 2m56s   1GB
May 23 08:25:12 Starting compiler/parsing/proofs
May 23 08:33:35 Finished compiler/parsing/proofs                               8m22s   1GB
May 23 08:33:35 Starting compiler/inference/proofs
May 23 08:39:31 Finished compiler/inference/proofs                             5m55s   1GB
May 23 08:39:31 Starting compiler/backend/semantics
May 23 09:48:27 Finished compiler/backend/semantics                         1h08m55s   2GB
May 23 09:48:27 Starting compiler/backend/reg_alloc/proofs
May 23 09:56:29 Finished compiler/backend/reg_alloc/proofs                     8m01s 833MB
May 23 09:56:30 Starting compiler/backend/proofs
May 23 11:44:25 Finished compiler/backend/proofs                            1h47m54s  16GB
May 23 11:44:25 Starting compiler/backend/serialiser
May 23 11:47:49 Finished compiler/backend/serialiser                           3m23s   2GB
May 23 11:47:49 Starting compiler/encoders/x64/proofs
May 23 12:08:58 Finished compiler/encoders/x64/proofs                         21m08s   4GB
May 23 12:08:59 Starting compiler/encoders/arm7/proofs
May 23 12:38:14 Finished compiler/encoders/arm7/proofs                        29m14s   5GB
May 23 12:38:14 Starting compiler/encoders/arm8/proofs
May 23 12:53:36 Finished compiler/encoders/arm8/proofs                        15m21s   1GB
May 23 12:53:36 Starting compiler/encoders/arm8_asl/proofs
May 23 14:45:57 Finished compiler/encoders/arm8_asl/proofs                  1h52m20s   5GB
May 23 14:45:57 Starting compiler/encoders/mips/proofs
May 23 15:08:43 Finished compiler/encoders/mips/proofs                        22m45s   2GB
May 23 15:08:44 Starting compiler/encoders/riscv/proofs
May 23 15:29:01 Finished compiler/encoders/riscv/proofs                       20m17s   1GB
May 23 15:29:02 Starting compiler/encoders/ag32/proofs
May 23 15:34:48 Finished compiler/encoders/ag32/proofs                         5m46s 928MB
May 23 15:34:48 Starting compiler/backend/x64/proofs
May 23 15:35:50 Finished compiler/backend/x64/proofs                           1m01s   1GB
May 23 15:35:50 Starting compiler/backend/arm7/proofs
May 23 15:36:57 Finished compiler/backend/arm7/proofs                          1m06s   1GB
May 23 15:36:57 Starting compiler/backend/arm8/proofs
May 23 15:38:01 Finished compiler/backend/arm8/proofs                          1m03s   1GB
May 23 15:38:01 Starting compiler/backend/arm8_asl
May 23 15:38:54 Finished compiler/backend/arm8_asl                               52s   1GB
May 23 15:38:54 Starting compiler/backend/mips/proofs
May 23 15:39:56 Finished compiler/backend/mips/proofs                          1m01s   1GB
May 23 15:39:56 Starting compiler/backend/riscv/proofs
May 23 15:40:59 Finished compiler/backend/riscv/proofs                         1m02s   1GB
May 23 15:40:59 Starting compiler/backend/ag32/proofs
May 23 16:11:21 Finished compiler/backend/ag32/proofs                         30m21s   2GB
May 23 16:11:21 Starting compiler/proofs
May 23 16:16:36 Finished compiler/proofs                                       5m14s   3GB
May 23 16:16:36 Starting candle/set-theory
May 23 16:17:47 Finished candle/set-theory                                     1m10s 914MB
May 23 16:17:47 Starting candle/syntax-lib
May 23 16:18:19 Finished candle/syntax-lib                                       31s 647MB
May 23 16:18:20 Starting candle/standard/syntax
May 23 16:22:42 Finished candle/standard/syntax                                4m21s   1GB
May 23 16:22:42 Starting candle/standard/semantics
May 23 16:26:55 Finished candle/standard/semantics                             4m13s   1GB
May 23 16:26:55 Starting candle/standard/monadic
May 23 16:30:58 Finished candle/standard/monadic                               4m02s   1GB
May 23 16:30:59 Starting candle/standard/ml_kernel
May 23 16:44:27 Finished candle/standard/ml_kernel                            13m27s   3GB
May 23 16:44:27 Starting candle/overloading/syntax
May 23 16:51:24 Finished candle/overloading/syntax                             6m57s   1GB
May 23 16:51:25 Starting candle/overloading/semantics
May 23 17:16:59 Finished candle/overloading/semantics                         25m33s   2GB
May 23 17:16:59 Starting candle/overloading/monadic
May 23 17:22:30 Finished candle/overloading/monadic                            5m30s   1GB
May 23 17:22:31 Starting candle/overloading/ml_kernel
May 23 17:37:58 Finished candle/overloading/ml_kernel                         15m27s   3GB
May 23 17:37:59 Starting candle/overloading/ml_checker
May 23 17:43:19 Finished candle/overloading/ml_checker                         5m20s   3GB
May 23 17:43:19 Starting candle/prover
May 23 18:07:05 Finished candle/prover                                        23m45s   2GB
May 23 18:07:05 Starting pancake
May 23 18:14:44 Finished pancake                                               7m38s   3GB
May 23 18:14:44 Starting pancake/ffi
May 23 18:14:45 Finished pancake/ffi                                              0s  32MB
May 23 18:14:45 Starting pancake/semantics
May 23 18:20:19 Finished pancake/semantics                                     5m33s   1GB
May 23 18:20:20 Starting pancake/proofs
May 23 18:46:41 Finished pancake/proofs                                       26m20s   6GB
May 23 18:46:41 Starting characteristic/examples
May 23 18:49:46 Finished characteristic/examples                               3m04s   2GB
May 23 18:49:46 Starting tutorial/solutions
May 23 19:26:43 Finished tutorial/solutions                                   36m56s   9GB
May 23 19:26:43 Starting translator/monadic/examples
May 23 19:33:51 Finished translator/monadic/examples                           7m07s   2GB
May 23 19:33:51 Starting examples
May 23 19:53:24 Finished examples                                             19m32s   4GB
May 23 19:53:25 Starting examples/compilation/x64
May 24 01:31:23 Finished examples/compilation/x64                           5h37m57s  26GB
May 24 01:31:24 Starting examples/compilation/x64/proofs
May 24 01:36:07 Finished examples/compilation/x64/proofs                       4m43s   3GB
May 24 01:36:07 Starting examples/compilation/ag32
May 24 02:54:51 Finished examples/compilation/ag32                          1h18m43s   8GB
May 24 02:54:51 Starting examples/compilation/ag32/proofs
May 24 02:56:46 Finished examples/compilation/ag32/proofs                      1m55s   3GB
May 24 02:56:47 Starting examples/cost
May 24 05:06:29 Finished examples/cost                                      2h09m42s   8GB
May 24 05:06:30 Starting examples/lpr_checker
May 24 05:08:40 Finished examples/lpr_checker                                  2m09s   1GB
May 24 05:08:40 Starting examples/lpr_checker/array
May 24 06:23:42 Finished examples/lpr_checker/array                         1h15m01s   6GB
May 24 06:23:42 Starting examples/lpr_checker/array/compilation
May 24 09:26:05 Finished examples/lpr_checker/array/compilation             3h02m21s  33GB
May 24 09:26:05 Starting examples/lpr_checker/array/compilation/proofs
May 24 09:29:03 Finished examples/lpr_checker/array/compilation/proofs         2m58s   7GB
May 24 09:29:04 Starting examples/opentheory
May 24 09:52:03 Finished examples/opentheory                                  22m59s   4GB
May 24 09:52:03 Starting examples/opentheory
May 24 09:52:06 Finished examples/opentheory                                      2s  32MB
May 24 09:52:06 Starting examples/opentheory/compilation
May 24 11:21:38 Finished examples/opentheory/compilation                    1h29m30s  29GB
May 24 11:21:38 Starting examples/opentheory/compilation/proofs
May 24 11:24:10 Finished examples/opentheory/compilation/proofs                2m32s   3GB
May 24 11:24:10 Starting examples/opentheory/compilation/ag32
May 24 12:47:44 Finished examples/opentheory/compilation/ag32               1h23m33s  29GB
May 24 12:47:44 Starting examples/opentheory/compilation/ag32/proofs
May 24 12:51:41 Finished examples/opentheory/compilation/ag32/proofs           3m56s   6GB
May 24 12:51:41 Starting examples/sat_encodings
May 24 12:56:07 Finished examples/sat_encodings                                4m26s 911MB
May 24 12:56:07 Starting examples/sat_encodings/case_studies
May 24 13:00:05 Finished examples/sat_encodings/case_studies                   3m57s 792MB
May 24 13:00:05 Starting examples/sat_encodings/translation
May 24 13:12:16 Finished examples/sat_encodings/translation                   12m10s   4GB
May 24 13:12:17 Starting examples/sat_encodings/translation/compilation
May 24 14:39:07 Finished examples/sat_encodings/translation/compilation     1h26m50s  22GB
May 24 14:39:07 Starting translator/okasaki-examples
May 24 14:49:28 Finished translator/okasaki-examples                          10m20s   2GB
May 24 14:49:28 Starting translator/other-examples
May 24 14:53:16 Finished translator/other-examples                             3m47s   1GB
May 24 14:53:16 Starting compiler/parsing/tests
May 24 14:54:27 Finished compiler/parsing/tests                                1m10s 622MB
May 24 14:54:27 Starting compiler/inference/tests
May 24 15:11:13 Finished compiler/inference/tests                             16m45s   4GB
May 24 15:11:14 Starting compiler/printing/test
May 24 15:18:46 Finished compiler/printing/test                                7m32s   3GB
May 24 15:18:47 Starting icing/flover
May 24 15:46:49 Finished icing/flover                                         28m02s   1GB
May 24 15:46:49 Starting icing/
May 24 18:02:00 Finished icing/                                             2h15m10s   7GB
May 24 18:02:01 Starting icing/examples
May 24 18:05:08 Finished icing/examples                                        3m06s   6GB
May 24 18:05:08 Starting compiler/repl
May 24 18:33:14 Finished compiler/repl                                        28m05s   8GB
May 24 18:33:14 Starting compiler/bootstrap/translation
May 25 03:49:18 Finished compiler/bootstrap/translation                     9h16m02s  75GB
May 25 03:49:18 Starting unverified/sexpr-bootstrap/x64/64
May 25 04:12:24 Finished unverified/sexpr-bootstrap/x64/64                    23m04s  12GB
May 25 04:12:24 Starting unverified/sexpr-bootstrap/x64/32
May 25 04:31:21 Finished unverified/sexpr-bootstrap/x64/32                    18m56s   9GB
May 25 04:31:21 Starting compiler/benchmarks
May 25 04:31:26 Finished compiler/benchmarks                                      5s  48MB
May 25 04:31:27 Starting compiler/bootstrap/compilation/x64/64
May 26 21:26:06 Finished compiler/bootstrap/compilation/x64/64             40h54m38s  90GB
May 26 21:26:06 Starting compiler/bootstrap/compilation/x64/64/proofs
May 26 22:07:10 Finished compiler/bootstrap/compilation/x64/64/proofs         41m03s  35GB
May 26 22:07:10 Starting compiler/bootstrap/compilation/x64/32
May 28 01:10:07 Finished compiler/bootstrap/compilation/x64/32             27h02m55s  79GB
May 28 01:10:07 Starting compiler/bootstrap/compilation/x64/32/proofs
May 28 01:16:33 Finished compiler/bootstrap/compilation/x64/32/proofs          6m25s  23GB
May 28 01:16:33 Starting compiler/bootstrap/compilation/ag32/32
May 29 10:24:59 Finished compiler/bootstrap/compilation/ag32/32            33h08m25s 110GB
May 29 10:24:59 Starting compiler/bootstrap/compilation/ag32/32/proofs
May 29 10:53:20 Finished compiler/bootstrap/compilation/ag32/32/proofs        28m21s  44GB
May 29 10:53:20 SUCCESS