Job 1391

CakeML:5673ecc5b0fd2844f20012b1e1e53f807fd54011
  Adjust to change in HOL's ThyDataSexp API [Nov 10 22:33:42]
HOL:ea22210a5c1604df84c66d847322f752e263354d
  Fiddle with file in attempt to get otknl build progressing further [Nov 10 07:57:06]
Machine:oven2 4.15.0-34-generic x86_64 GNU/Linux

Nov 11 09:18:02 Claimed job
Nov 11 09:18:13 Building HOL
Nov 11 09:33:44 Starting developers
Nov 11 09:33:46 Finished developers                                               2s 129MB
Nov 11 09:33:46 Starting developers/bin
Nov 11 09:33:53 Finished developers/bin                                           6s   1GB
Nov 11 09:33:53 Starting semantics/ffi
Nov 11 09:34:05 Finished semantics/ffi                                           11s 303MB
Nov 11 09:34:05 Starting semantics
Nov 11 09:35:57 Finished semantics                                             1m52s   1GB
Nov 11 09:35:58 Starting semantics/proofs
Nov 11 09:39:45 Finished semantics/proofs                                      3m47s   1GB
Nov 11 09:39:45 Starting semantics/alt_semantics
Nov 11 09:39:55 Finished semantics/alt_semantics                                  9s 383MB
Nov 11 09:39:55 Starting semantics/alt_semantics/proofs
Nov 11 09:42:17 Finished semantics/alt_semantics/proofs                        2m22s   1GB
Nov 11 09:42:18 Starting basis/pure
Nov 11 09:45:21 Finished basis/pure                                            3m03s   1GB
Nov 11 09:45:21 Starting translator
Nov 11 09:48:09 Finished translator                                            2m47s   2GB
Nov 11 09:48:09 Starting compiler/parsing
Nov 11 09:49:27 Finished compiler/parsing                                      1m17s   5GB
Nov 11 09:49:27 Starting characteristic
Nov 11 09:55:43 Finished characteristic                                        6m15s   3GB
Nov 11 09:55:43 Starting translator/monadic
Nov 11 09:57:34 Finished translator/monadic                                    1m50s   2GB
Nov 11 09:57:34 Starting basis
Nov 11 10:36:28 Finished basis                                                38m54s  11GB
Nov 11 10:36:28 Starting compiler/inference
Nov 11 10:37:45 Finished compiler/inference                                    1m16s   2GB
Nov 11 10:37:45 Starting compiler/backend/reg_alloc
Nov 11 10:39:21 Finished compiler/backend/reg_alloc                            1m35s   1GB
Nov 11 10:39:21 Starting compiler/backend/gc
Nov 11 10:44:10 Finished compiler/backend/gc                                   4m48s   4GB
Nov 11 10:44:10 Starting compiler/backend
Nov 11 10:50:38 Finished compiler/backend                                      6m28s   5GB
Nov 11 10:50:38 Starting compiler/encoders/asm
Nov 11 10:51:03 Finished compiler/encoders/asm                                   24s   1GB
Nov 11 10:51:03 Starting compiler/encoders/x64
Nov 11 10:52:15 Finished compiler/encoders/x64                                 1m12s   1GB
Nov 11 10:52:16 Starting compiler/encoders/arm7
Nov 11 10:54:35 Finished compiler/encoders/arm7                                2m19s   1GB
Nov 11 10:54:35 Starting compiler/encoders/arm8
Nov 11 10:55:18 Finished compiler/encoders/arm8                                  42s 989MB
Nov 11 10:55:18 Starting compiler/encoders/mips
Nov 11 10:56:56 Finished compiler/encoders/mips                                1m37s   1GB
Nov 11 10:56:56 Starting compiler/encoders/riscv
Nov 11 10:58:46 Finished compiler/encoders/riscv                               1m49s   1GB
Nov 11 10:58:46 Starting compiler/encoders/ag32
Nov 11 10:59:06 Finished compiler/encoders/ag32                                  19s 960MB
Nov 11 10:59:06 Starting compiler/backend/x64
Nov 11 10:59:28 Finished compiler/backend/x64                                    21s   1GB
Nov 11 10:59:28 Starting compiler/backend/arm7
Nov 11 10:59:52 Finished compiler/backend/arm7                                   23s   1GB
Nov 11 10:59:52 Starting compiler/backend/arm8
Nov 11 11:00:13 Finished compiler/backend/arm8                                   20s   1GB
Nov 11 11:00:13 Starting compiler/backend/mips
Nov 11 11:00:37 Finished compiler/backend/mips                                   24s   1GB
Nov 11 11:00:37 Starting compiler/backend/riscv
Nov 11 11:01:00 Finished compiler/backend/riscv                                  23s   1GB
Nov 11 11:01:01 Starting compiler/backend/ag32
Nov 11 11:02:24 Finished compiler/backend/ag32                                 1m23s   2GB
Nov 11 11:02:24 Starting compiler/parsing/proofs
Nov 11 11:08:25 Finished compiler/parsing/proofs                               6m01s   2GB
Nov 11 11:08:26 Starting compiler/inference/proofs
Nov 11 11:11:38 Finished compiler/inference/proofs                             3m12s   2GB
Nov 11 11:11:38 Starting compiler/backend/semantics
Nov 11 11:41:13 Finished compiler/backend/semantics                           29m34s   5GB
Nov 11 11:41:14 Starting compiler/backend/reg_alloc/proofs
Nov 11 11:44:31 Finished compiler/backend/reg_alloc/proofs                     3m17s   1GB
Nov 11 11:44:32 Starting compiler/backend/proofs
Nov 11 12:38:27 Finished compiler/backend/proofs                              53m54s  27GB
Nov 11 12:38:27 Starting compiler/encoders/x64/proofs
Nov 11 12:48:14 Finished compiler/encoders/x64/proofs                          9m46s   6GB
Nov 11 12:48:14 Starting compiler/encoders/arm7/proofs
Nov 11 13:01:21 Finished compiler/encoders/arm7/proofs                        13m07s   8GB
Nov 11 13:01:21 Starting compiler/encoders/arm8/proofs
Nov 11 13:07:47 Finished compiler/encoders/arm8/proofs                         6m25s   3GB
Nov 11 13:07:48 Starting compiler/encoders/mips/proofs
Nov 11 13:17:59 Finished compiler/encoders/mips/proofs                        10m11s   4GB
Nov 11 13:17:59 Starting compiler/encoders/riscv/proofs
Nov 11 13:26:20 Finished compiler/encoders/riscv/proofs                        8m20s   3GB
Nov 11 13:26:20 Starting compiler/encoders/ag32/proofs
Nov 11 13:28:42 Finished compiler/encoders/ag32/proofs                         2m21s   1GB
Nov 11 13:28:42 Starting compiler/backend/x64/proofs
Nov 11 13:29:03 Finished compiler/backend/x64/proofs                             21s   1GB
Nov 11 13:29:04 Starting compiler/backend/arm7/proofs
Nov 11 13:29:27 Finished compiler/backend/arm7/proofs                            23s   1GB
Nov 11 13:29:27 Starting compiler/backend/arm8/proofs
Nov 11 13:29:47 Finished compiler/backend/arm8/proofs                            19s   1GB
Nov 11 13:29:47 Starting compiler/backend/mips/proofs
Nov 11 13:30:09 Finished compiler/backend/mips/proofs                            21s   1GB
Nov 11 13:30:09 Starting compiler/backend/riscv/proofs
Nov 11 13:30:32 Finished compiler/backend/riscv/proofs                           23s   2GB
Nov 11 13:30:32 Starting compiler/backend/ag32/proofs
Nov 11 13:42:41 Finished compiler/backend/ag32/proofs                         12m08s   5GB
Nov 11 13:42:42 Starting compiler/proofs
Nov 11 13:44:37 Finished compiler/proofs                                       1m55s   6GB
Nov 11 13:44:38 Starting candle/set-theory
Nov 11 13:45:07 Finished candle/set-theory                                       29s 923MB
Nov 11 13:45:07 Starting candle/syntax-lib
Nov 11 13:45:18 Finished candle/syntax-lib                                       10s 806MB
Nov 11 13:45:18 Starting candle/standard/syntax
Nov 11 13:47:09 Finished candle/standard/syntax                                1m50s   1GB
Nov 11 13:47:09 Starting candle/standard/semantics
Nov 11 13:48:55 Finished candle/standard/semantics                             1m46s   2GB
Nov 11 13:48:56 Starting candle/standard/monadic
Nov 11 13:50:37 Finished candle/standard/monadic                               1m41s   1GB
Nov 11 13:50:37 Starting candle/standard/ml_kernel
Nov 11 13:55:50 Finished candle/standard/ml_kernel                             5m12s   6GB
Nov 11 13:55:50 Starting candle/overloading/syntax
Nov 11 13:59:01 Finished candle/overloading/syntax                             3m11s   1GB
Nov 11 13:59:02 Starting candle/overloading/semantics
Nov 11 14:11:03 Finished candle/overloading/semantics                         12m00s   9GB
Nov 11 14:11:03 Starting characteristic/examples
Nov 11 14:12:19 Finished characteristic/examples                               1m16s   4GB
Nov 11 14:12:20 Starting tutorial/solutions
Nov 11 21:02:03 Resuming tutorial/solutions