Job 1167

CakeML:d3a554085b120c6b42ab2ddc5f42950a6cb8efe9
  Fix LPR array version for toSortedAList change [Jan 27 19:22:03]
#720 (flat-to-clos)
Merging into:3d28c489453fa89e98bc364190bb20380bbb184b
  Be more specific about PolyML version [Jan 24 14:50:33]
HOL:b219f4bb4132ea21f42769a8edf7e3abde4cc48d
  emacs-mode: some indentation tweaks [Jan 22 06:44:58]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jan 27 19:22:34 Claimed job
Jan 27 19:22:37 Reusing HOL
Jan 27 19:22:43 Starting developers
Jan 27 19:22:46 Finished developers                                               2s 117MB
Jan 27 19:22:46 Starting developers/bin
Jan 27 19:22:53 Finished developers/bin                                           6s   1GB
Jan 27 19:22:53 Starting semantics/ffi
Jan 27 19:23:01 Finished semantics/ffi                                            8s 233MB
Jan 27 19:23:01 Starting semantics
Jan 27 19:24:18 Finished semantics                                             1m16s   1GB
Jan 27 19:24:18 Starting semantics/proofs
Jan 27 19:27:31 Finished semantics/proofs                                      3m12s   1GB
Jan 27 19:27:31 Starting semantics/alt_semantics
Jan 27 19:27:38 Finished semantics/alt_semantics                                  6s 320MB
Jan 27 19:27:38 Starting semantics/alt_semantics/proofs
Jan 27 19:29:38 Finished semantics/alt_semantics/proofs                        2m00s 825MB
Jan 27 19:29:38 Starting basis/pure
Jan 27 19:30:27 Finished basis/pure                                              47s 944MB
Jan 27 19:30:27 Starting translator
Jan 27 19:32:56 Finished translator                                            2m29s   1GB
Jan 27 19:32:56 Starting compiler/parsing
Jan 27 19:34:02 Finished compiler/parsing                                      1m06s   2GB
Jan 27 19:34:03 Starting characteristic
Jan 27 19:39:36 Finished characteristic                                        5m32s   1GB
Jan 27 19:39:36 Starting translator/monadic
Jan 27 19:41:07 Finished translator/monadic                                    1m30s   1GB
Jan 27 19:41:07 Starting basis
Jan 27 20:13:29 Finished basis                                                32m21s  11GB
Jan 27 20:13:29 Starting compiler/inference
Jan 27 20:15:30 Finished compiler/inference                                    2m01s   3GB
Jan 27 20:15:31 Starting compiler/backend/reg_alloc
Jan 27 20:16:31 Finished compiler/backend/reg_alloc                            1m00s   1GB
Jan 27 20:16:31 Starting compiler/backend/gc
Jan 27 20:19:34 Finished compiler/backend/gc                                   3m02s   1GB
Jan 27 20:19:34 Starting compiler/backend
Jan 27 20:23:54 Finished compiler/backend                                      4m20s   3GB
Jan 27 20:23:55 Starting compiler/encoders/asm
Jan 27 20:24:15 Finished compiler/encoders/asm                                   20s 910MB
Jan 27 20:24:16 Starting compiler/encoders/x64
Jan 27 20:24:39 Finished compiler/encoders/x64                                   23s 943MB
Jan 27 20:24:39 Starting compiler/encoders/arm7
Jan 27 20:25:25 Finished compiler/encoders/arm7                                  45s 966MB
Jan 27 20:25:25 Starting compiler/encoders/arm8
Jan 27 20:25:37 Finished compiler/encoders/arm8                                  12s 535MB
Jan 27 20:25:38 Starting compiler/encoders/mips
Jan 27 20:25:53 Finished compiler/encoders/mips                                  15s 785MB
Jan 27 20:25:53 Starting compiler/encoders/riscv
Jan 27 20:26:08 Finished compiler/encoders/riscv                                 14s 726MB
Jan 27 20:26:08 Starting compiler/encoders/ag32
Jan 27 20:26:24 Finished compiler/encoders/ag32                                  15s 803MB
Jan 27 20:26:24 Starting compiler/backend/x64
Jan 27 20:26:42 Finished compiler/backend/x64                                    17s 907MB
Jan 27 20:26:42 Starting compiler/backend/arm7
Jan 27 20:27:01 Finished compiler/backend/arm7                                   19s   1GB
Jan 27 20:27:02 Starting compiler/backend/arm8
Jan 27 20:27:19 Finished compiler/backend/arm8                                   17s   1GB
Jan 27 20:27:19 Starting compiler/backend/mips
Jan 27 20:27:38 Finished compiler/backend/mips                                   18s   1GB
Jan 27 20:27:38 Starting compiler/backend/riscv
Jan 27 20:27:56 Finished compiler/backend/riscv                                  17s   1GB
Jan 27 20:27:56 Starting compiler/backend/ag32
Jan 27 20:29:02 Finished compiler/backend/ag32                                 1m05s   1GB
Jan 27 20:29:02 Starting compiler/parsing/proofs
Jan 27 20:34:40 Finished compiler/parsing/proofs                               5m37s 981MB
Jan 27 20:34:40 Starting compiler/inference/proofs
Jan 27 20:37:30 Finished compiler/inference/proofs                             2m49s 890MB
Jan 27 20:37:30 Starting compiler/backend/semantics
Jan 27 21:04:24 Finished compiler/backend/semantics                           26m53s   2GB
Jan 27 21:04:24 Starting compiler/backend/reg_alloc/proofs
Jan 27 21:07:41 Finished compiler/backend/reg_alloc/proofs                     3m17s   1GB
Jan 27 21:07:41 Starting compiler/backend/proofs
Jan 27 22:08:54 Finished compiler/backend/proofs                            1h01m12s  23GB
Jan 27 22:08:54 Starting compiler/encoders/x64/proofs
Jan 27 22:18:04 Finished compiler/encoders/x64/proofs                          9m09s   4GB
Jan 27 22:18:04 Starting compiler/encoders/arm7/proofs
Jan 27 22:30:23 Finished compiler/encoders/arm7/proofs                        12m18s   3GB
Jan 27 22:30:24 Starting compiler/encoders/arm8/proofs
Jan 27 22:36:43 Finished compiler/encoders/arm8/proofs                         6m19s   1GB
Jan 27 22:36:43 Starting compiler/encoders/mips/proofs
Jan 27 22:46:16 Finished compiler/encoders/mips/proofs                         9m33s   2GB
Jan 27 22:46:17 Starting compiler/encoders/riscv/proofs
Jan 27 22:54:34 Finished compiler/encoders/riscv/proofs                        8m17s   1GB
Jan 27 22:54:34 Starting compiler/encoders/ag32/proofs
Jan 27 22:56:59 Finished compiler/encoders/ag32/proofs                         2m24s 651MB
Jan 27 22:57:00 Starting compiler/backend/x64/proofs
Jan 27 22:57:19 Finished compiler/backend/x64/proofs                             19s   1GB
Jan 27 22:57:19 Starting compiler/backend/arm7/proofs
Jan 27 22:57:38 Finished compiler/backend/arm7/proofs                            19s   1GB
Jan 27 22:57:39 Starting compiler/backend/arm8/proofs
Jan 27 22:57:57 Finished compiler/backend/arm8/proofs                            18s   1GB
Jan 27 22:57:57 Starting compiler/backend/mips/proofs
Jan 27 22:58:16 Finished compiler/backend/mips/proofs                            19s   1GB
Jan 27 22:58:17 Starting compiler/backend/riscv/proofs
Jan 27 22:58:35 Finished compiler/backend/riscv/proofs                           18s   1GB
Jan 27 22:58:36 Starting compiler/backend/ag32/proofs
Jan 27 23:11:02 Finished compiler/backend/ag32/proofs                         12m26s   2GB
Jan 27 23:11:02 Starting compiler/proofs
Jan 27 23:12:31 Finished compiler/proofs                                       1m28s   4GB
Jan 27 23:12:31 Starting candle/set-theory
Jan 27 23:12:57 Finished candle/set-theory                                       25s 807MB
Jan 27 23:12:57 Starting candle/syntax-lib
Jan 27 23:13:07 Finished candle/syntax-lib                                        9s 609MB
Jan 27 23:13:07 Starting candle/standard/syntax
Jan 27 23:14:50 Finished candle/standard/syntax                                1m42s   1GB
Jan 27 23:14:50 Starting candle/standard/semantics
Jan 27 23:16:27 Finished candle/standard/semantics                             1m36s   1GB
Jan 27 23:16:27 Starting candle/standard/monadic
Jan 27 23:18:01 Finished candle/standard/monadic                               1m33s   1GB
Jan 27 23:18:01 Starting candle/standard/ml_kernel
Jan 27 23:23:02 Finished candle/standard/ml_kernel                             5m00s   4GB
Jan 27 23:23:02 Starting candle/standard/opentheory
Jan 27 23:32:05 Finished candle/standard/opentheory                            9m02s   4GB
Jan 27 23:32:05 Starting candle/standard/opentheory/compilation
Jan 28 00:03:26 Finished candle/standard/opentheory/compilation               31m20s  17GB
Jan 28 00:03:26 Starting candle/standard/opentheory/compilation/proofs
Jan 28 00:04:03 Finished candle/standard/opentheory/compilation/proofs           37s   2GB
Jan 28 00:04:03 Starting characteristic/examples
Jan 28 00:05:33 Finished characteristic/examples                               1m29s   2GB
Jan 28 00:05:33 Starting tutorial/solutions
Jan 28 00:19:46 Finished tutorial/solutions                                   14m13s   7GB
Jan 28 00:19:46 Starting translator/monadic/examples
Jan 28 00:22:38 Finished translator/monadic/examples                           2m51s   2GB
Jan 28 00:22:38 Starting examples
Jan 28 00:31:53 Finished examples                                              9m15s   3GB
Jan 28 00:31:54 Starting examples/compilation/x64
Jan 28 02:45:35 Finished examples/compilation/x64                           2h13m41s  12GB
Jan 28 02:45:35 Starting examples/compilation/x64/proofs
Jan 28 02:47:12 Finished examples/compilation/x64/proofs                       1m36s   3GB
Jan 28 02:47:12 Starting examples/compilation/ag32
Jan 28 03:17:13 Finished examples/compilation/ag32                            30m01s   7GB
Jan 28 03:17:13 Starting examples/compilation/ag32/proofs
Jan 28 03:17:56 Finished examples/compilation/ag32/proofs                        42s   3GB
Jan 28 03:17:56 Starting examples/cost
Jan 28 03:58:39 Finished examples/cost                                        40m42s   7GB
Jan 28 03:58:39 Starting examples/lpr_checker
Jan 28 04:02:17 Finished examples/lpr_checker                                  3m37s   4GB
Jan 28 04:02:17 Starting examples/lpr_checker/compilation
Jan 28 04:24:52 Finished examples/lpr_checker/compilation                     22m35s   8GB
Jan 28 04:24:52 Starting examples/lpr_checker/compilation/proofs
Jan 28 04:26:05 Finished examples/lpr_checker/compilation/proofs               1m12s   2GB
Jan 28 04:26:05 Starting examples/lpr_checker/array
Jan 28 04:39:57 Finished examples/lpr_checker/array                           13m51s   2GB
Jan 28 04:39:57 Starting examples/lpr_checker/array/compilation
Jan 28 05:02:01 Finished examples/lpr_checker/array/compilation               22m04s   9GB
Jan 28 05:02:01 Starting examples/lpr_checker/array/compilation/proofs
Jan 28 05:02:48 Finished examples/lpr_checker/array/compilation/proofs           46s   2GB
Jan 28 05:02:48 Starting translator/okasaki-examples
Jan 28 05:07:50 Finished translator/okasaki-examples                           5m02s   1GB
Jan 28 05:07:50 Starting translator/other-examples
Jan 28 05:10:22 Finished translator/other-examples                             2m32s   1GB
Jan 28 05:10:23 Starting compiler/parsing/tests
Jan 28 05:10:55 Finished compiler/parsing/tests                                  31s 580MB
Jan 28 05:10:55 Starting compiler/inference/tests
Jan 28 05:15:58 Finished compiler/inference/tests                              5m03s   3GB
Jan 28 05:15:58 Starting compiler/bootstrap/translation
Jan 28 08:49:28 Finished compiler/bootstrap/translation                     3h33m29s  36GB
Jan 28 08:49:28 Starting unverified/sexpr-bootstrap/x64/64
Jan 28 09:04:47 Finished unverified/sexpr-bootstrap/x64/64                    15m19s   8GB
Jan 28 09:04:47 Starting unverified/sexpr-bootstrap/x64/32
Jan 28 09:15:39 Finished unverified/sexpr-bootstrap/x64/32                    10m51s   9GB
Jan 28 09:15:39 Starting compiler/benchmarks
Jan 28 09:54:35 Finished compiler/benchmarks                                  38m55s   2GB
Jan 28 09:54:35 Starting compiler/bootstrap/compilation/x64/64
Jan 29 00:38:14 Finished compiler/bootstrap/compilation/x64/64             14h43m38s  64GB
Jan 29 00:38:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 29 00:42:16 Finished compiler/bootstrap/compilation/x64/64/proofs          4m01s  16GB
Jan 29 00:42:16 Starting compiler/bootstrap/compilation/x64/32
Jan 29 13:26:15 Finished compiler/bootstrap/compilation/x64/32             12h43m58s  64GB
Jan 29 13:26:15 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 29 13:29:59 Finished compiler/bootstrap/compilation/x64/32/proofs          3m43s  16GB
Jan 29 13:29:59 Starting compiler/bootstrap/compilation/ag32/32
Jan 30 04:22:00 Finished compiler/bootstrap/compilation/ag32/32            14h52m01s  64GB
Jan 30 04:22:00 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 30 04:39:51 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m50s  32GB
Jan 30 04:39:52 SUCCESS