CakeML Regression Test

Job 668

CakeML:f298b174c42f4722ed5df729fe78cd3d18371471
  Merge pull request #595 from CakeML/local [Jan 08 16:59:45]
HOL:06eff940b2821c70b8c73368b6d1218f2c4d53b6
  minor [Jan 07 15:07:51]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 08 19:00:02 Claimed job
Jan 08 19:00:27 Building HOL
Jan 08 19:09:45 Starting developers
Jan 08 19:09:48 Finished developers                                               2s  20MB
Jan 08 19:09:49 Starting developers/bin
Jan 08 19:11:05 Finished developers/bin                                        1m15s 916MB
Jan 08 19:11:06 Starting semantics/ffi
Jan 08 19:11:44 Finished semantics/ffi                                           38s 495MB
Jan 08 19:11:45 Starting semantics
Jan 08 19:13:24 Finished semantics                                             1m38s   1GB
Jan 08 19:13:25 Starting semantics/proofs
Jan 08 19:16:46 Finished semantics/proofs                                      3m20s   1GB
Jan 08 19:16:47 Starting basis/pure
Jan 08 19:20:26 Finished basis/pure                                            3m38s 687MB
Jan 08 19:20:27 Starting translator
Jan 08 19:22:09 Finished translator                                            1m41s   1GB
Jan 08 19:22:10 Starting compiler/parsing
Jan 08 19:23:14 Finished compiler/parsing                                      1m03s   1GB
Jan 08 19:23:15 Starting characteristic
Jan 08 19:26:37 Finished characteristic                                        3m21s   1GB
Jan 08 19:26:38 Starting translator/monadic
Jan 08 19:28:06 Finished translator/monadic                                    1m27s   1GB
Jan 08 19:28:07 Starting basis
Jan 08 19:44:04 Finished basis                                                15m56s   2GB
Jan 08 19:44:05 Starting compiler/inference
Jan 08 19:46:04 Finished compiler/inference                                    1m58s   1GB
Jan 08 19:46:05 Starting compiler/backend/reg_alloc
Jan 08 19:46:58 Finished compiler/backend/reg_alloc                              51s   1GB
Jan 08 19:46:58 Starting compiler/backend/gc
Jan 08 19:56:04 Finished compiler/backend/gc                                   9m05s   2GB
Jan 08 19:56:05 Starting compiler/backend
Jan 08 19:56:08 Finished compiler/backend                                         2s  18MB
Jan 08 19:56:08 Starting compiler/encoders/asm
Jan 08 19:56:10 Finished compiler/encoders/asm                                    1s  15MB
Jan 08 19:56:11 Starting compiler/encoders/x64
Jan 08 19:57:13 Finished compiler/encoders/x64                                 1m01s 660MB
Jan 08 19:57:13 Starting compiler/encoders/arm6
Jan 08 19:59:07 Finished compiler/encoders/arm6                                1m53s   1GB
Jan 08 19:59:08 Starting compiler/encoders/arm8
Jan 08 19:59:40 Finished compiler/encoders/arm8                                  31s 506MB
Jan 08 19:59:41 Starting compiler/encoders/mips
Jan 08 20:00:47 Finished compiler/encoders/mips                                1m05s 969MB
Jan 08 20:00:48 Starting compiler/encoders/riscv
Jan 08 20:01:57 Finished compiler/encoders/riscv                               1m09s 777MB
Jan 08 20:01:58 Starting compiler/encoders/ag32
Jan 08 20:02:16 Finished compiler/encoders/ag32                                  17s 795MB
Jan 08 20:02:17 Starting compiler/backend/x64
Jan 08 20:02:34 Finished compiler/backend/x64                                    17s 791MB
Jan 08 20:02:35 Starting compiler/backend/arm6
Jan 08 20:02:55 Finished compiler/backend/arm6                                   19s   1GB
Jan 08 20:02:56 Starting compiler/backend/arm8
Jan 08 20:03:15 Finished compiler/backend/arm8                                   19s   1GB
Jan 08 20:03:16 Starting compiler/backend/mips
Jan 08 20:03:37 Finished compiler/backend/mips                                   20s   1GB
Jan 08 20:03:37 Starting compiler/backend/riscv
Jan 08 20:03:57 Finished compiler/backend/riscv                                  19s   1GB
Jan 08 20:03:58 Starting compiler/backend/ag32
Jan 08 20:05:13 Finished compiler/backend/ag32                                 1m14s 882MB
Jan 08 20:05:13 Starting compiler/parsing/proofs
Jan 08 20:11:32 Finished compiler/parsing/proofs                               6m17s 851MB
Jan 08 20:11:32 Starting compiler/inference/proofs
Jan 08 20:14:25 Finished compiler/inference/proofs                             2m52s   1GB
Jan 08 20:14:26 Starting compiler/backend/semantics
Jan 08 20:21:56 Finished compiler/backend/semantics                            7m29s   1GB
Jan 08 20:21:57 Starting compiler/backend/reg_alloc/proofs
Jan 08 20:24:42 Finished compiler/backend/reg_alloc/proofs                     2m45s 810MB
Jan 08 20:24:43 Starting compiler/backend/proofs
Jan 08 21:03:16 Finished compiler/backend/proofs                              38m31s   3GB
Jan 08 21:03:16 Starting compiler/encoders/x64/proofs
Jan 08 21:13:58 Finished compiler/encoders/x64/proofs                         10m40s   5GB
Jan 08 21:13:59 Starting compiler/encoders/arm6/proofs
Jan 08 21:29:08 Finished compiler/encoders/arm6/proofs                        15m09s   3GB
Jan 08 21:29:09 Starting compiler/encoders/arm8/proofs
Jan 08 21:35:23 Finished compiler/encoders/arm8/proofs                         6m13s   1GB
Jan 08 21:35:23 Starting compiler/encoders/mips/proofs
Jan 08 21:46:10 Finished compiler/encoders/mips/proofs                        10m45s   2GB
Jan 08 21:46:11 Starting compiler/encoders/riscv/proofs
Jan 08 21:54:04 Finished compiler/encoders/riscv/proofs                        7m52s   1GB
Jan 08 21:54:04 Starting compiler/encoders/ag32/proofs
Jan 08 21:56:48 Finished compiler/encoders/ag32/proofs                         2m43s 820MB
Jan 08 21:56:49 Starting compiler/backend/x64/proofs
Jan 08 21:57:10 Finished compiler/backend/x64/proofs                             20s   1GB
Jan 08 21:57:11 Starting compiler/backend/arm6/proofs
Jan 08 21:57:35 Finished compiler/backend/arm6/proofs                            23s   1GB
Jan 08 21:57:35 Starting compiler/backend/arm8/proofs
Jan 08 21:57:55 Finished compiler/backend/arm8/proofs                            18s 874MB
Jan 08 21:57:55 Starting compiler/backend/mips/proofs
Jan 08 21:58:16 Finished compiler/backend/mips/proofs                            20s   1GB
Jan 08 21:58:17 Starting compiler/backend/riscv/proofs
Jan 08 21:58:38 Finished compiler/backend/riscv/proofs                           20s   1GB
Jan 08 21:58:38 Starting compiler/backend/ag32/proofs
Jan 08 22:07:47 Finished compiler/backend/ag32/proofs                          9m07s   2GB
Jan 08 22:07:47 Starting compiler/proofs
Jan 09 12:41:22 Restarting task.
Jan 09 12:42:43 Finished compiler/proofs                                       1m19s   2GB
Jan 09 12:42:43 Starting candle/set-theory
Jan 09 12:43:10 Finished candle/set-theory                                       26s 822MB
Jan 09 12:43:11 Starting candle/syntax-lib
Jan 09 12:43:22 Finished candle/syntax-lib                                       10s 459MB
Jan 09 12:43:23 Starting candle/standard/syntax
Jan 09 12:45:13 Finished candle/standard/syntax                                1m49s   1GB
Jan 09 12:45:13 Starting candle/standard/semantics
Jan 09 12:46:55 Finished candle/standard/semantics                             1m41s   1GB
Jan 09 12:46:56 Starting candle/standard/monadic
Jan 09 12:48:38 Finished candle/standard/monadic                               1m41s   1GB
Jan 09 12:48:39 Starting candle/standard/ml_kernel
Jan 09 12:52:27 Finished candle/standard/ml_kernel                             3m47s   4GB
Jan 09 12:52:27 Starting candle/standard/opentheory
Jan 09 13:01:08 Finished candle/standard/opentheory                            8m40s   4GB
Jan 09 13:01:09 Starting candle/standard/opentheory/compilation
Jan 09 13:30:10 Finished candle/standard/opentheory/compilation               28m59s  24GB
Jan 09 13:30:10 Starting candle/standard/opentheory/compilation/proofs
Jan 09 13:31:01 Finished candle/standard/opentheory/compilation/proofs           50s   5GB
Jan 09 13:31:02 Starting characteristic/examples
Jan 09 13:32:28 Finished characteristic/examples                               1m26s   3GB
Jan 09 13:32:29 Starting tutorial/solutions
Jan 09 13:45:27 Finished tutorial/solutions                                   12m57s   6GB
Jan 09 13:45:27 Starting translator/monadic/examples
Jan 09 13:47:42 Finished translator/monadic/examples                           2m13s   2GB
Jan 09 13:47:43 Starting examples
Jan 09 13:55:22 Finished examples                                              7m38s   5GB
Jan 09 13:55:22 Starting examples/compilation/x64
Jan 09 14:15:13 Resuming examples/compilation/x64
Jan 09 14:15:14 FAILED: examples/compilation/x64
Holmake failed with exception: Path
Raised from: ./basis/OS.sml: 580:0 - 580:0