CakeML Regression Test

Job 669

CakeML:482b55199fd17a80c4a15e932631374afbeeaf32
  Remove unused lem stubs [Jan 08 19:17:11]
#597 (lem-194778e)
Merging into:f298b174c42f4722ed5df729fe78cd3d18371471
  Merge pull request #595 from CakeML/local [Jan 08 16:59:45]
HOL:06eff940b2821c70b8c73368b6d1218f2c4d53b6
  minor [Jan 07 15:07:51]
Machine:oven2 4.13.0-37-generic x86_64 GNU/Linux

Jan 08 23:06:17 Claimed job
Jan 08 23:07:03 Building HOL
Jan 08 23:14:43 Starting developers
Jan 08 23:14:45 Finished developers                                               0s  31MB
Jan 08 23:14:46 Starting developers/bin
Jan 08 23:15:18 Finished developers/bin                                          31s 140MB
Jan 08 23:15:19 Starting semantics/ffi
Jan 08 23:15:53 Finished semantics/ffi                                           33s 502MB
Jan 08 23:15:54 Starting semantics
Jan 08 23:17:28 Finished semantics                                             1m33s   1GB
Jan 08 23:17:29 Starting semantics/proofs
Jan 08 23:20:45 Finished semantics/proofs                                      3m15s   1GB
Jan 08 23:20:46 Starting basis/pure
Jan 08 23:24:22 Finished basis/pure                                            3m35s 680MB
Jan 08 23:24:23 Starting translator
Jan 08 23:26:03 Finished translator                                            1m39s   1GB
Jan 08 23:26:04 Starting compiler/parsing
Jan 08 23:27:09 Finished compiler/parsing                                      1m04s   1GB
Jan 08 23:27:10 Starting characteristic
Jan 08 23:30:27 Finished characteristic                                        3m16s   2GB
Jan 08 23:30:28 Starting translator/monadic
Jan 08 23:31:54 Finished translator/monadic                                    1m25s   1GB
Jan 08 23:31:55 Starting basis
Jan 08 23:47:58 Finished basis                                                16m01s   3GB
Jan 08 23:47:59 Starting compiler/inference
Jan 08 23:49:52 Finished compiler/inference                                    1m52s   1GB
Jan 08 23:49:53 Starting compiler/backend/reg_alloc
Jan 08 23:50:44 Finished compiler/backend/reg_alloc                              50s   1GB
Jan 08 23:50:45 Starting compiler/backend/gc
Jan 08 23:59:38 Finished compiler/backend/gc                                   8m52s   1GB
Jan 08 23:59:39 Starting compiler/backend
Jan 08 23:59:41 Finished compiler/backend                                         1s  28MB
Jan 08 23:59:42 Starting compiler/encoders/asm
Jan 08 23:59:43 Finished compiler/encoders/asm                                    0s  16MB
Jan 08 23:59:44 Starting compiler/encoders/x64
Jan 09 00:00:44 Finished compiler/encoders/x64                                   59s 858MB
Jan 09 00:00:45 Starting compiler/encoders/arm6
Jan 09 00:02:37 Finished compiler/encoders/arm6                                1m51s   1GB
Jan 09 00:02:37 Starting compiler/encoders/arm8
Jan 09 00:03:08 Finished compiler/encoders/arm8                                  29s 608MB
Jan 09 00:03:09 Starting compiler/encoders/mips
Jan 09 00:04:12 Finished compiler/encoders/mips                                1m02s   1GB
Jan 09 00:04:13 Starting compiler/encoders/riscv
Jan 09 00:05:19 Finished compiler/encoders/riscv                               1m05s 996MB
Jan 09 00:05:20 Starting compiler/encoders/ag32
Jan 09 00:05:37 Finished compiler/encoders/ag32                                  15s 693MB
Jan 09 00:05:37 Starting compiler/backend/x64
Jan 09 00:05:54 Finished compiler/backend/x64                                    16s 835MB
Jan 09 00:05:55 Starting compiler/backend/arm6
Jan 09 00:06:14 Finished compiler/backend/arm6                                   17s   1GB
Jan 09 00:06:15 Starting compiler/backend/arm8
Jan 09 00:06:32 Finished compiler/backend/arm8                                   16s 877MB
Jan 09 00:06:32 Starting compiler/backend/mips
Jan 09 00:06:50 Finished compiler/backend/mips                                   17s   1GB
Jan 09 00:06:51 Starting compiler/backend/riscv
Jan 09 00:07:09 Finished compiler/backend/riscv                                  17s   1GB
Jan 09 00:07:10 Starting compiler/backend/ag32
Jan 09 00:08:23 Finished compiler/backend/ag32                                 1m11s   1GB
Jan 09 00:08:24 Starting compiler/parsing/proofs
Jan 09 00:14:38 Finished compiler/parsing/proofs                               6m13s 886MB
Jan 09 00:14:38 Starting compiler/inference/proofs
Jan 09 00:17:32 Finished compiler/inference/proofs                             2m53s 988MB
Jan 09 00:17:33 Starting compiler/backend/semantics
Jan 09 00:25:04 Finished compiler/backend/semantics                            7m30s   2GB
Jan 09 00:25:05 Starting compiler/backend/reg_alloc/proofs
Jan 09 00:27:49 Finished compiler/backend/reg_alloc/proofs                     2m43s 994MB
Jan 09 00:27:50 Starting compiler/backend/proofs
Jan 09 01:06:45 Finished compiler/backend/proofs                              38m53s   3GB
Jan 09 01:06:45 Starting compiler/encoders/x64/proofs
Jan 09 01:17:37 Finished compiler/encoders/x64/proofs                         10m50s   4GB
Jan 09 01:17:38 Starting compiler/encoders/arm6/proofs
Jan 09 01:33:18 Finished compiler/encoders/arm6/proofs                        15m39s   3GB
Jan 09 01:33:19 Starting compiler/encoders/arm8/proofs
Jan 09 01:39:37 Finished compiler/encoders/arm8/proofs                         6m17s   1GB
Jan 09 01:39:38 Starting compiler/encoders/mips/proofs
Jan 09 01:50:54 Finished compiler/encoders/mips/proofs                        11m14s   2GB
Jan 09 01:50:54 Starting compiler/encoders/riscv/proofs
Jan 09 01:58:54 Finished compiler/encoders/riscv/proofs                        7m58s   1GB
Jan 09 01:58:55 Starting compiler/encoders/ag32/proofs
Jan 09 02:01:40 Finished compiler/encoders/ag32/proofs                         2m44s 659MB
Jan 09 02:01:41 Starting compiler/backend/x64/proofs
Jan 09 02:02:00 Finished compiler/backend/x64/proofs                             18s   1GB
Jan 09 02:02:01 Starting compiler/backend/arm6/proofs
Jan 09 02:02:23 Finished compiler/backend/arm6/proofs                            21s   1GB
Jan 09 02:02:24 Starting compiler/backend/arm8/proofs
Jan 09 02:02:44 Finished compiler/backend/arm8/proofs                            18s   1GB
Jan 09 02:02:44 Starting compiler/backend/mips/proofs
Jan 09 02:03:04 Finished compiler/backend/mips/proofs                            19s   1GB
Jan 09 02:03:05 Starting compiler/backend/riscv/proofs
Jan 09 02:03:26 Finished compiler/backend/riscv/proofs                           19s   1GB
Jan 09 02:03:26 Starting compiler/backend/ag32/proofs
Jan 09 02:13:05 Finished compiler/backend/ag32/proofs                          9m37s   2GB
Jan 09 02:13:05 Starting compiler/proofs
Jan 09 02:14:34 Finished compiler/proofs                                       1m27s   2GB
Jan 09 02:14:35 Starting candle/set-theory
Jan 09 02:15:01 Finished candle/set-theory                                       25s 688MB
Jan 09 02:15:02 Starting candle/syntax-lib
Jan 09 02:15:12 Finished candle/syntax-lib                                        9s 585MB
Jan 09 02:15:13 Starting candle/standard/syntax
Jan 09 02:17:03 Finished candle/standard/syntax                                1m49s 890MB
Jan 09 02:17:04 Starting candle/standard/semantics
Jan 09 02:18:44 Finished candle/standard/semantics                             1m39s   1GB
Jan 09 02:18:45 Starting candle/standard/monadic
Jan 09 02:20:28 Finished candle/standard/monadic                               1m42s   1GB
Jan 09 02:20:28 Starting candle/standard/ml_kernel
Jan 09 02:24:17 Finished candle/standard/ml_kernel                             3m47s   3GB
Jan 09 02:24:17 Starting candle/standard/opentheory
Jan 09 02:33:05 Finished candle/standard/opentheory                            8m46s   5GB
Jan 09 02:33:05 Starting candle/standard/opentheory/compilation
Jan 09 03:02:44 Finished candle/standard/opentheory/compilation               29m37s  15GB
Jan 09 03:02:44 Starting candle/standard/opentheory/compilation/proofs
Jan 09 03:03:32 Finished candle/standard/opentheory/compilation/proofs           46s   5GB
Jan 09 03:03:32 Starting characteristic/examples
Jan 09 03:05:04 Finished characteristic/examples                               1m30s   3GB
Jan 09 03:05:04 Starting tutorial/solutions
Jan 09 03:18:05 Finished tutorial/solutions                                   12m58s   7GB
Jan 09 03:18:05 Starting translator/monadic/examples
Jan 09 03:20:14 Finished translator/monadic/examples                           2m07s   2GB
Jan 09 03:20:14 Starting examples
Jan 09 03:27:46 Finished examples                                              7m30s   3GB
Jan 09 03:27:46 Starting examples/compilation/x64
Jan 09 05:29:32 Finished examples/compilation/x64                           2h01m43s  11GB
Jan 09 05:29:32 Starting examples/compilation/x64/proofs
Jan 09 05:31:20 Finished examples/compilation/x64/proofs                       1m47s   4GB
Jan 09 05:31:21 Starting examples/compilation/ag32
Jan 09 05:58:59 Finished examples/compilation/ag32                            27m36s   5GB
Jan 09 05:59:00 Starting examples/compilation/ag32/proofs
Jan 09 05:59:46 Finished examples/compilation/ag32/proofs                        45s   4GB
Jan 09 05:59:47 Starting translator/okasaki-examples
Jan 09 06:03:56 Finished translator/okasaki-examples                           4m08s   1GB
Jan 09 06:03:57 Starting translator/other-examples
Jan 09 06:07:20 Finished translator/other-examples                             3m22s   1GB
Jan 09 06:07:21 Starting compiler/parsing/tests
Jan 09 06:07:47 Finished compiler/parsing/tests                                  25s 546MB
Jan 09 06:07:48 Starting compiler/inference/tests
Jan 09 06:11:51 Finished compiler/inference/tests                              4m01s   4GB
Jan 09 06:11:51 Starting compiler/bootstrap/translation
Jan 09 08:56:18 Finished compiler/bootstrap/translation                     2h44m25s  53GB
Jan 09 08:56:19 Starting unverified/sexpr-bootstrap/x64/64
Jan 09 09:06:11 Finished unverified/sexpr-bootstrap/x64/64                     9m51s  15GB
Jan 09 09:06:12 Starting unverified/sexpr-bootstrap/x64/32
Jan 09 09:12:23 Finished unverified/sexpr-bootstrap/x64/32                     6m10s  20GB
Jan 09 09:12:24 Starting compiler/bootstrap/compilation/x64/64 Jan 09 09:12:24 2641s