Job 59

CakeML:0062746b621e7a1ca409377270f5f838ea7e5302
  Fix a proof broken by the new silent FFI [Nov 30 22:56:04]
#391 (silent-ffi)
Merging into:b2d9e31391e56d6e9b7050c344649fd937e3fa11
  Merge pull request #352 from CakeML/arm6_export [Nov 30 07:55:58]
HOL:69cb895aa14f04e93acf44a44a7d108a71ca3909
  Fix script broken by change to TypeBase API in 962f50c154f [Nov 30 23:13:33]
Machine:cakeml1797 4.4.0-22-generic x86_64 GNU/Linux

Dec 01 00:57:59 Claimed job
Dec 01 00:58:08 Building HOL
Dec 01 01:11:35 Starting semantics/ffi
Dec 01 01:12:50 Finished semantics/ffi                                         1m13s 353MB
Dec 01 01:12:52 Starting semantics
Dec 01 01:15:45 Finished semantics                                             2m51s   1GB
Dec 01 01:15:47 Starting semantics/proofs
Dec 01 01:19:35 Finished semantics/proofs                                      3m46s   1GB
Dec 01 01:19:37 Starting basis/pure
Dec 01 01:26:04 Finished basis/pure                                            6m24s 606MB
Dec 01 01:26:05 Starting translator
Dec 01 01:33:43 Finished translator                                            7m35s   1GB
Dec 01 01:33:45 Starting compiler/parsing
Dec 01 01:36:19 Finished compiler/parsing                                      2m31s   2GB
Dec 01 01:36:21 Starting characteristic
Dec 01 01:41:24 Finished characteristic                                        5m00s   2GB
Dec 01 01:41:26 Starting basis
Dec 01 02:10:59 Finished basis                                                29m31s   2GB
Dec 01 02:11:00 Starting translator/monadic
Dec 01 02:15:08 Finished translator/monadic                                    4m04s   1GB
Dec 01 02:15:10 Starting compiler/inference
Dec 01 02:18:17 Finished compiler/inference                                    3m05s 968MB
Dec 01 02:18:19 Starting compiler/backend/reg_alloc
Dec 01 02:19:14 Finished compiler/backend/reg_alloc                              53s 715MB
Dec 01 02:19:16 Starting compiler/backend/gc
Dec 01 02:36:38 Finished compiler/backend/gc                                  17m20s   2GB
Dec 01 02:36:40 Starting compiler/backend
Dec 01 02:36:44 Finished compiler/backend                                         1s  12MB
Dec 01 02:36:46 Starting compiler/encoders/asm
Dec 01 02:36:49 Finished compiler/encoders/asm                                    0s  11MB
Dec 01 02:36:51 Starting compiler/encoders/x64
Dec 01 02:38:14 Finished compiler/encoders/x64                                 1m20s 418MB
Dec 01 02:38:16 Starting compiler/encoders/arm6
Dec 01 02:41:27 Finished compiler/encoders/arm6                                3m09s   1GB
Dec 01 02:41:29 Starting compiler/encoders/arm8
Dec 01 02:42:24 Finished compiler/encoders/arm8                                  53s 413MB
Dec 01 02:42:26 Starting compiler/encoders/mips
Dec 01 02:43:57 Finished compiler/encoders/mips                                1m29s 641MB
Dec 01 02:43:59 Starting compiler/encoders/riscv
Dec 01 02:45:39 Finished compiler/encoders/riscv                               1m37s 466MB
Dec 01 02:45:41 Starting compiler/backend/x64
Dec 01 02:46:27 Finished compiler/backend/x64                                    43s   1GB
Dec 01 02:46:29 Starting compiler/backend/arm6
Dec 01 02:47:19 Finished compiler/backend/arm6                                   47s   1GB
Dec 01 02:47:21 Starting compiler/backend/arm8
Dec 01 02:48:09 Finished compiler/backend/arm8                                   46s   1GB
Dec 01 02:48:11 Starting compiler/backend/mips
Dec 01 02:48:59 Finished compiler/backend/mips                                   45s   1GB
Dec 01 02:49:00 Starting compiler/backend/riscv
Dec 01 02:49:50 Finished compiler/backend/riscv                                  47s   1GB
Dec 01 02:49:52 Starting compiler/parsing/proofs
Dec 01 02:54:47 Finished compiler/parsing/proofs                               4m53s 820MB
Dec 01 02:54:49 Starting compiler/inference/proofs
Dec 01 02:59:26 Finished compiler/inference/proofs                             4m34s   1GB
Dec 01 02:59:28 Starting compiler/backend/semantics
Dec 01 03:20:01 Finished compiler/backend/semantics                           20m30s   3GB
Dec 01 03:20:03 Starting compiler/backend/reg_alloc/proofs
Dec 01 03:21:24 Finished compiler/backend/reg_alloc/proofs                     1m19s 406MB
Dec 01 03:21:26 Starting compiler/backend/proofs
Dec 01 04:36:23 Finished compiler/backend/proofs                            1h14m54s   3GB
Dec 01 04:36:25 Starting compiler/encoders/x64/proofs
Dec 01 04:48:33 Finished compiler/encoders/x64/proofs                         12m05s   1GB
Dec 01 04:48:35 Starting compiler/encoders/arm6/proofs
Dec 01 05:02:51 Finished compiler/encoders/arm6/proofs                        14m14s   3GB
Dec 01 05:02:53 Starting compiler/encoders/arm8/proofs
Dec 01 05:12:44 Finished compiler/encoders/arm8/proofs                         9m49s   1GB
Dec 01 05:12:46 Starting compiler/encoders/mips/proofs
Dec 01 05:26:55 Finished compiler/encoders/mips/proofs                        14m06s   1GB
Dec 01 05:26:57 Starting compiler/encoders/riscv/proofs
Dec 01 05:41:54 Finished compiler/encoders/riscv/proofs                       14m55s   1GB
Dec 01 05:41:56 Starting compiler/backend/x64/proofs
Dec 01 05:42:53 Finished compiler/backend/x64/proofs                             54s   1GB
Dec 01 05:42:55 Starting compiler/backend/arm6/proofs
Dec 01 05:43:58 Finished compiler/backend/arm6/proofs                          1m01s   1GB
Dec 01 05:44:00 Starting compiler/backend/arm8/proofs
Dec 01 05:44:57 Finished compiler/backend/arm8/proofs                            54s   1GB
Dec 01 05:44:59 Starting compiler/backend/mips/proofs
Dec 01 05:45:57 Finished compiler/backend/mips/proofs                            56s   1GB
Dec 01 05:45:59 Starting compiler/backend/riscv/proofs
Dec 01 05:46:55 Finished compiler/backend/riscv/proofs                           54s   1GB
Dec 01 05:46:57 Starting compiler/proofs
Dec 01 05:49:43 Finished compiler/proofs                                       2m43s   1GB
Dec 01 05:49:45 Starting candle/set-theory
Dec 01 05:51:35 Finished candle/set-theory                                     1m47s 561MB
Dec 01 05:51:37 Starting candle/syntax-lib
Dec 01 05:52:00 Finished candle/syntax-lib                                       21s 554MB
Dec 01 05:52:02 Starting candle/standard/syntax
Dec 01 05:55:13 Finished candle/standard/syntax                                3m08s 609MB
Dec 01 05:55:14 Starting candle/standard/semantics
Dec 01 05:57:50 Finished candle/standard/semantics                             2m33s 840MB
Dec 01 05:57:52 Starting candle/standard/monadic
Dec 01 06:00:47 Finished candle/standard/monadic                               2m52s   1GB
Dec 01 06:00:48 Starting candle/standard/ml_kernel
Dec 01 06:12:47 Finished candle/standard/ml_kernel                            11m56s   1GB
Dec 01 06:12:49 Starting candle/standard/opentheory
Dec 01 06:13:22 Finished candle/standard/opentheory                              31s 644MB
Dec 01 06:13:24 Starting characteristic/examples
Dec 01 06:15:39 Finished characteristic/examples                               2m12s   1GB
Dec 01 06:15:41 Starting tutorial/solutions
Dec 01 06:49:39 Finished tutorial/solutions                                   33m55s   7GB
Dec 01 06:49:41 Starting examples
Dec 01 06:57:43 Finished examples                                              7m59s   1GB
Dec 01 06:57:45 Starting examples/compilation
Dec 01 11:56:49 Finished examples/compilation                               4h59m01s  14GB
Dec 01 11:56:51 Starting examples/compilation/proofs
Dec 01 12:02:36 Finished examples/compilation/proofs                           5m42s   3GB
Dec 01 12:02:37 Starting compiler/benchmarks
Dec 01 13:54:51 Finished compiler/benchmarks                                1h52m10s  16GB
Dec 01 13:54:53 Starting translator/okasaki-examples
Dec 01 14:02:43 Finished translator/okasaki-examples                           7m48s   1GB
Dec 01 14:02:45 Starting translator/other-examples
Dec 01 14:10:21 Finished translator/other-examples                             7m33s   1GB
Dec 01 14:10:22 Starting compiler/parsing/tests
Dec 01 14:11:05 Finished compiler/parsing/tests                                  40s 351MB
Dec 01 14:11:07 Starting compiler/bootstrap/translation
Dec 01 23:05:18 Finished compiler/bootstrap/translation                     8h54m08s  45GB
Dec 01 23:05:19 Starting compiler/bootstrap/compilation/x64/64
Dec 03 05:54:12 Finished compiler/bootstrap/compilation/x64/64             30h48m50s  90GB
Dec 03 05:54:14 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 03 05:54:16 FAILED: compiler/bootstrap/compilation/x64/64/proofs
]0;Holmake: ../../../../backend/proofsHolmake failed with exception: SysErr ("No such file or directory", SOME ENOENT)