Job 1135

CakeML:96e365d9bfc75200c3965470dd82142fac26e4e0
  Fix stupid syntax error in CF tutorial (added in previous commit) [Jan 07 00:59:53]
#714 (nopacklib)
Merging into:07bca965721baed53cea03de48b0e523ff1af007
  Merge pull request #711 from CakeML/refs-unchanged [Dec 22 21:35:58]
HOL:77d19b74cc8a532c3e9b5371467c3800b4066c96
  Make hol-horizontal give HOL window more width [Jan 06 06:07:12]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Jan 07 04:38:04 Claimed job
Jan 07 04:38:08 Building HOL
Jan 07 04:48:39 Starting developers
Jan 07 04:48:43 Finished developers                                               4s 107MB
Jan 07 04:48:43 Starting developers/bin
Jan 07 04:48:49 Finished developers/bin                                           6s 964MB
Jan 07 04:48:49 Starting semantics/ffi
Jan 07 04:48:59 Finished semantics/ffi                                            9s 214MB
Jan 07 04:48:59 Starting semantics
Jan 07 04:50:22 Finished semantics                                             1m23s 965MB
Jan 07 04:50:22 Starting semantics/proofs
Jan 07 04:53:22 Finished semantics/proofs                                      2m59s 985MB
Jan 07 04:53:22 Starting semantics/alt_semantics
Jan 07 04:53:30 Finished semantics/alt_semantics                                  7s 326MB
Jan 07 04:53:30 Starting semantics/alt_semantics/proofs
Jan 07 04:55:27 Finished semantics/alt_semantics/proofs                        1m56s 712MB
Jan 07 04:55:27 Starting basis/pure
Jan 07 04:58:13 Finished basis/pure                                            2m46s 848MB
Jan 07 04:58:13 Starting translator
Jan 07 05:00:37 Finished translator                                            2m23s   1GB
Jan 07 05:00:37 Starting compiler/parsing
Jan 07 05:01:41 Finished compiler/parsing                                      1m03s   1GB
Jan 07 05:01:41 Starting characteristic
Jan 07 05:07:05 Finished characteristic                                        5m24s   1GB
Jan 07 05:07:06 Starting translator/monadic
Jan 07 05:08:39 Finished translator/monadic                                    1m33s   1GB
Jan 07 05:08:39 Starting basis
Jan 07 05:40:39 Finished basis                                                32m00s  18GB
Jan 07 05:40:40 Starting compiler/inference
Jan 07 05:42:26 Finished compiler/inference                                    1m46s   1GB
Jan 07 05:42:26 Starting compiler/backend/reg_alloc
Jan 07 05:43:26 Finished compiler/backend/reg_alloc                            1m00s   1GB
Jan 07 05:43:26 Starting compiler/backend/gc
Jan 07 05:46:32 Finished compiler/backend/gc                                   3m05s   2GB
Jan 07 05:46:32 Starting compiler/backend
Jan 07 05:50:09 Finished compiler/backend                                      3m36s   2GB
Jan 07 05:50:09 Starting compiler/encoders/asm
Jan 07 05:50:29 Finished compiler/encoders/asm                                   20s 848MB
Jan 07 05:50:29 Starting compiler/encoders/x64
Jan 07 05:51:22 Finished compiler/encoders/x64                                   53s 948MB
Jan 07 05:51:23 Starting compiler/encoders/arm7
Jan 07 05:52:59 Finished compiler/encoders/arm7                                1m36s   1GB
Jan 07 05:53:00 Starting compiler/encoders/arm8
Jan 07 05:53:31 Finished compiler/encoders/arm8                                  31s 804MB
Jan 07 05:53:31 Starting compiler/encoders/mips
Jan 07 05:54:37 Finished compiler/encoders/mips                                1m06s   1GB
Jan 07 05:54:37 Starting compiler/encoders/riscv
Jan 07 05:55:54 Finished compiler/encoders/riscv                               1m16s 902MB
Jan 07 05:55:54 Starting compiler/encoders/ag32
Jan 07 05:56:11 Finished compiler/encoders/ag32                                  16s 735MB
Jan 07 05:56:11 Starting compiler/backend/x64
Jan 07 05:56:28 Finished compiler/backend/x64                                    17s   1GB
Jan 07 05:56:28 Starting compiler/backend/arm7
Jan 07 05:56:46 Finished compiler/backend/arm7                                   17s   1GB
Jan 07 05:56:46 Starting compiler/backend/arm8
Jan 07 05:57:03 Finished compiler/backend/arm8                                   17s   1GB
Jan 07 05:57:03 Starting compiler/backend/mips
Jan 07 05:57:20 Finished compiler/backend/mips                                   16s   1GB
Jan 07 05:57:20 Starting compiler/backend/riscv
Jan 07 05:57:38 Finished compiler/backend/riscv                                  17s   1GB
Jan 07 05:57:38 Starting compiler/backend/ag32
Jan 07 05:58:44 Finished compiler/backend/ag32                                 1m06s   1GB
Jan 07 05:58:44 Starting compiler/parsing/proofs
Jan 07 06:04:24 Finished compiler/parsing/proofs                               5m39s 976MB
Jan 07 06:04:24 Starting compiler/inference/proofs
Jan 07 06:07:08 Finished compiler/inference/proofs                             2m43s   1GB
Jan 07 06:07:08 Starting compiler/backend/semantics
Jan 07 06:32:37 Finished compiler/backend/semantics                           25m29s   1GB
Jan 07 06:32:37 Starting compiler/backend/reg_alloc/proofs
Jan 07 06:35:50 Finished compiler/backend/reg_alloc/proofs                     3m13s 851MB
Jan 07 06:35:51 Starting compiler/backend/proofs
Jan 07 07:32:47 Finished compiler/backend/proofs                              56m56s  23GB
Jan 07 07:32:47 Starting compiler/encoders/x64/proofs
Jan 07 07:41:41 Finished compiler/encoders/x64/proofs                          8m53s   5GB
Jan 07 07:41:41 Starting compiler/encoders/arm7/proofs
Jan 07 07:53:40 Finished compiler/encoders/arm7/proofs                        11m59s   6GB
Jan 07 07:53:41 Starting compiler/encoders/arm8/proofs
Jan 07 07:59:45 Finished compiler/encoders/arm8/proofs                         6m04s   1GB
Jan 07 07:59:45 Starting compiler/encoders/mips/proofs
Jan 07 08:08:52 Finished compiler/encoders/mips/proofs                         9m07s   2GB
Jan 07 08:08:53 Starting compiler/encoders/riscv/proofs
Jan 07 08:17:11 Finished compiler/encoders/riscv/proofs                        8m18s   1GB
Jan 07 08:17:11 Starting compiler/encoders/ag32/proofs
Jan 07 08:19:33 Finished compiler/encoders/ag32/proofs                         2m21s 671MB
Jan 07 08:19:33 Starting compiler/backend/x64/proofs
Jan 07 08:19:50 Finished compiler/backend/x64/proofs                             16s 857MB
Jan 07 08:19:50 Starting compiler/backend/arm7/proofs
Jan 07 08:20:10 Finished compiler/backend/arm7/proofs                            20s   1GB
Jan 07 08:20:10 Starting compiler/backend/arm8/proofs
Jan 07 08:20:28 Finished compiler/backend/arm8/proofs                            17s   1GB
Jan 07 08:20:28 Starting compiler/backend/mips/proofs
Jan 07 08:20:45 Finished compiler/backend/mips/proofs                            17s 903MB
Jan 07 08:20:45 Starting compiler/backend/riscv/proofs
Jan 07 08:21:04 Finished compiler/backend/riscv/proofs                           18s   1GB
Jan 07 08:21:04 Starting compiler/backend/ag32/proofs
Jan 07 08:29:54 Finished compiler/backend/ag32/proofs                          8m49s   1GB
Jan 07 08:29:54 Starting compiler/proofs
Jan 07 08:31:24 Finished compiler/proofs                                       1m29s   3GB
Jan 07 08:31:24 Starting candle/set-theory
Jan 07 08:31:51 Finished candle/set-theory                                       26s 852MB
Jan 07 08:31:51 Starting candle/syntax-lib
Jan 07 08:32:01 Finished candle/syntax-lib                                       10s 637MB
Jan 07 08:32:01 Starting candle/standard/syntax
Jan 07 08:33:43 Finished candle/standard/syntax                                1m41s 890MB
Jan 07 08:33:43 Starting candle/standard/semantics
Jan 07 08:35:19 Finished candle/standard/semantics                             1m36s   1GB
Jan 07 08:35:19 Starting candle/standard/monadic
Jan 07 08:36:51 Finished candle/standard/monadic                               1m32s   1GB
Jan 07 08:36:52 Starting candle/standard/ml_kernel
Jan 07 08:43:10 Finished candle/standard/ml_kernel                             6m18s   5GB
Jan 07 08:43:10 Starting candle/standard/opentheory
Jan 07 08:58:10 Finished candle/standard/opentheory                           14m59s   4GB
Jan 07 08:58:10 Starting candle/standard/opentheory/compilation
Jan 07 09:26:24 Finished candle/standard/opentheory/compilation               28m14s  24GB
Jan 07 09:26:24 Starting candle/standard/opentheory/compilation/proofs
Jan 07 09:26:57 Finished candle/standard/opentheory/compilation/proofs           33s   2GB
Jan 07 09:26:57 Starting characteristic/examples
Jan 07 09:28:40 Finished characteristic/examples                               1m42s   2GB
Jan 07 09:28:40 Starting tutorial/solutions
Jan 07 09:41:53 Finished tutorial/solutions                                   13m12s   5GB
Jan 07 09:41:53 Starting translator/monadic/examples
Jan 07 09:44:54 Finished translator/monadic/examples                           3m00s   2GB
Jan 07 09:44:54 Starting examples
Jan 07 09:55:03 Finished examples                                             10m09s   5GB
Jan 07 09:55:03 Starting examples/compilation/x64
Jan 07 11:57:48 Finished examples/compilation/x64                           2h02m44s  13GB
Jan 07 11:57:49 Starting examples/compilation/x64/proofs
Jan 07 11:59:09 Finished examples/compilation/x64/proofs                       1m20s   2GB
Jan 07 11:59:09 Starting examples/compilation/ag32
Jan 07 12:27:06 Finished examples/compilation/ag32                            27m57s   6GB
Jan 07 12:27:07 Starting examples/compilation/ag32/proofs
Jan 07 12:27:55 Finished examples/compilation/ag32/proofs                        48s   3GB
Jan 07 12:27:55 Starting examples/cost
Jan 07 12:53:11 Finished examples/cost                                        25m16s   6GB
Jan 07 12:53:11 Starting examples/lrat_checker
Jan 07 12:57:40 Finished examples/lrat_checker                                 4m28s   2GB
Jan 07 12:57:40 Starting examples/lrat_checker/compilation
Jan 07 13:11:52 Finished examples/lrat_checker/compilation                    14m11s   7GB
Jan 07 13:11:52 Starting examples/lrat_checker/compilation/proofs
Jan 07 13:12:23 Finished examples/lrat_checker/compilation/proofs                30s   2GB
Jan 07 13:12:23 Starting examples/lrat_checker/array
Jan 07 13:18:20 Finished examples/lrat_checker/array                           5m57s   3GB
Jan 07 13:18:20 Starting examples/lrat_checker/array/compilation
Jan 07 13:31:26 Finished examples/lrat_checker/array/compilation              13m05s   6GB
Jan 07 13:31:26 Starting examples/lrat_checker/array/compilation/proofs
Jan 07 13:32:13 Finished examples/lrat_checker/array/compilation/proofs          46s   2GB
Jan 07 13:32:13 Starting translator/okasaki-examples
Jan 07 13:36:15 Finished translator/okasaki-examples                           4m01s   1GB
Jan 07 13:36:15 Starting translator/other-examples
Jan 07 13:37:57 Finished translator/other-examples                             1m41s   1GB
Jan 07 13:37:57 Starting compiler/parsing/tests
Jan 07 13:38:20 Finished compiler/parsing/tests                                  23s 545MB
Jan 07 13:38:20 Starting compiler/inference/tests
Jan 07 13:42:25 Finished compiler/inference/tests                              4m04s   4GB
Jan 07 13:42:25 Starting compiler/bootstrap/translation
Jan 08 07:21:15 Finished compiler/bootstrap/translation                    17h38m49s  56GB
Jan 08 07:21:15 Starting unverified/sexpr-bootstrap/x64/64
Jan 08 07:35:34 Finished unverified/sexpr-bootstrap/x64/64                    14m19s   3GB
Jan 08 07:35:34 Starting unverified/sexpr-bootstrap/x64/32
Jan 08 07:46:01 Finished unverified/sexpr-bootstrap/x64/32                    10m25s   5GB
Jan 08 07:46:01 Starting compiler/benchmarks
Jan 08 07:46:03 Finished compiler/benchmarks                                      1s  35MB
Jan 08 07:46:03 Starting compiler/bootstrap/compilation/x64/64
Jan 08 19:50:44 Finished compiler/bootstrap/compilation/x64/64             12h04m39s  64GB
Jan 08 19:50:44 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 08 19:53:27 Finished compiler/bootstrap/compilation/x64/64/proofs          2m43s   5GB
Jan 08 19:53:27 Starting compiler/bootstrap/compilation/x64/32
Jan 09 06:42:37 Finished compiler/bootstrap/compilation/x64/32             10h49m07s  64GB
Jan 09 06:42:37 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 09 06:44:56 Finished compiler/bootstrap/compilation/x64/32/proofs          2m19s   6GB
Jan 09 06:44:56 Starting compiler/bootstrap/compilation/ag32/32
Jan 13 15:41:38 Resuming compiler/bootstrap/compilation/ag32/32
Jan 13 20:07:25 Finished compiler/bootstrap/compilation/ag32/32             4h25m44s  64GB
Jan 13 20:07:25 Starting compiler/bootstrap/compilation/ag32/32/proofs
Jan 13 20:35:03 Finished compiler/bootstrap/compilation/ag32/32/proofs        27m37s  17GB
Jan 13 20:35:03 SUCCESS