load started 13:26:08
exp1 swap 512->4096 at 13:34:06
proof started 13:43:45 (swap cap 4096, guest RAM 4096)
evidence copied 16:27:04
