Job 1170

CakeML:645918a49a32e6c315e76a619e2e4caec771d7dc
  Merge remote-tracking branch 'origin/master' into exit_stderr [Jan 28 15:15:50]
#721 (exit_stderr)
Merging into:f5a25c5d9d40fd662f315884de78595f5aadbb2c
  Merge pull request #720 from CakeML/flat-to-clos [Jan 28 11:02:01]
HOL:b219f4bb4132ea21f42769a8edf7e3abde4cc48d
  emacs-mode: some indentation tweaks [Jan 22 06:44:58]
Machine:oven3 4.19.67.1.amd64-smp

Jan 28 15:24:15 Claimed job
Jan 28 15:24:19 Reusing HOL
Jan 28 15:25:31 Starting developers
Jan 28 15:25:38 Finished developers                                               7s  96MB
Jan 28 15:25:38 Starting developers/bin
Jan 28 15:25:54 Finished developers/bin                                          15s   1GB
Jan 28 15:25:54 Starting semantics/ffi
Jan 28 15:26:17 Finished semantics/ffi                                           22s 259MB
Jan 28 15:26:17 Starting semantics
Jan 28 15:29:00 Finished semantics                                             2m42s   1GB
Jan 28 15:29:00 Starting semantics/proofs
Jan 28 15:35:55 Finished semantics/proofs                                      6m54s   1GB
Jan 28 15:35:55 Starting semantics/alt_semantics
Jan 28 15:36:14 Finished semantics/alt_semantics                                 18s 295MB
Jan 28 15:36:14 Starting semantics/alt_semantics/proofs
Jan 28 15:40:39 Finished semantics/alt_semantics/proofs                        4m24s   1GB
Jan 28 15:40:39 Starting basis/pure
Jan 28 15:42:21 Finished basis/pure                                            1m41s 969MB
Jan 28 15:42:21 Starting translator
Jan 28 15:47:43 Finished translator                                            5m22s   1GB
Jan 28 15:47:43 Starting compiler/parsing
Jan 28 15:50:00 Finished compiler/parsing                                      2m16s   3GB
Jan 28 15:50:00 Starting characteristic
Jan 28 16:02:23 Finished characteristic                                       12m22s   2GB
Jan 28 16:02:23 Starting translator/monadic
Jan 28 16:05:33 Finished translator/monadic                                    3m09s   1GB
Jan 28 16:05:33 Starting basis
Jan 28 17:15:12 Finished basis                                              1h09m38s  18GB
Jan 28 17:15:12 Starting compiler/inference
Jan 28 17:19:39 Finished compiler/inference                                    4m27s   3GB
Jan 28 17:19:39 Starting compiler/backend/reg_alloc
Jan 28 17:21:31 Finished compiler/backend/reg_alloc                            1m51s   1GB
Jan 28 17:21:31 Starting compiler/backend/gc
Jan 28 17:27:36 Finished compiler/backend/gc                                   6m05s   1GB
Jan 28 17:27:36 Starting compiler/backend
Jan 28 17:35:58 Finished compiler/backend                                      8m21s   3GB
Jan 28 17:35:58 Starting compiler/encoders/asm
Jan 28 17:36:44 Finished compiler/encoders/asm                                   46s 724MB
Jan 28 17:36:45 Starting compiler/encoders/x64
Jan 28 17:37:39 Finished compiler/encoders/x64                                   54s 771MB
Jan 28 17:37:40 Starting compiler/encoders/arm7
Jan 28 17:39:24 Finished compiler/encoders/arm7                                1m43s 762MB
Jan 28 17:39:24 Starting compiler/encoders/arm8
Jan 28 17:39:52 Finished compiler/encoders/arm8                                  27s 878MB
Jan 28 17:39:52 Starting compiler/encoders/mips
Jan 28 17:40:29 Finished compiler/encoders/mips                                  37s 973MB
Jan 28 17:40:30 Starting compiler/encoders/riscv
Jan 28 17:40:59 Finished compiler/encoders/riscv                                 29s 823MB
Jan 28 17:41:00 Starting compiler/encoders/ag32
Jan 28 17:41:40 Finished compiler/encoders/ag32                                  39s 671MB
Jan 28 17:41:40 Starting compiler/backend/x64
Jan 28 17:42:19 Finished compiler/backend/x64                                    38s 887MB
Jan 28 17:42:19 Starting compiler/backend/arm7
Jan 28 17:43:00 Finished compiler/backend/arm7                                   41s   1GB
Jan 28 17:43:01 Starting compiler/backend/arm8
Jan 28 17:43:41 Finished compiler/backend/arm8                                   40s   1GB
Jan 28 17:43:41 Starting compiler/backend/mips
Jan 28 17:44:22 Finished compiler/backend/mips                                   40s   1GB
Jan 28 17:44:22 Starting compiler/backend/riscv
Jan 28 17:45:03 Finished compiler/backend/riscv                                  41s   1GB
Jan 28 17:45:03 Starting compiler/backend/ag32
Jan 28 17:47:27 Finished compiler/backend/ag32                                 2m23s   1GB
Jan 28 17:47:27 Starting compiler/parsing/proofs
Jan 28 17:59:57 Finished compiler/parsing/proofs                              12m29s   1GB
Jan 28 17:59:57 Starting compiler/inference/proofs
Jan 28 18:06:23 Finished compiler/inference/proofs                             6m25s   2GB
Jan 28 18:06:23 Starting compiler/backend/semantics
Jan 28 19:04:19 Finished compiler/backend/semantics                           57m55s   1GB
Jan 28 19:04:19 Starting compiler/backend/reg_alloc/proofs
Jan 28 19:11:39 Finished compiler/backend/reg_alloc/proofs                     7m19s   1GB
Jan 28 19:11:39 Starting compiler/backend/proofs
Jan 28 21:12:17 Finished compiler/backend/proofs                            2h00m37s  20GB
Jan 28 21:12:17 Starting compiler/encoders/x64/proofs
Jan 28 21:32:46 Finished compiler/encoders/x64/proofs                         20m28s   5GB
Jan 28 21:32:46 Starting compiler/encoders/arm7/proofs
Jan 28 22:01:04 Finished compiler/encoders/arm7/proofs                        28m17s   3GB
Jan 28 22:01:05 Starting compiler/encoders/arm8/proofs
Jan 28 22:15:15 Finished compiler/encoders/arm8/proofs                        14m10s   1GB
Jan 28 22:15:15 Starting compiler/encoders/mips/proofs
Jan 28 22:35:46 Finished compiler/encoders/mips/proofs                        20m30s   2GB
Jan 28 22:35:46 Starting compiler/encoders/riscv/proofs
Jan 28 22:54:28 Finished compiler/encoders/riscv/proofs                       18m41s   1GB
Jan 28 22:54:28 Starting compiler/encoders/ag32/proofs
Jan 28 22:59:48 Finished compiler/encoders/ag32/proofs                         5m20s 866MB
Jan 28 22:59:48 Starting compiler/backend/x64/proofs
Jan 28 23:00:29 Finished compiler/backend/x64/proofs                             40s 881MB
Jan 28 23:00:29 Starting compiler/backend/arm7/proofs
Jan 28 23:01:12 Finished compiler/backend/arm7/proofs                            43s   1GB
Jan 28 23:01:12 Starting compiler/backend/arm8/proofs
Jan 28 23:02:03 Finished compiler/backend/arm8/proofs                            50s 802MB
Jan 28 23:02:04 Starting compiler/backend/mips/proofs
Jan 28 23:02:48 Finished compiler/backend/mips/proofs                            44s   1GB
Jan 28 23:02:49 Starting compiler/backend/riscv/proofs
Jan 28 23:03:32 Finished compiler/backend/riscv/proofs                           43s   1GB
Jan 28 23:03:32 Starting compiler/backend/ag32/proofs
Jan 28 23:30:46 Finished compiler/backend/ag32/proofs                         27m13s   2GB
Jan 28 23:30:46 Starting compiler/proofs
Jan 28 23:33:54 Finished compiler/proofs                                       3m07s   3GB
Jan 28 23:33:54 Starting candle/set-theory
Jan 28 23:34:50 Finished candle/set-theory                                       55s 824MB
Jan 28 23:34:50 Starting candle/syntax-lib
Jan 28 23:35:13 Finished candle/syntax-lib                                       22s 645MB
Jan 28 23:35:13 Starting candle/standard/syntax
Jan 28 23:38:51 Finished candle/standard/syntax                                3m38s   1GB
Jan 28 23:38:52 Starting candle/standard/semantics
Jan 28 23:42:26 Finished candle/standard/semantics                             3m34s   1GB
Jan 28 23:42:26 Starting candle/standard/monadic
Jan 28 23:45:51 Finished candle/standard/monadic                               3m24s   1GB
Jan 28 23:45:51 Starting candle/standard/ml_kernel
Jan 28 23:56:38 Finished candle/standard/ml_kernel                            10m46s   3GB
Jan 28 23:56:38 Starting candle/standard/opentheory
Jan 29 00:16:21 Finished candle/standard/opentheory                           19m42s   4GB
Jan 29 00:16:22 Starting candle/standard/opentheory/compilation
Jan 29 01:21:22 Finished candle/standard/opentheory/compilation             1h05m00s  16GB
Jan 29 01:21:22 Starting candle/standard/opentheory/compilation/proofs
Jan 29 01:22:44 Finished candle/standard/opentheory/compilation/proofs         1m21s   3GB
Jan 29 01:22:44 Starting characteristic/examples
Jan 29 01:25:52 Finished characteristic/examples                               3m07s   2GB
Jan 29 01:25:52 Starting tutorial/solutions
Jan 29 01:58:22 Finished tutorial/solutions                                   32m29s   5GB
Jan 29 01:58:22 Starting translator/monadic/examples
Jan 29 02:03:25 Finished translator/monadic/examples                           5m02s   2GB
Jan 29 02:03:25 Starting examples
Jan 29 02:19:19 Finished examples                                             15m53s   4GB
Jan 29 02:19:19 Starting examples/compilation/x64
Jan 29 07:07:54 Finished examples/compilation/x64                           4h48m35s  15GB
Jan 29 07:07:55 Starting examples/compilation/x64/proofs
Jan 29 07:10:59 Finished examples/compilation/x64/proofs                       3m04s   3GB
Jan 29 07:10:59 Starting examples/compilation/ag32
Jan 29 08:17:25 Finished examples/compilation/ag32                          1h06m25s   7GB
Jan 29 08:17:25 Starting examples/compilation/ag32/proofs
Jan 29 08:18:53 Finished examples/compilation/ag32/proofs                      1m27s   2GB
Jan 29 08:18:54 Starting examples/cost
Jan 29 09:43:15 Finished examples/cost                                      1h24m20s   6GB
Jan 29 09:43:15 Starting examples/lpr_checker
Jan 29 09:51:04 Finished examples/lpr_checker                                  7m48s   3GB
Jan 29 09:51:04 Starting examples/lpr_checker/compilation
Jan 29 10:23:23 Finished examples/lpr_checker/compilation                     32m18s   8GB
Jan 29 10:23:23 Starting examples/lpr_checker/compilation/proofs
Jan 29 10:24:39 Finished examples/lpr_checker/compilation/proofs               1m15s   3GB
Jan 29 10:24:39 Starting examples/lpr_checker/array
Jan 29 10:45:07 Finished examples/lpr_checker/array                           20m27s   2GB
Jan 29 10:45:07 Starting examples/lpr_checker/array/compilation
Jan 29 11:19:43 Finished examples/lpr_checker/array/compilation               34m35s   7GB
Jan 29 11:19:43 Starting examples/lpr_checker/array/compilation/proofs
Jan 29 11:21:10 Finished examples/lpr_checker/array/compilation/proofs         1m26s   3GB
Jan 29 11:21:10 Starting translator/okasaki-examples
Jan 29 11:29:44 Finished translator/okasaki-examples                           8m33s   1GB
Jan 29 11:29:44 Starting translator/other-examples
Jan 29 11:33:13 Finished translator/other-examples                             3m29s   1GB
Jan 29 11:33:14 Starting compiler/parsing/tests
Jan 29 11:34:12 Finished compiler/parsing/tests                                  58s 718MB
Jan 29 11:34:12 Starting compiler/inference/tests
Jan 29 11:42:52 Finished compiler/inference/tests                              8m39s   3GB
Jan 29 11:42:52 Starting compiler/bootstrap/translation
Jan 29 19:14:37 Finished compiler/bootstrap/translation                     7h31m44s  45GB
Jan 29 19:14:37 Starting unverified/sexpr-bootstrap/x64/64
Jan 29 19:42:26 Finished unverified/sexpr-bootstrap/x64/64                    27m49s  12GB
Jan 29 19:42:26 Starting unverified/sexpr-bootstrap/x64/32
Jan 29 20:03:04 Finished unverified/sexpr-bootstrap/x64/32                    20m37s  11GB
Jan 29 20:03:04 Starting compiler/benchmarks
Jan 29 20:03:08 Finished compiler/benchmarks                                      3s  32MB
Jan 29 20:03:08 Starting compiler/bootstrap/compilation/x64/64
Jan 31 01:46:12 Finished compiler/bootstrap/compilation/x64/64             29h43m03s 113GB
Jan 31 01:46:13 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 31 01:51:54 Finished compiler/bootstrap/compilation/x64/64/proofs          5m41s  25GB
Jan 31 01:51:55 Starting compiler/bootstrap/compilation/x64/32
Feb 01 05:43:47 Finished compiler/bootstrap/compilation/x64/32             27h51m51s 109GB
Feb 01 05:43:47 Starting compiler/bootstrap/compilation/x64/32/proofs
Feb 01 05:48:55 Finished compiler/bootstrap/compilation/x64/32/proofs          5m07s  17GB
Feb 01 05:48:55 Starting compiler/bootstrap/compilation/ag32/32
Feb 02 13:05:13 Finished compiler/bootstrap/compilation/ag32/32            31h16m16s 114GB
Feb 02 13:05:13 Starting compiler/bootstrap/compilation/ag32/32/proofs
Feb 02 13:35:24 Finished compiler/bootstrap/compilation/ag32/32/proofs        30m10s  35GB
Feb 02 13:35:24 SUCCESS