Job 648

CakeML:5458d245ad797484eafa70781453c3b691b10be6
  Merge pull request #589 from CakeML/compiler-exit-code [Dec 24 08:36:55]
HOL:89daca206b2ad7a8e43f3a59c20a178cc04d7748
  Fix bug: TypeBase.simpls_of not being filled in on load [Dec 21 04:04:45]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Dec 25 02:03:57 Claimed job
Dec 25 02:04:03 Reusing HOL
Dec 25 02:04:14 Starting developers
Dec 25 02:04:15 Finished developers                                               0s  20MB
Dec 25 02:04:16 Starting developers/bin
Dec 25 02:04:49 Finished developers/bin                                          31s 140MB
Dec 25 02:04:50 Starting semantics/ffi
Dec 25 02:04:58 Finished semantics/ffi                                            8s 237MB
Dec 25 02:04:59 Starting semantics
Dec 25 02:06:25 Finished semantics                                             1m24s   1GB
Dec 25 02:06:26 Starting semantics/proofs
Dec 25 02:09:44 Finished semantics/proofs                                      3m16s   1GB
Dec 25 02:09:45 Starting basis/pure
Dec 25 02:10:36 Finished basis/pure                                              50s 694MB
Dec 25 02:10:37 Starting translator
Dec 25 02:12:16 Finished translator                                            1m38s   1GB
Dec 25 02:12:17 Starting compiler/parsing
Dec 25 02:13:24 Finished compiler/parsing                                      1m06s   2GB
Dec 25 02:13:25 Starting characteristic
Dec 25 02:16:41 Finished characteristic                                        3m15s   1GB
Dec 25 02:16:42 Starting translator/monadic
Dec 25 02:18:09 Finished translator/monadic                                    1m26s   1GB
Dec 25 02:18:09 Starting basis
Dec 25 02:34:22 Finished basis                                                16m12s   2GB
Dec 25 02:34:23 Starting compiler/inference
Dec 25 02:36:04 Finished compiler/inference                                    1m40s   1GB
Dec 25 02:36:05 Starting compiler/backend/reg_alloc
Dec 25 02:36:57 Finished compiler/backend/reg_alloc                              50s   1GB
Dec 25 02:36:58 Starting compiler/backend/gc
Dec 25 04:47:54 Resuming compiler/backend/gc
Dec 25 04:51:10 Finished compiler/backend/gc                                   3m14s   1GB
Dec 25 04:51:11 Starting compiler/backend
Dec 25 04:51:13 Finished compiler/backend                                         1s  17MB
Dec 25 04:51:14 Starting compiler/encoders/asm
Dec 25 04:51:15 Finished compiler/encoders/asm                                    0s  16MB
Dec 25 04:51:16 Starting compiler/encoders/x64
Dec 25 04:51:42 Finished compiler/encoders/x64                                   24s 929MB
Dec 25 04:51:42 Starting compiler/encoders/arm6
Dec 25 04:52:35 Finished compiler/encoders/arm6                                  52s 699MB
Dec 25 04:52:36 Starting compiler/encoders/arm8
Dec 25 04:52:49 Finished compiler/encoders/arm8                                  12s 897MB
Dec 25 04:52:50 Starting compiler/encoders/mips
Dec 25 04:53:08 Finished compiler/encoders/mips                                  17s 876MB
Dec 25 04:53:09 Starting compiler/encoders/riscv
Dec 25 04:53:24 Finished compiler/encoders/riscv                                 13s 826MB
Dec 25 04:53:24 Starting compiler/encoders/ag32
Dec 25 04:53:41 Finished compiler/encoders/ag32                                  16s 749MB
Dec 25 04:53:42 Starting compiler/backend/x64
Dec 25 04:54:01 Finished compiler/backend/x64                                    18s 958MB
Dec 25 04:54:02 Starting compiler/backend/arm6
Dec 25 04:54:21 Finished compiler/backend/arm6                                   19s   1GB
Dec 25 04:54:22 Starting compiler/backend/arm8
Dec 25 04:54:41 Finished compiler/backend/arm8                                   17s 927MB
Dec 25 04:54:41 Starting compiler/backend/mips
Dec 25 04:55:00 Finished compiler/backend/mips                                   18s 909MB
Dec 25 04:55:01 Starting compiler/backend/riscv
Dec 25 04:55:20 Finished compiler/backend/riscv                                  17s   1GB
Dec 25 04:55:20 Starting compiler/backend/ag32
Dec 25 04:56:38 Finished compiler/backend/ag32                                 1m16s   1GB
Dec 25 04:56:38 Starting compiler/parsing/proofs
Dec 25 05:02:51 Finished compiler/parsing/proofs                               6m11s 852MB
Dec 25 05:02:52 Starting compiler/inference/proofs
Dec 25 05:05:49 Finished compiler/inference/proofs                             2m55s   1GB
Dec 25 05:05:50 Starting compiler/backend/semantics
Dec 25 05:13:36 Finished compiler/backend/semantics                            7m45s   1GB
Dec 25 05:13:37 Starting compiler/backend/reg_alloc/proofs
Dec 25 05:16:22 Finished compiler/backend/reg_alloc/proofs                     2m44s 793MB
Dec 25 05:16:23 Starting compiler/backend/proofs
Dec 25 05:56:37 Finished compiler/backend/proofs                              40m12s   4GB
Dec 25 05:56:37 Starting compiler/encoders/x64/proofs
Dec 25 06:06:36 Finished compiler/encoders/x64/proofs                          9m58s   5GB
Dec 25 06:06:37 Starting compiler/encoders/arm6/proofs
Dec 25 06:20:44 Finished compiler/encoders/arm6/proofs                        14m06s   5GB
Dec 25 06:20:45 Starting compiler/encoders/arm8/proofs
Dec 25 06:26:57 Finished compiler/encoders/arm8/proofs                         6m10s   1GB
Dec 25 06:26:57 Starting compiler/encoders/mips/proofs
Dec 25 06:37:27 Finished compiler/encoders/mips/proofs                        10m28s   2GB
Dec 25 06:37:28 Starting compiler/encoders/riscv/proofs
Dec 25 06:45:25 Finished compiler/encoders/riscv/proofs                        7m56s   1GB
Dec 25 06:45:26 Starting compiler/encoders/ag32/proofs
Dec 25 06:48:11 Finished compiler/encoders/ag32/proofs                         2m43s 951MB
Dec 25 06:48:11 Starting compiler/backend/x64/proofs
Dec 25 06:48:32 Finished compiler/backend/x64/proofs                             19s   1GB
Dec 25 06:48:33 Starting compiler/backend/arm6/proofs
Dec 25 06:48:54 Finished compiler/backend/arm6/proofs                            20s 903MB
Dec 25 06:48:55 Starting compiler/backend/arm8/proofs
Dec 25 06:49:14 Finished compiler/backend/arm8/proofs                            17s   1GB
Dec 25 06:49:15 Starting compiler/backend/mips/proofs
Dec 25 06:49:34 Finished compiler/backend/mips/proofs                            19s   1GB
Dec 25 06:49:35 Starting compiler/backend/riscv/proofs
Dec 25 06:49:55 Finished compiler/backend/riscv/proofs                           19s   1GB
Dec 25 06:49:56 Starting compiler/backend/ag32/proofs
Dec 25 06:59:36 Finished compiler/backend/ag32/proofs                          9m38s   2GB
Dec 25 06:59:37 Starting compiler/proofs
Dec 25 07:00:58 Finished compiler/proofs                                       1m20s   3GB
Dec 25 07:00:58 Starting candle/set-theory
Dec 25 07:01:25 Finished candle/set-theory                                       25s 824MB
Dec 25 07:01:26 Starting candle/syntax-lib
Dec 25 07:01:36 Finished candle/syntax-lib                                        9s 625MB
Dec 25 07:01:37 Starting candle/standard/syntax
Dec 25 07:03:28 Finished candle/standard/syntax                                1m50s   1GB
Dec 25 07:03:29 Starting candle/standard/semantics
Dec 25 07:05:11 Finished candle/standard/semantics                             1m41s   1GB
Dec 25 07:05:11 Starting candle/standard/monadic
Dec 25 07:06:55 Finished candle/standard/monadic                               1m42s   1GB
Dec 25 07:06:55 Starting candle/standard/ml_kernel
Dec 25 07:22:12 Finished candle/standard/ml_kernel                            15m15s   3GB
Dec 25 07:22:13 Starting candle/standard/opentheory
Dec 25 07:30:58 Finished candle/standard/opentheory                            8m44s   3GB
Dec 25 07:30:59 Starting candle/standard/opentheory/compilation
Dec 25 08:00:44 Finished candle/standard/opentheory/compilation               29m44s  11GB
Dec 25 08:00:45 Starting candle/standard/opentheory/compilation/proofs
Dec 25 08:01:32 Finished candle/standard/opentheory/compilation/proofs           45s   6GB
Dec 25 08:01:33 Starting characteristic/examples
Dec 25 08:03:03 Finished characteristic/examples                               1m29s   2GB
Dec 25 08:03:04 Starting tutorial/solutions
Dec 25 08:16:04 Finished tutorial/solutions                                   12m59s   6GB
Dec 25 08:16:05 Starting translator/monadic/examples
Dec 25 08:18:15 Finished translator/monadic/examples                           2m09s   3GB
Dec 25 08:18:16 Starting examples
Dec 25 08:26:15 Finished examples                                              7m57s   3GB
Dec 25 08:26:16 Starting examples/compilation/x64
Dec 25 10:29:14 Finished examples/compilation/x64                           2h02m57s  14GB
Dec 25 10:29:15 Starting examples/compilation/x64/proofs
Dec 25 10:31:47 Finished examples/compilation/x64/proofs                       2m31s   4GB
Dec 25 10:31:48 Starting examples/compilation/ag32
Dec 25 11:02:32 Finished examples/compilation/ag32                            30m42s   5GB
Dec 25 11:02:33 Starting examples/compilation/ag32/proofs
Dec 25 11:03:26 Finished examples/compilation/ag32/proofs                        52s   4GB
Dec 25 11:03:26 Starting translator/okasaki-examples
Dec 25 11:08:34 Finished translator/okasaki-examples                           5m06s   2GB
Dec 25 11:08:34 Starting translator/other-examples
Dec 25 11:09:41 Finished translator/other-examples                             1m05s   1GB
Dec 25 11:09:41 Starting compiler/parsing/tests
Dec 25 11:10:18 Finished compiler/parsing/tests                                  36s 542MB
Dec 25 11:10:19 Starting compiler/inference/tests
Dec 25 11:14:42 Finished compiler/inference/tests                              4m22s   4GB
Dec 25 11:14:43 Starting compiler/bootstrap/translation
Dec 25 15:11:07 Finished compiler/bootstrap/translation                     3h56m23s  32GB
Dec 25 15:11:08 Starting unverified/sexpr-bootstrap/x64/64
Dec 25 15:15:25 Finished unverified/sexpr-bootstrap/x64/64                     4m16s  14GB
Dec 25 15:15:26 Starting unverified/sexpr-bootstrap/x64/32
Dec 25 15:17:55 Finished unverified/sexpr-bootstrap/x64/32                     2m27s  21GB
Dec 25 15:17:55 Starting compiler/bootstrap/compilation/x64/64 Dec 25 15:17:55 2643s