CakeML Regression Test

Job 647

CakeML:d7df605c3878629fcad0bc348664553a3a9ce692
  Fix compute issues for nsLookup (again). [Dec 21 14:59:59]
#509 (lem-updates)
Merging into: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:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Dec 24 11:14:23 Claimed job
Dec 24 11:14:28 Reusing HOL
Dec 24 11:15:18 Starting developers
Dec 24 11:15:21 Finished developers                                               2s  21MB
Dec 24 11:15:22 Starting developers/bin
Dec 24 11:16:40 Finished developers/bin                                        1m17s 916MB
Dec 24 11:16:40 Starting semantics/ffi
Dec 24 11:16:52 Finished semantics/ffi                                           10s 229MB
Dec 24 11:16:52 Starting semantics
Dec 24 11:18:17 Finished semantics                                             1m24s   1GB
Dec 24 11:18:18 Starting semantics/proofs
Dec 24 11:21:43 Finished semantics/proofs                                      3m24s   1GB
Dec 24 11:21:43 Starting basis/pure
Dec 24 11:22:37 Finished basis/pure                                              53s 647MB
Dec 24 11:22:38 Starting translator
Dec 24 11:24:18 Finished translator                                            1m38s   1GB
Dec 24 11:24:19 Starting compiler/parsing
Dec 24 11:25:25 Finished compiler/parsing                                      1m06s   2GB
Dec 24 11:25:26 Starting characteristic
Dec 24 11:28:49 Finished characteristic                                        3m22s   1GB
Dec 24 11:28:50 Starting translator/monadic
Dec 24 11:30:18 Finished translator/monadic                                    1m27s   1GB
Dec 24 11:30:18 Starting basis
Dec 24 11:46:49 Finished basis                                                16m29s   3GB
Dec 24 11:46:49 Starting compiler/inference
Dec 24 11:48:29 Finished compiler/inference                                    1m39s   1GB
Dec 24 11:48:30 Starting compiler/backend/reg_alloc
Dec 24 11:49:23 Finished compiler/backend/reg_alloc                              52s   1GB
Dec 24 11:49:24 Starting compiler/backend/gc
Dec 24 11:57:24 Finished compiler/backend/gc                                   8m00s   1GB
Dec 24 11:57:25 Starting compiler/backend
Dec 24 11:57:28 Finished compiler/backend                                         2s  17MB
Dec 24 11:57:29 Starting compiler/encoders/asm
Dec 24 11:57:31 Finished compiler/encoders/asm                                    1s  16MB
Dec 24 11:57:31 Starting compiler/encoders/x64
Dec 24 11:57:58 Finished compiler/encoders/x64                                   26s 931MB
Dec 24 11:57:58 Starting compiler/encoders/arm6
Dec 24 11:58:51 Finished compiler/encoders/arm6                                  52s 745MB
Dec 24 11:58:52 Starting compiler/encoders/arm8
Dec 24 11:59:07 Finished compiler/encoders/arm8                                  14s 758MB
Dec 24 11:59:08 Starting compiler/encoders/mips
Dec 24 11:59:26 Finished compiler/encoders/mips                                  17s   1GB
Dec 24 11:59:27 Starting compiler/encoders/riscv
Dec 24 11:59:43 Finished compiler/encoders/riscv                                 15s 936MB
Dec 24 11:59:43 Starting compiler/encoders/ag32
Dec 24 12:00:02 Finished compiler/encoders/ag32                                  17s 657MB
Dec 24 12:00:02 Starting compiler/backend/x64
Dec 24 12:00:20 Finished compiler/backend/x64                                    17s 859MB
Dec 24 12:00:21 Starting compiler/backend/arm6
Dec 24 12:00:42 Finished compiler/backend/arm6                                   20s 985MB
Dec 24 12:00:43 Starting compiler/backend/arm8
Dec 24 12:01:02 Finished compiler/backend/arm8                                   18s 908MB
Dec 24 12:01:03 Starting compiler/backend/mips
Dec 24 12:01:21 Finished compiler/backend/mips                                   17s 796MB
Dec 24 12:01:22 Starting compiler/backend/riscv
Dec 24 12:01:42 Finished compiler/backend/riscv                                  19s   1GB
Dec 24 12:01:42 Starting compiler/backend/ag32
Dec 24 12:02:55 Finished compiler/backend/ag32                                 1m11s 815MB
Dec 24 12:02:55 Starting compiler/parsing/proofs
Dec 24 12:09:13 Finished compiler/parsing/proofs                               6m17s 835MB
Dec 24 12:09:14 Starting compiler/inference/proofs
Dec 24 12:12:10 Finished compiler/inference/proofs                             2m55s   1GB
Dec 24 12:12:11 Starting compiler/backend/semantics
Dec 24 12:19:44 Finished compiler/backend/semantics                            7m32s   2GB
Dec 24 12:19:44 Starting compiler/backend/reg_alloc/proofs
Dec 24 12:22:34 Finished compiler/backend/reg_alloc/proofs                     2m48s 769MB
Dec 24 12:22:34 Starting compiler/backend/proofs
Dec 24 13:01:13 Finished compiler/backend/proofs                              38m38s   3GB
Dec 24 13:01:14 Starting compiler/encoders/x64/proofs
Dec 24 13:10:57 Finished compiler/encoders/x64/proofs                          9m42s   5GB
Dec 24 13:10:57 Starting compiler/encoders/arm6/proofs
Dec 24 13:24:48 Finished compiler/encoders/arm6/proofs                        13m49s   6GB
Dec 24 13:24:48 Starting compiler/encoders/arm8/proofs
Dec 24 13:30:38 Finished compiler/encoders/arm8/proofs                         5m48s   1GB
Dec 24 13:30:38 Starting compiler/encoders/mips/proofs
Dec 24 13:41:22 Finished compiler/encoders/mips/proofs                        10m43s   2GB
Dec 24 13:41:23 Starting compiler/encoders/riscv/proofs
Dec 24 13:49:12 Finished compiler/encoders/riscv/proofs                        7m47s   1GB
Dec 24 13:49:12 Starting compiler/encoders/ag32/proofs
Dec 24 13:51:57 Finished compiler/encoders/ag32/proofs                         2m43s 843MB
Dec 24 13:51:57 Starting compiler/backend/x64/proofs
Dec 24 13:52:19 Finished compiler/backend/x64/proofs                             20s   1GB
Dec 24 13:52:19 Starting compiler/backend/arm6/proofs
Dec 24 13:52:42 Finished compiler/backend/arm6/proofs                            21s 923MB
Dec 24 13:52:42 Starting compiler/backend/arm8/proofs
Dec 24 13:53:02 Finished compiler/backend/arm8/proofs                            19s   1GB
Dec 24 13:53:03 Starting compiler/backend/mips/proofs
Dec 24 13:53:24 Finished compiler/backend/mips/proofs                            20s   1GB
Dec 24 13:53:25 Starting compiler/backend/riscv/proofs
Dec 24 13:53:47 Finished compiler/backend/riscv/proofs                           21s   1GB
Dec 24 13:53:47 Starting compiler/backend/ag32/proofs
Dec 24 14:03:06 Finished compiler/backend/ag32/proofs                          9m18s   2GB
Dec 24 14:03:07 Starting compiler/proofs
Dec 24 14:04:37 Finished compiler/proofs                                       1m29s   3GB
Dec 24 14:04:38 Starting candle/set-theory
Dec 24 14:05:05 Finished candle/set-theory                                       26s 690MB
Dec 24 14:05:06 Starting candle/syntax-lib
Dec 24 14:05:17 Finished candle/syntax-lib                                       10s 455MB
Dec 24 14:05:18 Starting candle/standard/syntax
Dec 24 14:07:07 Finished candle/standard/syntax                                1m48s   1GB
Dec 24 14:07:08 Starting candle/standard/semantics
Dec 24 14:08:51 Finished candle/standard/semantics                             1m42s   1GB
Dec 24 14:08:52 Starting candle/standard/monadic
Dec 24 14:10:36 Finished candle/standard/monadic                               1m43s   1GB
Dec 24 14:10:37 Starting candle/standard/ml_kernel
Dec 24 14:25:45 Finished candle/standard/ml_kernel                            15m07s   3GB
Dec 24 14:25:46 Starting candle/standard/opentheory
Dec 24 14:34:53 Finished candle/standard/opentheory                            9m06s   5GB
Dec 24 14:34:54 Starting candle/standard/opentheory/compilation
Dec 24 15:04:33 Finished candle/standard/opentheory/compilation               29m38s  14GB
Dec 24 15:04:34 Starting candle/standard/opentheory/compilation/proofs
Dec 24 15:05:23 Finished candle/standard/opentheory/compilation/proofs           48s   5GB
Dec 24 15:05:24 Starting characteristic/examples
Dec 24 15:06:57 Finished characteristic/examples                               1m32s   3GB
Dec 24 15:06:58 Starting tutorial/solutions
Dec 24 15:20:10 Finished tutorial/solutions                                   13m11s   5GB
Dec 24 15:20:11 Starting translator/monadic/examples
Dec 24 15:22:23 Finished translator/monadic/examples                           2m11s   2GB
Dec 24 15:22:23 Starting examples
Dec 24 15:30:10 Finished examples                                              7m46s   3GB
Dec 24 15:30:11 Starting examples/compilation/x64
Dec 24 17:31:00 Finished examples/compilation/x64                           2h00m48s  14GB
Dec 24 17:31:01 Starting examples/compilation/x64/proofs
Dec 24 17:32:51 Finished examples/compilation/x64/proofs                       1m49s   5GB
Dec 24 17:32:52 Starting examples/compilation/ag32
Dec 24 18:00:22 Finished examples/compilation/ag32                            27m29s   6GB
Dec 24 18:00:23 Starting examples/compilation/ag32/proofs
Dec 24 18:01:11 Finished examples/compilation/ag32/proofs                        47s   4GB
Dec 24 18:01:12 Starting translator/okasaki-examples
Dec 24 18:05:17 Finished translator/okasaki-examples                           4m03s   1GB
Dec 24 18:05:17 Starting translator/other-examples
Dec 24 18:06:01 Finished translator/other-examples                               42s   1GB
Dec 24 18:06:01 Starting compiler/parsing/tests
Dec 24 18:06:29 Finished compiler/parsing/tests                                  26s 564MB
Dec 24 18:06:29 Starting compiler/inference/tests
Dec 24 18:10:26 Finished compiler/inference/tests                              3m55s   4GB
Dec 24 18:10:27 Starting compiler/bootstrap/translation
Dec 24 21:39:25 Finished compiler/bootstrap/translation                     3h28m57s  43GB
Dec 24 21:39:26 Starting unverified/sexpr-bootstrap/x64/64
Dec 24 21:43:04 Finished unverified/sexpr-bootstrap/x64/64                     3m37s  14GB
Dec 24 21:43:05 Starting unverified/sexpr-bootstrap/x64/32
Dec 24 21:45:06 Finished unverified/sexpr-bootstrap/x64/32                     2m00s  19GB
Dec 24 21:45:07 Starting compiler/bootstrap/compilation/x64/64
Dec 25 07:39:08 Finished compiler/bootstrap/compilation/x64/64              9h54m00s  63GB
Dec 25 07:39:09 Starting compiler/bootstrap/compilation/x64/64/proofs
Dec 25 07:45:33 Finished compiler/bootstrap/compilation/x64/64/proofs          6m23s  32GB
Dec 25 07:45:34 Starting compiler/bootstrap/compilation/x64/32
Dec 25 16:38:50 Finished compiler/bootstrap/compilation/x64/32              8h53m15s  64GB
Dec 25 16:38:51 Starting compiler/bootstrap/compilation/x64/32/proofs
Dec 25 16:45:03 Finished compiler/bootstrap/compilation/x64/32/proofs          6m12s  31GB
Dec 25 16:45:04 SUCCESS