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