Job 58

CakeML:b2446d7433f902ce1fc6aa9f4556a617b022dc2b
  Minor fixes to bootstrapped compiler CLI [Nov 30 15:05:20]
#395 (bootstrap-fixes)
Merging into:b2d9e31391e56d6e9b7050c344649fd937e3fa11
  Merge pull request #352 from CakeML/arm6_export [Nov 30 07:55:58]
HOL:962f50c154fdb0fa6d960a2b4534ff29de2dfa4e
  Automatically prove "case-eqsplit" theorems and store in TypeBase [Nov 30 05:28:38]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Nov 30 22:17:16 Claimed job
Nov 30 22:17:23 Reusing HOL
Nov 30 22:17:35 Starting semantics/ffi
Nov 30 22:17:56 Finished semantics/ffi                                           19s 243MB
Nov 30 22:17:58 Starting semantics
Nov 30 22:20:13 Finished semantics                                             2m12s   1GB
Nov 30 22:20:15 Starting semantics/proofs
Nov 30 22:23:49 Finished semantics/proofs                                      3m31s   1GB
Nov 30 22:23:51 Starting basis/pure
Nov 30 22:24:56 Finished basis/pure                                            1m03s 763MB
Nov 30 22:24:58 Starting translator
Nov 30 22:32:12 Finished translator                                            7m11s 929MB
Nov 30 22:32:14 Starting compiler/parsing
Nov 30 22:34:41 Finished compiler/parsing                                      2m25s   1GB
Nov 30 22:34:43 Starting characteristic
Nov 30 22:39:33 Finished characteristic                                        4m47s   1GB
Nov 30 22:39:35 Starting basis
Nov 30 23:07:15 Finished basis                                                27m38s   2GB
Nov 30 23:07:17 Starting translator/monadic
Nov 30 23:10:58 Finished translator/monadic                                    3m39s   1GB
Nov 30 23:11:00 Starting compiler/inference
Nov 30 23:13:55 Finished compiler/inference                                    2m52s   1GB
Nov 30 23:13:56 Starting compiler/backend/reg_alloc
Nov 30 23:14:47 Finished compiler/backend/reg_alloc                              48s 807MB
Nov 30 23:14:49 Starting compiler/backend/gc
Nov 30 23:30:58 Finished compiler/backend/gc                                  16m07s   2GB
Nov 30 23:31:00 Starting compiler/backend
Nov 30 23:31:04 Finished compiler/backend                                         1s  14MB
Nov 30 23:31:06 Starting compiler/encoders/asm
Nov 30 23:31:08 Finished compiler/encoders/asm                                    0s  32MB
Nov 30 23:31:10 Starting compiler/encoders/x64
Nov 30 23:32:25 Finished compiler/encoders/x64                                 1m12s 494MB
Nov 30 23:32:27 Starting compiler/encoders/arm6
Nov 30 23:35:38 Finished compiler/encoders/arm6                                3m08s   1GB
Nov 30 23:35:39 Starting compiler/encoders/arm8
Nov 30 23:36:29 Finished compiler/encoders/arm8                                  47s 433MB
Nov 30 23:36:31 Starting compiler/encoders/mips
Nov 30 23:37:58 Finished compiler/encoders/mips                                1m24s 676MB
Nov 30 23:38:00 Starting compiler/encoders/riscv
Nov 30 23:39:34 Finished compiler/encoders/riscv                               1m31s 477MB
Nov 30 23:39:36 Starting compiler/backend/x64
Nov 30 23:40:21 Finished compiler/backend/x64                                    43s   1GB
Nov 30 23:40:23 Starting compiler/backend/arm6
Nov 30 23:41:11 Finished compiler/backend/arm6                                   46s   1GB
Nov 30 23:41:13 Starting compiler/backend/arm8
Nov 30 23:42:00 Finished compiler/backend/arm8                                   44s   1GB
Nov 30 23:42:01 Starting compiler/backend/mips
Nov 30 23:42:47 Finished compiler/backend/mips                                   43s   1GB
Nov 30 23:42:49 Starting compiler/backend/riscv
Nov 30 23:43:35 Finished compiler/backend/riscv                                  43s   1GB
Nov 30 23:43:37 Starting compiler/parsing/proofs
Nov 30 23:48:08 Finished compiler/parsing/proofs                               4m29s 939MB
Nov 30 23:48:10 Starting compiler/inference/proofs
Nov 30 23:52:29 Finished compiler/inference/proofs                             4m16s   1GB
Nov 30 23:52:31 Starting compiler/backend/semantics
Dec 01 00:11:44 Finished compiler/backend/semantics                           19m11s   3GB
Dec 01 00:11:46 Starting compiler/backend/reg_alloc/proofs
Dec 01 00:13:01 Finished compiler/backend/reg_alloc/proofs                     1m13s 414MB
Dec 01 00:13:03 Starting compiler/backend/proofs
Dec 01 01:22:59 Finished compiler/backend/proofs                            1h09m53s   5GB
Dec 01 01:23:01 Starting compiler/encoders/x64/proofs
Dec 01 01:34:19 Finished compiler/encoders/x64/proofs                         11m15s   1GB
Dec 01 01:34:21 Starting compiler/encoders/arm6/proofs
Dec 01 01:47:42 Finished compiler/encoders/arm6/proofs                        13m19s   2GB
Dec 01 01:47:44 Starting compiler/encoders/arm8/proofs
Dec 01 01:57:00 Finished compiler/encoders/arm8/proofs                         9m14s   1GB
Dec 01 01:57:02 Starting compiler/encoders/mips/proofs
Dec 01 02:10:12 Finished compiler/encoders/mips/proofs                        13m08s   2GB
Dec 01 02:10:14 Starting compiler/encoders/riscv/proofs
Dec 01 02:23:55 Finished compiler/encoders/riscv/proofs                       13m39s   1GB
Dec 01 02:23:57 Starting compiler/backend/x64/proofs
Dec 01 02:24:52 Finished compiler/backend/x64/proofs                             52s   1GB
Dec 01 02:24:54 Starting compiler/backend/arm6/proofs
Dec 01 02:25:52 Finished compiler/backend/arm6/proofs                            55s   1GB
Dec 01 02:25:54 Starting compiler/backend/arm8/proofs
Dec 01 02:26:46 Finished compiler/backend/arm8/proofs                            50s   1GB
Dec 01 02:26:48 Starting compiler/backend/mips/proofs
Dec 01 02:27:43 Finished compiler/backend/mips/proofs                            52s   1GB
Dec 01 02:27:45 Starting compiler/backend/riscv/proofs
Dec 01 02:28:39 Finished compiler/backend/riscv/proofs                           51s   1GB
Dec 01 02:28:41 Starting compiler/proofs
Dec 01 02:31:12 Finished compiler/proofs                                       2m28s   1GB
Dec 01 02:31:14 Starting candle/set-theory
Dec 01 02:32:57 Finished candle/set-theory                                     1m41s 570MB
Dec 01 02:32:59 Starting candle/syntax-lib
Dec 01 02:33:22 Finished candle/syntax-lib                                       20s 573MB
Dec 01 02:33:24 Starting candle/standard/syntax
Dec 01 02:36:20 Finished candle/standard/syntax                                2m54s 854MB
Dec 01 02:36:22 Starting candle/standard/semantics
Dec 01 02:38:48 Finished candle/standard/semantics                             2m23s 727MB
Dec 01 02:38:50 Starting candle/standard/monadic
Dec 01 02:41:34 Finished candle/standard/monadic                               2m41s 954MB
Dec 01 02:41:36 Starting candle/standard/ml_kernel
Dec 01 02:53:00 Finished candle/standard/ml_kernel                            11m21s   1GB
Dec 01 02:53:01 Starting candle/standard/opentheory
Dec 01 02:53:35 Finished candle/standard/opentheory                              31s 581MB
Dec 01 02:53:37 Starting characteristic/examples
Dec 01 02:55:46 Finished characteristic/examples                               2m06s   1GB
Dec 01 02:55:47 Starting tutorial/solutions
Dec 01 03:28:08 Finished tutorial/solutions                                   32m18s   9GB
Dec 01 03:28:10 Starting examples
Dec 01 03:35:51 Finished examples                                              7m39s   1GB
Dec 01 03:35:53 Starting examples/compilation
Dec 01 08:15:49 Finished examples/compilation                               4h39m53s  13GB
Dec 01 08:15:51 Starting examples/compilation/proofs
Dec 01 08:21:29 Finished examples/compilation/proofs                           5m35s   3GB
Dec 01 08:21:31 Starting compiler/benchmarks
Dec 01 10:06:35 Finished compiler/benchmarks                                1h45m01s  15GB
Dec 01 10:06:37 Starting translator/okasaki-examples
Dec 01 10:14:09 Finished translator/okasaki-examples                           7m30s   1GB
Dec 01 10:14:11 Starting translator/other-examples
Dec 01 10:21:13 Finished translator/other-examples                             6m59s   1GB
Dec 01 10:21:15 Starting compiler/parsing/tests
Dec 01 10:21:57 Finished compiler/parsing/tests                                  39s 361MB
Dec 01 10:21:59 Starting compiler/bootstrap/translation
Dec 01 18:43:26 Finished compiler/bootstrap/translation                     8h21m24s  41GB
Dec 01 18:43:28 Starting compiler/bootstrap/compilation/x64/64
Dec 02 18:04:32 Finished compiler/bootstrap/compilation/x64/64             23h21m01s  96GB
Dec 02 18:04:34 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 02 18:04:36 FAILED: compiler/bootstrap/compilation/x64/64/proofs
]0;Holmake: ../../../../backend/proofsHolmake failed with exception: SysErr ("No such file or directory", SOME ENOENT)