Job 528

CakeML:c5862b09d834814d9bf55a0bcf35c3abe474eff3
  Add missing definitions [Oct 12 13:52:38]
#540 (assign-reorg)
Merging into:2ce1a84a603f5e9acdd2601314dd649077ede745
  Use modules in bootstrap translation. [Oct 11 13:44:11]
HOL:32537a5663e731a4d41cf53adf51cc27b71a0e97
  Get temporal_deep/src/model_check to build by fixing Holmakefile [Oct 11 22:55:58]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Oct 12 14:04:02 Claimed job
Oct 12 14:05:12 Building HOL
Oct 12 14:15:35 Starting developers/bin
Oct 12 14:16:13 Finished developers/bin                                          37s 137MB
Oct 12 14:16:14 Starting semantics/ffi
Oct 12 14:17:00 Finished semantics/ffi                                           44s 409MB
Oct 12 14:17:01 Starting semantics
Oct 12 14:18:55 Finished semantics                                             1m53s   1GB
Oct 12 14:18:56 Starting semantics/proofs
Oct 12 14:22:33 Finished semantics/proofs                                      3m35s   1GB
Oct 12 14:22:34 Starting basis/pure
Oct 12 14:26:53 Finished basis/pure                                            4m18s 617MB
Oct 12 14:26:53 Starting translator
Oct 12 14:30:41 Finished translator                                            3m47s   1GB
Oct 12 14:30:42 Starting compiler/parsing
Oct 12 14:32:50 Finished compiler/parsing                                      2m07s   2GB
Oct 12 14:32:51 Starting characteristic
Oct 12 14:35:45 Finished characteristic                                        2m53s   1GB
Oct 12 14:35:46 Starting translator/monadic
Oct 12 14:37:30 Finished translator/monadic                                    1m43s   1GB
Oct 12 14:37:31 Starting basis
Oct 12 15:07:07 Finished basis                                                29m35s   3GB
Oct 12 15:07:08 Starting compiler/inference
Oct 12 15:10:13 Finished compiler/inference                                    3m04s   1GB
Oct 12 15:10:14 Starting compiler/backend/reg_alloc
Oct 12 15:11:40 Finished compiler/backend/reg_alloc                            1m25s 931MB
Oct 12 15:11:41 Starting compiler/backend/gc
Oct 12 15:26:04 Finished compiler/backend/gc                                  14m21s   2GB
Oct 12 15:26:05 Starting compiler/backend
Oct 12 15:26:09 Finished compiler/backend                                         2s  14MB
Oct 12 15:26:10 Starting compiler/encoders/asm
Oct 12 15:26:11 Finished compiler/encoders/asm                                    0s  11MB
Oct 12 15:26:12 Starting compiler/encoders/x64
Oct 12 15:27:46 Finished compiler/encoders/x64                                 1m32s 582MB
Oct 12 15:27:47 Starting compiler/encoders/arm6
Oct 12 15:30:42 Finished compiler/encoders/arm6                                2m54s   1GB
Oct 12 15:30:43 Starting compiler/encoders/arm8
Oct 12 15:31:20 Finished compiler/encoders/arm8                                  35s 443MB
Oct 12 15:31:20 Starting compiler/encoders/mips
Oct 12 15:32:50 Finished compiler/encoders/mips                                1m29s   1GB
Oct 12 15:32:51 Starting compiler/encoders/riscv
Oct 12 15:34:26 Finished compiler/encoders/riscv                               1m34s 826MB
Oct 12 15:34:27 Starting compiler/backend/x64
Oct 12 15:34:55 Finished compiler/backend/x64                                    26s   1GB
Oct 12 15:34:56 Starting compiler/backend/arm6
Oct 12 15:35:27 Finished compiler/backend/arm6                                   30s   1GB
Oct 12 15:35:28 Starting compiler/backend/arm8
Oct 12 15:35:56 Finished compiler/backend/arm8                                   27s   1GB
Oct 12 15:35:57 Starting compiler/backend/mips
Oct 12 15:36:25 Finished compiler/backend/mips                                   27s   1GB
Oct 12 15:36:25 Starting compiler/backend/riscv
Oct 12 15:36:53 Finished compiler/backend/riscv                                  26s   1GB
Oct 12 15:36:54 Starting compiler/parsing/proofs
Oct 12 15:45:04 Finished compiler/parsing/proofs                               8m08s 590MB
Oct 12 15:45:04 Starting compiler/inference/proofs
Oct 12 15:48:42 Finished compiler/inference/proofs                             3m36s   1GB
Oct 12 15:48:43 Starting compiler/backend/semantics
Oct 12 16:01:13 Finished compiler/backend/semantics                           12m29s   2GB
Oct 12 16:01:14 Starting compiler/backend/reg_alloc/proofs
Oct 12 16:10:18 Finished compiler/backend/reg_alloc/proofs                     9m02s 457MB
Oct 12 16:10:18 Starting compiler/backend/proofs
Oct 12 16:58:05 Finished compiler/backend/proofs                              47m46s   3GB
Oct 12 16:58:06 Starting compiler/encoders/x64/proofs
Oct 12 17:05:34 Finished compiler/encoders/x64/proofs                          7m27s   5GB
Oct 12 17:05:35 Starting compiler/encoders/arm6/proofs
Oct 12 17:13:12 Finished compiler/encoders/arm6/proofs                         7m35s   3GB
Oct 12 17:13:13 Starting compiler/encoders/arm8/proofs
Oct 12 17:18:41 Finished compiler/encoders/arm8/proofs                         5m26s   1GB
Oct 12 17:18:42 Starting compiler/encoders/mips/proofs
Oct 12 17:26:15 Finished compiler/encoders/mips/proofs                         7m32s   1GB
Oct 12 17:26:16 Starting compiler/encoders/riscv/proofs
Oct 12 17:34:12 Finished compiler/encoders/riscv/proofs                        7m55s 855MB
Oct 12 17:34:13 Starting compiler/backend/x64/proofs
Oct 12 17:34:38 Finished compiler/backend/x64/proofs                             24s   1GB
Oct 12 17:34:39 Starting compiler/backend/arm6/proofs
Oct 12 17:35:02 Finished compiler/backend/arm6/proofs                            21s   1GB
Oct 12 17:35:02 Starting compiler/backend/arm8/proofs
Oct 12 17:35:23 Finished compiler/backend/arm8/proofs                            19s   1GB
Oct 12 17:35:24 Starting compiler/backend/mips/proofs
Oct 12 17:35:46 Finished compiler/backend/mips/proofs                            20s   1GB
Oct 12 17:35:46 Starting compiler/backend/riscv/proofs
Oct 12 17:36:07 Finished compiler/backend/riscv/proofs                           19s   1GB
Oct 12 17:36:07 Starting compiler/proofs
Oct 12 17:37:26 Finished compiler/proofs                                       1m18s   1GB
Oct 12 17:37:27 Starting candle/set-theory
Oct 12 17:37:56 Finished candle/set-theory                                       28s 635MB
Oct 12 17:37:57 Starting candle/syntax-lib
Oct 12 17:38:08 Finished candle/syntax-lib                                        9s 454MB
Oct 12 17:38:08 Starting candle/standard/syntax
Oct 12 17:39:40 Finished candle/standard/syntax                                1m31s 688MB
Oct 12 17:39:41 Starting candle/standard/semantics
Oct 12 17:41:04 Finished candle/standard/semantics                             1m21s 859MB
Oct 12 17:41:04 Starting candle/standard/monadic
Oct 12 17:42:39 Finished candle/standard/monadic                               1m33s 738MB
Oct 12 17:42:39 Starting candle/standard/ml_kernel
Oct 12 17:59:13 Finished candle/standard/ml_kernel                            16m33s   7GB
Oct 12 17:59:14 Starting candle/standard/opentheory
Oct 12 18:08:25 Finished candle/standard/opentheory                            9m10s   5GB
Oct 12 18:08:25 Starting candle/standard/opentheory/compilation
Oct 12 18:47:07 Finished candle/standard/opentheory/compilation               38m40s  23GB
Oct 12 18:47:07 Starting characteristic/examples
Oct 12 18:48:46 Finished characteristic/examples                               1m37s   1GB
Oct 12 18:48:46 Starting tutorial/solutions
Oct 12 19:03:01 Finished tutorial/solutions                                   14m13s   6GB
Oct 12 19:03:02 Starting translator/monadic/examples
Oct 12 19:05:02 Finished translator/monadic/examples                           1m58s   2GB
Oct 12 19:05:03 Starting examples
Oct 12 19:11:56 Finished examples                                              6m53s   6GB
Oct 12 19:11:57 Starting examples/compilation
Oct 12 21:19:45 Finished examples/compilation                               2h07m46s  10GB
Oct 12 21:19:45 Starting examples/compilation/proofs
Oct 12 21:21:49 Finished examples/compilation/proofs                           2m02s   3GB
Oct 12 21:21:49 Starting compiler/benchmarks
Oct 12 21:21:50 Finished compiler/benchmarks                                      0s   4MB
Oct 12 21:21:51 Starting translator/okasaki-examples
Oct 12 21:26:01 Finished translator/okasaki-examples                           4m08s   1GB
Oct 12 21:26:01 Starting translator/other-examples
Oct 12 21:29:49 Finished translator/other-examples                             3m46s   1GB
Oct 12 21:29:50 Starting compiler/parsing/tests
Oct 12 21:30:18 Finished compiler/parsing/tests                                  27s 281MB
Oct 12 21:30:19 Starting compiler/inference/tests
Oct 12 21:35:00 Finished compiler/inference/tests                              4m40s   4GB
Oct 12 21:35:01 Starting compiler/bootstrap/translation
Oct 13 04:11:00 Finished compiler/bootstrap/translation                     6h35m58s  52GB
Oct 13 04:11:01 Starting unverified/sexpr-bootstrap/x64/64
Oct 13 04:19:07 Finished unverified/sexpr-bootstrap/x64/64                     8m05s  15GB
Oct 13 04:19:08 Starting unverified/sexpr-bootstrap/x64/32
Oct 13 04:24:28 Finished unverified/sexpr-bootstrap/x64/32                     5m18s  21GB
Oct 13 04:24:29 Starting compiler/bootstrap/compilation/x64/64
Oct 13 19:39:20 Finished compiler/bootstrap/compilation/x64/64             15h14m50s  64GB
Oct 13 19:39:21 Starting compiler/bootstrap/compilation/x64/64/proofs
Oct 13 19:42:32 Finished compiler/bootstrap/compilation/x64/64/proofs          3m09s  23GB
Oct 13 19:42:32 Starting compiler/bootstrap/compilation/x64/32
Oct 14 04:10:35 Finished compiler/bootstrap/compilation/x64/32              8h28m00s  59GB
Oct 14 04:10:36 Starting compiler/bootstrap/compilation/x64/32/proofs
Oct 14 04:14:39 Finished compiler/bootstrap/compilation/x64/32/proofs          4m02s  21GB
Oct 14 04:14:40 SUCCESS