Job 974

CakeML:68085d4f1c55558bfe5c253ae5ab7874ff00130d
  Merge branch 'fp_basis' of github.com:CakeML/cakeml into fp_basis [Jul 31 06:56:47]
#671 (fp_basis)
Merging into:112863b9cb5837f7731f07322f6a70494471f50d
  Merge pull request #674 from CakeML/zero-byte [Jul 28 19:21:00]
HOL:fe1fa42babf09f8e5b6faf1049b95c5ffc023be8
  Fix p/printing bug in handling of indentation around f [Jul 30 04:04:03]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Jul 31 09:43:02 Claimed job
Jul 31 09:43:47 Building HOL
Jul 31 09:51:36 Starting developers
Jul 31 09:51:37 Finished developers                                               0s  21MB
Jul 31 09:51:37 Starting developers/bin
Jul 31 09:52:56 Finished developers/bin                                        1m18s 164MB
Jul 31 09:52:57 Starting semantics/ffi
Jul 31 09:53:30 Finished semantics/ffi                                           32s 315MB
Jul 31 09:53:30 Starting semantics
Jul 31 09:54:59 Finished semantics                                             1m28s   1GB
Jul 31 09:54:59 Starting semantics/proofs
Jul 31 09:57:57 Finished semantics/proofs                                      2m57s   1GB
Jul 31 09:57:57 Starting semantics/alt_semantics
Jul 31 09:58:03 Finished semantics/alt_semantics                                  5s 307MB
Jul 31 09:58:03 Starting semantics/alt_semantics/proofs
Jul 31 09:59:50 Finished semantics/alt_semantics/proofs                        1m46s 730MB
Jul 31 09:59:50 Starting basis/pure
Jul 31 10:03:20 Finished basis/pure                                            3m29s 682MB
Jul 31 10:03:21 Starting translator
Jul 31 10:05:07 Finished translator                                            1m45s   1GB
Jul 31 10:05:07 Starting compiler/parsing
Jul 31 10:06:06 Finished compiler/parsing                                        58s   1GB
Jul 31 10:06:06 Starting characteristic
Jul 31 10:11:14 Finished characteristic                                        5m07s   2GB
Jul 31 10:11:15 Starting translator/monadic
Jul 31 10:12:38 Finished translator/monadic                                    1m22s   1GB
Jul 31 10:12:38 Starting basis
Jul 31 10:30:24 Finished basis                                                17m45s   2GB
Jul 31 10:30:24 Starting compiler/inference
Jul 31 10:32:16 Finished compiler/inference                                    1m51s   1GB
Jul 31 10:32:17 Starting compiler/backend/reg_alloc
Jul 31 10:33:14 Finished compiler/backend/reg_alloc                              57s   1GB
Jul 31 10:33:15 Starting compiler/backend/gc
Jul 31 10:42:12 Finished compiler/backend/gc                                   8m56s   1GB
Jul 31 10:42:12 Starting compiler/backend
Jul 31 10:42:14 Finished compiler/backend                                         0s  43MB
Jul 31 10:42:14 Starting compiler/encoders/asm
Jul 31 10:42:14 Finished compiler/encoders/asm                                    0s  37MB
Jul 31 10:42:15 Starting compiler/encoders/x64
Jul 31 10:43:11 Finished compiler/encoders/x64                                   56s 830MB
Jul 31 10:43:12 Starting compiler/encoders/arm7
Jul 31 10:44:49 Finished compiler/encoders/arm7                                1m37s   1GB
Jul 31 10:44:50 Starting compiler/encoders/arm8
Jul 31 10:45:18 Finished compiler/encoders/arm8                                  28s 573MB
Jul 31 10:45:19 Starting compiler/encoders/mips
Jul 31 10:46:23 Finished compiler/encoders/mips                                1m03s 855MB
Jul 31 10:46:23 Starting compiler/encoders/riscv
Jul 31 10:47:38 Finished compiler/encoders/riscv                               1m15s 864MB
Jul 31 10:47:39 Starting compiler/encoders/ag32
Jul 31 10:47:54 Finished compiler/encoders/ag32                                  14s 620MB
Jul 31 10:47:54 Starting compiler/backend/x64
Jul 31 10:48:10 Finished compiler/backend/x64                                    15s 865MB
Jul 31 10:48:10 Starting compiler/backend/arm7
Jul 31 10:48:27 Finished compiler/backend/arm7                                   16s   1GB
Jul 31 10:48:27 Starting compiler/backend/arm8
Jul 31 10:48:44 Finished compiler/backend/arm8                                   16s   1GB
Jul 31 10:48:44 Starting compiler/backend/mips
Jul 31 10:49:01 Finished compiler/backend/mips                                   16s   1GB
Jul 31 10:49:01 Starting compiler/backend/riscv
Jul 31 10:49:19 Finished compiler/backend/riscv                                  16s   1GB
Jul 31 10:49:19 Starting compiler/backend/ag32
Jul 31 10:50:25 Finished compiler/backend/ag32                                 1m06s 931MB
Jul 31 10:50:26 Starting compiler/parsing/proofs
Jul 31 10:55:58 Finished compiler/parsing/proofs                               5m31s 801MB
Jul 31 10:55:58 Starting compiler/inference/proofs
Jul 31 10:58:36 Finished compiler/inference/proofs                             2m38s 942MB
Jul 31 10:58:37 Starting compiler/backend/semantics
Jul 31 11:05:41 Finished compiler/backend/semantics                            7m03s   1GB
Jul 31 11:05:41 Starting compiler/backend/reg_alloc/proofs
Jul 31 11:08:53 Finished compiler/backend/reg_alloc/proofs                     3m11s   1GB
Jul 31 11:08:53 Starting compiler/backend/proofs
Jul 31 11:47:36 Finished compiler/backend/proofs                              38m42s   3GB
Jul 31 11:47:36 Starting compiler/encoders/x64/proofs
Jul 31 11:57:37 Finished compiler/encoders/x64/proofs                         10m00s   5GB
Jul 31 11:57:38 Starting compiler/encoders/arm7/proofs
Jul 31 12:11:10 Finished compiler/encoders/arm7/proofs                        13m31s   3GB
Jul 31 12:11:10 Starting compiler/encoders/arm8/proofs
Jul 31 12:17:48 Finished compiler/encoders/arm8/proofs                         6m37s   1GB
Jul 31 12:17:49 Starting compiler/encoders/mips/proofs
Jul 31 12:27:36 Finished compiler/encoders/mips/proofs                         9m47s   3GB
Jul 31 12:27:36 Starting compiler/encoders/riscv/proofs
Jul 31 12:35:58 Finished compiler/encoders/riscv/proofs                        8m21s   1GB
Jul 31 12:35:59 Starting compiler/encoders/ag32/proofs
Jul 31 12:38:25 Finished compiler/encoders/ag32/proofs                         2m25s 847MB
Jul 31 12:38:25 Starting compiler/backend/x64/proofs
Jul 31 12:38:42 Finished compiler/backend/x64/proofs                             16s   1GB
Jul 31 12:38:42 Starting compiler/backend/arm7/proofs
Jul 31 12:39:00 Finished compiler/backend/arm7/proofs                            17s   1GB
Jul 31 12:39:00 Starting compiler/backend/arm8/proofs
Jul 31 12:39:16 Finished compiler/backend/arm8/proofs                            15s   1GB
Jul 31 12:39:17 Starting compiler/backend/mips/proofs
Jul 31 12:39:33 Finished compiler/backend/mips/proofs                            16s   1GB
Jul 31 12:39:34 Starting compiler/backend/riscv/proofs
Jul 31 12:39:51 Finished compiler/backend/riscv/proofs                           16s   1GB
Jul 31 12:39:52 Starting compiler/backend/ag32/proofs
Jul 31 12:48:45 Finished compiler/backend/ag32/proofs                          8m53s   2GB
Jul 31 12:48:46 Starting compiler/proofs
Jul 31 12:50:07 Finished compiler/proofs                                       1m20s   3GB
Jul 31 12:50:07 Starting candle/set-theory
Jul 31 12:50:32 Finished candle/set-theory                                       24s 775MB
Jul 31 12:50:33 Starting candle/syntax-lib
Jul 31 12:50:42 Finished candle/syntax-lib                                        9s 611MB
Jul 31 12:50:43 Starting candle/standard/syntax
Jul 31 12:52:23 Finished candle/standard/syntax                                1m40s 992MB
Jul 31 12:52:24 Starting candle/standard/semantics
Jul 31 12:53:59 Finished candle/standard/semantics                             1m34s 900MB
Jul 31 12:53:59 Starting candle/standard/monadic
Jul 31 12:55:31 Finished candle/standard/monadic                               1m31s   1GB
Jul 31 12:55:32 Starting candle/standard/ml_kernel
Jul 31 12:59:13 Finished candle/standard/ml_kernel                             3m41s   3GB
Jul 31 12:59:14 Starting candle/standard/opentheory
Jul 31 13:07:55 Finished candle/standard/opentheory                            8m41s   3GB
Jul 31 13:07:56 Starting candle/standard/opentheory/compilation
Jul 31 13:37:22 Finished candle/standard/opentheory/compilation               29m25s  11GB
Jul 31 13:37:22 Starting candle/standard/opentheory/compilation/proofs
Jul 31 13:38:03 Finished candle/standard/opentheory/compilation/proofs           40s   2GB
Jul 31 13:38:03 Starting characteristic/examples
Jul 31 13:39:29 Finished characteristic/examples                               1m25s   2GB
Jul 31 13:39:29 Starting tutorial/solutions
Jul 31 13:52:32 Finished tutorial/solutions                                   13m02s   5GB
Jul 31 13:52:32 Starting translator/monadic/examples
Jul 31 13:55:22 Finished translator/monadic/examples                           2m50s   2GB
Jul 31 13:55:23 Starting examples
Jul 31 14:04:12 Finished examples                                              8m49s   3GB
Jul 31 14:04:13 Starting examples/compilation/x64
Jul 31 16:07:41 Finished examples/compilation/x64                           2h03m27s   9GB
Jul 31 16:07:41 Starting examples/compilation/x64/proofs
Jul 31 16:09:05 Finished examples/compilation/x64/proofs                       1m22s   2GB
Jul 31 16:09:05 Starting examples/compilation/ag32
Jul 31 16:37:53 Finished examples/compilation/ag32                            28m47s   5GB
Jul 31 16:37:53 Starting examples/compilation/ag32/proofs
Jul 31 16:38:51 Finished examples/compilation/ag32/proofs                        57s   2GB
Jul 31 16:38:51 Starting translator/okasaki-examples
Jul 31 16:42:52 Finished translator/okasaki-examples                           4m00s   1GB
Jul 31 16:42:53 Starting translator/other-examples
Jul 31 16:46:10 Finished translator/other-examples                             3m16s   1GB
Jul 31 16:46:10 Starting compiler/parsing/tests
Jul 31 16:46:34 Finished compiler/parsing/tests                                  24s 547MB
Jul 31 16:46:35 Starting compiler/inference/tests
Jul 31 16:50:43 Finished compiler/inference/tests                              4m07s   4GB
Jul 31 16:50:43 Starting compiler/bootstrap/translation
Jul 31 19:17:55 Finished compiler/bootstrap/translation                     2h27m10s  36GB
Jul 31 19:17:55 Starting unverified/sexpr-bootstrap/x64/64
Jul 31 19:30:43 Finished unverified/sexpr-bootstrap/x64/64                    12m47s   5GB
Jul 31 19:30:43 Starting unverified/sexpr-bootstrap/x64/32
Jul 31 19:39:24 Finished unverified/sexpr-bootstrap/x64/32                     8m40s   6GB
Jul 31 19:39:25 Starting compiler/benchmarks
Jul 31 20:17:24 Finished compiler/benchmarks                                  37m59s   2GB
Jul 31 20:17:25 Starting compiler/bootstrap/compilation/x64/64
Aug 01 08:49:07 Finished compiler/bootstrap/compilation/x64/64             12h31m41s  64GB
Aug 01 08:49:07 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 01 08:51:41 Finished compiler/bootstrap/compilation/x64/64/proofs          2m33s  10GB
Aug 01 08:51:41 Starting compiler/bootstrap/compilation/x64/32
Aug 01 20:05:56 Finished compiler/bootstrap/compilation/x64/32             11h14m13s  64GB
Aug 01 20:05:56 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 01 20:08:26 Finished compiler/bootstrap/compilation/x64/32/proofs          2m28s  10GB
Aug 01 20:08:26 Starting compiler/bootstrap/compilation/ag32/32
Aug 02 08:37:01 Finished compiler/bootstrap/compilation/ag32/32            12h28m34s  64GB
Aug 02 08:37:02 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 02 08:54:13 Finished compiler/bootstrap/compilation/ag32/32/proofs        17m10s  15GB
Aug 02 08:54:13 SUCCESS