Job 644

CakeML:75614126e5170e953dbab330960f90b715bf38b3
  Fix to_bvlProg [Dec 22 15:37:42]
HOL:89daca206b2ad7a8e43f3a59c20a178cc04d7748
  Fix bug: TypeBase.simpls_of not being filled in on load [Dec 21 04:04:45]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 22 18:30:03 Claimed job
Dec 22 18:30:10 Reusing HOL
Dec 22 18:31:06 Starting developers
Dec 22 18:31:09 Finished developers                                               2s  21MB
Dec 22 18:31:09 Starting developers/bin
Dec 22 18:32:19 Finished developers/bin                                        1m08s 916MB
Dec 22 18:32:19 Starting semantics/ffi
Dec 22 18:32:30 Finished semantics/ffi                                           10s 229MB
Dec 22 18:32:31 Starting semantics
Dec 22 18:33:56 Finished semantics                                             1m24s   1GB
Dec 22 18:33:56 Starting semantics/proofs
Dec 22 18:37:15 Finished semantics/proofs                                      3m18s   1GB
Dec 22 18:37:16 Starting basis/pure
Dec 22 18:38:10 Finished basis/pure                                              53s 838MB
Dec 22 18:38:11 Starting translator
Dec 22 18:39:49 Finished translator                                            1m37s   1GB
Dec 22 18:39:50 Starting compiler/parsing
Dec 22 18:40:55 Finished compiler/parsing                                      1m04s   1GB
Dec 22 18:40:56 Starting characteristic
Dec 22 18:44:20 Finished characteristic                                        3m22s   1GB
Dec 22 18:44:20 Starting translator/monadic
Dec 22 18:45:51 Finished translator/monadic                                    1m30s   1GB
Dec 22 18:45:52 Starting basis
Dec 22 19:02:09 Finished basis                                                16m16s   2GB
Dec 22 19:02:09 Starting compiler/inference
Dec 22 19:03:52 Finished compiler/inference                                    1m41s   1GB
Dec 22 19:03:52 Starting compiler/backend/reg_alloc
Dec 22 19:04:46 Finished compiler/backend/reg_alloc                              52s   1GB
Dec 22 19:04:47 Starting compiler/backend/gc
Dec 22 19:12:49 Finished compiler/backend/gc                                   8m01s   1GB
Dec 22 19:12:50 Starting compiler/backend
Dec 22 19:12:53 Finished compiler/backend                                         2s  27MB
Dec 22 19:12:54 Starting compiler/encoders/asm
Dec 22 19:12:56 Finished compiler/encoders/asm                                    1s  14MB
Dec 22 19:12:56 Starting compiler/encoders/x64
Dec 22 19:13:23 Finished compiler/encoders/x64                                   25s 971MB
Dec 22 19:13:23 Starting compiler/encoders/arm6
Dec 22 19:14:18 Finished compiler/encoders/arm6                                  54s   1GB
Dec 22 19:14:19 Starting compiler/encoders/arm8
Dec 22 19:14:33 Finished compiler/encoders/arm8                                  13s 849MB
Dec 22 19:14:34 Starting compiler/encoders/mips
Dec 22 19:14:52 Finished compiler/encoders/mips                                  17s 783MB
Dec 22 19:14:52 Starting compiler/encoders/riscv
Dec 22 19:15:08 Finished compiler/encoders/riscv                                 15s 936MB
Dec 22 19:15:09 Starting compiler/encoders/ag32
Dec 22 19:15:26 Finished compiler/encoders/ag32                                  17s 558MB
Dec 22 19:15:27 Starting compiler/backend/x64
Dec 22 19:15:45 Finished compiler/backend/x64                                    17s 836MB
Dec 22 19:15:45 Starting compiler/backend/arm6
Dec 22 19:16:06 Finished compiler/backend/arm6                                   19s   1GB
Dec 22 19:16:06 Starting compiler/backend/arm8
Dec 22 19:16:26 Finished compiler/backend/arm8                                   18s   1GB
Dec 22 19:16:27 Starting compiler/backend/mips
Dec 22 19:16:47 Finished compiler/backend/mips                                   19s 844MB
Dec 22 19:16:47 Starting compiler/backend/riscv
Dec 22 19:17:08 Finished compiler/backend/riscv                                  19s   1GB
Dec 22 19:17:08 Starting compiler/backend/ag32
Dec 22 19:18:22 Finished compiler/backend/ag32                                 1m13s 938MB
Dec 22 19:18:23 Starting compiler/parsing/proofs
Dec 22 19:24:46 Finished compiler/parsing/proofs                               6m22s   1GB
Dec 22 19:24:47 Starting compiler/inference/proofs
Dec 22 19:27:44 Finished compiler/inference/proofs                             2m56s   1GB
Dec 22 19:27:45 Starting compiler/backend/semantics
Dec 22 19:35:19 Finished compiler/backend/semantics                            7m34s   2GB
Dec 22 19:35:20 Starting compiler/backend/reg_alloc/proofs
Dec 22 19:38:08 Finished compiler/backend/reg_alloc/proofs                     2m46s 730MB
Dec 22 19:38:08 Starting compiler/backend/proofs
Dec 22 20:16:54 Finished compiler/backend/proofs                              38m45s   4GB
Dec 22 20:16:55 Starting compiler/encoders/x64/proofs
Dec 22 20:26:44 Finished compiler/encoders/x64/proofs                          9m48s   4GB
Dec 22 20:26:45 Starting compiler/encoders/arm6/proofs
Dec 22 20:40:33 Finished compiler/encoders/arm6/proofs                        13m47s   3GB
Dec 22 20:40:33 Starting compiler/encoders/arm8/proofs
Dec 22 20:46:33 Finished compiler/encoders/arm8/proofs                         5m58s   1GB
Dec 22 20:46:34 Starting compiler/encoders/mips/proofs
Dec 22 20:57:07 Finished compiler/encoders/mips/proofs                        10m32s   2GB
Dec 22 20:57:07 Starting compiler/encoders/riscv/proofs
Dec 22 21:05:03 Finished compiler/encoders/riscv/proofs                        7m54s   1GB
Dec 22 21:05:03 Starting compiler/encoders/ag32/proofs
Dec 22 21:07:45 Finished compiler/encoders/ag32/proofs                         2m41s 791MB
Dec 22 21:07:46 Starting compiler/backend/x64/proofs
Dec 22 21:08:08 Finished compiler/backend/x64/proofs                             21s 755MB
Dec 22 21:08:08 Starting compiler/backend/arm6/proofs
Dec 22 21:08:31 Finished compiler/backend/arm6/proofs                            22s 856MB
Dec 22 21:08:32 Starting compiler/backend/arm8/proofs
Dec 22 21:08:52 Finished compiler/backend/arm8/proofs                            20s   1GB
Dec 22 21:08:53 Starting compiler/backend/mips/proofs
Dec 22 21:09:15 Finished compiler/backend/mips/proofs                            21s   1GB
Dec 22 21:09:15 Starting compiler/backend/riscv/proofs
Dec 22 21:09:36 Finished compiler/backend/riscv/proofs                           20s   1GB
Dec 22 21:09:37 Starting compiler/backend/ag32/proofs
Dec 22 21:18:54 Finished compiler/backend/ag32/proofs                          9m16s   2GB
Dec 22 21:18:54 Starting compiler/proofs
Dec 22 21:20:14 Finished compiler/proofs                                       1m19s   2GB
Dec 22 21:20:15 Starting candle/set-theory
Dec 22 21:20:43 Finished candle/set-theory                                       26s 727MB
Dec 22 21:20:43 Starting candle/syntax-lib
Dec 22 21:20:54 Finished candle/syntax-lib                                       10s 432MB
Dec 22 21:20:55 Starting candle/standard/syntax
Dec 22 21:22:45 Finished candle/standard/syntax                                1m49s   1GB
Dec 22 21:22:45 Starting candle/standard/semantics
Dec 22 21:24:28 Finished candle/standard/semantics                             1m41s   1GB
Dec 22 21:24:29 Starting candle/standard/monadic
Dec 22 21:26:13 Finished candle/standard/monadic                               1m43s   1GB
Dec 22 21:26:14 Starting candle/standard/ml_kernel
Dec 22 21:41:27 Finished candle/standard/ml_kernel                            15m12s   3GB
Dec 22 21:41:27 Starting candle/standard/opentheory
Dec 22 21:50:08 Finished candle/standard/opentheory                            8m40s   4GB
Dec 22 21:50:09 Starting candle/standard/opentheory/compilation
Dec 22 22:19:54 Finished candle/standard/opentheory/compilation               29m44s  13GB
Dec 22 22:19:55 Starting candle/standard/opentheory/compilation/proofs
Dec 22 22:20:47 Finished candle/standard/opentheory/compilation/proofs           51s   6GB
Dec 22 22:20:48 Starting characteristic/examples
Dec 22 22:22:19 Finished characteristic/examples                               1m30s   3GB
Dec 22 22:22:19 Starting tutorial/solutions
Dec 22 22:35:27 Finished tutorial/solutions                                   13m06s   4GB
Dec 22 22:35:28 Starting translator/monadic/examples
Dec 22 22:37:38 Finished translator/monadic/examples                           2m10s   2GB
Dec 22 22:37:39 Starting examples
Dec 22 22:45:15 Finished examples                                              7m35s   3GB
Dec 22 22:45:16 Starting examples/compilation/x64
Dec 23 00:46:42 Finished examples/compilation/x64                           2h01m24s  11GB
Dec 23 00:46:43 Starting examples/compilation/x64/proofs
Dec 23 00:48:33 Finished examples/compilation/x64/proofs                       1m49s   5GB
Dec 23 00:48:34 Starting examples/compilation/ag32
Dec 23 01:16:28 Finished examples/compilation/ag32                            27m53s   5GB
Dec 23 01:16:29 Starting examples/compilation/ag32/proofs
Dec 23 01:17:19 Finished examples/compilation/ag32/proofs                        49s   4GB
Dec 23 01:17:20 Starting translator/okasaki-examples
Dec 23 01:21:23 Finished translator/okasaki-examples                           4m02s   1GB
Dec 23 01:21:23 Starting translator/other-examples
Dec 23 01:22:06 Finished translator/other-examples                               42s   1GB
Dec 23 01:22:07 Starting compiler/parsing/tests
Dec 23 01:22:36 Finished compiler/parsing/tests                                  27s 568MB
Dec 23 01:22:37 Starting compiler/inference/tests
Dec 23 01:26:35 Finished compiler/inference/tests                              3m57s   3GB
Dec 23 01:26:36 Starting compiler/bootstrap/translation
Dec 23 04:46:16 Finished compiler/bootstrap/translation                     3h19m39s  51GB
Dec 23 04:46:17 Starting unverified/sexpr-bootstrap/x64/64
Dec 23 04:49:55 Finished unverified/sexpr-bootstrap/x64/64                     3m37s  16GB
Dec 23 04:49:56 Starting unverified/sexpr-bootstrap/x64/32
Dec 23 04:51:51 Finished unverified/sexpr-bootstrap/x64/32                     1m55s  17GB
Dec 23 04:51:52 Starting compiler/bootstrap/compilation/x64/64
Dec 23 14:44:48 Finished compiler/bootstrap/compilation/x64/64              9h52m54s  64GB
Dec 23 14:44:48 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 23 14:51:10 Finished compiler/bootstrap/compilation/x64/64/proofs          6m20s  31GB
Dec 23 14:51:11 Starting compiler/bootstrap/compilation/x64/32
Dec 23 23:38:56 Finished compiler/bootstrap/compilation/x64/32              8h47m45s  64GB
Dec 23 23:38:57 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 23 23:44:26 Finished compiler/bootstrap/compilation/x64/32/proofs          5m28s  26GB
Dec 23 23:44:27 SUCCESS