Job 1031

CakeML:f8746ce03b63e2867d62acf3ea403ea5414963c7
  Merge pull request #688 from CakeML/issue683 [Sep 08 06:17:31]
HOL:4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6
  upgraded regexp compiler to use binary-map set to represent worklist; [Sep 04 04:16:57]
Machine:stove 4.15.0-55-generic x86_64 GNU/Linux

Sep 08 06:26:26 Claimed job
Sep 08 06:26:33 Building HOL
Sep 08 06:34:26 Starting developers
Sep 08 06:34:28 Finished developers                                               1s 139MB
Sep 08 06:34:29 Starting developers/bin
Sep 08 06:34:34 Finished developers/bin                                           4s 964MB
Sep 08 06:34:34 Starting semantics/ffi
Sep 08 06:35:06 Finished semantics/ffi                                           31s 538MB
Sep 08 06:35:06 Starting semantics
Sep 08 06:36:34 Finished semantics                                             1m27s   1GB
Sep 08 06:36:34 Starting semantics/proofs
Sep 08 06:39:20 Finished semantics/proofs                                      2m45s   1GB
Sep 08 06:39:20 Starting semantics/alt_semantics
Sep 08 06:39:26 Finished semantics/alt_semantics                                  6s 353MB
Sep 08 06:39:26 Starting semantics/alt_semantics/proofs
Sep 08 06:41:09 Finished semantics/alt_semantics/proofs                        1m42s 953MB
Sep 08 06:41:09 Starting basis/pure
Sep 08 06:44:40 Finished basis/pure                                            3m30s   1GB
Sep 08 06:44:40 Starting translator
Sep 08 06:46:20 Finished translator                                            1m40s   1GB
Sep 08 06:46:20 Starting compiler/parsing
Sep 08 06:47:13 Finished compiler/parsing                                        52s   1GB
Sep 08 06:47:13 Starting characteristic
Sep 08 06:52:17 Finished characteristic                                        5m03s   1GB
Sep 08 06:52:17 Starting translator/monadic
Sep 08 06:53:43 Finished translator/monadic                                    1m26s   1GB
Sep 08 06:53:44 Starting basis
Sep 08 07:14:01 Finished basis                                                20m17s   8GB
Sep 08 07:14:01 Starting compiler/inference
Sep 08 07:15:48 Finished compiler/inference                                    1m46s   1GB
Sep 08 07:15:48 Starting compiler/backend/reg_alloc
Sep 08 07:16:45 Finished compiler/backend/reg_alloc                              56s   1GB
Sep 08 07:16:45 Starting compiler/backend/gc
Sep 08 07:25:27 Finished compiler/backend/gc                                   8m41s   2GB
Sep 08 07:25:27 Starting compiler/backend
Sep 08 07:25:29 Finished compiler/backend                                         1s  22MB
Sep 08 07:25:29 Starting compiler/encoders/asm
Sep 08 07:25:30 Finished compiler/encoders/asm                                    0s  18MB
Sep 08 07:25:30 Starting compiler/encoders/x64
Sep 08 07:26:28 Finished compiler/encoders/x64                                   58s 982MB
Sep 08 07:26:29 Starting compiler/encoders/arm7
Sep 08 07:28:08 Finished compiler/encoders/arm7                                1m39s   1GB
Sep 08 07:28:08 Starting compiler/encoders/arm8
Sep 08 07:28:40 Finished compiler/encoders/arm8                                  31s 886MB
Sep 08 07:28:40 Starting compiler/encoders/mips
Sep 08 07:29:44 Finished compiler/encoders/mips                                1m04s   1GB
Sep 08 07:29:44 Starting compiler/encoders/riscv
Sep 08 07:30:59 Finished compiler/encoders/riscv                               1m15s   1GB
Sep 08 07:30:59 Starting compiler/encoders/ag32
Sep 08 07:31:15 Finished compiler/encoders/ag32                                  15s 879MB
Sep 08 07:31:15 Starting compiler/backend/x64
Sep 08 07:31:32 Finished compiler/backend/x64                                    17s   1GB
Sep 08 07:31:33 Starting compiler/backend/arm7
Sep 08 07:31:51 Finished compiler/backend/arm7                                   18s   1GB
Sep 08 07:31:51 Starting compiler/backend/arm8
Sep 08 07:32:09 Finished compiler/backend/arm8                                   17s   1GB
Sep 08 07:32:09 Starting compiler/backend/mips
Sep 08 07:32:27 Finished compiler/backend/mips                                   18s   1GB
Sep 08 07:32:27 Starting compiler/backend/riscv
Sep 08 07:32:45 Finished compiler/backend/riscv                                  18s   1GB
Sep 08 07:32:46 Starting compiler/backend/ag32
Sep 08 07:33:50 Finished compiler/backend/ag32                                 1m04s   1GB
Sep 08 07:33:50 Starting compiler/parsing/proofs
Sep 08 07:39:10 Finished compiler/parsing/proofs                               5m20s 932MB
Sep 08 07:39:10 Starting compiler/inference/proofs
Sep 08 07:41:44 Finished compiler/inference/proofs                             2m33s   1GB
Sep 08 07:41:44 Starting compiler/backend/semantics
Sep 08 07:47:04 Finished compiler/backend/semantics                            5m20s   1GB
Sep 08 07:47:04 Starting compiler/backend/reg_alloc/proofs
Sep 08 07:50:03 Finished compiler/backend/reg_alloc/proofs                     2m59s   1GB
Sep 08 07:50:04 Starting compiler/backend/proofs
Sep 08 08:25:44 Finished compiler/backend/proofs                              35m40s   9GB
Sep 08 08:25:44 Starting compiler/encoders/x64/proofs
Sep 08 08:34:52 Finished compiler/encoders/x64/proofs                          9m08s   5GB
Sep 08 08:34:52 Starting compiler/encoders/arm7/proofs
Sep 08 08:47:29 Finished compiler/encoders/arm7/proofs                        12m36s   7GB
Sep 08 08:47:29 Starting compiler/encoders/arm8/proofs
Sep 08 08:53:42 Finished compiler/encoders/arm8/proofs                         6m12s   1GB
Sep 08 08:53:42 Starting compiler/encoders/mips/proofs
Sep 08 09:03:01 Finished compiler/encoders/mips/proofs                         9m19s   2GB
Sep 08 09:03:02 Starting compiler/encoders/riscv/proofs
Sep 08 09:10:43 Finished compiler/encoders/riscv/proofs                        7m41s   1GB
Sep 08 09:10:43 Starting compiler/encoders/ag32/proofs
Sep 08 09:12:57 Finished compiler/encoders/ag32/proofs                         2m14s 730MB
Sep 08 09:12:57 Starting compiler/backend/x64/proofs
Sep 08 09:13:15 Finished compiler/backend/x64/proofs                             18s   1GB
Sep 08 09:13:15 Starting compiler/backend/arm7/proofs
Sep 08 09:13:35 Finished compiler/backend/arm7/proofs                            19s   1GB
Sep 08 09:13:35 Starting compiler/backend/arm8/proofs
Sep 08 09:13:53 Finished compiler/backend/arm8/proofs                            17s   1GB
Sep 08 09:13:53 Starting compiler/backend/mips/proofs
Sep 08 09:14:14 Finished compiler/backend/mips/proofs                            20s   1GB
Sep 08 09:14:14 Starting compiler/backend/riscv/proofs
Sep 08 09:14:34 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 08 09:14:34 Starting compiler/backend/ag32/proofs
Sep 08 09:23:06 Finished compiler/backend/ag32/proofs                          8m32s   9GB
Sep 08 09:23:06 Starting compiler/proofs
Sep 08 09:24:31 Finished compiler/proofs                                       1m24s   3GB
Sep 08 09:24:31 Starting candle/set-theory
Sep 08 09:24:57 Finished candle/set-theory                                       25s 814MB
Sep 08 09:24:57 Starting candle/syntax-lib
Sep 08 09:25:06 Finished candle/syntax-lib                                        9s 705MB
Sep 08 09:25:07 Starting candle/standard/syntax
Sep 08 09:26:45 Finished candle/standard/syntax                                1m38s   1GB
Sep 08 09:26:45 Starting candle/standard/semantics
Sep 08 09:28:19 Finished candle/standard/semantics                             1m34s   1GB
Sep 08 09:28:19 Starting candle/standard/monadic
Sep 08 09:29:47 Finished candle/standard/monadic                               1m27s   1GB
Sep 08 09:29:47 Starting candle/standard/ml_kernel
Sep 08 09:33:27 Finished candle/standard/ml_kernel                             3m39s   4GB
Sep 08 09:33:27 Starting candle/standard/opentheory
Sep 08 09:41:51 Finished candle/standard/opentheory                            8m23s   6GB
Sep 08 09:41:51 Starting candle/standard/opentheory/compilation
Sep 08 18:33:33 FAILED: candle/standard/opentheory/compilation
]0;Holmake: ~/cakeml/regression/cakeml-1031/basis/pure]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages/regular]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages[1mWorking in $(HOLDIR)/examples/formal-languages[0m
]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages/regular]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages/context-free]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages/context-free[1mWorking in $(HOLDIR)/examples/formal-languages/context-free[0m
]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages/regular]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/formal-languages/regular[1mWorking in $(HOLDIR)/examples/formal-languages/regular[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/basis/pure]0;Holmake: ~/cakeml/regression/cakeml-1031/misc]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/fun-op-sem/lprefix_lub]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/fun-op-sem/lprefix_lub[1mWorking in $(HOLDIR)/examples/fun-op-sem/lprefix_lub[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/misc]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/machine-code/hoare-triple]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/machine-code/hoare-triple[1mWorking in $(HOLDIR)/examples/machine-code/hoare-triple[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/misc]0;Holmake: ~/cakeml/regression/cakeml-1031/developers]0;Holmake: ~/cakeml/regression/cakeml-1031/developers[1mWorking in $(CAKEMLDIR)/developers[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/misc]0;Holmake: ~/cakeml/regression/cakeml-1031/misc/lem_lib_stub]0;Holmake: ~/cakeml/regression/cakeml-1031/misc/lem_lib_stub[1mWorking in $(CAKEMLDIR)/misc/lem_lib_stub[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/misc]0;Holmake: ~/cakeml/regression/cakeml-1031/misc[1mWorking in $(CAKEMLDIR)/misc[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/basis/pure]0;Holmake: ~/cakeml/regression/cakeml-1031/basis/pure[1mWorking in $(CAKEMLDIR)/basis/pure[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/basis]0;Holmake: ~/cakeml/regression/cakeml-1031/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/parsing]0;Holmake: ~/cakeml/regression/cakeml-1031/semantics]0;Holmake: ~/cakeml/regression/cakeml-1031/semantics/ffi]0;Holmake: ~/cakeml/regression/cakeml-1031/semantics/ffi[1mWorking in $(CAKEMLDIR)/semantics/ffi[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/semantics]0;Holmake: ~/cakeml/regression/cakeml-1031/semantics[1mWorking in $(CAKEMLDIR)/semantics[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/parsing]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/parsing[1mWorking in $(CAKEMLDIR)/compiler/parsing[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1031/semantics/proofs]0;Holmake: ~/cakeml/regression/cakeml-1031/semantics/proofs[1mWorking in $(CAKEMLDIR)/semantics/proofs[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1031/translator]0;Holmake: ~/cakeml/regression/cakeml-1031/translator[1mWorking in $(CAKEMLDIR)/translator[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/characteristic]0;Holmake: ~/cakeml/regression/cakeml-1031/characteristic[1mWorking in $(CAKEMLDIR)/characteristic[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/basis]0;Holmake: ~/cakeml/regression/cakeml-1031/translator/monadic]0;Holmake: ~/cakeml/regression/cakeml-1031/translator/monadic/monad_base]0;Holmake: ~/cakeml/regression/cakeml-1031/translator/monadic/monad_base[1mWorking in $(CAKEMLDIR)/translator/monadic/monad_base[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/translator/monadic]0;Holmake: ~/cakeml/regression/cakeml-1031/translator/monadic[1mWorking in $(CAKEMLDIR)/translator/monadic[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/basis]0;Holmake: ~/cakeml/regression/cakeml-1031/basis[1mWorking in $(CAKEMLDIR)/basis[0m
]0;Holmake: ..]0;Holmake: ../../ml_kernel]0;Holmake: ../../monadic]0;Holmake: ../../syntax]0;Holmake: ../../../syntax-lib]0;Holmake: ../../../syntax-lib[1mWorking in $(CAKEMLDIR)/candle/syntax-lib[0m
]0;Holmake: ../../syntax]0;Holmake: ../../syntax[1mWorking in $(CAKEMLDIR)/candle/standard/syntax[0m
]0;Holmake: ../../monadic]0;Holmake: ../../monadic[1mWorking in $(CAKEMLDIR)/candle/standard/monadic[0m
]0;Holmake: ../../ml_kernel]0;Holmake: ../../ml_kernel[1mWorking in $(CAKEMLDIR)/candle/standard/ml_kernel[0m
]0;Holmake: ..]0;Holmake: ../../semantics]0;Holmake: ../../../set-theory]0;Holmake: ../../../set-theory[1mWorking in $(CAKEMLDIR)/candle/set-theory[0m
]0;Holmake: ../../semantics]0;Holmake: ../../semantics[1mWorking in $(CAKEMLDIR)/candle/standard/semantics[0m
]0;Holmake: ..]0;Holmake: ..[1mWorking in $(CAKEMLDIR)/candle/standard/opentheory[0m
]0;Holmake: .]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/machine-code/multiword]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/machine-code/multiword[1mWorking in $(HOLDIR)/examples/machine-code/multiword[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/reg_alloc]0;Holmake: ~/cakeml/regression/cakeml-1031/unverified/reg_alloc]0;Holmake: ~/cakeml/regression/cakeml-1031/unverified/reg_alloc[1mWorking in $(CAKEMLDIR)/unverified/reg_alloc[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/reg_alloc]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/reg_alloc[1mWorking in $(CAKEMLDIR)/compiler/backend/reg_alloc[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/asm]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/common]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/common[1mWorking in $(HOLDIR)/examples/l3-machine-code/common[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/asm]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/asm[1mWorking in $(CAKEMLDIR)/compiler/encoders/asm[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend[1mWorking in $(CAKEMLDIR)/compiler/backend[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/ag32]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/ag32]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/ag32[1mWorking in $(CAKEMLDIR)/compiler/encoders/ag32[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/ag32]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/ag32[1mWorking in $(CAKEMLDIR)/compiler/backend/ag32[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/arm7]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm7]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm/model]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/lib]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/lib[1mWorking in $(HOLDIR)/examples/l3-machine-code/lib[0m
]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm/model]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm7]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm/step]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/machine-code/decompiler]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/machine-code/decompiler[1mWorking in $(HOLDIR)/examples/machine-code/decompiler[0m
]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code[1mWorking in $(HOLDIR)/examples/l3-machine-code[0m
]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm/step]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm7]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm7[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm7[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/arm7]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/arm7[1mWorking in $(CAKEMLDIR)/compiler/backend/arm7[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/arm8]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm8]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm8/model]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm8/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm8]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm8/step]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/arm8/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/arm8/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm8]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/arm8[1mWorking in $(CAKEMLDIR)/compiler/encoders/arm8[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/arm8]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/arm8[1mWorking in $(CAKEMLDIR)/compiler/backend/arm8[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/mips]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/mips]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/mips/model]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/mips/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/mips]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/mips/step]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/mips/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/mips/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/mips]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/mips[1mWorking in $(CAKEMLDIR)/compiler/encoders/mips[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/mips]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/mips[1mWorking in $(CAKEMLDIR)/compiler/backend/mips[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/riscv]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/riscv]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/riscv/model]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/riscv/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/riscv]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/riscv/step]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/riscv/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/riscv/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/riscv]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/riscv[1mWorking in $(CAKEMLDIR)/compiler/encoders/riscv[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/riscv]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/riscv[1mWorking in $(CAKEMLDIR)/compiler/backend/riscv[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/x64]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/x64]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/x64/model]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/x64/model[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/model[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/x64]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/x64/step]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/l3-machine-code/x64/step[1mWorking in $(HOLDIR)/examples/l3-machine-code/x64/step[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/x64]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/encoders/x64[1mWorking in $(CAKEMLDIR)/compiler/encoders/x64[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/x64]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/backend/x64[1mWorking in $(CAKEMLDIR)/compiler/backend/x64[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/inference]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/unification/triangular/first-order]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/unification/triangular]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/unification/triangular[1mWorking in $(HOLDIR)/examples/unification/triangular[0m
]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/unification/triangular/first-order]0;Holmake: ~/cakeml/regression/HOL-4dba4f20d2f9dce4c8a659aeb7ebbe040a90fda6/examples/unification/triangular/first-order[1mWorking in $(HOLDIR)/examples/unification/triangular/first-order[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/inference]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler/inference[1mWorking in $(CAKEMLDIR)/compiler/inference[0m
]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler]0;Holmake: ~/cakeml/regression/cakeml-1031/compiler[1mWorking in $(CAKEMLDIR)/compiler[0m
]0;Holmake: .]0;Holmake: .[1mWorking in $(CAKEMLDIR)/candle/standard/opentheory/compilation[0m
Starting work on readerCompileTheory
Starting work on README.md
README.md                                                                    OK
readerCompileTheory                                                 FAILED! <1>
      apply colour (par) eval: runtime: 29m59s,    gctime: 20m43s,     systime: 1m28s.
      apply colour (par) real: 24m01s
      apply colour (par) size: 2744348
            check colour eval: runtime: 50.0s,    gctime: 0.96663s,     systime: 0.08201s.
            check colour real: 50.0s
            check colour size: 2745402
           word_to_stack eval: Warning - Unable to increase stack - interrupting thread
 error in quse /home/cur/sao/cakeml/regression/cakeml-1031/candle/standard/opentheory/compilation/readerCompileScript.sml : Interrupt
 error in load readerCompileScript : Interrupt
 Uncaught exception: Interrupt