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]
2017-12-03 01:48:37 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 5]
2017-12-03 01:48:29 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 5]
2017-12-03 01:48:17 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 4]
2017-12-03 01:47:59 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 4]
2017-12-03 01:47:47 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 4]
2017-12-03 01:47:39 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 4]
2017-12-03 01:47:23 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 3]
2017-12-03 01:46:56 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 3]
2017-12-03 01:46:45 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 3]
2017-12-03 01:46:33 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 3]
2017-12-03 01:46:17 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 2]
2017-12-03 01:45:53 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 2]
2017-12-03 01:45:42 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 2]
2017-12-03 01:45:31 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 2]
2017-12-03 01:45:20 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 1]
2017-12-03 01:45:04 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | elevator-sequential-satisficing | 1]
2017-12-03 01:44:53 +0100	finished benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 1]
2017-12-03 01:44:45 +0100	started benchmark job [m-mp | ipc-2011 | elevator-sequential-satisficing | 1]
2017-12-03 01:44:34 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 20]
2017-12-03 01:44:17 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 20]
2017-12-03 01:44:06 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 20]
2017-12-03 01:28:57 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 20]
2017-12-03 01:28:46 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 19]
2017-12-03 01:28:29 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 19]
2017-12-03 01:28:18 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 19]
2017-12-03 01:13:09 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 19]
2017-12-03 01:12:58 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 18]
2017-12-03 01:12:41 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 18]
2017-12-03 01:12:30 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 18]
2017-12-03 00:57:22 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 18]
2017-12-03 00:57:10 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 17]
2017-12-03 00:56:53 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 17]
2017-12-03 00:56:41 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 17]
2017-12-03 00:41:32 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 17]
2017-12-03 00:41:21 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 16]
2017-12-03 00:41:04 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 16]
2017-12-03 00:40:53 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 16]
2017-12-03 00:25:45 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 16]
2017-12-03 00:25:33 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 15]
2017-12-03 00:25:16 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 15]
2017-12-03 00:25:05 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 15]
2017-12-03 00:09:57 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 15]
2017-12-03 00:09:46 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 14]
2017-12-03 00:09:29 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 14]
2017-12-03 00:09:17 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 14]
2017-12-02 23:54:09 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 14]
2017-12-02 23:53:57 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 13]
2017-12-02 23:53:40 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 13]
2017-12-02 23:53:29 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 13]
2017-12-02 23:38:21 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 13]
2017-12-02 23:38:09 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 12]
2017-12-02 23:37:53 +0100	started benchmark job [gc-ta1-tt1 | ipc-2011 | barman-sequential-satisficing | 12]
2017-12-02 23:37:41 +0100	finished benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 12]
2017-12-02 23:22:33 +0100	started benchmark job [m-mp | ipc-2011 | barman-sequential-satisficing | 12]