Job 1337

CakeML:f38bfc70904c0195825784b16a4c7beaf35d070e
  PIC-compatible x64 cml_main [Sep 12 09:05:21]
#751 (x64_pie)
Merging into:cbf24c13a47d5075fd44eed3a36178daaa7c0142
  Merge pull request #747 from CakeML/lpr_opt [Sep 13 12:05:55]
HOL:3a61f6474b2dc31174ed90042aa2ae47864d9ccb
  kolmog/kraft_ineq: really remove dep. on extreal; some other progress [Sep 11 08:15:31]
Machine:oven1 (2) 4.17.17-100.fc27.x86_64 x86_64

Sep 13 12:15:14 Claimed job
Sep 13 12:15:24 Building HOL
Sep 13 12:30:52 Starting developers
Sep 13 12:30:56 Finished developers                                               4s  70MB
Sep 13 12:30:56 Starting developers/bin
Sep 13 12:31:04 Finished developers/bin                                           6s   1GB
Sep 13 12:31:04 Starting semantics/ffi
Sep 13 12:31:16 Finished semantics/ffi                                           11s 255MB
Sep 13 12:31:16 Starting semantics
Sep 13 12:32:52 Finished semantics                                             1m35s   1GB
Sep 13 12:32:52 Starting semantics/proofs
Sep 13 12:36:29 Finished semantics/proofs                                      3m36s   1GB
Sep 13 12:36:29 Starting semantics/alt_semantics
Sep 13 12:36:39 Finished semantics/alt_semantics                                  9s 338MB
Sep 13 12:36:39 Starting semantics/alt_semantics/proofs
Sep 13 12:38:56 Finished semantics/alt_semantics/proofs                        2m16s   1GB
Sep 13 12:38:56 Starting basis/pure
Sep 13 12:42:05 Finished basis/pure                                            3m08s 948MB
Sep 13 12:42:05 Starting translator
Sep 13 12:44:51 Finished translator                                            2m45s   1GB
Sep 13 12:44:51 Starting compiler/parsing
Sep 13 12:46:06 Finished compiler/parsing                                      1m14s   2GB
Sep 13 12:46:06 Starting characteristic
Sep 13 12:52:19 Finished characteristic                                        6m13s   1GB
Sep 13 12:52:19 Starting translator/monadic
Sep 13 12:54:01 Finished translator/monadic                                    1m41s   1GB
Sep 13 12:54:01 Starting basis
Sep 13 13:30:15 Finished basis                                                36m13s  21GB
Sep 13 13:30:16 Starting compiler/inference
Sep 13 13:31:30 Finished compiler/inference                                    1m13s   1GB
Sep 13 13:31:30 Starting compiler/backend/reg_alloc
Sep 13 13:32:37 Finished compiler/backend/reg_alloc                            1m07s   1GB
Sep 13 13:32:37 Starting compiler/backend/gc
Sep 13 13:36:22 Finished compiler/backend/gc                                   3m44s   2GB
Sep 13 13:36:22 Starting compiler/backend
Sep 13 13:41:09 Finished compiler/backend                                      4m46s   3GB
Sep 13 13:41:09 Starting compiler/encoders/asm
Sep 13 13:41:32 Finished compiler/encoders/asm                                   23s 775MB
Sep 13 13:41:32 Starting compiler/encoders/x64
Sep 13 13:42:35 Finished compiler/encoders/x64                                 1m02s 795MB
Sep 13 13:42:36 Starting compiler/encoders/arm7
Sep 13 13:44:38 Finished compiler/encoders/arm7                                2m02s   1GB
Sep 13 13:44:38 Starting compiler/encoders/arm8
Sep 13 13:45:17 Finished compiler/encoders/arm8                                  38s 942MB
Sep 13 13:45:17 Starting compiler/encoders/mips
Sep 13 13:46:42 Finished compiler/encoders/mips                                1m24s   1GB
Sep 13 13:46:42 Starting compiler/encoders/riscv
Sep 13 13:48:18 Finished compiler/encoders/riscv                               1m35s   1GB
Sep 13 13:48:18 Starting compiler/encoders/ag32
Sep 13 13:48:37 Finished compiler/encoders/ag32                                  18s 674MB
Sep 13 13:48:37 Starting compiler/backend/x64
Sep 13 13:48:56 Finished compiler/backend/x64                                    18s   1GB
Sep 13 13:48:56 Starting compiler/backend/arm7
Sep 13 13:49:17 Finished compiler/backend/arm7                                   20s   1GB
Sep 13 13:49:17 Starting compiler/backend/arm8
Sep 13 13:49:35 Finished compiler/backend/arm8                                   17s   1GB
Sep 13 13:49:35 Starting compiler/backend/mips
Sep 13 13:49:56 Finished compiler/backend/mips                                   20s   1GB
Sep 13 13:49:56 Starting compiler/backend/riscv
Sep 13 13:50:16 Finished compiler/backend/riscv                                  19s   1GB
Sep 13 13:50:16 Starting compiler/backend/ag32
Sep 13 13:51:30 Finished compiler/backend/ag32                                 1m13s   1GB
Sep 13 13:51:30 Starting compiler/parsing/proofs
Sep 13 13:57:19 Finished compiler/parsing/proofs                               5m49s   1GB
Sep 13 13:57:19 Starting compiler/inference/proofs
Sep 13 13:59:55 Finished compiler/inference/proofs                             2m35s   1GB
Sep 13 13:59:55 Starting compiler/backend/semantics
Sep 13 14:31:20 Finished compiler/backend/semantics                           31m24s   2GB
Sep 13 14:31:20 Starting compiler/backend/reg_alloc/proofs
Sep 13 14:35:04 Finished compiler/backend/reg_alloc/proofs                     3m44s   1GB
Sep 13 14:35:05 Starting compiler/backend/proofs
Sep 13 15:32:49 Finished compiler/backend/proofs                              57m44s  16GB
Sep 13 15:32:49 Starting compiler/encoders/x64/proofs
Sep 13 15:43:09 Finished compiler/encoders/x64/proofs                         10m19s   4GB
Sep 13 15:43:09 Starting compiler/encoders/arm7/proofs
Sep 13 15:57:08 Finished compiler/encoders/arm7/proofs                        13m58s   3GB
Sep 13 15:57:08 Starting compiler/encoders/arm8/proofs
Sep 13 16:04:12 Finished compiler/encoders/arm8/proofs                         7m04s   1GB
Sep 13 16:04:12 Starting compiler/encoders/mips/proofs
Sep 13 16:15:10 Finished compiler/encoders/mips/proofs                        10m57s   2GB
Sep 13 16:15:10 Starting compiler/encoders/riscv/proofs
Sep 13 16:24:18 Finished compiler/encoders/riscv/proofs                        9m08s   1GB
Sep 13 16:24:18 Starting compiler/encoders/ag32/proofs
Sep 13 16:27:07 Finished compiler/encoders/ag32/proofs                         2m48s 844MB
Sep 13 16:27:07 Starting compiler/backend/x64/proofs
Sep 13 16:27:28 Finished compiler/backend/x64/proofs                             20s   1GB
Sep 13 16:27:28 Starting compiler/backend/arm7/proofs
Sep 13 16:27:51 Finished compiler/backend/arm7/proofs                            22s   1GB
Sep 13 16:27:51 Starting compiler/backend/arm8/proofs
Sep 13 16:28:11 Finished compiler/backend/arm8/proofs                            20s   1GB
Sep 13 16:28:12 Starting compiler/backend/mips/proofs
Sep 13 16:28:34 Finished compiler/backend/mips/proofs                            22s   1GB
Sep 13 16:28:34 Starting compiler/backend/riscv/proofs
Sep 13 16:28:55 Finished compiler/backend/riscv/proofs                           20s   1GB
Sep 13 16:28:55 Starting compiler/backend/ag32/proofs
Sep 13 16:42:27 Finished compiler/backend/ag32/proofs                         13m30s   2GB
Sep 13 16:42:27 Starting compiler/proofs
Sep 13 16:44:20 Finished compiler/proofs                                       1m53s   2GB
Sep 13 16:44:20 Starting candle/set-theory
Sep 13 16:44:50 Finished candle/set-theory                                       28s 754MB
Sep 13 16:44:50 Starting candle/syntax-lib
Sep 13 16:45:01 Finished candle/syntax-lib                                       10s 705MB
Sep 13 16:45:01 Starting candle/standard/syntax
Sep 13 16:46:57 Finished candle/standard/syntax                                1m56s 937MB
Sep 13 16:46:57 Starting candle/standard/semantics
Sep 13 16:48:47 Finished candle/standard/semantics                             1m49s   1GB
Sep 13 16:48:47 Starting candle/standard/monadic
Sep 13 16:50:35 Finished candle/standard/monadic                               1m47s   1GB
Sep 13 16:50:35 Starting candle/standard/ml_kernel
Sep 13 16:56:27 Finished candle/standard/ml_kernel                             5m51s   3GB
Sep 13 16:56:27 Starting candle/overloading/syntax
Sep 13 16:59:45 Finished candle/overloading/syntax                             3m17s   1GB
Sep 13 16:59:46 Starting candle/overloading/semantics
Sep 13 17:12:56 Finished candle/overloading/semantics                         13m10s   3GB
Sep 13 17:12:57 Starting characteristic/examples
Sep 13 17:14:17 Finished characteristic/examples                               1m20s   3GB
Sep 13 17:14:18 Starting tutorial/solutions
Sep 13 17:29:14 Finished tutorial/solutions                                   14m56s   7GB
Sep 13 17:29:14 Starting translator/monadic/examples
Sep 13 17:32:33 Finished translator/monadic/examples                           3m18s   2GB
Sep 13 17:32:33 Starting examples
Sep 13 17:41:24 Finished examples                                              8m50s   5GB
Sep 13 17:41:24 Starting examples/compilation/x64
Sep 13 20:01:27 Finished examples/compilation/x64                           2h20m02s  16GB
Sep 13 20:01:27 Starting examples/compilation/x64/proofs
Sep 13 20:03:03 Finished examples/compilation/x64/proofs                       1m35s   3GB
Sep 13 20:03:03 Starting examples/compilation/ag32
Sep 13 20:35:11 Finished examples/compilation/ag32                            32m07s   5GB
Sep 13 20:35:11 Starting examples/compilation/ag32/proofs
Sep 13 20:35:54 Finished examples/compilation/ag32/proofs                        42s   3GB
Sep 13 20:35:55 Starting examples/cost
Sep 13 21:25:25 Finished examples/cost                                        49m30s   7GB
Sep 13 21:25:26 Starting examples/lpr_checker
Sep 13 21:29:26 Finished examples/lpr_checker                                  3m59s   2GB
Sep 13 21:29:26 Starting examples/lpr_checker/compilation
Sep 13 21:46:53 Finished examples/lpr_checker/compilation                     17m27s   9GB
Sep 13 21:46:54 Starting examples/lpr_checker/compilation/proofs
Sep 13 21:47:30 Finished examples/lpr_checker/compilation/proofs                 36s   2GB
Sep 13 21:47:31 Starting examples/lpr_checker/array
Sep 13 22:01:36 Finished examples/lpr_checker/array                           14m05s   2GB
Sep 13 22:01:37 Starting examples/lpr_checker/array/compilation
Sep 13 22:19:58 Finished examples/lpr_checker/array/compilation               18m20s  13GB
Sep 13 22:19:58 Starting examples/lpr_checker/array/compilation/proofs
Sep 13 22:20:45 Finished examples/lpr_checker/array/compilation/proofs           47s   2GB
Sep 13 22:20:46 Starting examples/opentheory
Sep 13 22:31:02 Finished examples/opentheory                                  10m15s   5GB
Sep 13 22:31:02 Starting examples/opentheory
Sep 13 22:31:03 Finished examples/opentheory                                      1s  26MB
Sep 13 22:31:03 Starting examples/opentheory/compilation
Sep 13 23:04:23 Finished examples/opentheory/compilation                      33m20s  17GB
Sep 13 23:04:25 Starting examples/opentheory/compilation/proofs
Sep 13 23:05:03 Finished examples/opentheory/compilation/proofs                  38s   3GB
Sep 13 23:05:04 Starting examples/opentheory/compilation/ag32
Sep 13 23:38:03 Finished examples/opentheory/compilation/ag32                 32m59s  25GB
Sep 13 23:38:04 Starting examples/opentheory/compilation/ag32/proofs
Sep 13 23:39:39 Finished examples/opentheory/compilation/ag32/proofs           1m34s   5GB
Sep 13 23:39:39 Starting translator/okasaki-examples
Sep 13 23:44:07 Finished translator/okasaki-examples                           4m27s   2GB
Sep 13 23:44:07 Starting translator/other-examples
Sep 13 23:46:17 Finished translator/other-examples                             2m09s   1GB
Sep 13 23:46:17 Starting compiler/parsing/tests
Sep 13 23:46:44 Finished compiler/parsing/tests                                  26s 662MB
Sep 13 23:46:44 Starting compiler/inference/tests
Sep 13 23:51:23 Finished compiler/inference/tests                              4m38s   3GB
Sep 13 23:51:23 Starting compiler/bootstrap/translation
Sep 14 02:42:12 Finished compiler/bootstrap/translation                     2h50m48s  37GB
Sep 14 02:42:12 Starting unverified/sexpr-bootstrap/x64/64
Sep 14 02:51:35 Finished unverified/sexpr-bootstrap/x64/64                     9m22s   8GB
Sep 14 02:51:35 Starting unverified/sexpr-bootstrap/x64/32
Sep 14 02:59:05 Finished unverified/sexpr-bootstrap/x64/32                     7m29s   8GB
Sep 14 02:59:05 Starting compiler/benchmarks
Sep 14 02:59:07 Finished compiler/benchmarks                                      1s  23MB
Sep 14 02:59:07 Starting compiler/bootstrap/compilation/x64/64
Sep 14 18:03:20 Finished compiler/bootstrap/compilation/x64/64             15h04m11s  64GB
Sep 14 18:03:20 Starting compiler/bootstrap/compilation/x64/64/proofs
Sep 14 18:06:50 Finished compiler/bootstrap/compilation/x64/64/proofs          3m29s  13GB
Sep 14 18:06:50 Starting compiler/bootstrap/compilation/x64/32
Sep 15 07:32:01 Finished compiler/bootstrap/compilation/x64/32             13h25m10s  64GB
Sep 15 07:32:01 Starting compiler/bootstrap/compilation/x64/32/proofs
Sep 15 07:35:08 Finished compiler/bootstrap/compilation/x64/32/proofs          3m06s  13GB
Sep 15 07:35:08 Starting compiler/bootstrap/compilation/ag32/32
Sep 15 22:55:13 Finished compiler/bootstrap/compilation/ag32/32            15h20m04s  64GB
Sep 15 22:55:13 Starting compiler/bootstrap/compilation/ag32/32/proofs
Sep 15 23:21:00 Finished compiler/bootstrap/compilation/ag32/32/proofs        25m46s  24GB
Sep 15 23:21:00 SUCCESS