2018-02-01 21:17:04 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10]
2018-02-01 21:16:54 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 10]
2018-02-01 21:16:50 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9]
2018-02-01 21:16:40 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 9]
2018-02-01 21:16:35 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8]
2018-02-01 21:16:26 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 8]
2018-02-01 21:16:21 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7]
2018-02-01 21:16:11 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 7]
2018-02-01 21:16:07 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6]
2018-02-01 21:15:57 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 6]
2018-02-01 21:15:53 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5]
2018-02-01 21:15:43 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 5]
2018-02-01 21:15:39 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4]
2018-02-01 21:15:28 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 4]
2018-02-01 21:15:24 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3]
2018-02-01 21:15:14 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 3]
2018-02-01 21:15:10 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2]
2018-02-01 21:15:00 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 2]
2018-02-01 21:14:55 +0100	finished benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1]
2018-02-01 21:14:40 +0100	started benchmark job [gc-ta1-tt1 | ipc-2000 | blocks-strips-typed | 1]
2018-02-01 21:14:35 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85]
2018-02-01 20:59:29 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 85]
2018-02-01 20:59:24 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84]
2018-02-01 20:44:18 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 84]
2018-02-01 20:44:13 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83]
2018-02-01 20:29:07 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 83]
2018-02-01 20:29:02 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82]
2018-02-01 20:13:56 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 82]
2018-02-01 20:13:51 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81]
2018-02-01 19:58:45 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 81]
2018-02-01 19:58:40 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80]
2018-02-01 19:43:34 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 80]
2018-02-01 19:43:30 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79]
2018-02-01 19:28:23 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 79]
2018-02-01 19:28:19 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78]
2018-02-01 19:13:13 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 78]
2018-02-01 19:13:08 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77]
2018-02-01 18:58:01 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 77]
2018-02-01 18:57:57 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76]
2018-02-01 18:42:51 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76]
2018-02-01 18:42:24 +0100	benchmark runner exited
2018-02-01 18:41:44 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 76]
2018-02-01 18:41:39 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75]
2018-02-01 18:26:33 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 75]
2018-02-01 18:26:28 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74]
2018-02-01 18:11:22 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 74]
2018-02-01 18:11:17 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73]
2018-02-01 17:56:11 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 73]
2018-02-01 17:56:06 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72]
2018-02-01 17:41:00 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 72]
2018-02-01 17:40:56 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71]
2018-02-01 17:25:50 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 71]
2018-02-01 17:25:45 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70]
2018-02-01 17:10:38 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 70]
2018-02-01 17:10:33 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68]
2018-02-01 16:55:27 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 68]
2018-02-01 16:55:23 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67]
2018-02-01 16:40:15 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 67]
2018-02-01 16:40:11 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66]
2018-02-01 16:25:04 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 66]
2018-02-01 16:25:00 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63]
2018-02-01 16:09:53 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 63]
2018-02-01 16:09:48 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62]
2018-02-01 15:54:42 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 62]
2018-02-01 15:54:37 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 58]
2018-02-01 15:39:31 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 58]
2018-02-01 15:39:27 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57]
2018-02-01 15:24:20 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 57]
2018-02-01 15:24:15 +0100	finished benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48]
2018-02-01 15:09:08 +0100	started benchmark job [m-mp | ipc-2000 | blocks-strips-typed | 48]
2018-02-01 13:03:10 +0100	benchmark runner exited
2018-02-01 13:03:05 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 20]
2018-02-01 12:47:59 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 20]
2018-02-01 12:47:54 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 19]
2018-02-01 12:32:48 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 19]
2018-02-01 12:32:44 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 18]
2018-02-01 12:29:41 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 18]
2018-02-01 12:29:36 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 17]
2018-02-01 12:28:25 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 17]
2018-02-01 12:28:20 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 16]
2018-02-01 12:26:41 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 16]
2018-02-01 12:26:37 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 15]
2018-02-01 12:26:11 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 15]
2018-02-01 12:26:07 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 14]
2018-02-01 12:25:46 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 14]
2018-02-01 12:25:41 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 13]
2018-02-01 12:10:34 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 13]
2018-02-01 12:10:29 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 12]
2018-02-01 12:09:40 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 12]
2018-02-01 12:09:36 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 11]
2018-02-01 12:08:45 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 11]
2018-02-01 12:08:40 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 10]
2018-02-01 12:08:12 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 10]
2018-02-01 12:08:08 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 9]
2018-02-01 12:07:42 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 9]
2018-02-01 12:07:38 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 8]
2018-02-01 12:07:25 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 8]
2018-02-01 12:07:21 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 7]
2018-02-01 12:07:07 +0100	started benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 7]
2018-02-01 12:07:02 +0100	finished benchmark job [m-mp | ipc-2011 | tidybot-sequential-satisficing | 6]