Job 1058

CakeML:dc73bd8f21601e06bdc92eb303865a3992673970
  Merge pull request #694 from CakeML/remove-oom [Oct 13 07:36:28]
HOL:f11debc0b86c4c7bb97d340bf5ace2f75d4c69fd
  Holmake: key monitor function on combination of PID and tag-string [Oct 30 11:27:47]
Machine:oven3 4.19.67.1.amd64-smp

Oct 30 22:39:43 Claimed job
Oct 30 22:39:48 Building HOL
Oct 30 23:02:38 Starting developers
Oct 30 23:02:45 Finished developers                                               6s  74MB
Oct 30 23:02:45 Starting developers/bin
Oct 30 23:02:58 Finished developers/bin                                          13s 965MB
Oct 30 23:02:58 Starting semantics/ffi
Oct 30 23:03:21 Finished semantics/ffi                                           22s 227MB
Oct 30 23:03:21 Starting semantics
Oct 30 23:06:20 Finished semantics                                             2m58s   1GB
Oct 30 23:06:20 Starting semantics/proofs
Oct 30 23:12:58 Finished semantics/proofs                                      6m37s   1GB
Oct 30 23:12:58 Starting semantics/alt_semantics
Oct 30 23:13:15 Finished semantics/alt_semantics                                 16s 306MB
Oct 30 23:13:15 Starting semantics/alt_semantics/proofs
Oct 30 23:17:12 Finished semantics/alt_semantics/proofs                        3m56s 956MB
Oct 30 23:17:12 Starting basis/pure
Oct 30 23:22:59 Finished basis/pure                                            5m46s 780MB
Oct 30 23:22:59 Starting translator
Oct 30 23:26:37 Finished translator                                            3m37s   1GB
Oct 30 23:26:38 Starting compiler/parsing
Oct 30 23:28:37 Finished compiler/parsing                                      1m59s   1GB
Oct 30 23:28:37 Starting characteristic
Oct 30 23:40:07 Finished characteristic                                       11m29s   1GB
Oct 30 23:40:07 Starting translator/monadic
Oct 30 23:43:13 Finished translator/monadic                                    3m05s   1GB
Oct 30 23:43:13 Starting basis
Oct 31 00:24:24 Finished basis                                                41m10s   2GB
Oct 31 00:24:24 Starting compiler/inference
Oct 31 00:28:23 Finished compiler/inference                                    3m58s   1GB
Oct 31 00:28:23 Starting compiler/backend/reg_alloc
Oct 31 00:30:17 Finished compiler/backend/reg_alloc                            1m53s   1GB
Oct 31 00:30:17 Starting compiler/backend/gc
Oct 31 00:36:34 Finished compiler/backend/gc                                   6m16s   1GB
Oct 31 00:36:34 Starting compiler/backend
Oct 31 00:43:31 Finished compiler/backend                                      6m56s   2GB
Oct 31 00:43:31 Starting compiler/encoders/asm
Oct 31 00:44:18 Finished compiler/encoders/asm                                   46s 620MB
Oct 31 00:44:18 Starting compiler/encoders/x64
Oct 31 00:44:45 FAILED: compiler/encoders/x64
Scanning [1m$(HOLDIR)/examples/l3-machine-code/common[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/lib[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/x64/model[0m
Scanning [1m$(HOLDIR)/examples/machine-code/decompiler[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code[0m
Scanning [1m$(HOLDIR)/examples/l3-machine-code/x64/step[0m
Scanning [1m$(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
Scanning [1m$(CAKEMLDIR)/developers[0m
Scanning [1m$(HOLDIR)/examples/formal-languages/context-free[0m
Scanning [1m$(CAKEMLDIR)/misc/lem_lib_stub[0m
Scanning [1m$(CAKEMLDIR)/misc[0m
Scanning [1m$(CAKEMLDIR)/semantics/ffi[0m
Scanning [1m$(CAKEMLDIR)/semantics[0m
Scanning [1m$(CAKEMLDIR)/compiler/encoders/asm[0m
Starting work on x64Theory
Starting work on l3-heap
Starting work on README.md
README.md                                                                                                                                                                          real:    0s  user:    0s     OK
l3-heap                                                                                                                                                                            real:   14s  user:   19s     OK
x64Theory                                                                                                                                                                          real:   22s  user:   20s     OK
Starting work on x64-heap
x64-heap                                                                                                                                                                           real:    3s  user:    3sFAIL<1>
 Loading ../model/x64Lib
 Loading ../model/x64AssemblerLib
 Cannot find file /root/regression/HOL-f11debc0b86c4c7bb97d340bf5ace2f75d4c69fd/examples/l3-machine-code/x64/model/x64.ui
 error in load $(HOLDIR)/examples/l3-machine-code/x64/model/x64 : Fail "Cannot find file /root/regression/HOL-f11debc0b86c4c7bb97d340bf5ace2f75d4c69fd/examples/l3-machine-code/x64/model/x64.ui"
 error in load ../model/x64AssemblerLib : Fail "Cannot find file /root/regression/HOL-f11debc0b86c4c7bb97d340bf5ace2f75d4c69fd/examples/l3-machine-code/x64/model/x64.ui"
 Loading ../model/x64AssemblerLib: Fail "Cannot find file /root/regression/HOL-f11debc0b86c4c7bb97d340bf5ace2f75d4c69fd/examples/l3-machine-code/x64/model/x64.ui"