2017-12-03 02:29:03 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 10]
2017-12-03 02:28:56 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 10]
2017-12-03 02:28:45 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 9]
2017-12-03 02:28:32 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 9]
2017-12-03 02:28:21 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 9]
2017-12-03 02:28:13 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 9]
2017-12-03 02:28:01 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 8]
2017-12-03 02:27:49 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 8]
2017-12-03 02:27:38 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 8]
2017-12-03 02:27:30 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 8]
2017-12-03 02:27:19 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 7]
2017-12-03 02:27:07 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 7]
2017-12-03 02:26:55 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 7]
2017-12-03 02:26:48 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 7]
2017-12-03 02:26:36 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 6]
2017-12-03 02:26:23 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 6]
2017-12-03 02:26:12 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 6]
2017-12-03 02:26:05 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 6]
2017-12-03 02:25:53 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 5]
2017-12-03 02:25:41 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 5]
2017-12-03 02:25:30 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 5]
2017-12-03 02:25:21 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 5]
2017-12-03 02:25:09 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 4]
2017-12-03 02:24:57 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 4]
2017-12-03 02:24:45 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 4]
2017-12-03 02:24:38 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 4]
2017-12-03 02:24:27 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 3]
2017-12-03 02:24:14 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 3]
2017-12-03 02:24:03 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 3]
2017-12-03 02:23:55 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 3]
2017-12-03 02:23:43 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 2]
2017-12-03 02:23:31 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 2]
2017-12-03 02:23:20 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 2]
2017-12-03 02:23:12 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 2]
2017-12-03 02:23:00 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 1]
2017-12-03 02:22:49 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | floor-tile-sequential-satisficing | 1]
2017-12-03 02:22:37 +0100	finished benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 1]
2017-12-03 02:22:30 +0100	started benchmark job [m-mp | ipc-2011 | floor-tile-sequential-satisficing | 1]
2017-12-03 02:22:18 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 20]
2017-12-03 02:20:56 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 20]
2017-12-03 02:20:45 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 20]
2017-12-03 02:17:48 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 20]
2017-12-03 02:17:37 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 19]
2017-12-03 02:16:20 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 19]
2017-12-03 02:16:09 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 19]
2017-12-03 02:12:32 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 19]
2017-12-03 02:12:21 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 18]
2017-12-03 02:11:09 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 18]
2017-12-03 02:10:57 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 18]
2017-12-03 02:09:29 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 18]
2017-12-03 02:09:18 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 17]
2017-12-03 02:08:12 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 17]
2017-12-03 02:08:00 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 17]
2017-12-03 02:06:37 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 17]
2017-12-03 02:06:26 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 16]
2017-12-03 02:05:26 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 16]
2017-12-03 02:05:15 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 16]
2017-12-03 02:04:11 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 16]
2017-12-03 02:04:00 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 15]
2017-12-03 02:02:57 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 15]
2017-12-03 02:02:44 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 15]
2017-12-03 02:02:07 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 15]
2017-12-03 02:01:56 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 14]
2017-12-03 02:00:57 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 14]
2017-12-03 02:00:45 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 14]
2017-12-03 02:00:14 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 14]
2017-12-03 02:00:02 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 13]
2017-12-03 01:59:04 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 13]
2017-12-03 01:58:53 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 13]
2017-12-03 01:58:27 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 13]
2017-12-03 01:58:16 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 12]
2017-12-03 01:57:22 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 12]
2017-12-03 01:57:11 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 12]
2017-12-03 01:56:45 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 12]
2017-12-03 01:56:34 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 11]
2017-12-03 01:55:43 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 11]
2017-12-03 01:55:31 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 11]
2017-12-03 01:55:11 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 11]
2017-12-03 01:54:58 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 10]
2017-12-03 01:54:22 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 10]
2017-12-03 01:54:10 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 10]
2017-12-03 01:53:54 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 10]
2017-12-03 01:53:43 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 9]
2017-12-03 01:53:11 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 9]
2017-12-03 01:52:57 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 9]
2017-12-03 01:52:43 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 9]
2017-12-03 01:52:31 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 8]
2017-12-03 01:52:00 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 8]
2017-12-03 01:51:45 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 8]
2017-12-03 01:51:32 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 8]
2017-12-03 01:51:20 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 7]
2017-12-03 01:50:54 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 7]
2017-12-03 01:50:39 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 7]
2017-12-03 01:50:28 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 7]
2017-12-03 01:50:17 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 6]
2017-12-03 01:49:48 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 6]
2017-12-03 01:49:33 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 6]
2017-12-03 01:49:19 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 6]
2017-12-03 01:49:08 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 5]
2017-12-03 01:48:50 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 5]