Job 498

CakeML:f8f983825694afe79aa28a1d56b8c1dde3283ec8
  Add reader compilation theories to build-sequence [Sep 23 12:49:54]
#529 (opentheory-fix)
Merging into:306e73e0ef0314393ecdbb996b50cf799375f15d
  Use Git's -C option [Sep 14 21:28:55]
HOL:5598c695d7633d13ff51408a8bcecbbb7cab7357
  Make minor tweaks to regular-play example README text [Sep 24 06:44:36]
Machine:oven1 4.15.9-300.fc27.x86_64 x86_64 GNU/Linux

Sep 24 11:20:34 Claimed job
Sep 24 11:22:34 Building HOL
Sep 24 11:32:07 Starting developers/bin
Sep 24 11:32:48 Finished developers/bin                                          40s 913MB
Sep 24 11:32:48 Starting semantics/ffi
Sep 24 11:33:29 Finished semantics/ffi                                           40s 406MB
Sep 24 11:33:30 Starting semantics
Sep 24 11:35:12 Finished semantics                                             1m41s 962MB
Sep 24 11:35:13 Starting semantics/proofs
Sep 24 11:38:03 Finished semantics/proofs                                      2m49s   1GB
Sep 24 11:38:03 Starting basis/pure
Sep 24 11:41:43 Finished basis/pure                                            3m38s 637MB
Sep 24 11:41:43 Starting translator
Sep 24 11:43:09 Finished translator                                            1m24s   1GB
Sep 24 11:43:10 Starting compiler/parsing
Sep 24 11:45:02 Finished compiler/parsing                                      1m51s   1GB
Sep 24 11:45:02 Starting characteristic
Sep 24 11:47:36 Finished characteristic                                        2m33s   1GB
Sep 24 11:47:37 Starting translator/monadic
Sep 24 11:49:13 Finished translator/monadic                                    1m35s   1GB
Sep 24 11:49:14 Starting basis
Sep 24 12:07:09 Finished basis                                                17m54s   2GB
Sep 24 12:07:10 Starting compiler/inference
Sep 24 12:08:55 Finished compiler/inference                                    1m45s   1GB
Sep 24 12:08:56 Starting compiler/backend/reg_alloc
Sep 24 12:09:45 Finished compiler/backend/reg_alloc                              48s 894MB
Sep 24 12:09:46 Starting compiler/backend/gc
Sep 24 12:19:59 Finished compiler/backend/gc                                  10m11s   3GB
Sep 24 12:19:59 Starting compiler/backend
Sep 24 12:20:02 Finished compiler/backend                                         2s  18MB
Sep 24 12:20:03 Starting compiler/encoders/asm
Sep 24 12:20:05 Finished compiler/encoders/asm                                    1s  14MB
Sep 24 12:20:06 Starting compiler/encoders/x64
Sep 24 12:21:00 Finished compiler/encoders/x64                                   54s 612MB
Sep 24 12:21:01 Starting compiler/encoders/arm6
Sep 24 12:22:49 Finished compiler/encoders/arm6                                1m47s   1GB
Sep 24 12:22:50 Starting compiler/encoders/arm8
Sep 24 12:23:17 Finished compiler/encoders/arm8                                  26s 477MB
Sep 24 12:23:18 Starting compiler/encoders/mips
Sep 24 12:24:18 Finished compiler/encoders/mips                                  59s 868MB
Sep 24 12:24:19 Starting compiler/encoders/riscv
Sep 24 12:25:24 Finished compiler/encoders/riscv                               1m04s 781MB
Sep 24 12:25:24 Starting compiler/backend/x64
Sep 24 12:25:44 Finished compiler/backend/x64                                    18s   1GB
Sep 24 12:25:45 Starting compiler/backend/arm6
Sep 24 12:26:05 Finished compiler/backend/arm6                                   20s   1GB
Sep 24 12:26:06 Starting compiler/backend/arm8
Sep 24 12:26:25 Finished compiler/backend/arm8                                   18s 946MB
Sep 24 12:26:25 Starting compiler/backend/mips
Sep 24 12:26:45 Finished compiler/backend/mips                                   18s 953MB
Sep 24 12:26:45 Starting compiler/backend/riscv
Sep 24 12:27:05 Finished compiler/backend/riscv                                  18s   1GB
Sep 24 12:27:05 Starting compiler/parsing/proofs
Sep 24 12:33:16 Finished compiler/parsing/proofs                               6m09s 805MB
Sep 24 12:33:17 Starting compiler/inference/proofs
Sep 24 12:36:38 Finished compiler/inference/proofs                             3m20s   1GB
Sep 24 12:36:39 Starting compiler/backend/semantics
Sep 24 12:47:21 Finished compiler/backend/semantics                           10m41s   2GB
Sep 24 12:47:21 Starting compiler/backend/reg_alloc/proofs
Sep 24 12:54:46 Finished compiler/backend/reg_alloc/proofs                     7m23s 556MB
Sep 24 12:54:47 Starting compiler/backend/proofs
Sep 24 13:49:25 Finished compiler/backend/proofs                              54m37s   3GB
Sep 24 13:49:26 Starting compiler/encoders/x64/proofs
Sep 24 13:57:10 Finished compiler/encoders/x64/proofs                          7m43s   5GB
Sep 24 13:57:10 Starting compiler/encoders/arm6/proofs
Sep 24 14:04:59 Finished compiler/encoders/arm6/proofs                         7m48s   2GB
Sep 24 14:05:00 Starting compiler/encoders/arm8/proofs
Sep 24 14:10:30 Finished compiler/encoders/arm8/proofs                         5m29s   1GB
Sep 24 14:10:31 Starting compiler/encoders/mips/proofs
Sep 24 14:18:03 Finished compiler/encoders/mips/proofs                         7m31s   2GB
Sep 24 14:18:03 Starting compiler/encoders/riscv/proofs
Sep 24 14:26:11 Finished compiler/encoders/riscv/proofs                        8m06s 991MB
Sep 24 14:26:11 Starting compiler/backend/x64/proofs
Sep 24 14:26:32 Finished compiler/backend/x64/proofs                             20s   1GB
Sep 24 14:26:33 Starting compiler/backend/arm6/proofs
Sep 24 14:26:55 Finished compiler/backend/arm6/proofs                            21s 879MB
Sep 24 14:26:55 Starting compiler/backend/arm8/proofs
Sep 24 14:27:14 Finished compiler/backend/arm8/proofs                            18s 823MB
Sep 24 14:27:15 Starting compiler/backend/mips/proofs
Sep 24 14:27:36 Finished compiler/backend/mips/proofs                            20s 938MB
Sep 24 14:27:36 Starting compiler/backend/riscv/proofs
Sep 24 14:27:56 Finished compiler/backend/riscv/proofs                           18s 821MB
Sep 24 14:27:57 Starting compiler/proofs
Sep 24 14:29:22 Finished compiler/proofs                                       1m25s   2GB
Sep 24 14:29:23 Starting candle/set-theory
Sep 24 14:29:56 Finished candle/set-theory                                       32s 591MB
Sep 24 14:29:57 Starting candle/syntax-lib
Sep 24 14:30:08 Finished candle/syntax-lib                                       10s 479MB
Sep 24 14:30:09 Starting candle/standard/syntax
Sep 24 14:31:46 Finished candle/standard/syntax                                1m36s 640MB
Sep 24 14:31:46 Starting candle/standard/semantics
Sep 24 14:33:10 Finished candle/standard/semantics                             1m23s 972MB
Sep 24 14:33:11 Starting candle/standard/monadic
Sep 24 14:34:49 Finished candle/standard/monadic                               1m37s 994MB
Sep 24 14:34:50 Starting candle/standard/ml_kernel
Sep 24 14:51:24 Finished candle/standard/ml_kernel                            16m34s   4GB
Sep 24 14:51:25 Starting candle/standard/opentheory
Sep 24 15:00:40 Finished candle/standard/opentheory                            9m14s   7GB
Sep 24 15:00:41 Starting candle/standard/opentheory/compilation
Sep 25 09:27:44 Resuming candle/standard/opentheory/compilation
Sep 25 10:10:37 Finished candle/standard/opentheory/compilation               42m51s   7GB
Sep 25 10:10:38 Starting characteristic/examples
Sep 25 10:12:21 Finished characteristic/examples                               1m42s   1GB
Sep 25 10:12:22 Starting tutorial/solutions
Sep 25 10:26:53 Finished tutorial/solutions                                   14m30s   6GB
Sep 25 10:26:54 Starting translator/monadic/examples
Sep 25 10:28:58 Finished translator/monadic/examples                           2m03s   2GB
Sep 25 10:28:59 Starting examples
Sep 25 10:35:38 Finished examples                                              6m38s   4GB
Sep 25 10:35:39 Starting examples/compilation
Sep 25 12:52:26 Finished examples/compilation                               2h16m46s  14GB
Sep 25 12:52:27 Starting examples/compilation/proofs
Sep 25 12:54:22 Finished examples/compilation/proofs                           1m54s   3GB
Sep 25 12:54:23 Starting compiler/benchmarks
Sep 25 12:54:24 Finished compiler/benchmarks                                      0s   4MB
Sep 25 12:54:25 Starting translator/okasaki-examples
Sep 25 12:59:14 Finished translator/okasaki-examples                           4m48s   1GB
Sep 25 12:59:15 Starting translator/other-examples
Sep 25 13:04:00 Finished translator/other-examples                             4m44s 782MB
Sep 25 13:04:01 Starting compiler/parsing/tests
Sep 25 13:04:34 Finished compiler/parsing/tests                                  32s 320MB
Sep 25 13:04:35 Starting compiler/inference/tests
Sep 25 13:10:09 Finished compiler/inference/tests                              5m33s   4GB
Sep 25 13:10:10 Starting compiler/bootstrap/translation
Sep 25 19:28:29 Finished compiler/bootstrap/translation                     6h18m17s  50GB
Sep 25 19:28:29 Starting unverified/sexpr-bootstrap/x64/64
Sep 25 19:37:51 Finished unverified/sexpr-bootstrap/x64/64                     9m21s  12GB
Sep 25 19:37:52 Starting unverified/sexpr-bootstrap/x64/32
Sep 25 19:45:50 Finished unverified/sexpr-bootstrap/x64/32                     7m57s  15GB
Sep 25 19:45:51 Starting compiler/bootstrap/compilation/x64/64
Sep 26 07:58:36 Finished compiler/bootstrap/compilation/x64/64             12h12m44s  59GB
Sep 26 07:58:37 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 26 08:02:33 Finished compiler/bootstrap/compilation/x64/64/proofs          3m55s  23GB
Sep 26 08:02:33 Starting compiler/bootstrap/compilation/x64/32
Sep 27 08:58:32 Resuming compiler/bootstrap/compilation/x64/32
Sep 27 08:59:07 Resuming compiler/bootstrap/compilation/x64/32
Sep 27 09:00:12 Resuming compiler/bootstrap/compilation/x64/32
Sep 27 17:02:33 Finished compiler/bootstrap/compilation/x64/32              8h03m59s  44GB
Sep 27 17:02:34 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 27 17:05:57 Finished compiler/bootstrap/compilation/x64/32/proofs          3m22s  20GB
Sep 27 17:05:58 SUCCESS