Job 144

CakeML:71fab021b1739ed0594cc83d2d52f0f59d27b57b
  Ignore vim swap files [Jan 09 23:07:50]
#426 (issue397)
Merging into:00605b2ed98e568aeec57b47a504daab27e5ce8b
  Add missing comma [Jan 06 12:42:45]
HOL:c0fb3ef90708dcc01cb51a85f15b5659b7533b81
  tactictoe: copyright [Jan 09 15:52:51]
Machine:cakeml1796 4.4.0-22-generic x86_64 GNU/Linux

Jan 10 00:54:07 Claimed job
Jan 10 00:54:16 Building HOL
Jan 10 01:06:22 Starting semantics/ffi
Jan 10 01:07:31 Finished semantics/ffi                                         1m06s 420MB
Jan 10 01:07:33 Starting semantics
Jan 10 01:10:08 Finished semantics                                             2m32s   1GB
Jan 10 01:10:10 Starting semantics/proofs
Jan 10 01:13:30 Finished semantics/proofs                                      3m18s   1GB
Jan 10 01:13:32 Starting basis/pure
Jan 10 01:19:20 Finished basis/pure                                            5m46s 667MB
Jan 10 01:19:22 Starting translator
Jan 10 01:26:25 Finished translator                                            7m00s   1GB
Jan 10 01:26:27 Starting compiler/parsing
Jan 10 01:28:51 Finished compiler/parsing                                      2m21s   1GB
Jan 10 01:28:53 Starting characteristic
Jan 10 01:33:26 Finished characteristic                                        4m30s   1GB
Jan 10 01:33:28 Starting basis
Jan 10 01:59:26 Finished basis                                                25m55s   2GB
Jan 10 01:59:28 Starting translator/monadic
Jan 10 02:02:51 Finished translator/monadic                                    3m21s   1GB
Jan 10 02:02:53 Starting compiler/inference
Jan 10 02:05:42 Finished compiler/inference                                    2m47s   1GB
Jan 10 02:05:44 Starting compiler/backend/reg_alloc
Jan 10 02:06:32 Finished compiler/backend/reg_alloc                              46s 895MB
Jan 10 02:06:34 Starting compiler/backend/gc
Jan 10 02:22:31 Finished compiler/backend/gc                                  15m54s   3GB
Jan 10 02:22:32 Starting compiler/backend
Jan 10 02:22:36 Finished compiler/backend                                         1s  20MB
Jan 10 02:22:38 Starting compiler/encoders/asm
Jan 10 02:22:41 Finished compiler/encoders/asm                                    0s  17MB
Jan 10 02:22:43 Starting compiler/encoders/x64
Jan 10 02:24:21 Finished compiler/encoders/x64                                 1m36s 456MB
Jan 10 02:24:23 Starting compiler/encoders/arm6
Jan 10 02:27:24 Finished compiler/encoders/arm6                                2m59s   1GB
Jan 10 02:27:27 Starting compiler/encoders/arm8
Jan 10 02:28:14 Finished compiler/encoders/arm8                                  45s 416MB
Jan 10 02:28:16 Starting compiler/encoders/mips
Jan 10 02:29:43 Finished compiler/encoders/mips                                1m25s 659MB
Jan 10 02:29:45 Starting compiler/encoders/riscv
Jan 10 02:31:16 Finished compiler/encoders/riscv                               1m29s 452MB
Jan 10 02:31:18 Starting compiler/backend/x64
Jan 10 02:32:02 Finished compiler/backend/x64                                    42s   1GB
Jan 10 02:32:04 Starting compiler/backend/arm6
Jan 10 02:32:50 Finished compiler/backend/arm6                                   44s   1GB
Jan 10 02:32:52 Starting compiler/backend/arm8
Jan 10 02:33:34 Finished compiler/backend/arm8                                   39s 940MB
Jan 10 02:33:35 Starting compiler/backend/mips
Jan 10 02:34:19 Finished compiler/backend/mips                                   41s   1GB
Jan 10 02:34:21 Starting compiler/backend/riscv
Jan 10 02:35:05 Finished compiler/backend/riscv                                  41s   1GB
Jan 10 02:35:07 Starting compiler/parsing/proofs
Jan 10 02:39:38 Finished compiler/parsing/proofs                               4m28s 820MB
Jan 10 02:39:39 Starting compiler/inference/proofs
Jan 10 02:44:01 Finished compiler/inference/proofs                             4m19s 877MB
Jan 10 02:44:03 Starting compiler/backend/semantics
Jan 10 03:02:46 Finished compiler/backend/semantics                           18m40s   4GB
Jan 10 03:02:48 Starting compiler/backend/reg_alloc/proofs
Jan 10 03:04:02 Finished compiler/backend/reg_alloc/proofs                     1m11s 394MB
Jan 10 03:04:04 Starting compiler/backend/proofs
Jan 10 04:12:01 Finished compiler/backend/proofs                            1h07m55s   6GB
Jan 10 04:12:03 Starting compiler/encoders/x64/proofs
Jan 10 04:25:11 Finished compiler/encoders/x64/proofs                         13m05s   1GB
Jan 10 04:25:13 Starting compiler/encoders/arm6/proofs
Jan 10 04:38:34 Finished compiler/encoders/arm6/proofs                        13m18s   2GB
Jan 10 04:38:36 Starting compiler/encoders/arm8/proofs
Jan 10 04:47:42 Finished compiler/encoders/arm8/proofs                         9m04s   1GB
Jan 10 04:47:44 Starting compiler/encoders/mips/proofs
Jan 10 05:00:28 Finished compiler/encoders/mips/proofs                        12m42s   2GB
Jan 10 05:00:30 Starting compiler/encoders/riscv/proofs
Jan 10 05:14:06 Finished compiler/encoders/riscv/proofs                       13m34s 894MB
Jan 10 05:14:08 Starting compiler/backend/x64/proofs
Jan 10 05:15:00 Finished compiler/backend/x64/proofs                             49s   1GB
Jan 10 05:15:02 Starting compiler/backend/arm6/proofs
Jan 10 05:15:58 Finished compiler/backend/arm6/proofs                            53s   1GB
Jan 10 05:16:00 Starting compiler/backend/arm8/proofs
Jan 10 05:16:51 Finished compiler/backend/arm8/proofs                            49s   1GB
Jan 10 05:16:53 Starting compiler/backend/mips/proofs
Jan 10 05:17:50 Finished compiler/backend/mips/proofs                            54s   1GB
Jan 10 05:17:52 Starting compiler/backend/riscv/proofs
Jan 10 05:18:44 Finished compiler/backend/riscv/proofs                           49s   1GB
Jan 10 05:18:46 Starting compiler/proofs
Jan 10 05:21:17 Finished compiler/proofs                                       2m29s   1GB
Jan 10 05:21:19 Starting candle/set-theory
Jan 10 05:22:59 Finished candle/set-theory                                     1m37s 546MB
Jan 10 05:23:01 Starting candle/syntax-lib
Jan 10 05:23:23 Finished candle/syntax-lib                                       19s 463MB
Jan 10 05:23:24 Starting candle/standard/syntax
Jan 10 05:26:19 Finished candle/standard/syntax                                2m52s 604MB
Jan 10 05:26:21 Starting candle/standard/semantics
Jan 10 05:28:42 Finished candle/standard/semantics                             2m18s 729MB
Jan 10 05:28:44 Starting candle/standard/monadic
Jan 10 05:31:25 Finished candle/standard/monadic                               2m39s 988MB
Jan 10 05:31:27 Starting candle/standard/ml_kernel
Jan 10 05:42:06 Finished candle/standard/ml_kernel                            10m36s   2GB
Jan 10 05:42:08 Starting candle/standard/opentheory
Jan 10 05:42:39 Finished candle/standard/opentheory                              28s 830MB
Jan 10 05:42:41 Starting characteristic/examples
Jan 10 05:44:54 Finished characteristic/examples                               2m11s   1GB
Jan 10 05:44:56 Starting tutorial/solutions
Jan 10 06:18:22 Finished tutorial/solutions                                   33m24s   8GB
Jan 10 06:18:24 Starting translator/monadic/examples
Jan 10 06:20:41 Finished translator/monadic/examples                           2m15s   1GB
Jan 10 06:20:43 Starting examples
Jan 10 06:28:14 Finished examples                                              7m29s   2GB
Jan 10 06:28:16 Starting examples/compilation
Jan 10 11:23:55 Finished examples/compilation                               4h55m36s  14GB
Jan 10 11:23:56 Starting examples/compilation/proofs
Jan 10 11:29:16 Finished examples/compilation/proofs                           5m17s   4GB
Jan 10 11:29:17 Starting compiler/benchmarks
Jan 10 11:29:20 Finished compiler/benchmarks                                      0s   4MB
Jan 10 11:29:21 Starting translator/okasaki-examples
Jan 10 11:36:31 Finished translator/okasaki-examples                           7m07s   2GB
Jan 10 11:36:33 Starting translator/other-examples
Jan 10 11:43:21 Finished translator/other-examples                             6m45s 735MB
Jan 10 11:43:24 Starting compiler/parsing/tests
Jan 10 11:44:04 Finished compiler/parsing/tests                                  38s 389MB
Jan 10 11:44:06 Starting compiler/bootstrap/translation
Jan 10 20:02:14 Finished compiler/bootstrap/translation                     8h18m05s  40GB
Jan 10 20:02:16 Starting compiler/bootstrap/compilation/x64/64
Jan 11 20:28:24 Finished compiler/bootstrap/compilation/x64/64             24h26m05s  92GB
Jan 11 20:28:26 Starting compiler/bootstrap/compilation/x64/64/proofs
Jan 11 20:32:09 Finished compiler/bootstrap/compilation/x64/64/proofs          3m40s  29GB
Jan 11 20:32:11 Starting compiler/bootstrap/compilation/x64/32
Jan 12 18:29:39 Finished compiler/bootstrap/compilation/x64/32             21h57m25s  94GB
Jan 12 18:29:41 Starting compiler/bootstrap/compilation/x64/32/proofs
Jan 12 18:34:31 Finished compiler/bootstrap/compilation/x64/32/proofs          4m48s  19GB
Jan 12 18:34:33 SUCCESS