2017-12-04 20:40:16 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 4]
2017-12-04 20:39:41 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 4]
2017-12-04 20:39:30 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 3]
2017-12-04 20:39:05 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 3]
2017-12-04 20:38:47 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 2]
2017-12-04 20:38:32 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 2]
2017-12-04 20:38:20 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 1]
2017-12-04 20:38:06 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | no-mystery-sequential-satisficing | 1]
2017-12-04 20:37:55 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 20]
2017-12-04 20:22:45 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 20]
2017-12-04 20:22:34 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 19]
2017-12-04 20:07:24 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 19]
2017-12-04 20:07:13 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 18]
2017-12-04 19:52:03 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 18]
2017-12-04 19:51:51 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 17]
2017-12-04 19:36:42 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 17]
2017-12-04 19:36:30 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 16]
2017-12-04 19:21:20 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 16]
2017-12-04 19:21:09 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 15]
2017-12-04 19:05:59 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 15]
2017-12-04 19:05:48 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 14]
2017-12-04 18:50:38 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 14]
2017-12-04 18:50:26 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 13]
2017-12-04 18:35:17 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 13]
2017-12-04 18:35:05 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 12]
2017-12-04 18:19:56 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 12]
2017-12-04 18:19:44 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 11]
2017-12-04 18:04:34 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 11]
2017-12-04 18:04:22 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 10]
2017-12-04 17:49:12 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 10]
2017-12-04 17:49:01 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 9]
2017-12-04 17:33:51 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 9]
2017-12-04 17:33:39 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 8]
2017-12-04 17:18:29 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 8]
2017-12-04 17:18:18 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 7]
2017-12-04 17:03:08 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 7]
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]