CakeML Regression Test

Job 1134

CakeML:bdf0a80d5f661d26d0f405bf19f414b20c01787f
  Fix CF examples to cope with changes to packLib [Jan 07 00:10:06]
#714 (nopacklib)
Merging into:07bca965721baed53cea03de48b0e523ff1af007
  Merge pull request #711 from CakeML/refs-unchanged [Dec 22 21:35:58]
HOL:76d78d3b69ca8b114cb7d8ebf345c8ac28d0f83f
  Provide plausible default (not []) for POLY_LDFLAGS on all platforms [Jan 03 23:23:48]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Jan 07 00:14:36 Claimed job
Jan 07 00:14:43 Building HOL
Jan 07 00:26:02 Starting developers
Jan 07 00:26:06 Finished developers                                               4s  85MB
Jan 07 00:26:06 Starting developers/bin
Jan 07 00:26:13 Finished developers/bin                                           6s 960MB
Jan 07 00:26:13 Starting semantics/ffi
Jan 07 00:26:24 Finished semantics/ffi                                            9s 228MB
Jan 07 00:26:24 Starting semantics
Jan 07 00:27:54 Finished semantics                                             1m30s   1GB
Jan 07 00:27:55 Starting semantics/proofs
Jan 07 00:31:18 Finished semantics/proofs                                      3m22s   1GB
Jan 07 00:31:18 Starting semantics/alt_semantics
Jan 07 00:31:26 Finished semantics/alt_semantics                                  7s 274MB
Jan 07 00:31:26 Starting semantics/alt_semantics/proofs
Jan 07 00:33:31 Finished semantics/alt_semantics/proofs                        2m04s   1GB
Jan 07 00:33:31 Starting basis/pure
Jan 07 00:36:34 Finished basis/pure                                            3m02s 727MB
Jan 07 00:36:34 Starting translator
Jan 07 00:39:08 Finished translator                                            2m33s   1GB
Jan 07 00:39:08 Starting compiler/parsing
Jan 07 00:40:18 Finished compiler/parsing                                      1m09s   1GB
Jan 07 00:40:18 Starting characteristic
Jan 07 00:46:06 Finished characteristic                                        5m47s   1GB
Jan 07 00:46:06 Starting translator/monadic
Jan 07 00:47:39 Finished translator/monadic                                    1m33s   1GB
Jan 07 00:47:40 Starting basis
Jan 07 01:22:46 Finished basis                                                35m06s  13GB
Jan 07 01:22:46 Starting compiler/inference
Jan 07 01:24:41 Finished compiler/inference                                    1m54s   2GB
Jan 07 01:24:41 Starting compiler/backend/reg_alloc
Jan 07 01:25:45 Finished compiler/backend/reg_alloc                            1m03s   1GB
Jan 07 01:25:45 Starting compiler/backend/gc
Jan 07 01:29:13 Finished compiler/backend/gc                                   3m27s   1GB
Jan 07 01:29:13 Starting compiler/backend
Jan 07 01:33:09 Finished compiler/backend                                      3m55s   2GB
Jan 07 01:33:09 Starting compiler/encoders/asm
Jan 07 01:33:31 Finished compiler/encoders/asm                                   21s 859MB
Jan 07 01:33:31 Starting compiler/encoders/x64
Jan 07 01:34:30 Finished compiler/encoders/x64                                   58s 803MB
Jan 07 01:34:30 Starting compiler/encoders/arm7
Jan 07 01:36:16 Finished compiler/encoders/arm7                                1m45s   1GB
Jan 07 01:36:16 Starting compiler/encoders/arm8
Jan 07 01:36:50 Finished compiler/encoders/arm8                                  33s 538MB
Jan 07 01:36:50 Starting compiler/encoders/mips
Jan 07 01:38:03 Finished compiler/encoders/mips                                1m13s 934MB
Jan 07 01:38:03 Starting compiler/encoders/riscv
Jan 07 01:39:32 Finished compiler/encoders/riscv                               1m28s 863MB
Jan 07 01:39:32 Starting compiler/encoders/ag32
Jan 07 01:39:50 Finished compiler/encoders/ag32                                  17s 556MB
Jan 07 01:39:50 Starting compiler/backend/x64
Jan 07 01:40:08 Finished compiler/backend/x64                                    17s   1GB
Jan 07 01:40:08 Starting compiler/backend/arm7
Jan 07 01:40:28 Finished compiler/backend/arm7                                   19s   1GB
Jan 07 01:40:29 Starting compiler/backend/arm8
Jan 07 01:40:46 Finished compiler/backend/arm8                                   17s   1GB
Jan 07 01:40:47 Starting compiler/backend/mips
Jan 07 01:41:05 Finished compiler/backend/mips                                   18s   1GB
Jan 07 01:41:05 Starting compiler/backend/riscv
Jan 07 01:41:24 Finished compiler/backend/riscv                                  18s   1GB
Jan 07 01:41:24 Starting compiler/backend/ag32
Jan 07 01:42:34 Finished compiler/backend/ag32                                 1m09s   1GB
Jan 07 01:42:34 Starting compiler/parsing/proofs
Jan 07 01:48:29 Finished compiler/parsing/proofs                               5m54s   1GB
Jan 07 01:48:29 Starting compiler/inference/proofs
Jan 07 01:51:30 Finished compiler/inference/proofs                             3m00s   1GB
Jan 07 01:51:30 Starting compiler/backend/semantics
Jan 07 02:22:10 Finished compiler/backend/semantics                           30m40s   2GB
Jan 07 02:22:11 Starting compiler/backend/reg_alloc/proofs
Jan 07 02:25:50 Finished compiler/backend/reg_alloc/proofs                     3m38s 922MB
Jan 07 02:25:50 Starting compiler/backend/proofs
Jan 07 03:32:15 Finished compiler/backend/proofs                            1h06m24s  12GB
Jan 07 03:32:15 Starting compiler/encoders/x64/proofs
Jan 07 03:42:04 Finished compiler/encoders/x64/proofs                          9m48s   5GB
Jan 07 03:42:04 Starting compiler/encoders/arm7/proofs
Jan 07 03:55:30 Finished compiler/encoders/arm7/proofs                        13m26s   3GB
Jan 07 03:55:30 Starting compiler/encoders/arm8/proofs
Jan 07 04:02:13 Finished compiler/encoders/arm8/proofs                         6m42s   1GB
Jan 07 04:02:13 Starting compiler/encoders/mips/proofs
Jan 07 04:12:27 Finished compiler/encoders/mips/proofs                        10m13s   2GB
Jan 07 04:12:27 Starting compiler/encoders/riscv/proofs
Jan 07 04:21:30 Finished compiler/encoders/riscv/proofs                        9m03s 999MB
Jan 07 04:21:30 Starting compiler/encoders/ag32/proofs
Jan 07 04:24:10 Finished compiler/encoders/ag32/proofs                         2m39s 604MB
Jan 07 04:24:10 Starting compiler/backend/x64/proofs
Jan 07 04:24:29 Finished compiler/backend/x64/proofs                             18s   1GB
Jan 07 04:24:29 Starting compiler/backend/arm7/proofs
Jan 07 04:24:50 Finished compiler/backend/arm7/proofs                            20s   1GB
Jan 07 04:24:51 Starting compiler/backend/arm8/proofs
Jan 07 04:25:09 Finished compiler/backend/arm8/proofs                            17s 793MB
Jan 07 04:25:09 Starting compiler/backend/mips/proofs
Jan 07 04:25:28 Finished compiler/backend/mips/proofs                            18s   1GB
Jan 07 04:25:28 Starting compiler/backend/riscv/proofs
Jan 07 04:25:48 Finished compiler/backend/riscv/proofs                           19s   1GB
Jan 07 04:25:48 Starting compiler/backend/ag32/proofs
Jan 07 04:35:23 Finished compiler/backend/ag32/proofs                          9m34s   2GB
Jan 07 04:35:23 Starting compiler/proofs
Jan 07 04:36:56 Finished compiler/proofs                                       1m32s   2GB
Jan 07 04:36:56 Starting candle/set-theory
Jan 07 04:37:24 Finished candle/set-theory                                       27s 760MB
Jan 07 04:37:24 Starting candle/syntax-lib
Jan 07 04:37:34 Finished candle/syntax-lib                                       10s 600MB
Jan 07 04:37:35 Starting candle/standard/syntax
Jan 07 04:39:25 Finished candle/standard/syntax                                1m50s   1GB
Jan 07 04:39:25 Starting candle/standard/semantics
Jan 07 04:41:07 Finished candle/standard/semantics                             1m41s   1GB
Jan 07 04:41:07 Starting candle/standard/monadic
Jan 07 04:42:48 Finished candle/standard/monadic                               1m40s   1GB
Jan 07 04:42:48 Starting candle/standard/ml_kernel
Jan 07 04:49:26 Finished candle/standard/ml_kernel                             6m37s   5GB
Jan 07 04:49:26 Starting candle/standard/opentheory
Jan 07 05:04:53 Finished candle/standard/opentheory                           15m27s   4GB
Jan 07 05:04:54 Starting candle/standard/opentheory/compilation
Jan 07 05:34:53 Finished candle/standard/opentheory/compilation               29m58s  23GB
Jan 07 05:34:53 Starting candle/standard/opentheory/compilation/proofs
Jan 07 05:35:26 Finished candle/standard/opentheory/compilation/proofs           32s   2GB
Jan 07 05:35:26 Starting characteristic/examples
Jan 07 05:37:11 Finished characteristic/examples                               1m44s   3GB
Jan 07 05:37:11 Starting tutorial/solutions
Jan 07 05:51:17 Finished tutorial/solutions                                   14m05s   6GB
Jan 07 05:51:17 Starting translator/monadic/examples
Jan 07 05:54:36 Finished translator/monadic/examples                           3m19s   2GB
Jan 07 05:54:36 Starting examples
Jan 07 06:06:05 Finished examples                                             11m28s   4GB
Jan 07 06:06:05 Starting examples/compilation/x64
Jan 07 08:15:08 Finished examples/compilation/x64                           2h09m02s  14GB
Jan 07 08:15:08 Starting examples/compilation/x64/proofs
Jan 07 08:16:47 Finished examples/compilation/x64/proofs                       1m38s   2GB
Jan 07 08:16:47 Starting examples/compilation/ag32
Jan 07 08:46:36 Finished examples/compilation/ag32                            29m49s   5GB
Jan 07 08:46:37 Starting examples/compilation/ag32/proofs
Jan 07 08:47:16 Finished examples/compilation/ag32/proofs                        38s   3GB
Jan 07 08:47:16 Starting examples/cost
Jan 07 09:15:43 Finished examples/cost                                        28m26s   8GB
Jan 07 09:15:43 Starting examples/lrat_checker
Jan 07 09:20:29 Finished examples/lrat_checker                                 4m45s   2GB
Jan 07 09:20:29 Starting examples/lrat_checker/compilation
Jan 07 09:36:06 Finished examples/lrat_checker/compilation                    15m36s   7GB
Jan 07 09:36:06 Starting examples/lrat_checker/compilation/proofs
Jan 07 09:36:38 Finished examples/lrat_checker/compilation/proofs                31s   2GB
Jan 07 09:36:38 Starting examples/lrat_checker/array
Jan 07 09:43:10 Finished examples/lrat_checker/array                           6m31s   2GB
Jan 07 09:43:10 Starting examples/lrat_checker/array/compilation
Jan 07 09:56:58 Finished examples/lrat_checker/array/compilation              13m48s   8GB
Jan 07 09:56:58 Starting examples/lrat_checker/array/compilation/proofs
Jan 07 09:57:33 Finished examples/lrat_checker/array/compilation/proofs          34s   2GB
Jan 07 09:57:33 Starting translator/okasaki-examples
Jan 07 10:01:50 Finished translator/okasaki-examples                           4m17s   1GB
Jan 07 10:01:50 Starting translator/other-examples
Jan 07 10:03:43 Finished translator/other-examples                             1m52s   1GB
Jan 07 10:03:43 Starting compiler/parsing/tests
Jan 07 10:04:08 Finished compiler/parsing/tests                                  24s 529MB
Jan 07 10:04:09 Starting compiler/inference/tests
Jan 07 10:08:40 Finished compiler/inference/tests                              4m31s   4GB
Jan 07 10:08:40 Starting compiler/bootstrap/translation Jan 07 10:08:40 32430s