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