2017-11-25 20:10:02 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:09:57 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:07:19 +0100	started benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:07:14 +0100	finished benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:04:35 +0100	started benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:04:30 +0100	finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:01:24 +0100	started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:01:18 +0100	finished benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:00:36 +0100	started benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 20:00:31 +0100	finished benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:59:58 +0100	started benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:59:52 +0100	finished benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:59:10 +0100	started benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:59:04 +0100	finished benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:58:22 +0100	started benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:58:17 +0100	finished benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:58:09 +0100	started benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:58:04 +0100	finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:57:57 +0100	started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:57:52 +0100	finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:57:43 +0100	started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 15]
2017-11-25 19:57:38 +0100	finished benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:55:47 +0100	started benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:55:42 +0100	finished benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:55:01 +0100	started benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:54:55 +0100	finished benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:54:09 +0100	started benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:54:04 +0100	finished benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:51:12 +0100	started benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:51:07 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:50:26 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:50:21 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:47:28 +0100	started benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:47:23 +0100	finished benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:44:30 +0100	started benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:44:25 +0100	finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:41:32 +0100	started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:41:27 +0100	finished benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:40:45 +0100	started benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:40:40 +0100	finished benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:40:01 +0100	started benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:39:56 +0100	finished benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:39:15 +0100	started benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:39:09 +0100	finished benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:38:27 +0100	started benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:38:22 +0100	finished benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:38:11 +0100	started benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:38:06 +0100	finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:37:55 +0100	started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:37:49 +0100	finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:37:02 +0100	started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 13]
2017-11-25 19:36:57 +0100	finished benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:35:04 +0100	started benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:34:59 +0100	finished benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:33:39 +0100	started benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:33:34 +0100	finished benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:32:21 +0100	started benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:32:16 +0100	finished benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:29:01 +0100	started benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:28:56 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:27:41 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:27:36 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:24:21 +0100	started benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:24:16 +0100	finished benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:21:02 +0100	started benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:20:57 +0100	finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:17:41 +0100	started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:17:36 +0100	finished benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:16:04 +0100	started benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:15:59 +0100	finished benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:14:45 +0100	started benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:14:40 +0100	finished benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:13:09 +0100	started benchmark job [fd-pa-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:13:04 +0100	finished benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:11:33 +0100	started benchmark job [fd-ps-e1-sh | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:11:28 +0100	finished benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:11:10 +0100	started benchmark job [m-mpc | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:11:05 +0100	finished benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:10:42 +0100	started benchmark job [m-mp | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:10:37 +0100	finished benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:08:33 +0100	started benchmark job [m-m | ipc-1998 | mystery-round-1-strips | 10]
2017-11-25 19:08:28 +0100	finished benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:06:38 +0100	started benchmark job [pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:06:32 +0100	finished benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:06:20 +0100	started benchmark job [fd-pc-e1-sh | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:06:15 +0100	finished benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:06:02 +0100	started benchmark job [fd-pb-es | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:05:57 +0100	finished benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:05:37 +0100	started benchmark job [fd-pb-e4 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:05:32 +0100	finished benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:05:20 +0100	started benchmark job [fd-pb-e1-sh-h | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:05:15 +0100	finished benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:04:55 +0100	started benchmark job [fd-pb-e3-t0 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:04:50 +0100	finished benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:04:29 +0100	started benchmark job [fd-pb-e3 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:04:24 +0100	finished benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:03:55 +0100	started benchmark job [fd-pb-e2 | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:03:50 +0100	finished benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:03:38 +0100	started benchmark job [fd-pb-e1-sh | ipc-1998 | mystery-round-1-strips | 9]
2017-11-25 19:03:32 +0100	finished benchmark job [fd-pb-e0-sh | ipc-1998 | mystery-round-1-strips | 9]