Job 976

CakeML:fb3c02da41354beec69412dd3925696832737395
  Merge branch 'master' into fp_basis [Jul 31 13:40:29]
#671 (fp_basis)
Merging into:8e393beb8cb1fbeb5c2cfc264bd1e8189d236b0e
  Fix a typo in a comment "tyoe" [Jul 31 11:35:58]
HOL:fe1fa42babf09f8e5b6faf1049b95c5ffc023be8
  Fix p/printing bug in handling of indentation around f [Jul 30 04:04:03]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Aug 02 08:00:02 Claimed job
Aug 02 08:00:14 Reusing HOL
Aug 02 08:01:06 Starting developers
Aug 02 08:01:09 Finished developers                                               2s  20MB
Aug 02 08:01:09 Starting developers/bin
Aug 02 08:01:16 Finished developers/bin                                           6s 960MB
Aug 02 08:01:16 Starting semantics/ffi
Aug 02 08:01:26 Finished semantics/ffi                                           10s 224MB
Aug 02 08:01:26 Starting semantics
Aug 02 08:02:47 Finished semantics                                             1m19s   1GB
Aug 02 08:02:47 Starting semantics/proofs
Aug 02 08:05:47 Finished semantics/proofs                                      2m59s   1GB
Aug 02 08:05:47 Starting semantics/alt_semantics
Aug 02 08:05:55 Finished semantics/alt_semantics                                  8s 311MB
Aug 02 08:05:55 Starting semantics/alt_semantics/proofs
Aug 02 08:07:46 Finished semantics/alt_semantics/proofs                        1m50s 810MB
Aug 02 08:07:46 Starting basis/pure
Aug 02 08:08:33 Finished basis/pure                                              46s 649MB
Aug 02 08:08:33 Starting translator
Aug 02 08:10:19 Finished translator                                            1m46s   1GB
Aug 02 08:10:19 Starting compiler/parsing
Aug 02 08:11:18 Finished compiler/parsing                                        58s   2GB
Aug 02 08:11:18 Starting characteristic
Aug 02 08:16:39 Finished characteristic                                        5m20s   1GB
Aug 02 08:16:39 Starting translator/monadic
Aug 02 08:18:09 Finished translator/monadic                                    1m29s   1GB
Aug 02 08:18:09 Starting basis
Aug 02 08:35:53 Finished basis                                                17m44s   3GB
Aug 02 08:35:53 Starting compiler/inference
Aug 02 08:37:30 Finished compiler/inference                                    1m36s   1GB
Aug 02 08:37:30 Starting compiler/backend/reg_alloc
Aug 02 08:38:29 Finished compiler/backend/reg_alloc                              58s   1GB
Aug 02 08:38:29 Starting compiler/backend/gc
Aug 02 08:46:38 Finished compiler/backend/gc                                   8m08s   1GB
Aug 02 08:46:38 Starting compiler/backend
Aug 02 08:46:41 Finished compiler/backend                                         2s  18MB
Aug 02 08:46:41 Starting compiler/encoders/asm
Aug 02 08:46:42 Finished compiler/encoders/asm                                    1s  12MB
Aug 02 08:46:42 Starting compiler/encoders/x64
Aug 02 08:47:07 Finished compiler/encoders/x64                                   24s 553MB
Aug 02 08:47:07 Starting compiler/encoders/arm7
Aug 02 08:47:54 Finished compiler/encoders/arm7                                  46s   1GB
Aug 02 08:47:54 Starting compiler/encoders/arm8
Aug 02 08:48:08 Finished compiler/encoders/arm8                                  13s 546MB
Aug 02 08:48:08 Starting compiler/encoders/mips
Aug 02 08:48:26 Finished compiler/encoders/mips                                  17s   1GB
Aug 02 08:48:26 Starting compiler/encoders/riscv
Aug 02 08:48:41 Finished compiler/encoders/riscv                                 14s 777MB
Aug 02 08:48:41 Starting compiler/encoders/ag32
Aug 02 08:48:58 Finished compiler/encoders/ag32                                  17s 782MB
Aug 02 08:48:58 Starting compiler/backend/x64
Aug 02 08:49:17 Finished compiler/backend/x64                                    18s 875MB
Aug 02 08:49:18 Starting compiler/backend/arm7
Aug 02 08:49:38 Finished compiler/backend/arm7                                   20s   1GB
Aug 02 08:49:38 Starting compiler/backend/arm8
Aug 02 08:49:56 Finished compiler/backend/arm8                                   18s   1GB
Aug 02 08:49:57 Starting compiler/backend/mips
Aug 02 08:50:16 Finished compiler/backend/mips                                   19s   1GB
Aug 02 08:50:16 Starting compiler/backend/riscv
Aug 02 08:50:36 Finished compiler/backend/riscv                                  19s   1GB
Aug 02 08:50:36 Starting compiler/backend/ag32
Aug 02 08:51:45 Finished compiler/backend/ag32                                 1m08s   1GB
Aug 02 08:51:45 Starting compiler/parsing/proofs
Aug 02 08:57:19 Finished compiler/parsing/proofs                               5m34s 915MB
Aug 02 08:57:19 Starting compiler/inference/proofs
Aug 02 09:00:05 Finished compiler/inference/proofs                             2m45s   1GB
Aug 02 09:00:05 Starting compiler/backend/semantics
Aug 02 09:07:14 Finished compiler/backend/semantics                            7m08s   1GB
Aug 02 09:07:14 Starting compiler/backend/reg_alloc/proofs
Aug 02 09:10:30 Finished compiler/backend/reg_alloc/proofs                     3m15s   1GB
Aug 02 09:10:30 Starting compiler/backend/proofs
Aug 02 09:48:54 Finished compiler/backend/proofs                              38m23s   5GB
Aug 02 09:48:54 Starting compiler/encoders/x64/proofs
Aug 02 09:57:50 Finished compiler/encoders/x64/proofs                          8m55s   5GB
Aug 02 09:57:50 Starting compiler/encoders/arm7/proofs
Aug 02 10:09:53 Finished compiler/encoders/arm7/proofs                        12m03s   3GB
Aug 02 10:09:54 Starting compiler/encoders/arm8/proofs
Aug 02 10:16:23 Finished compiler/encoders/arm8/proofs                         6m29s   1GB
Aug 02 10:16:23 Starting compiler/encoders/mips/proofs
Aug 02 10:25:38 Finished compiler/encoders/mips/proofs                         9m15s   2GB
Aug 02 10:25:38 Starting compiler/encoders/riscv/proofs
Aug 02 10:33:46 Finished compiler/encoders/riscv/proofs                        8m07s   1GB
Aug 02 10:33:46 Starting compiler/encoders/ag32/proofs
Aug 02 10:36:15 Finished compiler/encoders/ag32/proofs                         2m28s 645MB
Aug 02 10:36:15 Starting compiler/backend/x64/proofs
Aug 02 10:36:35 Finished compiler/backend/x64/proofs                             19s   1GB
Aug 02 10:36:35 Starting compiler/backend/arm7/proofs
Aug 02 10:36:56 Finished compiler/backend/arm7/proofs                            20s   1GB
Aug 02 10:36:56 Starting compiler/backend/arm8/proofs
Aug 02 10:37:16 Finished compiler/backend/arm8/proofs                            19s 756MB
Aug 02 10:37:16 Starting compiler/backend/mips/proofs
Aug 02 10:37:36 Finished compiler/backend/mips/proofs                            20s   1GB
Aug 02 10:37:36 Starting compiler/backend/riscv/proofs
Aug 02 10:37:56 Finished compiler/backend/riscv/proofs                           19s   1GB
Aug 02 10:37:56 Starting compiler/backend/ag32/proofs
Aug 02 10:46:35 Finished compiler/backend/ag32/proofs                          8m38s   2GB
Aug 02 10:46:35 Starting compiler/proofs
Aug 02 10:48:15 Finished compiler/proofs                                       1m39s   3GB
Aug 02 10:48:15 Starting candle/set-theory
Aug 02 10:48:42 Finished candle/set-theory                                       26s 663MB
Aug 02 10:48:42 Starting candle/syntax-lib
Aug 02 10:48:53 Finished candle/syntax-lib                                       10s 587MB
Aug 02 10:48:53 Starting candle/standard/syntax
Aug 02 10:50:36 Finished candle/standard/syntax                                1m42s   1GB
Aug 02 10:50:36 Starting candle/standard/semantics
Aug 02 10:52:14 Finished candle/standard/semantics                             1m38s   1GB
Aug 02 10:52:14 Starting candle/standard/monadic
Aug 02 10:53:49 Finished candle/standard/monadic                               1m34s   1GB
Aug 02 10:53:49 Starting candle/standard/ml_kernel
Aug 02 10:57:31 Finished candle/standard/ml_kernel                             3m41s   4GB
Aug 02 10:57:31 Starting candle/standard/opentheory
Aug 02 11:06:04 Finished candle/standard/opentheory                            8m32s   3GB
Aug 02 11:06:04 Starting candle/standard/opentheory/compilation
Aug 02 11:36:02 Finished candle/standard/opentheory/compilation               29m57s  16GB
Aug 02 11:36:02 Starting candle/standard/opentheory/compilation/proofs
Aug 02 11:36:43 Finished candle/standard/opentheory/compilation/proofs           40s   3GB
Aug 02 11:36:43 Starting characteristic/examples
Aug 02 11:38:08 Finished characteristic/examples                               1m24s   2GB
Aug 02 11:38:08 Starting tutorial/solutions
Aug 02 11:51:16 Finished tutorial/solutions                                   13m07s   6GB
Aug 02 11:51:16 Starting translator/monadic/examples
Aug 02 11:54:14 Finished translator/monadic/examples                           2m57s   2GB
Aug 02 11:54:14 Starting examples
Aug 02 12:03:00 Finished examples                                              8m45s   3GB
Aug 02 12:03:00 Starting examples/compilation/x64
Aug 02 14:06:28 Finished examples/compilation/x64                           2h03m28s  14GB
Aug 02 14:06:28 Starting examples/compilation/x64/proofs
Aug 02 14:07:57 Finished examples/compilation/x64/proofs                       1m28s   2GB
Aug 02 14:07:57 Starting examples/compilation/ag32
Aug 02 14:36:19 Finished examples/compilation/ag32                            28m21s   6GB
Aug 02 14:36:19 Starting examples/compilation/ag32/proofs
Aug 02 14:37:09 Finished examples/compilation/ag32/proofs                        50s   3GB
Aug 02 14:37:10 Starting translator/okasaki-examples
Aug 02 14:41:13 Finished translator/okasaki-examples                           4m03s   1GB
Aug 02 14:41:13 Starting translator/other-examples
Aug 02 14:44:47 Finished translator/other-examples                             3m33s   1GB
Aug 02 14:44:47 Starting compiler/parsing/tests
Aug 02 14:45:13 Finished compiler/parsing/tests                                  25s 500MB
Aug 02 14:45:13 Starting compiler/inference/tests
Aug 02 14:49:22 Finished compiler/inference/tests                              4m08s   3GB
Aug 02 14:49:22 Starting compiler/bootstrap/translation
Aug 02 17:17:25 Finished compiler/bootstrap/translation                     2h28m02s  43GB
Aug 02 17:17:25 Starting unverified/sexpr-bootstrap/x64/64
Aug 02 17:29:47 Finished unverified/sexpr-bootstrap/x64/64                    12m22s   2GB
Aug 02 17:29:47 Starting unverified/sexpr-bootstrap/x64/32
Aug 02 17:38:22 Finished unverified/sexpr-bootstrap/x64/32                     8m33s   5GB
Aug 02 17:38:22 Starting compiler/benchmarks
Aug 02 17:38:32 Finished compiler/benchmarks                                      9s  23MB
Aug 02 17:38:32 Starting compiler/bootstrap/compilation/x64/64
Aug 03 06:35:47 Finished compiler/bootstrap/compilation/x64/64             12h57m14s  65GB
Aug 03 06:35:47 Starting compiler/bootstrap/compilation/x64/64/proofs
Aug 03 06:40:20 Finished compiler/bootstrap/compilation/x64/64/proofs          4m32s   6GB
Aug 03 06:40:20 Starting compiler/bootstrap/compilation/x64/32
Aug 03 19:57:20 Finished compiler/bootstrap/compilation/x64/32             13h16m59s  64GB
Aug 03 19:57:20 Starting compiler/bootstrap/compilation/x64/32/proofs
Aug 03 19:59:54 Finished compiler/bootstrap/compilation/x64/32/proofs          2m33s  10GB
Aug 03 19:59:54 Starting compiler/bootstrap/compilation/ag32/32
Aug 04 08:12:57 Finished compiler/bootstrap/compilation/ag32/32            12h13m02s  65GB
Aug 04 08:12:57 Starting compiler/bootstrap/compilation/ag32/32/proofs
Aug 04 08:42:53 Finished compiler/bootstrap/compilation/ag32/32/proofs        29m55s  27GB
Aug 04 08:42:53 SUCCESS