Job 1149

CakeML:88440d772e442de6e9e0312bd2001b3bb8733f10
  Remove references to sptreeScript.ADD_1_SUC [Jan 16 12:40:27]
#719 (master-suc)
Merging into:3a8cdd942237e58c14d85d24f8d9997cac1784b4
  Merge pull request #718 from CakeML/lpr [Jan 16 12:30:11]
HOL:29f6ddb65bb5d84c26f87faa6eeae514e3413406
  Fix HOLsexp selftest given change to API (fromList -> List) [Jan 13 07:30:16]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Jan 17 11:39:02 Claimed job
Jan 17 11:39:07 Reusing HOL
Jan 17 11:39:53 Starting developers
Jan 17 11:39:57 Finished developers                                               4s 137MB
Jan 17 11:39:57 Starting developers/bin
Jan 17 11:40:05 Finished developers/bin                                           7s   1GB
Jan 17 11:40:05 Starting semantics/ffi
Jan 17 11:40:15 Finished semantics/ffi                                           10s 222MB
Jan 17 11:40:15 Starting semantics
Jan 17 11:41:32 Finished semantics                                             1m16s   1GB
Jan 17 11:41:32 Starting semantics/proofs
Jan 17 11:44:36 Finished semantics/proofs                                      3m04s   1GB
Jan 17 11:44:36 Starting semantics/alt_semantics
Jan 17 11:44:44 Finished semantics/alt_semantics                                  7s 296MB
Jan 17 11:44:44 Starting semantics/alt_semantics/proofs
Jan 17 11:46:42 Finished semantics/alt_semantics/proofs                        1m58s 793MB
Jan 17 11:46:42 Starting basis/pure
Jan 17 11:47:30 Finished basis/pure                                              47s 648MB
Jan 17 11:47:30 Starting translator
Jan 17 11:49:54 Finished translator                                            2m24s   1GB
Jan 17 11:49:54 Starting compiler/parsing
Jan 17 11:50:57 Finished compiler/parsing                                      1m02s   2GB
Jan 17 11:50:57 Starting characteristic
Jan 17 11:56:31 Finished characteristic                                        5m33s   2GB
Jan 17 11:56:31 Starting translator/monadic
Jan 17 11:58:02 Finished translator/monadic                                    1m31s   1GB
Jan 17 11:58:03 Starting basis
Jan 17 12:29:48 Finished basis                                                31m45s  12GB
Jan 17 12:29:48 Starting compiler/inference
Jan 17 12:31:47 Finished compiler/inference                                    1m58s   2GB
Jan 17 12:31:47 Starting compiler/backend/reg_alloc
Jan 17 12:32:46 Finished compiler/backend/reg_alloc                              59s   1GB
Jan 17 12:32:46 Starting compiler/backend/gc
Jan 17 12:35:42 Finished compiler/backend/gc                                   2m55s   2GB
Jan 17 12:35:42 Starting compiler/backend
Jan 17 12:39:56 Finished compiler/backend                                      4m12s   4GB
Jan 17 12:39:56 Starting compiler/encoders/asm
Jan 17 12:40:16 Finished compiler/encoders/asm                                   20s 906MB
Jan 17 12:40:16 Starting compiler/encoders/x64
Jan 17 12:40:40 Finished compiler/encoders/x64                                   24s 810MB
Jan 17 12:40:41 Starting compiler/encoders/arm7
Jan 17 12:41:26 Finished compiler/encoders/arm7                                  45s 787MB
Jan 17 12:41:26 Starting compiler/encoders/arm8
Jan 17 12:41:39 Finished compiler/encoders/arm8                                  12s 632MB
Jan 17 12:41:39 Starting compiler/encoders/mips
Jan 17 12:41:55 Finished compiler/encoders/mips                                  16s 834MB
Jan 17 12:41:55 Starting compiler/encoders/riscv
Jan 17 12:42:09 Finished compiler/encoders/riscv                                 13s 739MB
Jan 17 12:42:09 Starting compiler/encoders/ag32
Jan 17 12:42:25 Finished compiler/encoders/ag32                                  16s 589MB
Jan 17 12:42:25 Starting compiler/backend/x64
Jan 17 12:42:43 Finished compiler/backend/x64                                    17s   1GB
Jan 17 12:42:44 Starting compiler/backend/arm7
Jan 17 12:43:02 Finished compiler/backend/arm7                                   18s   1GB
Jan 17 12:43:02 Starting compiler/backend/arm8
Jan 17 12:43:19 Finished compiler/backend/arm8                                   16s 973MB
Jan 17 12:43:19 Starting compiler/backend/mips
Jan 17 12:43:37 Finished compiler/backend/mips                                   18s   1GB
Jan 17 12:43:38 Starting compiler/backend/riscv
Jan 17 12:43:55 Finished compiler/backend/riscv                                  17s   1GB
Jan 17 12:43:56 Starting compiler/backend/ag32
Jan 17 12:45:01 Finished compiler/backend/ag32                                 1m05s   1GB
Jan 17 12:45:01 Starting compiler/parsing/proofs
Jan 17 12:50:47 Finished compiler/parsing/proofs                               5m46s   1GB
Jan 17 12:50:47 Starting compiler/inference/proofs
Jan 17 12:53:36 Finished compiler/inference/proofs                             2m48s 962MB
Jan 17 12:53:36 Starting compiler/backend/semantics
Jan 17 13:19:21 Finished compiler/backend/semantics                           25m44s   1GB
Jan 17 13:19:21 Starting compiler/backend/reg_alloc/proofs
Jan 17 13:22:37 Finished compiler/backend/reg_alloc/proofs                     3m16s   1GB
Jan 17 13:22:37 Starting compiler/backend/proofs
Jan 17 14:20:11 Finished compiler/backend/proofs                              57m32s  16GB
Jan 17 14:20:11 Starting compiler/encoders/x64/proofs
Jan 17 14:29:07 Finished compiler/encoders/x64/proofs                          8m56s   4GB
Jan 17 14:29:07 Starting compiler/encoders/arm7/proofs
Jan 17 14:41:10 Finished compiler/encoders/arm7/proofs                        12m02s   3GB
Jan 17 14:41:10 Starting compiler/encoders/arm8/proofs
Jan 17 14:47:10 Finished compiler/encoders/arm8/proofs                         6m00s   1GB
Jan 17 14:47:10 Starting compiler/encoders/mips/proofs
Jan 17 14:56:28 Finished compiler/encoders/mips/proofs                         9m17s   2GB
Jan 17 14:56:28 Starting compiler/encoders/riscv/proofs
Jan 17 15:04:35 Finished compiler/encoders/riscv/proofs                        8m07s   1GB
Jan 17 15:04:35 Starting compiler/encoders/ag32/proofs
Jan 17 15:06:57 Finished compiler/encoders/ag32/proofs                         2m21s   1GB
Jan 17 15:06:57 Starting compiler/backend/x64/proofs
Jan 17 15:07:14 Finished compiler/backend/x64/proofs                             17s 807MB
Jan 17 15:07:14 Starting compiler/backend/arm7/proofs
Jan 17 15:07:33 Finished compiler/backend/arm7/proofs                            18s   1GB
Jan 17 15:07:33 Starting compiler/backend/arm8/proofs
Jan 17 15:07:51 Finished compiler/backend/arm8/proofs                            17s   1GB
Jan 17 15:07:51 Starting compiler/backend/mips/proofs
Jan 17 15:08:10 Finished compiler/backend/mips/proofs                            18s   1GB
Jan 17 15:08:10 Starting compiler/backend/riscv/proofs
Jan 17 15:08:29 Finished compiler/backend/riscv/proofs                           18s   1GB
Jan 17 15:08:29 Starting compiler/backend/ag32/proofs
Jan 17 15:17:12 Finished compiler/backend/ag32/proofs                          8m42s   3GB
Jan 17 15:17:12 Starting compiler/proofs
Jan 17 15:18:29 Finished compiler/proofs                                       1m17s   2GB
Jan 17 15:18:29 Starting candle/set-theory
Jan 17 15:18:55 Finished candle/set-theory                                       26s 771MB
Jan 17 15:18:55 Starting candle/syntax-lib
Jan 17 15:19:06 Finished candle/syntax-lib                                       10s 594MB
Jan 17 15:19:06 Starting candle/standard/syntax
Jan 17 15:20:48 Finished candle/standard/syntax                                1m42s   1GB
Jan 17 15:20:48 Starting candle/standard/semantics
Jan 17 15:22:24 Finished candle/standard/semantics                             1m35s   1GB
Jan 17 15:22:24 Starting candle/standard/monadic
Jan 17 15:23:57 Finished candle/standard/monadic                               1m33s   1GB
Jan 17 15:23:58 Starting candle/standard/ml_kernel
Jan 17 15:28:51 Finished candle/standard/ml_kernel                             4m53s   4GB
Jan 17 15:28:51 Starting candle/standard/opentheory
Jan 17 15:37:59 Finished candle/standard/opentheory                            9m07s   4GB
Jan 17 15:38:00 Starting candle/standard/opentheory/compilation
Jan 17 16:08:59 Finished candle/standard/opentheory/compilation               30m59s  16GB
Jan 17 16:08:59 Starting candle/standard/opentheory/compilation/proofs
Jan 17 16:09:36 Finished candle/standard/opentheory/compilation/proofs           36s   3GB
Jan 17 16:09:36 Starting characteristic/examples
Jan 17 16:11:05 Finished characteristic/examples                               1m29s   2GB
Jan 17 16:11:05 Starting tutorial/solutions
Jan 17 16:24:51 Finished tutorial/solutions                                   13m45s   8GB
Jan 17 16:24:51 Starting translator/monadic/examples
Jan 17 16:27:38 Finished translator/monadic/examples                           2m46s   2GB
Jan 17 16:27:38 Starting examples
Jan 17 16:35:54 Finished examples                                              8m16s   3GB
Jan 17 16:35:54 Starting examples/compilation/x64
Jan 17 18:49:10 Finished examples/compilation/x64                           2h13m14s  15GB
Jan 17 18:49:10 Starting examples/compilation/x64/proofs
Jan 17 18:50:56 Finished examples/compilation/x64/proofs                       1m45s   2GB
Jan 17 18:50:56 Starting examples/compilation/ag32
Jan 17 19:20:50 Finished examples/compilation/ag32                            29m54s   6GB
Jan 17 19:20:50 Starting examples/compilation/ag32/proofs
Jan 17 19:21:40 Finished examples/compilation/ag32/proofs                        49s   2GB
Jan 17 19:21:40 Starting examples/cost
Jan 17 19:47:50 Finished examples/cost                                        26m10s   6GB
Jan 17 19:47:50 Starting examples/lpr_checker
Jan 17 19:51:21 Finished examples/lpr_checker                                  3m29s   4GB
Jan 17 19:51:22 Starting examples/lpr_checker/compilation
Jan 17 20:07:06 Finished examples/lpr_checker/compilation                     15m44s   8GB
Jan 17 20:07:06 Starting examples/lpr_checker/compilation/proofs
Jan 17 20:07:52 Finished examples/lpr_checker/compilation/proofs                 45s   3GB
Jan 17 20:07:52 Starting examples/lpr_checker/array
Jan 17 20:17:08 Finished examples/lpr_checker/array                            9m16s   3GB
Jan 17 20:17:08 Starting examples/lpr_checker/array/compilation
Jan 17 20:31:54 Finished examples/lpr_checker/array/compilation               14m46s   8GB
Jan 17 20:31:54 Starting examples/lpr_checker/array/compilation/proofs
Jan 17 20:32:36 Finished examples/lpr_checker/array/compilation/proofs           41s   3GB
Jan 17 20:32:36 Starting translator/okasaki-examples
Jan 17 20:36:40 Finished translator/okasaki-examples                           4m02s   1GB
Jan 17 20:36:40 Starting translator/other-examples
Jan 17 20:37:17 Finished translator/other-examples                               37s   1GB
Jan 17 20:37:18 Starting compiler/parsing/tests
Jan 17 20:37:41 Finished compiler/parsing/tests                                  23s 575MB
Jan 17 20:37:41 Starting compiler/inference/tests
Jan 17 20:41:58 Finished compiler/inference/tests                              4m17s   4GB
Jan 17 20:41:59 Starting compiler/bootstrap/translation
Jan 18 00:14:29 Finished compiler/bootstrap/translation                     3h32m30s  44GB
Jan 18 00:14:29 Starting unverified/sexpr-bootstrap/x64/64
Jan 18 00:29:50 Finished unverified/sexpr-bootstrap/x64/64                    15m21s   3GB
Jan 18 00:29:50 Starting unverified/sexpr-bootstrap/x64/32
Jan 18 00:40:27 Finished unverified/sexpr-bootstrap/x64/32                    10m36s   6GB
Jan 18 00:40:27 Starting compiler/benchmarks
Jan 18 00:40:29 Finished compiler/benchmarks                                      1s  32MB
Jan 18 00:40:29 Starting compiler/bootstrap/compilation/x64/64
Jan 18 14:39:07 Finished compiler/bootstrap/compilation/x64/64             13h58m36s  64GB
Jan 18 14:39:07 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 18 14:42:40 Finished compiler/bootstrap/compilation/x64/64/proofs          3m33s   5GB
Jan 18 14:42:40 Starting compiler/bootstrap/compilation/x64/32
Jan 19 02:25:26 Finished compiler/bootstrap/compilation/x64/32             11h42m45s  64GB
Jan 19 02:25:26 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 19 02:29:48 Finished compiler/bootstrap/compilation/x64/32/proofs          4m21s   5GB
Jan 19 02:29:48 Starting compiler/bootstrap/compilation/ag32/32
Jan 24 16:40:36 Resuming compiler/bootstrap/compilation/ag32/32
Jan 24 21:01:51 Finished compiler/bootstrap/compilation/ag32/32             4h21m14s  64GB
Jan 24 21:01:51 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 24 21:42:27 Finished compiler/bootstrap/compilation/ag32/32/proofs        40m36s  17GB
Jan 24 21:42:27 SUCCESS